Frontiers of reality in Schubert calculus

Sottile, Frank

doi:10.1090/S0273-0979-09-01276-2

			Journals Home Search Author Info Subscribe Tech Support My Subscriptions Browser Compatibility Info Help
ISSN 1088-9485(online) ISSN 0273-0979(print)

Frontiers of reality in Schubert calculus

Author: Frank Sottile
Journal: Bull. Amer. Math. Soc. 47 (2010), 31-71
MSC (2010): Primary 14M15, 14N15
Posted: November 2, 2009
MathSciNet review: 2566445
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: The theorem of Mukhin, Tarasov, and Varchenko (formerly the Shapiro conjecture for Grassmannians) asserts that all (a priori complex) solutions to certain geometric problems in the Schubert calculus are actually real. Their proof is quite remarkable, using ideas from integrable systems, Fuchsian differential equations, and representation theory. There is now a second proof of this result, and it has ramifications in other areas of mathematics, from curves to control theory to combinatorics. Despite this work, the original Shapiro conjecture is not yet settled. While it is false as stated, it has several interesting and not quite understood modifications and generalizations that are likely true, and the strongest and most subtle version of the Shapiro conjecture for Grassmannians remains open.

1. Daniel J. Bates, Frédéric Bihan, and Frank Sottile, Bounds on the number of real solutions to polynomial equations, Int. Math. Res. Not. IMRN 23 (2007), Art. ID rnm114, 7. MR 2380007 (2008k:12002), http://dx.doi.org/10.1093/imrn/rnm114
2. Prakash Belkale and Shrawan Kumar, Eigenvalue problem and a new product in cohomology of flag varieties, Invent. Math. 166 (2006), no. 1, 185–228. MR 2242637 (2007k:14097), http://dx.doi.org/10.1007/s00222-006-0516-x
3. Georgia Benkart, Frank Sottile, and Jeffrey Stroomer, Tableau switching: algorithms and applications, J. Combin. Theory Ser. A 76 (1996), no. 1, 11–43. MR 1405988 (97m:05261), http://dx.doi.org/10.1006/jcta.1996.0086
4. Grigoriy Blekherman, There are significantly more nonnegative polynomials than sums of squares, Israel J. Math. 153 (2006), 355–380. MR 2254649 (2007f:14062), http://dx.doi.org/10.1007/BF02771790
5. C. I. Byrnes, Pole assignment by output feedback, Three decades of mathematical system theory, Lecture Notes in Control and Inform. Sci., vol. 135, Springer, Berlin, 1989, pp. 31–78. MR 1025786 (90k:93001), http://dx.doi.org/10.1007/BFb0008458
6. G. Castelnuovo, Numero delle involuzioni razionali gaicenti sopra una curva di dato genere, Rendi. R. Accad. Lincei 4 (1889), no. 5, 130-133.
7. Vyjayanthi Chari and Andrew Pressley, Weyl modules for classical and quantum affine algebras, Represent. Theory 5 (2001), 191–223 (electronic). MR 1850556 (2002g:17027), http://dx.doi.org/10.1090/S1088-4165-01-00115-7
8. David Cox, John Little, and Donal O’Shea, Ideals, varieties, and algorithms, 3rd ed., Undergraduate Texts in Mathematics, Springer, New York, 2007. An introduction to computational algebraic geometry and commutative algebra. MR 2290010 (2007h:13036)
9. D. Eisenbud and J. Harris, Divisors on general curves and cuspidal rational curves, Invent. Math. 74 (1983), no. 3, 371–418. MR 724011 (85h:14019), http://dx.doi.org/10.1007/BF01394242
10. David Eisenbud and Joe Harris, When ramification points meet, Invent. Math. 87 (1987), no. 3, 485–493. MR 874033 (88a:14028a), http://dx.doi.org/10.1007/BF01389239
11. A. Eremenko and A. Gabrielov, Degrees of real Wronski maps, Discrete Comput. Geom. 28 (2002), no. 3, 331–347. MR 1923956 (2003g:14074), http://dx.doi.org/10.1007/s00454-002-0735-x
12. A. Eremenko and A. Gabrielov, Pole placement static output feedback for generic linear systems, SIAM J. Control Optim. 41 (2002), no. 1, 303–312 (electronic). MR 1920166 (2003h:93034), http://dx.doi.org/10.1137/S0363012901391913
13. A. Eremenko and A. Gabrielov, Rational functions with real critical points and the B. and M. Shapiro conjecture in real enumerative geometry, Ann. of Math. (2) 155 (2002), no. 1, 105–129. MR 1888795 (2003c:58028), http://dx.doi.org/10.2307/3062151
14. -, Elementary proof of the B. and M. Shapiro conjecture for rational functions, 2005, arXiv:math/0512370.
15. A. Eremenko, A. Gabrielov, M. Shapiro, and A. Vainshtein, Rational functions and real Schubert calculus, Proc. Amer. Math. Soc. 134 (2006), no. 4, 949–957 (electronic). MR 2196025 (2007d:14103), http://dx.doi.org/10.1090/S0002-9939-05-08048-2
16. Pavel Etingof and Victor Ginzburg, Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism, Invent. Math. 147 (2002), no. 2, 243–348. MR 1881922 (2003b:16021), http://dx.doi.org/10.1007/s002220100171
17. Séverine Fiedler-Le Touzé, Pencils of cubics as tools to solve an interpolation problem, Appl. Algebra Engrg. Comm. Comput. 18 (2007), no. 1-2, 53–70. MR 2280310 (2007k:41007), http://dx.doi.org/10.1007/s00200-006-0028-3
18. William Fulton, Young tableaux, London Mathematical Society Student Texts, vol. 35, Cambridge University Press, Cambridge, 1997. With applications to representation theory and geometry. MR 1464693 (99f:05119)
19. William Fulton and Joe Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer-Verlag, New York, 1991. A first course; Readings in Mathematics. MR 1153249 (93a:20069)
20. William Fulton and Piotr Pragacz, Schubert varieties and degeneracy loci, Lecture Notes in Mathematics, vol. 1689, Springer-Verlag, Berlin, 1998. Appendix J by the authors in collaboration with I. Ciocan-Fontanine. MR 1639468 (99m:14092)
21. Michel Gaudin, La fonction d’onde de Bethe, Collection du Commissariat à l’Énergie Atomique: Série Scientifique. [Collection of the Atomic Energy Commission: Science Series], Masson, Paris, 1983 (French). MR 693905 (85h:82001)
22. Lisa R. Goldberg, Catalan numbers and branched coverings by the Riemann sphere, Adv. Math. 85 (1991), no. 2, 129–144. MR 1093002 (92b:14014), http://dx.doi.org/10.1016/0001-8708(91)90052-9
23. Phillip Griffiths and Joseph Harris, Principles of algebraic geometry, Wiley-Interscience [John Wiley & Sons], New York, 1978. Pure and Applied Mathematics. MR 507725 (80b:14001)
24. Mark D. Haiman, Dual equivalence with applications, including a conjecture of Proctor, Discrete Math. 99 (1992), no. 1-3, 79–113. MR 1158783 (93h:05173), http://dx.doi.org/10.1016/0012-365X(92)90368-P
25. Joe Harris and Ian Morrison, Moduli of curves, Graduate Texts in Mathematics, vol. 187, Springer-Verlag, New York, 1998. MR 1631825 (99g:14031)
26. David Hilbert, Ueber die Darstellung definiter Formen als Summe von Formenquadraten, Math. Ann. 32 (1888), no. 3, 342–350 (German). MR 1510517, http://dx.doi.org/10.1007/BF01443605
27. C. Hillar, L. García-Puente, A. Martín del Campo, J. Ruffo, Z. Teitler, Stephen L. Johnson, and F. Sottile, Experimentation at the frontiers of reality in Schubert calculus, 2009, arXiv:0906.2497.
28. Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin, Welschinger invariant and enumeration of real rational curves, Int. Math. Res. Not. 49 (2003), 2639–2653. MR 2012521 (2004h:14065), http://dx.doi.org/10.1155/S1073792803131352
29. I. V. Itenberg, V. M. Kharlamov, and E. I. Shustin, Logarithmic equivalence of the Welschinger and the Gromov-Witten invariants, Uspekhi Mat. Nauk 59 (2004), no. 6(360), 85–110 (Russian, with Russian summary); English transl., Russian Math. Surveys 59 (2004), no. 6, 1093–1116. MR 2138469 (2006b:14101), http://dx.doi.org/10.1070/RM2004v059n06ABEH000797
30. Michael Joswig and Nikolaus Witte, Products of foldable triangulations, Adv. Math. 210 (2007), no. 2, 769–796. MR 2303239 (2008c:52017), http://dx.doi.org/10.1016/j.aim.2006.07.016
31. D. Kazhdan, B. Kostant, and S. Sternberg, Hamiltonian group actions and dynamical systems of Calogero type, Comm. Pure Appl. Math. 31 (1978), no. 4, 481–507. MR 0478225 (57 #17711)
32. Viatcheslav Kharlamov and Frank Sottile, Maximally inflected real rational curves, Mosc. Math. J. 3 (2003), no. 3, 947–987, 1199–1200 (English, with English and Russian summaries). {Dedicated to Vladimir Igorevich Arnold on the occasion of his 65th birthday}. MR 2078569 (2005f:14109)
33. A. G. Khovanskiĭ, Fewnomials, Translations of Mathematical Monographs, vol. 88, American Mathematical Society, Providence, RI, 1991. Translated from the Russian by Smilka Zdravkovska. MR 1108621 (92h:14039)
34. Steven L. Kleiman, The transversality of a general translate, Compositio Math. 28 (1974), 287–297. MR 0360616 (50 #13063)
35. S. L. Kleiman and Dan Laksov, Schubert calculus, Amer. Math. Monthly 79 (1972), 1061–1082. MR 0323796 (48 #2152)
36. M. Kontsevich and Yu. Manin, Gromov-Witten classes, quantum cohomology, and enumerative geometry, Comm. Math. Phys. 164 (1994), no. 3, 525–562. MR 1291244 (95i:14049)
37. E. Kostlan, On the distribution of roots of random polynomials, From Topology to Computation: Proceedings of the Smalefest (Berkeley, CA, 1990), Springer, New York, 1993, pp. 419–431. MR 1246137
38. P. P. Kulish and E. K. Sklyanin, Quantum spectral transform method. Recent developments, Lecture Notes in Phys., vol. 151, Springer, Berlin, 1982, pp. 61–119. MR 671263 (84m:81114)
39. Grigory Mikhalkin, Enumerative tropical algebraic geometry in ℝ², J. Amer. Math. Soc. 18 (2005), no. 2, 313–377. MR 2137980 (2006b:14097), http://dx.doi.org/10.1090/S0894-0347-05-00477-7
40. E. Mukhin, V. Tarasov, and A. Varchenko, The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz, 2005, Annals of Mathematics, to appear.
41. E. Mukhin, V. Tarasov, and A. Varchenko, Bethe eigenvectors of higher transfer matrices, J. Stat. Mech. Theory Exp. 8 (2006), P08002, 44. MR 2249767 (2007h:82021)
42. Evgenii E. Mukhin, Vitaly O. Tarasov, and Alexander N. Varchenko, Bispectral and (𝔤𝔩_{𝔑},𝔤𝔩_{𝔐}) dualities, Funct. Anal. Other Math. 1 (2006), no. 1, 47–69. MR 2381962 (2008m:82032)
43. Evgeny Mukhin, Vitaly Tarasov, and Alexander Varchenko, Generating operator of 𝑋𝑋𝑋 or Gaudin transfer matrices has quasi-exponential kernel, SIGMA Symmetry Integrability Geom. Methods Appl. 3 (2007), Paper 060, 31. MR 2299861 (2008a:81095), http://dx.doi.org/10.3842/SIGMA.2007.060
44. -, On reality property of Wronski maps, 2007, Confluentes Mathematici, to appear.
45. -, Schubert calculus and representations of general linear group, 2007, Journal of the AMS, to appear.
46. -, Bethe algebra of Gaudin model, Calogero-Moser space and Cherednik algebra, 2009, arXiv:0906.5185.
47. E. Mukhin and A. Varchenko, Critical points of master functions and flag varieties, Commun. Contemp. Math. 6 (2004), no. 1, 111–163. MR 2048778 (2005b:17052), http://dx.doi.org/10.1142/S0219199704001288
48. Evgeny Mukhin and Alexander Varchenko, Norm of a Bethe vector and the Hessian of the master function, Compos. Math. 141 (2005), no. 4, 1012–1028. MR 2148192 (2006d:82022), http://dx.doi.org/10.1112/S0010437X05001569
49. K. Purbhoo, Jeu de taquin and a monodromy problem for Wronskians of polynomials, 2009, arXiv:0902.1321.
50. Jim Ruffo, Yuval Sivan, Evgenia Soprunova, and Frank Sottile, Experimentation and conjectures in the real Schubert calculus for flag manifolds, Experiment. Math. 15 (2006), no. 2, 199–221. MR 2253007 (2007g:14066)
51. Bruce E. Sagan, The symmetric group, 2nd ed., Graduate Texts in Mathematics, vol. 203, Springer-Verlag, New York, 2001. Representations, combinatorial algorithms, and symmetric functions. MR 1824028 (2001m:05261)
52. Vadim V. Schechtman and Alexander N. Varchenko, Arrangements of hyperplanes and Lie algebra homology, Invent. Math. 106 (1991), no. 1, 139–194. MR 1123378 (93b:17067), http://dx.doi.org/10.1007/BF01243909
53. I. Scherbak and A. Varchenko, Critical points of functions, 𝔰𝔩₂ representations, and Fuchsian differential equations with only univalued solutions, Mosc. Math. J. 3 (2003), no. 2, 621–645, 745 (English, with English and Russian summaries). Dedicated to Vladimir I. Arnold on the occasion of his 65th birthday. MR 2025276 (2004m:34204)
54. H. Schubert, Anzahl-Bestimmungen für Lineare Räume, Acta Math. 8 (1886), no. 1, 97–118 (German). Beliebiger dimension. MR 1554694, http://dx.doi.org/10.1007/BF02417085
55. M. P. Schützenberger, Quelques remarques sur une construction de Schensted, Math. Scand. 12 (1963), 117–128 (French). MR 0190017 (32 #7433)
56. Secant Team, Frontiers of Reality in Schubert Calculus, www.math.tamu.edu/˜secant.
57. J. Solomon, Intersection theory on the moduli space of holomorphic curves with Lagrangian boundary conditions, math.SG/0606429.
58. Evgenia Soprunova and Frank Sottile, Lower bounds for real solutions to sparse polynomial systems, Adv. Math. 204 (2006), no. 1, 116–151. MR 2233129 (2007e:14084), http://dx.doi.org/10.1016/j.aim.2005.05.016
59. Frank Sottile, Enumerative geometry for the real Grassmannian of lines in projective space, Duke Math. J. 87 (1997), no. 1, 59–85. MR 1440063 (99a:14079), http://dx.doi.org/10.1215/S0012-7094-97-08703-2
60. Frank Sottile, Pieri-type formulas for maximal isotropic Grassmannians via triple intersections, Colloq. Math. 82 (1999), no. 1, 49–63. MR 1736034 (2001a:14053)
61. Frank Sottile, The special Schubert calculus is real, Electron. Res. Announc. Amer. Math. Soc. 5 (1999), 35–39 (electronic). MR 1679451 (2000c:14074), http://dx.doi.org/10.1090/S1079-6762-99-00058-X
62. Frank Sottile, Real Schubert calculus: polynomial systems and a conjecture of Shapiro and Shapiro, Experiment. Math. 9 (2000), no. 2, 161–182. MR 1780204 (2001e:14054)
63. Frank Sottile, Some real and unreal enumerative geometry for flag manifolds, Michigan Math. J. 48 (2000), 573–592. Dedicated to William Fulton on the occasion of his 60th birthday. MR 1786506 (2002d:14085), http://dx.doi.org/10.1307/mmj/1030132734
64. Richard P. Stanley, Enumerative combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics, vol. 62, Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. MR 1676282 (2000k:05026)
65. D. Talalaev, Quantization of the Gaudin system, 2004, arXiv:hep-th/0404153.
66. Ravi Vakil, Schubert induction, Ann. of Math. (2) 164 (2006), no. 2, 489–512. MR 2247966 (2007j:14082), http://dx.doi.org/10.4007/annals.2006.164.489
67. Jan Verschelde, Numerical evidence for a conjecture in real algebraic geometry, Experiment. Math. 9 (2000), no. 2, 183–196. MR 1780205 (2001i:65062)
68. Jean-Yves Welschinger, Invariants of real rational symplectic 4-manifolds and lower bounds in real enumerative geometry, C. R. Math. Acad. Sci. Paris 336 (2003), no. 4, 341–344 (English, with English and French summaries). MR 1976315 (2004m:53157), http://dx.doi.org/10.1016/S1631-073X(03)00059-1
69. Dennis E. White, Sign-balanced posets, J. Combin. Theory Ser. A 95 (2001), no. 1, 1–38. MR 1840476 (2002e:05151), http://dx.doi.org/10.1006/jcta.2000.3146
70. George Wilson, Collisions of Calogero-Moser particles and an adelic Grassmannian, Invent. Math. 133 (1998), no. 1, 1–41. With an appendix by I. G. Macdonald. MR 1626461 (99f:58107), http://dx.doi.org/10.1007/s002220050237

	Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
\|