pith. sign in

arxiv: 2412.11628 · v3 · submitted 2024-12-16 · 🧮 math.RT

Quantum cluster variables via canonical submodules

Fan Xu , Yutong Yu This is my paper

Pith reviewed 2026-05-23 07:14 UTC · model grok-4.3

classification 🧮 math.RT
keywords quantum cluster algebrasmarked surfacescanonical submodulespositivitycluster variablesquiver representations
0
0 comments X

The pith

Quantum cluster variables from marked surfaces without punctures are expressed using canonical submodules.

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

The paper examines quantum cluster algebras built from marked surfaces that have no punctures. It establishes an explicit expression for the quantum cluster variables in terms of canonical submodules attached to the associated quiver representations. This expression directly produces the positivity property for the quantum cluster algebra. A reader would care because the result supplies concrete formulas and settles positivity in a geometrically defined family of algebras where it had remained open.

Core claim

For quantum cluster algebras arising from marked surfaces without punctures, the quantum cluster variables admit an expression in terms of canonical submodules, and this expression yields the positivity property for the algebra.

What carries the argument

Canonical submodules of quiver representations, which supply the explicit terms in the expansion of each quantum cluster variable.

If this is right

  • The positivity conjecture holds for all quantum cluster algebras coming from unpunctured marked surfaces.
  • Explicit combinatorial formulas for the quantum cluster variables become available through submodule data.
  • The same submodule construction recovers the known classical cluster variables in the appropriate limit.

Where Pith is reading between the lines

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

  • The same submodule technique could be tested on other surface classes once suitable canonical objects are identified.
  • Representation-theoretic interpretations of quantum cluster variables may now be compared directly with those arising from other constructions such as quantum groups.
  • The approach suggests a route to positivity in related algebras obtained by adding frozen variables or modifying the surface.

Load-bearing premise

The marked surfaces have no punctures.

What would settle it

An explicit computation for a small unpunctured surface where some quantum cluster variable expansion contains a negative coefficient or cannot be written using the canonical submodules.

read the original abstract

We study quantum cluster algebras from marked surfaces without punctures. We express the quantum cluster variables in terms of the canonical submodules. As a byproduct, we obtain the positivity for this class of quantum cluster algebra.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The manuscript studies quantum cluster algebras associated to marked surfaces without punctures. It claims to express the quantum cluster variables explicitly in terms of canonical submodules in an appropriate module category and, as a direct consequence, obtains coefficient-wise positivity for this class of quantum cluster algebras.

Significance. If the identification between quantum cluster variables and canonical submodules holds, the result supplies an explicit categorical realization of the quantum cluster variables and immediately yields positivity, a property of independent interest in the theory of quantum cluster algebras. The restriction to unpunctured surfaces is stated at the outset and is used consistently to ensure the relevant submodules are well-defined and that the initial seed generates the algebra.

minor comments (2)
  1. [Introduction] The abstract and introduction would benefit from a brief statement of the precise module category in which the canonical submodules live (e.g., the category of modules over the Jacobian algebra or a suitable quotient).
  2. [§2] Notation for the quantum parameter q and the grading on the cluster algebra should be fixed once in §2 and used uniformly thereafter; occasional shifts between q and q^{-1} appear in the displayed formulas.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition that the identification of quantum cluster variables with canonical submodules yields an explicit categorical realization and implies positivity. The recommendation for minor revision is noted.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states an explicit identification of quantum cluster variables with canonical submodules on marked surfaces without punctures, with positivity following coefficient-wise. The no-punctures hypothesis is declared upfront as the setting where the submodules are well-defined and generate the algebra; it is not derived from the result. No equations, self-citations, or ansatzes in the provided abstract or skeptic summary reduce the central claim to a fit or to prior self-work by construction. The result is presented as a direct expression rather than a renamed input or statistically forced prediction, making the chain independent of the target statement.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only abstract available; cannot identify specific free parameters, axioms or invented entities from the paper.

pith-pipeline@v0.9.0 · 5536 in / 1041 out tokens · 37915 ms · 2026-05-23T07:14:02.252159+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    Cluster categories for algebras of global dimension 2 and quivers with potential

    Claire Amiot. Cluster categories for algebras of global dimension 2 and quivers with potential. Annales de l’Institut Fourier , 59:2525–2590, 2008

    work page 2008

  2. [2]

    Gentle algebras arising from surface triangulatio ns

    Ibrahim Assem, Thomas Br¨ ustle, Gabrielle Charbonneau -Jodoin, and Pierre-Guy Pla- mondon. Gentle algebras arising from surface triangulatio ns. Algebra Number Theory , 4(2):201–229, January 2010

    work page 2010

  3. [3]

    Quantum clust er algebras

    Arkady Berenstein and Andrei Zelevinsky. Quantum clust er algebras. Advances in Mathe- matics, 195:405–455, 2004

    work page 2004

  4. [4]

    On the cluster category of a marked surface without punc- tures

    Thomas Brustle and Jie Zhang. On the cluster category of a marked surface without punc- tures. Algebra & Number Theory , 5:529–566, 2010

    work page 2010

  5. [5]

    A module-theoretic inter pretation of schiffler’s expansion formula

    Thomas Br¨ ustle and Jie Zhang. A module-theoretic inter pretation of schiffler’s expansion formula. Communications in Algebra , 41:260 – 283, 2011. 25

    work page 2011

  6. [6]

    Tilting theory and cluster combinatorics

    Aslak Bakke Buan, Bethany Rose Marsh, Markus Reineke, Id un Reiten, and Gordana Todorov. Tilting theory and cluster combinatorics. Advances in Mathematics , 204:572–618, 2004

    work page 2004

  7. [7]

    M. C. R. Butler and Claus Michael Ringel. Auslander-reit en sequences with few middle terms and applications to string algebrass. Communications in Algebra , 15:145–179, 1987

    work page 1987

  8. [8]

    Cluster alge bras as hall algebras of quiver repre- sentations

    Philippe Caldero and Fr´ ed´ eric Chapoton. Cluster alge bras as hall algebras of quiver repre- sentations. Commentarii Mathematici Helvetici , 81:595–616, 2004

    work page 2004

  9. [9]

    From triangulate d categories to cluster algebras

    Philippe Caldero and Bernhard Keller. From triangulate d categories to cluster algebras. In- ventiones mathematicae , 172:169–211, 2005

    work page 2005

  10. [10]

    On the combinatorics of rigid objects in 2–calabi–yau categories

    Raika Dehy and Bernhard Keller. On the combinatorics of rigid objects in 2–calabi–yau categories. International Mathematics Research Notices , 2008, 2007

    work page 2008

  11. [11]

    Qui vers with potentials and their representations ii: Applications to cluster algebras

    Harm Derksen, Jerzy W eyman, and Andrei Zelevinsky. Qui vers with potentials and their representations ii: Applications to cluster algebras. Journal of the American Mathematical Society, 23:749–790, 2009

    work page 2009

  12. [12]

    Quantum cluster variables via serre polynomia ls

    Qin Fan. Quantum cluster variables via serre polynomia ls. Journal f¨ ur die reine und ange- wandte Mathematik (Crelles Journal) , 2012(668):149–190, 2012. With an appendix by Bern- hard Keller

    work page 2012

  13. [13]

    Thurston

    Sergey Fomin, Michael Shapiro, and Dylan P. Thurston. C luster algebras and triangulated surfaces. part i: Cluster complexes. Acta Mathematica, 201:83–146, 2006

    work page 2006

  14. [14]

    Cluster algebras i : Foundations

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras i : Foundations. Journal of the Amer- ican Mathematical Society , 15(2):497–529, December 2001

    work page 2001

  15. [15]

    Cluster algebras i v: Coefficients

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras i v: Coefficients. Compositio Mathe- matica, 143:112 – 164, 2006

    work page 2006

  16. [16]

    Euler characteristics of quiver grassm annians and ringel-hall algebras of string algebras

    Nicolas Haupt. Euler characteristics of quiver grassm annians and ringel-hall algebras of string algebras. Algebras and Representation Theory , 15:755–793, 2012

    work page 2012

  17. [17]

    An expansion formula for quantum cluster alg ebras from unpunctured triangu- lated surfaces

    Min Huang. An expansion formula for quantum cluster alg ebras from unpunctured triangu- lated surfaces. Selecta Mathematica, 28, 2021

    work page 2021

  18. [18]

    Quivers with potentials as sociated to triangulated surfaces

    Daniel Labardini-Fragoso. Quivers with potentials as sociated to triangulated surfaces. Pro- ceedings of the London Mathematical Society , 98, 2008

    work page 2008

  19. [19]

    Posi tivity for cluster algebras from sur- faces

    Gregg Musiker, Ralf Schiffler, and Lauren Williams. Posi tivity for cluster algebras from sur- faces. Advances in Mathematics , 227(6):2241–2308, August 2011

    work page 2011

  20. [20]

    Cluster characters for 2-calabi–yau triang ulated categories

    Yann Palu. Cluster characters for 2-calabi–yau triang ulated categories. Annales de l’institut Fourier, 58(6):2221–2248, 2008

    work page 2008

  21. [21]

    On cluster algebras arisi ng from unpunctured surfaces

    Ralf Schiffler and Hugh Thomas. On cluster algebras arisi ng from unpunctured surfaces. International Mathematics Research Notices , 2009:3160–3189, 2007

    work page 2009

  22. [22]

    Lattice bijections for string modules, snake graphs and the weak bruhat order

    Ilke C ¸ anak¸ ci and Sibylle Schroll. Lattice bijections for string modules, snake graphs and the weak bruhat order. Adv. Appl. Math. , 126:102094, 2018. Department of Mathematical Sciences, Tsinghua University, Beijing 100084, P. R. China Email address : fanxu@mail.tsinghua.edu.cn(F. Xu) Department of Mathematical Sciences, Tsinghua University, Beijing ...

    work page 2018