arXiv subjects

Henrik Seppänen

Publications and source records attributed to Henrik Seppänen.

14 recordsLinked to original sources

arXiv2018

Multi-Gieseker semistability and moduli of quiver sheaves

We generalize the notion of multi-Gieseker semistability for coherent sheaves, introduced by Greb, Ross, and Toma, to quiver sheaves for a quiver $Q$. We construct coarse moduli spaces for semistable quiver sheaves using a functorial method that realizes these as subschemes of moduli spaces of representations of a twisted quiver, depending on $Q$, with relations. We also show the projectivity of the moduli space in the case when $Q$ has no oriented cycles. Finally, we investigate the parameter dependence of the moduli.

math.AG↗

arXiv2018

Unstable loci in flag varieties and variation of quotients

We consider the action of a semisimple subgroup $\hat G$ of a semisimple complex group $G$ on the flag variety $X=G/B$, and the linearizations of this action by line bundles $\mathcal L$ on $X$. The main result is an explicit description of the associated unstable locus in dependence of $\mathcal L$, as well as a combinatorial formula for its (co)dimension. We observe that the codimension is equal to 1 on the regular boundary of the $\hat G$-ample cone, and grows towards the interior in steps by 1, in a way that the line bundles with unstable locus of codimension $q$ form a convex polyhedral cone. We also give a recursive algorithm for determining all GIT-classes in the $\hat G$-ample cone of $X$. As an application, we give conditions ensuring the existence of GIT-classes $C$ with an unstable locus of codimension at least two and which moreover yield geometric GIT quotients. Such quotients $Y_C$ reflect global information on $\hat G$-invariants. They are always Mori dream spaces, and the Mori chambers of the pseudoeffective cone $\overline{\rm Eff}(Y_C)$ correspond to the GIT-chambers of the $\hat G$-ample cone of $X$. Moreover, all rational contractions $f: Y_{C} --\to Y'$ to normal projective varieties $Y'$ are induced by GIT from linearizations of the action of $\hat G$ on $X$. In particular, this is shown to hold for a diagonal embedding $\hat G \hookrightarrow (\hat G)^k$, with sufficiently large $k$.

math.RT↗

arXiv2017

On the Mori theory and Newton-Okounkov bodies of Bott-Samelson varieties

We prove that on a Bott-Samelson variety $X$ every movable divisor is nef. This enables us to consider Zariski decompositions of effective divisors, which in turn yields a description of the Mori chamber decomposition of the effective cone. This amounts to information on all possible birational morphisms from $X$. Applying this result, we prove the rational polyhedrality of the global Newton-Okounkov body of a Bott-Samelson variety with respect to the so called `horizontal' flag. In fact, we prove the stronger property of the finite generation of the corresponding global value semigroup.

math.AG↗

arXiv2017

On global Okounkov bodies of spherical varieties

We define and study the global Okounkov moment cone of a projective spherical variety X, generalizing both the global Okounkov body and the moment body of X defined by Kaveh and Khovanskii. Under mild assumptions on X we show that the global Okounkov moment cone of X is rational polyhedral. As a consequence, also the global Okounkov body of X, with respect to a particular valuation, is rational polyhedral.

math.AG↗

arXiv2015

Geometric Invariant Theory for principal three-dimensional subgroups acting on flag varieties

Let G be a semisimple complex Lie group. In this article, we study Geometric Invariant Theory on a flag variety G/B with respect to the action of a principal 3-dimensional simple subgroup S of G. We determine explicitly the GIT-equivalence classes of S-ample line bundles on G/B. We show that, under mild assumptions, among the GIT-classes there are chambers, in the sense of Dolgachev-Hu. The Hilbert quotients Y=X//S with respect to various chambers form a family of Mori dream spaces, canonically associated with G. We are able to determine three important cones in the Picard group of any of these quotients: the pseudo-effective, the movable and the nef cones.

math.RT↗

arXiv2015

Global Okounkov bodies for Bott-Samelson varieties

We use the theory of Mori dream spaces to prove that the global Okounkov body of a Bott-Samelson variety with respect to a natural flag of subvarieties is rational polyhedral. In fact, we prove more generally that this holds for any Mori dream space which admits a flag of Mori dream spaces satisfying a certain regularity condition. As a corollary, Okounkov bodies of effective line bundles over Schubert varieties are shown to be rational polyhedral. In particular, it follows that the global Okounkov body of a flag variety $G/B$ is rational polyhedral. As an application we show that the asymptotic behaviour of dimensions of weight spaces in section spaces of line bundles is given by the counting of lattice points in polytopes.

math.AG↗

arXiv2014

Global branching laws by global Okounkov bodies

Let $G'$ be a complex semisimple group, and let $G \subseteq G'$ be a semisimple subgroup. We show that the branching cone of the pair $(G, G')$, which (asymptotically) parametrizes all pairs $(W, V)$ of irreducible finite-dimensional $G$-representations $W$ which occur as subrepresentations of a finite-dimensional irreducible $G'$-representation $V$, can be identified with the pseudo-effective cone, $\overline{\mbox{Eff}}(Y)$, of some GIT quotient $Y$ of the flag variety of the group $G \times G'$. Moreover, we prove that the quotient $Y$ is a Mori dream space. As a consequence, the global Okounkov body $Δ(Y)$ of $Y$, with respect to some admissible flag of subvarieties of $Y$, is fibred over the branching cone of $(G, G')$, and the fibre $Δ(Y)_{(W, V)}$ over a point $(W, V)$ carries information about (the asymptotics of) the multiplicity of $W$ in $V$. Using the global Okounkov body $Δ(Y)$, we easily derive a multi-dimensional generalization of Okounkov's result about the log-concavity of asymptotic multiplicities.

math.RT↗

arXiv2014

Okounkov bodies for ample line bundles with applications to multiplicities for group representations

Let $\mathscr{L} \rightarrow X$ be an ample line bundle over a complex normal projective variety $X$. We construct a flag $X_0 \subseteq X_1 \subseteq \cdots \subseteq X_n=X$ of subvarieties for which the associated Okounkov body for $\mathscr{L}$ is a rational polytope. In the case when $X$ is a homogeneous surface, and the pseudoeffective cone of $X$ is rational polyhedral, we also show that the global Okounkov body is a rational polyhedral cone if the flag of subvarieties is suitably chosen. Finally, we provide an application to the asymptotic study of group representations.

math.AG↗

arXiv2014

On the polyhedrality of global Okounkov bodies

We prove that the existence of a finite Minkowski base for Okounkov bodies on a smooth projective variety with respect to an admissible flag implies rational polyhedrality of the global Okounkov body. As an application of this general result, we deduce that the global Okounkov body of a surface with finitely generated pseudo-effective cone with respect to a general flag is rational polyhedral. We give an alternative proof for this fact which recovers the generators more explicitly. We also prove the rational polyhedrality of global Okounkov bodies in the case of certain homogeneous 3-folds using inductive methods.

math.AG↗

arXiv2012

Okounkov bodies for ample line bundles

Let $\mathscr{L} \rightarrow X$ be an ample line bundle over a nonsingular complex projective variety $X$. We construct an admissable flag $X_0 \subseteq X_1 \subseteq...\subseteq X_n=X$ of subvarieties for which the associated Okounkov body for $\mathscr{L}$ is a rational polytope.

math.CV↗

arXiv2011

Symplectic branching laws and Hermitian symmetric spaces

Let $G$ be a complex simple Lie group, and let $U \subseteq G$ be a maximal compact subgroup. Assume that $G$ admits a homogenous space $X=G/Q=U/K$ which is a compact Hermitian symmetric space. Let $\mathscr{L} \rightarrow X$ be the ample line bundle which generates the Picard group of $X$. In this paper we study the restrictions to $K$ of the family $(H^0(X, \mathscr{L}^k))_{k \in \N}$ of irreducible $G$-representations. We describe explicitly the moment polytopes for the moment maps $X \rightarrow \fk^*$ associated to positive integer multiples of the Kostant-Kirillov symplectic form on $X$, and we use these, together with an explicit characterization of the closed $K^\C$-orbits on $X$, to find the decompositions of the spaces $H^0(X,\mathscr{L}^k)$. We also construct a natural Okounkov body for $\mathscr{L}$ and the $K$-action, and identify it with the smallest of the moment polytopes above. In particular, the Okounkov body is a convex polytope. In fact, we even prove the stronger property that the semigroup defining the Okounkov body is finitely generated.

math.RT↗

arXiv2010

Koppelman formulas on flag manifolds

We construct Koppelman formulas on manifolds of flags in $\C^N$ for forms with values in any holomorphic line bundle as well as in the tautological vector bundles and their duals. As an application we obtain new explicit proofs of some vanishing theorems of the Bott-Borel-Weil type by solving the corresponding $\debar$-equation. We also construct reproducing kernels for harmonic $(p,q)$-forms in the case of Grassmannians.

math.CV↗

arXiv2009

Branching laws for discrete Wallach points

We consider the (projective) representations of the group of holomorphic automorphisms of a symmetric tube domain $V\oplus iΩ$ that are obtained by analytic continuation of the holomorphic discrete series. For a representation corresponding to a discrete point in the Wallach set, we find the decomposition under restriction to the identity component of $GL(Ω)$. Using Riesz distributions, an explicit intertwining operator is constructed as an analytic continuation of an integral operator. The density for the Plancherel measure involves quotients of $Γ$-functions and the $c$-function for a symmetric cone of smaller rank.

math.RT↗

arXiv2007

Koppelman formulas on Grassmannians

We construct Koppelman formulas on Grassmannians for forms with values in any holomorphic line bundle as well as in the tautological vector bundle and its dual. As a consequence we obtain some vanishing theorems of the Bott-Borel-Weil type. We also relate the projection part of our formulas to the Bergman kernels associated to the line bundles.

math.CV↗