DOCSLIB.ORG

Quantum Double Schubert Polynomials Represent Schubert Classes

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Quantum Double Schubert Polynomials Represent Schubert Classes PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 142, Number 3, March 2014, Pages 835–850 S 0002-9939(2013)11831-9 Article electronically published on December 11, 2013 QUANTUM DOUBLE SCHUBERT POLYNOMIALS REPRESENT SCHUBERT CLASSES THOMAS LAM AND MARK SHIMOZONO (Communicated by Lev Borisov) Abstract. The quantum double Schubert polynomials studied by Kirillov and Maeno, and by Ciocan-Fontanine and Fulton, are shown to represent Schu- bert classes in Kim’s presentation of the equivariant quantum cohomology of the flag variety. Parabolic analogues of quantum double Schubert polynomi- als are introduced and shown to represent Schubert classes in the equivariant quantum cohomology of partial flag varieties. This establishes a new method for computing equivariant Gromov-Witten invariants for partial flag varieties. For complete flags Anderson and Chen have announced a proof with different methods. 1. Introduction Let H∗(Fl), HT (Fl), QH∗(Fl), and QHT (Fl) be the ordinary, T -equivariant, quantum, and T -equivariant quantum cohomology rings of the variety Fl = Fln of n complete flags in C where T is the maximal torus of GLn. All cohomologies are with Z coefficients. The flag variety Fln has a stratification by Schubert varieties Xw, labeled by permutations w ∈ Sn, which gives rise to Schubert bases for each of these rings. The structure constants of these bases play an important role in classical and modern enumerative geometry. For QHT (Fl) they are known as the 3-point genus 0 Gromov-Witten invariants. This paper is concerned with the problem of finding polynomial representatives for the Schubert bases in a presentation of these (quantum) cohomology rings. These ring presentations are due to Borel [Bo] in the classical case, and to Ciocan- Fontanine [Cio], Givental and Kim [GK] and Kim [Kim] in the quantum case. This problem has been solved in the first three cases: the Schubert polynomials ∗ are known to represent Schubert classes in H (Fln) by work of Bernstein, Gelfand, and Gelfand [BGG] and Lascoux and Sch¨utzenberger [LS]; the double Schubert polynomials, also due to Lascoux and Sch¨utzenberger, represent Schubert classes T in H (Fln) (see for example [Bi]); and the quantum Schubert polynomials of Fomin, Gelfand, and Postnikov [FGP] represent Schubert classes in QH∗(Fl). These poly- nomials are the subject of much research by combinatorialists and geometers, and we refer the reader to these references for a complete discussion of these ideas. Our first main result (Theorem 3.4) is that the quantum double Schubert polynomials of [KM, CF] represent equivariant quantum Schubert classes in QHT (Fl). Anderson and Chen [AC] have announced a proof using the geometry of Quot schemes. Received by the editors October 22, 2011 and, in revised form, April 17, 2012. 2010 Mathematics Subject Classification. Primary 14N35; Secondary 14M15. The first author was supported by NSF grant DMS-0901111 and by a Sloan Fellowship. The second author was supported by NSF DMS-0652641 and DMS-0652648. c 2013 American Mathematical Society Reverts to public domain 28 years from publication 835 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 836 THOMAS LAM AND MARK SHIMOZONO Let SLn/P be a partial flag variety, where P denotes a parabolic subgroup of SLn. In nonquantum Schubert calculus, the functorality of (equivariant) cohomol- ogy implies that the (double) Schubert polynomials labeled by minimal length coset ∗ T representatives again represent Schubert classes in H (SLn/P )orH (SLn/P ). This is not the case in quantum cohomology. Ciocan-Fontanine [Cio2] solved ∗ the corresponding problem in QH (SLn/P ), extending Fomin, Gelfand, and Post- nikov’s work to the parabolic case. Here we introduce parabolic quantum double Schubert polynomials. Our second main result asserts that these polynomials repre- T sent Schubert classes in the torus-equivariant quantum cohomology QH (SLn/P ) of a partial flag variety. Earlier, Mihalcea [Mi2] had observed that the double (or factorial) Schur polynomials represent the Schubert basis in the special case of the equivariant quantum cohomology of the Grassmannian. Our results imply that the equivariant 3-point genus 0 Gromov-Witten invariants for partial flag varieties coincide with the structure constants for the parabolic quantum double Schubert polynomials. Moreover no additional computation is qa § required for reduction modulo the ideal (denoted JP in 6.2): a parabolic quantum double Schubert polynomial either projects to a Schubert basis element or to zero, according as the indexing permutation is in the correct symmetric group or not. Our proof relies on Mihalcea’s characterization [Mi] of the equivariant quan- tum Schubert classes and ring by his equivariant quantum Chevalley-Monk formula (Theorems 2.1 and 6.11). 2. The (quantum) cohomology rings of flag manifolds 2.1. Presentations. Let x =(x1,...,xn), a =(a1,...,an), and q =(q1,...,qn−1) be indeterminates. We work in the graded polynomial ring Z[x; q; a] with deg(xi)= T deg(ai) = 1 and deg(qi)=2.LetS = Z[a]beidentifiedwithH (pt) and let ej (a) be the elementary symmetric polynomial. Let Cn be the tridiagonal n × n matrix with entries xi on the diagonal, −1 on the superdiagonal, and qi on the subdiagonal. n ∈ Z Define the polynomials Ej [x; q]by n − − n−j n det(Cn t Id) = ( t) Ej . j=0 Let J (resp. J a, J q, J qa) be the ideal in Z[x](resp. S[x], Z[x; q], S[x; q]) generated − n n − ≤ ≤ by the elements ej (x)(resp. ej (x) ej (a); Ej ; Ej ej (a)) for 1 j n;inall cases the j-th generator is homogeneous of degree j.Wehave ∗ ∼ (2.1) H (Fl) = Z[x]/J, T ∼ a (2.2) H (Fl) = S[x]/J , ∗ ∼ q (2.3) QH (Fl) = Z[x; q]/J , T ∼ qa (2.4) QH (Fl) = S[x; q]/J as algebras over Z, S, Z[q], and S[q] respectively. The presentation of H∗(Fl) is a classical result due to Borel. The presentations of QH∗(Fl) and QHT (Fl) are due to Ciocan-Fontanine [Cio], Givental and Kim [GK] and Kim [Kim]. 2.2. Schubert bases. Let Xw = B−wB/B ⊂ Fl be the opposite Schubert variety, where w ∈ W = Sn is a permutation, B ⊂ SLn is the upper triangular Borel and License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use QUANTUM DOUBLE SCHUBERT POLYNOMIALS 837 ∗ T B− the opposite Borel. The ring H (Fl) (resp. H (Fl)) has a basis over Z (resp. S), denoted [Xw](resp.[Xw]T ), associated with the Schubert varieties. Given three elements u, v, w ∈ W and an element of the coroot lattice β ∈ Q∨ w ∈ Z one may define a genus zero Gromov-Witten invariant cuv(β) ≥0 (see [GK,Kim]) and an associative ring QH∗(Fl) with Z[q]-basis {σw | w ∈ W } (called the quantum Schubert basis) such that u v w w σ σ = qβcuv(β)σ , w,β − − n 1 ki n 1 ∨ ∈ Z where qβ = i=1 qi where β = i=1 kiαi for ki . Similarly there is a basis of a ring QHT (Fl) with S[q]-basis given by the equivariant quantum Schubert classes w σT , defined using equivariant Gromov-Witten invariants, which are elements of S. We shall use the following characterization of QHT (Fl) and its Schubert basis { w | ∈ } + σT w W due to Mihalcea [Mi]. Let Φ be the set of positive roots and ρ the half sum of positive roots. For w ∈ W define + Aw = {α ∈ Φ | wsα w}, + ∨ Bw = {α ∈ Φ | (wsα)=(w)+1−α , 2ρ}. a ··· ∈ n n Let ωi = a1 + + ai S be the fundamental weight. We write Aw and Bw to emphasize that the computation pertains to Fl = SLn/B. Theorem 2.1 ([Mi, Corollary 8.2]). For w ∈ Sn and 1 ≤ i ≤ n − 1 aDynkin w node, the equivariant quantum Schubert classes σT satisfy the equivariant quantum Chevalley-Monk formula s ∨ ws ∨ ws i w − a · a w α ∨ α (2.5) σT σT =( ωi + w ωi ) σT + α ,ωi σT + qα α ,ωi σT . ∈ n ∈ n α Aw α Bw { w | ∈ } Moreover these structure constants determine the Schubert basis σT w Sn and T the ring QH (SLn/B) up to isomorphism as S[q]-algebras. 3. Quantum double Schubert polynomials Now we work with infinite sets of variables x =(x1,x2,...), q =(q1,q2,...), and a =(a1,a2,...). a −1 − a 3.1. Various Schubert polynomials. Let ∂i = αi (1 si ) be the divided dif- − a ference operator, where αi = ai ai+1 and si is the operator that exchanges ai a and ai+1. Since the operators ∂i = ∂i satisfy the braid relations one may define ··· ··· ∈ ∂w = ∂i1 ∂i ,wherew = si1 si is a reduced decomposition. For w Sn define the double Schubert polynomial Sw(x; a) [LS] and the quantum double Schubert polynomial S˜ w(x; a) ∈ S[x; q][KM,CF]by n−1 i (n) − (ww0 ) a − (3.1) Sw(x; a)=( 1) ∂ (n) (xj an−i), ww0 i=1 j=1 n−1 (n) ˜ − (ww0 ) a − (3.2) Sw(x; a)=( 1) ∂ (n) det(Ci an−iId), ww0 i=1 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 838 THOMAS LAM AND MARK SHIMOZONO (n) ∈ 1 where w0 Sn is the longest element. Note that it is equivalent to define ˜ Sw(x; a) by setting the qi variables to zero in Sw(x; a). Let S∞ = n≥1 Sn be the infinite symmetric group under the embeddings in : Sn → Sn+1 that add a fixed point at the end of a permutation.
Load more

Recommended publications
  • A Combinatorial Proof That Schubert Vs. Schur Coefficients Are Nonnegative
    A COMBINATORIAL PROOF THAT SCHUBERT VS. SCHUR COEFFICIENTS ARE NONNEGATIVE SAMI ASSAF, NANTEL BERGERON, AND FRANK SOTTILE Abstract. We give a combinatorial proof that the product of a Schubert polynomial by a Schur polynomial is a nonnegative sum of Schubert polynomials. Our proof uses Assaf’s theory of dual equivalence to show that a quasisymmetric function of Bergeron and Sottile is Schur-positive. By a geometric comparison theorem of Buch and Mihalcea, this implies the nonnegativity of Gromov-Witten invariants of the Grassmannian. Dedicated to the memory of Alain Lascoux Introduction A Littlewood-Richardson coefficient is the multiplicity of an irreducible representa- tion of the general linear group in a tensor product of two irreducible representations, and is thus a nonnegative integer. Littlewood and Richardson conjectured a formula for these coefficients in 1934 [25], which was proven in the 1970’s by Thomas [33] and Sch¨utzenberger [31]. Since Littlewood-Richardson coefficients may be defined combina- torially as the coefficients of Schur functions in the expansion of a product of two Schur functions, these proofs of the Littlewood-Richardson rule furnish combinatorial proofs of the nonnegativity of Schur structure constants. The Littlewood-Richardson coefficients are also the structure constants for expressing products in the cohomology of a Grassmannian in terms of its basis of Schubert classes. Independent of the Littlewood-Richardson rule, these Schubert structure constants are known to be nonnegative integers through geometric arguments. The integral cohomol- ogy ring of any flag manifold has a Schubert basis and again geometry implies that the corresponding Schubert structure constants are nonnegative integers.
    [Show full text]
  • The Contributions of Stanley to the Fabric of Symmetric and Quasisymmetric Functions
    THE CONTRIBUTIONS OF STANLEY TO THE FABRIC OF SYMMETRIC AND QUASISYMMETRIC FUNCTIONS SARA C. BILLEY AND PETER R. W. MCNAMARA A E S A D I Dedicated to L N T C H R on the occasion of his 70th birthday. Y R Abstract. We weave together a tale of two rings, SYM and QSYM, following one gold thread spun by Richard Stanley. The lesson we learn from this tale is that \Combinatorial objects like to be counted by quasisymmetric functions." 1. Introduction The twentieth century was a remarkable era for the theory of symmetric func- tions. Schur expanded the range of applications far beyond roots of polynomials to the representation theory of GLn and Sn and beyond. Specht, Hall and Mac- donald unified the algebraic theory making it far more accessible. Lesieur recog- nized the connection between Schur functions and the topology of Grassmannian manifolds spurring interest and further developments by Borel, Bott, Bernstein{ Gelfand{Gelfand, Demazure and many others. Now, symmetric functions routinely appear in many aspects of mathematics and theoretical physics, and have significant importance in quantum computation. In that era of mathematical giants, Richard Stanley's contributions to symmet- ric functions are shining examples of how enumerative combinatorics has inspired and influenced some of the best work of the century. In this article, we focus on a few of the gems that continue to grow in importance over time. Specifically, we survey some results and applications for Stanley symmetric functions, chromatic symmetric functions, P -partitions, generalized Robinson{Schensted{Knuth corre- spondence, and flag symmetry of posets.
    [Show full text]
  • Combinatorics of Schubert Polynomials
    COMBINATORICS OF SCHUBERT POLYNOMIALS A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy by Avery J St. Dizier August 2020 c 2020 Avery J St. Dizier ALL RIGHTS RESERVED COMBINATORICS OF SCHUBERT POLYNOMIALS Avery J St. Dizier, Ph.D. Cornell University 2020 In this thesis, we study several aspects of the combinatorics of various im- portant families of polynomials, particularly focusing on Schubert polynomials. Schubert polynomials arise as distinguished representatives of cohomology classes in the cohomology ring of the flag variety. As polynomials, they enjoy a rich and well-studied combinatorics. Through joint works with Fink and M´esz´aros,we connect the supports of Schubert polynomials to a class of polytopes called gener- alized permutahedra. Through a realization of Schubert polynomials as characters of flagged Weyl modules, we show that the exponents of a Schubert polynomial are exactly the integer points in a generalized permutahedron. We also prove a combinatorial description of this permutahedron. We then study characters of flagged Weyl modules more generally and give an interesting inequality on their coefficients. We next shift our focus onto the coefficients of Schubert polynomials. We describe a construction due to Magyar called orthodontia. We use orthodontia to- gether with the previous inequality for characters to give a complete description of the Schubert polynomials that have only zero and one as coefficients. Through joint work with Huh, Matherne, and M´esz´aros,we next show a discrete log-concavity property of the coefficients of Schubert polynomials.
    [Show full text]
  • The Prism Tableau Model for Schubert Polynomials
    THE PRISM TABLEAU MODEL FOR SCHUBERT POLYNOMIALS ANNA WEIGANDT AND ALEXANDER YONG ABSTRACT. The Schubert polynomials lift the Schur basis of symmetric polynomials into a basis for Z[x1; x2;:::]. We suggest the prism tableau model for these polynomials. A novel aspect of this alternative to earlier results is that it directly invokes semistandard tableaux; it does so as part of a colored tableau amalgam. In the Grassmannian case, a prism tableau with colors ignored is a semistandard Young tableau. Our arguments are developed from the Grobner¨ geometry of matrix Schubert varieties. CONTENTS 1. Introduction 2 1.1. Overview 2 1.2. The main result 2 1.3. Organization 5 2. Main idea of the model and its proof 5 3. Proof of the Theorem 1.1 7 3.1. Matrix Schubert varieties and Schubert polynomials 7 3.2. Multi-plus diagrams 9 3.3. Local moves on plus diagrams 10 3.4. Proof of Theorem 3.6 15 3.5. Conclusion of the proof of Theorem 1.1 16 4. Further discussion 18 4.1. Comparisons to the literature 18 4.2. Details of the reduction to semistandard tableaux 19 4.3. Stable Schubert polynomials 20 4.4. An overlay interpretation of chute and ladder moves 20 4.5. Future work 21 Acknowledgments 22 References 22 Date: September 8, 2015. 1 1. INTRODUCTION 1.1. Overview. A. Lascoux–M.-P. Schutzenberger¨ [LaSh82a] recursively defined an inte- gral basis of Pol = Z[x1; x2;:::] given by the Schubert polynomials fSw : w 2 S1g. If w0 is n−1 n−2 the longest length permutation in the symmetric group Sn then Sw0 := x1 x2 ··· xn−1.
    [Show full text]
  • Arxiv:1705.09649V2 [Math.CO]
    A DEMAZURE CRYSTAL CONSTRUCTION FOR SCHUBERT POLYNOMIALS SAMI ASSAF AND ANNE SCHILLING Abstract. Stanley symmetric functions are the stable limits of Schubert polynomials. In this paper, we show that, conversely, Schubert polynomials are Demazure truncations of Stanley symmetric functions. This parallels the relationship between Schur functions and Demazure characters for the general linear group. We establish this connection by imposing a Demazure crystal structure on key tableaux, recently introduced by the first author in connection with Demazure characters and Schubert polynomials, and linking this to the type A crystal structure on reduced word factorizations, recently introduced by Morse and the second author in connection with Stanley symmetric functions. 1. Introduction Schubert polynomials Sw were first introduced by Bernstein et al. [BGG73] as certain polynomial repre- sentatives of cohomology classes of Schubert cycles Xw in flag varieties. They were extensively studied by Lascoux and Sch¨utzenberger [LS82] using an explicit definition in terms of difference operators ∂w. Subse- quently, a combinatorial expression for Schubert polynomials as the generating polynomial for compatible se- quences for reduced expressions of a permutation w was discovered by Billey, Jockusch, and Stanley [BJS93]. In the special case of the Grassmannian subvariety, Schubert polynomials are Schur polynomials, which also arise as the irreducible characters for the general linear group. The Stanley symmetric functions Fw were introduced by Stanley [Sta84] in the pursuit of enumerations of the reduced expressions of permutations, in particular of the long permutation w0. They are defined combinatorially as the generating functions of reduced factorizations of permutations. Stanley symmetric functions are the stable limit of Schubert polynomials [Mac91a, Mac91b], precisely (1.1) Fw(x1, x2,...) = lim S1m×w(x1, x2,...,xn+m).
    [Show full text]
  • The Permutahedral Variety, Mixed Eulerian Numbers, and Principal Specializations of Schubert Polynomials
    THE PERMUTAHEDRAL VARIETY, MIXED EULERIAN NUMBERS, AND PRINCIPAL SPECIALIZATIONS OF SCHUBERT POLYNOMIALS PHILIPPE NADEAU AND VASU TEWARI Abstract. We compute the expansion of the cohomology class of the permutahedral variety in the basis of Schubert classes. The resulting structure constants aw are expressed as a sum of normalized mixed Eulerian numbers indexed naturally by reduced words of w. The description implies that the aw are positive for all permutations w 2 Sn of length n − 1, thereby answering a question of Harada, Horiguchi, Masuda and Park. We use the same expression to establish the invariance of aw under taking inverses and conjugation by the longest word, and subsequently establish an intriguing cyclic sum rule for the numbers. We then move toward a deeper combinatorial understanding for the aw by exploiting in addition the relation to Postnikov's divided symmetrization. Finally, we are able to give a combinatorial interpretation for aw when w is vexillary, in terms of certain tableau descents. It is based in part on a relation between the numbers aw and principal specializations of Schubert polynomials. Along the way, we prove results and raise questions of independent interest about the combina- torics of permutations, Schubert polynomials and related objects. We also sketch how to extend our approach to other Lie types, highlighting in particular an identity of Klyachko. Contents 1. Introduction and statement of results 2 2. Preliminaries 6 3. Formulas for aw 11 4. Mixed Eulerian numbers 13 5. Properties of the numbers aw 16 6. Combinatorial interpretation of aw in special cases 20 7. The case of vexillary permutations 25 8.
    [Show full text]
  • A LITTLEWOOD-RICHARDSON RULE for FACTORIAL SCHUR FUNCTIONS 1. Introduction As Λ Runs Over All Partitions with Length L(Λ)
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 351, Number 11, Pages 4429{4443 S 0002-9947(99)02381-8 Article electronically published on February 8, 1999 A LITTLEWOOD-RICHARDSON RULE FOR FACTORIAL SCHUR FUNCTIONS ALEXANDER I. MOLEV AND BRUCE E. SAGAN Abstract. We give a combinatorial rule for calculating the coefficients in the expansion of a product of two factorial Schur functions. It is a special case of a more general rule which also gives the coefficients in the expansion of a skew factorial Schur function. Applications to Capelli operators and quantum immanants are also given. 1. Introduction As λ runs over all partitions with length l(λ) n, the Schur polynomials sλ(x) form a distinguished basis in the algebra of symmetric≤ polynomials in the indepen- dent variables x =(x1;:::;xn). By definition, λi+n i det(xj − )1 i;j n s (x)= ≤ ≤ : λ (x x ) i<j i − j Equivalently, these polynomials canQ be defined by the combinatorial formula (1) sλ(x)= xT(α); T α λ XY∈ summed over semistandard tableaux T of shape λ with entries in the set 1;:::;n , where T (α)istheentryofT in the cell α. { } Any product sλ(x)sµ(x) can be expanded as a linear combination of Schur poly- nomials: ν (2) sλ(x)sµ(x)= cλµ sν (x): ν X The classical Littlewood-Richardson rule [LR] gives a method for computing the ν coefficients cλµ. These same coefficients appear in the expansion of a skew Schur function ν sν/λ(x)= cλµsµ(x): µ X A number of different proofs and variations of this rule can be found in the litera- ture; see, e.g.
    [Show full text]
  • Logarithmic Concavity of Schur and Related Polynomials
    LOGARITHMIC CONCAVITY OF SCHUR AND RELATED POLYNOMIALS JUNE HUH, JACOB P. MATHERNE, KAROLA MESZ´ AROS,´ AND AVERY ST. DIZIER ABSTRACT. We show that normalized Schur polynomials are strongly log-concave. As a conse- quence, we obtain Okounkov’s log-concavity conjecture for Littlewood–Richardson coefficients in the special case of Kostka numbers. 1. INTRODUCTION Schur polynomials are the characters of finite-dimensional irreducible polynomial represen- tations of the general linear group GLmpCq. Combinatorially, the Schur polynomial of a partition λ in m variables is the generating function µpTq µpTq µ1pTq µmpTq sλpx1; : : : ; xmq “ x ; x “ x1 ¨ ¨ ¨ xm ; T ¸ where the sum is over all Young tableaux T of shape λ with entries from rms, and µipTq “ the number of i’s among the entries of T; for i “ 1; : : : ; m. Collecting Young tableaux of the same weight together, we get µ sλpx1; : : : ; xmq “ Kλµ x ; µ ¸ where Kλµ is the Kostka number counting Young tableaux of given shape λ and weight µ [Kos82]. Correspondingly, the Schur module Vpλq, an irreducible representation of the general linear group with highest weight λ, has the weight space decomposition Vpλq “ Vpλqµ with dim Vpλqµ “ Kλµ: µ arXiv:1906.09633v3 [math.CO] 25 Sep 2019 à Schur polynomials were first studied by Cauchy [Cau15], who defined them as ratios of alter- nants. The connection to the representation theory of GLmpCq was found by Schur [Sch01]. For a gentle introduction to these remarkable polynomials, and for all undefined terms, we refer to [Ful97]. June Huh received support from NSF Grant DMS-1638352 and the Ellentuck Fund.
    [Show full text]
  • Pieri's Formula for Flag Manifolds and Schubert
    PIERI’S FORMULA FOR FLAG MANIFOLDS AND SCHUBERT POLYNOMIALS FRANK SOTTILE Abstract. We establish the formula for multiplication by the class of a spe- cial Schubert variety in the integral cohomology ring of the flag manifold. This formula also describes the multiplication of a Schubert polynomial by either an elementary or a complete symmetric polynomial. Thus, we generalize the classi- cal Pieri’s formula for symmetric polynomials/Grassmann varieties to Schubert polynomials/flag manifolds. Our primary technique is an explicit geometric de- scription of certain intersections of Schubert varieties. This method allows us to compute additional structure constants for the cohomology ring, some of which we express in terms of paths in the Bruhat order on the symmetric group, which in turn yields an enumerative result about the Bruhat order. R´esum´e Nous ´etablissons la formule pour la multiplication par la classe d’une vari´et´ede Schubert sp´eciale dans l’anneau de cohomologie de la vari´et´ede drapeaux. Cette for- mule d´ecrit aussi la multiplication d’un polynˆome de Schubert soit par un polynˆome sym´etrique ´el´ementaire soit par un polynˆome sym´etrique homog`ene. Ainsi nous g´en´eralisons la formule classique de Pieri sur les polynˆomes de Schur/vari´et´es de Grassmann ou cas des polynˆomes de Schubert/vari´et´es de drapeaux. Notre technique principale est une description g´eom´etrique explicite de certaines intersections des vari´et´es de Schubert. Cette m´ethode nous permet de calculer quelques constantes de structure additionnelles pour l’anneau de cohomologie, dont nous exprimons certaines en termes de chaˆınes dans l’ordre de Bruhat dans le groupe sym´etrique.
    [Show full text]
  • Gröbner Geometry of Schubert Polynomials
    Annals of Mathematics, 161 (2005), 1245–1318 Gr¨obner geometry of Schubert polynomials By Allen Knutson and Ezra Miller* Abstract Given a permutation w ∈ Sn, we consider a determinantal ideal Iw whose generators are certain minors in the generic n × n matrix (filled with inde- pendent variables). Using ‘multidegrees’ as simple algebraic substitutes for torus-equivariant cohomology classes on vector spaces, our main theorems de- scribe, for each ideal Iw: • variously graded multidegrees and Hilbert series in terms of ordinary and double Schubert and Grothendieck polynomials; • a Gr¨obner basis consisting of minors in the generic n × n matrix; • the Stanley–Reisner simplicial complex of the initial ideal in terms of known combinatorial diagrams [FK96], [BB93] associated to permuta- tions in Sn; and • a procedure inductive on weak Bruhat order for listing the facets of this complex. We show that the initial ideal is Cohen–Macaulay, by identifying the Stanley– Reisner complex as a special kind of “subword complex in Sn”, which we define generally for arbitrary Coxeter groups, and prove to be shellable by giving an explicit vertex decomposition. We also prove geometrically a general positivity statement for multidegrees of subschemes. Our main theorems provide a geometric explanation for the naturality of Schubert polynomials and their associated combinatorics. More precisely, we apply these theorems to: • define a single geometric setting in which polynomial representatives for Schubert classes in the integral cohomology ring of the flag manifold are determined uniquely, and have positive coefficients for geometric reasons; *AK was partly supported by the Clay Mathematics Institute, Sloan Foundation, and NSF.
    [Show full text]
  • Categorification and Combinatorics of Schubert Polynomials
    CATEGORIFICATION AND COMBINATORICS OF SCHUBERT POLYNOMIALS T H E S I S In the degree of Master of Science with specialty in Basic Mathematics By Juan Fernando Valdés Cruz Advisers: Dr. José Antonio de la Peña and Dr. Aaron D. Lauda Guanajuato, Gto., June 2, 2017 \...Y un p´ajarocant´o,delgada flecha. Pecho de plata herido vibr´oel cielo, se movieron las hojas, las yerbas despertaron... Y sent´ıque la muerte era una flecha que no se sabe qui´endispara y en un abrir los ojos nos morimos." | Octavio Paz, `el p´ajaro'. Contents Acknowledgements 7 Introduction 9 1 The nilHecke algebra 11 1.1 The symmetric group................................... 11 1.2 The nilHecke algebra.................................... 13 1.3 Diagrammatics for the nilHecke algebra......................... 21 1.4 The 0-Hecke Algebra.................................... 22 1.5 Schubert Polynomials................................... 24 1.6 The nilHecke algebra as a matrix ring........................... 26 2 Categorification 29 2.1 The quantum group Uq(sl2)............................... 29 2.2 Categorification and K0 of a ring............................. 34 + 2.3 The categorification of Uq(sl2) .............................. 38 3 Schubert polynomials 41 3.1 Pipe Dreams and the combinatorial construction.................... 41 3.2 Bumping and Schur polynomials............................. 49 3.2.1 Bumping an RC graph............................... 51 3.3 Reinterpreting pipe dreams................................ 51 3.4 Hanoi Towers........................................ 60 3.5 Special cases of products.................................. 63 References 69 5 6 Acknowledgements This work was written after I finished the coursework in my master studies. I want to thank Aaron Lauda for proposing a problem of relating the graphical method of Billey, Stanley, and Bergeron, to the diagrammatics for the categorified sl2.
    [Show full text]
  • Schubert Polynomials and Quiver Formulas 11
    SCHUBERT POLYNOMIALS AND QUIVER FORMULAS ANDERS S. BUCH, ANDREW KRESCH, HARRY TAMVAKIS, AND ALEXANDER YONG Abstract. Fulton's universal Schubert polynomials [F3] represent degener- acy loci for morphisms of vector bundles with rank conditions coming from a permutation. The quiver formula of Buch-Fulton [BF] expresses these poly- nomials as an integer linear combination of products of Schur determinants. We present a positive, nonrecursive combinatorial formula for the coefficients. Our result is applied to obtain new expansions for the Schubert polynomials of Lascoux and Schutzen¨ berger [LS1] and explicit Giambelli formulas in the classical and quantum cohomology ring of any partial flag variety. 1. Introduction The work of Buch and Fulton [BF] established a formula for a general kind of degeneracy locus associated to an oriented quiver of type A. The main ingredients in this formula are Schur determinants and certain integers, the quiver coefficients, which generalize the classical Littlewood-Richardson coefficients. Our aim in this paper is to prove a positive combinatorial formula for the quiver coefficients when the rank conditions defining the degeneracy locus are given by a permutation. In particular, this gives new expansions for Fulton's universal Schubert polynomials [F3] and the Schubert polynomials of Lascoux and Schutzen¨ berger [LS1]. Let X be a smooth complex algebraic variety and let (1) G1 ! · · · ! Gn−1 ! Gn ! Fn ! Fn−1 ! · · · ! F1 be a sequence of vector bundles and morphisms over X, such that Gi and Fi have rank i for each i. For every permutation w in the symmetric group Sn+1 there is a degeneracy locus Ωw(G• ! F•) = fx 2 X j rank(Gq(x) ! Fp(x)) 6 rw(p; q) for all 1 6 p; q 6 ng ; where rw(p; q) is the number of i 6 p such that w(i) 6 q.
    [Show full text]