[论文解读] 24 faces of the Borcherds modular form Phi_{12}

Valery Gritsenko|arXiv (Cornell University)|Mar 29, 2012

Advanced Algebra and Geometry参考文献 15被引用 15

一句话总结

本文证明了在每个23个尼梅尔尖点处，波赫尔斯模形式 $Φ_{12}$ 的第一个非零傅里叶-雅可比系数等于相应仿射李代数的威格-卡斯分母函数。通过波赫尔斯提升和雅可比形式的模性质，作者在假怪物李代数的情形下，实现了弗伦克尔与费因戈德关于双曲卡茨-莫德利代数、西格尔模形式与仿射李代数之间关系的猜想的自守实现。

ABSTRACT

The fake monster Lie algebra is determined by the Borcherds function Phi_{12} which is the reflective modular form of the minimal possible weight with respect to O(II_{2,26}). We prove that the first non-zero Fourier-Jacobi coefficient of Phi_{12} in any of 23 Niemeier cusps is equal to the Weyl-Kac denominator function of the affine Lie algebra of the root system of the corresponding Niemeier lattice. This is an automorphic answer (in the case of the fake monster Lie algebra) on the old question of I. Frenkel and A. Feingold (1983) about possible relations between hyperbolic Kac-Moody algebras, Siegel modular forms and affine Lie algebras.

研究动机与目标

• 解决弗伦克尔与费因戈德（1983年）提出的关于双曲卡茨-莫德利代数、西格尔模形式与仿射李代数之间关系的长期悬而未决问题。
• 分析关于 $Ó^{+}(II_{2,26})$ 的权为12的波赫尔斯模形式 $Φ_{12}$ 及其在24个尖点（包括23个尼梅尔尖点和李希尖点）处的行为。
• 证明 $Φ_{12}$ 在每个尼梅尔尖点处的第一个非零傅里叶-雅可比系数即为对应尼梅尔格拉蒂斯根系所关联的仿射李代数的威格-卡斯分母函数。
• 通过模形式提供假怪物李代数与仿射李代数之间联系的自守实现。

提出的方法

• 作者利用波赫尔斯的典范提升，从雅可比形式构造模形式，特别关注格 $4A_1$ 上权为2、指标为1/2的雅可比形式 $θ_{4A_1}$。
• 该方法涉及通过分析模形式在 $II_{2,26}$ 中 $-2$-向量所定义的有理二次除子附近的性质，计算 $Φ_{12}$ 在每个尼梅尔尖点处的傅里叶-雅可比展开。
• 关键步骤是通过波赫尔斯乘积构造与科赫原理，识别第一个非零的傅里叶-雅可比系数，后者确保商形式的全纯性。
• 作者计算了弱雅可比形式 $φ_{0,4A_1} = -3^{-1} θ_{4A_1}|_{2}T_{-}(3) / θ_{4A_1}$，以确定提升的奇点与除子结构。
• 该方法依赖于模空间 $Ó^{+}(II_{2,26})\setminus\mathcal{D}(II_{2,26})$ 的贝利-博雷尔紧化，其具有24个边界分量：一个零维尖点与23个对应于尼梅尔格拉蒂斯的1维模曲线。
• 证明利用了这样一个事实：在每个尼梅尔尖点处，第一个非零傅里叶-雅可比系数即为对应根系的仿射李代数的威格-卡斯分母函数，该结论通过雅可比形式傅里叶系数的显式计算得到验证。

实验结果

研究问题

• RQ1 是否存在一个典范模形式，能将仿射李代数的威格-卡斯分母函数实现为一个反射模形式的第一个非零傅里叶-雅可比系数？
• RQ2 波赫尔斯模形式 $Φ_{12}$ 是否可用于通过其傅里叶-雅可比展开，在假怪物李代数与仿射李代数之间建立桥梁？
• RQ3 在每个尼梅尔尖点处，$Φ_{12}$ 的第一个非零傅里叶-雅可比系数是否对应于尼梅尔格拉蒂斯根系所关联的仿射李代数的威格-卡斯分母函数？
• RQ4 模空间 $Ó^{+}(II_{2,26})\setminus\mathcal{D}(II_{2,26})$ 的24个尖点如何与假怪物李代数的结构及其根重数相关联？

主要发现

• 在23个尼梅尔尖点中的每一个处，$Φ_{12}$ 的第一个非零傅里叶-雅可比系数等于对应尼梅尔格拉蒂斯根系所关联的仿射李代数的威格-卡斯分母函数。
• 波赫尔斯模形式 $Φ_{12}$ 在所有23个尼梅尔尖点处均消失，确认第一个非零系数出现在雅可比形式展开的层次上。
• 该结果在假怪物李代数的情形下实现了弗伦克尔-费因戈德猜想的自守实现，将双曲卡茨-莫德利代数、西格尔模形式与仿射李代数组织在一起。
• $Φ_{12}$ 是一个反射模形式，其除子为 $II_{2,26}$ 中 $-2$-向量所定义的有理二次除子的并集，其第一个非零傅里叶-雅可比系数是格 $4A_1$ 上权为2、指标为1/2的雅可比形式。
• 弱雅可比形式 $φ_{0,4A_1}$ 显式计算为 $r_1 + r_2 + r_3 + r_4 + 4 + r_1^{-1} + r_2^{-1} + r_3^{-1} + r_4^{-1} + q(\dots)$，该表达式确定了波赫尔斯乘积的奇点。
• 提升形式 $Φ_2 = ÓÓ_{φ_{0,4A_1}}$ 被证明等于 $θ_{4A_1}$ 的雅可比提升，从而确认 $Φ_2$ 是一个权为2的反射模形式，具有最简单的可能除子。