Let $k$ and $n$ be positive coprime integers with $k<n$. Let $T$ denote the subgroup of diagonal matrices in $SL(n,\mathbb{C})$. We study the GIT quotient of Richardson varieties $X^v_w$ in the Grassmannian $\mathrm{Gr}_{k,n}$ by $T$ with respect to a $T$-linearised line bundle $\cal{L}$ corresponding to the Plücker embedding. We give necessary and sufficient combinatorial conditions for the quotient variety $T \backslash\mkern-6mu\backslash (X_w^v)^{ss}_T({\cal L})$ to be smooth.
We give elementary and short proofs of the Littlewood-Richardson rules for type A Grassmannians and maximal isotropic Grassmannians, based on the corresponding Pieri rules.
We consider Buch's rule for K-theory of the Grassmannian, in the Schur multiplicity-free cases classified by Stembridge. Using a result of Knutson, one sees that Buch's coefficients are related to Moebius inversion. We give a direct combinatorial proof of this by considering the product expansion for Grassmannian Grothendieck polynomials. We end with an extension to the multiplicity-free cases of Thomas and Yong.
We study toric degenerations of opposite Schubert and Richardson varieties inside degenerations of Grassmannians and flag varieties. These degenerations are parametrized by matching fields in the sense of Sturmfels and Zelevinsky. We construct so-called restricted matching field ideals whose generating sets are understood combinatorially through tableaux. We determine when these ideals are toric and coincide with Gröbner degenerations of Richardson varieties using the well established standard monomial theory for Grassmannians and flag varieties.
A Richardson variety $X_\ga^\gc$ in the Orthogonal Grassmannian is defined to be the intersection of a Schubert variety $X^\gc$ in the Orthogonal Grassmannian and a opposite Schubert variety $X_\ga$ therein. We give an explicit description of the initial ideal (with respect to certain conveniently chosen term order) for the ideal of the tangent cone at any $T$-fixed point of $X_\ga^\gc$, thus generalizing a result of Raghavan-Upadhyay \cite{Ra-Up2}. Our proof is based on a generalization of the Robinson-Schensted-Knuth (RSK) correspondence, which we call the Orthogonal bounded RSK (OBRSK). The…
We study the GIT quotient of the minimal Schubert variety in the Grassmannian admitting semistable points for the action of maximal torus $T$, with respect to the $T$-linearized line bundle ${\cal L}(n ω_r)$ and show that this is smooth when $gcd(r,n)=1$. When $n=7$ and $r=3$ we study the GIT quotients of all Richardson varieties in the minimal Schubert variety. This builds on previous work by Kumar \cite{kumar2008descent}, Kannan and Sardar \cite{kannan2009torusA}, Kannan and Pattanayak \cite{kannan2009torusB}, and recent work of Kannan et al \cite{kannan2018torus}. It is known that the GIT q…
We give an explicit Grobner basis for the ideal of the tangent cone at any T-fixed point of a Richardson variety in the Grassmannian, thus generalizing a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai. Our proof is based on a generalization of the Robinson-Schensted-Knuth (RSK) correspondence, which we call the bounded RSK (BRSK). We use the Grobner basis result to deduce a formula which computes the multiplicity of the Richardson variety at any T-fixed point by counting families of nonintersecting lattice paths, thus generalizing a result first proved by Krattehthaler.
We prove that the divisor class group of any open Richardson variety in the Grassmannian is trivial. Our proof uses Nagata's criterion, localizing the coordinate ring at a suitable set of Plücker coordinates. We prove that these Plücker coordinates are prime elements by showing that the subscheme they define is an open subscheme of a positroid variety. Our results hold over any field and over the integers.
We prove an explicit combinatorial formula for the structure constants of the Grothendieck ring of a Grassmann variety with respect to its basis of Schubert structure sheaves. We furthermore relate K-theory of Grassmannians to a bialgebra of stable Grothendieck polynomials, which is a K-theory parallel of the ring of symmetric functions.
For any simple, simply connected algebraic group $G$ of type $B,C$ and $D$ and for any maximal parabolic subgroup $P$ of $G$, we provide a criterion for a Richardson variety in $G/P$ to admit semistable points for the action of a maximal torus $T$ with respect to an ample line bundle on $G/P$.
Let $G$ be a complex quasi-simple algebraic group and $G/P$ be a partial flag variety. The projections of Richardson varieties from the full flag variety form a stratification of $G/P$. We show that the closure partial order of projected Richardson varieties agrees with that of a subset of Schubert varieties in the affine flag variety of $G$. Furthermore, we compare the torus-equivariant cohomology and $K$-theory classes of these two stratifications by pushing or pulling these classes to the affine Grassmannian. Our work generalizes results of Knutson, Lam, and Speyer for the Grassmannian of t…
Let $G=SO(8n+4,\mathbb{C})$ ($n\ge 1$). Let $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $P (\supset B)$ denote the maximal parabolic subgroup of $G$ corresponding to the simple root $α_{4n+2}$. In this article, we prove projective normality of the GIT quotients of certain Schubert varieties in the orthogonal Grassmannian $G/P$ with respect to the descent of a suitable $T$-linearized very ample line bundle.
The Richardson variety $X_w^v$ is defined to be the intersection of the Schubert variety $X_w$ and the opposite Schubert variety $X^v$. For $X_w^v$ in the Grassmannian, we obtain a standard monomial basis for the homogeneous coordinate ring of $X_w^v$. We use this basis first to prove the vanishing of $H^i(X_w^v,L^m)$, $i > 0 $, $m \geq 0$, where $L$ is the restriction to $X_w^v$ of the ample generator of the Picard group of the Grassmannian; then to determine a basis for the tangent space and a criterion for smoothness for $X_w^v$ at any $T$-fixed point $e_\t$; and finally to derive a recursi…
We study the Littlewood-Richardson coefficients of double Grothendieck polynomials indexed by Grassmannian permutations. Geometrically, these are the structure constants of the equivariant $K$-theory ring of Grassmannians. Representing the double Grothendieck polynomials as partition functions of an integrable vertex model, we use its Yang-Baxter equation to derive a series of product rules for the former polynomials and their duals. The Littlewood-Richardson coefficients that arise can all be expressed in terms of puzzles without gashes, which generalize previous puzzles obtained by Knutson-T…
Let $r < n$ be positive integers and further suppose $r$ and $n$ are coprime. We study the GIT quotient of Schubert varieties $X(w)$ in the Grassmannian $G_{r,n}$, admitting semistable points for the action of $T$ with respect to the $T$-linearized line bundle ${\cal L}(nω_r)$. We give necessary and sufficient combinatorial conditions for the GIT quotient $T\backslash\mkern-6mu\backslash X(w)^{ss}_{T}({\cal L}(nω_r))$ to be smooth.
This paper aims to focus on Richardson varieties on symplectic groups, especially their combinatorial characterization and defining equations. Schubert varieties and opposite Schubert varieties have profound significance in the study of generalized flag varieties which are not only research objects in algebraic geometry but also ones in representation theory. A more general research object is Richardson variety, which is obtained by the intersection of a Schubert variety and an opposite Schubert variety. The structure of Richardson variety on Grassmannian and its combinatorial characterization…
We observe that the expansion in the basis of Schubert cycles for $H^*(G/B)$ of the class of a Richardson variety stable under a spherical Levi subgroup is described by a theorem of Brion. Using this observation, along with a combinatorial model of the poset of certain symmetric subgroup orbit closures, we give positive combinatorial descriptions of certain Schubert structure constants on the full flag variety in type $A$. Namely, we describe $c_{u,v}^w$ when $u$ and $v$ are inverse to Grassmannian permutations with unique descents at $p$ and $q$, respectively. We offer some conjectures for si…
We describe an explicit geometric Littlewood-Richardson rule, interpreted as deforming the intersection of two Schubert varieties so that they break into Schubert varieties. There are no restrictions on the base field, and all multiplicities arising are 1; this is important for applications. This rule should be seen as a generalization of Pieri's rule to arbitrary Schubert classes, by way of explicit homotopies. It has a straightforward bijection to other Littlewood-Richardson rules, such as tableaux, and Knutson and Tao's puzzles. This gives the first geometric proof and interpretation of the…
We prove that structure constants related to Hecke algebras at roots of unity are special cases of k-Littlewood-Richardson coefficients associated to a product of k-Schur functions. As a consequence, both the 3-point Gromov-Witten invariants appearing in the quantum cohomology of the Grassmannian, and the fusion coefficients for the WZW conformal field theories associated to \hat{su}(\ell) are shown to be k-Littlewood Richardson coefficients. From this, Mark Shimozono conjectured that the k-Schur functions form the Schubert basis for the homology of the loop Grassmannian, whereas k-Schur copro…
We study the T-equivariant quantum cohomology of the Grassmannian. We prove the vanishing of a certain class of equivariant quantum Littlewood-Richardson coefficients, which implies an equivariant quantum Pieri rule. As in the equivariant case, this implies an algorithm to compute the equivariant quantum Littlewood-Richardson coefficients.
Let $G=SL(n, \mathbb{C}),$ and $T$ be a maximal torus of $G,$ where $n$ is a positive even integer. In this article, we study the GIT quotients of the Schubert varieties in the Grassmannian $G_{2,n}.$ We prove that the GIT quotients of the Richardson varieties in the minimal dimensional Schubert variety admitting stable points in $G_{2,n}$ are projective spaces. Further, we prove that the GIT quotients of certain Richardson varieties in $G_{2,n}$ are projective toric varieties. Also, we prove that the GIT quotients of the Schubert varieties in $G_{2,n}$ have at most finite set of singular poin…
The necessary and sufficient Horn inequalities which determine the non-vanishing Littlewood-Richardson coefficients in the cohomology of a Grassmannian are recursive in that they are naturally indexed by non-vanishing Littlewood-Richardson coefficients on smaller Grassmannians. We show how non-vanishing in the Schubert calculus for cominuscule flag varieties is similarly recursive. For these varieties, the non-vanishing of products of Schubert classes is controlled by the non-vanishing products on smaller cominuscule flag varieties. In particular, we show that the lists of Schubert classes who…
We provide several ingredients towards a generalization of the Littlewood-Richardson rule from Chow groups to algebraic cobordism. In particular, we prove a simple product-formula for multiplying classes of smooth Schubert varieties with any Bott-Samelson class in algebraic cobordism of the grassmannian. We also establish some results for generalized Schubert polynomials for hyperbolic formal group laws.
We study embeddability of superschemes into $Π$-projective spaces and into supergrassmannians $G(1|1,n|n)$. We give some criteria based on the relation with ${\mathbb{A}}^{0|1}$-torsors and ${\mathbb{A}}^{0|1}$-fibrations. We also prove the existence of nice quotients for free actions of ${\mathbb{A}}^{0|1}$ on superschemes.
We study the null fiber of a moment map related to dual pairs. We construct an equivariant resolution of singularities of the null fiber, and get conormal bundles of closed $ K_C $-orbits in the Lagrangian Grassmannian as the categorical quotient. The conormal bundles thus obtained turn out to be a resolution of singularities of the closure of nilpotent $ K_C $-orbits, which is a "quotient" of the resolution of the null fiber.
We introduce a notion of $ξ$-stability on the affine grassmannian $\xx$ for the classical groups, this is the local version of the $ξ$-stability on the moduli space of Higgs bundles on a curve introduced by Chaudouard and Laumon. We prove that the quotient $\xx^ξ/T$ of the stable part $\xx^ξ$ by the maximal torus $T$ exists as an ind-$k$-scheme, and we introduce a reduction process analogous to the Harder-Narasimhan reduction for vector bundles. For the group $\mathrm{SL}_{d}$, we calculate the Poincaré series of the quotient $\xx^ξ/T$.
The literature on maximal torus orbits in the Grassmannian is vast; in this paper we initiate a program to extend this to diagonal subtori. Our main focus is generalizing portions of Kapranov's seminal work on Chow quotient compactifications of these orbit spaces. This leads naturally to discrete polymatroids, generalizing the matroidal framework underlying Kapranov's results. By generalizing the Gelfand-MacPherson isomorphism, these Chow quotients are seen to compactify spaces of arrangements of parameterized linear subspaces, and a generalized Gale duality holds here. A special case is birat…
We introduce a certain compactification of the space of projective configurations i.e. orbits of the group $PGL(k)$ on the space of $n$ - tuples of points in $P^{k-1}$ in general position. This compactification differs considerably from Mumford's geometric invariant theory quotient. It is obtained by considering limit position (in the Chow variety) of the closures of generic orbits. The same result will be obtained if we study orbits of the maximal torus on the Grassmannian $G(k,n)$. We study in detail the closures of the torus orbits and their "visible contours" which are Veronese varieties i…
Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the main examples of Grassmannians of type A and maximal orthogonal Grassmannians it has the advantage that the tableaux to be counted can be recognized without reference to the jeu de taquin algorithm.
Let $G=Spin(8n, \mathbb{C})(n\ge 1)$ and $T_{G}$ be a maximal torus of $G.$ Let $P^{α_{4n}}(\supset T_{G})$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_{4n}.$ Let $X$ be a Schubert variety in $G/P^{α_{4n}}$ admitting semi-stable point with respect to the $T$-linearized very ample line bundle $\mathcal{L}(2ω_{4n}).$ Let $R=\bigoplus_{k \in \mathbb{Z}_{\geq 0}}R_k,$ where $R_k=H^{0}(X, \mathcal{L}^{\otimes k}(2ω_{4n}))^{T_{G}}.$ In this article, we prove that for $n=1$ and $X=G/P^{α_4},$ the graded $\mathbb{C}$-algebra $R$ is generated by $R_1.$ As a consequence,…
Richardson varieties play an important role in intersection theory and in the geometric interpretation of the Littlewood-Richardson Rule for flag varieties. We discuss three natural generalizations of Richardson varieties which we call projection varieties, intersection varieties, and rank varieties. In many ways, these varieties are more fundamental than Richardson varieties and are more easily amenable to inductive geometric constructions. In this paper, we study the singularities of each type of generalization. Like Richardson varieties, projection varieties are normal with rational singula…
We prove that, defined with respect to versal flags, the product of two relative Bott-Samelson varieties over the flag bundle is a resolution of singularities of a relative Richardson variety. This result generalizes Brion's resolution of singularities of Richardson varieties to the relative setting. It reflects the phenomenon that the local geometry of a relative Richardson variety is completely governed by the two intersecting relative Schubert varieties, studied by Chan-Pflueger. We also prove an analogous theorem in the case of relative Grassmannian Richardson varieties, thereby furnishing…
While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the {\em cyclic shifts} of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, and Brown-Goodearl-Yakimov. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subs…
We consider Kapranov's Chow quotient compactification of the moduli space of ordered n-tuples of hyperplanes in P^{r-1} in linear general position. For r=2 this is canonically identified with the Grothendieck-Knudsen compactification of M_{0,n} which has among others the nice properties 1) Modular meaning: stable pointed rational curves 2) Canonical description of limits of one parameter degenerations 3) Natural Mori theoretic meaning: log canonical compactification. We prove (1-2) generalize naturally to all (r,n), but that (3), which we view as the deepest, fails except possibly in the cases…
While the projections of Schubert varieties in a full generalized flag manifold G/B to a partial flag manifold $G/P$ are again Schubert varieties, the projections of Richardson varieties (intersections of Schubert varieties with opposite Schubert varieties) are not always Richardson varieties. The stratification of G/P by projections of Richardson varieties arises in the theory of total positivity and also from Poisson and noncommutative geometry. In this paper we show that many of the geometric properties of Richardson varieties hold more generally for projected Richardson varieties; they are…
Here, we utilize facts about the big Chern classes discovered by M. Kapranov and independently by M. V. Nori to prove certain results about the nonexistence of certain morphisms from Grassmannian to Grassmannian in characteristic 0. In particular, we show that the filtration F_. on CH^l(X) where F_rCH^l(X) is the linear span of ch_l(V) for all vector bundles V of rank <=r is nontrivial as a theory by showing that for a fixed l>=2, for infinitely many r, for a Grassmannian of r dimensional quotient spaces in an n dimensional vector space (n sufficiently large) over a field of charactersitic 0, …
We define a torus action on the (complex) Cayley Grassmannian $X$. Using this action, we prove that $X$ is a singular variety. We also show that the singular locus is smooth and has the same cohomology ring as that of $\mathbb{CP}^5$. Furthermore, we identify the singular locus with a quotient of $G_2^\mathbb{C}$ by a parabolic subgroup.
We analyze the relationship between two compactifications of the moduli space of maps from curves to a Grassmannian: the Kontsevich moduli space of stable maps and the Marian--Oprea--Pandharipande moduli space of stable quotients. We construct a moduli space which dominates both the moduli space of stable maps to a Grassmannian and the moduli space of stable quotients, and equip our moduli space with a virtual fundamental class. We relate the virtual fundamental classes of all three moduli spaces using the virtual push-forward formula. This gives a new proof of a theorem of Marian-Oprea-Pandha…
We introduce complete quotients over the projective line and prove that they form smooth projective varieties. The resulting parameter spaces coincide with the varieties constructed in [HLS11] and [Shao11]. Hence they provide modular smooth compactifications with normal crossing boundaries of the spaces of algebraic maps from the projective line to Grassmannian varieties.
We give a stratification of the GIT quotient of the Grassmannian $G_{2,n}$ modulo the normaliser of a maximal torus of $SL_{n}(k)$ with respect to the ample generator of the Picard group of $G_{2,n}$. We also prove that the flag variety $GL_{n}(k)/B_{n}$ can be obtained as a GIT quotient of $GL_{n+1}(k)/B_{n+1}$ modulo a maximal torus of $SL_{n+1}(k)$ for a suitable choice of an ample line bundle on $GL_{n+1}(k)/B_{n+1}$.
We consider actions of complex algebraic groups $\mathbf{G}$ on complex algebraic varieties $\mathbf{X}$, coming from actions of real forms $G$ of $\mathbf{G}$ and $X$ of $\mathbf{X}$. We explore the links between the real points of the complex GIT quotient $\mathbf{X /\!\!/ G}$ and the real GIT quotient $X /\!\!/ G$ defined by Richardson and Slodowy. We prove that some type of real points of $\mathbf{X /\!\!/ G}$ can be lifted to a quotient of the form $X /\!\!/ G$ maybe after changing the real forms, and we link the number of possible lifts to a co-homology set. We apply then the results to …
