Newton--Okounkov bodies of partial flag varieties via cluster algebras
Pith reviewed 2026-06-27 18:10 UTC · model grok-4.3
The pith
Cluster algebras on unipotent cells construct Newton-Okounkov polytopes for Schubert varieties in partial flag varieties, yielding infinitely many nonequivalent ones when the algebra is infinite type.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors establish that the cluster algebra structure on the unipotent cell defines a valuation on the coordinate ring whose Newton-Okounkov body matches the one associated to the Schubert variety and the homogeneous line bundle. When the cluster algebra is of infinite type, this produces infinitely many pairwise nonequivalent polytopes up to integral affine transformation for any very ample bundle on simply laced partial flag varieties.
What carries the argument
The cluster algebra structure on the unipotent cell, used to define a valuation whose Newton-Okounkov body coincides with the one from the Schubert variety and given line bundle.
If this is right
- The family of Newton-Okounkov polytopes contains infinitely many pairwise nonequivalent ones up to integral affine transformation.
- Infinitely many distinct monotone Lagrangian tori arise in simply laced partial flag varieties.
- The construction applies uniformly to Schubert varieties in partial flag varieties of arbitrary type.
- Each very ample homogeneous line bundle produces its own infinite family of distinct polytopes.
Where Pith is reading between the lines
- The method may extend to other varieties equipped with cluster structures, generating similar infinite families of polytopes.
- Different polytopes in the family could encode distinct symplectic capacities or other geometric invariants.
- One could check whether the resulting tori are Hamiltonian isotopic by comparing their Newton-Okounkov bodies directly.
Load-bearing premise
The cluster algebra structure on the unipotent cell can be used to define a valuation whose associated Newton-Okounkov body coincides with the one coming from the Schubert variety and the given line bundle.
What would settle it
A computation for a specific infinite-type cluster algebra and simply laced partial flag variety showing only finitely many distinct polytopes up to integral affine transformation would disprove the claim of infinitude.
Figures
read the original abstract
We construct Newton--Okounkov polytopes of Schubert varieties in partial flag varieties of arbitrary type using the cluster structure on a unipotent cell. When the governing cluster algebra is of infinite type, we prove that for any very ample homogeneous line bundle over a simply laced partial flag variety, the resulting family of Newton--Okounkov polytopes contains infinitely many pairwise nonequivalent polytopes up to integral affine transformation. As an application to symplectic geometry, we construct infinitely many distinct monotone Lagrangian tori in a broad class of simply laced partial flag varieties.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs Newton--Okounkov polytopes of Schubert varieties in partial flag varieties of arbitrary type by using the cluster algebra structure on a unipotent cell. When the governing cluster algebra is of infinite type, it proves that for any very ample homogeneous line bundle over a simply laced partial flag variety the resulting family contains infinitely many pairwise nonequivalent polytopes up to integral affine transformation. As an application it constructs infinitely many distinct monotone Lagrangian tori in a broad class of such varieties.
Significance. If the central identification between the cluster-algebra valuation and the geometric Newton--Okounkov body holds, the work supplies a new combinatorial route to these polytopes and establishes their infinitude in infinite-type cases, with direct consequences for the existence of many monotone Lagrangian tori. The cluster-algebra approach is a genuine addition to the existing literature on Newton--Okounkov bodies.
major comments (2)
- [Abstract; construction section (likely §3)] The abstract and the construction section present the cluster-algebra valuation on the unipotent cell as producing the Newton--Okounkov bodies of the Schubert varieties, yet no explicit argument is given that this valuation coincides with (or yields an integral-affine equivalent to) the standard valuation coming from the very ample line bundle on the homogeneous coordinate ring of the Schubert variety. This equality is load-bearing for both the title and the infinitude claim.
- [Infinitude theorem (likely §5)] The infinitude theorem (likely §5) is stated for the family of Newton--Okounkov polytopes obtained from the cluster construction; without the identification in the previous point, the result applies only to an auxiliary family rather than to the geometric bodies asserted in the main theorem and the symplectic application.
minor comments (2)
- [Introduction] The introduction would benefit from a short paragraph recalling the definition of a Newton--Okounkov body and the precise sense in which two polytopes are considered equivalent up to integral affine transformation.
- [Introduction] A few sentences comparing the new construction with earlier combinatorial descriptions of Newton--Okounkov bodies for flag varieties (e.g., via Gelfand--Tsetlin or other polytopes) would help situate the contribution.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the need for an explicit identification between the cluster-algebra valuation and the standard Newton-Okounkov valuation. We agree that this step is essential for the claims in the title, main theorems, and symplectic application, and we will strengthen the manuscript accordingly.
read point-by-point responses
-
Referee: [Abstract; construction section (likely §3)] The abstract and the construction section present the cluster-algebra valuation on the unipotent cell as producing the Newton--Okounkov bodies of the Schubert varieties, yet no explicit argument is given that this valuation coincides with (or yields an integral-affine equivalent to) the standard valuation coming from the very ample line bundle on the homogeneous coordinate ring of the Schubert variety. This equality is load-bearing for both the title and the infinitude claim.
Authors: We acknowledge that the original manuscript does not contain a direct, self-contained argument establishing that the valuation defined via the cluster algebra on the unipotent cell coincides with (or is integral-affine equivalent to) the standard valuation induced by a very ample homogeneous line bundle on the homogeneous coordinate ring of the Schubert variety. In the revision we will add a new subsection in the construction section (approximately §3) containing a lemma that compares the two valuations on a set of generators of the ring. The argument will use the fact that the cluster variables generate the coordinate ring as an algebra and that the cluster valuation is compatible with the grading and filtration coming from the line bundle; this will show the resulting polytopes are the geometric Newton-Okounkov bodies. revision: yes
-
Referee: [Infinitude theorem (likely §5)] The infinitude theorem (likely §5) is stated for the family of Newton--Okounkov polytopes obtained from the cluster construction; without the identification in the previous point, the result applies only to an auxiliary family rather than to the geometric bodies asserted in the main theorem and the symplectic application.
Authors: We agree that, without the identification, the infinitude statement applies only to the auxiliary cluster family. Once the explicit identification is added as described above, the infinitude theorem will apply directly to the geometric Newton-Okounkov bodies. In the revision we will restate the main theorem and the symplectic application to make this dependence explicit and to confirm that the family in question consists of the geometric bodies. revision: yes
Circularity Check
No circularity: construction uses external cluster data without self-referential reduction
full rationale
The abstract describes a construction of Newton-Okounkov polytopes via the cluster structure on a unipotent cell, followed by a proof of infinitude of nonequivalent polytopes for infinite-type cluster algebras on simply-laced partial flag varieties. No equations, fitted parameters, or self-citations are visible that would reduce the claimed polytopes or the infinitude statement to a definition or input by construction. The derivation chain relies on external cluster-algebra structures rather than redefining the target bodies in terms of themselves. This is the most common honest non-finding for papers whose central objects are defined from independent algebraic data.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
(N.S.) 10 (2004), no
Valery Alekseev and Michel Brion, Toric degenerations of spherical varieties, Selecta Math. (N.S.) 10 (2004), no. 4, 453--478
2004
-
[2]
16 (2025), no
Byung Hee An, Youngjin Bae, and Eunjeong Lee, Lagrangian fillings for Legendrian links of finite or affine Dynkin type, Quantum Topol. 16 (2025), no. 2, 223--342
2025
-
[3]
Peter Albers, Maria Bertozzi, and Markus Reineke, Floer potentials, cluster algebras and quiver representations, Math. Z. 311 (2025), no. 2, Paper No. 29, 16 pp
2025
-
[4]
Dave Anderson, Okounkov bodies and toric degenerations, Math. Ann. 356 (2013), no. 3, 1183--1202
2013
-
[5]
Denis Auroux, Infinitely many monotone L agrangian tori in R ^6 , Invent. Math. 201 (2015), no. 3, 909--924
2015
-
[6]
Lecture Notes, vol
Paul Biran and Octav Cornea, A L agrangian quantum homology , New perspectives and challenges in symplectic field theory, CRM Proc. Lecture Notes, vol. 49, Amer. Math. Soc., Providence, RI, 2009, pp. 1--44
2009
-
[7]
Lara Bossinger, Man-Wai Cheung, Timothy Magee, and Alfredo N\'ajera Ch\'avez, Newton- O kounkov bodies and minimal models for cluster varieties , Adv. Math. 447 (2024), Paper No. 109680, 72 pp
2024
-
[8]
Lara Bossinger, Bosco Fr\' i as-Medina, Timothy Magee, and Alfredo N\'ajera Ch\'avez, Toric degenerations of cluster varieties and cluster duality, Compos. Math. 156 (2020), no. 10, 2149--2206
2020
-
[9]
Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky, Cluster algebras. III . U pper bounds and double B ruhat cells , Duke Math. J. 126 (2005), no. 1, 1--52
2005
-
[10]
Michel Brion, Lectures on the geometry of flag varieties, preprint (2004), arXiv:0410240 https://arxiv.org/abs/math/0410240
Pith/arXiv arXiv 2004
-
[11]
90, Springer-Verlag, New York-Berlin, 1983
Arne Br ndsted, An introduction to convex polytopes, Graduate Texts in Mathematics, vol. 90, Springer-Verlag, New York-Berlin, 1983
1983
-
[12]
Arkady Berenstein and Andrei Zelevinsky, Tensor product multiplicities, canonical bases and totally positive varieties, Invent. Math. 143 (2001), no. 1, 77--128
2001
-
[13]
Groups 7 (2002), no
Philippe Caldero, Toric degenerations of S chubert varieties , Transform. Groups 7 (2002), no. 1, 51--60
2002
-
[14]
14 (2023), no
Marco Castronovo, Exotic Lagrangian tori in Grassmannians, Quantum Topol. 14 (2023), no. 1, 65--99
2023
-
[15]
Roger Casals and Honghao Gao, Infinitely many Lagrangian fillings, Ann. of Math. (2) 195 (2022), no. 1, 207--249
2022
-
[16]
Roger Casals and Honghao Gao, A Lagrangian filling for every cluster seed, Invent. Math. 237 (2024), no. 2, 809--868
2024
-
[17]
Yunhyung Cho, Myungho Kim, Yoosik Kim, and Euiyong park, Cluster algebras and monotone Lagrangian tori. Adv. Math. 480 (2025), part A, Paper No. 110481, 58 pp
2025
-
[18]
Yunhyung Cho, Yoosik Kim, Eunjeong Lee, and Kyeong-Dong Park, On the combinatorics of string polytopes, J. Combin. Theory Ser. A 184 (2021), Paper No. 105508, 46 pp
2021
-
[19]
Algebra 638 (2024), 90--128
Oliver Clarke, Fatemeh Mohammadi and Francesca Zaffalon, Toric degenerations of partial flag varieties and combinatorial mutations of matching field polytopes, J. Algebra 638 (2024), 90--128
2024
-
[20]
Laura Escobar and Megumi Harada, Wall-crossing for Newton-Okounkov bodies and the tropical Grassmannian, Int. Math. Res. Not. IMRN 2022 , no. 7, 5152--5203
2022
-
[21]
Fock and Alexander B
Vladimir V. Fock and Alexander B. Goncharov, Cluster ensembles, quantization and the dilogarithm, Ann. Sci. \' E c. Norm. Sup\' e r. (4) 42 (2009), no. 6, 865--930
2009
-
[22]
Naoki Fujita and Akihiro Higashitani, Newton-- O kounkov bodies of flag varieties and combinatorial mutations , Int. Math. Res. Not. IMRN (2021), no. 12, 9567--9607
2021
-
[23]
Naoki Fujita and Hironori Oya, A comparison of N ewton- O kounkov polytopes of S chubert varieties , J. Lond. Math. Soc. (2) 96 (2017), no. 1, 201--227
2017
-
[24]
Naoki Fujita and Hironori Oya, Newton- O kounkov polytopes of S chubert varieties arising from cluster structures , Trans. Amer. Math. Soc. Ser. B 12 (2025), 910--973
2025
-
[25]
Anna Felikson, Michael Shapiro, and Pavel Tumarkin, Skew-symmetric cluster algebras of finite mutation type, J. Eur. Math. Soc. 14 (2012), no. 4, pp. 1135--1180
2012
-
[26]
Anna Felikson and Pavel Tumarkin, Cluster algebras of finite mutation type with coefficients, J. Comb. Algebra 8 (2024), no. 3/4, pp. 375--418
2024
-
[27]
Sergey Fomin and Andrei Zelevinsky, Cluster algebras. I . F oundations , J. Amer. Math. Soc. 15 (2002), no. 2, 497--529
2002
-
[28]
Sergey Fomin and Andrei Zelevinsky, Cluster algebras. II . F inite type classification , Invent. Math. 154 (2003), no. 1, 63--121
2003
-
[29]
Sergey Fomin and Andrei Zelevinsky, Cluster algebras. IV . C oefficients , Compos. Math. 143 (2007), no. 1, 112--164
2007
-
[30]
Mark Gross, Paul Hacking, Sean Keel, and Maxim Kontsevich, Canonical bases for cluster algebras, J. Amer. Math. Soc. 31 (2018), no. 2, 497--608
2018
-
[31]
Gonciulea and V
N. Gonciulea and V. Lakshmibai, Degenerations of flag and S chubert varieties to toric varieties , Transform. Groups 1 (1996), no. 3, 215--248
1996
-
[32]
Christof Gei , Bernard Leclerc, and Jan Schr\" o er, Partial flag varieties and preprojective algebras, Ann. Inst. Fourier 58 (2008) no. 3, 825--876
2008
-
[33]
Christof Gei , Bernard Leclerc, and Jan Schr\" o er, Kac- M oody groups and cluster algebras , Adv. Math. 228 (2011), no. 1, 329--433
2011
-
[34]
London Mathematical Society Monographs
Meinolf Geck and G\" o tz Pfeiffer, Characters of Finite Coxeter Groups and Iwahori-Hecke Algebras. London Mathematical Society Monographs. New Series. 21. Oxford: Clarendon Press. xv, 446 p. (2000)
2000
-
[35]
Oleg Gleizer and Alexander Postnikov, Littlewood-Richardson coefficients via Yang-Baxter equation, Internat. Math. Res. Notices 2000 , no. 14, 741--774
2000
-
[36]
K. R. Goodearl and M. T. Yakimov, Quantum cluster algebra structures on quantum nilpotent algebras, Mem. Amer. Math. Soc. 247 (2017), no. 1169, vii+119
2017
-
[37]
Springer-Verlag, New York, 1977
Robin Hartshorne, Algebraic Geometry , Graduate Texts in Mathematics. Springer-Verlag, New York, 1977. Volume 52
1977
-
[38]
Megumi Harada and Kiumars Kaveh, Integrable systems, toric degenerations and O kounkov bodies , Invent. Math. 202 (2015), no. 3, 927--985
2015
-
[39]
Masaki Kashiwara, Crystalizing the q -analogue of universal enveloping algebras, Comm. Math. Phys. 133 (1990), no. 2, 249--260
1990
-
[40]
Masaki Kashiwara, On crystal bases of the Q -analogue of universal enveloping algebras, Comm. Math. Phys. 133 (1990), no. 2, 249--260
1990
-
[41]
Masaki Kashiwara, Global crystal bases of quantum groups, Duke Math. J. 69 (1993), no. 2, 455--485
1993
-
[42]
Kiumars Kaveh, Crystal bases and N ewton- O kounkov bodies , Duke Math. J. 164 (2015), no. 13, 2461--2506
2015
-
[43]
9, Soci \'e t \'e math \'e matique de France, 2002
Masaki Kashiwara and Charles Cochet, Bases cristallines des groupes quantiques, no. 9, Soci \'e t \'e math \'e matique de France, 2002
2002
-
[44]
Chekanov torus and Gelfand-Zeitlin torus in S^2 S^2 , Differential Geom
Yoosik Kim. Chekanov torus and Gelfand-Zeitlin torus in S^2 S^2 , Differential Geom. Appl. 93 (2024), Paper No. 102091, 16 pp
2024
-
[45]
Kiumars Kaveh and A. G. Khovanskii, Newton-Okounkov bodies, semigroups of integral points, graded algebras and intersection theory, Ann. of Math. (2) 176 (2012), no. 2, 925--978
2012
-
[46]
Seok-Jin Kang, Masaki Kashiwara, Myungho Kim, Se-jin Oh, Monoidal categorification of cluster algebras. J. Amer. Math. Soc. 31 (2018), no. 2, 349--426
2018
-
[47]
Masaki Kashiwara, Myungho Kim, Se-Jin Oh, and Euiyong Park, Localizations for quiver H ecke algebras , Pure Appl. Math. Q. 17 (2021), no. 4, 1465--1548
2021
-
[48]
Masaki Kashiwara, Myungho Kim, Se-Jin Oh, and Euiyong Park, Localizations for quiver H ecke algebras II , Proc. Lond. Math. Soc. (3) 127 (2023), no. 4, 1134--1184
2023
-
[49]
Mikhail Kogan and Ezra Miller, Toric degeneration of S chubert varieties and G elfand- T setlin polytopes , Adv. Math. 193 (2005), no. 1, 1--17
2005
-
[50]
Masaki Kashiwara and Toshiki Nakashima, Crystal structure of localized quantum unipotent coordinate category, preprint (2025), arXiv:2502.14319 https://arxiv.org/abs/2502.14319
arXiv 2025
-
[51]
Yoshiyuki Kimura and Hironori Oya, Twist automorphisms on quantum unipotent cells and dual canonical bases, Int. Math. Res. Not. IMRN (2021), no. 9, 6772--6847
2021
-
[52]
Shrawan Kumar, Kac-Moody groups, their flag varieties and representation theory, Progress in Mathematics,. vol. 204, Birkh \"a user Boston, Inc., Boston, MA, 2002
2002
-
[53]
Littelmann, Cones, crystals, and patterns, Transform
P. Littelmann, Cones, crystals, and patterns, Transform. Groups 3 (1998), no. 2, 145--179
1998
-
[54]
Robert Lazarsfeld and Mircea Musta t a , Convex bodies associated to linear series, Ann. Sci. \' E c. Norm. Sup\' e r. (4) 42 (2009), no. 5, 783--835
2009
-
[55]
Lusztig, Canonical bases arising from quantized enveloping algebras, J
G. Lusztig, Canonical bases arising from quantized enveloping algebras, J. Amer. Math. Soc. 3 (1990), no. 2, 447--498
1990
-
[56]
Lusztig, Quivers, perverse sheaves, and quantized enveloping algebras, J
G. Lusztig, Quivers, perverse sheaves, and quantized enveloping algebras, J. Amer. Math. Soc. 4 (1991), no. 2, 365--421
1991
-
[57]
110, Birkh\" a user Boston, Inc., Boston, MA, 1993
George Lusztig, Introduction to quantum groups, Progress in Mathematics, vol. 110, Birkh\" a user Boston, Inc., Boston, MA, 1993. 1227098
1993
-
[58]
Yuichi Nohara and Kazushi Ueda, Toric degenerations of integrable systems on Grassmannians and polygon spaces, Nagoya Math. J. 214 (2014), 125--168
2014
-
[59]
Symplectic Geom
Yuichi Nohara and Kazushi Ueda, Potential functions on Grassmannians of planes and cluster transformations, J. Symplectic Geom. 18 (2020), no. 2, 559--612
2020
-
[60]
I , Comm
Yong-Geun Oh, Floer cohomology of L agrangian intersections and pseudo-holomorphic disks. I , Comm. Pure Appl. Math. 46 (1993), no. 7, 949--993
1993
-
[61]
Fan Qin, Triangular bases in quantum cluster algebras and monoidal categorification conjectures, Duke Math. J. 166 (2017), no. 12, 2337--2442
2017
-
[62]
Rietsch and L
K. Rietsch and L. Williams, Newton- O kounkov bodies, cluster duality, and mirror symmetry for G rassmannians , Duke Math. J. 168 (2019), no. 18, 3437--3527
2019
-
[63]
David Speyer and Bernd Sturmfels, The tropical Grassmannian, Adv. Geom. 4 (2004), no. 3, 389--411
2004
-
[64]
Renato Ferreira de Velloso Vianna, Infinitely many exotic monotone L agrangian tori in CP ^2 , J. Topol. 9 (2016), no. 2, 535--551
2016
-
[65]
(N.S.) 23 (2017), no
Renato Vianna, Infinitely many monotone Lagrangian tori in del Pezzo surfaces., Selecta Math. (N.S.) 23 (2017), no. 3, 1955--1996
2017
-
[66]
Harold Williams, Cluster ensembles and K ac- M oody groups , Adv. Math. 247 (2013), 1--40
2013
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.