Finiteness of cominuscule quantum K -theory

Anders S. Buch; Pierre-Emmanuel Chaput; Leonardo C. Mihalcea; Nicolas Perrin

Annales scientifiques de l'École Normale Supérieure (2013)

  • Volume: 46, Issue: 3, page 477-494
  • ISSN: 0012-9593

Abstract

top
The product of two Schubert classes in the quantum K -theory ring of a homogeneous space X = G / P is a formal power series with coefficients in the Grothendieck ring of algebraic vector bundles on  X . We show that if X is cominuscule, then this power series has only finitely many non-zero terms. The proof is based on a geometric study of boundary Gromov-Witten varieties in the Kontsevich moduli space, consisting of stable maps to  X that take the marked points to general Schubert varieties and whose domains are reducible curves of genus zero. We show that all such varieties have rational singularities, and that boundary Gromov-Witten varieties defined by two Schubert varieties are either empty or unirational. We also prove a relative Kleiman-Bertini theorem for rational singularities, which is of independent interest. A key result is that when X is cominuscule, all boundary Gromov-Witten varieties defined by three single points in  X are rationally connected.

How to cite

top

Buch, Anders S., et al. "Finiteness of cominuscule quantum $K$-theory." Annales scientifiques de l'École Normale Supérieure 46.3 (2013): 477-494. <http://eudml.org/doc/272224>.

@article{Buch2013,
abstract = {The product of two Schubert classes in the quantum $K$-theory ring of a homogeneous space $X = G/P$ is a formal power series with coefficients in the Grothendieck ring of algebraic vector bundles on $X$. We show that if $X$ is cominuscule, then this power series has only finitely many non-zero terms. The proof is based on a geometric study of boundary Gromov-Witten varieties in the Kontsevich moduli space, consisting of stable maps to $X$ that take the marked points to general Schubert varieties and whose domains are reducible curves of genus zero. We show that all such varieties have rational singularities, and that boundary Gromov-Witten varieties defined by two Schubert varieties are either empty or unirational. We also prove a relative Kleiman-Bertini theorem for rational singularities, which is of independent interest. A key result is that when $X$ is cominuscule, all boundary Gromov-Witten varieties defined by three single points in $X$ are rationally connected.},
author = {Buch, Anders S., Chaput, Pierre-Emmanuel, Mihalcea, Leonardo C., Perrin, Nicolas},
journal = {Annales scientifiques de l'École Normale Supérieure},
keywords = {quantum $K$-theory; Gromov-Witten varieties; rational singularities; rational connectedness; quantum Schubert calculus; cominuscule grassmannians},
language = {eng},
number = {3},
pages = {477-494},
publisher = {Société mathématique de France},
title = {Finiteness of cominuscule quantum $K$-theory},
url = {http://eudml.org/doc/272224},
volume = {46},
year = {2013},
}

TY - JOUR
AU - Buch, Anders S.
AU - Chaput, Pierre-Emmanuel
AU - Mihalcea, Leonardo C.
AU - Perrin, Nicolas
TI - Finiteness of cominuscule quantum $K$-theory
JO - Annales scientifiques de l'École Normale Supérieure
PY - 2013
PB - Société mathématique de France
VL - 46
IS - 3
SP - 477
EP - 494
AB - The product of two Schubert classes in the quantum $K$-theory ring of a homogeneous space $X = G/P$ is a formal power series with coefficients in the Grothendieck ring of algebraic vector bundles on $X$. We show that if $X$ is cominuscule, then this power series has only finitely many non-zero terms. The proof is based on a geometric study of boundary Gromov-Witten varieties in the Kontsevich moduli space, consisting of stable maps to $X$ that take the marked points to general Schubert varieties and whose domains are reducible curves of genus zero. We show that all such varieties have rational singularities, and that boundary Gromov-Witten varieties defined by two Schubert varieties are either empty or unirational. We also prove a relative Kleiman-Bertini theorem for rational singularities, which is of independent interest. A key result is that when $X$ is cominuscule, all boundary Gromov-Witten varieties defined by three single points in $X$ are rationally connected.
LA - eng
KW - quantum $K$-theory; Gromov-Witten varieties; rational singularities; rational connectedness; quantum Schubert calculus; cominuscule grassmannians
UR - http://eudml.org/doc/272224
ER -

References

top
  1. [1] M. Brion, Positivity in the Grothendieck group of complex flag varieties, J. Algebra258 (2002), 137–159. Zbl1052.14054MR1958901
  2. [2] M. Brion, Lectures on the geometry of flag varieties, in Topics in cohomological studies of algebraic varieties, Trends Math., Birkhäuser, 2005, 33–85. MR2143072
  3. [3] A. S. Buch & L. C. Mihalcea, Quantum K -theory of Grassmannians, Duke Math. J.156 (2011), 501–538. MR2772069
  4. [4] A. S. Buch, Quantum cohomology of Grassmannians, Compositio Math.137 (2003), 227–235. Zbl1050.14053MR1985005
  5. [5] A. S. Buch, A. Kresch & H. Tamvakis, Gromov-Witten invariants on Grassmannians, J. Amer. Math. Soc.16 (2003), 901–915. Zbl1063.53090MR1992829
  6. [6] A. S. Buch & V. Ravikumar, Pieri rules for the K -theory of cominuscule Grassmannians, J. reine angew. Math. 668 (2012), 109–132. Zbl1298.14059MR2948873
  7. [7] P.-E. Chaput, L. Manivel & N. Perrin, Quantum cohomology of minuscule homogeneous spaces, Transform. Groups13 (2008), 47–89. Zbl1147.14023MR2421317
  8. [8] P.-E. Chaput & N. Perrin, On the quantum cohomology of adjoint varieties, Proc. Lond. Math. Soc.103 (2011), 294–330. Zbl1267.14065MR2821244
  9. [9] P.-E. Chaput & N. Perrin, Rationality of some Gromov-Witten varieties and application to quantum K -theory, Commun. Contemp. Math.13 (2011), 67–90. Zbl1237.14058MR2772579
  10. [10] O. Debarre, Higher-dimensional algebraic geometry, Universitext, Springer, 2001. MR1841091
  11. [11] W. Fulton & R. Pandharipande, Notes on stable maps and quantum cohomology, in Algebraic geometry—Santa Cruz 1995, Proc. Sympos. Pure Math. 62, Amer. Math. Soc., 1997, 45–96. Zbl0898.14018MR1492534
  12. [12] W. Fulton & C. Woodward, On the quantum product of Schubert classes, J. Algebraic Geom.13 (2004), 641–661. Zbl1081.14076MR2072765
  13. [13] A. Givental, On the WDVV equation in quantum K -theory, Michigan Math. J.48 (2000), 295–304. Zbl1081.14523MR1786492
  14. [14] T. Graber, J. Harris & J. Starr, Families of rationally connected varieties, J. Amer. Math. Soc.16 (2003), 57–67. Zbl1092.14063MR1937199
  15. [15] R. Hartshorne, Algebraic geometry, Grad. Texts Math. 52, Springer, 1977. MR463157
  16. [16] J. de Jong, J. Starr & X. He, Families of rationally simply connected varieties over surfaces and torsors for semisimple groups, preprint arXiv:0809.5224. Zbl1285.14053
  17. [17] B. Kim & R. Pandharipande, The connectedness of the moduli space of maps to homogeneous spaces, in Symplectic geometry and mirror symmetry (Seoul, 2000), World Sci. Publ., River Edge, NJ, 2001, 187–201. Zbl1076.14517MR1882330
  18. [18] S. L. Kleiman, The transversality of a general translate, Compositio Math.28 (1974), 287–297. Zbl0288.14014MR360616
  19. [19] V. L. Popov, Generically multiple transitive algebraic group actions, in Algebraic groups and homogeneous spaces, Tata Inst. Fund. Res. Stud. Math., Tata Inst. Fund. Res., 2007, 481–523. Zbl1135.14038MR2348915
  20. [20] T. A. Springer, Linear algebraic groups, second éd., Progress in Math. 9, Birkhäuser, 1998. MR632835
  21. [21] O. E. VillamayorU., Patching local uniformizations, Ann. Sci. École Norm. Sup. 25 (1992), 629–677. Zbl0782.14009MR1198092
  22. [22] F. L. Zak, Tangents and secants of algebraic varieties, Translations of Mathematical Monographs 127, Amer. Math. Soc., 1993. MR1234494

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.