pith. sign in

arxiv: 2606.08570 · v1 · pith:YHEMVT75new · submitted 2026-06-07 · 🧮 math.AG · math.RT· math.SG

Newton--Okounkov bodies of partial flag varieties via cluster algebras

Pith reviewed 2026-06-27 18:10 UTC · model grok-4.3

classification 🧮 math.AG math.RTmath.SG
keywords Newton-Okounkov bodiescluster algebraspartial flag varietiesSchubert varietiesLagrangian toriunipotent cellssymplectic geometry
0
0 comments X

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.

The paper shows how to build Newton-Okounkov polytopes for Schubert varieties inside partial flag varieties by leveraging the cluster algebra on a unipotent cell. This method works for arbitrary type. In cases where the cluster algebra is infinite type and the flag variety is simply laced, any very ample line bundle gives rise to a family of polytopes that includes infinitely many distinct ones up to integral affine transformations. As a result, the construction produces infinitely many distinct monotone Lagrangian tori in these varieties.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 2606.08570 by Euiyong Park, MyungHo Kim, Yoosik Kim, Yunhyung Cho.

Figure 1
Figure 1. Figure 1: The marked quivers (Q, L) and (Q′ , L ′ ). We now explain how to associate a marked extended exchange matrix to a parabolic subgroup of a semisimple algebraic group over C. Let I denote the index set for the simple roots of g and let w0 be the longest element of W. For a subset K ⊆ I, consider the corresponding parabolic subgroup P K and the quotient WK ≃ W/WK where WK is the parabolic Weyl group. Let wK b… view at source ↗
Figure 2
Figure 2. Figure 2: Diamond shape subquiver Using Lemma 7.6, we first deal with the affine types. Lemma 7.7 (see Lemma 6.5 in [CKKP25]). For p, q > 0, let Q′ be the quiver of type Aep,q with all vertices unfrozen. Let Q be the quiver obtained from Q′ by adding a single frozen vertex f and one arrow from f to w0 as in [PITH_FULL_IMAGE:figures/full_fig_p036_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Quivers Q and Q♢ in Lemma 7.7 Lemma 7.8. Let Q′ be the quiver of type Ee6 with all vertices unfrozen. Let Q be the quiver obtained from Q′ by adding one frozen vertex f and one single arrow from 6 to f as in [PITH_FULL_IMAGE:figures/full_fig_p037_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: Then the following hold: (1) the quiver Q′ is of finite mutation type and (2) the quiver Q is of infinite mutation type. Proof. Apply the following sequence µ of mutations to Q (6, 1, 8, 4, 3, 5, 7, 6, 7, 3, 2, 4, 1, 5, 8, 3, 7, 5, 2). Let Q♢ := µ(Q). By Lemma 7.6 (b2 > 0), Q is of infinite mutation type. □ [PITH_FULL_IMAGE:figures/full_fig_p037_5.png] view at source ↗
Figure 5
Figure 5. Figure 5: Quivers Q and Q♢ in Lemma 7.9 Lemma 7.10. Let Q′ be the quiver of type Ee7 with all vertices unfrozen. Let Q be the quiver obtained from Q′ by adding one frozen vertex f and one single arrow from f to 7 as in [PITH_FULL_IMAGE:figures/full_fig_p038_5.png] view at source ↗
Figure 7
Figure 7. Figure 7: Then the following hold: (1) the quiver Q′ is of finite mutation type and (2) the quiver Q is of infinite mutation type. Proof. Apply the following sequence µ of mutations to Q (8, 9, 5, 1, 3, 4, 5, 2, 6, 5, 1, 3, 2, 3, 6, 7, 4, 8, 5, 9, 6, 3, 5) Let Q♢ := µ(Q). By Lemma 7.6, Q is of infinite mutation type. □ Next, we deal with the extended affine types. Lemma 7.12 (Section 5 in [FT24]). Suppose that Q′ be… view at source ↗
Figure 7
Figure 7. Figure 7: Quivers Q and Q♢ in Lemma 7.11 Lemma 7.13. Let Q′ be the quiver of type E (1,1) 7 with all vertices unfrozen. Let Q be the quiver obtained from Q′ by adding one frozen vertex f and one single arrow from 8 to f as in [PITH_FULL_IMAGE:figures/full_fig_p039_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Quivers Q and Q♢ in Lemma 7.13 Lemma 7.14. Let Q′ be the quiver of type E (1,1) 8 with all vertices unfrozen. Let Q be the quiver obtained from Q′ by adding one frozen vertex f and one single arrow from 8 to f as in [PITH_FULL_IMAGE:figures/full_fig_p039_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Quivers Q and Q♢ in Lemma 7.14 Example 7.15. Consider a classical group G of type A5 and let K = {1, 3, 5}. Let P = P K be the corresponding parabolic subgroup. Then G/P ≃ Fℓ(2, 4; 6), which has dimension m = 12. The Weyl group W of G is isomorphic to the symmetric group S6. The minimal length representative of the coset w0WK is given by wK =  1 2 3 4 5 6 5 6 3 4 1 2  . A reduced expression of wK is s4s3… view at source ↗
Figure 10
Figure 10. Figure 10: The marked quiver for A5 type with K = {1, 3, 5} Let V ′ = {1, 2, 3, 7, 9} be a subset of the vertex set V of QP and consider the induced subquiver Q′ = QP |V′. By applying the mutation sequence (2, 3, 1), we see that Q′ is of finite mutation type Ae3,2. Now take V = V ′ ∪ {12} and consider the induced subquiver Q = QP |V. By Lemma 7.7, the quiver Q is of infinite mutation type. Remark 7.16. In Example 7.… view at source ↗
Figure 11
Figure 11. Figure 11: The marked quiver for D4 type with K = {1, 3, 4} Let V ′ = Vuf. Applying the mutation at the nodes (4, 1, 6, 2, 7, 5), the quiver QP contains a subquiver Q′ = QP |V′ of finite mutation type Ee6. Now set V = V ′ ∪ 10 and consider the induced subquiver Q = QP |V. By Lemma 7.8, the quiver Q is of infinite mutation type [PITH_FULL_IMAGE:figures/full_fig_p041_11.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the construction is described at the level of existence via cluster algebras.

pith-pipeline@v0.9.1-grok · 5628 in / 1189 out tokens · 17508 ms · 2026-06-27T18:10:29.130252+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

66 extracted references · 1 linked inside Pith

  1. [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

  2. [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

  3. [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

  4. [4]

    Dave Anderson, Okounkov bodies and toric degenerations, Math. Ann. 356 (2013), no. 3, 1183--1202

  5. [5]

    Denis Auroux, Infinitely many monotone L agrangian tori in R ^6 , Invent. Math. 201 (2015), no. 3, 909--924

  6. [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

  7. [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

  8. [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

  9. [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

  10. [10]

    Michel Brion, Lectures on the geometry of flag varieties, preprint (2004), arXiv:0410240 https://arxiv.org/abs/math/0410240

  11. [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

  12. [12]

    Arkady Berenstein and Andrei Zelevinsky, Tensor product multiplicities, canonical bases and totally positive varieties, Invent. Math. 143 (2001), no. 1, 77--128

  13. [13]

    Groups 7 (2002), no

    Philippe Caldero, Toric degenerations of S chubert varieties , Transform. Groups 7 (2002), no. 1, 51--60

  14. [14]

    14 (2023), no

    Marco Castronovo, Exotic Lagrangian tori in Grassmannians, Quantum Topol. 14 (2023), no. 1, 65--99

  15. [15]

    Roger Casals and Honghao Gao, Infinitely many Lagrangian fillings, Ann. of Math. (2) 195 (2022), no. 1, 207--249

  16. [16]

    Roger Casals and Honghao Gao, A Lagrangian filling for every cluster seed, Invent. Math. 237 (2024), no. 2, 809--868

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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

  23. [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

  24. [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

  25. [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

  26. [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

  27. [27]

    Sergey Fomin and Andrei Zelevinsky, Cluster algebras. I . F oundations , J. Amer. Math. Soc. 15 (2002), no. 2, 497--529

  28. [28]

    Sergey Fomin and Andrei Zelevinsky, Cluster algebras. II . F inite type classification , Invent. Math. 154 (2003), no. 1, 63--121

  29. [29]

    Sergey Fomin and Andrei Zelevinsky, Cluster algebras. IV . C oefficients , Compos. Math. 143 (2007), no. 1, 112--164

  30. [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

  31. [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

  32. [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

  33. [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

  34. [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)

  35. [35]

    Oleg Gleizer and Alexander Postnikov, Littlewood-Richardson coefficients via Yang-Baxter equation, Internat. Math. Res. Notices 2000 , no. 14, 741--774

  36. [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

  37. [37]

    Springer-Verlag, New York, 1977

    Robin Hartshorne, Algebraic Geometry , Graduate Texts in Mathematics. Springer-Verlag, New York, 1977. Volume 52

  38. [38]

    Megumi Harada and Kiumars Kaveh, Integrable systems, toric degenerations and O kounkov bodies , Invent. Math. 202 (2015), no. 3, 927--985

  39. [39]

    Masaki Kashiwara, Crystalizing the q -analogue of universal enveloping algebras, Comm. Math. Phys. 133 (1990), no. 2, 249--260

  40. [40]

    Masaki Kashiwara, On crystal bases of the Q -analogue of universal enveloping algebras, Comm. Math. Phys. 133 (1990), no. 2, 249--260

  41. [41]

    Masaki Kashiwara, Global crystal bases of quantum groups, Duke Math. J. 69 (1993), no. 2, 455--485

  42. [42]

    Kiumars Kaveh, Crystal bases and N ewton- O kounkov bodies , Duke Math. J. 164 (2015), no. 13, 2461--2506

  43. [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

  44. [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

  45. [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

  46. [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

  47. [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

  48. [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

  49. [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

  50. [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

  51. [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

  52. [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

  53. [53]

    Littelmann, Cones, crystals, and patterns, Transform

    P. Littelmann, Cones, crystals, and patterns, Transform. Groups 3 (1998), no. 2, 145--179

  54. [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

  55. [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

  56. [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

  57. [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

  58. [58]

    Yuichi Nohara and Kazushi Ueda, Toric degenerations of integrable systems on Grassmannians and polygon spaces, Nagoya Math. J. 214 (2014), 125--168

  59. [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

  60. [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

  61. [61]

    Fan Qin, Triangular bases in quantum cluster algebras and monoidal categorification conjectures, Duke Math. J. 166 (2017), no. 12, 2337--2442

  62. [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

  63. [63]

    David Speyer and Bernd Sturmfels, The tropical Grassmannian, Adv. Geom. 4 (2004), no. 3, 389--411

  64. [64]

    Renato Ferreira de Velloso Vianna, Infinitely many exotic monotone L agrangian tori in CP ^2 , J. Topol. 9 (2016), no. 2, 535--551

  65. [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

  66. [66]

    Harold Williams, Cluster ensembles and K ac- M oody groups , Adv. Math. 247 (2013), 1--40