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.
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.
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.
The Drinfel'd Lagrangian Grassmannian compactifies the space of algebraic maps of fixed degree from the projective line into the Lagrangian Grassmannian. It has a natural projective embedding arising from the canonical embedding of the Lagrangian Grassmannian. We show that the defining ideal of any Schubert subvariety of the Drinfel'd Lagrangian Grassmannian is generated by polynomials which give a straightening law on an ordered set. Consequentially, any such subvariety is Cohen-Macaulay and Koszul. The Hilbert function is computed from the straightening law, leading to a new derivation of ce…
We compute the small cohomology ring of the Cayley Grassmannian, that parametrizes four-dimensional subalgebras of the complexified octonions. We show that all the Gromov-Witten invariants in the multiplication table of the Schubert classes are non negative and deduce Golyshev's conjecture O holds true for this variety. We also check that the quantum cohomology is semisimple and that there exists, as predicted by Dubrovin's conjecture, an exceptional collection of maximal length in the derived category.
For a Fano manifold M, complex conjugation defines a real involution on the quantum cohomology ring. For the Grassmannian we identify this involution with an explicit transformation on Schubert classes defined over the integers. It is a composition of a power of the cyclic action recently defined by Agnihotri and Woodward with Poincare duality. The existence of the involution has been observed independently and from a different point of view by Postnikov (math.CO/0205165).
It was proved by Ginzburg and Mirkovic-Vilonen that the $G(O)$-equivariant perverse sheaves on the affine grassmannian of a connected reductive group $G$ form a tensor category equivalent to the tensor category of finite dimensional representations of the dual group $G^\vee$. The proof use the Tannakian formalism. The purpose of this paper is to construct explicitely the action of $G^\vee$ on the global cohomology of a perverse sheaf.
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…
We introduce the notion of alternate product of Frobenius manifolds and we give, after [math.AG/0610265], an interpretation of the Frobenius manifold structure canonically attached to the quantum cohomology of G(r,n+1) in terms of alternate products. We also investigate the relationship with the alternate Thom-Sebastiani product of Laurent polynomials.
We study the dimensions of secant varieties of the Grassmannian of Lagrangian subspaces in a symplectic vector space. We calculate these dimensions for third and fourth secant varieties. Our result is obtained by providing a normal form for four general points on such a Grassmannian and by explicitly calculating the tangent spaces at these four points.
The geometry of Sp(3)/U(3) as a subvariety of Gr(3,6) is explored to explain several examples given by Mukai of non-abelian Brill-Noether loci, and to give some new examples. These examples identify Brill-Noether loci of vector bundles on linear sections of the Lagrangian Grassmannian Sp(3)/U(3) with orthogonal linear sections of the dual variety and vice versa. A main technical result of independent interest is the fact that any nodal hyperplane section of the Lagrangian Grassmannian projected from the node is a linear section of the Grassmannian Gr(2,6).
We give a series of successively weaker conjectures on the cohomology ring of the Grassmannian, starting with the Hilbert series of a certain natural filtration.
In [Rie08], the second author defined a Landau-Ginzburg model for homogeneous spaces G/P, as a regular function on an affine subvariety of the Langlands dual group. In this paper, we reformulate this LG-model (X^,W_t) in the case of the Lagrangian Grassmannian LG(m) as a rational function on a Langlands dual orthogonal Grassmannian, in the spirit of work by R. Marsh and the second author [MR12] for type A Grassmannians. This LG model has some very interesting features, which are not visible in the type A case, to do with the non-triviality of Langlands duality. We also formulate a conjecture r…
We give positive formulas for the restriction of a Schubert Class to a T-fixed point in the equivariant K-theory and equivariant cohomology of the Lagrangian Grassmannian. Our formulas rely on a result of Ghorpade-Raghavan, which gives an equivariant Grobner degeneration of a Schubert variety in the neighborhood of a T-fixed point of the Lagrangian Grassmannian.
We find presentations by generators and relations for the equivariant quantum cohomology of the Grassmannian. For these presentations, we also find determinantal formulae for the equivariant quantum Schubert classes. To prove this, we use the theory of factorial Schur functions and a characterization of the equivariant quantum cohomology ring.
We give positive formulas for the restriction of a Schubert Class to a T-fixed point in the equivariant K-theory and equivariant cohomology of the Grassmannian. Our formulas rely on a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai, which gives an equivariant Grobner degeneration of a Schubert variety in the neighborhood of a T-fixed point of the Grassmannian.
A wonderful compactification of an orbit under the action of a semi-simple and simply connected group is a smooth projective variety containing the orbit as a dense open subset, and where the added boundary divisor is simple normal crossing. We construct the wonderful compactification of the space of symmetric and symplectic matrices, and investigate its geometry. As an application, we describe the birational geometry of the Kontsevich spaces parametrizing conics in Lagrangian Grassmannians.
For an acyclic quiver, we establish a connection between the cohomology of quiver Grassmannians and the dual canonical bases of the algebra $U_q^-(\mathfrak{g})$, where $U_q^-(\mathfrak{g})$ is the negative half of the quantized enveloping algebra associated with the quiver. In order to achieve this goal, we study the cohomology of quiver Grassmannians by Lusztig's category. As a consequence, we describe explicitly the Poincaré polynomials of rigid quiver Grassmannians in terms of the coefficients of dual canonical bases, which are viewed as elements of quantum shuffle algebras. By this result…
The rim-hook rule for quantum cohomology of the Grassmannian allows one to reduce quantum calculations to classical calculations in the cohomology of the Grassmannian. We use the Abelian/non-Abelian correspondence for cohomology to prove a rim-hook removal rule for the cohomology of quiver flag varieties. Quiver flag varieties are generalisations of type A flag varieties; this result is new even in the flag case. This gives an effective way of computing products in their cohomology, reducing computations to that in the cohomology ring of the Grassmannian. We then prove a quantum rim-hook rule …
We first prove an identity involving symmetric polynomials. This identity leads us into exploring the geometry of Lagrangian Grassmannians. As an insight applications, we obtain a formula for the integral over the Lagrangian Grassmannian of a characteristic class of the tautological sub-bundle. Moreover, a relation to that over the ordinary Grassmannian and its application to the degree formula for the Lagrangian Grassmannian are given. Finally, we present further applications to the computation of Schubert structure constants and three-point, degree $1$, genus $0$ Gromov--Witten invariants of…
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…
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.
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 show that the cohomology ring of a quiver Grassmannian asssociated with a rigid quiver representation has property (S): there is no odd cohomology and the cycle map is an isomorphism; moreover, its Chow ring admits explicit generators defined over any field. From this we deduce the polynomial point count property. By restricting the quiver to finite or affine type, we are able to show a much stronger assertion: namely, that a quiver Grassmannian associated to an indecomposable (not necessarily rigid) representation admits a cellular decomposition. As a corollary, we establish a cellular dec…
We verify in an elementary way a result of Peterson for the maximal orthogonal and Lagrangian Grassmannians, and then find Vafa-Intriligator type formulas which compute their 3-point, genus zero Gromov-Witten invariants. Finally we study total positivity of the related Peterson varieties and show that Rietsch's conjecture about the total positivity holds for these cases.
The Peterson isomorphism relates the homology of the affine Grassmannian to the quantum cohomology of any flag variety. In the case of a partial flag, Peterson's map is only a surjection, and one needs to quotient by a suitable ideal on the affine side to map isomorphically onto the quantum cohomology. We provide a detailed exposition of this parabolic Peterson isomorphism in the case of the Grassmannian of m-planes in complex n-space, including an explicit recipe for doing quantum Schubert calculus in terms of the appropriate subset of non-commutative k-Schur functions. As an application, we …
The quantum cohomology of Grassmannians exhibits two symmetries related to the quantum product, namely a \Bbb {Z}/n action and an involution related to complex conjugation. We construct a new ring by dividing out these symmetries in an ideal theoretic way and analyze its structure, which is shown to control the sum of all coefficients appearing in the product of cohomology classes. We derive a combinatorial formula for the sum of all Littlewood-Richardson coefficients appearing in the expansion of a product of two Schur polynomials.
We study the projective behavior, mainly with respect to osculating spaces and secant varieties, of Lagrangian Grassmannians and Spinor varieties. We prove that these varieties have osculating dimension smaller than expected. Furthermore, we give numerical conditions ensuring the non secant defectivity of Lagrangian Grassmannians in their Plücker embedding and of Spinor varieties in both their Plücker and Spinor embeddings.
In this note we describe the cohomology ring of the Grassmannian of $k$-planes in $n$-dimensional complex vector space as an $\mathrm{GL}_n$-module. We give explicit formulas for the operators of its principal $\mathfrak{sl}_2$-triple. It is proved that one of these operators corresponds to the shifted cohomology degree operator and the second operator coincides with the Lefschetz map on cohomology (as in the hard Lefschetz theorem). We check that the cohomology ring of the complex Grassmannian as a $\mathrm{GL}_n$-representation is isomorphic to the $k$-th exterior power of the standard $n$-d…
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…
Let the vector bundle $\mathcal{E}$ be a deformation of the tangent bundle over the Grassmannian $G(k,n)$. We compute the ring structure of sheaf cohomology valued in exterior powers of $\mathcal{E}$, also known as the polymology. This is the first part of a project studying the quantum sheaf cohomology of Grassmannians with deformations of the tangent bundle, a generalization of ordinary quantum cohomology rings of Grassmannians. A companion physics paper [arXiv:1512.08586] describes physical aspects of the theory, including a conjecture for the quantum sheaf cohomology ring, and numerous exa…
In this paper we show examples of computations achieved using the formulas of our previous paper, which express the push-forwards in equivariant cohomology as iterated residues at infinity. We consider the equivariant cohomology of the complex Lagrangian Grassmannian $LG(n)$ and the orthogonal Grassmannian with the action of the maximal torus. In particular, we show how to obtain some well-known results due to P. Pragacz and J. Ratajski on integrals of Schur polynomials over the Lagrangian Grassmannian $LG(n)$ and the orthogonal Grassmannian $OG(n)$.
We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with non-negative structure constants. This implies that the (three point, genus zero) Gromov-Witten invariants of X are uniquely determined by Witten's presentation of QH(X) and the fact that they are non-negative. We conjecture that the same is true for any flag variety X = G/P of simply laced Lie type. For the variety GL(n)/B of complete flags, this conjecture is equ…
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…
Let $M$ be a Fano manifold, and $H^\star(M;\mathbb{C})$ be the quantum cohomology ring of $M$ with the quantum product $\star.$ For $σ\in H^*(M;\mathbb{C})$, denote by $[σ]$ the quantum multiplication operator $σ\star$ on $H^*(M;\mathbb{C})$. It was conjectured several years ago \cite{GGI, GI} and has been proved for many Fano manifols \cite{CL1, CH2, LiMiSh, Ke}, including our cases, that the operator $[c_1(M)]$ has a real valued eigenvalue $δ_0$ which is maximal among eigenvaules of $[c_1(M)]$. Galkin's lower bound conjecture \cite{Ga} states that for a Fano manifold $M,$ $δ_0\geq \mathrm{di…
Let $Y$ be a Plücker hypersurface in a symplectic Grassmannian $I_1 Gr(3,n)$ or a bisymplectic Grassmannian $I_2 Gr(3,n)$. We show that many Chow groups of $Y$ inject into cohomology.
In this article, we make a close analysis on quantum multiplication operators on the quantum cohomology rings of Lagrangian and orthogonal Grassmannians, and give an explicit description on all simultaneous eigenvectors and the corresponding eigenvalues for these operators. As a result, we show that Conjecture $\mathcal{O}$ of Galkin, Golyshev and Iritani holds for these manifolds.
We prove the conjectural relation between the Stokes matrix for the quantum cohomology and an exceptional collection generating the derived category of coherent sheaves in the case of the Grassmannian. The proof is based on the relation between the quantum cohomology of the Grassmannian and that of the projective space.
Let G be a reductive group; in this note we give an interpretation of the dynamical Weyl group of of the Langlands dual group $\check{G}$ defined by Etingof and Varchenko in terms of the geometry of the affine Grassmannian Gr of G. In this interpretation the dynamical parameters of Etingof and Varchenko correspond to equivariant parameters with respect to certain natural torus acting on Gr. We also present a conjectural generalization of our results to the case of affine Kac-Moody groups.
The integral singular cohomology ring of the Grassmann variety parametrizing $r$-dimensional subspaces in the $n$-dimensional complex vector space is naturally an irreducible representation of the Lie algebra of all the $n\times n$ matrices with integral entries. Using the notion of Schubert derivation, a distinguished Hasse-Schmidt derivation on an exterior algebra, we describe explicitly such a representation, indicating its relationship with the celebrated bosonic vertex representation of the Lie algebra of infinite matrices due to Date, Jimbo, Kashiwara and Miwa.
This is an expository lecture, for the Abel bicentennial (Oslo, 2002), describing some recent work on the (small) quantum cohomology ring of Grassmannians and other homogeneous varieties.
The Chern-Schwartz-MacPherson (CSM) and motivic Chern (mC) classes of Schubert cells in a Grassmannian are one parameter deformations of the fundamental classes of the Schubert varieties in cohomology and K-theory respectively. Like the fundamental classes, the deformed classes form a basis for the cohomology and K-theory ring of the Grassmannian. The purpose of this paper is to initiate the study of the structure constants associated to the basis CSM and mC classes in terms of the combinatorics of polynomials. First, we prove formulas for the structure constants of projective spaces that invo…
In this paper, we study the T_w-equivariant cohomology of the weighted Grassmannians wGr(d,n) introduced by Corti-Reid where T_w is the n-dimensional torus that naturally acts on wGr(d,n). We introduce the equivariant weighted Schubert classes and, after we show that they form a basis of the equivariant cohomology, we give an explicit formula for the structure constants with respect to this Schubert basis. We also find a linearly independent subset {wu_1,...,wu_n} of Lie(T_w)^* such that those structure constants are polynomials in wu_i's with non-negative coefficients, up to a permutation on …
The occurrence and frequency of a phenomenon of resonance (namely the coalescence of some Dubrovin canonical coordinates) in the locus of Small Quantum Cohomology of complex Grassmannians is studied. It is shown that surprisingly this frequency is strictly subordinate and highly influenced by the distribution of prime numbers. Two equivalent formulations of the Riemann Hypothesis are given in terms of numbers of complex Grassmannians without coalescence: the former as a constraint on the disposition of singularities of the analytic continuation of the Dirichlet series associated to the sequenc…
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.
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.
