Frenkel 界对于双曲 Kac-Moody 李代数 A_1^++ 的一个证明
A proof of Frenkel's bound for the hyperbolic Kac-Moody Lie Algebra A_1^++
浏览论文内容
中文总结 AI 辅助
本文通过计算机辅助证明，结合仿射特征与抛物同调，验证了双曲 Kac-Moody 代数 A_1^++ 的 Frenkel 根重数界猜想。
中文摘要 AI 辅助
我们给出了 Frenkel 关于秩三双曲 Kac--Moody 李代数 $A_1^{++}$ 的根重数界的一个计算机辅助证明。对于每个根 $\alpha$，我们证明了 $\dim g_\alpha\le p(1-(\alpha,\alpha)/2)$，其中 $p$ 是普通分拆函数。该证明将精确仿射特征与由抛物同调导出的系数式对数优函数相结合。经过 Weyl 约化后，解析估计在大深度或大水平的无限区域上建立了该不等式。剩余有限区域由计算机验证。结合已知的低水平公式，这些估计的整合为 $A_1^{++}$ 的每个根确立了该猜想。
英文摘要
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_α\le 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^{++}$.
