Pith. sign in

REVIEW 2 major objections 5 minor 56 references

Ind-cluster algebras and infinite Grassmannians

T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

Pith's one-line read The paper proves that cluster algebras of infinite rank are precisely the ind-objects of finite-rank rooted cluster algebras, and that the coordinate ring of the Sato–Segal–Wilson Grassmannian is an infinite-rank cluster algebra.

desk verdict Strong paper on infinite rank cluster algebras, but the advertised 'precisely' ind-object claim is false as stated; the actual theorem is the ind-completion equivalence, which is still a big deal. read the letter →

arxiv 2505.01228 v2 pith:2DJJGL66 submitted 2025-05-02 math.RT math-phmath.ACmath.COmath.MPnlin.SI

classification math.RTmath-phmath.ACmath.COmath.MPnlin.SI MSC 13F6014M1537K1005E05
keywords clusteralgebrasinfiniterankind-objectsSato–Segal–WilsonGrassmannianKPhierarchyPlückercoordinatesfilteredcolimitstotalpositivity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes that cluster algebras of infinite rank are exactly the ind-objects of a natural category of finite-rank rooted cluster algebras: the category of inducible melting cluster morphisms has filtered colimits, its compact objects are precisely finite-rank rooted cluster algebras, and every infinite-rank example is a filtered colimit of finite-rank ones. This gives a precise sense in which infinite-rank cluster algebras are built from finite-rank data. The paper then applies this to the coordinate ring of the Sato–Segal–Wilson Grassmannian, showing it is an infinite-rank cluster algebra whose initial seed is the infinite rectangle quiver. Consequently every Plücker coordinate is a Laurent polynomial with non-negative integer coefficients in rectangular Plücker coordinates, which yields a rectangular-coordinate test for total positivity and connects cluster mutation to the KP hierarchy.

What carries the argument

The central object is the category mCl of rooted cluster algebras with inducible melting cluster morphisms: maps that send exchangeable cluster variables to exchangeable variables or nonzero integers, may send frozen variables to exchangeable ones, and commute with mutation from the initial seed. The proof that filtered colimits exist works by constructing an ind-seed from a directed system: take the colimit of the initial cluster sets, then define the exchange matrix entries by a uniform-attainment condition on finite submatrices, with signs fixed on each exchangeably connected component. This ind-seed construction carries the argument that mCl is the ind-completion of its finite-rank part. For the Grassmannian application, the relevant seed is the infinite rectangle quiver Q∞, with vertices labelled by rectangular Young diagrams, formed as the colimit of Scott's rectangle seeds for finite Grassmannians.

What would settle it

Exhibit an infinite-rank rooted cluster algebra whose initial seed is not a filtered colimit of finite-rank seeds in mCl, for instance one with an exchangeably connected component of uncountable rank. Such a component would violate the countable-rank decomposition on which the proof of Theorem 2.11 depends, and would reduce the claimed equivalence to a one-sided inclusion.

Watch

Extended reading notes

Core claim

The category mCl of rooted cluster algebras with inducible melting cluster morphisms is closed under filtered colimits, and its compact objects are exactly the finite-rank rooted cluster algebras. Combining this with the earlier result that every infinite-rank rooted cluster algebra is a filtered colimit of finite-rank ones, the paper concludes that cluster algebras of infinite rank are precisely the ind-objects of the category of finite-rank rooted cluster algebras. Applied to the coordinate ring C[Gr], defined as the colimit of the coordinate rings of finite Grassmannians, this shows that C[Gr] is a cluster algebra of infinite rank with initial seed the infinite rectangle quiver Q∞. Every Plücker variable is therefore a Laurent polynomial with non-negative integer coefficients in the rectangular Plücker coordinates, and a point of the Sato–Segal–Wilson Grassmannian is totally positive exactly when all its rectangular Plücker coordinates are positive.

Load-bearing premise

The equivalence between infinite-rank cluster algebras and ind-objects rests on the imported result that every infinite-rank rooted cluster algebra is a filtered colimit of finite-rank ones; the paper proves the converse direction but does not re-prove that decomposition.

Editorial extensions

If this is right

  • Every infinite-rank cluster algebra is a filtered colimit of finite-rank rooted cluster algebras, so structural questions about infinite-rank cluster algebras can be reduced to compatible families of finite-rank data.
  • The coordinate ring of the Sato–Segal–Wilson Grassmannian is an infinite-rank cluster algebra with an explicit initial seed, and its clusters give maximal algebraically independent sets of Plücker variables.
  • Every Plücker coordinate is a Laurent polynomial with non-negative integer coefficients in the rectangular Plücker coordinates, with support only inside the minimal bounding box of the partition.
  • A point of the Sato–Segal–Wilson Grassmannian is totally positive if and only if all its rectangular Plücker coordinates are positive, giving a finite-looking positivity test for KP τ-functions.
  • The KP equation appears as a quiver mutation in the infinite rectangle quiver, and the three-term exchange relations yield an infinite family of 3-term Plücker relations and associated PDEs for τ-functions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The ind-completion viewpoint suggests a universal-property approach to infinite-rank cluster algebras: any colimit-preserving invariant of mCl is determined by its values on finite-rank rooted cluster algebras, which could simplify future classification questions.
  • The same machinery of ind-seeds could plausibly adapt to other settings with a rooted mutation category, such as quantum cluster algebras or categories with freezing instead of melting, once filtered colimits and compact objects are identified.
  • The rectangular-positivity criterion may give a practical test for total positivity of KP τ-functions: check only rectangular Schur coefficients, which are in principle computable from the admissible basis of a point on the Grassmannian.
  • The finite four-valent subquivers constructed in the Postnikov-diagram section might provide finite-dimensional truncations whose mutations stabilize to the full infinite cluster structure, a stability property the paper does not explicitly address.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies infinite-rank cluster algebras through the category mCl of rooted cluster algebras with inducible melting cluster morphisms, allowing seeds of arbitrary cardinality. The main categorical results are that mCl is closed under filtered colimits (Theorems 2.12 and 2.31), that the finite-rank rooted cluster algebras are precisely the compact objects of mCl (Theorem 2.34), and, using the first author's earlier colimit decomposition of infinite-rank cluster algebras (Theorem 2.11, imported from [Gra15]), that every object of mCl is a filtered colimit of finite-rank objects. The paper then applies this framework to the Fioresi–Hacon coordinate ring C[Gr] of the Sato–Segal–Wilson Grassmannian, showing that C[Gr] is an infinite-rank cluster algebra with initial seed the infinite rectangle quiver Q∞ (Theorem 3.3), yielding Laurent/positivity statements for Plücker coordinates and a total-positivity criterion for the infinite Grassmannian, and connecting cluster mutations to three-term relations of the KP hierarchy.

Significance. The categorical construction in Sections 2.5–2.7 is detailed and, as far as I checked, internally consistent: the ind-seed construction, the cocone verification (Proposition 2.28), and the compactness argument (Theorem 2.34) are carefully written. If correct, the equivalence mCl ≃ Ind(mCl_f) gives a clean conceptual framework for infinite-rank cluster algebras. The application to C[Gr] is concrete and makes a strong, checkable prediction (Corollary 3.4). The main defect is that the headline statement 'infinite rank cluster algebras are precisely the ind-objects of mCl_f' is false under the standard definition of ind-object; the correct statement is the category equivalence, with infinite-rank objects corresponding to the non-representable ind-objects. The technical core of the paper is not invalidated by this misstatement, but the abstract and corollaries must be corrected.

major comments (2)
  1. [Abstract; Corollary 1.4; Corollary 2.35; paragraph after Corollary 1.4] Under the standard definition (KS06, Def. 6.1.1), the constant filtered diagram on any finite-rank rooted cluster algebra A is an ind-object of mCl_f whose colimit is A; hence finite-rank objects are also ind-objects. The claims that infinite-rank cluster algebras are 'precisely' the ind-objects of mCl_f are therefore false as written. What the proofs show is the category equivalence mCl ≃ Ind(mCl_f), via Theorems 2.11, 2.12, 2.34 and [KS06, Cor. 6.3.5]; under this equivalence the objects outside mCl_f correspond exactly to the non-representable ind-objects. Please restate the abstract, Corollary 1.4, and Corollary 2.35 accordingly, and adjust the informal sentence after Corollary 1.4.
  2. [Corollary 3.4; Theorem 1.7; Corollary 1.10] The assertion in Corollary 3.4(i) that every Plücker variable is a Laurent polynomial with non-negative integer coefficients in the rectangle variables does not follow from the general Laurent phenomenon alone, and positivity of coefficients is not a theorem for arbitrary cluster algebras. Since Theorem 1.7 and Corollary 1.10 depend on this positivity statement, the manuscript should cite the specific positivity result for finite-rank Grassmannian cluster algebras with the rectangle seed (e.g., Scott's theorem in [Sco06]) and explain that it passes through the colimit via Proposition 2.33. As written, this is a gap in the support of a central application.
minor comments (5)
  1. [Abstract] The abstract contains a grammatical error: 'A prototypical examples' should be 'A prototypical example'.
  2. [Theorem 2.31 proof] The proof of Theorem 2.31 contains a typo: 'roooted' should be 'rooted'.
  3. [Theorem 2.12 proof] The reduction from filtered colimits to directed colimits via [AN82, Theorem 1] is invoked without explanation; please add a sentence stating the content of that theorem so readers can follow the logical dependence.
  4. [Proposition 3.13] The proof of Proposition 3.13 asserts the converse direction (every Γ∞-Postnikov diagram gives a Plücker cluster) rather than proving it; please spell out why a finite geometric exchange at a quadrilateral cell always produces a Plücker variable rather than a general Laurent polynomial, or make the statement conditional on that fact.
  5. [Remark 4.9] Remark 4.9 contains unresolved citation placeholders '[?]' for the Kodama–Williams references; these should be filled before publication.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the new colimit/compactness theorems are proved from definitions; the forward direction is an independent published result [Gra15].

full rationale

Score 0. The paper's original direction, namely that filtered colimits exist in mCl (Theorems 2.12 and 2.31) and that the compact objects are exactly the finite-rank rooted cluster algebras (Theorem 2.34), is proved directly from the definitions of seeds, mutation, and inducible melting morphisms: the colimit is explicitly constructed as an ind-seed and checked to be universal. The converse input required for the equivalence mCl ≅ Ind(mCl_f), namely that every infinite-rank rooted cluster algebra is a filtered colimit of finite-rank ones, is imported from the first author's published paper [Gra15, Theorem 4.6]. This self-citation is load-bearing, but [Gra15] is a proof-based, parameter-free prior theorem whose assumptions do not include the present results, so it counts as independent support rather than circularity. The C[Gr] application is likewise a construction: [Gra15, Lemma 4.5] shows the Fioresi–Hacon system is a directed system in mCl, Theorem 2.31 produces a cluster algebra as its mCl-colimit, and Proposition 2.33 identifies its underlying ring with the ring colimit C[Gr]. No fitted parameter is renamed as a prediction, and no conclusion is equivalent to its input by definition. Two non-circular caveats: Corollaries 1.4 and 2.35 state that the ind-objects of mCl_f are 'precisely' the infinite-rank cluster algebras, whereas under the standard definition (KS06) finite-rank objects are representable ind-objects; what is proved is mCl ≅ Ind(mCl_f), with infinite-rank objects corresponding to the non-representable ind-objects. Also, the Laurent phenomenon is cited to FZ02 although the paper explicitly allows infinite rank; the infinite-rank version should carry its own citation (e.g., [GG14]). These are correctness/completeness concerns, not circular reductions.

Assumptions & free parameters 0 free parameters · 9 assumptions · 0 invented entities

No fitted numerical parameters appear; this is a pure mathematics paper. The central claims rest on standard set/category theory and on published definitions and theorems: the infinite rank seed framework of [GG14], the category mCl of [ADS14] and [CZ16], Scott's finite Grassmannian cluster structures [Sco06], the Fioresi-Hacon presentation of C[Gr] [FH04], the colimit decomposition of infinite rank cluster algebras and the melting morphism lemma from [Gra15], the weak separation result [OPS15], and the (uncited here) positivity theorem for skew-symmetric cluster algebras. None of these inputs assume the paper's main theorems, so no circular dependency is introduced.

assumptions (9)
  • standard math ZFC set theory and standard category theory, including filtered and directed colimits and ind-completions.
    Used throughout Sections 2.5-2.7; e.g., Theorem 2.12 invokes [AN82] and Proposition 2.33 constructs universal maps in the category of rings.
  • domain assumption Definition of cluster algebras of infinite rank with ex-locally finite exchange matrices.
    Adopted from [GG14], Remark 2.2; ex-local finiteness makes the exchange relations (2.1) well-defined, a necessary assumption for the paper's infinite seeds.
  • domain assumption Definition of the category mCl of rooted cluster algebras with inducible melting cluster morphisms.
    Following [ADS14] and [CZ16], Definition 2.9-2.10; the main theorems are statements about this specific category.
  • domain assumption Scott's theorem that homogeneous coordinate rings of finite Grassmannians have cluster algebra structures with the rectangle seeds.
    Used in Section 3.2 to define the cluster structure on C[Gr] via the colimit; cited to [Sco06].
  • domain assumption Fioresi-Hacon's presentation of C[Gr] as the colimit of C[Gr_{m,n}] and its Plücker relations.
    Definition 3.1 and relations (3.7) rest on [FH04, Theorem 2.8, Proposition 2.10].
  • domain assumption Every rooted cluster algebra of infinite rank is a filtered colimit of finite rank rooted cluster algebras in mCl.
    Restated as Theorem 2.11 from [Gra15, Theorem 4.6]; this forward direction is cited, not reproved, and is needed for the 'precisely' characterization.
  • domain assumption The Plücker coordinate maps r_{m,n,m',n'} are inducible melting cluster morphisms with respect to the rectangle seeds.
    Used in the proof of Theorem 3.3 to realize C[Gr] as a colimit in mCl; cited to [Gra15, Lemma 4.5] and not reproved.
  • domain assumption Weak separation theorem for finite Grassmannian cluster algebras.
    Used in Proposition 3.9 to compare Plücker clusters with maximal weakly separated collections; cited to [OPS15].
  • domain assumption Positivity of the Laurent phenomenon for skew-symmetric cluster algebras.
    Used in Corollary 3.4 to conclude non-negative coefficients; not explicitly cited in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Ind-cluster algebras and infinite Grassmannians." pith.science (2026). https://pith.science/paper/2DJJGL66

@misc{pith2026250501228,
  author       = {Pith},
  title        = {Pith review of: Ind-cluster algebras and infinite Grassmannians},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2DJJGL66}},
  note         = {Machine review of arXiv:2505.01228}
}
read the original abstract

A prototypical examples of a cluster algebra is the coordinate ring of a finite Grassmannian: using the Pl\"ucker embedding the cluster algebra structure allows one to move between `maximal sets' of algebraically independent Pl\"ucker coordinates via mutations. Fioresi and Hacon studied a specific colimit of the coordinate rings of finite Grassmannians and its link with the infinite Grassmannian introduced by Sato and independently by Segal and Wilson in connection with the Kadomtsev-Petiashvili (KP) hierarchy, an infinite set of nonlinear partial differential equations which possess soliton solutions. In this article we prove that this ring is a cluster algebra of infinite rank with the structure induced by the colimit construction. More generally, we prove that cluster algebras of infinite rank are precisely the ind-objects of a natural category of cluster algebras.

Figures

Figures reproduced from arXiv: 2505.01228 by the authors.

Figure 3.1
Figure 3.1. A graphical depiction of the bijection between Maya sequences and Young diagrams: each black go-stone in the left half of the Figure corresponds to a 45◦ downward step and a white go-stone to a 45◦ degree upward step when drawing the outline of a Young diagram. In the example shown the partition is λ = (6, 4, 3, 3, 2, 1) and the corresponding Maya sequence of charge c is a• = (c + 5, c + 2, c, c − 1, c − 3, c − 5, c… view at source ↗
Figure 3.2
Figure 3.2. The quiver Qm,n for the coordinate ring C[Grm,n] of the (finite) Grassmannian Grm,n. Here n = 4 and m = 5. The displayed sets of integers are the corresponding labels for the Pl¨ucker coordinates and the blue Young diagrams correspond to the frozen vertices. • the Young diagrams of maximal width, i.e. i = m and 1 ≤ j ≤ n; • the Young diagrams of maximal height, i.e. 1 ≤ i ≤ m and j = n. We have the following exhaust… view at source ↗
Figure 3
Figure 3. illustrates the case [PITH_FULL_IMAGE:figures/full_fig_p021_3.png] view at source ↗
Figures from the paper (11 more)
Figure 3.3
Figure 3.3. Figure 3.3: The rectangle-quiver Qm,n for the finite Grassmannian from [PITH_FULL_IMAGE:figures/full_fig_p023_3_3.png]
Figure 3.4
Figure 3.4. Figure 3.4: The (infinite) quiver Q∞ for the ind-cluster algebra C[Gr]. The vertex in the ith row and jth column is labelled by the rectangular partition of width i and height j. e.g. [HE11, Prop. 2.1 and Cor. 2.1]) ` (3.8) dλ = det(d(αi|βj ))1≤i,j≤k , where λ = (α1, . . . , αk|…
Figure 3.5
Figure 3.5. Figure 3.5: The displayed double crossing of two paths, here labelled i and j, is not allowed in a Postnikov diagram. quiver Qmn in [PITH_FULL_IMAGE:figures/full_fig_p026_3_5.png]
Figure 3.6
Figure 3.6. Figure 3.6: The ‘geometric exchange relation’ for Postnikov diagrams (red) which describes the quiver mutation at the centre vertex (black). reached from XQ∞ by a finite mutation sequence, corresponding to a finite sequence of geometric exchanges (see [PITH_FULL_IMAGE:figures/f…
Figure 3.7
Figure 3.7. Figure 3.7: The infinite Postnikov diagram Γ∞ (shown in red) corresponding to the quiver Q∞ which fixes the initial seed of the ind-cluster algebra C[Gr]. The hollow accumulation points at ±∞ and ±∞′ are not marked boundary points of P∞, i.e. they do not have paths of Γ∞ ending …
Figure 3.8
Figure 3.8. Figure 3.8: The KP equation as quiver mutation: applying the geometric exchange relation to the first vertex on the diagonal in [PITH_FULL_IMAGE:figures/full_fig_p028_3_8.png]
Figure 3.9
Figure 3.9. Figure 3.9: Let k ≥ 1. Applying repeated the geometric exchange relation on the diagonal of the ice quiver Q∞ (respectively the corresponding infinite Postnikov diagram) one proves the above relation which results in a non-trivial 3-term PDE for the τ -function of the KP￾hierarc…
Figure 3.10
Figure 3.10. Figure 3.10: The (infinite) Postnikov diagram 3.7 after the mutation sequence ((1),(1, 1),(2),(2, 2),(1, 1, 1),(3),(2, 2, 2),(3, 3),(3, 3, 3),(2, 1)) . It contains a subdiagram for the Grassmannian Gr4,4 that only consists of quadrilateral cells. Using the sub-quiver Q(m) from …
Figure 3.8
Figure 3.8. Figure 3.8: As we will discuss below these relations result in partial differential equations for the [PITH_FULL_IMAGE:figures/full_fig_p030_3_8.png]
Figure 3.11
Figure 3.11. Figure 3.11: A quiver which only consists of four-valent vertices. Setting m = 4 one obtains via the bijection described under (P6) the Postnikov diagram from [PITH_FULL_IMAGE:figures/full_fig_p031_3_11.png]
Figure 3.12
Figure 3.12. Figure 3.12: The two types of vertex-arrow configurations which appear in the quiver from [PITH_FULL_IMAGE:figures/full_fig_p032_3_12.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

56 extracted references · 42 canonical work pages

  1. [1]

    Categories for Grassmannian cluster algebras of infinite rank

    Jenny August, Man-Wai Cheung, Eleonore Faber, Sira Gratz, and Sibylle Schroll. Categories for G rassmannian cluster algebras of infinite rank. Int. Math. Res. Not. IMRN , 2023. to appear. arXiv preprint arXiv:2007.14224

  2. [2]

    Cluster structures for the A_ singularity

    Jenny August, Man Wai Cheung, Eleonore Faber, Sira Gratz, and Sibylle Schroll. Cluster structures for the A_ singularity. J. Lond. Math. Soc. (2) , 107(6):2121--2149, 2023

  3. [3]

    On a category of cluster algebras

    Ibrahim Assem, Gr\' e goire Dupont, and Ralf Schiffler. On a category of cluster algebras. J. Pure Appl. Algebra , 218(3):553--582, 2014

  4. [4]

    Andr\' e ka and I

    H. Andr\' e ka and I. N\' e meti. Direct limits and filtered colimits are strongly equivalent in all categories. In Universal algebra and applications ( W arsaw, 1978) , volume 9 of Banach Center Publ. , pages 75--88. PWN, Warsaw, 1982

  5. [5]

    Transfinite mutations in the completed infinity-gon

    Karin Baur and Sira Gratz. Transfinite mutations in the completed infinity-gon. J. Combin. Theory Ser. A , 155:321--359, 2018

  6. [6]

    King, and Bethany R

    Karin Baur, Alastair D. King, and Bethany R. Marsh. Dimer models and cluster categories of G rassmannians. Proc. Lond. Math. Soc. (3) , 113(2):213--260, 2016

  7. [7]

    I lke C anak c \ and Anna Felikson

    \. I lke C anak c \ and Anna Felikson. Infinite rank surface cluster algebras. Adv. Math. , 352:862--942, 2019

  8. [8]

    Metric completions of discrete cluster categories, 2024

    Charley Cummings and Sira Gratz. Metric completions of discrete cluster categories, 2024

Show all 56 references
  1. [9]

    I lke C anak c , Martin Kalck, and Matthew Pressland

    \. I lke C anak c , Martin Kalck, and Matthew Pressland. Cluster categories for completed infinity-gons I : Categorifying triangulations, 2024

  2. [10]

    On rooted cluster morphisms and cluster structures in 2- C alabi- Y au triangulated categories

    Wen Chang and Bin Zhu. On rooted cluster morphisms and cluster structures in 2- C alabi- Y au triangulated categories. J. Algebra , 458:387--421, 2016

  3. [11]

    Theta functions and non-linear equations

    Boris A Dubrovin. Theta functions and non-linear equations. Russian M athematical S urveys , 36(2):11, 1981

  4. [12]

    Fioresi and C

    R. Fioresi and C. Hacon. On infinite-dimensional G rassmannians and their quantum deformations. Rend. Sem. Mat. Univ. Padova , 111:1--24, 2004

  5. [13]

    Introduction to cluster algebras

    Sergey Fomin, Lauren Williams, and Andrei Zelevinsky. Introduction to cluster algebras. C hapters 1-3, 2024

  6. [14]

    Cluster algebras

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

  7. [15]

    Grabowski and Sira Gratz

    Jan E. Grabowski and Sira Gratz. Cluster algebras of infinite rank. J. Lond. Math. Soc. (2) , 89(2):337--363, 2014. With an appendix by Michael Groechenig

  8. [16]

    Cluster tilting subcategories and torsion pairs in I gusa- T odorov cluster categories of D ynkin type A_

    Sira Gratz, Thorsten Holm, and Peter J rgensen. Cluster tilting subcategories and torsion pairs in I gusa- T odorov cluster categories of D ynkin type A_ . Math. Z. , 292(1-2):33--56, 2019

  9. [17]

    Representations of shifted quantum affine algebras and cluster algebras I

    Christof Geiss, David Hernandez, and Bernard Leclerc. Representations of shifted quantum affine algebras and cluster algebras I . T he simply-laced case, 2024

  10. [18]

    Pro- C luster A lgebras and the I nd- G rassmannian

    Sira Gratz and Christian Korff. Pro- C luster A lgebras and the I nd- G rassmannian

  11. [19]

    Cluster algebras of infinite rank as colimits

    Sira Gratz. Cluster algebras of infinite rank as colimits. Math. Z. , 281(3-4):1137--1169, 2015

  12. [20]

    Schur function expansions of KP -functions associated to algebraic curves

    John Harnad and Viktor Z \`E nol'skii. Schur function expansions of KP -functions associated to algebraic curves. Russian Mathematical Surveys , 66(4):767, 2011

  13. [21]

    On a cluster category of infinite D ynkin type, and the relation to triangulations of the infinity-gon

    Thorsten Holm and Peter J rgensen. On a cluster category of infinite D ynkin type, and the relation to triangulations of the infinity-gon. Math. Z. , 270(1-2):277--295, 2012

  14. [22]

    A cluster algebra approach to q -characters of K irillov- R eshetikhin modules

    David Hernandez and Bernard Leclerc. A cluster algebra approach to q -characters of K irillov- R eshetikhin modules. J. Eur. Math. Soc. (JEMS) , 18(5):1113--1159, 2016

  15. [23]

    Cluster algebras and category O for representations of B orel subalgebras of quantum affine algebras

    David Hernandez and Bernard Leclerc. Cluster algebras and category O for representations of B orel subalgebras of quantum affine algebras. Algebra Number Theory , 10(9):2015--2052, 2016

  16. [24]

    Cluster categories coming from cyclic posets

    Kiyoshi Igusa and Gordana Todorov. Cluster categories coming from cyclic posets. Comm. Algebra , 43(10):4367--4402, 2015

  17. [25]

    King, and Xiuping Su

    Bernt Tore Jensen, Alastair D. King, and Xiuping Su. A categorification of G rassmannian cluster algebras. Proc. Lond. Math. Soc. (3) , 113(2):185--212, 2016

  18. [26]

    M. E. Kazarian and S. K. Lando. Combinatorial solutions to integrable hierarchies. Russian Mathematical Surveys , 70(3):453, 2015

  19. [27]

    KP solitons and the G rassmannians: combinatorics and geometry of two-dimensional wave patterns , volume 22

    Yuji Kodama. KP solitons and the G rassmannians: combinatorics and geometry of two-dimensional wave patterns , volume 22. Springer, 2017

  20. [28]

    KP solitons and the R iemann theta functions

    Yuji Kodama. KP solitons and the R iemann theta functions. Letters in Mathematical Physics , 114(2):41, 2024

  21. [29]

    Methods of algebraic geometry in the theory of non-linear equations

    Igor Moiseevich Krichever. Methods of algebraic geometry in the theory of non-linear equations. Russian Mathematical Surveys , 32(6):185, 1977

  22. [30]

    Integration of nonlinear equations by the methods of algebraic geometry

    IM Krichever. Integration of nonlinear equations by the methods of algebraic geometry. Functional Analysis and Its Applications , 11(1):12--26, 1977

  23. [31]

    Bombay lectures on highest weight representations of infinite dimensional Lie algebras , volume 29

    Victor G Kac, Ashok K Raina, and Natasha Rozhkovskaya. Bombay lectures on highest weight representations of infinite dimensional Lie algebras , volume 29. World scientific, 2013

  24. [32]

    Categories and sheaves , volume 332 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

    Masaki Kashiwara and Pierre Schapira. Categories and sheaves , volume 332 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 2006

  25. [33]

    Soliton equations and the R iemann- S chottky problem

    Igor Krichever and Takahiro Shiota. Soliton equations and the R iemann- S chottky problem. arXiv preprint arXiv:1111.0164 , 2011

  26. [34]

    KP solitons, total positivity, and cluster algebras

    Yuji Kodama and Lauren K Williams. KP solitons, total positivity, and cluster algebras. Proceedings of the National Academy of Sciences , 108(22):8984--8989, 2011

  27. [35]

    KP solitons and total positivity for the G rassmannian

    Yuji Kodama and Lauren Williams. KP solitons and total positivity for the G rassmannian. Inventiones mathematicae , 198:637--699, 2014

  28. [36]

    Space curves and solitons of the KP hierarchy I

    Yuji Kodama and Yuancheng Xie. Space curves and solitons of the KP hierarchy I . T he l-th generalized K d V hierarchy. SIGMA. Symmetry, Integrability and Geometry: Methods and Applications , 17:024, 2021

  29. [37]

    An invitation to positive geometries

    Thomas Lam. An invitation to positive geometries. Open P roblems in A lgebraic C ombinatorics , 110:159--180, 2024

  30. [38]

    Total positivity in reductive groups

    George Lusztig. Total positivity in reductive groups. In Lie theory and geometry: in honor of Bertram Kostant , pages 531--568. Springer, 1994

  31. [39]

    Introduction to total positivity

    George Lusztig. Introduction to total positivity. Positivity in L ie theory: open problems , 26:133--145, 1998

  32. [40]

    I. G. Macdonald. Symmetric functions and H all polynomials . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, second edition, 1995. With contributions by A. Zelevinsky, Oxford Science Publications

  33. [41]

    Solitons: Differential equations, symmetries and infinite dimensional algebras , volume 135

    Tetsuji Miwa, Michio Jimbo, and Etsuro Date. Solitons: Differential equations, symmetries and infinite dimensional algebras , volume 135. Cambridge university press, 2000

  34. [42]

    Degeneration of trigonal curves and solutions of the kp-hierarchy

    Atsushi Nakayashiki. Degeneration of trigonal curves and solutions of the kp-hierarchy. Nonlinearity , 31(8):3567, 2018

  35. [43]

    On the expansion coefficients of KP tau function

    Atsushi Nakayashiki, Soichi Okada, and Yoko Shigyo. On the expansion coefficients of KP tau function. Journal of Integrable Systems , 2(1):xyx007, 2017

  36. [44]

    Weak separation and plabic graphs

    Suho Oh, Alexander Postnikov, and David E Speyer. Weak separation and plabic graphs. Proceedings of the London Mathematical Society , 110(3):721--754, 2015

  37. [45]

    Postnikov

    A. Postnikov. Total positivity, Grassmannians, and networks . 2006. https://arxiv.org/abs/math/0609764

  38. [46]

    Loop groups and their representations

    Andrew N Pressley and Graeme B Segal. Loop groups and their representations . Oxford University Press, Oxford, 1985

  39. [47]

    Completions of discrete cluster categories of type A

    Charles Paquette and Emine Y ld r m. Completions of discrete cluster categories of type A . Transactions of the London Mathematical Society , 8(1):35--64, Jan 2021

  40. [48]

    What is P ositive G eometry? arXiv preprint arXiv:2502.12815 , 2025

    Kristian Ranestad, Bernd Sturmfels, and Simon Telen. What is P ositive G eometry? arXiv preprint arXiv:2502.12815 , 2025

  41. [49]

    Soliton equations as dynamical systems on a infinite dimensional G rassmann manifolds (random systems and dynamical systems)

    Mikio Sato. Soliton equations as dynamical systems on a infinite dimensional G rassmann manifolds (random systems and dynamical systems). RIMS Kokyoroku , 439:30--46, 1981

  42. [50]

    S oliton E quations as D ynamical S ystems on I nfinite D imensional G rassmann M anifold

    Mikio Sato. S oliton E quations as D ynamical S ystems on I nfinite D imensional G rassmann M anifold. In Hiroshi Fujita, Peter D. Lax, and Gilbert Strang, editors, Nonlinear Partial Differential Equations in Applied Science; Proceedings of The U.S.-Japan Seminar, Tokyo, 1982 ...

  43. [51]

    Joshua S. Scott. Grassmannians and cluster algebras. Proc. London Math. Soc. (3) , 92(2):345--380, 2006

  44. [52]

    Characterization of J acobian varieties in terms of soliton equations

    Takahiro Shiota. Characterization of J acobian varieties in terms of soliton equations. Inventiones mathematicae , 83(2):333--382, 1986

  45. [53]

    Loop groups and equations of KdV type

    Graeme Segal and George Wilson. Loop groups and equations of KdV type. Publications Math \'e matiques de l'IH \'E S , 61:5--65, 1985

  46. [54]

    The tropical totally positive G rassmannian

    David Speyer and Lauren Williams. The tropical totally positive G rassmannian. Journal of A lgebraic C ombinatorics , 22:189--210, 2005

  47. [55]

    Freezing rooted cluster morphisms and pro-cluster algebras

    Damian Wierzbicki. Freezing rooted cluster morphisms and pro-cluster algebras . PhD thesis, University of Glasgow, 2022

  48. [56]

    The positive G rassmannian, the amplituhedron, and cluster algebras

    Lauren K Williams. The positive G rassmannian, the amplituhedron, and cluster algebras. In International congress of mathematicians , volume 10, pages 2110--10856, 2021

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.