Let $G$ be a complex connected reductive algebraic group and $G/B$ denote the flag variety of $G$. A $G$-homogeneous space $G/H$ is said to be {\it spherical} if $H$ acts on $G/B$ with finitely many orbits. A class of spherical homogeneous spaces containing the tori, the complete homogeneous spaces and the group $G$ (viewed as a $G\times G$-homogeneous space) has particularly nice proterties. Namely, the pair $(G,H)$ is called a {\it spherical pair of minimal rank} if there exists $x$ in $G/B$ such that the orbit $H.x$ of $x$ by $H$ is open in $G/B$ and the stabilizer $H_x$ of $x$ in $H$ contains a maximal torus of $H$. In this article, we study and classify the spherical pairs of minimal rank.
Let $G$ be a connected reductive complex algebraic group. Luna assigned to any spherical homogeneous space $G/H$ a combinatorial object called a homogeneous spherical datum. By a theorem of Losev, this object uniquely determines $G/H$ up to $G$-equivariant isomorphism. In this paper, we determine the homogeneous spherical datum of a $G$-orbit $X_0$ in a spherical embedding $G/H \hookrightarrow X$. As an application, we obtain a description of the colored fan associated to the spherical embedding $X_0 \hookrightarrow \bar{X_0}$.
We prove a version of the BKK theorem for the ring of conditions of a spherical homogeneous space $G/H$. We also introduce the notion of ring of complete intersections, firstly for a spherical homogeneous space and secondly for an arbitrary variety. Similarly to the ring of conditions of the torus, the ring of complete intersections of $G/H$ admits a description in terms of volumes of polytopes.
Let G be a connected reductive group and G/H a spherical homogeneous space. We show that the ideal of relations between a natural set of generators of the Cox ring of a G-embedding of G/H can be obtained by homogenizing certain equations which depend only on the homogeneous space. Using this result, we describe some examples of spherical homogeneous spaces such that the Cox ring of any of their G-embeddings is defined by one equation.
For all spherical homogeneous spaces G/H, where G is a simply connected semisimple algebraic group and H a connected solvable subgroup of G, we compute the spectra of the representations of G on spaces of regular sections of homogeneous line bundles over G/H.
In this paper, we study arithmetically Cohen--Macaulay (ACM) bundles on homogeneous varieties $G/P$. Indeed we characterize the homogeneous ACM bundles on $G/P$ of Picard rank one in terms of highest weights. This is a generalization of the result on $G/P$ of classical types presented by Costa and Miró-Roig for type $A$, and Du, Fang, and Ren for types $B,C$ and $D$. As a consequence we prove that only finitely many irreducible homogeneous ACM bundles, up to twisting line bundles, exist over all such $G/P$. Moreover, we derive the list of the highest weights of the irreducible homogeneous ACM …
Let G be a reductive group over an algebraically closed field of characteristic p>0. We study properties of embeddings of spherical homogeneous G-spaces. We look at Frobenius splittings, canonical or by a (p-1)-th power, compatible with certain subvarieties. We also look at cohomology vanishing and show the existence of rational G-equivariant resolutions by toroidal embeddings. We show that the class of homogeneous spaces for which our results hold contains the symmetric homogeneous spaces in characteristic not 2 and is closed under parabolic induction.
Let G be a complex reductive algebraic group. We study complete intersections in a spherical homogeneous space G/H defined by a generic collection of sections from G-invariant linear systems. Whenever nonempty, all such complete intersections are smooth varieties. We compute their arithmetic genus as well as some of their h^{p,0} numbers. The answers are given in terms of the moment polytopes and Newton-Okounkov polytopes associated to G-invariant linear systems. We also give a necessary and sufficient condition on a collection of linear systems so that the corresponding generic complete inter…
For an affine spherical homogeneous space G/H of a connected semisimple algebraic group G, we consider the factorization morphism by the action on G/H of a maximal unipotent subgroup of G. We prove that this morphism is equidimensional if and only if the weight semigroup of G/H satisfies some simple condition.
Let G be a connected reductive group. Recall that a G-variety X is called spherical if X is normal and a Borel subgroup of G has an open orbit on X. To a spherical homogeneous G-space one assigns certain combinatorial invariants: the weight lattice, the valuation cone and the set of B-stable prime divisors. We prove that two spherical homogeneous spaces with the same combinatorial invariants are equivariantly isomorphic. Further, we show how to recover the group of G-equivariant automorphisms from these invariants.
Let $K$ be any field with $\textup{char}K\neq 2,3$. We classify all cubic homogeneous polynomial maps $H$ over $K$ with $\textup{rk} JH\leq 2$. In particular, we show that, for such an $H$, if $F=x+H$ is a Keller map then $F$ is invertible, and furthermore $F$ is tame if the dimension $n\neq 4$.
The extended weight semigroup of a homogeneous space G/H of a connected semisimple algebraic group G characterizes the spectra of the representations of G on the spaces of regular sections of homogeneous linear bundles over G/H, including the space of regular functions on G/H. We compute the extended weight semigroups for all strictly irreducible affine spherical homogeneous spaces G/H, where G is a simply connected non-simple semisimple complex algebraic group and H a connected closed subgroup of it. In all the cases we also find the highest weight functions corresponding to the indecomposabl…
Given a complete nonsingular algebraic variety $X$ and a divisor $D$ with normal crossings, we say that $X$ is log homogeneous with boundary $D$ if the logarithmic tangent bundle $T_X(- \log D)$ is generated by its global sections. We then show that the Albanese morphism $α$ is a fibration with fibers being spherical (in particular, rational) varieties. It follows that all irreducible components of $D$ are nonsingular, and any partial intersection of them is irreducible. Also, the image of $X$ under the morphism $σ$ associated with $- K_X - D$ is a spherical variety, and the irreducible compon…
We give the stratification by the symmetric tensor rank of all degree $d \ge 9$ homogeneous polynomials with border rank $5$ and which depend essentially on at least 5 variables, extending previous works (A. Bernardi, A. Gimigliano, M. Idà, E. Ballico) on lower border ranks. For the polynomials which depend on at least 5 variables only 5 ranks are possible: $5$, $d+3$, $2d+1$, $3d-1$, $4d-3$, but each of the ranks $3d-1$ and $2d+1$ is achieved in two geometrically different situations. These ranks are uniquely determined by a certain degree 5 zero-dimensional scheme $A$ associated to the polyn…
We investigate an extension of a lower bound on the Waring (cactus) rank of homogeneous forms due to Ranestad and Schreyer. We show that for particular classes of homogeneous forms, for which a generalization of this method applies, the lower bound extends to the level of border (cactus) rank. The approach is based on recent results on tensor asymptotic rank.
Given an isolated, quasi-homogeneous singularity $X$ we prove that there is a group isomorphism between the group of rank one reflexive sheaves on $X$ and the free abelian group generated by $\mathbb{C}^*$-divisors, modulo linear equivalence. When $\dim(X)=2$ we reduce the problem of finding matrix factorizations of arbitrary reflexive $\mathcal{O}_X$-modules to the same question on rank one reflexive sheaves. We then enumerate the matrix factorizations of all rank one reflexive sheaves. As a consequence, we prove a conjecture of Etingof and Ginzburg on point modules.
For a reductive group G, the products of projective rational varieties homogeneous under G that are spherical for G have been classified by Stembridge. We consider the B-orbit closures in these spherical varieties and prove that under some mild restrictions they are normal, Cohen-Macaulay and have a rational resolution.
Let $\mc G$ be a reductive group over an algebraically closed field of characteristic $p>0$. We study homogeneous $\mc G$-spaces that are induced from the $G\times G$-space $G$, $G$ a suitable reductive group, along a parabolic subgroup of $\mc G$. We show that, under certain mild assumptions, any (normal) equivariant embedding of such a homogeneous space is canonically Frobenius split compatible with certain subvarieties and has an equivariant rational resolution by a toroidal embedding. In particular, all these embeddings are Cohen-Macaulay. Examples are the $G\times G$-orbits in normal redu…
Let $F$ be a homogeneous polynomial of degree $d$ in $m+1$ variables defined over an algebraically closed field of characteristic zero and suppose that $F$ belongs to the $s$-th secant varieties of the standard Veronese variety $X_{m,d}\subset \mathbb{P}^{{m+d\choose d}-1}$ but that its minimal decomposition as a sum of $d$-th powers of linear forms $M_1, ..., M_r$ is $F=M_1^d+... + M_r^d$ with $r>s$. We show that if $s+r\leq 2d+1$ then such a decomposition of $F$ can be split in two parts: one of them is made by linear forms that can be written using only two variables, the other part is uniq…
Given a connected reductive complex algebraic group $G$ and a spherical subgroup $H \subset G$, the extended weight monoid $\widehat Λ^+_G(G/H)$ encodes the $G$-module structures on spaces of global sections of all $G$-linearized line bundles on $G/H$. Assuming that $G$ is semisimple and simply connected and $H$ is specified by a regular embedding in a parabolic subgroup $P \subset G$, in this paper we obtain a description of $\widehat Λ^+_G(G/H)$ via the set of simple spherical roots of $G/H$ together with certain combinatorial data explicitly computed from the pair $(P,H)$. As an application…
We show that nef cycle classes on smooth complete spherical varieties are effective, and the products of nef cycle classes are also nef. Let X be a smooth projective spherical variety such that its effective cycle classes of codimension k are nef, where 1<= k <= dim(X)-1. We study the properties of X. And we show that if X is a toric variety, then X is isomorphic to the product of some projective spaces; if X is toroidal, then X is isomorphic to a rational homogeneous space; if X is horospherical, dim(X)>= 3 and k=2, then effective divisors on X are nef; if X is horospherical and effective div…
We identify the $G(\mathbb R)$-orbits of the real locus $X(\mathbb R)$ of any spherical complex variety $X$ defined over $\mathbb R$ and homogeneous under a split connected reductive group $G$ defined also over $\mathbb R$. This is done by introducing some reflection operators on the set of real Borel orbits of $X(\mathbb R)$. We thus investigate the existence problem for an action of the Weyl group of $G$ on the set of real Borel orbits of $X(\mathbb R)$. In particular, we determine the varieties $X$ for which these operators define an action of the very little Weyl group of $X$ on the set of…
Recently, a theory for the tropicalization of a spherical homogeneous space $G/H$ was developed by Tassos Vogiannou. We extend his ideas to define the tropicalization of a spherical $G/H$-embedding. This generalizes the construction of tropicalization of toric varieties. We also extend an alternate definition of spherical tropicalization via Gröbner theory developed by Kiumars Kaveh and Christopher Manon and show that the two notions of extended tropicalization coincide.
We use representation theory to construct spaces of matrices of constant rank. These spaces are parametrized by the natural representation of the general linear group or the symplectic group. We present variants of this idea, with more complicated representations, and others with the orthogonal group. Our spaces of matrices correspond to vector bundles which are homogeneous but sometimes admit deformations to non-homogeneous vector bundles, showing that these spaces of matrices sometimes admit large families of deformations.
Let g be a complex semi-simple Lie algebra and g be a semisimple subalgebra of g. Consider the branching problem of decomposing the simple g-representations V as a sum of simple grepresentations V. When g = g x g, it is the tensor product decomposition. The multiplicity space Mult(V, V) satisfies V = $\oplus$ V Mult(V, V) $\otimes$ V, where the sum runs over the isomorphism classes of simple g-representations. In the case when g is spherical of minimal rank, we describe Mult(V, V) as the intersection of kernels of powers of root operators in some weight space of the dual space V * of V. When g…
Consider a graphed holomorphic surface $u=F(x,y)$ in $\mathbb{C}^3_{x,y,u}$ under the action of the affine transformation group $A(3)$. In 1999, Eastwood and Ezhov obtained a list of homogeneous models by determining possible tangential vector fields. Inspired by Olver's recurrence formulas, we study the algebra of $A(3)$ differential invariants of surfaces. We obtain necessary conditions for homogeneity of algebraic nature. Solving these conditions, we organise homogeneous models in inequivalent branches.
Let G be a complex connected reductive group. I. Losev has shown that a smooth affine spherical G-variety X is uniquely determined by its weight monoid, which is the set of irreducible representations of G that occur in the coordinate ring of X. In this paper we use a combinatorial characterization of the weight monoids of smooth affine spherical varieties to classify: (a) all such varieties when G is $\mathrm{SL}(2) \times \mathbb{C}^{\times}$ and (b) all such varieties for G simple which have a G-saturated weight monoid of full rank. We also use the characterization and F. Knop's classificat…
In this paper, we study the K-stability of polarized spherical varieties. After reduction, it can be treated as a variational problem of the reduced functional of the Futaki invariant on the associated moment polytope. With the convexity constraint of the problem, the minimizers are shown to satisfy the homogeneous Monge-Ampère equation (HMA). When the spherical variety has rank two, a simpler characterization can be established through properties of the HMA. As an application, we determine the strict semistability and polystable degenerations for Fano spherical varieties of rank two.
Let $\mathbb X\subset\mathbb P(V)$ be a projective variety, which is not contained in a hyperplane. Then every vector $v$ in $V$ can be written as a sum of vectors from the affine cone $X$ over $\mathbb X$. The minimal number of summands in such a sum is called the rank of $v$. The set of vectors of rank $r$ is denoted by $X_r$ and its projective image by $\mathbb X_r$. The r-th secant variety of $X$ is defined $σ_r(\mathbb X):=\bar{\sqcup_{s\le r}\mathbb X_s}$; it is called tame if $σ_r(\mathbb X)=\sqcup_{s\le r} \mathbb X_s$ and wild if the closure contains elements of higher rank. In this p…
We prove that strength and slice rank of homogeneous polynomials of degree $d \geq 5$ over an algebraically closed field of characteristic zero coincide generically. To show this, we establish a conjecture of Catalisano, Geramita, Gimigliano, Harbourne, Migliore, Nagel and Shin concerning dimensions of secant varieties of the varieties of reducible homogeneous polynomials. These statements were already known in degrees $2\leq d\leq 7$ and $d=9$.
We revisit Schmidt's theorem connecting the Schmidt rank of a tensor with the codimension of a certain variety and adapt the proof to the case of arbitrary characteristic. We also find a sharper result of this kind for homogeneous polynomials of degree d (assuming that the characteristic does not divide d(d-1)). We then use this to relate the Schmidt rank of a homogeneous polynomial (resp., a collection of homogeneous polynomials of the same degree) with the codimension of the singular locus of the corresponding hypersurface (resp., intersection of hypersurfaces). This gives an effective versi…
