qkpieri.conf
Seidel and Pieri products in cominuscule quantum -theory
Abstract.
We prove a collection of formulas for products of Schubert classes in the quantum -theory ring of a cominuscule flag variety . This includes a -theory version of the Seidel representation, stating that the quantum product of a Seidel class with an arbitrary Schubert class is equal to a single Schubert class times a power of the deformation parameter . We also prove new Pieri formulas for the quantum -theory of maximal orthogonal Grassmannians and Lagrangian Grassmannians, and give a new proof of the known Pieri formula for the quantum -theory of Grassmannians of type A. Our formulas have simple statements in terms of quantum shapes that represent the natural basis elements of . Along the way we give a simple formula for -theoretic Gromov-Witten invariants of Pieri type for Lagrangian Grassmannians, and prove a rationality result for the points in a Richardson variety in a symplectic Grassmannian that are perpendicular to a point in projective space.
Key words and phrases:
Quantum -theory, Gromov-Witten invariants, cominuscule flag varieties, Seidel representation, Pieri formulas, symplectic Grassmannians, Richardson varieties2020 Mathematics Subject Classification:
Primary 14N35; Secondary 19E08, 14N15, 14M15, 14E081. Introduction
In this paper we prove a collection of explicit formulas for products of Schubert classes in the quantum -theory ring of a cominuscule flag variety. These formulas include a -theory version of the Seidel representation of the quantum cohomology ring [Sei97, Bel04, CMP09], as well as Pieri formulas for products with special Schubert classes of classical Grassmannians that generalize earlier Pieri formulas in quantum cohomology [Ber97, KT03, KT04] and in -theory [Len00, BR12]. The Pieri formula for is known from [BM11] when is a Grassmannian of type A, but is new for maximal orthogonal Grassmannians and Lagrangian Grassmannians. Our formulas have simple expressions in terms of quantum shapes that encode the natural basis elements of , generalizing the familiar identification of cominuscule Schubert classes with diagrams of boxes [Pro84].
Let be a flag variety defined by a complex semisimple linear algebraic group and a parabolic subgroup . Let be the root system of , the Weyl group, and let be a Borel subgroup contained in . A simple root is called cominuscule if, when the highest root is expressed in the basis of simple roots, the coefficient of is one. The flag variety is called cominuscule if is a maximal parabolic subgroup defined by a cominuscule simple root. Let be the minimal representative of the longest element modulo the Weyl group of . The minimal representatives defined by all cominuscule flag varieties of , together with the identity, form a subgroup of the Weyl group:
Each element defines the Schubert varieties and in . The Schubert classes for will be called Seidel classes. It was proved in [Bel04] and also in [CMP09] that quantum cohomology products with Seidel classes have only one term. More precisely, for and we have in , where is the unique fundamental coweight such that . This defines a representation of on called the Seidel representation. Our first result generalizes the Seidel representation to the quantum -theory ring when is itself cominuscule. We denote the Schubert classes in by and .
Theorem 1.1 (Seidel representation).
Let be a cominuscule flag variety, and let and . We have in that
where is determined by .
When is a cominuscule flag variety, the subset of minimal representatives of the cosets in can be represented by generalized Young diagrams [Pro84, Per07, BS16]. Set , where is the cominuscule simple root defining , and give the partial order if and only if is a sum of positive roots. The inversion set of any element is a lower order ideal in . The set can be identified with a set of boxes in the plane, which in turn identifies with a diagram of boxes that we call the shape of . This defines a bijection between the set of shapes in and the Schubert basis of .
More generally, let be the natural -basis of . It was shown in [BCMP22] that has a natural partial order defined by if and only if and can be connected by a rational curve of degree at most . Moreover, this partial order is a distributive lattice when is cominuscule. Let be the subset of join-irreducible elements. Then is an infinite partially ordered set that contains as an interval. When is a Grassmannian of type A, is Postnikov’s cylinder from [Pos05]. This poset was also defined in [Hag04]. The posets defined by other cominuscule flag varieties are isomorphic to certain full heaps of affine Dynkin diagrams that were constructed in [Gre13] and used to study minuscule representations.
Define a quantum shape to be any (non-empty, proper, lower) order ideal . A quantum shape will also be called a shape when it cannot be misunderstood to be a classical shape in . The assignment
defines an order isomorphism from to the set of shapes in , where shapes are ordered by inclusion. We write when is the quantum shape of .
Quantum multiplication by any Seidel class defines an order automorphism of , which restricts to an order automorphism of . If is any quantum shape, then defines a new quantum shape such that
Here we have abused notation and identified with the corresponding -theory class . The poset can be identified with an infinite set of boxes in the plane, such that each automorphism defined by a Seidel class is represented by a translation of the plane, possibly combined with a reflection. This gives a simple description of products with Seidel classes in terms of quantum shapes.
Let be a cominuscule classical Grassmannian, that is, a Grassmannian of type A, a maximal orthogonal Grassmannian , or a Lagrangian Grassmannian . The Chern classes of the tautological vector bundles over are represented by the special Schubert varieties , with . Formulas for products with the special Schubert classes are known as Pieri formulas. Our Pieri formula for takes the form
where the sum is over all quantum shapes containing . The coefficient depends on as well as the skew shape . For Grassmannians of type A and maximal orthogonal Grassmannians, these coefficients are identical to those appearing in the Pieri formulas for the ordinary -theory ring. These coefficients are signed binomial coefficients in type A [Len00], and are signed counts of KOG-tableaux of shape for maximal orthogonal Grassmannians [BR12]. In fact, in these cases the Pieri formula for is an easy consequence of Theorem 1.1, the Pieri formula for , and a bound on the -degrees in cominuscule quantum products proved in [BCMP22].
Assume now that is a Lagrangian Grassmannian. In this case our Pieri formula for is more difficult to state and prove. While the coefficients of the Pieri formula for are expressed as signed counts of KLG-tableaux in [BR12], we need to amend the definition of KLG-tableau with additional conditions in the quantum case. The tableaux satisfying these conditions will be called QKLG-tableaux. Another difference is that the Lagrangian Grassmannian does not have enough Seidel classes to translate the Pieri formula for to one for . We must therefore prove our quantum Pieri formula ‘from scratch’, starting with a geometric computation of the relevant -theoretic Gromov-Witten invariants, and then use combinatorics to translate these Gromov-Witten invariants to the structure constants of Pieri products. While both parts resemble the proof of the Pieri formula from [BR12], the technical challenges are harder for several reasons, and many steps rely on results proved in [BCMP22].
Our computation of Gromov-Witten invariants targets those of the form
where are the evaluation maps from the Kontsevich modulo space. By [BCMP18b], these can be computed as
where the curve neighborhood is defined as the union of all stable curves of degree connecting and . Let be the variety of two-step isotropic flags in the symplectic vector space , and let and be the projections. We then have for any linear subspace of dimension . The projection formula therefore gives
We compute the right hand side by showing that the restricted map
(1) |
is cohomologically trivial, and that its image is a complete intersection in defined by explicitly determined equations. More precisely, define the skew shape in , let be the number of components of that are disjoint from the two diagonals in (Section 7), and let be the size of a maximal rim contained in . Assuming that , we show that is a complete intersection in defined by quadratic equations and linear equations. This gives the formula
(2) |
In the special case we have , so (1) is the projection of a Richardson variety in . This map was proved to be cohomologically trivial in [BR12] by showing that its general fibers are themselves Richardson varieties. This result has been generalized to arbitrary projections of Richardson varieties, see [BC12, KLS14] and [BCMP22, Thm. 2.10]. However, the variety for is not a Richardson variety, and it is difficult to determine the fibers of the projection (1).
Let be the symplectic Grassmannian of isotropic subspaces of dimension in , set , and let and be the projections. By the quantum-to-classical construction (see [BCMP22, §5] and references therein) we have , where is a Richardson variety in . Define the perpendicular incidence variety
and let and be the projections. We then have .
We prove that for any Richardson variety , the general fibers of the map are rational, and the image is a complete intersection in defined by explicitly given linear and quadratic equations. The required properties of the projection (1) are deduced from this result. Our results about perpendicular incidences of Richardson varieties in are stronger than required for this paper, but of independent interest. For example, the fibers of is a plausible definition of Richardson varieties in the odd symplectic Grassmannian . Notice also that is not a flag variety, so is not a projected Richardson variety.
A final step in our proof of the Pieri formula for is to translate the formula (2) for Gromov-Witten invariants of Pieri type to a formula for the Pieri coefficients . We first show that the structure constants of the undeformed product (see Section 2.5) are determined by recursive identities. These identities are used to prove that the Pieri coefficients satisfy analogous recursive identities. The Pieri formula for then follows by checking that the signed counts of QKLG-tableaux satisfy the same identities.
This paper is organized as follows. In Section 2 we fix our notation for flag varieties and discuss preliminaries. Section 3 contains the proof of Theorem 1.1. In Section 4 we define quantum shapes in the partially ordered set , and explain how quantum multiplication by Seidel classes correspond to order automorphisms of this set. The Pieri formulas for are given in Section 5 for Grassmannians of type A, in Section 6 for maximal orthogonal Grassmannians, and in Section 7 for Lagrangian Grassmannians. These sections also explain in detail how the posets for the classical Grassmannians are identified with sets of boxes in the plane. While the Pieri formulas for and have short proofs given after their statements, the proof of the Pieri formula for Lagrangian Grassmannians is given in the last three sections. Section 8 proves that the map is cohomologically trivial and identifies its image as a complete intersection in . Section 9 uses this result to prove the formula (2) for Gromov-Witten invariants of Pieri type. Finally, Section 10 proves the recursive identities that determine the invariants and the Pieri coefficients .
We thank Leonardo Mihalcea for inspiring collaboration on many related papers about quantum -theory, as well as many helpful comments to this paper. We also thank Mihail Ţarigradschi for helpful comments. Finally, we thank Prakash Belkale and Robert Proctor for making us aware of the references [Bel04, Hag04, Gre13].
2. Cominuscule flag varieties
In this section we summarize some basic notation and definitions. We follow the notation of [BCMP22].
2.1. Flag varieties
Let be a connected semisimple linear algebraic group over , and fix a Borel subgroup and a maximal torus such that . The opposite Borel subgroup is determined by . Let be the Weyl group of and let be the root system, with simple roots .
A flag variety of is a projective variety with a transitive -action. Given a flag variety of , we let denote the stabilizer of the unique -fixed point in . We obtain the identification , where is the -translate of the -fixed point.
Let be the Weyl group of and let be the set of minimal representatives of the cosets in . Each element defines the Schubert varieties
and for we have . The Bruhat order on is defined by if and only if .
Any element has a unique parabolic factorization , where and . The parabolic factorization of the longest element is , where is the longest element in and is the longest element in . We have for any , where denotes the Poincare dual basis element.
Lemma 2.1.
Let be any flag variety with , and let be the projection. Let denote the fiber over , considered as a flag variety of . Let and .
(a) We have , and the general fibers of are translates of .
(b) We have , and the general fibers of are translates of .
(c) The map is birational if and only if .
(d) We have , and .
(e) We have , and .
Proof.
Parts (a) and (b) are [BCMP22, Thm. 2.8 and Remark 2.9], and part (c) follows from (b). Parts (d) and (e) hold because the -fixed points in are the points of the form , with . ∎
Proposition 2.2.
Let and be flag varieties, let , and assume that . Then , where . In particular, is a Schubert variety in .
Proof.
2.2. Cominuscule flag varieties
A simple root is called cominuscule if the coefficient of is one when the highest root of is expressed in the basis of simple roots. The flag variety is called cominuscule if is a maximal parabolic subgroup corresponding to a cominuscule simple root , that is, is the unique simple reflection in . A cominuscule flag variety is also called minuscule if the root system is simply laced. In the remainder of this section we assume that is the cominuscule flag variety defined by the cominuscule simple root .
The Bruhat order on is a distributive lattice [Pro84] with meet and join operations defined by and for . The minimal representatives in can be identified with shapes of boxes as follows [Pro84, Per07, BS16]. The root system has a natural partial order defined by if and only if is a sum of positive roots. Let be the subset
with the induced partial order (see Table 1). A lower order ideal is called a shape in . There is a natural bijection between and the set of shapes in that sends to its inversion set
This correspondence is compatible with the Bruhat order, so that holds in if and only if . In addition, we have . The elements of will frequently be called boxes. There exists a natural labeling defined by , where is the unique element with shape . Given , write , where the boxes of are listed in non-decreasing order, that is, implies . Then is a reduced expression for .
If is any shape and is the corresponding element with , then the Schubert varieties defined by will also be denoted by
Grassmannian of type A | Max. orthog. Grassmannian | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Lagrangian Grassmannian | Cayley Plane | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Even quadric | Freudenthal variety | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Odd quadric | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2.3. Curve neighborhoods
Let denote the Kontsevich moduli space of 3-pointed stable maps to of degree and genus zero, see [FP97]. The evaluation maps are denoted , for . Given opposite Schubert varieties and in and a degree , let
be the Gromov-Witten variety of stable maps that send the first two marked points to and , respectively. This variety is empty or unirational with rational singularities [BCMP13, §3]. The curve neighborhood
is the union of all stable curves of degree in that connect and . In particular, is the union of all stable curves of degree that pass through . Since this variety is a Schubert variety in [BCMP13, Prop. 3.2(b)], we can define elements by
Define by .
The curve neighborhood can be constructed as a projected Richardson variety as follows [BCMP18b]. Given , let denote the minimal degree of a rational curve in that meets both and . The diameter of is the distance between two general points. For , we can choose points with . Let be the union of all stable curves of degree that pass through and . Then is a non-singular Schubert variety, whose stabilizer is a parabolic subgroup of . The set of all -translates of can therefore be identified with the flag variety . Let be the flag variety defined by , and let and be the projections. Set
These varieties are Richardson varieties in and . By [BCMP18b, Thm. 4.1] and [BCMP22, Thm. 10.1] we then have , and the restricted projection
(3) |
is cohomologically trivial. We let be the unique element such that is a translate of . A combinatorial description of the elements can be found in [BCMP22, Def. 5.2].
2.4. Quantum cohomology
The (small) quantum cohomology ring is a -algebra, which is defined by as a -module. When is cominuscule, the multiplicative structure is given by
This follows from the quantum equals classical theorem [Buc03, BKT03, CMP08, BM11, CP11, BCMP18b]. A mostly type-uniform proof was given in [BCMP22]. Notice that we have
for example because the projection (3) is cohomologically trivial. Let
be the localization of at the deformation parameter . The set is a natural -basis of .
2.5. Quantum -theory
Let denote the -theory ring of algebraic vector bundles on . Given , we let and denote the corresponding -theoretic Schubert classes. For any shape , we similarly write and .
The quantum -theory ring is an algebra over the power series ring , which is given by as a -module. An undeformed product on is defined by
This product is not associative. Let be the line neighborhood operator, defined as the -linear extension of the map , where and are the evaluation maps from . Equivalently, we have for . Givental’s associative quantum product on is then given by [BCMP18a, Prop. 3.2]
Let be the localization obtained by adjoining the inverse of to . The set is a -basis of , in the sense that every element of can be uniquely expressed as an infinite linear combination
of , with and the degrees bounded below.
3. The Seidel representation on quantum -theory
Let be a fixed cominuscule flag variety. In this section we prove that certain products in are equal to a single element from . The same statement was proved in [Bel04, CMP09] for products of Schubert classes in the quantum cohomology ring of any flag variety . For we let and denote the minimal and maximal powers of in the quantum cohomology product . Let be the maximal power of in .
Lemma 3.1.
Let and . Then , where .
Proof.
Using that , we obtain , and hence , so we may replace with and assume that (see [BCMP22, §7.1]). We have and by Lemma 2.1, and since , we obtain . It therefore follows from Proposition 2.2 that , where . The result follows from this and Lemma 2.1, using that is birational [BCMP22, Prop. 7.1] and [BCMP22, Lemma 6.1]. ∎
Corollary 3.2.
For we have in and in .
Proof.
Let be the subset of point representatives of cominuscule flag varieties of , together with the identity element:
Remarkably, this is a subgroup of , which is also isomorphic to the quotient of the coweight lattice of by the coroot lattice. The isomorphism sends to the class of the fundamental coweight corresponding to .
The classes and given by and are called Seidel classes. The cohomological Seidel classes form a subgroup of the group of units by [Bel04, CMP09]. We will see in Corollary 3.7 below that the -theoretic Seidel classes similarly form a subgroup of .
The following lemma shows that is a Seidel class if and only if the dual class is a Seidel class (when is cominuscule).
Lemma 3.3.
Let and be flag varieties. The dual element of in is .
Proof.
Using that , we obtain , so the dual element of is . ∎
The following combinatorial lemma is justified with a case-by-case argument. We hope to give a type-independent proof in later work.
Lemma 3.4.
Let be a cominuscule flag variety, let , and define by . The following are equivalent.
(a) for some .
(b) is a cominuscule simple root.
(c) .
(d) .
When these conditions hold we have , where is the cominuscule flag variety defined by .
Proof.
The action of restricts to an order-reversing involution of , and is an order isomorphism, see [BCMP22, Lemma 4.4 and Prop. 5.10]. This uniquely determines for most cominuscule flag varieties. In this proof we will identify shapes labeled by simple root numbers with the product of the corresponding simple reflections in south-east to north-west order. For example, the set labeled by simple root numbers, as in Table 1, is identified with .
Assume first that the root system has type , with simple roots . All simple roots are cominuscule. Let be defined by . Then is a rectangle with rows and columns, and consists of the top row and leftmost column of , except for the minimal box . Let be the box in column of the top row of . Then is the box in column of the bottom row of , and is a rectangle with rows and columns. We also have , which defines . The shape of is a rectangle with rows and columns; this follows because the top part of cancels when is reduced modulo . For example, for and , we obtain and
The marked box is . It follows that is dual to in , and conditions (a)-(d) are satisfied. A symmetric argument applies when belongs to the leftmost column of .
We next assume that has type , with simple roots . The three cominuscule flag varieties of this type are , , and . Here is a quadric and are maximal orthogonal Grassmannians. For , the point representatives are
Let . The elements in representing Seidel classes other than and are the two elements of length . For , we obtain
The set contains all boxes of , except and the maximal box. The two incomparable boxes of are and , where . Since swaps and and fixes all other boxes of , it follows that (a)-(d) are satisfied if and only if . Assume that . We obtain , , and . If is even, then the bottom label of is , hence , and otherwise . This is consistent with the lemma, since the elements and are dual to each other when is even and self-dual when is odd. A symmetric argument applies when .
Let . The shape of is a single row of boxes, and is dual to in . For , we have
The set consists of the first two rows of , with removed. Let be the unique boxes with labels and . Then , and is the second to last diagonal box of . It follows that conditions (a)-(d) hold if and only if , and the description of is accurate.
If is a Lagrangian Grassmannian , an odd quadric , or the Freudenthal variety , then no boxes of satisfy conditions (a)–(d). The Cayley plane is similar to the cases of type and left to the reader. ∎
Lemma 3.5.
Let be a minuscule flag variety, let , and assume that for some . Then for each , where is the -basis of .
Proof.
Theorem 3.6.
Let be a cominuscule flag variety and let . The following are equivalent.
(S1) for some .
(S2) , where , is the -basis of .
(S3) , where , is the -basis of .
(S4) .
(S5) .
(S6) .
(S7) We have , or such that and .
Furthermore, if is as in condition (S7), then , is a cominuscule simple root, and where is the cominuscule flag variety defined by .
Proof.
We may assume by Corollary 3.2. The implications (S3) (S2) (S4) and (S3) (S5) (S4) are clear, noting that the quantum cohomology product is the leading term of , and is non-zero by Corollary 3.2 since . The implication (S4) (S6) is also clear. Using the notation defined in [BCMP22, Def. 6.5], it follows from [BCMP22, Prop. 7.1 and Cor. 7.4] that is equivalent to , noting that and . The elements and are cominuscule minimal representatives, so is equivalent to . By [BCMP22, Prop. 6.2 and Prop. 6.7(b)] these inversion sets are given by
Since and , we deduce that holds if and only if . This proves that (S6) is equivalent to (S7). Assume (S7), and let satisfy and . Then , so Lemma 3.4 implies that is a cominuscule simple root. This is only possible when is minuscule. Using (S6), it follows from [BCMP22, Thm. 8.3] that . By Corollary 3.2, this implies that is a power of for some positive integer , so it follows from Lemma 3.5 that . This proves the implication (S7) (S3). We finally show that (S1) is equivalent to (S7). The implication (S7) (S1) follows immediately from Lemma 3.4. If (S1) holds, then , where is the cominuscule flag variety defined by some cominuscule simple root . Let be any root for which , and define by . Then Lemma 3.4 shows that , which proves the implication (S1) (S7). The last claims of the theorem also follow from Lemma 3.4. ∎
The following result provides the action of the subgroup of Seidel classes in on the basis . The statement was proved for the quantum cohomology of arbitrary flag varieties in [Bel04, CMP09].
Corollary 3.7.
Let be a cominuscule flag variety, and let and . Then, holds in .
Proof.
It follows from [Bel04, CMP09] that holds in the quantum cohomology ring . The result follows from this since is the leading term of , and is a power of times a single Schubert class by Theorem 3.6. ∎
Example 3.8.
Let be the quadric of type , let be the point class, and let be the two Schubert classes of middle degree. Since has order 4 and , we deduce that the Seidel classes in consist of , , , and . If is even, then and hold in . It follows that , , , and hold in . Similarly, if is odd, then , , , and hold in . Any product of a Seidel class with a non-Seidel Schubert class in is the unique element in of the correct degree. This determines all products with Seidel classes in . Products of arbitrary Schubert classes in and are determined by this together with Corollary 3.7 and the quantum Chevalley formulas [FW04, BCMP18a].
Example 3.9.
Let . Then
holds in . Let be the standard basis of . We claim that
that is, is a translate of the Schubert divisor . The curve neighborhood is the union of all lines connecting the Schubert varieties
Given , we can find and such that
Since and are both contained in , we obtain . This proves the claim, since is a divisor in .
Set , , and let and be the projections. We have and , so it follows from Monk’s formula that
We deduce that is not a Schubert variety in .
Remark 3.10.
Let be any flag variety of . Recall that can be identified with the coroot lattice of modulo the coroot lattice of , by identifying each curve class with the simple coroot (see e.g. [BM15, §2]). Let , , and let be the cominuscule simple root defining the cominuscule flag variety corresponding to . Set , where is the fundamental coweight dual to . It was proved in [Bel04, CMP09] that the identity
holds in the small quantum cohomology ring . This is consistent with the following conjecture.
Conjecture 3.11.
Let be any flag variety. For , , , and , we have
This conjecture follows from Proposition 2.2 when , from Lemma 3.1 when is cominuscule and , and from [LLSY22, Cor. 4.6] when is a Grassmannian of type A and is a special Seidel class. In response to this paper, it was proved in [Tar23] that Conjecture 3.11 is true for all flag varieties of type A, and the general conjecture follows from the special case where is a maximal parabolic subgroup.
4. Quantum shapes
Let be a cominuscule flag variety. An infinite partially ordered set extending was constructed in [BCMP22], such that elements of the set correspond to order ideals in that we call quantum shapes. Isomorphic partially ordered sets were constructed in [Hag04, Pos05, Gre13]. Products of Seidel classes with arbitrary Schubert classes have simple combinatorial descriptions in terms of quantum shapes, and our Pieri formulas also have their simplest expressions in terms of these shapes. In this section we summarize the facts we need. Proofs of our claims and more details can be found in [BCMP22, §7.2]. Some claims are justified by Proposition 4.4 proved at the end of this section.
Recall that is a -basis of . Define a partial order on by
The condition says that some rational curve in of degree at most intersects both and . Equivalently, holds if and only if occurs with non-zero coefficient in the expansion of in , for some and [BCMP22, §7.2]. The following was proved in [BCMP22, Thm. 7.8].
Theorem 4.1.
Let and . The power occurs in if and only if .
Corollary 4.2.
Assume that satisfy and . Then and .
Proof.
Set . Then . Using that , this shows that . Similarly, if we set , then and implies that , as required. ∎
The following special case is useful for showing that a quantum product has only classical terms.
Corollary 4.3.
Let . Assume that and for some . Then .
Proof.
This follows from Corollary 4.2 and condition (S6) of Theorem 3.6. ∎
The partially ordered set is a distributive lattice by [BCMP22, Prop. 7.10]. Let be the subset of all join-irreducible elements. These elements will be called boxes. Define a quantum shape in to be any non-empty proper lower order ideal . A quantum shape will also be called a shape when it cannot be misunderstood to be a classical shape in . A skew shape in is the difference between two shapes . All shapes in are infinite, and all skew shapes in are finite. Given , define
Notice that if , then is the unique maximal box of . By [BCMP22, Thm. 7.13], the map is an order isomorphism of with the set of all shapes in , where shapes are ordered by inclusion. For any shape we will write , where is the unique element with shape .
Given , define by . Then the quantum shape contains a unique maximal box distinct from , the identity element of . The map is an order isomorphism of onto an interval in by [BCMP22, Thm. 7.13]. We identify with the image . Given a classical shape , we will abuse notation and also use to denote the corresponding quantum shape , see Proposition 4.4(c). Both of these shapes define the same class .
Quantum multiplication by any Seidel class in defines an order automorphism of , which restricts to an order automorphism of . Since by Proposition 4.4(a), it follows that all Seidel classes belong to . Given any shape , we define a new quantum shape by . We then have
in , where is the Seidel class in corresponding to . The action of Seidel classes on therefore determines arbitrary products with Seidel classes in and . For multiplication by powers of , we use the notation , so that . The shifting operations on shapes in (see [BCMP22, §6.2]) are then given by (when is identified with the quantum shape ).
The following figures show the partially ordered set for the quadrics of dimensions 7 and 12, as well as the exceptional cominuscule flag varieties. Each set has the west-to-east order, where any node is covered by the nodes immediately northeast, east, or southeast of it. The elements of are colored gray. Seidel classes are represented by lines marking the eastern borders of their quantum shapes. We use to denote the point class, and and are used to represent Seidel classes in that are not in the subgroup of generated by and . Multiplication by any Seidel class corresponds to the rigid transformation of that moves the border of to the border of the Seidel class. This rigid transformation is a horizontal translation, possibly combined with a reflection in a horizontal line.
:
:
:
:
The following results will be used to describe the quantum posets of classical Grassmannians in the next three sections.
Proposition 4.4.
Let be a cominuscule flag variety.
(a) We have .
(b) The map defined by is bijective.
(c) We have .
Proof.
Parts (a) and (b) follow from [BCMP22, Def. 7.11 and Thm. 7.13], noting that holds if and only if . Let . Then , where is the highest root. Since by [BCMP22, Thm. 7.13(a)], and , we obtain . This proves that . Given , we may write for some and . The condition implies , and implies that by [BCMP22, Lemma 7.12]. It therefore follows from [BCMP22, Prop. 5.9(a) and Cor. 5.11] that , and from [BCMP22, Def. 7.11] that . This proves part (c). ∎
Lemma 4.5.
Let be any non-minimal box in , and let be a covering in . Then for some , such that is a covering in .
Proof.
Since is not minimal in , it follows from Proposition 4.4(a) that , hence for some by Proposition 4.4(c). Proposition 4.4(c) also implies that is a covering in , as required. ∎
5. Pieri formula for Grassmannians of type A
5.1. Quantum shapes
Let be the Grassmannian of -dimensional vector subspaces of . The quantum cohomology ring was computed by Witten [Wit95] and Bertram [Ber97], and a Pieri formula for the ordinary -theory ring was obtained by Lenart [Len00]. The Grassmannian is minuscule of type , and the corresponding partially ordered set is a rectangle of boxes with rows and columns, endowed with the northwest-to-southeast order discussed below.
Each shape can be identified with a partition
with , where is the number of boxes in the -th row of . If consists of a single row of boxes, then will also be identified with the integer . The special Schubert classes in are the classes for . Another family of special classes consists of for , where denotes a rectangle with rows and columns.
Let denote a grid of boxes that fill the plane, where the row number increases from north to south, and the column number increases from west to east. We endow with the northwest-to-southeast partial order, defined by if and only if and . The quotient is ordered by if and only if for some . The cylinder was used to study the quantum cohomology ring in [Pos05, §3]. This partially ordered set was also defined in [Hag04, §8].
Proposition 5.1.
Let and set and .
(a) The group of Seidel classes in is generated by and .
(b) We have and in .
(c) The map defined by is an order isomorphism, which identifies with the rectangle .
(d) The actions of and on are determined by and .
Proof.
Noting that and , where and , it follows that and are Seidel classes in . Part (b) follows from Bertram’s quantum Pieri formula [Ber97], and is also an easy consequence of Corollary 3.7. These results also show that
for and . Part (a) follows from this, noting that and generate distinct Seidel classes in .
The map is well defined by part (b), and order-preserving since, if , then occurs in the expansion of the product . The maximal box of is the -th box of the rightmost column of , and the maximal box of is the -th box of the bottom row of . Since these maximal boxes include all boxes of , it follows from Proposition 4.4 that is surjective. If in , then since has order and inverse in , we must have for some . Since has degree in , we obtain . This implies that is bijective. To show that is an order isomorphism, we must show that, if is a covering in , then . If , then this follows because is totally ordered, so assume that . Using that is surjective and quantum multiplication by the Seidel classes and define order automorphisms of , we may assume that is the maximal box of . We then deduce from Lemma 4.5 that or , and in either case we obtain . Noting that and , it follows from Proposition 4.4(c) that is identified with the rectangle . This proves part (c). Part (d) follows from the definition of , which completes the proof. ∎
Example 5.2.
Let and set , , and . The following figure shows the rectangle , with each box labeled by . The framed rectangle can be identified with .
Remark 5.3.
Let . The map from Proposition 5.1(c) defines an order-preserving bijection , which is an order isomorphism if and only if . In particular, does not have ‘cylinder’ behavior when is projective space. A non-empty proper lower order ideal can be represented by the decreasing sequence , where is maximal such that . The image is a shape in if and only if , and any shape in has this form. In this case the corresponding basis element is obtained by removing rim-hooks from , see [BCFF99].
5.2. Pieri formula
Let be a skew shape. A row of means a subset of the form , where and is the map defined in Proposition 5.1, and a column of is a subset of the form . The skew shape is called a horizontal strip if each column of contains at most one box. Let denote the number of non-empty rows in . For we define
A Pieri formula for products of the form in was proved in [BM11]. We proceed to show that this formula is an easy consequence of Corollary 3.7, Lenart’s Pieri formula for [Len00], and a bound on the -degrees in quantum -theory products proved in [BCMP22].
Theorem 5.4.
Let , let be any quantum shape, and let . Then
holds in , where the sum is over all quantum shapes containing .
Proof.
Set and choose maximal such that . By Corollary 3.7 and Proposition 5.1 we have , where is a classical shape with . Corollary 4.3 then implies that , so [BCMP22, Cor. 8.3] shows that agrees with the classical product in . Notice that, if is any quantum shape such that is a horizontal strip, then is a classical shape. It therefore follows from [Len00, Thm. 3.2] that
holds in , where the sum is over all shapes containing . Since quantum multiplication by defines a module automorphism of and defines an order automorphism of , this identity is equivalent to the theorem. ∎
The following version of Theorem 5.4 is equivalent to the Pieri formula for proved in [BM11].
Corollary 5.5.
Let be any shape and let . Then
holds in , where the first sum is over all shapes containing , and the second sum is over all shapes for which contains .
Proof.
This is a direct translation of Theorem 5.4, using that . ∎
Example 5.6.
Let . By Remark 5.3 we can represent a shape by a non-empty proper lower order ideal in , such that . When , this order ideal will be displayed as a Young diagram with at most 3 rows. We will also identify the shape with the class in . With this notation we have
where added boxes are indicated by pluses. This is equivalent to
Notice that the shape
|
is not included, as the box added to the third row is in the same column of as the rightmost box added to the first row.
6. Pieri formula for maximal orthogonal Grassmannians
6.1. Quantum shapes
Let be the maximal orthogonal Grassmannian, parametrizing one component of the maximal isotropic subspaces of endowed with an orthogonal bilinear form. The quantum cohomology ring was computed in [KT04], and a Pieri formula for the ordinary -theory ring was obtained in [BR12].
The orthogonal Grassmannian is minuscule of type . We identify the simple roots of type with the vectors
where is the cominuscule simple root defining . We then obtain
where the partial order is given by if and only if and . We represent as a staircase shape with rows, where is represented by the box in row and column :
Each shape can be identified with a strict partition
with , where is the number of boxes in the -th row of . If consists of a single row of boxes, then will also be identified with the integer . The special Schubert classes in are the classes for .
Define the set
and give the northwest-to-southeast order if and only if and . We represent as an infinite set of boxes in the plane, where the row number increases from north to south, and the column number increases from west to east. Each row in contains boxes. The set will be identified with the subset .
Recall the map from Section 4.
Proposition 6.1.
Let .
(a) The group of Seidel classes in is generated by and .
(b) We have and in .
(c) The map defined by is an order isomorphism which identifies with the set .
(d) The action of Seidel classes on is given by and .
Proof.
Let be the quadric of type . Then we have the relation , hence . This shows that . Since holds in , it follows from Corollary 3.7 that is a power of . Using that , we obtain . Since has order 4, we have , so Corollary 3.7 implies that either or is a power of . In either case, is a power of , and since , we must have . Parts (a) and (b) follow from these observations.
For convenience we set for and for , so that . Then consists of the top rows of , and is obtained by removing the rightmost column in this shape. Notice also that , , and . It follows from [KT04] or Corollary 3.7 that holds in for . Proposition 4.4 therefore implies that
and that is bijective. Since holds in and is a Seidel class, we obtain for . For we have
This implies that is order-preserving. Assume that is a covering in . We must show that . Since is surjective and quantum multiplication by is an order automorphism of , we may assume that for some . Lemma 4.5 then shows that for some . We deduce that or . In either case we obtain . This proves that is an order isomorphism. Finally, using that and , the last claim in part (c) follows from Proposition 4.4(c).
The identity follows from the definition of . Quantum multiplication by corresponds to an order automorphism of that commutes with multiplication by , and any such order automorphism of is a translation along a northwest-to-southeast line, possibly combined with a reflection in such a line. Using that , we deduce that multiplication by corresponds to the automorphism of , which proves part (d). ∎
We may identify with the set of boxes . Given a shape and , it follows from Proposition 6.1 that the shifted shape is obtained by moving by diagonal steps in southeast direction.
Remark 6.2.
It is natural to extend the notation to half-integer shifts by setting . We then have in .
6.2. Pieri formula
The Pieri formula for the -theory ring proved in [BR12] expresses the structure constants of Pieri products as signed counts of KOG-tableaux, defined as follows.
Definition 6.3 (KOG-tableau, [BR12]).
Given a skew shape , a KOG-tableau of shape is a labeling of the boxes of with positive integers, such that (i) each row of is strictly increasing from left to right; (ii) each column of is strictly increasing from top to bottom; and (iii) each box of is either smaller than or equal to all boxes south-west of it, or it is greater than or equal to all boxes south-west of it. The content of a KOG-tableau is the set of integers contained in its boxes. Let denote times the number of KOG-tableaux of shape with content .
The skew shape is called a rim if no box in is strictly south and strictly east of another box in . If is not a rim, then there are no KOG-tableau of shape , hence for all .
Theorem 6.4.
Let , let be any quantum shape, and let . Then
holds in , where the sum is over all quantum shapes containing .
Proof.
Choose maximal such that . By Corollary 3.7 and Proposition 6.1 we have , where is a classical shape with . Corollary 4.3 then implies that , so [BCMP22, Cor. 8.3] shows that agrees with the classical product in . Notice that, if is any quantum shape such that is a rim, then is a classical shape. It therefore follows from [BR12, Cor. 4.8] that
holds in , where the sum is over all shapes containing . Since quantum multiplication by defines a module automorphism of and defines an order automorphism of , this identity is equivalent to the theorem. ∎
Corollary 6.5.
Let be any shape and let . Then
holds in , where the first sum is over all shapes containing , and the second sum is over all shapes for which contains .
Proof.
This is a direct translation of Theorem 6.4, using that . ∎
Example 6.6.
Let . Then the following holds in .
The corresponding KOG-tableaux are:
7. Pieri formula for Lagrangian Grassmannians
7.1. Quantum shapes
Let be the Lagrangian Grassmannian of maximal isotropic subspaces of endowed with a symplectic bilinear form. The quantum cohomology ring was computed in [KT03], and a Pieri formula for the ordinary -theory ring was obtained in [BR12].
The Lagrangian Grassmannian is cominuscule, but not minuscule, of type . We identify the simple roots of type with the vectors
where is the cominuscule simple root defining . We then obtain
where the partial order is given by if and only if and . We represent as a staircase shape with rows, where corresponds to the box in row and column :
Each shape can be identified with a strict partition
with , where is the number of boxes in the -th row of . If consists of a single row of boxes, then will also be identified with the integer . The special Schubert classes in are the classes for .
Define the set
and give the northwest-to-southeast order if and only if and . We represent as an infinite set of boxes in the plane, where the row number increases from north to south, and the column number increases from east to west. Each row in contains boxes. The set will be identified with the subset .
Recall that is defined by for .
Proposition 7.1.
Let .
(a) The group of Seidel classes in is generated by and .
(b) We have in .
(c) The map defined by is an order isomorphism which identifies with the set .
(d) The action of Seidel classes on is determined by and .
Proof.
Since the root system of type has only one cominuscule root, we have . It follows that is a power of in , and since and , we must have . Parts (a) and (b) follow from this.
We have . Since is the unique maximal box of , it follows from Proposition 4.4 that the map is bijective. Notice that for and , holds in if and only if and , which is equivalent to and , see [BCMP22, Lemma 7.9]. It follows that holds in if and only if holds in . This shows that is an order isomorphism. The last claim in part (c) follows from Proposition 4.4(c), noting that and .
The identity follows from the definition of . Quantum multiplication by corresponds to an order automorphism of that commutes with multiplication by , and any such order automorphism of is a translation along a northwest-to-southeast line, possibly combined with a reflection in such a line. Using that , we deduce the formula , proving part (d). ∎
We may identify with the set of boxes . Given a shape and , it follows from Proposition 7.1 that the shifted shape is obtained by moving by diagonal steps in southeast direction.
7.2. Pieri formula
The Pieri formula for the -theory ring proved in [BR12] expresses the structure constants of Pieri products as signed counts of KLG-tableaux, defined as follows.
Definition 7.2 (KLG-tableau, [BR12]).
Let be a rim. A KLG-tableau of shape is a labeling of the boxes of with elements from the ordered set
such that (i) each row of is strictly increasing from left to right; (ii) each column of is strictly increasing from top to bottom; (iii) each box containing an unprimed integer is larger than or equal to all boxes southwest of it; (iv) each box containing a primed integer is smaller than or equal to all boxes southwest of it; (v) no SW diagonal box contains a primed integer. The content of a KLG-tableau is the set of integers such that some box contains or . Define to be times the number of KLG-tableaux of shape with content . If is a skew shape that is not a rim, then set .
In contrast to the case of maximal orthogonal Grassmannians, we need to adjust the definition of KLG-tableau with extra conditions in the quantum case.
Definition 7.3 (QKLG-tableau).
Let be a KLG-tableau whose shape is a rim contained in . A box of is called unrepeated if its label is distinct from all other labels when ignoring primes. A box of is a quantum box if it belongs to the NE diagonal of or is connected to an unrepeated quantum box. A box of is terminal if it is not on the SW diagonal of and is not connected to a box to the left or below it. We say that is a QKLG-tableau if (vi) every primed non-terminal quantum box is unrepeated, and (vii) every terminal quantum box is primed. For any rim contained in , we let denote times the number of QKLG-tableaux of shape with content . If is a skew shape that is not a rim, then set .
The integers can also be defined recursively, see Definition 10.5.
Theorem 7.4.
Let , let be any quantum shape, and let . Then
holds in , where the sum is over all quantum shapes containing .
The proof of Theorem 7.4 is given in the three remaining sections of this paper.
Corollary 7.5.
Let be any shape and let . Then
holds in , where the first sum is over all shapes containing , and the second sum is over all shapes for which contains .
Example 7.6.
Let and set and . Then meets both the SW diagonal and the NE diagonal of . The coefficient of in is , due to the following list of QKLG-tableaux of shape with content :
Quantum boxes are indicated with a think border. There are five additional KLG-tableaux of shape with content which do not satisfy the additional conditions of Definition 7.3:
The first two violate condition (vii) and the last three violate condition (vi).
8. Perpendicular incidences of symplectic Richardson varieties
Let be a Richardson variety in the symplectic Grassmannian . Each point defines the subvariety . Let be the subset of points for which is not empty. In this section we show that is a complete intersection defined by explicitly given equations. We also show that is rational for all points in a dense open subset of . This will be used in Section 9 to compute the Gromov-Witten invariants required to prove our Pieri formula for the quantum -theory of Lagrangian Grassmannians.
8.1. Symplectic Grassmannians
Let denote the standard basis of . Define the symplectic vector space , where the skew-symmetric bilinear form on is given by for . Given , let denote the symplectic Grassmannian of -dimensional isotropic subspaces of ,
This space has a transitive action by the symplectic group . Let be the Borel subgroup of upper triangular matrices, let be the opposite Borel subgroup of lower triangular matrices, and let be the maximal torus of symplectic diagonal matrices.
For , let denote the corresponding integer interval. Given any subset , we let be the span of the basis elements corresponding to . A Schubert symbol for is a subset of cardinality , such that for all . The subspace is a point of if and only if is a Schubert symbol, and the -fixed points of are exactly the points for which is a Schubert symbol for . Each Schubert symbol defines the Schubert varieties
These varieties can also be defined by (see [BKT15, §4.1])
Given Schubert symbols and for , we will denote the elements of these sets by and . The Bruhat order on Schubert symbols is defined by if and only if for . With this notation we have
Define the length to be
We then have . Notice also that is a translate of , where is the Poincare dual Schubert symbol.
8.2. Richardson varieties
Two Schubert symbols and for such that define the Richardson variety
This variety is known to be rational [Ric92]. Using that , we obtain
(4) |
For any point we have and for ; this holds because , , and .
Let and , and define the 2-step symplectic flag variety
Let and be the projections. The -fixed points in have the form , where and are Schubert symbols for and , respectively, such that . The corresponding Schubert varieties are denoted
A Richardson variety in is denoted by . Recall our standing notation and for Schubert symbols for .
Proposition 8.1.
Let be Schubert symbols for , and let . Set and . Then the restricted map is birational. In addition, the restricted map is surjective if and only if .
We will prove Proposition 8.1 after introducing some additional notation and results. We will identify the Weyl group of with the group of permutations
This group is generated by the simple reflections defined by
The simple reflection corresponds to the unique long simple root of the root system of type . The parabolic subgroup defining corresponds to the subgroup generated by for . Let be the subset of minimal representatives of the cosets in . Then is in bijective correspondence with the Schubert symbols of . The Schubert symbol corresponds to the permutation defined by
This correspondence preserves the Bruhat order.
The permutation corresponding of a -fixed point of , with , is defined by
and . Equivalently, if corresponds to , then
Let be the permutation corresponding to . Then is obtained from by first replacing the value with , and then rearranging the values in increasing order. Since , we can write , where is the product of the first simple reflections in the product
(5) |
Let be the variety of complete symplectic flags, and let be any flag variety of . For in , let denote the projected Richardson variety obtained as the image of under the projection . Recall from [BCMP22, §2] that the -Bruhat order on can be defined by
where and are the parabolic factorizations with respect to , and is the left weak Bruhat order on . We need the following properties of projected Richardson varieties from [KLS14] (see also [BCMP22, §3]).
Proposition 8.2 ([KLS14]).
Let in . The projected Richardson variety satisfies the following properties.
(a) We have .
(b) If , then equality holds if and only if .
(c) The projection is birational if and only if .
(d) For any simple reflection with , we have .
Here denotes the smaller element among and in the Bruhat order on .
Proof of Proposition 8.1.
Let correspond to and let correspond to . Then and , where and , with . Since , we have by Proposition 8.2(b). Using that and are parabolic factorizations with respect to , we obtain , so Proposition 8.2(d,b,c) shows that and is birational. This proves the first claim.
Since , we have . Let be the elements corresponding to and . Then and , where is the product of the first simple reflections in (5), and is the product of the first simple reflections. Using Proposition 8.2(d), we obtain
By Proposition 8.2(b), this variety is equal to if and only if , which is equivalent to . The second claim follows from this. ∎
8.3. Matrix representations of Richardson varieties
We need a parametrization of an open subset of by matrices with perpendicular rows, which is based on a combinatorial diagram used in [BKT09, Rav15]. Let be the variety of all -matrices , with , such that for we have , , and for , and such that each pair of rows of are perpendicular as vectors in , that is,
(6) |
for . Notice that this equation is vacuous unless
We will say that rows and in are correlated if and this inequality holds. We will show in Theorem 8.5 that is isomorphic to a dense open subset of the Richardson variety . In particular, is non-empty and irreducible. Identity (4) states that is equal to the number of entries that are not explicitly assigned to a constant value, minus the number of pairs of correlated rows in .
Example 8.3.
Let , , and . Then is the variety of all matrices of the form
such that , , , , and the rows of are pairwise perpendicular. The variety has 12 unassigned entries and 4 pairs of correlated rows, so .
Remark 8.4.
Let be Schubert symbols for and . Set and . Then are Schubert symbols for and we have
This is the number of unassigned entries in row of , minus the number of rows correlated to row .
Let be the open subvariety defined by
The following result confirms a conjecture of Ravikumar [Rav13, Conj. 6.5.3].
Theorem 8.5.
The variety is a dense open subset of . Moreover, the map sending a matrix to its row span is an isomorphism of varieties.
Proof.
Since is irreducible and the subsets
are open in , the first claim will follow if we can show that and are non-empty for all . By replacing with , if required, we may assume that . The sets and are non-empty since and . Set . Then is a -stable proper closed subset of , so is a union of Schubert varieties that are properly contained in . It follows that is a union of Richardson varieties that are properly contained in . Therefore, is a dense open subset of .
Set , , and . By induction we may assume . By Remark 8.4, the condition implies that . In fact, if row of is correlated to row , then , so row is correlated to at most rows. Using Proposition 8.1, we can therefore choose a point such that and . Since and , we have . The condition therefore implies that for . Set . Since , we obtain , hence and . Since and , it follows that . We deduce that , so that . We conclude that , so this set is a dense open subset of .
It is clear from the definitions that is a well defined morphism of varieties . On the other hand, given , each space is one-dimensional, for . In addition, if we write with , then the -th and -th coordinates of are non-zero. By rescaling , we may assume that the -th coordinate is . Let be the matrix whose -th row is . Then and . This completes the proof. ∎
Let be Schubert symbols for , let , and let . Define the submatrix of constraints on row in to be the matrix with entries for which , , and . This matrix has one row for each row correlated to the -th row of . For example, if is the matrix of Example 8.3, then the submatrix of constraints on row is the matrix
The constraints (6) on row in imposed by the other rows depend only on the entries of . We will say that the vector is perpendicular to if the entries of satisfy the quadratic equations (6) imposed on the -th row in , that is,
for all with , where we set for .
Set , , and . Motivated by Proposition 8.1 and Theorem 8.5, we will say that the -th row of is solvable if . By Remark 8.4, this means that there are at most constraints on the -th row of . The -th row of is movable if , that is, there are fewer than constraints on the -th row. If the -th row of is movable, then for each matrix , we can vary the -th row of in a positive dimensional parameter space while fixing the remaining rows.
Corollary 8.6.
Let be Schubert symbols for , and assume that the -th row of is solvable. Then contains a dense open subset of points for which the submatrix of constraints on row has linearly independent rows.
Proof.
Set and . Given , let denote the result of removing the -th row from . It follows from Proposition 8.1 and Theorem 8.5 that defines a dominant morphism . This implies that, for all points in a dense open subset of , the fiber over in is non-empty of dimension . This fiber can be identified with the set of vectors , with , that are perpendicular to . We deduce that the rows of are linearly independent by Remark 8.4. ∎
8.4. Perpendicular incidence varieties
Let and define the perpendicular incidence variety
Let and be the projections. Given Schubert symbols for , we set . Since is locally trivial with fibers by [BCMP13, Prop. 2.3], it follows that is irreducible with .
Following [BKT09, Rav15], we define a cut of to be an integer such that or holds for each . This implies that no row of contains non-zero entries in both column and column . A lone star is an integer such that for some . This implies that and are cuts of . The integer is a double-cut of if both and are cuts. A component of is a pair of integers , with , such that (i) is a double-cut, (ii) is a double-cut or , and (iii) no double-cut belongs to . We will say that row of is contained in the component if , or , or and . Each row of belongs to a unique component, and two rows can be correlated only if they belong to the same component. Any component contains at most rows. The component is called a quadratic component if is a double-cut, , and contains rows.
Let denote the closed subvariety defined by the linear equations for all lone stars of , as well as the quadratic equations
given by all quadratic components of . Using that the quadratic equations involve pairwise disjoint sets of variables, it follows that is an irreducible complete intersection in with rational singularities.
Example 8.7.
Let and define and . The shape of non-zero entries in is given by the diagram:
Here we ignore that the lone star in column forces the entry in column to vanish. The double-cuts of are indicated with vertical lines. The components of are , , and , and we have
Our main result about perpendicular incidences is the following theorem, which will be proved at the end of this section.
Theorem 8.8.
Let be Schubert symbols for . Then restricts to a surjective morphism with rational general fibers.
The analogue of Theorem 8.8 with defined by the condition has been established in [BKT09, BR12, Rav15]. When is a Lagrangian Grassmannian, the conditions and are equivalent, so this case of Theorem 8.8 is equivalent to [BR12, Lemma 5.2]. One new complication in our case is that is not a flag variety, so the map is not a projection from a Richardson variety, as studied in e.g. [BC12, KLS14, BCMP22].
Lemma 8.9.
Let be Schubert symbols for and let . If , then row of is movable.
Proof.
Assume that row is correlated to row . If , then , which holds for at most rows . If , then , which holds for at most rows . It follows that row is correlated to at most rows. ∎
Proposition 8.10.
Let be Schubert symbols for , and let be a component of with . Then is a quadratic component if and only if no row contained in is movable. In this case all rows contained in are solvable, and has no cuts with or .
Proof.
Since two rows of can be correlated only if they belong to the same component, we may assume that is the only component of . By Lemma 8.9 we may further assume that is a cut. By replacing with , if necessary, we may also assume that . Set . If row of is not movable, then since and , we must have for . The same conclusion holds if is a quadratic component of , since in this case we have or for all . Set , so that the shape of is obtained from the shape of by removing the leftmost entry from rows and . Then and have the same pairs of correlated rows, except that rows and are correlated in but not in . It follows that any row is movable in if and only if it is movable in , and the same holds with movable replaced by solvable. The component is quadratic if and only if . Since has no empty components, holds if and only if all components of are quadratic or lone stars. By induction on , this holds if and only if has no movable rows, which proves the first claim. Assuming that is a quadratic component, it also follows by induction that all rows of are solvable. Noting that all double-cuts of belong to the set , it follows by induction that all cuts of belong to . The last claim follows from this since and are not cuts of . ∎
Corollary 8.11.
Let be Schubert symbols, and assume that row in is movable. Then , where and .
Proof.
This holds because a movable row cannot be a lone star and cannot belong to a quadratic component by Proposition 8.10. ∎
Given Schubert symbols for , define the variety
where indicates that is perpendicular to all rows of . The variety is irreducible with .
Proposition 8.12.
Let be Schubert symbols for and assume that the -th row of is movable. Set , , and . Let be the projection that forgets row in its first argument. There exists a morphism , given by projection to of the entries of the -th row of , such that the morphism is birational.
Proof.
By Corollary 8.6 we can choose such that the submatrix of constraints on row has linearly independent rows. The number of rows in is equal to by Remark 8.4. We can therefore choose a vector
which is perpendicular to the -th row of and not in the row span of . Using that and for each row , we can extend this vector to , such that is perpendicular to all rows of . Let be the result of removing the -th row from . Then the fiber of over contains , so it is not empty. This fiber can be identified with the set of vectors , with , which are perpendicular to both and . Therefore the fiber has dimension . Since is irreducible, this implies that is dominant. It also follows that is determined by together with some collection of entries from the -th row of . Since this holds whenever a particular minor in is non-zero, we deduce that is determined by and the same entries from row , for all points in a dense open subset of . The result follows from this. ∎
Assume that is a double-cut of , and set , , , and . Set , , , , and let and be the corresponding perpendicular incidence varieties, with projections and . Since we have , the following lemma shows that Theorem 8.8 can be proved under the assumption that has only one component .
Lemma 8.13.
The map is an isomorphism , and we have . For all points , the fiber of over is the product of the fibers of and over .
Proof.
Set and . Using that holds for all , and holds for all , it follows that the map is well defined. The inverse map is well defined because , , and holds for all . This proves the first claim. The remaining claims follow because is equivalent to and . ∎
Proof of Theorem 8.8.
We may assume that is the only component of by Lemma 8.13. If has no movable rows, then Proposition 8.10 implies that , so the claim follows from [BR12, Lemma 5.2]. Otherwise has at least one movable row, say row . Set , , , and . Let and be the perpendicular incidence varieties, with projections and . It follows from Proposition 8.12 that , and for all points in a dense open subset of , the fiber is birational to . The result therefore follows by induction on . ∎
9. Gromov-Witten invariants of Pieri type
9.1. Incidences of projected Richardson varieties
Let be a Lagrangian Grassmannian and a symplectic Grassmannian. Set and let and be the projections. We also set , with projections and . Our computation of Gromov-Witten invariants of is based on the following result.
Theorem 9.1.
Let be Schubert symbols for , and let be the corresponding projected Richardson variety in . Then restricts to a cohomologically trivial morphism .
Proof.
Define and . Consider the following commutative diagram, where all morphisms are the natural projections.
Since the morphisms of this diagram are equivariant for the action of , and all targets other than are flag varieties of , it follows that all morphisms other than are locally trivial fibrations with non-singular fibers [BCMP13, Prop. 2.3]. Let , , and be the inverse images of in , , and , respectively, and set . Since and have rational singularities [Bri02, BC12, KLS14], it follows that , , , and have rational singularities as well.
All fibers of are rational. In fact, for we have , where . Since , this implies that is cohomologically trivial [BM11, Thm. 3.1]. Since is cohomologically trivial by Theorem 8.8, it follows that is cohomologically trivial [BCMP18b, Lemma 2.4].
Using that the outer rectangle and the right square of the following diagram are fiber squares, it follows that is the base extension of along .
This implies that is cohomologically trivial, for example because its general fibers are Richardson varieties by [BCMP22, Cor. 2.11]. It follows that is cohomologically trivial. In particular, is a complete intersection of the required form. This completes the proof. ∎
9.2. Gromov-Witten invariants of Pieri type
The Schubert varieties in are indexed by shapes . The Schubert symbol corresponding to is obtained as follows. The border of forms a path from the upper-right corner of to the diagonal. Number the steps of this path from to , starting from the upper-right corner. Then consists of the integers for which the -th step is horizontal, and the integers for which the -th step is vertical. By observing that the map from shapes to Schubert symbols is compatible with the Bruhat order, this description of the Schubert varieties in follows from e.g. [BS16, Lemma 2.9].
Example 9.2.
Let and . Then corresponds to the Schubert symbol .
Recall that a classical shape is identified with the quantum shape in , and is the result of shifting this shape by diagonal steps for each .
Let be shapes and a degree. Then if and only if . When this holds, we let be the skew shape in of boxes in that are not contained in . Let denote the size of a maximal rim in this skew shape, and let be the number of connected components of that are disjoint from both of the diagonals in . The following result interprets Theorem 9.1 when the projected Richardson variety in is a curve neighborhood .
Corollary 9.3.
Let and let be shapes such that. Set . If , then . Otherwise is a complete intersection in ofdimension , defined by quadratic equations and linear equations. Moreover, the restricted map is cohomologically trivial.
Proof.
Write and , where and are the Schubert symbols corresponding to and . Then and , where and , so we have . Theorem 9.1 shows that
is cohomologically trivial. It remains to show that is a complete intersection defined by the expected equations. If , then we can make and smaller and larger until we obtain and . This will make smaller, while the corollary still asserts that . We may therefore assume that , which implies that the borders of and meet somewhere. In particular, has at least vertical steps, and has at least horizontal steps.
Let be the number of vertical steps of . Then has horizontal steps. Notice that, if , then is the step number of the -th horizontal step of , while if , then is the step number of the -th vertical step of . Since the starting point of is boxes north-west of the starting point of , and the endpoint of is north-west of the endpoint of , we have . The condition implies that and .
Write and , where and . It follows from the construction of and from and that the rows in are in bijection with some of the steps of , and also with some of the steps of . We will explain how to obtain the resulting bijection between steps of and , and how to obtain the rows of from the corresponding pairs of steps in and . This will include drawing connectors between the paired steps of and , see Example 9.4.
Consider row of . Assume first that . Then , is the step number of the -th horizontal step of , and is the step number of the -th horizontal step of . These steps of and are in the same column, and is the distance (number of boxes) between the two steps. We draw a vertical line segment (connector) from the -th horizontal step of to the -th horizontal step of .
Assume next that . Then , is the step number of the -th vertical step of , and is the step number of the -th vertical step of . These steps of and are in the same row, and is the distance between the two steps. We draw a horizontal line segment (connector) from the -th vertical step of to the -th vertical step of .
We finally assume that and . Then is the step number of the -th horizontal step of , and is the step number of the -th vertical step of . In this case, if we draw a vertical line segment going down from the horizontal step of , and a horizontal line segment going to the left from the vertical step of , then these line segments meet in a diagonal box of . In this case the connector representing row of is obtained by connecting the two line segments, and is the number of boxes this connector passes through.
It follows from this description that the lone stars of correspond to steps shared by and , and there are exactly such steps. It also follows that, if and meet after steps, then is a double-cut of . The only other cuts of are the integers in the set . We deduce that any component of that is disjoint from both diagonals in produces a quadratic component of . If a component of meets the SW diagonal of , then the corresponding component of contains a row that crosses the middle, so this component is not quadratic. Finally, if a component of intersects the NE diagonal of , then the corresponding component of has fewer than rows, so it is not quadratic. It follows that has exactly quadratic components. ∎
Example 9.4.
Let , , and , and . Then is the skew shape between the two thick black paths in the following picture. The connectors of are colored pink. We have and .
The shapes and correspond to and . We obtain , where and are determined by the shape of :
This diagram has lone stars, and quadratic components. The unique quadratic component is . The rows of correspond to the connectors in , see the proof of Corollary 9.3. Rows 6, 7, and 10 are movable.
Consider a complete intersection of dimension , defined by quadratic equations. The -theory class of is , where is the hyperplane class. It follows that the sheaf Euler characteristic of is given by , where is defined by [BR12, §4]
(7) |
Here we set unless . Notice that for we have , and for . We record for later the identity
(8) |
which follows from the binomial formula. The following result is the quantum generalization of [BR12, Prop. 5.3].
Corollary 9.5.
The -theoretic Gromov-Witten invariants of of Pieri type are given by , with .
Proof.
Let be the -stable linear subspace of dimension . Then is a birational isomorphism, so . Using [BCMP18b, Thm. 4.1], the projection formula, and Corollary 9.3, we obtain
If , then this is the sheaf Euler characteristic of a complete intersection of dimension defined by quadratic equations as well as linear equations in , which proves the result. Finally, if , then , so the corollary also holds in this case. ∎
9.3. Quantum multiplication by special Schubert classes
We finish this section by proving some preliminary formulas for quantum products with special Schubert classes. We start with the undeformed product , see Section 2.5 or [BCMP18a, §2.5].
Given a skew shape , let be the skew shape obtained by removing all maximal boxes from that do not belong to the north-east diagonal of .
For we then define
(9) |
the sum over all subsets of that contain .
Proposition 9.6.
For any shape and , we have
in , where the sum is over all shapes containing .
Proof.
Given a shape we let denote the dual element of , defined by for all shapes . We have [BR12, Lemma 3.5]
where the sum is over all shapes such that is a rook strip, that is, has at most one box in each row and column. Assume that is a classical shape. By Corollary 9.5 and equation (9) we have
where the sums are over all shapes such that and is a rook strip. By the definition of the undeformed product [BCMP18a, §2.5], we obtain
with the sum over and such that . The proposition is equivalent to this identity. ∎
We next consider the associative quantum product . Given a skew shape , let be the skew shape obtained by removing the maximal box on the north-east diagonal, if any, as well as any boxes in the same row that do not have a box immediately below them in .
For we then define
(10) |
the sum over all proper lower order ideals in that contain .
We will prove in Corollary 10.11 that holds for all skew shapes and , that is, is equal to times the number of QKLG-tableaux of shape with content . Theorem 7.4 is therefore equivalent to the following statement.
Proposition 9.7.
For any shape and , we have
in , where the sum is over all shapes containing .
Proof.
For any shape , set , where is maximal with . In other words, is the smallest shape that contains and contains one more box than on the north-east diagonal of . We then have , where is the line neighborhood operator from Section 2.5. It therefore follows from Proposition 9.6 that the coefficient of in the product
(11) |
is equal to
as required. ∎
Remark 9.8.
The constants have alternating signs by Corollary 10.11, but the constants do not have easily predictable signs.
10. Combinatorial Identities
In this section we complete the proof of Theorem 7.4. Let be a Lagrangian Grassmannian. Any shape and integer define three products
The first sum is over all shapes containing , and the two last sums are over all quantum shapes containing . The constants and are defined whenever is a skew shape in , and these constants depend on where is located in , including whether meets the two diagonals in . The constants and are therefore bound to our chosen Lagrangian Grassmannian . On the other hand, the constant does not depend on any NE diagonal, and its definition extends naturally to any (finite) skew shape in the partially ordered set , which is unbounded in north-east direction. This is equivalent to considering as a structure constant of . Notice that holds whenever is disjoint from the NE diagonal.
Theorem 7.4 states that each quantum structure constant is equal to the (signed) number of QKLG-tableaux. We prove this by showing that and are determined by the same recursive identities. These identities simultaneously provide an alternative definition of these constants. We also prove an analogous recursive definition of the undeformed structure constants when contains at most one box on the NE diagonal of . Our recursive definitions refer to (quantum or undeformed) structure constants computed in the quantum -theory of smaller Lagrangian Grassmannians . For this reason we will introduce additional notation to make it easier to refer to the constants and when is regarded as a skew shape in . We summarize this notation here and give precise definitions below. We will regard any skew shape as a subset of . Suppose is contained in a specific set , and we wish to refer to the constants and computed in . If is disjoint from the NE diagonal of , then we can use the structure constant of the ordinary -theory ring . On the other hand, if meets the NE diagonal of , then the values of and computed in will be denoted and . Equivalently, given any skew shape , we can define and as the values of and computed in , where is the smallest Lagrangian Grassmannian for which .
Define , and equip this set with the partial order defined by if and only if and . We will consider and as subsets of . Define a skew shape in to be any finite subset obtained as the difference between two lower order ideals. Given a skew shape , let denote the size of a maximal rim contained in , and let be the number of components of that are disjoint from the SW diagonal. Let denote the skew shape obtained by removing all south-east corners from . Given an integer , it was proved in [BR12] that the constant from Definition 7.2 is given by
where the function is defined by (7).
Let be a non-empty skew shape. Then contains a unique north-east box . A skew shape in will be called a line if its boxes are contained in a single row or a single column. The north-east arm of is the largest line that can be obtained by intersecting with a square whose upper-right box is .
We will say that the north-east arm is a row if contains no box immediately below , and is a column if contains no box immediately to the left of . Notice that can be both a row and a column (if it is a disconnected single box), and it can be neither a row nor a column (only if is not a rim). We let denote the complement of the north-east arm. This set is a skew shape if and only if is a row or a column. If is not connected to , then is not a row if and only if is a column with at least two boxes, and is not a column if and only if is a row with at least two boxes. We set and .
Proposition 10.1 ([BR12]).
Let be any skew shape and let . If is not a rim, then , and . If is a non-empty rim with north-east arm of size , then is determined by the following rules.
(i) If and meets the SW diagonal, then if is a row, and if is not a row.
(ii) If and is disjoint from the SW diagonal, then .
(iii) If and is connected to , then .
(iv) If and is not connected to , then if , and if .
Given a non-empty skew shape with north-east box , let be the number of components of that do not meet the SW diagonal and do not contain , and let be the result of removing all south-east corners except (in case is a south-east corner). For we define
(12) |
Remark 10.2.
Assume that is a skew shape containing at most one box from the NE diagonal of , for example a rim. Then the constant defined by equation (9) is given by
If contains two or more boxes from the NE diagonal, then is not a skew shape in and is not defined. Our next result together with Proposition 10.1 provides a recursive definition of the constants .
Proposition 10.3.
Let be any non-empty skew shape and let . If is not a rim, then . If is a rim with north-east arm of size , then is determined by the following rules.
(i′′) If , then if is a row, and if is not a row.
(iii′′) If and is connected to , then if is a row or , and if is a column and .
(iv′′) If and is not connected to , then if is a row, and if is not a row.
Proof.
If is not a rim, then let be a south-east corner such that contains a box strictly north and strictly west of . For any skew shape with we have , which implies that . We can therefore assume that is a non-empty rim. If is a row, then . If is not a row, and is the bottom box of , then .
Assume that and is a row connected to . Then the skew shapes occurring in (12) have the form , where . Since , we obtain .
Assume that and is a column connected to . If , then since is non-zero only when , we obtain
Assume that and let be the north-east box of . Then
is equal to the sum over all skew shapes , with , of times
(13) |
Using that
it follows that (13) is equal to
If , then this expression is zero by identity (8). Otherwise we have , which implies , so the expression is zero because .
We finally assume that and is not connected to . If is a row, then
If is not a row, is the bottom box of , and , then
This completes the proof. ∎
Example 10.4.
For any skew shape and , we obtain and
This illustrates that negative values of must be allowed in Proposition 10.3 to obtain correct recursive identities without including additional special cases.
Definition 10.5.
Given a non-empty skew shape and , define an integer as follows. If is not a rim, then . If is a rim with north-east arm of size , then is determined by the following rules.
(i′) If and meets the SW diagonal, then .
(ii′) If and is disjoint from the SW diagonal, then if is a column, and if is not a column.
(iii′) If and is connected to , then if is a column, and if is a row.
(iv′) If and is not connected to , then if is a column, and if is not a column.
Recall from Definition 7.3 that is the number of QKLG-tableaux of shape with content .
Lemma 10.6.
Let be a rim meeting the NE diagonal of and let . Then .
Proof.
Let be the north-east arm and set . The pictures in this proof will be drawn for the case . Assume first that . If meets the SW diagonal of , then there exists only one QKLG-tableau of shape , which is one of the following cases:
|
If is disjoint from the SW diagonal, then there is a unique QKLG-tableau of shape when is a column or a single box, and exactly two QKLG-tableaux of shape when is a row with at least two boxes:
|
This accounts for cases (i′) and (ii′) of Definition 10.5.
Assume next that and that is connected to . Then any QKLG-tableau of shape and content must assign the following labels to the boxes of (with ):
|
The pictures also show two of the boxes from . If is a column, then must be an unrepeated quantum box, so the labels of can be any QKLG-tableau with content (with considered on the NE diagonal). If is a row, then the labels of must have content either or . In the first case is an unrepeated quantum box, so is also a quantum box, and the labels of can be any QKLG-tableau with content (with considered on the NE diagonal). In the second case is repeated, is not a quantum box, so the labels of can be any KLG-tableau with content . This accounts for case (iii′) of Definition 10.5.
Finally, assume that and is not connected to . Then any QKLG-tableau of shape and content must assign the following labels to the boxes of (with ):
|
If is a column or a single box, then the labels of must form a KLG-tableau with content or . If is a row with at least two boxes, then the labels of must form a KLG-tableau with content , , , or . This accounts for case (iv′) of Definition 10.5. ∎
Lemma 10.7.
Let be a non-empty rim and let .
(a) For we have , and
(b) We have and .
(c) For we have .
Proof.
These identities follow from the recursive definitions by induction on . ∎
Lemma 10.8.
Let be a non-empty rim, such that the north-east arm is not a disconnected single box, and let . Then,
Proof.
Assume that . If meets the SW diagonal or is a column, then both sides of the identity are equal to , and otherwise both sides are equal to .
Assume next that and is connected to . Set . If is a row, then
which vanishes by induction on , since the north-east arm of is a column. If is a column, then
which vanishes by induction on , since the north-east arm of is a row.
Finally we assume that and is not connected to . If is a column, then both sides are equal to
and if is a row, then both sides are equal to
The identity follows from this. ∎
Lemma 10.9.
Let be a non-empty rim and let . Then,
Proof.
Let be the north-east arm of and set . Assume first that . If is a row, then both sides of the identity are zero, and otherwise both sides are equal to .
Assume next that and is connected to . If is a row, then it follows by induction on that
If is a column and , then the recursive definitions and induction on yield
This expression is equal to zero by Lemma 10.8, as the north-east arm of is a row. If is a column and , then the recursive definitions and induction on gives
This expression is equal to zero by Lemma 10.7(b) and Lemma 10.8, as and the north-east arm of is a row.
Finally assume that and is not connected to . If is a row, then both sides of the identity are equal to , and otherwise both sides are equal to . This proves the identity. ∎
Proposition 10.10.
Let be a non-empty skew shape with north-east arm , and let . Then,
where the sum is over all proper lower order ideals of that contain .
Proof.
We may assume that is a rim, since otherwise is also not a rim, and both sides of the identity vanish. Set . Assume first that is not a row. If , then . If and is connected to , then for by Lemma 10.7(b,c), and for we have
which is equal to zero by Lemma 10.9. Finally, if and is not connected to , then .
Assume that is a row. For , we let be the union of with the leftmost boxes of . Then are the proper lower order ideals in that contain . If and meets the SW diagonal, then
If is a single box not on the SW diagonal, then . If , , and does not meet the SW diagonal, then
If and is connected to , then since the north-east arm of is not a row, we obtain by induction on that
If and is a single box that is not connected to , then follows from the definitions. Finally, if , is not connected to , and , we obtain
The identity follows from these observations. ∎
We finally prove that the Pieri structure constants of are signed counts of QKLG-tableaux.
Corollary 10.11.
Let be a skew shape and . Then .
Proof.
If is disjoint from the NE diagonal of , then by [BR12]. If contains two or more boxes from the NE diagonal, then by definition (since is not a rim), and since , it follows from [BCMP22, Thm. 8.3] that . Assume that contains exactly one box from the NE diagonal of . Then equals if the north-east arm of is a row, and otherwise. Lemma 10.6 shows that , and Proposition 10.10 and the definition (10) show that , noting that the condition implies that by Remark 10.2. ∎
References
- [BC12] S. Billey and I. Coskun. Singularities of generalized Richardson varieties. Comm. Algebra, 40(4):1466–1495, 2012.
- [BCFF99] A. Bertram, I. Ciocan-Fontanine, and W. Fulton. Quantum multiplication of Schur polynomials. J. Algebra, 219(2):728–746, 1999.
- [BCMP13] A. S. Buch, P.-E. Chaput, L. C. Mihalcea, and N. Perrin. Finiteness of cominuscule quantum -theory. Ann. Sci. Éc. Norm. Supér. (4), 46(3):477–494 (2013), 2013.
- [BCMP18a] A. S. Buch, P.-E. Chaput, L. C. Mihalcea, and N. Perrin. A Chevalley formula for the equivariant quantum -theory of cominuscule varieties. Algebr. Geom., 5(5):568–595, 2018.
- [BCMP18b] A. S. Buch, P.-E. Chaput, L. C. Mihalcea, and N. Perrin. Projected Gromov-Witten varieties in cominuscule spaces. Proc. Amer. Math. Soc., 146(9):3647–3660, 2018.
- [BCMP22] A. S. Buch, P.-E. Chaput, L. C. Mihalcea, and N. Perrin. Positivity of minuscule quantum -theory. arXiv:2205.08630, 2022.
- [Bel04] P. Belkale. Transformation formulas in quantum cohomology. Compos. Math., 140(3):778–792, 2004.
- [Ber97] A. Bertram. Quantum Schubert calculus. Adv. Math., 128(2):289–305, 1997.
- [BKT03] A. S. Buch, A. Kresch, and H. Tamvakis. Gromov-Witten invariants on Grassmannians. J. Amer. Math. Soc., 16(4):901–915, 2003.
- [BKT09] A. S. Buch, A. Kresch, and H. Tamvakis. Quantum Pieri rules for isotropic Grassmannians. Invent. Math., 178(2):345–405, 2009.
- [BKT15] A. S. Buch, A. Kresch, and H. Tamvakis. A Giambelli formula for even orthogonal Grassmannians. J. Reine Angew. Math., 708:17–48, 2015.
- [BM11] A. S. Buch and L. C. Mihalcea. Quantum -theory of Grassmannians. Duke Math. J., 156(3):501–538, 2011.
- [BM15] A. S. Buch and L. C. Mihalcea. Curve neighborhoods of Schubert varieties. J. Differential Geom., 99(2):255–283, 2015.
- [BR12] A. S. Buch and V. Ravikumar. Pieri rules for the -theory of cominuscule Grassmannians. J. Reine Angew. Math., 668:109–132, 2012.
- [Bri02] M. Brion. Positivity in the Grothendieck group of complex flag varieties. volume 258, pages 137–159. 2002. Special issue in celebration of Claudio Procesi’s 60th birthday.
- [BS16] A. S. Buch and M. J. Samuel. -theory of minuscule varieties. J. Reine Angew. Math., 719:133–171, 2016.
- [Buc03] A. S. Buch. Quantum cohomology of Grassmannians. Compositio Math., 137(2):227–235, 2003.
- [BW21] A. S. Buch and C. Wang. Positivity determines the quantum cohomology of Grassmannians. Algebra Number Theory, 15(6):1505–1521, 2021.
- [CMP08] P.-E. Chaput, L. Manivel, and N. Perrin. Quantum cohomology of minuscule homogeneous spaces. Transform. Groups, 13(1):47–89, 2008.
- [CMP09] P.-E. Chaput, L. Manivel, and N. Perrin. Affine symmetries of the equivariant quantum cohomology ring of rational homogeneous spaces. Math. Res. Lett., 16(1):7–21, 2009.
- [CP11] P.-E. Chaput and N. Perrin. Rationality of some Gromov-Witten varieties and application to quantum -theory. Commun. Contemp. Math., 13(1):67–90, 2011.
- [FP97] W. Fulton and R. Pandharipande. Notes on stable maps and quantum cohomology. In Algebraic geometry—Santa Cruz 1995, volume 62 of Proc. Sympos. Pure Math., pages 45–96. Amer. Math. Soc., Providence, RI, 1997.
- [FW04] W. Fulton and C. Woodward. On the quantum product of Schubert classes. J. Algebraic Geom., 13(4):641–661, 2004.
- [Gre13] R. M. Green. Combinatorics of minuscule representations, volume 199 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2013.
- [Hag04] M. Hagiwara. Minuscule heaps over Dynkin diagrams of type . Electron. J. Combin., 11(1):Research Paper 3, 20, 2004.
- [KLS14] A. Knutson, T. Lam, and D. Speyer. Projections of Richardson varieties. J. Reine Angew. Math., 687:133–157, 2014.
- [KT03] A. Kresch and H. Tamvakis. Quantum cohomology of the Lagrangian Grassmannian. J. Algebraic Geom., 12(4):777–810, 2003.
- [KT04] A. Kresch and H. Tamvakis. Quantum cohomology of orthogonal Grassmannians. Compos. Math., 140(2):482–500, 2004.
- [Len00] C. Lenart. Combinatorial aspects of the -theory of Grassmannians. Ann. Comb., 4(1):67–82, 2000.
- [LLSY22] C. Li, Z. Liu, J. Song, and M. Yang. On Seidel representation in quantum -theory of Grassmannians. arXiv:2211.16902, 2022.
- [Per07] N. Perrin. Small resolutions of minuscule Schubert varieties. Compos. Math., 143(5):1255–1312, 2007.
- [Pos05] A. Postnikov. Affine approach to quantum Schubert calculus. Duke Math. J., 128(3):473–509, 2005.
- [Pro84] R. A. Proctor. Bruhat lattices, plane partition generating functions, and minuscule representations. European J. Combin., 5(4):331–350, 1984.
- [Rav13] V. Ravikumar. Triple intersection formulas for isotropic grassmannians. ProQuest LLC, Ann Arbor, MI, 2013. Thesis (Ph.D.)–Rutgers The State University of New Jersey - New Brunswick.
- [Rav15] V. Ravikumar. Triple intersection formulas for isotropic Grassmannians. Algebra Number Theory, 9(3):681–723, 2015.
- [Ric92] R. W. Richardson. Intersections of double cosets in algebraic groups. Indag. Math. (N.S.), 3(1):69–77, 1992.
- [Sei97] P. Seidel. of symplectic automorphism groups and invertibles in quantum homology rings. Geom. Funct. Anal., 7(6):1046–1095, 1997.
- [Tar23] M. Tarigradschi. Curve neighborhoods of Seidel products in quantum cohomology. arXiv:2309.05985, 2023.
- [Wit95] E. Witten. The Verlinde algebra and the cohomology of the Grassmannian. In Geometry, topology, & physics, Conf. Proc. Lecture Notes Geom. Topology, IV, pages 357–422. Int. Press, Cambridge, MA, 1995.