Recognition: 2 theorem links
· Lean TheoremQuantum cluster algebra realization for stated {rm SL}_n-skein algebras and rotation-invariant bases for polygons
Pith reviewed 2026-05-13 03:44 UTC · model grok-4.3
The pith
For polygons, the localized stated SL_n-skein algebra equals both the quantum cluster algebra and the quantum upper cluster algebra built from its fraction field.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that for a polygon S, the localized stated skein algebra equals the quantum cluster algebra and upper cluster algebra: S_ω^fr(S) = A_ω^fr(S) = U_ω^fr(S), and likewise for the projected version. This identification is obtained by constructing a quantum cluster structure on the skew-field of fractions of the stated SL_n-skein algebra for triangulable surfaces without interior punctures and then verifying the equality specifically on polygons. Consequently the theta basis of the upper cluster algebra yields a rotation-invariant basis of the skein algebra possessing positivity and a natural parametrization.
What carries the argument
The quantum cluster algebra and upper cluster algebra associated to the skew-field of fractions of the stated SL_n-skein algebra, realized via a compatible triangulation of the polygon.
If this is right
- The theta basis of the upper cluster algebra supplies a rotation-invariant basis for the skein algebra on any polygon.
- This basis is positive and carries a natural parametrization by cluster variables.
- The same identifications hold after projection, giving analogous bases for the projected skein algebra.
Where Pith is reading between the lines
- The polygon case may serve as a building block for gluing arguments that extend the equality to surfaces with more boundary components.
- Explicit low-rank calculations on triangles or quadrilaterals could produce closed-form expressions for the rotation-invariant bases.
- The positivity inherited from the cluster side suggests new ways to compare skein relations with cluster mutations in higher rank.
Load-bearing premise
The surface is restricted to a polygon that admits a triangulation compatible with the stated skein construction, and the argument relies on prior results for the projected case.
What would settle it
An explicit basis computation for the stated skein algebra on a quadrilateral with small n that produces more or fewer elements than the corresponding cluster algebra would falsify the claimed equality.
Figures
read the original abstract
We construct a quantum cluster structure on the skew-field of fractions ${\rm Frac}({\mathscr S}_\omega(\mathfrak{S}))$ of the stated ${\rm SL}_n$-skein algebra ${\mathscr S}_\omega(\mathfrak{S})$, where $\mathfrak{S}$ is a triangulable pb surface without interior punctures. This work complements the construction for the projected stated skein algebra $\widetilde{\mathscr S}_\omega(\mathfrak{S})$ given by the last two authors. Let ${\mathscr S}_\omega^{\rm fr}(\mathfrak{S})$ denote the localization of ${\mathscr S}_\omega(\mathfrak{S})$ at the multiplicative set generated by all frozen variables. Let ${\mathscr A}_\omega^{\rm fr}(\mathfrak{S})$ and ${\mathscr U}_\omega^{\rm fr}(\mathfrak{S})$ (respectively $\overline{\mathscr A}_\omega(\mathfrak{S})$ and $\overline{\mathscr U}_\omega(\mathfrak{S})$) denote the quantum cluster algebra and quantum upper cluster algebra associated to ${\rm Frac}({\mathscr S}_\omega(\mathfrak{S}))$ (respectively ${\rm Frac}(\widetilde{\mathscr S}_\omega(\mathfrak{S}))$). We prove that \[ \widetilde{\mathscr S}_\omega(\mathfrak{S}) = \overline{\mathscr A}_\omega(\mathfrak{S}) = \overline{\mathscr U}_\omega(\mathfrak{S}) \quad \text{and} \quad {\mathscr S}_\omega^{\rm fr}(\mathfrak{S}) = {\mathscr A}_\omega^{\rm fr}(\mathfrak{S}) = {\mathscr U}_\omega^{\rm fr}(\mathfrak{S}) \] whenever $\mathfrak{S}$ is a polygon. As a consequence, when $\mathfrak{S}$ is a polygon, we show that the theta basis of $\overline{\mathscr U}_\omega(\mathfrak{S})$ (respectively ${\mathscr U}_\omega^{\rm fr}(\mathfrak{S})$) yields a rotation-invariant basis of $\overline{\mathscr S}_\omega(\mathfrak{S})$ (respectively ${\mathscr S}_\omega^{\rm fr}(\mathfrak{S})$) with several desirable properties, including positivity and a natural parametrization.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs a quantum cluster structure on the skew-field of fractions of the stated SL_n-skein algebra for triangulable pb surfaces without interior punctures, complementing prior work on the projected case. For polygons, it proves the equalities S_ω^fr(S) = A_ω^fr(S) = U_ω^fr(S) and the analogous statement for the projected skein algebra. As a consequence, the theta basis of the upper cluster algebra yields a rotation-invariant basis of the (localized) stated skein algebra with positivity and a natural parametrization.
Significance. If the identifications hold, the work furnishes an explicit quantum cluster algebra realization of stated SL_n-skein algebras on polygons and supplies rotation-invariant theta bases with positivity. This links skein-algebra techniques to the machinery of quantum cluster algebras and theta bases, extending the authors' earlier results on projected skein algebras and offering concrete bases that are useful for representation-theoretic and topological applications.
minor comments (3)
- The abstract introduces a large number of symbols (S_ω^fr, A_ω^fr, U_ω^fr, etc.) without a brief parenthetical reminder of their meanings; a short glossary sentence would aid readability.
- Notation for the localization at frozen variables is introduced in the abstract but the precise multiplicative set is not restated in the introduction; repeating the definition once more would prevent confusion for readers who skip the abstract.
- The manuscript relies on prior results for the projected skein algebra; a one-sentence pointer to the exact theorem numbers from that work in the introduction would make the logical dependence explicit.
Simulated Author's Rebuttal
We thank the referee for the positive and accurate summary of our manuscript, which correctly identifies the construction of the quantum cluster structure on the skew-field of fractions of the stated SL_n-skein algebra for triangulable pb surfaces without interior punctures, the equalities for polygons, and the resulting rotation-invariant theta bases with positivity. We appreciate the recommendation for minor revision and the recognition of how this work complements our prior results on projected skein algebras while linking to quantum cluster algebra techniques.
Circularity Check
No significant circularity in derivation chain
full rationale
The paper constructs a quantum cluster structure directly on Frac(S_ω(S)) for triangulable pb surfaces, then proves the equalities S_fr = A_fr = U_fr (and the projected analogs) specifically when S is a polygon by invoking skein relations together with standard quantum cluster algebra machinery. The reference to prior work by the last two authors applies only to the complementary construction of the cluster structure on the projected version; the equalities themselves are established in this manuscript and do not reduce to that citation by definition or by construction. No self-definitional steps, fitted parameters renamed as predictions, or load-bearing uniqueness theorems imported from overlapping-author citations appear in the stated argument.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard axioms and mutation rules of quantum cluster algebras
- domain assumption Existence of triangulations for pb surfaces without interior punctures
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearWe prove that ... S_ω^fr(S) = A_ω^fr(S) = U_ω^fr(S) whenever S is a polygon ... theta basis ... rotation-invariant
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclearquantum seed s_λ = (Q_λ, Π_λ, M_λ) ... mutation class ... cluster variables from stated essential arcs
Reference graph
Works this paper leans on
-
[1]
Galashin, Pavel and Lam, Thomas and Sherman-Bennett, Melissa , TITLE =. Invent. Math. , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s00222-025-01390-5 , URL =
-
[2]
arXiv preprint arXiv:2309.10920 , year=
Finiteness and dimension of stated skein modules over Frobenius , author=. arXiv preprint arXiv:2309.10920 , year=
- [3]
-
[4]
Huang, Min and Wang, Zhihao , journal=
-
[5]
Chang, Wen and Zhu, Bin , TITLE =. J. Algebra , FJOURNAL =. 2016 , PAGES =
work page 2016
-
[6]
Huang, Min and Li, Fang and Yang, Yichao , TITLE =. Sci. China Math. , FJOURNAL =. 2018 , NUMBER =
work page 2018
-
[7]
Fu, Changjian and Keller, Bernhard , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =
work page 2010
-
[8]
Chang, Wen and Huang, Min and Li, Jian-Rong , TITLE =. J. Algebra , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.jalgebra.2023.09.036 , URL =
- [9]
-
[10]
Wang, Zhihao , journal=
- [11]
-
[12]
Shen, Linhui and Weng, Daping , TITLE =. Forum Math. Sigma , FJOURNAL =. 2021 , PAGES =
work page 2021
-
[13]
SIGMA Symmetry Integrability Geom
Kimura, Yoshiyuki and Qin, Fan and Wei, Qiaoling , TITLE =. SIGMA Symmetry Integrability Geom. Methods Appl. , FJOURNAL =. 2023 , PAGES =. doi:10.3842/SIGMA.2023.105 , URL =
-
[14]
Fomin, Sergey and Zelevinsky, Andrei , TITLE =. Compos. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1112/S0010437X06002521 , URL =
-
[15]
Kim, Hyun Kyu and Wang, Zhihao , journal=
-
[16]
Huang, Min , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =
work page 2023
-
[17]
Huang, Min , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2022 , NUMBER =
work page 2022
-
[18]
Rupel, Dylan , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2011 , NUMBER =
work page 2011
-
[19]
arXiv preprint arXiv:2503.12319 , year=
Cluster algebras and skein algebras for surfaces , author=. arXiv preprint arXiv:2503.12319 , year=
-
[20]
An expansion formula for type. J. Combin. Theory Ser. A , FJOURNAL =. 2020 , PAGES =
work page 2020
-
[21]
arXiv preprint arXiv:2406.03362 , year=
Positivity for quantum cluster algebras from orbifolds , author=. arXiv preprint arXiv:2406.03362 , year=
-
[22]
Schrader, Gus and Shapiro, Alexander , journal=
-
[23]
arXiv preprint arXiv:2310.06189 , year=
Frohman, Charles and Kania-Bartoszynska, Joanna and L. arXiv preprint arXiv:2310.06189 , year=
-
[24]
Muller, Greg , journal=
-
[25]
Transactions of the American Mathematical Society , volume=
Degenerations of skein algebras and quantum traces , author=. Transactions of the American Mathematical Society , volume=
- [26]
-
[27]
Frohman, Charles and Kania-Bartoszynska, Joanna , journal=. 2018 , publisher=
work page 2018
-
[28]
Mathematische Zeitschrift , volume=
Hoste, Jim and Przytycki, J. Mathematische Zeitschrift , volume=. 1995 , publisher=
work page 1995
-
[29]
arXiv preprint arXiv:2310.13116 , year=
On Frobenius algebras obtained from stated skein algebras , author=. arXiv preprint arXiv:2310.13116 , year=
- [30]
-
[31]
arXiv preprint arXiv:2211.13700 , year=
Azumaya loci of skein algebras , author=. arXiv preprint arXiv:2211.13700 , year=
-
[32]
arXiv preprint arXiv:2309.14713 , year=
Center of the stated skein algebra , author=. arXiv preprint arXiv:2309.14713 , year=
-
[33]
Transactions of the American Mathematical Society , volume=
Skein modules and the noncommutative torus , author=. Transactions of the American Mathematical Society , volume=
-
[34]
arXiv preprint arXiv:2303.09433 , year=
Classification of semi-weight representations of reduced stated skein algebras , author=. arXiv preprint arXiv:2303.09433 , year=
- [35]
-
[36]
On vanishing sums of roots of unity , author=. Journal of algebra , volume=. 2000 , publisher=
work page 2000
-
[37]
The American Mathematical Monthly , volume=
How small can a sum of roots of unity be? , author=. The American Mathematical Monthly , volume=. 1986 , publisher=
work page 1986
-
[38]
Matthew Conder , title=
-
[39]
Murakami, Hitoshi and Ohtsuki, Tomotada and Okada, Masae , year=
-
[40]
A primer on mapping class groups (pms-49) , author=. 2011 , publisher=
work page 2011
-
[41]
Takenov, Nurdin , journal=
-
[42]
Bullock, Doug and Przytycki, Jozef , journal=
- [43]
-
[44]
Bulletin of the Polish Academy of Sciences; Mathematics , volume=
Skein modules of 3-manifolds , author=. Bulletin of the Polish Academy of Sciences; Mathematics , volume=
-
[45]
Fock, Vladimir and Goncharov, Alexander , journal=
-
[46]
Quantum traces and embeddings of stated skein algebras into quantum tori , author=. Selecta Mathematica , volume=. 2022 , publisher=
work page 2022
-
[47]
Journal of Knot Theory and Its Ramifications , volume=
Hoste, Jim and Przytycki, J. Journal of Knot Theory and Its Ramifications , volume=. 1993 , publisher=
work page 1993
- [48]
-
[49]
Saito, Toshio and Scharlemann, Martin and Schultens, Jennifer , journal=
-
[50]
Journal of the London Mathematical Society , volume=
Infinite families of hyperbolic 3-manifolds with finite-dimensional skein modules , author=. Journal of the London Mathematical Society , volume=. 2021 , publisher=
work page 2021
-
[51]
Advances in mathematics , volume=
L. Advances in mathematics , volume=. 2006 , publisher=
work page 2006
-
[52]
Proceedings of the American Mathematical Society , volume=
L. Proceedings of the American Mathematical Society , volume=
- [53]
-
[54]
Talk by Joanna Kania-Bartoszynska at Quantum Topology and Geometry conference , year=
Frohman, Charles and Kania-Bartoszynska, Joanna and L. Talk by Joanna Kania-Bartoszynska at Quantum Topology and Geometry conference , year=
-
[55]
Karuo, Hiroaki and Wang, Zhihao , journal=
- [56]
-
[57]
Triangular decomposition of skein algebras , author=. Quantum Topology , volume=
-
[58]
Journal of knot theory and its ramifications , volume=
Bullock, Doug and Frohman, Charles and Kania-Bartoszy. Journal of knot theory and its ramifications , volume=. 1999 , publisher=
work page 1999
-
[59]
Fomin, Sergey and Zelevinsky, Andrei , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2002 , NUMBER =
work page 2002
- [60]
-
[61]
Gross, Mark and Hacking, Paul and Keel, Sean and Kontsevich, Maxim , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =
work page 2018
-
[62]
Lee, Kyungyong and Schiffler, Ralf , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2015 , NUMBER =
work page 2015
-
[63]
Casals, Roger and Gorsky, Eugene and Gorsky, Mikhail and Le, Ian and Shen, Linhui and Simental, Jos\'e , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2025 , NUMBER =
work page 2025
- [64]
-
[65]
SIGMA Symmetry Integrability Geom
Muller, Greg , TITLE =. SIGMA Symmetry Integrability Geom. Methods Appl. , FJOURNAL =. 2014 , PAGES =
work page 2014
-
[66]
Geiss, Christof and Leclerc, Bernard and Schr\"oer, Jan , TITLE =. J. Algebra , FJOURNAL =. 2020 , PAGES =
work page 2020
-
[67]
Geiss, Christof and Leclerc, Bernard and Schr\"oer, Jan , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2008 , NUMBER =
work page 2008
- [68]
-
[69]
Serhiyenko, K. and Sherman-Bennett, M. and Williams, L. , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2019 , NUMBER =
work page 2019
-
[70]
Ishibashi, Tsukasa and Yuasa, Wataru , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =
work page 2025
-
[71]
Galashin, Pavel and Lam, Thomas , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2023 , NUMBER =
work page 2023
-
[72]
Bucher, Eric and Machacek, John and Shapiro, Michael , TITLE =. Sci. China Math. , FJOURNAL =. 2019 , NUMBER =
work page 2019
-
[73]
Muller, Greg , TITLE =. Adv. Math. , FJOURNAL =. 2013 , PAGES =
work page 2013
-
[74]
Cao, Peigen and Keller, Bernhard and Qin, Fan , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2024 , PAGES =
work page 2024
- [75]
-
[76]
arXiv preprint arXiv:2207.10184 , year=
Cao, Peigen and Keller, Bernhard , TITLE =. arXiv preprint arXiv:2207.10184 , year=
- [77]
-
[78]
Quantum cluster algebra structures on quantum nilpotent algebras , author=. Mem. Amer. Math. Soc. , volume=
-
[79]
Journal of the American Mathematical Society , volume=
Monoidal categorification of cluster algebras , author=. Journal of the American Mathematical Society , volume=
-
[80]
Skein Algebras of Surfaces and Quantum Groups , year =
L. Skein Algebras of Surfaces and Quantum Groups , year =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.