REVIEW 4 major objections 5 minor 1 cited by
Upper cluster structure on Kac--Moody Richardson varieties
T0 review · 4 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper proves that the coordinate ring of every open Richardson variety in a symmetrizable Kac-Moody flag variety is an upper cluster algebra, and extends the result to twisted products.
desk verdict A serious, important generalization of cluster structures on Richardson varieties, but the proof of the main theorem has a gap in its quotient diagram that needs explicit fixing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing tool is the rational quasi-cluster map: a rational map between cluster algebras that sends each cluster variable to a cluster variable up to a Laurent monomial in frozen variables and preserves exchange ratios. Through the Bruhat atlas isomorphisms, which locally factor a Richardson variety into a product of smaller Richardson varieties, these maps let the authors transfer the known upper cluster structure on $\mathring{B}_{e,w}$ to $\mathring{B}_{v,w}$. For twisted products, the thickening map embeds $\mathring{Z}_{v,w}$ into a Richardson variety inside a larger Kac-Moody flag variety, where the extra torus directions become frozen cluster variables that can be deleted.
What would settle it
For a symmetrizable indefinite Kac-Moody group, such as the rank-2 example with Cartan matrix $\begin{pmatrix}2&-2\\-2&2\end{pmatrix}$, compute the rational function $T_{r,v}$ after the mutation sequence in Definition 5.2 and check whether its exchange ratio acquires a non-frozen monomial factor; if it does, the induction in Proposition 5.7 fails and the upper cluster structure on $\mathring{B}_{v,w}$ is not established. Alternatively, test the fibration in Proposition 6.3 directly for this example by examining whether the locally trivial $(\mathbb{C}^\times)^{n-1}$ bundle and its section exist.
Extended reading notes
Core claim
The central claim is Theorem 5.13: for any $v \le w$ in the Weyl group of a symmetrizable Kac-Moody group, the coordinate ring $\mathbb{C}[\mathring{B}_{v,w}]$ is isomorphic to the upper cluster algebra $\mathcal{U}(s(v,w))$ for an explicitly constructed seed. Theorem 6.5 extends this to open Richardson varieties $\mathring{Z}_{v,w}$ on twisted products of flag varieties, and Propositions 7.4 and 7.5 identify the cluster positive locus with the totally nonnegative part $B_{v,w,>0} = B^{\mathrm{cl}}_{v,w,>0}$ and $Z_{v,w,>0} = Z^{\mathrm{cl}}_{v,w,>0}$. The proof realizes $\mathring{B}_{v,w}$ as a quotient of $\mathring{B}_{e,w}$ by setting certain rational functions $T_{r(l),v(l)}$ to $1$, then transfers the known upper cluster structure on $\mathring{B}_{e,w}$ through the Bruhat atlas using rational quasi-cluster maps, so that freezing and deleting the right vertices yields a seed for $\mathring{B}_{v,w}$.
Load-bearing premise
The twisted-product theorem rests on an unpublished fibration statement (Proposition 6.3) asserting that the thickened Richardson variety fibers over the twisted-product Richardson variety with a torus factor and a section; if that fibration does not hold in the Kac-Moody setting, the twisted-product upper cluster structure does not follow.
Editorial extensions
If this is right
- Every open Richardson variety in a symmetrizable Kac-Moody flag variety carries an explicit upper cluster algebra whose seed is read off from reduced words.
- The same holds for open Richardson varieties on twisted products, so reduced double Bruhat cells, Bott-Samelson varieties, and braid varieties all have upper cluster structures in Kac-Moody type.
- The cluster positive locus equals the Lusztig totally nonnegative part, so the cluster-theoretic notion of positivity reproduces the canonical-basis notion of positivity.
- The constructed seeds have full rank and admit reddening sequences, which yields canonical theta bases parametrized by integral tropical points.
- The result contains the finite-type theorems of the paper's references [5] and [18] as special cases, with matching seeds in finite type.
Reading between the lines
- If the paper's Conjecture 5.15 on local acyclicity holds, the upper cluster algebra would coincide with the ordinary cluster algebra, strengthening the isomorphism from an upper cluster structure to a full cluster structure.
- The thickening method suggests that any variety fibered over a Richardson variety with a torus factor and a section should inherit an upper cluster structure whenever the thickened variety admits one, potentially yielding cluster structures on new families of moduli spaces.
- The equality of cluster positivity and total nonnegativity may give a practical way to compute totally nonnegative parts in indefinite Kac-Moody types, where canonical bases are far less explicit than in finite type.
- The full-rank and reddening-sequence results invite applying the theta-basis and quantization machinery to these Kac-Moody Richardson varieties, going beyond the canonical-basis consequence the paper itself states.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for any symmetrizable Kac-Moody group G and any v ≤ w in its Weyl group, the coordinate ring of the open Richardson variety ˚B_{v,w} in the full flag variety is an upper cluster algebra (Theorem 5.13), and that the same holds for open Richardson varieties in twisted products of flag varieties (Theorem 6.5), covering reduced double Bruhat cells, Bott-Samelson varieties, and braid varieties. It also identifies the cluster positive locus with the Lusztig totally nonnegative part (Propositions 7.4-7.5) and proves full-rank and reddening-sequence properties. The strategy is to start from Shen-Weng's cluster structure on double Bott-Samelson configuration spaces, use rational quasi-cluster maps to realize the defining functions T_{r(l),v(l)} as exchange-ratio monomials, and then pass to ˚B_{v,w} by freezing and deletion.
Significance. If the proof can be repaired, these results are significant: they would establish the Kac-Moody analogue of Leclerc's conjecture, provide a uniform seed construction generalizing recent finite-type work, extend the theory to twisted products, and give a new identification of cluster positive loci with Lusztig totally nonnegative parts. The paper also provides an explicit seed algorithm, full-rank and reddening-sequence statements, and a concrete comparison with prior seeds. The main reservations are technical: the quotient step in the proof of Theorem 5.13 has a load-bearing gap, and the twisted-product results depend on an unpublished fibration theorem. These issues prevent me from recommending acceptance before revision.
major comments (4)
- [Theorem 5.13, proof (Section 5.3)] The bullet defining the quotient map U(˜s_m) → U(s_m) is not justified. Proposition 5.9 asserts that T_{r(l),v(l)} equals X_{(i,n_i-a_l+1)} times a monomial of frozen variables. Since ε_{d,d}=0 and p_{d,d}=0 in (4.4), the exchange ratio X_d is a monomial in variables adjacent to d and does not contain A_d. Therefore, once the image of A^{-1}_d is chosen, the image of T_{r(l),v(l)} is forced; it cannot also be declared to be 1. The displayed diagram thus does not show that C[˚B_{v,w}] is U(s_m); it only exhibits C[˚B_{v,w}] as a quotient of U(s_m) unless the frozen monomial in Proposition 5.9 is identically 1. Remark 5.10 says that the precise monomial is not needed, but this is exactly the point where it is needed.
- [Definition 5.11 / Proposition 2.4] The deletion step in Definition 5.11 is applied to the vertex (i,n_i-a_l+1). For a_l>1 this vertex is mutable in s(w), since it satisfies 0 < n_i-a_l+1 < n_i, and the definition only freezes its neighbours, not the vertex itself. Proposition 2.4 provides a deletion isomorphism only for frozen vertices. The paper does not explain why the vertex is frozen before deletion, so the passage from U(˜s_m) to U(s_m) in Theorem 5.13 is not a direct consequence of the cited seed operations.
- [Proposition 5.7, proof] In the induction step for i=j, the equality Φ*_l(A'_{(j,m'_j)}) = Φ*_{l-1}(X''_{(j,m''_j)}) is used to conclude that this element is a monomial of frozen variables. The induction hypothesis applied to Φ_{l-1} only says that Φ*_{l-1}(X''_{(j,m''_j)}) is X_{(j,m_j)} times a frozen monomial, not that it is itself a frozen monomial. No argument is given that X_{(j,m_j)} is a frozen monomial in this situation. This gap is load-bearing because Proposition 5.7 feeds directly into Proposition 5.9.
- [Proposition 6.3 / Theorem 6.5] Theorem 6.5 and Proposition 7.5 rest on Proposition 6.3, quoted from the unpublished preprint [3], which asserts a locally trivial (C×)^{n-1} fibration Z' → Z with section th. This is load-bearing for all twisted-product results. The manuscript should either include a proof of Proposition 6.3 or explicitly state that Theorem 2 and Proposition 7.5 are conditional on [3]. The current citation is not sufficient for a referee to verify the main theorem.
minor comments (5)
- [§2.7] The notation for the seed s(i) with reversed exchange matrix is not typeset distinctly; the sentence 'The seed s(i) for i ∈ I is the same as s(i) but with exchange matrix (−εij)' is confusing and should use an overline or another label.
- [Lemma 3.5] Lemma 3.5 is used later in Proposition 3.6, but its proof is a single sentence referring to Lemma 3.3 after displaying diagrams; this should be expanded for the reader.
- [Remark 4.17] The phrase 'there is a secret shift on the index sets' is informal; since the shift is essential to the correspondence of vertices, it should be replaced by a precise statement.
- [Proposition 7.2] The symmetrizable case is dismissed with 'standard folding arguments; see [11]'; either give the precise folding argument or state the proposition only under the symmetric assumption.
- [References] Reference [23] is listed as 'Unpublished'; if it is used, provide a preprint reference, and if not, remove the citation.
Circularity Check
No significant circularity: the main upper-cluster theorems reduce to independent Shen–Weng/Williams cluster structures plus freezing/deletion, and the self-cited Bao–He inputs are separate geometric statements, not restatements of the target result.
full rationale
The claimed derivation is not circular at the level required here. Theorem 5.13 starts from the established upper cluster structure on Conf_w(A) (Theorem 2.5, citing Shen–Weng [36, Theorem 1.1] and Williams [38]) and then uses the Bruhat-atlas quotient presentation of C[B_v,w] (Proposition 3.6) together with the identification of the defining functions T_{r(l),v(l)} with exchange-ratio monomials (Proposition 5.9). The seed s(v,w) is obtained by freezing and deletion, and the proof aims to show C[B_v,w] ≅ U(s_m). The target algebra is not an input to any of these steps. The self-citations to Bao–He [3] in Theorem 6.5 and Proposition 6.4 are load-bearing for the twisted-product case, but they supply a separate geometric fibration and total-positivity comparison; they do not assert that the coordinate ring is an upper cluster algebra, so they are independent evidence rather than a self-referential derivation. Similarly, Proposition 7.4 relies on [2], [3], [31], and [9], which are external geometric results. The skeptical issue in the proof of Theorem 5.13 concerning the frozen monomial in Proposition 5.9 (Remark 5.10 explicitly declines to specify the monomial) is a possible correctness gap in the quotient-diagram argument, not a circularity: there is no exhibited equation of the form 'target = input by construction' and no fitted parameter renamed as a prediction. Accordingly, the circularity score is 0.
Assumptions & free parameters
assumptions (6)
- domain assumption Bruhat atlas isomorphisms (3.1) and (3.2): ˚B_{v,w} ∩ ˙rU−B+/B+ ≅ ˚B_{v,r} × ˚B_{r,w} for v ≤ r ≤ w.
- domain assumption Shen-Weng theorem [36, Theorem 1.1]: Conf_β^β'(A) is a smooth affine variety with an upper cluster structure and seed s(w).
- standard math Marsh-Rietsch parametrization facts [31, Proposition 8.1 and Theorem 7.1].
- ad hoc to paper Bao-He thickening fibration [3, Proposition 3.2]: there is a locally trivial (C×)^{n-1} fibration π: Z' → Z sending ˚B_{v,˜w} to ˚Z_{v,w}.
- standard math Fomin-Williams-Zelevinsky freezing and deletion facts [32, Propositions 3.1 and 3.7], cited here as Propositions 2.3 and 2.4.
- ad hoc to paper The symmetrizable case of braid-move seed independence follows from the symmetric case by standard folding arguments [11].
invented entities (1)
-
Thickened Kac-Moody group \tilde G with enlarged generalized Cartan matrix (extra vertices ∞_1, ..., ∞_{n-1})
Cite this review
Pith. "Pith review of Upper cluster structure on Kac--Moody Richardson varieties." pith.science (2026). https://pith.science/paper/MUGSDN23
@misc{pith2026250610382,
author = {Pith},
title = {Pith review of: Upper cluster structure on Kac--Moody Richardson varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/MUGSDN23}},
note = {Machine review of arXiv:2506.10382}
}
read the original abstract
We show coordinate rings of open Richardson varieties are upper cluster algebras for any symmetrizable Kac--Moody type. We further show the coordinate rings of (generalized) open Richardson varieties on the twisted product of flag varieties are upper cluster algebras for any symmetrizable Kac--Moody type. This includes, as special cases, reduced double Bruhat cells, Bott-Samelson varieties, braid varieties. Our results generalize various results by Casals--Gorsky--Gorsky--Le--Shen--Simental and Galashin--Lam--Sherman-Bennett--Speyer in finite types.
Forward citations
Cited by 1 Pith paper
-
Towards Monoidal Categorifications of Twisted Products of Flag Varieties
The Grothendieck ring of the intersection of two monoidal categories C(β)∩C_v contains the cluster algebra of the twisted product of flag varieties, with cluster monomials given by classes of simple objects.
Reference graph
Works this paper leans on
-
[3]
, Total positivity in twisted product of flag varieties (2022), available at arXiv:math.RT/2211.11168
arXiv 2022
- [1]
-
[2]
, Product structure and regularity theorem for totally nonnegative flag varieties , Invent. Math. 237 (2024), no. 1, 1–47
work page 2024
-
[4]
A. Berenstein, S. Fomin, and A. Zelevinsky, Cluster algebras. III. Upper bounds and double Bruhat cells , Duke Math. J. 126 (2005), no. 1, 1–52. 30 HUANCHEN BAO AND JEFF YORK YE
work page 2005
- [5]
- [6]
-
[7]
G. Cerulli Irelli, B. Keller, D. Labardini-Fragoso, and P. Plamondon, Linear independence of cluster mono- mials for skew-symmetric cluster algebras , Compos. Math. 149 (2013), no. 10, 1753–1764
work page 2013
-
[8]
L. Demonet and B. Keller, A survey on maximal green sequences , Representation theory and beyond, Con- temp. Math., vol. 758, Amer. Math. Soc., [Providence], RI, 2020, pp. 267–286
work page 2020
Show all 38 references
-
[9]
Deodhar, On some geometric aspects of Bruhat orderings
Vinay V. Deodhar, On some geometric aspects of Bruhat orderings. I. A finer decomposition of Bruhat cells , Invent. Math. 79 (1985), no. 3, 499–511
1985
-
[10]
V. V. Fock and A. B. Goncharov, Cluster X -varieties, amalgamation, and Poisson-Lie groups , Algebraic geometry and number theory, Progr. Math., vol. 253, Birkh¨ auser Boston, Boston, MA, 2006, pp. 27–68
2006
-
[11]
, Cluster ensembles, quantization and the dilogarithm , Ann. Sci. ´Ec. Norm. Sup´ er. (4) 42 (2009), no. 6, 865–930
2009
-
[12]
Fomin, L
S. Fomin, L. Williams, and A. Zelevinsky, Introduction to Cluster Algebras. Chapter 6 (2021), available at arXiv:math.AC/2008.09189
2021 arXiv
-
[13]
Fomin and A
S. Fomin and A. Zelevinsky, Cluster algebras. I. Foundations, J. Amer. Math. Soc. 15 (2002), no. 2, 497–529
2002
-
[14]
, Cluster algebras. IV. Coefficients , Compos. Math. 143 (2007), no. 1, 112–164
2007
-
[15]
Fraser, Quasi-homomorphisms of cluster algebras , Adv
C. Fraser, Quasi-homomorphisms of cluster algebras , Adv. in Appl. Math. 81 (2016), 40–77
2016
-
[16]
Galashin and T
P. Galashin and T. Lam, Positroid varieties and cluster algebras , Ann. Sci. ´Ec. Norm. Sup´ er. (4)56 (2023), no. 3, 859–884, DOI 10.24033/asens.2545 (English, with English and French summaries)
2023 doi
-
[17]
Galashin, T
P. Galashin, T. Lam, M. Sherman-Bennett, and D. Speyer, Braid variety cluster structures, I: 3D plabic graphs (2022), available at arXiv:math.CO/2210.04778
2022 arXiv
-
[18]
Galashin, T
P. Galashin, T. Lam, and M. Sherman-Bennett, Braid variety cluster structures, II: general type (2023), available at arXiv:math.AG/2301.07268v2
2023
-
[19]
Geiss, B
C. Geiss, B. Leclerc, and J. Schr¨ oer,Factorial cluster algebras, Doc. Math. 18 (2013), 249–274
2013
-
[20]
Gross, P
M. Gross, P. Hacking, S. Keel, and M. Kontsevich, Canonical bases for cluster algebras , J. Amer. Math. Soc. 31 (2018), no. 2, 497–608
2018
-
[21]
A. B. Goncharov and L. Shen, Quantum geometry of moduli spaces of local systems and representation theory (2024), available at arXiv:math.RT/1904.10491
2024 arXiv
-
[22]
Gekhtman, M
M. Gekhtman, M. Shapiro, and A. Vainshtein, On the properties of the exchange graph of a cluster algebra , Math. Res. Lett. 15 (2008), no. 2, 321–330
2008
-
[23]
X. He, A. Knutson, and J. Lu, Bruhat atlas , Unpublished
-
[24]
Kashiwara, M
M. Kashiwara, M. Kim, S. Oh, and E. Park, Monoidal categories associated with strata of flag manifolds , Adv. Math. 328 (2018), 959–1009
2018
-
[25]
Kazhdan and G
D. Kazhdan and G. Lusztig, Schubert varieties and Poincar´ e duality, Geometry of the Laplace operator (Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 1979), Proc. Sympos. Pure Math., vol. XXXVI, Amer. Math. Soc., Providence, RI, 1980, pp. 185–203
1979
-
[26]
Kumar, Kac–Moody groups, their flag varieties and representation theory , Progress in Mathematics, vol
S. Kumar, Kac–Moody groups, their flag varieties and representation theory , Progress in Mathematics, vol. 204, Birkh¨ auser Boston, Inc., Boston, MA, 2002
2002
-
[27]
, Positivity in T -equivariant K-theory of flag varieties associated to Kac–Moody groups , J. Eur. Math. Soc. (JEMS) 19 (2017), no. 8, 2469–2519. With an appendix by Masaki Kashiwara
2017
-
[28]
Knutson, A
A. Knutson, A. Woo, and A. Yong, Singularities of Richardson varieties , Math. Res. Lett. 20 (2013), no. 2, 391–400
2013
-
[29]
Leclerc, Cluster structures on strata of flag varieties , Adv
B. Leclerc, Cluster structures on strata of flag varieties , Adv. Math. 300 (2016), 190–228
2016
-
[30]
Lusztig, Total positivity in reductive groups, Lie theory and geometry, Progr
G. Lusztig, Total positivity in reductive groups, Lie theory and geometry, Progr. Math., vol. 123, Birkh¨ auser Boston, Boston, MA, 1994, pp. 531–568
1994
-
[31]
R. J. Marsh and K. Rietsch, Parametrizations of flag varieties , Represent. Theory 8 (2004), 212–242
2004
-
[32]
Muller, Locally acyclic cluster algebras , Adv
G. Muller, Locally acyclic cluster algebras , Adv. Math. 233 (2013), 207–247
2013
-
[33]
M´ enard,Cluster algebras associated with open Richardson varieties: an algorithm to compute initial seeds (2022), available at arXiv:math.RT/arXiv:2201.10292
E. M´ enard,Cluster algebras associated with open Richardson varieties: an algorithm to compute initial seeds (2022), available at arXiv:math.RT/arXiv:2201.10292
2022 arXiv
-
[34]
Muller, The existence of a maximal green sequence is not invariant under quiver mutation , Electron
G. Muller, The existence of a maximal green sequence is not invariant under quiver mutation , Electron. J. Combin. 23 (2016), no. 2, Paper 2.47, 23
2016
-
[35]
Serhiyenko and M
K. Serhiyenko and M. Sherman-Bennett, Leclerc’s conjecture on a cluster structure for type A Richardson varieties, Adv. Math. 447 (2024), Paper No. 109698, 53, DOI 10.1016/j.aim.2024.109698
2024
-
[36]
Shen and D
L. Shen and D. Weng, Cluster structures on double Bott-Samelson cells , Forum Math. Sigma 9 (2021), Paper No. e66, 89
2021
-
[37]
Tits, Uniqueness and presentation of Kac–Moody groups over fields, J
J. Tits, Uniqueness and presentation of Kac–Moody groups over fields, J. Algebra 105 (1987), no. 2, 542–573
1987
-
[38]
Williams, Cluster ensembles and Kac–Moody groups , Adv
H. Williams, Cluster ensembles and Kac–Moody groups , Adv. Math. 247 (2013), 1–40. Department of Mathematics, National University of Singapore, Singapore. Email address : huanchen@nus.edu.sg Department of Mathematics, National University of Singapore, Singapore. Email address ...
2013
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.