Theta Bases for Rank-Two Quantum Cluster Algebras of Geometric Type

Contributed by 琪越 唐 ↗

Version 1 / Oct 04, 2026 / CC BY 4.0

Abstract

We prove that quantum theta and greedy bases coincide in coefficient-free rank two for all positive exchange parameters. Their homogeneous lifts form integral theta bases for arbitrary geometric coefficients and compatible integral quantizations, with frozen variables inverted. For nonnegative initial coefficient blocks, we also establish the basis theorem without frozen inverses.

Provenance statement

My motivation was to understand the relationship between quantum greedy bases and quantum theta bases. I initiated the project and chose this comparison as the research question. In searching the literature, I found Gao’s doctoral thesis, which claimed equality in the symmetric and finite-type rank-two cases and conjectured equality when one exchange parameter divides the other. Our subsequent audit identified gaps and errors in parts of the thesis’s arguments. The project developed proofs of the rank-two comparison, extended it to all positive exchange parameters, and established corresponding theta basis results with geometric coefficients. The resulting comparison theorem includes Gao’s Conjecture 5.2 as a special case. The mathematical development proceeded through several conversations with GPT-6-Astra. The manuscript subsequently underwent separate, full-manuscript adversarial reviews by GPT-6-Astra and several revisions using my configured mathematical-writing skill. Uploading this paper to this platform does not mean that I claim ownership or copyright over it. My sole intention is to let more people know that the mathematical problem addressed in this paper has been solved by AI. Once it has been reviewed and its correctness has been verified, it may be cited directly. I welcome anyone who would like to organize this work; if you do so, the credit will be yours. Additionally, if you need more related literature or detailed materials, you can contact me by email. Email: tangqy24@mails.tsinghua.edu.cn

References

  1. A. Berenstein and A. Zelevinsky, Quantum cluster algebras , Adv. Math. 195 (2005), 405--455.
  2. A. Burcroff and K. Lee, Broken lines and compatible pairs for rank 2 quantum cluster algebras , Selecta Math. (N.S.) 32 (2026), Article 81. https://doi.org/10.1007/s00029-026-01189-z doi:10.1007/s00029-026-01189-z .DOI
  3. M. W. Cheung, M. Gross, G. Muller, G. Musiker, D. Rupel, S. Stella, and H. Williams, The greedy basis equals the theta basis: a rank two haiku , J. Combin. Theory Ser. A 145 (2017), 150--171. https://arxiv.org/abs/1508.01404 arXiv:1508.01404 .arXiv
  4. B. Davison and T. Mandel, Strong positivity for quantum theta bases of quantum cluster algebras , Invent. Math. 226 (2021), 725--843. https://arxiv.org/abs/1910.12915 arXiv:1910.12915 .arXiv
  5. K. Gao, On the Quantum Greedy Bases and Quantum Theta Bases of Quantum Cluster Algebras , Ph.D. thesis, Hong Kong University of Science and Technology, 2024. https://doi.org/10.14711/thesis-991013340358203412 doi:10.14711/thesis-991013340358203412 .DOI
  6. K. Lee, L. Li, D. Rupel, and A. Zelevinsky, The existence of greedy bases in rank 2 quantum cluster algebras , Adv. Math. 300 (2016), 360--389. https://arxiv.org/abs/1405.2414 arXiv:1405.2414 .arXiv
  7. T. Mandel, Scattering diagrams, theta functions, and refined tropical curve counts , J. Lond. Math. Soc. 104 (2021), 2299--2334. https://arxiv.org/abs/1503.06183 arXiv:1503.06183 .arXiv
  8. T. Nakanishi, Pentagon relation in quantum cluster scattering diagrams , https://arxiv.org/abs/2202.01588 arXiv:2202.01588v7 , 2024.arXiv
  9. K. R. Goodearl and M. T. Yakimov, Quantum cluster algebra structures on quantum nilpotent algebras , https://arxiv.org/abs/1309.7869 arXiv:1309.7869v2 , 2015.arXiv
  10. F. Qin, Analogs of the dual canonical bases for cluster algebras from Lie theory , https://arxiv.org/abs/2407.02480 arXiv:2407.02480v4 , 2025.arXiv

Version history

  1. v1Submitted by 琪越 唐Initial depositCurrentOct 04, 2026