We study the three point genus zero Gromov-Witten invariants on the Grassmannians which parametrize non-maximal isotropic subspaces in a vector space equipped with a nondegenerate symmetric or skew-symmetric form. We establish Pieri rules for the classical cohomology and the small quantum cohomology ring of these varieties, which give a combinatorial formula for the product of any Schubert class with certain special Schubert classes. We also give presentations of these rings, with integer coefficients, in terms of special Schubert class generators and relations.
We give a Pieri rule for the torus-equivariant cohomology of (submaximal) Grassmannians of Lie types B, C, and D. To the authors' best knowledge, our rule is the first manifestly positive formula, beyond the equivariant Chevalley formula. We also give a simple proof of the equivariant Pieri rule for the ordinary (type A) Grassmannian.
We prove Pieri formulas for the multiplication with special Schubert classes in the K-theory of all cominuscule Grassmannians. For Grassmannians of type A this gives a new proof of a formula of Lenart. Our formula is new for Lagrangian Grassmannians, and for orthogonal Grassmannians it proves a special case of a conjectural Littlewood-Richardson rule of Thomas and Yong. Recent work of Thomas and Yong and of E. Clifford has shown that the full Littlewood-Richardson rule for orthogonal Grassmannians follows from the Pieri case proved here. We describe the K-theoretic Pieri coefficients both as i…
Let $X$ be an isotropic Grassmannian of type $B$, $C$, or $D$. In this paper we calculate $K$-theoretic Pieri-type triple intersection numbers for $X$: that is, the sheaf Euler characteristic of the triple intersection of two arbitrary Schubert varieties and a special Schubert variety in general position. We do this by determining explicit equations for the projected Richardson variety corresponding to the two arbitrary Schubert varieties, and show that it is a complete intersection in projective space. The $K$-theoretic Pieri coefficients are alternating sums of these triple intersection numb…
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 explicit description of the intersection of two Schubert varieties, from which the multiplicities (which are powers of 2) in the Pieri-type formula are deduced.
The quantum cohomology ring of the Grassmannian is determined by the quantum Pieri rule for multiplying by Schubert classes indexed by row or column-shaped partitions. We provide a direct equivariant generalization of Postnikov's quantum Pieri rule for the Grassmannian in terms of cylindric shapes, complementing related work of Gorbounov and Korff in quantum integrable systems. The equivariant terms in our Graham-positive rule simply encode the positions of all possible addable boxes within one cylindric skew diagram. As such, unlike the earlier equivariant quantum Pieri rule of Huang and Li a…
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 study combinatorial aspects of the Schubert calculus of the affine Grassmannian Gr associated with SL(n,C). Our main results are: 1) Pieri rules for the Schubert bases of H^*(Gr) and H_*(Gr), which expresses the product of a special Schubert class and an arbitrary Schubert class in terms of Schubert classes. 2) A new combinatorial definition for k-Schur functions, which represent the Schubert basis of H_*(Gr). 3) A combinatorial interpretation of the pairing between homology and cohomology of the affine Grassmannian. These results are obtained by interpreting the Schubert bases of Gr combin…
We give elementary proofs of the main theorems about (small) quantum cohomology of Grassmannians, including the quantum Giambelli and quantum Pieri formulas, the rim-hook algorithm, Siebert and Tian's presentation, and a recent theorem of Fulton and Woodward about the minimal q-power which appears in a product of two Schubert classes.
We give quantum Pieri rules for quantum cohomology of Grassmannians of classical types, expressing the quantum product of Chern classes of the tautological subbundles with general cohomology classes. We derive them by showing the relevant genus zero, three-pointed Gromov-Witten invariants coincide with certain classical intersection numbers.
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.
Odd symplectic Grassmannians are a generalization of symplectic Grassmannians to odd-dimensional spaces. Here we compute the classical and quantum cohomology of the odd symplectic Grassmannian of lines. Although these varieties are non homogeneous, we obtain Pieri and Giambelli formulas that are very similar to the symplectic case. We notice that their quantum cohomology is semi-simple, which enables us to check Dubrovin's conjecture for this case.
Let V be a symplectic vector space and LG be the Lagrangian Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(LG) and show that its multiplicative structure is determined by the ring of (Q^~)-polynomials. We formulate a "quantum Schubert calculus" which includes quantum Pieri and Giambelli formulas, as well as algorithms for computing the structure constants appearing in the quantum product of Schubert classes.
Let V be a vector space with a nondegenerate symmetric form and OG be the orthogonal Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(OG) and show that its product structure is determined by the ring of (P~)-polynomials. A "quantum Schubert calculus" is formulated, which includes quantum Pieri and Giambelli formulas, as well as algorithms for computing Gromov-Witten invariants. As an application, we show that the table of 3-point, genus zero Gromov-Witten invariants for OG coincides with that for a correspondi…
In this paper, we characterize homogeneous arithmetically Cohen-Macaulay (ACM) bundles over isotropic Grassmannians of types $B$, $C$ and $D$ in term of step matrices. We show that there are only finitely many irreducible homogeneous ACM bundles by twisting line bundles over these isotropic Grassmannians. So we classify all homogeneous ACM bundles over isotropic Grassmannians combining the results on usual Grassmannians by Costa and Mir{ó}-Roig. Moreover, if the irreducible initialized homogeneous ACM bundles correspond to some special highest weights, then they can be characterized by succinc…
We derive explicit Pieri-type multiplication formulas in the Grothendieck ring of a flag variety. These expand the product of an arbitrary Schubert class and a special Schubert class in the basis of Schubert classes. These special Schubert classes are indexed by a cycle which has either the form (k-p+1,k-p+2,...,k+1) or the form (k+p,k+p-1,...,k), and are pulled back from a Grassmannian projection. Our formulas are in terms of certain labeled chains in the k-Bruhat order on the symmetric group and are combinatorial in that they involve no cancellations. We also show that the multiplicities in …
We extend a theorem of Ottaviani on cohomological splitting criterion for vector bundles over the Grassmannian to the case of the symplectic isotropic Grassmanian. We find necessary and sufficient conditions for the case of the Grassmanian of symplectic isotropic lines. For the general case the generalization of Ottaviani's conditions are sufficient for vector bundles over the symplectic isotropic Grassmannian. By a calculation in the program LiE, we find that Ottaviani's conditions are necessary for Lagrangian Grassmannian of isotropic $k$-planes for $k\leq 6$, but they fail to be necessary f…
We show that general isotropic flags for odd-orthogonal and symplectic groups are general for Schubert calculus on the classical Grassmannian in that Schubert cells defined by such flags meet transversally. This strengthens a result of Belkale and Kumar in arXiv:0708.0398.
We construct a full exceptional collection of vector bundles in the derived category of coherent sheaves on the Grassmannian of isotropic two-dimensional subspaces in a symplectic vector space of dimension $2n$ and in the derived category of coherent sheaves on the Grassmannian of isotropic two-dimensional subspaces in an orthogonal vector space of dimension $2n + 1$ for all $n$.
Let X be a symplectic or odd orthogonal Grassmannian which parametrizes isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove quantum Giambelli formulas which express an arbitrary Schubert class in the small quantum cohomology ring of X as a polynomial in certain special Schubert classes, extending the cohomological Giambelli formulas of arXiv:0811.2781.
We generalize the notion of coisotropic hypersurfaces to subvarieties of Grassmannians having arbitrary codimension. To every projective variety X, Gel'fand, Kapranov and Zelevinsky associate a series of coisotropic hypersurfaces in different Grassmannians. These include the Chow form and the Hurwitz form of X. Gel'fand, Kapranov and Zelevinsky characterized coisotropic hypersurfaces by a rank one condition on conormal spaces, which we use as the starting point for our generalization. We also study the dual notion of isotropic varieties by imposing rank one conditions on tangent spaces instead…
We give a new description of the Pieri rule for k-Schur functions using the Bruhat order on the affine type-A Weyl group. In doing so, we prove a new combinatorial formula for representatives of the Schubert classes for the cohomology of affine Grassmannians. We show how new combinatorics involved in our formulas gives the Kostka-Foulkes polynomials and discuss how this can be applied to study the transition matrices between Hall-Littlewood and k-Schur functions.
We give a formula in terms of Young diagrams to calculate the minimum positive integer $d$ such that $q^d$ appears in the quantum product of two Schubert classes for the submaximal isotropic Grassmannians in Types B and C. We do this by studying curve neighborhoods. We compute curve neighborhoods in several combinatorial models including $k$-strict partitions and a set of partitions where their inclusion is compatible with the Bruhat order.
There exist very twisting families of lines on Grassmannians and isotropic Grassmannians. This is a key step in proving existence of a rational section of a family of isotropic Grassmannians over a surface with vanishing Brauer obstruction.
We study the Schubert calculus of the affine Grassmannian Gr of the symplectic group. The integral homology and cohomology rings of Gr are identified with dual Hopf algebras of symmetric functions, defined in terms of Schur's P and Q-functions. An explicit combinatorial description is obtained for the Schubert basis of the cohomology of Gr, and this is extended to a definition of the affine type C Stanley symmetric functions. A homology Pieri rule is also given for the product of a special Schubert class with an arbitrary one.
Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X. Furthermore, we prove that theta polynomials are special cases of Billey-Haiman Schubert polynomials and use this connection to express the former as positive linear …
A natural Hasse-Schmidt derivation on the exterior algebra of a free module realizes the (small quantum) cohomology ring of the grassmannian $G_k(\CC^n)$ as a ring of operators on the exterior algebra of a free module of rank $n$. Classical Pieri's formula can be interpreted as Leibniz's rule enjoyed by special Schubert cycles with respect to the wedge product.
We consider ind-varieties obtained as direct limits of chains of embeddings $X_1\stackrel{ϕ_1}{\hookrightarrow}\dots\stackrel{ϕ_{m-1}}{\hookrightarrow} X_m\stackrel{ϕ_m}{\hookrightarrow}X_{m+1}\stackrel{ϕ_{m+1}}{\hookrightarrow}\dots$, where each $X_m$ is a Grassmannian or an isotropic Grassmannian (possibly mixing Grassmannians and isotropic Grassmannians), and the embeddings $ϕ_m$ are linear in the sense that they induce isomorphisms of Picard groups. We prove that any such ind-variety is isomorphic to one of certain standard ind-Grassmannians and that the latter are pairwise non-isomorphic …
We show that (equivariant) K-theoretic 3-point Gromov-Witten invariants of genus zero on a Grassmann variety are equal to triple intersections computed in the ordinary (equivariant) K-theory of a two-step flag manifold, thus generalizing an earlier result of Buch, Kresch, and Tamvakis. In the process we show that the Gromov-Witten variety of curves passing through 3 general points is irreducible and rational. Our applications include Pieri and Giambelli formulas for the quantum K-theory ring of a Grassmannian, which determine the multiplication in this ring. Our formula for Gromov-Witten invar…
We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case G = SL_n, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, called K-k-Schur functions, whose highest degree term is a k-Schur function. The dual basis in K-cohomology is given …
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.
We introduce a new construction of exceptional objects in the derived category of coherent sheaves on a compact homogeneous space of a semisimple algebraic group and show that it produces exceptional collections of the length equal to the rank of the Grothendieck group on homogeneous spaces of all classical groups.
Let X be an orthogonal Grassmannian parametrizing isotropic subspaces in an even dimensional vector space equipped with a nondegenerate symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in the singular and quantum cohomology ring of X as a polynomial in certain special Schubert classes. Our analysis reveals a surprising relation between the Schubert calculus on even and odd orthogonal Grassmannians. We also study eta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X.
The bisymplectic Grassmannian I$_2$Gr$(k, V)$ parametrizes k-dimensional subspaces of a vector space V which are isotropic with respect to two general skew-symmetric forms; it is a Fano variety which admits an action of a torus with a finite number of fixed points. In this work we study its equivariant cohomology when $k = 2$; the central result of the paper is an equivariant Chevalley formula for the multiplication of the hyper-plane class by any Schubert class. Moreover, we study in detail the case of I$_2$Gr$(2, \mathbb{C}^6)$, which is a quasi-homogeneous variety, we analyze its deformatio…
We previously obtained a congruence modulo four for the number of real solutions to many Schubert problems on a square Grassmannian given by osculating flags. Here, we consider Schubert problems given by more general isotropic flags, and prove this congruence modulo four for the largest class of Schubert problems that could be expected to exhibit this congruence.
In this paper the K-Theory and the category of homogeneous vector bundles on the symplectic Grassmannian SpGr(2,N) of isotropic 2-planes are discussed.
The subject of this paper is the big quantum cohomology rings of symplectic isotropic Grassmannians $\text{IG}(2, 2n)$. We show that these rings are regular. In particular, by "generic smoothness", we obtain a conceptual proof of generic semisimplicity of the big quantum cohomology for $\text{IG}(2, 2n)$. Further, by a general result of Claus Hertling, the regularity of these rings implies that they have a description in terms of isolated hypersurface singularities, which we show in this case to be of type $A_{n-1}$. By the homological mirror symmetry conjecture, these results suggest the exis…
In a previous paper Affine symmetries of the equivariant quantum cohomology of rational homogeneous spaces, a general formula was given for the multiplication by some special Schubert classes in the quantum cohomology of any homogeneous space. Although this formula is correct in the non equivariant setting, the stated equivariant version was wrong. We provide corrections for the equivariant formula, thus giving a correct argument for the non equivariant formula. We also give new formulas in the equivariant homology of the affine grassmannian that could lead to Pieri type formulas.
The odd symplectic Grassmannian $\mathrm{IG}:=\mathrm{IG}(k, 2n+1)$ parametrizes $k$ dimensional subspaces of $\mathbb{C}^{2n+1}$ which are isotropic with respect to a general (necessarily degenerate) symplectic form. The odd symplectic group acts on $\mathrm{IG}$ with two orbits, and $\mathrm{IG}$ is itself a smooth Schubert variety in the submaximal isotropic Grassmannian $\mathrm{IG}(k, 2n+2)$. We use the technique of curve neighborhoods to prove a Chevalley formula in the equivariant quantum cohomology of $\mathrm{IG}$, i.e. a formula to multiply a Schubert class by the Schubert divisor cl…
This work is motivated by the relation between the KP and BKP integrable hierarchies, whose $τ$-functions may be viewed as sections of dual determinantal and Pfaffian line bundles over infinite dimensional Grassmannians. In finite dimensions, we show how to relate the Cartan map which, for a vector space $V$ of dimension $N$, embeds the Grassmannian ${\mathrm {Gr}}^0_V(V+V^*)$ of maximal isotropic subspaces of $V+ V^*$, with respect to the natural scalar product, into the projectivization of the exterior space $Λ(V)$, and the Plücker map, which embeds the Grassmannian ${\mathrm {Gr}}_V(V+ V^*)…
We present a proof of a Littlewood-Richardson rule for the K-theory of odd orthogonal Grassmannians OG(n,2n+1), as conjectured in [Thomas-Yong '09]. Specifically, we prove that rectification using the jeu de taquin for increasing shifted tableaux introduced there, is well-defined and gives rise to an associative product. Recently, [Buch-Ravikumar '09] proved a Pieri rule for OG(n,2n+1) that [Feigenbaum-Sergel '09] showed confirms a special case of the conjecture. Together, these results imply the aforementioned conjecture.
We study the torus equivariant Schubert classes of the Grassmannian of non-maximal isotropic subspaces in a symplectic vector space. We prove a formula that expresses each of those classes as a sum of multi Schur-Pfaffians, whose entries are equivariantly modified special Schubert classes. Our result gives a proof to Wilson's conjectural formula, which generalizes the Giambelli formula for the ordinary cohomology proved by Buch-Kresch-Tamvakis, given in terms of Young's raising operators. Furthermore we show that the formula extends to a certain family of Schubert classes of the symplectic par…
Continuing our previous study of modified expected dimensions for rank-2 Brill-Noether loci with prescribed special determinants, we introduce a general framework which applies a priori for arbitrary rank, and use it to prove modified expected dimension bounds in several new cases, applying both to rank 2 and to higher rank. The main tool is the introduction of generalized alternating Grassmannians, which are the loci inside Grassmannians corresponding to subspaces which are simultaneously isotropic for a family of multilinear alternating forms on the ambient vector space. In the case of rank …
Let $LG_n$ denote the Lagrangian Grassmannian parametrizing maximal isotropic (Lagrangian) subspaces of a fixed symplectic vector space of dimension $2n.$ For each strict partition $λ=(λ_1,...,λ_k)$ with $λ_1\leq n$ there is a Schubert variety $X(λ).$ Let $T$ denote a maximal torus of the symplectic group acting on $LG_n.$ Consider the $T$-equivariant cohomology of $LG_n$ and the $T$-equivariant fundamental class $σ(λ)$ of $X(λ).$ The main result of the present paper is an explicit formula for the restriction of the class $σ(λ)$ to any torus fixed point. The formula is written in terms of fact…
We show that the space of gravitational spinors in eleven dimensions, defined by equations $Γ_{αβ}^iλ^αλ^β=0$ admits a desingularization with nice geometric properties. In particular the desingularization fibers over the isotropic Grassmannian OGr(2,11). This enables us to recast equations of linearized eleven-dimensional supergravity adapted to 3-form potential into Cauchy-Riemann equations on a super extension of isotropic Grassmannian OGr(2,11).
