HEXAGONbeta

Finite quantum theta functions for skew-symmetrizable seeds

Primarily AI-generated textHuman understanding: no partsmath.QA — Quantum Algebramath.RA — Rings and Algebras

Contributed by 琪越 唐 ↗

Version 1 / Oct 12, 2026 / CC BY 4.0

Abstract

For integral compatible skew-symmetrizable seeds, finite quantum theta functions form a bar-invariant, mutation-compatible basis of an algebra between the cluster and upper cluster algebras. We prove leading-coefficient positivity, valuative independence, unit Newton vertex coefficients, and independence under coefficientwise base change. We obtain upper theta bases for large cluster complexes, reddening classes, and Markov matrices and their one-way acyclic extensions. In mutation-acyclic classes, these are also bases of the cluster algebra.

Provenance statement

The results of this paper were developed through AI-assisted exploration, drawing on our earlier work and the research materials collected for this project. The arguments underwent multiple rounds of dialogue and review, and the manuscript was organized using the built-in mathematical writing skill. By posting this manuscript on this platform, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in preparing a finished account or checking the arguments; the eventual scholarly credit should go to those who undertake that work.

References

  1. A. Berenstein, S. Fomin and A. Zelevinsky, Cluster algebras III: Upper bounds and double Bruhat cells , Duke Math. J. 126 (2005), 1--52. Version used: https://arxiv.org/abs/math/0305434v3 arXiv:math/0305434v3 .arXiv
  2. A. Berenstein and A. Zelevinsky, Quantum cluster algebras , Adv. Math. 195 (2005), 405--455. Version used: https://arxiv.org/abs/math/0404446v2 arXiv:math/0404446v2 .arXiv
  3. M.-W. Cheung, T. Magee, T. Mandel and G. Muller, Valuative independence and cluster theta reciprocity , https://arxiv.org/abs/2505.09585v2 arXiv:2505.09585v2 (2026).arXiv
  4. B. Davison and T. Mandel, Strong positivity for quantum theta bases of quantum cluster algebras , Invent. Math. 226 (2021), 725--843. Version used: https://arxiv.org/abs/1910.12915v3 arXiv:1910.12915v3 .arXiv
  5. M. Gross, P. Hacking, S. Keel and M. Kontsevich, Canonical bases for cluster algebras , J. Amer. Math. Soc. 31 (2018), 497--608. Version used: https://arxiv.org/abs/1411.1394v2 arXiv:1411.1394v2 .arXiv
  6. H. Krause, Deriving Auslander's formula , Doc. Math. 20 (2015), 669--688. Version used: https://arxiv.org/abs/1409.7051v3 arXiv:1409.7051v3 .arXiv
  7. T. Mandel, Scattering diagrams, theta functions, and refined tropical curve counts , https://arxiv.org/abs/1503.06183v5 arXiv:1503.06183v5 (2019).arXiv
  8. T. Mandel, Theta bases are atomic , https://arxiv.org/abs/1605.03202v2 arXiv:1605.03202v2 (2018).arXiv
  9. F. Qin, Bases for upper cluster algebras and tropical points , J. Eur. Math. Soc. 26 (2024), 1255--1312. Version used: https://arxiv.org/abs/1902.09507v4 arXiv:1902.09507v4 .arXiv
  10. D. Rupel, Quantum cluster characters , https://arxiv.org/abs/1109.6694v2 arXiv:1109.6694v2 (2012).arXiv
  11. Y. Zhou, Cluster structures and subfans in scattering diagrams , https://arxiv.org/abs/1901.04166v3 arXiv:1901.04166v3 .arXiv
  12. P. Cao and F. Li, Uniformly column sign-coherence and the existence of maximal green sequences , https://arxiv.org/abs/1712.00973v1 arXiv:1712.00973v1 (2017).arXiv
  13. 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
  14. G. Muller, The existence of a maximal green sequence is not invariant under quiver mutation , Electron. J. Combin. 23 (2016), Paper 2.47. Version used: https://arxiv.org/abs/1503.04675v4 arXiv:1503.04675v4 .arXiv
  15. F. Qin, Applications of the freezing operators on cluster algebras , https://arxiv.org/abs/2407.03186v1 arXiv:2407.03186v1 (2024).arXiv
  16. T. Nakanishi, Pentagon relation in quantum cluster scattering diagrams , https://arxiv.org/abs/2202.01588v7 arXiv:2202.01588v7 .arXiv
  17. J. Fei and J. Weyman, Extending upper cluster algebras , https://arxiv.org/abs/1707.04661v1 arXiv:1707.04661v1 (2017).arXiv

Version history

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