We study subsets of Grassmann varieties G(l,m) over a field F, such that these subsets are unions of Schubert cycles, with respect to a fixed flag. We study the linear spans of, and in case of positive characteristic, the number of points on such unions over finite fields. Moreover we study a geometric duality of such unions, and give a combinatorial interpretation of this duality. We discuss the maximum number of points over a finite field for the Schubert unions of a given spanning dimension, and we give some applications to coding theory. We define Schubert union codes, and study the parameters and support weights of these codes and of the well-known Grassmann codes.
Let G be a simply-connected simple compact Lie group over the complex numbers. The affine Grassmannian is a projective ind-variety, homotopy-equivalent to the loop space of G and closely analogous to a maximal flag variety of the classical Grassmannian manifold. It has a Schubert cell decomposition indexed by the coroot lattice or equivalently by the minimal length coset representatives for the affine Weyl group modulo the Weyl group for G. The closure of an affine Schubert cell is a finite dimensional projective variety that we call an affine Schubert variety. In this paper we completely dete…
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.
Two Schubert problems on possibly different Grassmannians may be composed to obtain a Schubert problem on a larger Grassmannian whose number of solutions is the product of the numbers of the original problems. This generalizes a construction discovered while classifying Schubert problems on the Grassmannian of 4-planes in C^9 with imprimitive Galois groups. We give an algebraic proof of the product formula. In a number of cases, we show that the Galois group of the composed Schubert problem is a subgroup of a wreath product of the Galois groups of the original problems, and is therefore imprim…
Let $L$ be a Levi subgroup of $GL_N$ which acts by left multiplication on a Schubert variety $X(w)$ in the Grassmannian $G_{d,N}$. We say that $X(w)$ is a spherical Schubert variety if $X(w)$ is a spherical variety for the action of $L$. In earlier work we provide a combinatorial description of the decomposition of the homogeneous coordinate ring of $X(w)$ into irreducible $L$-modules for the induced action of $L$. In this work we classify those decompositions into irreducible $L$-modules that are multiplicity-free. This is then applied towards giving a complete classification of the spherical…
We answer some questions related to multiplicity formulas by Rosenthal and Zelevinsky and by Lakshmibai and Weyman for points on Schubert varieties in Grassmannians. In particular, we give combinatorial interpretations in terms of nonintersecting lattice paths of these formulas, which makes the equality of the two formulas immediately obvious. Furthermore we provide an alternative determinantal formula for these multiplicities, and we show that they count semistandard tableaux of unusual shapes.
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.
We compute the initial ideals, with respect to certain conveniently chosen term orders, of ideals of tangent cones at torus fixed points to Schubert varieties in orthogonal Grassmannians. The initial ideals turn out to be square-free monomial ideals and therefore Stanley-Reisner face rings of simplicial complexes. We describe these complexes. The maximal faces of these complexes encode certain sets of non-intersecting lattice paths.
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 describe the higher weights of the Grassmann codes $G(2,m)$ over finite fields ${\mathbb F}_q$ in terms of properties of Schubert unions, and in each case we determine the weight as the minimum of two explicit polynomial expressions in $q$.
Quiver Grassmannians are projective varieties parametrizing subrepresentations of given dimension in a quiver representation. We define a class of quiver Grassmannians generalizing those which realize degenerate flag varieties. We show that each irreducible component of the quiver Grassmannians in question is isomorphic to a Schubert variety. We give an explicit description of the set of irreducible components, identify all the Schubert varieties arising, and compute the Poincaré polynomials of these quiver Grassmannians.
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…
A theorem of Ryan and Wolper states that a type A Schubert variety is smooth if and only if it is an iterated fibre bundle of Grassmannians. We extend this theorem to arbitrary finite type, showing that a Schubert variety in a generalized flag variety is rationally smooth if and only if it is an iterated fibre bundle of rationally smooth Grassmannian Schubert varieties. The proof depends on deep combinatorial results of Billey-Postnikov on Weyl groups. We determine all smooth and rationally smooth Grassmannian Schubert varieties, and give a new proof of Peterson's theorem that all simply-laced…
This note computes a Gröbner basis for the ideal defining a union of Schubert varieties. More precisely, it computes a Gröbner basis for unions of schemes given by northwest rank conditions on the space of all matrices of a fixed size. Schemes given by northwest rank conditions include classical determinantal varieties and matrix Schubert varieties--closures of Schubert varieties lifted from the flag manifold to the space of matrices.
We express a Schubert expansion of the Chern-Mather class for Schubert varieties in the even orthogonal Grassmannian via integrals involving Pfaffians and pushforward of the small resolutions in the sense of Intersection Cohomology (IH) constructed by Sankaran and Vanchinathan, instead of the Nash blowup. The equivariant localization is employed to show the way of computing the integral. As a byproduct, we present the computations. For analogy and the completion of the method in ordinary Grassmannians, we also suggest Kazhdan-Lusztig classes associated to Schubert varieties in the Lagrangian a…
We establish a Gysin formula for Schubert bundles and a strong version of the duality theorem in Schubert calculus on Grassmann bundles. We then combine them to compute the fundamental classes of Schubert bundles in Grassmann bundles, which yields a new proof of the Giambelli formula for vector bundles.
We give a closed-form formula for the Hilbert function of the tangent cone at the identity of a Schubert variety X in the Grassmannian in both group theoretic and combinatorial terms. We also give a formula for the multiplicity of X at the identity, and a Grobner basis for the ideal defining the intersection of X with the opposite cell as a closed subvariety of the opposite cell. We give conjectures for the Hilbert function and multiplicity at points other than the identity.
The ({\em classical}, {\em small quantum}, {\em equivariant}) cohomology ring of the grassmannian $G(k,n)$ is generated by certain derivations operating on an exterior algebra of a free module of rank $n$ ({\em Schubert Calculus on a Grassmann Algebra)}. Our main result gives, in a unified way, a presentation of all such cohomology rings in terms of generators and relations. It also provides, by results of Laksov and Thorup, a presentation of the universal splitting algebra of a monic polynomial of degree $n$ into the product of two monic polynomials, one of degree $k$.
We study spherical Schubert varieties in the affine Grassmannian. These Schubert varieties have a natural conjectural modular description due to Finkelberg-Mirković. This modular description is easily seen to be set-theoretically correct, but it is not obviously scheme-theoretically correct. We prove that this modular description is correct in many cases. We also link this modular description to the reducedness conjecture from Kamnitzer-Webster-Weekes-Yacobi for tranverse slices in the affine Grassmannian.
In this paper we construct free resolutions of certain class of closed subvarieties of affine space of symmetric matrices (of a given size). Our class covers the symmetric determinantal varieties (i.e., determinantal varieties in the space of symmetric matrices), whose resolutions were first constructed by Józefiak-Pragacz-Weyman. Our approach follows the techniques developed in Free Resolutions of Some Schubert Singularities by Kummini-Lakshmibai-Sastry-Seshadri, and uses the geometry of Schubert varieties.
Let X be the direct product of two Grassmann varieties of k- and l-planes in a finite-dimensional vector space V, and let B be the isotropy group of a complete flag in V. We consider B-orbits in X, which are an analog to Schubert cells in Grassmannians. We describe this set of orbits combinatorially and construct desingularizations for the closures of these orbits, similar to the Bott--Samelson desingularizations for Schubert varieties.
Let $\mbox{IG}(k,2n+1)$ be the odd symplectic Grassmannian. It is a quasi-ho\-mo\-ge\-neous space with homogeneous-like behavior. A very limited description of curve neighborhoods of Schubert varieties in $\mbox{IG}(k,2n+1)$ was used by Mihalcea and the second named author to prove an (equivariant) quantum Chevalley rule. In this paper we give a full description of the irreducible components of curve neighborhoods in terms of the Hecke product of (appropriate) Weyl group elements, $k$-strict partitions, and BC-partitions. The latter set of partitions respect the Bruhat order with inclusions. O…
A solution is given to the following problem: how to compute the multiplicity, or more generally the Hilbert function, at a point on a Schubert variety in an orthogonal Grassmannian. Standard monomial theory is applied to translate the problem from geometry to combinatorics. The solution of the resulting combinatorial problem forms the bulk of the paper. This approach has been followed earlier to solve the same problem for the Grassmannian and the symplectic Grassmannian. As an application, we present an interpretation of the multiplicity as the number of non-intersecting lattice paths of a ce…
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…
We study the arc space of the Grassmannian from the point of view of the singularities of Schubert varieties. Our main tool is a decomposition of the arc space of the Grassmannian that resembles the Schubert cell decomposition of the Grassmannian itself. Just as the combinatorics of Schubert cells is controlled by partitions, the combinatorics in the arc space is controlled by plane partitions (sometimes also called 3d partitions). A combination of a geometric analysis of the pieces in the decomposition and a combinatorial analysis of plane partitions leads to invariants of the singularities. …
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…
We show that the Chern-Schwartz-MacPherson class of a Schubert cell in a Grassmannian is represented by a reduced and irreducible subvariety in each degree. This gives an affirmative answer to a positivity conjecture of Aluffi and Mihalcea.
We consider a certain class of Schubert varieties of the affine Grassmannian of type A. By embedding a Schubert variety into a finite-dimensional Grassmannian, we construct an explicit basis of sections of the basic line bundle by restricting certain Plücker co-ordinates. As a consequence, we write an explicit set of generators for the degree-one part of the ideal of the finite-dimensional embedding. This in turn gives a set of generators for the degree-one part of the ideal defining the affine Grassmannian inside the infinite Grassmannian which we conjecture to be a complete set of ideal gene…
These are extended notes of a talk given at Maurice Auslander Distinguished Lectures and International Conference (Woods Hole, MA) in April 2013. Their aim is to give an introduction into Schubert calculus on Grassmannians and flag varieties. We discuss various aspects of Schubert calculus, such as applications to enumerative geometry, structure of the cohomology rings of Grassmannians and flag varieties, Schur and Schubert polynomials. We conclude with a survey of results of V.Kiritchenko, V.Timorin and the author on a new approach to Schubert calculus on full flag varieties via combinatorics…
We give explicit formulas for the Chern-Schwartz-MacPherson classes of all Schubert varieties in the Grassmannian of $d$-planes in a vector space, and conjecture that these classes are effective. We prove this is the case for (very) small values of $d$.
We use incidence relations running in two directions in order to construct a Kempf-Laksov type resolution for any Schubert variety of the complete flag manifold but also an embedded resolution for any Schubert variety in the Grassmannian. These constructions are alternatives to the celebrated Bott-Samelson resolutions. The second process led to the introduction of W-flag varieties, algebro-geometric objects that interpolate between the standard flag manifolds and products of Grassmannians, but which are singular in general. The surprising simple desingularization of a particular such type of v…
A permutation is called covexillary if it avoids the pattern $3412$. We construct an open embedding of a covexillary matrix Schubert variety into a Grassmannian Schubert variety. As applications of this embedding, we show that the characteristic cycles of covexillary Schubert varieties are irreducible, and provide a new proof of Lascoux's model computing Kazhdan-Lusztig polynomials of vexillary permutations. Combining the above embedding with earlier work of the author on the conormal varieties of Grassmannian Schubert varieties, we develop an algebraic criterion identifying the conormal varie…
We give a complete list of smooth and rationally smooth normalized Schubert varieties in the twisted affine Grassmannian associated with a tamely ramified group and a special vertex of its Bruhat-Tits building. The particular case of the quasi-minuscule Schubert variety in the quasi-split but non-split form of ${\rm Spin}_8$ ("ramified triality") provides an input needed in the article by He-Pappas-Rapoport classifying Shimura varieties with good or semi-stable reduction.
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…
Vakil studied the intersection theory of Schubert varieties in the Grassmannian in a very direct way: he degenerated the intersection of a Schubert variety X_mu and opposite Schubert variety X^nu to a union {X^lambda}, with repetition. This degeneration proceeds in stages, and along the way he met a collection of more complicated subvarieties, which he identified as the closures of certain locally closed sets. We show that Vakil's varieties are _positroid varieties_, which in particular shows they are normal, Cohen-Macaulay, have rational singularities, and are defined by the vanishing of Plüc…
We formulate the Secant Conjecture, which is a generalization of the Shapiro Conjecture for Grassmannians. It asserts that an intersection of Schubert varieties in a Grassmannian is transverse with all points real, if the flags defining the Schubert varieties are secant along disjoint intervals of a rational normal curve. We present theoretical evidence for it as well as computational evidence obtained in over one terahertz-year of computing, and we discuss some phenomena we observed in our data.
We give an elementary proof of the Pieri-type formula in the cohomology of a Grassmannian of maximal isotropic subspaces of an odd orthogonal or symplectic vector space. This proof proceeds by explicitly computing a triple intersection of Schubert varieties. The decisive step is an exact description of the intersection of two Schubert varieties, from which the multiplicities (which are powers of 2) in the Pieri-type formula are immediately obvious.
We prove in type A a conjecture which describes the ideal of transversal slices to spherical Schubert varieties in the affine Grassmannian. As a corollary, we prove a modular description (due to Finkelberg-Mirković) of the spherical Schubert varieties.
We use a theorem of Chow (1949) on line-preserving bijections of Grassmannians to determine the automorphism group of Grassmann codes. Further, we analyze the automorphisms of the big cell of a Grassmannian and then use it to settle an open question of Beelen et al. (2010) concerning the permutation automorphism groups of affine Grassmann codes. Finally, we prove an analogue of Chow's theorem for the case of Schubert divisors in Grassmannians and then use it to determine the automorphism group of linear codes associated to such Schubert divisors. In the course of this work, we also give an alt…
In this work we extend some previously known results on the automorphism group of Schubert varieties. We consider the Schubert conditions which define a Schubert variety. An automorphism of the Grassmannian fixes a Schubert variety contained in it if and only if it fixes certain elements of the flag used to define the Schubert conditions.
Let $\overline{\mathtt{X}}_λ$ be the closure of the $\mathtt{I}$-orbit $\mathtt{X}_λ$ in the affine Grassmanian $\mathtt{Gr}$ of a simple algebraic group $G$ of adjoint type, where $\mathtt{I}$ is the Iwahori group and $λ$ is a coweight of $G$. We find a simple algorithm which describes the set $Ψ(λ)$ of all $\mathtt{I}$-orbits in $\overline{\mathtt{X}}_λ$ in terms of coweights. We introduce $R$-operators (associated to positive roots) on the coweight lattice of $G$, which exactly describe the closure relation of $\mathtt{I}$-orbits. These operators satisfy Braid relations generically on the c…
This paper studies the singularities of affine Schubert varieties in the affine Grassmannian (of type $\mathrm{A}^{(1)}_\ell$). For two classes of affine Schubert varieties, we determine the singular loci; and for one class, we also determine explicitly the tangent spaces at singular points. For a general affine Schubert variety, we give partial results on the singular locus.
For the toric variety X associated to the Bruhat poset of Schubert varieties in the Grassmannian, we describe the singular locus in terms of the faces of the associated polyhedral cone. We also determine the tangent cones at the maximal singularities of X. These turn out to be again toric varieties. In the case of X being associated to the Bruhat poset of Schubert varieties in the Grassmannian of 2-planes in a n-dimensional vector space (over the base field), we also prove a certain product formula relating the multiplicities at certain singular points.
