DOCSLIB.ORG

Schubert Calculus and Quiver Varieties

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Schubert Calculus and Quiver Varieties SCHUBERT CALCULUS AND QUIVER VARIETIES ALLEN KNUTSON CONTENTS Introduction 2 Notational conventions 2 Part 1. Equivariant Schubert calculus 2 1. Flag and Schubert varieties 2 1.1. Atlases on flag manifolds 3 1.2. The Bruhat decomposition of Gr k; Cn 4 1.3. First examples of Schubert calculus 6 1.4. The Bruhat decomposition of flag( manifolds) 7 1.5. Poincare´ polynomials of flag manifolds 8 1.6. Self-duality of the Schubert basis 9 1.7. Push and pull operations 10 1.8. Borel’s presentation of ordinary cohomology: stable case 12 1.9. Borel’s presentation of ordinary cohomology: unstable case 15 1.10. Divided difference operators and Schubert polynomials 17 1.11. Kleiman’s theorem. Examples of Schubert calculus. 19 2. A first look at puzzles 20 2.1. Grassmannian puzzles 20 2.2. Rotational symmetry of puzzles 22 2.3. Separated-codescent puzzles 23 2.4. Inventing 2-step puzzles. 24 3. Equivariant cohomology 25 3.1. Recalling ordinary cohomology 25 3.2. Kernels and convolution 26 3.3. Equivariant cohomology: properties and definition 28 3.4. From G to T. 31 3.5. Convolution in equivariant cohomology 32 4. Equivariant cohomology of the flag manifold 35 4.1. The equivariant Borel presentation 35 4.2. Double Schubert polynomials 35 4.3. Push-pull vs. sweeping 36 4.4. Point restrictions of Schubert classes 38 4.5. The AJS/Billey formula, in terms of Rˇ-matrices 42 Date: October 28, 2019. 1 2 ALLEN KNUTSON 5. Equivariant separated-descent puzzles. Proof via YBE. 42 (1) (2) Part II: Quiver varieties. (a) Definition. Deformation to affine. Cotangent bundles. (b) Nakajima’s theorem on Htop. Nakajima’s reflection isomorphisms. (c) The “category” of symplectic reductions. Examples. (d) Maulik-Okounkov stable envelopes, via the deformation to affine. (e) Maulik-Okounkov bases and R-matrices. (f) Varagnolo’s theorem: the Yangian action on H∗. (3) Part III: Schubert calculus and quiver varieties. (a) Segre-Schwartz-MacPherson classes on Grassmannians, and puzzles. (b) Proof via symplectic reductions. (c) Separated-descent puzzles and their proof. (d) Associativity. (e) d 2; 3; 4. (4) Part IV: Complements. (a) Noncommutative= deformation and Verma modules. (b) Chern-Schwartz-MacPherson classes. (c) Self-dual puzzles. (d) Equivariant K-theory. (e) Rigid puzzles and synthetic solutions. (f) Belkale-Kumar puzzles. (g) The origin of puzzles in studying sums of Hermitian matrices. Introduction NOTATIONAL CONVENTIONS Part 1. Equivariant Schubert calculus 1. FLAG AND SCHUBERT VARIETIES Let V denote an n-dimensional vector space over C, and 0 n1 n2 ::: nd n a sequence of d integral “steps”. Our principal object of study in this book is the d-step flag variety ≤ ≤ ≤ ≤ ≤ Fl n1; n2; : : : ; nd; V V1;V2;:::;Vd Vi Vi+1 V; dim Vi ni; i 1; : : : ; d So far( this is a set, of “d)-step∶= ( flags of subspaces) ∶ in≤ V”;≤ our first endeavor= ∀ is= to give it the structure of complex manifold (or more specifically, smooth complex variety). When V Cn, there is a natural map n = rowspan GLn C Fl n1; n2; : : : ; nd; C M :::; span of top ni rows, ::: i 1:::d ∶ ( ) → ( ) = ↦ ( ) SCHUBERT CALCULUS AND QUIVER VARIETIES 3 which is easily seen to be onto (pick a basis of V1, extend to a basis of V2, . , extend to a basis of Cn, take that basis as rows of M). This map rowspan is equivariant with respect 1 to the right action of GLn C , transitive on both spaces. The basic case d 1 gets a special name and notation; it is the Grassmannian Gr n1; V Fl n1; V of n1-planes in V( (and) we will usually write k instead of n1). We consider this case first, to later build= on it through the obvious inclusion ( ) ∶= ( ) d Fl n1; n2; : : : ; nd; V Gr ni; V i=1 ( V1;V2;:::;Vd) ↪ MV1;V(2;:::;V)d whose image is the nested tuples, satisfying V1 V2 ::: Vd. ( ) ↦ ( ) The full flag variety Fl 1; 2; : : : ; n; Cn also gets special notation, Fl Cn . ≤ ≤ ≤ 1.1. Atlases on flag manifolds.( To make) Gr k; V into a complex manifold,( ) not just a set, we give it an atlas of charts whose transition maps are holomorphic (in fact, algebraic). Begin by defining the Stiefel manifold ( ) n Stiefel k; C k n complex matrices of rank k and consider the surjective map ( ) ∶= { × } n n rowspan Stiefel k; C Gr k; C n The Stiefel manifold is a Zariski open set inside Mk n, the union of principal open sets ∶ ( ) ×↠ ( ) k n Uλ M Mk n det columns λ in M 0 λ × k [ ] n The fibers of the map∶= {rowspan∈ are∶ exactly( the left GL)k ≠C }-orbits∈ on Stiefel k; C , and this action preserves each of the open sets Uλ. Conveniently, this action on Uλ admits a continuous system of orbit representatives: ( ) ( ) ′ Uλ M Mk×n columns λ in M form an identity matrix and consequently ∶= { ∈ ∶ } n rowspan ′ U′ Gr k; the restriction Uλ λ C is injective, and n the images rowspan U′ , λ [ ] cover Gr k; Cn ● λS ∶ k→ ( ) if we give Gr k; Cn the quotient topology, i.e. the coarsest topology such that ● rowspan is continuous( ) (w.r.t.∈ the Zariski( topology) on Stiefel k; Cn ), then the ● ( ′) [n] images rowspan Uλ , λ k are open. ( ) n n Theorem 1. The charts rowspan U′ U′ Gr k; form an algebraic atlas, making Gr k; ( ) ∈ λ λ C C a smooth scheme over C of dimension k n k . S ∶ → ( ) ( ) Proof. G rowspan U′ rowspan U′ G rowspan U rowspan U Let λµ λ ( − ) µ , so λµ λ µ ′ ′ rowspan Uλ Uµ . Its preimages in Uλ and Uµ are respectively ′ = ( ) ∩ ( ) = ( ) ∩ ( ) = U Uµ M Mk n columns λ in M form an identity matrix, det columns µ 0 λ ( ∩ ) × and the very similar U′ Uλ. The overlap map U′ Uµ Gλµ U′ Uλ is ∩ = { ∈ µ ∶ λ µ ( ) ≠ } M µ M −1M ∩ columns in ∩ →̃ →̃ ∩ which is algebraic. ↦ ( ) 1 n For a number of reasons we choose C to, as a rule, denote row vectors. One important one is that wide, shallow matrices fit better on the page. 4 ALLEN KNUTSON ′ 2 As to the dimension, the conditions on each Uλ specify k of the kn matrix entries, leaving k n k free. kn For the( most− ) part it is easier to work with the Stiefel coordinates¨ on the Grassman- n 2 nian, rather than the k Plucker¨ coordinates¨ that we won’t bother introducing. n As we explain below, much the same construction gives an atlas on Fl n1; n2; : : : ; nd; C , ′ restricting the surjective rowspan map to slices Uλ that together cover the target. The difference is that the group we’re dividing by, instead of GLk C , is the( group P of block) lower triangular matrices in GLnd C with diagonal blocks of size n1; n2 n1; : : : ; nd nd−1. ( n) We will need a finer analogue of the covering Stiefel k; C [n] Uλ. Let M λ∈ k n ( ) − − [n] Stiefel nd; C be a matrix we’re making sure not to exclude. Start by picking λd ( ) = ⋃ nd ∈ such that M’s submatrix with columns λd (and all nd rows) is invertible, exactly as we did ( ) λd ∈ before. But now we also pick a subset λd 1 such that M’s submatrix with columns − nd−1 λd−1 λd−1 (and first nd−1 rows, a top submatrix) is invertible, then similarly λd−2 n , etc. ∈ d−2 Encode this sequence λ1 λ2 ::: λd n of subsets as a string λ, whose ith letter is ∈ min j j λi (considering λd+1 n ). To such a string we associate the manifolds ( ⊆n ⊆ ⊆ ⊆ [ ]) Uλ N Stiefel nd; det N’s top submatrix with columns λi 0; i 1 : : : d { ∶ ∉ } C = [ ] N’s top submatrix with columns λi ′ ∶= { ∈ ( n) ∶ ( ) ≠ ∀ = } Uλ N Stiefel nd; C is a permutation matrix, i 1 : : : d ⎧ 1 1 n ; n ⎫ ⎪ whose s run NW/SE in rows i−1 i ⎪ As in∶ the= ⎨ Grassmannian∈ ( case,) ∶ ∀ = ⎬ ⎪ ⎪ ⎩ n [ + ] ⎭ these Uλ cover Stiefel nd; C (the construction of λ above made sure to hit M), they’re invariant under the left action of P (the block lower triangular group de- ● fined( above),) ( ) ′ ● the submanifold Uλ serves as a system of P-orbit representatives in Uλ, so n rowspan ′ U′ Fl n ; n ; : : : ; n ; the maps Uλ λ 1 2 d C form an atlas, again easily ● checked to be algebraic. ● S ∶ → ( ) n 1.2. The Bruhat decomposition of Gr k; C . The left GLk C action on Mk×n is a fa- miliar topic in first linear algebra classes, under the name “row reduction” or “Gaussian elimination”. The principal result there( concerning) it is the construction( ) of a discontinuous system of orbit representatives, the reduced row-echelon forms (or RREF) such as 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 ⎡ ⎤ ⎢0 0 0∗ 0 ∗0 0 1 ∗ 0 0 ∗⎥ ⎢ ⎥ ⎢0 0 0 0 0 0 0∗ 0 1 0 ∗⎥ ⎢ ⎥ ⎢ ⎥ ⎢0 0 0 0 0 0 0∗ 0 0 1 ∗⎥ ⎢ ⎥ ⎢00000000000∗⎥ ⎢ ⎥ ⎢00000000000∗⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ characterized by the properties⎢ ⎥ The zero rows are at⎣ the bottom ⎦ The nonzero rows start with a 1, called a pivot ● The pivotal 1s run NW/SE ● 2They are coordinates¨ on the smallest GL V -equivariant embedding of Gr k; V into projective space, ● k k via the map V1 Alt V1 P Alt V . In particular, they let one study the Grassmannian as a subvariety of a simpler space, rather than as a quotient. ( ) ( ) ↦ ∈ ( ) SCHUBERT CALCULUS AND QUIVER VARIETIES 5 Above each pivotal 1 (and below, automatically) is all 0s.
Load more

Recommended publications
  • Schubert Calculus According to Schubert
    Schubert Calculus according to Schubert Felice Ronga February 16, 2006 Abstract We try to understand and justify Schubert calculus the way Schubert did it. 1 Introduction In his famous book [7] “Kalk¨ulder abz¨ahlende Geometrie”, published in 1879, Dr. Hermann C. H. Schubert has developed a method for solving problems of enumerative geometry, called Schubert Calculus today, and has applied it to a great number of cases. This book is self-contained : given some aptitude to the mathematical reasoning, a little geometric intuition and a good knowledge of the german language, one can enjoy the many enumerative problems that are presented and solved. Hilbert’s 15th problems asks to give a rigourous foundation to Schubert’s method. This has been largely accomplished using intersection theory (see [4],[5], [2]), and most of Schubert’s calculations have been con- firmed. Our purpose is to understand and justify the very method that Schubert has used. We will also step through his calculations in some simple cases, in order to illustrate Schubert’s way of proceeding. Here is roughly in what Schubert’s method consists. First of all, we distinguish basic elements in the complex projective space : points, planes, lines. We shall represent by symbols, say x, y, conditions (in german : Bedingungen) that some geometric objects have to satisfy; the product x · y of two conditions represents the condition that x and y are satisfied, the sum x + y represents the condition that x or y is satisfied. The conditions on the basic elements that can be expressed using other basic elements (for example : the lines in space that must go through a given point) satisfy a number of formulas that can be determined rather easily by geometric reasoning.
    [Show full text]
  • Combinatorial Results on (1, 2, 1, 2)-Avoiding $ GL (P,\Mathbb {C
    COMBINATORIAL RESULTS ON (1, 2, 1, 2)-AVOIDING GL(p, C) × GL(q, C)-ORBIT CLOSURES ON GL(p + q, C)/B ALEXANDER WOO AND BENJAMIN J. WYSER Abstract. Using recent results of the second author which explicitly identify the “(1, 2, 1, 2)- avoiding” GL(p, C)×GL(q, C)-orbit closures on the flag manifold GL(p+q, C)/B as certain Richardson varieties, we give combinatorial criteria for determining smoothness, lci-ness, and Gorensteinness of such orbit closures. (In the case of smoothness, this gives a new proof of a theorem of W.M. McGovern.) Going a step further, we also describe a straightforward way to compute the singular locus, the non-lci locus, and the non-Gorenstein locus of any such orbit closure. We then describe a manifestly positive combinatorial formula for the Kazhdan-Lusztig- Vogan polynomial Pτ,γ (q) in the case where γ corresponds to the trivial local system on a (1, 2, 1, 2)-avoiding orbit closure Q and τ corresponds to the trivial local system on any orbit ′ Q contained in Q. This combines the aforementioned result of the second author, results of A. Knutson, the first author, and A. Yong, and a formula of Lascoux and Sch¨utzenberger which computes the ordinary (type A) Kazhdan-Lusztig polynomial Px,w(q) whenever w ∈ Sn is cograssmannian. 1. Introduction Let G be a complex semisimple reductive group and B a Borel subgroup of G. The opposite Borel subgroup B− (as well as B itself) acts on the flag variety G/B with finitely many orbits.
    [Show full text]
  • Genomic Tableaux As a Semistandard Analogue of Increasing Tableaux
    GENOMIC TABLEAUX OLIVER PECHENIK AND ALEXANDER YONG ABSTRACT. We explain how genomic tableaux [Pechenik-Yong ’15] are a semistandard com- plement to increasing tableaux [Thomas-Yong ’09]. From this perspective, one inherits ge- nomic versions of jeu de taquin, Knuth equivalence, infusion and Bender-Knuth involu- tions, as well as Schur functions from (shifted) semistandard Young tableaux theory. These are applied to obtain new Littlewood-Richardson rules for K-theory Schubert calculus of Grassmannians (after [Buch ’02]) and maximal orthogonal Grassmannians (after [Clifford- Thomas-Yong ’14], [Buch-Ravikumar ’12]). For the unsolved case of Lagrangian Grassman- nians, sharp upper and lower bounds using genomic tableaux are conjectured. CONTENTS 1. Introduction 2 1.1. History and overview 2 1.2. Genomic tableau results 3 1.3. Genomic rules in Schubert calculus 4 2. K-(semi)standardization maps 5 3. Genomic words and Knuth equivalence 7 4. Genomic jeu de taquin 8 5. Three proofs of the Genomic Littlewood-Richardson rule (Theorem1.4) 10 5.1. Proof 1: Bijection with increasing tableaux 10 5.2. Proof 2: Bijection with set-valued tableaux 11 5.3. Proof 3: Bijection with puzzles 13 6. Infusion, Bender-Knuth involutions and the genomic Schur function 14 arXiv:1603.08490v1 [math.CO] 28 Mar 2016 7. Shifted genomic tableaux 15 8. MaximalorthogonalandLagrangianGrassmannians 18 9. Proof of OG Genomic Littlewood-Richardson rule (Theorem 8.1) 21 9.1. Shifted K-(semi)standardization maps 21 9.2. Genomic P -Knuth equivalence 23 9.3. Shifted jeu de taquin and the conclusion of the proof 27 Acknowledgments 28 References 28 Date: March 28, 2016.
    [Show full text]
  • Introduction to Schubert Varieties Lms Summer School, Glasgow 2018
    INTRODUCTION TO SCHUBERT VARIETIES LMS SUMMER SCHOOL, GLASGOW 2018 MARTINA LANINI 1. The birth: Schubert's enumerative geometry Schubert varieties owe their name to Hermann Schubert, who in 1879 pub- lished his book on enumerative geometry [Schu]. At that time, several people, such as Grassmann, Giambelli, Pieri, Severi, and of course Schubert, were inter- ested in this sort of questions. For instance, in [Schu, Example 1 of x4] Schubert asks 3 1 How many lines in PC do intersect 4 given lines? Schubert's answer is two, provided that the lines are in general position: How did he get it? And what does general position mean? Assume that we can divide the four lines `1; `2; `3; `4 into two pairs, say f`1; `2g and f`3; `4g such that the lines in each pair intersect in exactly one point and do not touch the other two. Then each pair generates a plane, and we assume that these two planes, say π1 and π2, are not parallel (i.e. the lines are in general position). Then, the planes intersect in a line. If this happens, there are exactly two lines intersecting `1; `2; `3; `4: the one lying in the intersection of the two planes and the one passing through the two intersection points `1 \`2 and `3 \ `4. Schubert was using the principle of special position, or conservation of num- ber. This principle says that the number of solutions to an intersection problem is the same for any configuration which admits a finite number of solutions (if this is the case, the objects forming the configuration are said to be in general position).
    [Show full text]
  • The Algebraic Geometry of Kazhdan-Lusztig-Stanley Polynomials
    The algebraic geometry of Kazhdan-Lusztig-Stanley polynomials Nicholas Proudfoot Department of Mathematics, University of Oregon, Eugene, OR 97403 [email protected] Abstract. Kazhdan-Lusztig-Stanley polynomials are combinatorial generalizations of Kazhdan- Lusztig polynomials of Coxeter groups that include g-polynomials of polytopes and Kazhdan- Lusztig polynomials of matroids. In the cases of Weyl groups, rational polytopes, and realizable matroids, one can count points over finite fields on flag varieties, toric varieties, or reciprocal planes to obtain cohomological interpretations of these polynomials. We survey these results and unite them under a single geometric framework. 1 Introduction Given a Coxeter group W along with a pair of elements x; y 2 W , Kazhdan and Lusztig [KL79] defined a polynomial Px;y(t) 2 Z[t], which is non-zero if and only if x ≤ y in the Bruhat order. This polynomial has a number of different interpretations in terms of different areas of mathematics: • Combinatorics: There is a purely combinatorial recursive definition of Px;y(t) in terms of more elementary polynomials, called R-polynomials. See [Lus83a, Proposition 2], as well as [BB05, x5.5] for a more recent account. • Algebra: The Hecke algebra of W is a q-deformation of the group algebra C[W ], and the polynomials Px;y(t) are the entries of the matrix relating the Kazhdan-Lusztig basis to the standard basis of the Hecke algebra [KL79, Theorem 1.1]. • Geometry: If W is the Weyl group of a semisimple Lie algebra, then Px;y(t) may be interpreted as the Poincar´epolynomial of a stalk of the intersection cohomology sheaf on a Schubert variety in the associated flag variety [KL80, Theorem 4.3].
    [Show full text]
  • Chern-Schwartz-Macpherson Classes for Schubert Cells in Flag Manifolds
    CHERN-SCHWARTZ-MACPHERSON CLASSES FOR SCHUBERT CELLS IN FLAG MANIFOLDS PAOLO ALUFFI AND LEONARDO C. MIHALCEA Abstract. We obtain an algorithm describing the Chern-Schwartz-MacPherson (CSM) classes of Schubert cells in generalized flag manifolds G B. In analogy to how the ordinary { divided di↵erence operators act on Schubert classes, each CSM class of a Schubert class of a Schubert cell is obtained by applying certain Demazure-Lusztig type operators to the CSM class of a cell of dimension one less. By functoriality, we deduce algorithmic expressions for CSM classes of Schubert cells in any flag manifold G P . We conjecture { that the CSM classes of Schubert cells are an e↵ective combination of (homology) Schubert classes, and prove that this is the case in several classes of examples. 1. Introduction A classical problem in Algebraic Geometry is to define characteristic classes of singular algebraic varieties generalizing the notion of the total Chern class of the tangent bundle of a non-singular variety. The existence of a functorial theory of Chern classes for pos- sibly singular varieties was conjectured by Grothendieck and Deligne, and established by R. MacPherson [Mac74]. This theory associates a class c ' H X with every con- ˚p qP ˚p q structible function ' on X, such that c 11 X c TX X if X is a smooth compact complex variety. (The theory was later extended˚p q“ top arbitraryqXr s algebraically closed fields of characteristic 0, with values in the Chow group [Ken90], [Alu06b].) The strong functorial- ity properties satisfied by these classes determine them uniquely; we refer to 3 below for § details.
    [Show full text]
  • A Formula for the Cohomology and K-Class of a Regular Hessenberg Variety
    Smith ScholarWorks Mathematics and Statistics: Faculty Publications Mathematics and Statistics 5-1-2020 A Formula for the Cohomology and K-Class of a Regular Hessenberg Variety Erik Insko Florida Gulf Coast University Julianna Tymoczko Smith College, [email protected] Alexander Woo University of Idaho Follow this and additional works at: https://scholarworks.smith.edu/mth_facpubs Part of the Mathematics Commons Recommended Citation Insko, Erik; Tymoczko, Julianna; and Woo, Alexander, "A Formula for the Cohomology and K-Class of a Regular Hessenberg Variety" (2020). Mathematics and Statistics: Faculty Publications, Smith College, Northampton, MA. https://scholarworks.smith.edu/mth_facpubs/99 This Article has been accepted for inclusion in Mathematics and Statistics: Faculty Publications by an authorized administrator of Smith ScholarWorks. For more information, please contact [email protected] A FORMULA FOR THE COHOMOLOGY AND K-CLASS OF A REGULAR HESSENBERG VARIETY ERIK INSKO, JULIANNA TYMOCZKO, AND ALEXANDER WOO Abstract. Hessenberg varieties are subvarieties of the flag variety parametrized by a linear operator X and a nondecreasing function h. The family of Hessenberg varieties for regular X is particularly important: they are used in quantum cohomology, in combinatorial and geometric representation theory, in Schubert calculus and affine Schubert calculus. We show that the classes of a regular Hessenberg variety in the cohomology and K-theory of the flag variety are given by making certain substitutions in the Schubert polynomial (respectively Grothendieck polynomial) for a permutation that depends only on h. Our formula and our methods are different from a recent result of Abe, Fujita, and Zeng that gives the class of a regular Hessenberg variety with more restrictions on h than here.
    [Show full text]
  • Introduction to Affine Grassmannians
    Introduction to Affine Grassmannians Sara Billey University of Washington http://www.math.washington.edu/∼billey Connections for Women: Algebraic Geometry and Related Fields January 23, 2009 0-0 Philosophy “Combinatorics is the equivalent of nanotechnology in mathematics.” 0-1 Outline 1. Background and history of Grassmannians 2. Schur functions 3. Background and history of Affine Grassmannians 4. Strong Schur functions and k-Schur functions 5. The Big Picture New results based on joint work with • Steve Mitchell (University of Washington) arXiv:0712.2871, 0803.3647 • Sami Assaf (MIT), preprint coming soon! 0-2 Enumerative Geometry Approximately 150 years ago. Grassmann, Schubert, Pieri, Giambelli, Severi, and others began the study of enumerative geometry. Early questions: • What is the dimension of the intersection between two general lines in R2? • How many lines intersect two given lines and a given point in R3? • How many lines intersect four given lines in R3 ? Modern questions: • How many points are in the intersection of 2,3,4,. Schubert varieties in general position? 0-3 Schubert Varieties A Schubert variety is a member of a family of projective varieties which is defined as the closure of some orbit under a group action in a homogeneous space G/H. Typical properties: • They are all Cohen-Macaulay, some are “mildly” singular. • They have a nice torus action with isolated fixed points. • This family of varieties and their fixed points are indexed by combinatorial objects; e.g. partitions, permutations, or Weyl group elements. 0-4 Schubert Varieties “Honey, Where are my Schubert varieties?” Typical contexts: • The Grassmannian Manifold, G(n, d) = GLn/P .
    [Show full text]
  • The Special Schubert Calculus Is Real
    ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 5, Pages 35{39 (April 1, 1999) S 1079-6762(99)00058-X THE SPECIAL SCHUBERT CALCULUS IS REAL FRANK SOTTILE (Communicated by Robert Lazarsfeld) Abstract. We show that the Schubert calculus of enumerative geometry is real, for special Schubert conditions. That is, for any such enumerative prob- lem, there exist real conditions for which all the a priori complex solutions are real. Fulton asked how many solutions to a problem of enumerative geometry can be real, when that problem is one of counting geometric figures of some kind having specified position with respect to some general fixed figures [5]. For the problem of plane conics tangent to five general conics, the (surprising) answer is that all 3264 may be real [10]. Recently, Dietmaier has shown that all 40 positions of the Stewart platform in robotics may be real [2]. Similarly, given any problem of enumerating lines in projective space incident on some general fixed linear subspaces, there are real fixed subspaces such that each of the (finitely many) incident lines are real [13]. Other examples are shown in [12, 14], and the case of 462 4-planes meeting 12 general 3-planes in R7 is due to an heroic symbolic computation [4]. For any problem of enumerating p-planes having excess intersection with a col- lection of fixed planes, we show there is a choice of fixed planes osculating a rational normal curve at real points so that each of the resulting p-planes is real. This has implications for the problem of placing real poles in linear systems theory [1] and is a special case of a far-reaching conjecture of Shapiro and Shapiro [15].
    [Show full text]
  • 24 Jul 2017 on the Cohomology Rings of Grassmann Varieties and Hilbert
    On the cohomology rings of Grassmann varieties and Hilbert schemes Mahir Bilen Can1 and Jeff Remmel2 [email protected] [email protected] July 20, 2017 Abstract By using vector field techniques, we compute the ordinary and equivariant coho- mology rings of Hilbert scheme of points in the projective plane in relation with that of a Grassmann variety. Keywords: Hilbert scheme of points, zeros of vector fields, equivariant cohomology MSC:14L30, 14F99, 14C05 1 Introduction The Hilbert scheme of points in the plane is a useful moduli that brings forth the power of algebraic geometry for solving combinatorial problems not only in commutative algebra but also in representation theory such as Garsia-Haiman modules and Macdonald polyno- mials [22]. Its geometry has deep connections with physics. For example, by considering the cohomology rings of all Hilbert schemes of points together, one obtains Fock representation of the infinite dimensional Heisenberg algebra, which has importance for string theorists (see arXiv:1706.02713v3 [math.AG] 24 Jul 2017 [30] and the references therein). We denote by Hilbk(X) the Hilbert scheme of k points in a complex algebraic variety 2 X. In this paper, we will be concerned with the cohomology ring of Hilbk(P ). Its additive structure was first described by Ellingsrud and Strømme in [16], where it was shown that 2 the Chern characters of tautological bundles on Hilbk(P ) are enough to generate it as a Z-algebra. In relation with the Virasoro algebra, a finer system of generators for the cohomology ring is described in [28] by Li, Qin, and Wang.
    [Show full text]
  • Spherical Schubert Varieties
    Spherical Schubert Varieties Mahir Bilen Can September 29, 2020 PART 1 MUKASHIBANASHI Then R is an associative commutative graded ring w.r.t. the product χV · χW = indSn χV × χW Sk ×Sn−k V where χ is the character of the Sk -representation V . Likewise, W χ is the character of the Sn−k -representation W . ! Sk : the stabilizer of {1,...,k} in Sn Sn−k : the stabilizer of {k + 1,...,n} in Sn n R : the free Z-module on the irreducible characters of Sn n 0 R : the direct sum of all R , n ∈ N (where R = Z) n R : the free Z-module on the irreducible characters of Sn n 0 R : the direct sum of all R , n ∈ N (where R = Z) Then R is an associative commutative graded ring w.r.t. the product χV · χW = indSn χV × χW Sk ×Sn−k V where χ is the character of the Sk -representation V . Likewise, W χ is the character of the Sn−k -representation W . ! Sk : the stabilizer of {1,...,k} in Sn Sn−k : the stabilizer of {k + 1,...,n} in Sn For λ ` k, µ ` n − k, let λ λ χ : the character of the Specht module S of Sk µ µ χ : the character of the Specht module S of Sn−k In R, we have λ µ M τ τ χ · χ = cλ,µ χ τ`n τ for some nonnegative integers cλ,µ ∈ N, called the Littlewood- Richardson numbers. It is well-known that R is isomorphic to the algebra of symmetric τ functions in infinitely many commuting variables; cλ,µ’s can be computed via Schur’s symmetric functions.
    [Show full text]
  • SCHUBERT CALCULUS and PUZZLES in My First Lecture I'll
    SCHUBERT CALCULUS AND PUZZLES NOTES FOR THE OSAKA SUMMER SCHOOL 2012 ALLEN KNUTSON CONTENTS 1. Interval positroid varieties 1 1.1. Schubert varieties 1 1.2. Schubert calculus 2 1.3. First positivity result 3 1.4. Interval rank varieties 5 2. Vakil’s Littlewood-Richardson rule 7 2.1. Combinatorial shifting 7 2.2. Geometric shifting 7 2.3. Vakil’s degeneration order 9 2.4. Partial puzzles 10 3. Equivariant and K- extensions 11 3.1. K-homology 11 3.2. K-cohomology 12 3.3. Equivariant K-theory 14 3.4. Equivariant cohomology 15 4. Other partial flag manifolds 16 References 17 1. INTERVAL POSITROID VARIETIES In my first lecture I’ll present a family of varieties interpolating between Schubert and Richardson, called “interval positroid varieties”. 1.1. Schubert varieties. Definitions: • Mk×n := k × n matrices over C. rank k • the Stiefel manifold Mk×n is the open subset in which the rows are linearly in- dependent. n ∼ rank k n • the Grassmannian Grk(C ) = GL(k)\Mk×n is the space of k-planes in C . rank k Two matrices in Mk×n give the same k-plane if they’re related by row operations. To kill that ambiguity, put things in reduced row-echelon form. From there we can associate Date: Draft of July 22, 2012. 1 a discrete invariant, a bit string like 0010101101 with 0s in the k pivot positions and 1s in n the remaining n − k (careful: not the reverse!). Let k denote the set of such bit strings. Examples: rank k (1) Most matrices in Mk×n give 000...11111.
    [Show full text]