Skip to content
DraconiticResearch
Search Sources API
203,203 studies31 sourcesUpdated just now
PreprintCC BY 4.0arXiv

A proof of Frenkel's bound for the hyperbolic Kac-Moody Lie Algebra A_1^++

  • Gabriel B. Legros
Open at sourcePDFDOICite

Abstract

We give a computer-assisted proof of Frenkel's root-multiplicity bound for the rank-three hyperbolic Kac--Moody Lie algebra A1++. For every root α, we prove dim gα≤ p(1−(α,α)/2), where p is the ordinary partition function. The proof combines exact affine characters with a coefficientwise logarithmic majorant derived from parabolic homology. After Weyl reduction, analytic estimates establish the inequality on infinite regions of large depth or large level. The remaining finite region is verified by computer. Together with the known low-level formulas, the assembly of these estimates establish the conjecture for every root of A1++.

Related

  1. Completed Iwahori–Hecke algebra for Kac–Moody groups over local fields
    Auguste Hébert, Dinakar Muthiah
    Proceedings of the London Mathematical SocietyPeer-reviewedCC BY 4.0Full textAlgebra & number theoryHAL
  2. Spin-Clifford Bundles and Spin Connections on the Hyperbolic Clifford Algebra - Part I
    E. Notte-Cuello, J. M. Hoff da Silva
    arXivPreprintarXiv licenceFull textMathematical physicsHigh-energy & particle physicsarXiv
  3. Notes on Obstructions in the Hyperbolic Clifford Algebra Bundle Structure
    Julio Marny Hoff da Silva, Eduardo Notte-Cuello
    AxiomsPeer-reviewedCC BY 4.0General mathematicsCrossref
  4. Notes on obstructions in the hyperbolic Clifford algebra bundle structure
    J. M. Hoff da Silva, E. Notte-Cuello
    arXivPreprintarXiv licenceFull textMathematical physicsHigh-energy & particle physicsarXiv
  5. A proof of Kahane's conjecture in the Wiener algebra
    Przemysław Ohrysko
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv

Cite

BibTeXRIS
BibTeX
@misc{legros2026proof,
  title = {{A proof of Frenkel's bound for the hyperbolic Kac-Moody Lie Algebra A_1^++}},
  author = {Gabriel B. Legros},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.35325},
  eprint = {2609.35325},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.35325},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - A proof of Frenkel's bound for the hyperbolic Kac-Moody Lie Algebra A_1^++
AU  - Gabriel B. Legros
PY  - 2026
DA  - 2026/09/28
PB  - arXiv
DO  - 10.48550/arxiv.2609.35325
UR  - https://arxiv.org/abs/2609.35325
AB  - We give a computer-assisted proof of Frenkel's root-multiplicity bound for the rank-three hyperbolic Kac--Moody Lie algebra A_1^++. For every root α, we prove dim g_α≤ p(1−(α,α)/2), where p is the ordinary partition function. The proof combines exact affine characters with a coefficientwise logarithmic majorant derived from parabolic homology. After Weyl reduction, analytic estimates establish the inequality on infinite regions of large depth or large level. The remaining finite region is verified by computer. Together with the known low-level formulas, the assembly of these estimates establish the conjecture for every root of A_1^++.
ER  -