HEXAGONbeta

Biperfectness of the theta basis of a maximal unipotent subgroup

A mix of human-written and AI-generated textHuman understanding: some partsmath.RT — Representation Theory

Contributed by Qiyue Tang ↗

Version 1 / Oct 29, 2026 / CC BY 4.0

Abstract

We prove that the theta basis of the coordinate ring of a maximal unipotent subgroup of a complex semisimple group is biperfect. This answers affirmatively Question 6.5 in Kamnitzer's ICM 2022 survey.

Provenance statement

See AI use and scholarly credit in the paper.

References

  1. P. Baumann, J. Kamnitzer, and A. Knutson, The Mirković--Vilonen basis and Duistermaat--Heckman measures , with an appendix by A. Dranowski, J. Kamnitzer, and C. Morton-Ferguson; arXiv:1905.08460v2 (https://arxiv.org/abs/1905.08460v2).arXiv
  2. A. Berenstein, S. Fomin, and A. Zelevinsky, Cluster algebras III: Upper bounds and double Bruhat cells , Duke Math. J. 126 (2005), 1--52; arXiv:math/0305434v3 (https://arxiv.org/abs/math/0305434v3).arXiv
  3. M.-W. Cheung, T. Magee, T. Mandel, and G. Muller, Valuative independence and cluster theta reciprocity , arXiv:2505.09585v2 (https://arxiv.org/abs/2505.09585v2).arXiv
  4. B. Davison, Positivity for quantum cluster algebras , Ann. of Math. (2) 187 (2018), 157--219; doi:10.4007/annals.2018.187.1.3 (https://doi.org/10.4007/annals.2018.187.1.3).DOI
  5. B. Davison and T. Mandel, Strong positivity for quantum theta bases of quantum cluster algebras , Invent. Math. 226 (2021), 725--843; arXiv:1910.12915v3 (https://arxiv.org/abs/1910.12915v3).arXiv
  6. J. Fei, Crystal structure of upper cluster algebras , arXiv:2309.08326v3 (https://arxiv.org/abs/2309.08326v3).arXiv
  7. V. Fock and A. Goncharov, Moduli spaces of local systems and higher Teichmüller theory , Publ. Math. Inst. Hautes Études Sci. 103 (2006), 1--211.
  8. S. Fomin and A. Zelevinsky, Cluster algebras I: Foundations , J. Amer. Math. Soc. 15 (2002), 497--529.
  9. M. Gross, P. Hacking, and S. Keel, Mirror symmetry for log Calabi--Yau surfaces I , Publ. Math. Inst. Hautes Études Sci. 122 (2015), 65--168.
  10. M. Gross, P. Hacking, S. Keel, and M. Kontsevich, Canonical bases for cluster algebras , J. Amer. Math. Soc. 31 (2018), 497--608; arXiv:1411.1394v2 (https://arxiv.org/abs/1411.1394v2).arXiv
Show all 19 referencesShow fewer references
  1. K. R. Goodearl and M. T. Yakimov, Integral quantum cluster structures , arXiv:2003.04434v1 (https://arxiv.org/abs/2003.04434v1).arXiv
  2. J. Kamnitzer, Perfect bases in representation theory: three mountains and their springs , in Proceedings of the International Congress of Mathematicians 2022 , Vol. 4, EMS Press, 2023; arXiv:2201.02289v2 (https://arxiv.org/abs/2201.02289v2).arXiv
  3. Y. Kimura, F. Qin, and Q. Wei, Twist automorphisms and Poisson structures , SIGMA 19 (2023), 105; published version (https://www.emis.de/journals/SIGMA/2023/105/).link
  4. F. Qin, Bases for upper cluster algebras and tropical points , arXiv:1902.09507v4 (https://arxiv.org/abs/1902.09507v4).arXiv
  5. F. Qin, Dual canonical bases and quantum cluster algebras , arXiv:2003.13674v3 (https://arxiv.org/abs/2003.13674v3).arXiv
  6. F. Qin, Applications of the freezing operators on cluster algebras , arXiv:2407.03186v1 (https://arxiv.org/abs/2407.03186v1).arXiv
  7. H. Ju, G. Gao, J. Jiang, B. Wu, Z. Sun, S. Liu, L. Chen, Yutong Wang, Yuefeng Wang, Z. Wang, W. He, P. Wu, L. Xiao, R. Liu, B. Dai, and B. Dong, Automated conjecture resolution with formal verification , arXiv:2604.03789v2 (https://arxiv.org/abs/2604.03789v2), 2026.arXiv
  8. S. Liu, Rethlas-OSV: Desktop math agents for mathematicians , 2026, updated October 20, 2026; official guide (https://srliu.com/blog/rethlas-osv-guide/).link
  9. F. Nie, H. Ye, S. Liu, Z. Wang, S. Ermon, and J. Zou, One-sided verification under limited expert review , arXiv:2610.18089v2 (https://arxiv.org/abs/2610.18089v2), 2026.arXiv

Version history

  1. v1Submitted by Qiyue TangInitial depositCurrentOct 28, 2026