Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Cluster structures on $SL_n/SO_n$

T0 review · 3 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The coordinate rings of the symmetric space SL_n/SO_n, its open strata ˚S_w, and the symmetric matrix variety Sym_n are cluster algebras, obtained by folding the cluster structures on double Bruhat cells of SL_n.

desk verdict Genuinely new cluster structures on SL_n/SO_n via folding, with a plausible main theorem whose weakest link is the codimension-2 induction step and some indexing errors that need fixing. read the letter →

arxiv 2607.14634 v1 pith:T33ZHZJA submitted 2026-07-16 math.RT

Jeff York Ye This is my paper · ORCID
classification math.RT MSC 13F6014M1753D17
keywords clusteralgebrassymmetricspacesSL_n/SO_ndoubleBruhatcellsfoldingPoissonstructuresmatricesSchubert
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

This paper constructs cluster structures on the symmetric space SL_n/SO_n over the complex numbers, on its open strata ˚S_w, and on the variety of symmetric n×n matrices. The construction folds the existing cluster structures on double Bruhat cells of SL_n along the inverse-transpose involution, and proves that the resulting folded seeds are locally acyclic, so the cluster algebra coincides with the upper cluster algebra. It also shows these cluster structures are compatible with the natural Poisson structure on the symmetric space, and identifies the cluster structure on symmetric matrices with one on a Schubert cell of the symplectic group. If correct, this gives the first cluster structures on a non-diagonal symmetric space.

What carries the argument

The main mechanism is the folding of a seed for the double Bruhat cell G_{w,w^{-1}} under the diagram involution induced by the inverse-transpose involution on SL_n. This folding identifies pairs of cluster variables that become equal on the symmetric space, producing a candidate seed for ˚S_w. Because the folded seed retains full rank and local acyclicity, the upper cluster algebra equals the coordinate ring. A second load-bearing component is the induction: for ℓ(s_i w s_i) = ℓ(w)+2, a reduction map relates ˚S_{s_i w s_i} to products of smaller strata, and a reflection map relates ˚S_{s_i w} and ˚S_{w s_i}; together with the base cases where each simple reflection appears at most once, the

What would settle it

For the stratum ˚S_{w0} of SL_3/SO_3, take the folded seed from the running example and compute the codimension of the vanishing set of any two distinct mutable cluster variables (for instance {g12 = 0, g11 g22 - g12^2 = 0}); finding a locus of codimension 1 would disprove the central isomorphism.

Watch

Extended reading notes

Core claim

The central result is Theorem 3.3: for any Weyl group elements u,v with v^{-1}u = w and ℓ(w) = ℓ(u)+ℓ(v), and any double reduced word i for (u,v), the folded seed es(i) gives an isomorphism between the upper cluster algebra U(es(i)) and the coordinate ring C[˚S_w], and es(i) is locally acyclic, so A(es(i)) = U(es(i)). Corollaries extend this to the coordinate rings of SL_n/SO_n and Sym_n via partial compactification. The proof proceeds by induction on w, using length-non-increasing cyclic shifts in the Weyl group to reduce to minimal-length elements, and it substitutes a codimension-two property for the factoriality that ˚S_w generally lacks. Along the way, the paper shows that the folded cl

Load-bearing premise

The proof depends on the claim that, in each stratum ˚S_w, the loci where two proposed cluster variables vanish simultaneously have codimension at least 2; these codimension bounds are the least explicit part of the induction, and if one failed the isomorphism between the folded upper cluster algebra and the coordinate ring would collapse.

Editorial extensions

If this is right

  • SL_n/SO_n, its strata ˚S_w, and Sym_n all carry cluster structures, so they inherit total positivity and cluster-theoretic canonical bases.
  • The cluster structures are compatible with the Poisson structure on the symmetric space, linking cluster theory to Poisson geometry in a new setting.
  • Sym_n is cluster-isomorphic to a Schubert cell in the symplectic flag variety Sp_{2n}/B, connecting symmetric matrix combinatorics to symplectic geometry.
  • These are the first cluster structures on symmetric spaces beyond the diagonal case, and the paper expects the methods to extend to other quasi-split symmetric pairs.
  • Partial compactification of the open strata yields a single cluster structure on the full symmetric space and on Sym_n, so the boundary is controlled by frozen variables.

Reading between the lines

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

  • Inference beyond the paper: the same folding strategy could be tested on other quasi-split symmetric pairs, with even-n type AIII as the natural first counterexample candidate.
  • Inference beyond the paper: local acyclicity gives a finite acyclic chart cover, so the cluster complex of SL_n/SO_n may be computationally tractable despite the absence of factoriality.
  • Inference beyond the paper: the cluster isomorphism between Sym_n and the Sp_{2n} Schubert cell predicts that the known Laurent phenomenon for symmetric minors is a special case of cluster positivity in the symplectic flag variety, which could be checked by explicit expansions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper constructs cluster structures on the strata S_w of the symmetric space SL_n/SO_n over C. For u,v in W with v^{-1}u=w and l(w)=l(u)+l(v), the author takes the BFZ seed s(j) for the double Bruhat cell G^{w,w^{-1}} associated with the double reduced word j=(-i^{-1},i), and folds it by the involution induced by the transpose. The resulting seed es(i) is claimed to satisfy U(es(i)) ≅ C[S_w] and to be locally acyclic, so that A(es(i))=U(es(i)) (Theorem 3.3). Corollaries 5.2 and 5.3 extend the construction to SL_n/SO_n and Sym_n. Section 4 proves compatibility with the De Concini Poisson structure, and Section 5 records a cluster isomorphism between Sym_n and a Schubert cell in Sp_{2n}. The proof is inductive on w, with reduction steps via deletion-contraction (Proposition 3.12), a reflection map (Corollary 3.14), and reduction to minimal-length elements of conjugacy classes using Geck-Pfeiffer [17].

Significance. If correct, this is the first construction of cluster structures on non-diagonal symmetric spaces, and it provides a new application of folding that avoids the usual global foldability assumptions. The non-factoriality of S_w is a genuine obstruction, and the paper's strategy of replacing factoriality by explicit codimension-2 conditions is a sensible and potentially valuable approach. The use of external results is appropriate, and the paper gives concrete applications to Sym_n and to a Schubert cell in type C. However, the inductive step that establishes the required codimension-2 bounds is not yet fully justified, and the base case of the induction contains unproved acyclicity assertions. These points are load-bearing for the main theorem, so the manuscript requires revision before it can be accepted.

major comments (3)
  1. [§3.3, Proposition 3.12] The inductive proof of the codimension-2 bounds is incomplete. To conclude from Corollary 3.10 that Z'_ij has codimension at least 2, one must apply that corollary to a full-rank seed for Spec(C^× × S_{w s_i}) and to the sets Z'_ij of that seed. The paper does not construct the seed for the C^× factor, does not verify full rank, and does not identify which cluster variable represents the first-coordinate function under π_W; if that coordinate is frozen, Corollary 3.10 does not apply to sets involving it. The sentence about Z^S_kk ('The same goes...') is also imprecise: on both W and V, μ_k(A^S_k) is the coordinate of the C^× factor, hence nonvanishing, so Z^S_kk is empty. Since Lemma 3.11 is the only route to the isomorphism U(es(i)) ≅ C[S_w], this gap in Proposition 3.12 is load-bearing for Theorem 3.3.
  2. [§3.3, Proposition 3.12 (local acyclicity)] The local acyclicity claim is asserted rather than proved. 'Freezing k gives s_W plus an isolated frozen vertex' is not literally correct: a sink vertex retains incoming arrows from mutable vertices after freezing, and those arrows are irrelevant to acyclicity only under a convention that is not stated. More importantly, the invocation of [25, Lemma 3.4] requires checking that the two cluster localizations form a cover of Spec U(s_0); the text only states that A_k and f cannot vanish simultaneously, without verifying the hypotheses of the lemma. Since A(es(i))=U(es(i)) is part of the main theorem, this step needs a complete proof rather than a two-sentence assertion.
  3. [§3.5, Lemma 3.15] The base case of the induction is not proved. The statement that for w with no repeated simple reflection the mutable part of s(j) is 'obtained by adding an orientation to a subgraph of the Dynkin diagram' is not shown, and the acyclicity of the folded seed es(i) is asserted without a quiver calculation. These facts are needed for the surjectivity via Corollary 2.8 and for the equality A=U via [2, Theorem 1.18]. As this is the base case for all conjugacy classes, the assertion must be replaced by a demonstration.
minor comments (5)
  1. [§2.2] In the definition of the seed s(i), 'Let i_k = −k for k∈[−r,1]' should presumably be 'k∈[−r,−1]'; also 'if there is no such m' should be 'no such l'.
  2. [§3.2, Lemma 3.6] The proof of full-rank preservation under folding is delegated to 'a standard linear algebra exercise'. Since this lemma is used in Lemma 3.11, a brief proof would improve readability.
  3. [§3.3, Proposition 3.12] Notation is confusing: i is used both for a simple reflection and, in the phrases 'i≠k' and 'i,j≠k', as a quiver-vertex index. Use a different letter for vertices.
  4. [Proof of Theorem 3.3] It should be clarified why cyclic shifts of equal length do not create additional cases. For minimal-length elements of S_n conjugacy classes, length-preserving simple conjugations either fix the element or are absent, but this is not stated.
  5. [§5.2.2, Corollary 5.3] The irreducibility proof of the frozen determinants via cofactor expansion is too terse: the 'degree count' and the role of the induction hypothesis for a should be spelled out.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central isomorphism is proved from external BFZ / folding / upper-bound results, and the only author self-citation [32] is non-load-bearing.

full rationale

The paper's central claim, U(es(i)) ≅ C[˚S_w] (Theorem 3.3), is obtained by folding the Berenstein–Fomin–Zelevinsky cluster structure on the double Bruhat cell G^{w,w^{-1}} ([2, Thm 2.3]) and then proving equality of upper cluster algebras via full-rank arguments (Lemma 3.6, Theorem 2.1), kernel identification (Proposition 3.7), codimension induction (Lemma 3.11, Proposition 3.12, Corollary 3.14), and the base case Lemma 3.15, with the reduction to minimal-length conjugacy-class elements supplied by the external theorem [17, Thm 1.1]. None of these inputs is the target statement, and no fitted parameter is renamed as a prediction. The only author self-citation is [32] (Song–Ye) in Section 5.2.2, where cluster structures on M_n are cited alongside [11]; the proof explicitly says it translates [11] into SL_{n+1}, so [32] is not load-bearing for the Sym_n result. The terse codimension verification in Proposition 3.12 is a potential correctness gap, but it is not a circular reduction: the paper does not equate the conclusion to an assumption by construction. Local acyclicity is imported from the external Muller result [25, Lemma 3.4]. Thus there is no circular step to report.

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

No free parameters: the only construction choices are reduced words i, and Lemma 3.2 proves all resulting seeds mutation equivalent. The paper is a derivation from external theorems (BFZ, folding [10], local acyclicity [25], Geck–Pfeiffer [17], [12] identities, [23] strata theory); the sole author self-citation [32] supports only the M_n comparison in §5.2.2. The folded seeds es(i) and the isomorphism Φ of §5.3 are explicit constructions verified against the known data, not entities postulated to make the conclusion true.

assumptions (8)
  • standard math BFZ theorem: for every double Bruhat cell G^{u,v} there is a seed s(i) with U(s(i)) ≅ C[G^{u,v}] and A = U ([2, Thm 2.3], [29, Thm 4.13]).
    Input to the whole construction; the folded seeds es(i) are defined from s(j) for G^{w,w^{-1}} in Section 3.1.
  • standard math Full-rank and acyclic/locally-acyclic upper cluster algebra theorems ([2, Cor 1.9, Thm 1.18]; [25]).
    Used in Lemma 3.6 (folded seed has full rank), Lemma 3.11 (upper bound via adjacent seeds), and Prop 3.12 (local acyclicity implies A = U).
  • standard math Folding framework: Γ-admissibility conditions and Lemmas 2.5/2.6 from [10] — mutation and cluster variables are compatible with folding.
    The whole method depends on these; the paper verifies admissibility (Lemmas 3.1, 3.2) and claims the globally-foldable hypothesis is unnecessary (Remark 2.7).
  • standard math Determinantal identities relating the minors Δ_{uω_i,ω_i}, Δ_{us_iω_i,s_iω_i}, etc., from [12, Thm 1.17].
    Used in Prop 3.13 (reflection map) and implicitly in the frozen-variable matching. The paper transcribes the product index incorrectly (ω_i for ω_j), so the printed identity is not the standard one.
  • standard math Geck–Pfeiffer [17, Thm 1.1]: every element of S_n can be reduced, by cyclic shifts x ↦ s_i x s_i with ℓ(x) not increasing, to a minimal-length element of its conjugacy class, which has the disjoint-cycle form in Section 3.5.
    Guarantees that the induction in Theorem 3.3 (Prop 3.12 + Cor 3.14 + base cases in Lemma 3.15) covers all of W.
  • domain assumption Lu's results [23, Thm 1.1]: the strata ˚S_w = S ∩ B^+wB^+ are irreducible, smooth T-leaves of dimension ℓ(w)+rank(G).
    Gives primeness of the vanishing ideal (Prop 3.7) and the dimension/codimension bookkeeping in Prop 3.12.
  • domain assumption Over C, every symmetric matrix in SL_n is of the form gg^T with g ∈ SL_n, so R = S (Section 2.4).
    Identifies the twisted conjugacy class with symmetric matrices; used for ˚S_w = S ∩ G^{w,w^{-1}} and for folding compatibility (g^T = g on S).
  • standard math Existing cluster structure on M_n from [11, 32], used in §5.2.2 via the GL_n ⊂ SL_{n+1} embedding.
    The single input taken from the author's own preprint (Song–Ye [32]); it enters only the Sym_n application, not Theorem 3.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cluster structures on $SL_n/SO_n$." pith.science (2026). https://pith.science/paper/T33ZHZJA

@misc{pith2026260714634,
  author       = {Pith},
  title        = {Pith review of: Cluster structures on $SL_n/SO_n$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T33ZHZJA}},
  note         = {Machine review of arXiv:2607.14634}
}
abstract

We construct cluster structures on the strata $\mathring{S}_w$ of a stratification of the symmetric space $SL_n/SO_n$ over $\mathbb{C}$. To accomplish this, we study foldings of upper cluster algebras and show that the cluster structures on $SL_n/SO_n$ can be obtained from those on $SL_n$ via folding. As a corollary, we show that these cluster structures are compatible with the De Concini Poisson structures, and we construct cluster structures on the variety of symmetric matrices $\text{Sym}_n$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Cluster Algebras for Bosonic Plethysm

    math.RT 2026-08 conditional novelty 7.0 of 10

    For tuples of symmetric matrices, an explicit folded cluster seed gives the invariant ring and expresses symmetric-square plethysm coefficients as alternating sums of cone lattice point counts.

Reference graph

Works this paper leans on

33 extracted references · 5 linked inside Pith · cited by 1 Pith paper

  1. [32]

    Song and J

    J. Song and J. Y. Ye,Reductive monoids and cluster algebras(2025), available athttps: //arxiv.org/abs/2512.09564

    arXiv 2025

  2. [12]

    Fomin and A

    S. Fomin and A. Zelevinsky,Double Bruhat cells and total positivity, J. Amer. Math. Soc. 12(1999), no. 2, 335–380

    1999

  3. [17]

    Geck and G

    M. Geck and G. Pfeiffer,On the irreducible characters of Hecke algebras, Adv. Math.102 (1993), no. 1, 79–94

    1993

  4. [1]

    Bao,Total positive and symmetric spaces(2026), available athttps://arxiv.org/abs/ 2606.25516

    H. Bao,Total positive and symmetric spaces(2026), available athttps://arxiv.org/abs/ 2606.25516

    arXiv 2026

  5. [2]

    Berenstein, S

    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

    2005

  6. [3]

    Berenstein and A

    A. Berenstein and A. Zelevinsky,Quantum cluster algebras, Adv. Math.195(2005), no. 2, 405–455

    2005

  7. [4]

    Demonet,Alg` ebres amass´ ees et alg` ebres pr´ eprojectives: le cas non simplement lac´ e, C

    L. Demonet,Alg` ebres amass´ ees et alg` ebres pr´ eprojectives: le cas non simplement lac´ e, C. R. Math. Acad. Sci. Paris346(2008), no. 7-8, 379–384 (French, with English and French summaries)

    2008

  8. [5]

    Dupont,An approach to non-simply laced cluster algebras, J

    G. Dupont,An approach to non-simply laced cluster algebras, J. Algebra320(2008), no. 4, 1626–1661

    2008

Show all 33 references
  1. [6]

    Enriquez and P

    B. Enriquez and P. Etingof,Quantization of classical dynamicalr-matrices with nonabelian base, Comm. Math. Phys.254(2005), no. 3, 603–650

    2005

  2. [7]

    Evens and J.-H

    S. Evens and J.-H. Lu,Poisson geometry of the Grothendieck resolution of a complex semisim- ple group, Mosc. Math. J.7(2007), no. 4, 613–642, 766 (English, with English and Russian summaries)

    2007

  3. [8]

    V. V. Fock and A. B. Goncharov,ClusterX-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

  4. [9]

    Felikson, M

    A. Felikson, M. Shapiro, and P. Tumarkin,Cluster algebras of finite mutation type via un- foldings, Int. Math. Res. Not. IMRN8(2012), 1768–1804. 21

    2012

  5. [10]

    Fomin, L

    S. Fomin, L. Williams, and A. Zelevinsky,Introduction to Cluster Algebras. Chapters 4-5 (2021), available athttps://arxiv.org/abs/1707.07190

    2021 arXiv

  6. [11]

    Chapter 6(2021), available athttps://arxiv

    ,Introduction to Cluster Algebras. Chapter 6(2021), available athttps://arxiv. org/abs/2008.09189

    2021 arXiv

  7. [13]

    ,Cluster algebras. I. Foundations, J. Amer. Math. Soc.15(2002), no. 2, 497–529

    2002

  8. [14]

    ,Cluster algebras. II. Finite type classification, Invent. Math.154(2003), no. 1, 63–121

    2003

  9. [15]

    Fraser,Quasi-homomorphisms of cluster algebras, Adv

    C. Fraser,Quasi-homomorphisms of cluster algebras, Adv. in Appl. Math.81(2016), 40–77

    2016

  10. [16]

    Galashin, T

    P. Galashin, T. Lam, and M. Sherman-Bennett,Braid variety cluster structures, II: general type, Invent. Math.243(2026), no. 3, 1079–1127

    2026

  11. [18]

    C. Geiß, B. Leclerc, and J. Schr¨ oer,Kac-Moody groups and cluster algebras, Adv. Math. 228(2011), no. 1, 329–433

    2011

  12. [19]

    Gekhtman, M

    M. Gekhtman, M. Shapiro, and A. Vainshtein,Cluster algebras and Poisson geometry, Math- ematical Surveys and Monographs, vol. 167, American Mathematical Society, Providence, RI, 2010

    2010

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

  14. [21]

    I. C.-H. Ip and R. Man,Positive representations with zero Casimirs, Comm. Math. Phys. 405(2024), no. 4, Paper No. 91, 60

    2024

  15. [22]

    V. G. Kac,Infinite-dimensional Lie algebras, Progress in Mathematics, vol. 44, Birkh¨ auser Boston, Inc., Boston, MA, 1983. An introduction

    1983

  16. [23]

    Lu,On theT-leaves and the ranks of a Poisson structure on twisted conjugacy classes, Indag

    J.-H. Lu,On theT-leaves and the ranks of a Poisson structure on twisted conjugacy classes, Indag. Math. (N.S.)25(2014), no. 5, 1102–1121

    2014

  17. [24]

    Lusztig,Introduction to quantum groups, Progress in Mathematics, vol

    G. Lusztig,Introduction to quantum groups, Progress in Mathematics, vol. 110, Birkh¨ auser Boston, Inc., Boston, MA, 1993

    1993

  18. [25]

    Muller,Locally acyclic cluster algebras, Adv

    G. Muller,Locally acyclic cluster algebras, Adv. Math.233(2013), 207–247

    2013

  19. [26]

    Oya,A note on a cluster structure of the coordinate ring of a simple algebraic group (2025), available athttps://arxiv.org/abs/2504.09011

    H. Oya,A note on a cluster structure of the coordinate ring of a simple algebraic group (2025), available athttps://arxiv.org/abs/2504.09011

    2025

  20. [27]

    Qin,Analogs of the dual canonical bases for cluster algebras from Lie theory(2025), available athttps://arxiv.org/abs/2407.02480

    F. Qin,Analogs of the dual canonical bases for cluster algebras from Lie theory(2025), available athttps://arxiv.org/abs/2407.02480

    2025 arXiv

  21. [28]

    Qin and M

    F. Qin and M. Yakimov,Partially compactified quantum cluster structures on simple al- gebraic groups and the full Berenstein–Zelevinsky conjecture(2025), available athttps: //arxiv.org/abs/2504.05134

    2025 arXiv

  22. [29]

    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

  23. [30]

    T. A. Springer,Some results on algebraic groups with involutions, Algebraic groups and related topics (Kyoto/Nagoya, 1983), Adv. Stud. Pure Math., vol. 6, North-Holland, Amster- dam, 1985, pp. 525–543

    1983

  24. [31]

    Sturmfels, E

    B. Sturmfels, E. Tsukerman, and L. Williams,Symmetric matrices, Catalan paths, and correlations, J. Combin. Theory Ser. A144(2016), 496–510

    2016

  25. [33]

    Zhou,Cluster structures and subfans in scattering diagrams, SIGMA Symmetry Integra- bility Geom

    Y. Zhou,Cluster structures and subfans in scattering diagrams, SIGMA Symmetry Integra- bility Geom. Methods Appl.16(2020), Paper No. 013, 35. Department of Mathematics, National University of Singapore, Singapore. Email address:e1124873@u.nus.edu

    2020

Pith tools

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