Quantum Cohomology of Lagrangian and Orthogonal Grassmannians
Total Page:16
File Type:pdf, Size:1020Kb
QUANTUM COHOMOLOGY OF LAGRANGIAN AND ORTHOGONAL GRASSMANNIANS HARRY TAMVAKIS Abstract. This is the written version of my talk at the Mathematische Ar- beitstagung 2001, which reported on joint work with Andrew Kresch (papers [KT2] and [KT3]). The Classical Theory For the purposes of this talk we will work over the complex numbers, and in the holomorphic (or algebraic) category. There are three kinds of Grassmannians that we will consider, depending on their Lie type: • In type A,letG(k; N)=SLN =Pk be the Grassmannian which parametrizes N k-dimensional linear subspaces of C . • In type C,letLG = LG(n; 2n)=Sp2n=Pn be the Lagrangian Grassmannian. • In types B and D,letOG = OG(n; 2n +1)=SO2n+1=Pn denote the odd or- thogonal Grassmannian, which is isomorphic to the even orthogonal Grassmannian OG(n +1; 2n +2)=SO2n+2=Pn+1. We begin by defining the Lagrangian Grassmannian LG(n; 2n), and will discuss the Grassmannians for the other types later in the talk. Let V be the vector 2n V space C , equipped with a symplectic form. A subspace Σ of is isotropic if the restriction of the form to Σ vanishes. The maximal possible dimension of an isotropic subspace is n, and in this case Σ is called a Lagrangian subspace. The Lagrangian Grassmannian LG = LG(n; 2n) is the projective complex manifold which parametrizes Lagrangian subspaces Σ in V . There is a stratification of LG by Schubert varieties Xλ, one for each strict n ` ` λ partition λ =(λ1 >λ2 > ··· >λ` > 0) with λ1 6 . The number = ( )isthe n length of λ, and we let Dn denote the set of strict partitions λ with λ1 6 .To describe Xλ more precisely, fix an isotropic flag of subspaces Fi of V : 0 ⊂ F1 ⊂ F2 ⊂···⊂Fn ⊂ V with dim(Fi)=i for each i,andFn Lagrangian. Then i 6 i 6 ` }: Xλ = { Σ ∈ LG | dim(Σ ∩ Fn+1−λi ) > for 1 P The variety Xλ has codimension |λ| := λi in LG, and determines a Schubert class 2|λ| σ ;:::,σ H2 LG σλ =[Xλ]inH (LG; Z). The classes 1 n are called special,and ( ) Date: June 16, 2001. 1 2 HARRY TAMVAKIS has rank 1, generated by σ1. We have an isomorphism of abelian groups X ∗ Z · σ H (LG; Z)= λ λ∈Dn which describes the additive structure of the cohomology H∗(LG). As all cohomol- ogy classes occur in even degrees, we adopt the convention that a class α in the cohomology of a complex manifold X has degree k when α lies in H2k(X). Classically, there are three ingredients necessary for an understanding of the multiplicative structure of H∗(LG). a) A presentation of H∗(LG) in terms of generators and relations. This is due to Borel [Bo], and can be derived as follows. Consider the universal exact sequence of vector bundles over LG ∗ 0 −→ E −→ VLG −→ E −→ 0: Here VLG is the trivial rank 2n vector bundle over LG, E is the tautological sub- ∗ bundle of VLG, and we have identified the quotient bundle VLG=E with E by using the symplectic form on V . The special Schubert class σi is equal to the i-th Chern ∗ i 6 n LG class ci(E ), for 1 6 . The cohomology ring of can then be presented as a quotient of the polynomial ring in the Chern classes of E by the relations coming from the Whitney sum formula ∗ c(E)c(E )=(1− σ1 + σ2 −···)(1 + σ1 + σ2 + ···)=1: ∗ σ ,...,σ Expanding this equation, one obtains that H (LG) is a quotient of Z[ 1 n] by the relations Xn−i 2 k σi +2 (−1) σi+kσi−k =0 k=1 i 6 n σ j< for 1 6 , where it is understood that j =0if 0. b) A Giambelli formula which identifies the polynomials which represent the Schu- bert classes σλ in the above presentation. For the type A Grassmannians G(k; N), the answer to this question is quite classical (and due to Giambelli). In contrast, an analogous formula for the Lagrangian Grassmannian was proved much more re- cently. According to Pragacz [P], the Giambelli formula for LG is obtained in two stages: for i>j>0, we have Xn−i k σi;j = σiσj +2 (−1) σi+kσj−k k=1 while for any λ ∈Dn of length at least 3, σ σ : i<j 6r λ =Pfaffian[ λi,λj ]16 ` λ Here r is the least even integer which is > ( ). c) Schubert calculus: By this we mean algorithms for evaluating the structure ν constants eλµ which occur in the cup product expansion X ν (1) σλσµ = eλµ σν |ν|=|λ|+|µ| in H∗(LG). Recall that for type A Grassmannians, this problem is solved by showing that the multiplication of Schubert classes agrees with the corresponding QUANTUM COHOMOLOGY OF LAGRANGIAN AND ORTHOGONAL GRASSMANNIANS 3 product of Schur S-polynomials (defined by Schur in his celebrated 1901 thesis). In [P], Pragacz showed that the product (1) agrees with the corresponding product of two Schur Q-polynomials. The latter polynomials were used by Schur [S] to study the projective representations of the symmetric and alternating groups. Moreover, combinatorial algorithms for computing in the ring of Schur Q-polynomials were obtained by Boe and Hiller [BH] and Stembridge [St]. Quantum Cohomology of LG(n; 2n) We will work throughout with the small quantum cohomology ring QH∗(LG). This is a deformation of H∗(LG) which first occured in the work of string theorists. The multiplicative structure of the quantum cohomology ring of LG encodes the enumerative geometry of rational curves in LG, in the form of Gromov–Witten invariants. ∗ q q The ring QH (LG) is an algebra over Z[ ], where is a formal variable of degree n + 1; one recovers the classical cohomology ring by setting q = 0. To describe the product structure, recall that for each Schubert class σλ one has a (Poincar´e) dual class σλ0 , defined so that Z σλ σµ = δλµ0 LG 0 for all partitions λ, µ in Dn. The parts of the partition λ complement the parts of λ in the set {1;:::;n}. Using dual classes, we can write the classical structure ν constant eλµ in (1) as a triple intersection number: Z ν eλµ = hσλ,σµ,σν0 i0 = σλ σµ σν0 : LG In QH∗(LG) there is a formula X d (2) σλ · σµ = hσλ,σµ,σν0 id σν q ; ν |ν| |λ| |µ|−d n the sum over d > 0 and strict partitions with = + ( + 1). The Gromov–Witten invariant hσλ,σµ,σν0 id is a non-negative integer, which counts the 1 → LG f ∈ X f ∈ X number of degree-d rational maps f : È such that (0) λ, (1) µ and f(∞) ∈ Xν0 , for general translates of the three Schubert varieties Xλ, Xµ 1 0 dσ 0 and Xν .Heredegree d means that f∗[È ]= 1 . The ‘miracle’ is that with this definition, (2) gives an associative product. There is a long list of papers studying questions (a), (b) and (c) above for the quantum cohomology rings of homogeneous spaces. We now have answers to all three questions when X = SLN =P is a partial flag variety of SLN (C ); see [W], [ST], [Be] and [BCF] for the case of the Grassmannian G(k; N), and [KT2] for more references. For an arbitrary complex semisimple Lie group G, with Borel subgroup B, Kim [K] found a presentation of QH∗(G=B), thus answering (a). However, one still lacked a presentation of the quantum ring for the other parabolic subgroups and a quantum Giambelli formula to compute the Gromov–Witten invariants, if the Lie group G is not of type A. This was due to serious difficulties in extending the methods used in the proofs in the SLN case to the other Lie types (for a discussion of one such problem, see [KT1, §4]). The remainder of this talk reports on joint work with Andrew Kresch [KT1] [KT2] [KT3]. We answer all three basic questions for the quantum cohomology rings 4 HARRY TAMVAKIS of the type B, C and D Grassmannians mentioned previously. For the Lagrangian Grassmannian, questions (a) and (b) are addressed by the following Theorem. Theorem 1. The ring QH∗(LG) is presented as a quotient of the polynomial ring σ ;:::,σ ;q Z[ 1 n ] by the relations Xn−i 2 k n−i σi +2 (−1) σi+kσi−k =(−1) σ2i−n−1 q: k=1 The Schubert class σλ in this presentation is given by the Giambelli formulas Xn−i k n+1−i σi;j = σiσj +2 (−1) σi+kσj−k +(−1) σi+j−n−1 q k=1 for i>j>0,and σ σ ; i<j 6r (3) λ =Pfaffian[ λi,λj ]16 where quantum multiplication is employed throughout. In other words, quantum Giambelli for LG(n; 2n) coincides with classical Giambelli for LG(n +1; 2n +2), when the class 2 σn+1 is identified with q. Note that Theorem 1 is not saying that the cohomology ring of LG(n+1; 2n+2) ∗ 2 is isomorphic to QH (LG(n; 2n)), for the relation σn+1 = 0 in the former ring fails to hold in the latter (as q2 =6 0). It turns out that the algebra of Schur Q- polynomials is not sufficient to describe the multiplication in QH∗(LG). Instead, we use Qe-polynomials; this is a family of symmetric polynomials modelled on Schur’s Q- polynomials, and defined by Pragacz and Ratajski [PR] in their work on degeneracy loci.