[论文解读] Mathieu Moonshine and the Geometry of K3 Surfaces

Thomas Creutzig, Gerald Hoehn|arXiv (Cornell University)|Sep 10, 2013

Algebraic structures and combinatorial models参考文献 24被引用 11

一句话总结

本文证明了K3曲面的复椭圆亏格自然地赋予了Mathieu群$M_{24}$和顶点算子超代数$V^G$（其中$G$为holonomy群）的虚拟模结构。它证明了在有限辛自同构作用下，椭圆亏格的等变版本与Mathieu月光现象的McKay-Thompson级数一致，从而通过K3曲面几何与顶点代数结构，实现了月光现象的几何实现。

ABSTRACT

We compare the moonshine observation of Eguchi, Ooguri and Tachikawa relating the Mathieu group M_24 and the complex elliptic genus of a K3 surface with the symmetries of geometric structures on K3 surfaces. Two main results are that the complex elliptic genus of a K3 surface is a virtual module for the Mathieu group M_24 and also for a certain vertex operator superalgebra V^G where G is the holonomy group.

研究动机与目标

• 通过将K3曲面的复椭圆亏格与$M_{24}$的表示理论联系起来，为Mathieu月光建立几何与代数基础。
• 探究由K3曲面的超凯勒几何产生的顶点算子代数结构是否能解释Mathieu月光所预测的$M_{24}$-模结构。
• 将通过全纯Lefschetz不动点公式计算的等变椭圆亏格与Mathieu月光的McKay-Thompson级数进行比较。
• 确定椭圆亏格分解为${\rm N}=4$超维拉索罗代数特征标的过程，是否可实现为与$M_{24}$对称性相容的$V^G$-模结构。
• 评估所预测的月光特征标与$M_2(\Gamma_0(N))$中的模形式及整数结构的相容性。

提出的方法

• 利用Mukai对K3曲面有限辛自同构群及其在$M_{24}$中的嵌入的分类，建立与$M_{24}$-模结构的相容性。
• 应用全纯Lefschetz不动点公式，计算有限辛群作用下K3曲面的等变复椭圆亏格。
• 构造K3曲面上的向量丛，其纤维携带$V^G$-模结构，从而导出为虚拟$V^G$-模的特征标的扭曲Todd亏格。
• 采用${ m N}=4$超维拉索罗代数将椭圆亏格分解为特征标，将其与Mathieu月光中的模形式联系起来。
• 将所得特征标与Mathieu月光的McKay-Thompson级数进行比较，验证了所有由辛自同构产生的$M_{24}$共轭类均一致。
• 分析分解系数$r_g$的有理表达式，检查其整数性与模形式性质，以测试与月光现象的相容性。

实验结果

研究问题

• RQ1 K3曲面的复椭圆亏格能否被赋予一个与所有辛自同构群作用相容的虚拟$M_{24}$-模结构？
• RQ2 由K3曲面的超凯勒几何产生的顶点算子代数结构，能否解释椭圆亏格的${\rm N}=4$超维拉索罗代数模结构？
• RQ3 通过全纯Lefschetz公式计算的等变椭圆亏格是否等价于Mathieu月光的McKay-Thompson级数？
• RQ4 椭圆亏格分解为${\rm N}=4$特征标的过程，能否实现为与$M_{24}$-月光相容的$V^G$-模结构？
• RQ5 McKay-Thompson级数中的模形式$f_g$是否由整数性与模形式约束唯一确定，且是否与几何实现一致？

主要发现

• K3曲面的复椭圆亏格是一个与所有有限辛自同构群作用相容的虚拟$M_{24}$-模，这些群均为$M_{24}$的子群。
• 在有限辛自同构$g$作用下，K3曲面的等变椭圆亏格与Mathieu月光的McKay-Thompson级数完全一致，如定理4.3所证明。
• 对于$M_{24}$中的共轭类$2B$和$4A$，找到了分解系数$r_g$的显式有理表达式，涉及分圆多项式$\Phi_n(t)$。
• 对于共轭类如$11AB$、$14AB$、$15AB$和$23AB$，不存在具有整系数的此类有理表达式，表明与$V^G$-模结构不相容。
• $V^G$-模结构解释了椭圆亏格的${\rm N}=4$超维拉索罗代数模结构，但因$r_g$中存在非整系数，无法支持完整的$M_{24}$-月光实现。
• 本文结论为：尽管$M_{24}$-模结构与${\rm N}=4$超维拉索罗代数结构在几何上可实现，但当前几何框架下无法实现$V^G$-模分解的完整$M_{24}$-月光。