HEXAGONbeta

The Shapiro–Shapiro conjecture for ordered positive flags

Primarily AI-generated textHuman understanding: no partsmath.AG — Algebraic Geometrymath.CO — Combinatorics

Contributed by Qiyue Tang ↗

Version 1 / Nov 13, 2026 / CC BY 4.0

Abstract

We prove the Shapiro–Shapiro conjecture for ordered totally positive flags in Grassmannians.

Author comments: I am posting this manuscript to share the mathematical results themselves. In doing so, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in checking the arguments or preparing a finished account, and I believe the eventual scholarly credit should go to those who undertake that work.

Provenance statement

GPT-6-Pro was used for research, manuscript preparation, review, and polishing over approximately 10.9 hours of recorded session time. A review by Rethlas-OSV will be added later.

References

  1. N. Arkani-Hamed, T. Lam, and M. Spradlin, Non-perturbative geometries for planar N=4\mathcal N=4 SYM amplitudes , J. High Energy Phys. (2021), no. 3, article 065, 14 pp. doi:10.1007/JHEP03(2021)065 (https://doi.org/10.1007/JHEP03(2021)065).DOI
  2. A. Eremenko, Disconjugacy and the secant conjecture , Arnold Math. J. 1 (2015), 339--342. doi:10.1007/ s40598-015-0023-5 (https://doi.org/10.1007/s40598-015-0023-5).DOI
  3. 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), 105--129. doi:10.2307/3062151 (https://doi.org/10.2307/3062151).DOI
  4. V. Fock and A. Goncharov, Moduli spaces of local systems and higher Teichmüller theory , Publ. Math. Inst. Hautes Ètudes Sci. 103 (2006), 1--211. doi:10.1007/s10240-006-0039-4 (https://doi.org/10.1007/s10240-006-0039-4).DOI
  5. W. Fulton, Young tableaux: with applications to representation theory and geometry , London Mathematical Society Student Texts, vol. 35, Cambridge University Press, Cambridge, 1997. doi:10.1017/CBO9780511626241 (https://doi.org/10.1017/CBO9780511626241).DOI
  6. V. Goulart and N. C. Saldanha, Locally convex curves and the Bruhat stratification of the spin group , Israel J. Math. 242 (2021), 565--604. doi:10.1007/s11856-021-2127-z (https://doi.org/10.1007/s11856-021-2127-z).DOI
  7. V. Goulart and N. C. Saldanha, Stratification of spaces of locally convex curves by itineraries , Bull. Braz. Math. Soc. (N.S.) 54 (2023), article 47. doi:10.1007/s00574-023-00362-8 (https://doi.org/10.1007/s00574-023-00362-8).DOI
  8. S. N. Karp, Wronskians, total positivity, and real Schubert calculus , Selecta Math. (N.S.) 30 (2024), no. 1, paper 1, 28 pp. doi:10.1007/s00029-023-00888-1 (https://doi.org/10.1007/s00029-023-00888-1).DOI
  9. S. N. Karp and K. Purbhoo, Universal Plücker coordinates for the Wronski map and positivity in real Schubert calculus , J. Amer. Math. Soc., to appear. doi:10.1090/jams/1087 (https://doi.org/10.1090/jams/1087). Preprint version: arXiv:2309.04645v2 (2026).arXivDOI
  10. S. L. Kleiman, The transversality of a general translate , Compositio Math. 28 (1974), 287--297. https://www.numdam.org/item/CM_1974__28_3_287_0/.link
Show all 20 referencesShow fewer references
  1. J. Levinson and K. Purbhoo, A topological proof of the Shapiro--Shapiro conjecture , Invent. Math. 226 (2021), 521--578. doi:10.1007/s00222-021-01056-y (https://doi.org/10.1007/s00222-021-01056-y).DOI
  2. E. Mukhin, V. Tarasov, and A. Varchenko, The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz , Ann. of Math. (2) 170 (2009), 863--881. doi:10.4007/annals.2009.170.863 (https://doi.org/10.4007/annals.2009.170.863).DOI
  3. E. Mukhin, V. Tarasov, and A. Varchenko, Schubert calculus and representations of the general linear group , J. Amer. Math. Soc. 22 (2009), 909--940. doi:10.1090/S0894-0347-09-00640-7 (https://doi.org/10.1090/S0894-0347-09-00640-7).DOI
  4. V. Sedykh and B. Shapiro, On two conjectures concerning convex curves , Int. J. Math. 16 (2005), no. 10, 1157--1173. https://staff.math.su.se/shapiro/Articles/2Conj.pdf.link
  5. B. Shapiro, Letter to F. Sottile , 26 October 1997. https://franksottile.github.io/research/pages/shapiro/Shapiro-letterIII.html.link
  6. B. Z. Shapiro and M. Z. Shapiro, On the boundary of totally positive upper triangular matrices , Linear Algebra Appl. 231 (1995), 105--109. doi:10.1016/0024-3795(95)90010-1 (https://doi.org/10.1016/0024-3795(95)90010-1).DOI
  7. B. Shapiro and M. Shapiro, Linear ordinary differential equations and Schubert calculus , in Proceedings of the Gökova Geometry-Topology Conference 2010 , International Press, Somerville, MA, 2011, pp. 79--87. https://staff.math.su.se/shapiro/Articles/ggt10-shapshap.pdf.link
  8. B. Shapiro and M. Shapiro, Corrigendum to On two conjectures concerning convex curves , by V. Sedykh and B. Shapiro , Int. J. Math. 33 (2022), no. 4, 2292002, 6 pp. doi:10.1142/S0129167X22920021 (https://doi.org/10.1142/S0129167X22920021).DOI
  9. F. Sottile, Real Schubert calculus: polynomial systems and a conjecture of Shapiro and Shapiro , Experiment. Math. 9 (2000), 161--182. doi:10.1080/10586458.2000.10504644 (https://doi.org/10.1080/10586458.2000.10504644).DOI
  10. The Stacks Project Authors, The Stacks Project , Section 43.16, Computing intersection multiplicities, Lemma 43.16.3. https://stacks.math.columbia.edu/tag/0B04.link

Version history

  1. v1 · 15 pagesSubmitted by Qiyue TangI am posting this manuscript to share the mathematical results themselves. In doing so, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in checking the arguments or preparing a finished account, and I believe the eventual scholarly credit should go to those who undertake that work.CurrentNov 12, 2026