[论文解读] Chiral Hodge cohomology and Mathieu moonshin

Bailin Song|arXiv (Cornell University)|May 11, 2017

Algebraic Geometry and Number Theory参考文献 15被引用 3

一句话总结

本文从K3曲面的旋向Hodge上同调构造了一个分次向量空间，证明其分次维数与Mathieu月光的模拟模形式Σ(q) + 2q⁻¹⁄⁸一致。它建立了K3曲面上有限辛自同构在上同调中原始向量空间上的等变特征标与Mathieu月光的McKay-Thompson级数相匹配，通过K3曲面上的顶点代数结构，为月光模提供了几何实现。

ABSTRACT

We construct a filtration of chiral Hodge cohomolgy of a K3 surface $X$, such that its associated graded object is a unitary representation of the N=4 vertex algebra with central charge $6$ and its subspace of primitive vectors has the property: its equivariant character for a symplectic automorphism $g$ of $X$ agrees with the McKay-Thompson series for $g$ in Mathieu moonshine.

研究动机与目标

• 通过K3曲面的旋向Hodge上同调构造Mathieu月光模的几何实现。
• 建立K3曲面的有限辛自同构与M₂₄的McKay-Thompson级数之间的联系。
• 证明旋向Hodge上同调中原始向量空间的分次维数与模形式Σ(q) + 2q⁻¹⁄⁸一致。
• 通过旋转向量微分形式代数与N=4超共形顶点代数，为Mathieu月光提供物理与几何解释。

提出的方法

• 在K3曲面X的旋向Hodge上同调Hⁱ(X, Ω_X^ch)上构造一个滤子，其相应的分次对象构成中心指数c=6的N=4超共形顶点代数的单位表示。
• 通过共形权重与费米子数分次，将H¹(X, Ω_X^ch)中原始向量的空间识别为分次M₂₄-模。
• 利用旋向庞加莱对偶性与旋转向量微分形式代数，将Dolbeault上同调与顶点代数模联系起来。
• 计算有限辛自同构g的等变椭圆亏格Ell_{X,g}(z;τ)，通过模形式与共轭特征标与McKay-Thompson级数匹配。
• 利用已知的K3曲面上同调椭圆亏格分解为N=4特征标的结论，推导出该模的分次维数。
• 应用Gannon定理，确认所构造的空间确实为真实的M₂₄-模。

实验结果

研究问题

• RQ1 能否通过K3曲面的旋向Hodge上同调几何实现Mathieu月光模？
• RQ2 K3曲面的有限辛自同构g在旋向Hodge上同调中原始向量空间上的等变特征标是否与Mathieu月光的McKay-Thompson级数Σ_g(q)一致？
• RQ3 在H¹(X, Ω_X^ch)的原始向量空间上是否存在M₂₄的自然作用，从而实现月光模？
• RQ4 K3曲面上的旋转向量微分形式代数如何编码M₂₄的表示论结构？
• RQ5 K3曲面的椭圆亏格与N=4顶点代数特征标之间的确切关系为何？

主要发现

• H¹(X, Ω_X^ch)中原始向量空间的分次维数为Σ(q) + 2q⁻¹⁄⁸，与月光模拟模形式一致。
• 对于K3曲面X的任意有限辛自同构g，g在原始向量空间上的等变特征标等于McKay-Thompson级数Σ_g(q) + 2q⁻¹⁄⁸。
• 旋向Hodge上同调的相应分次对象构成中心指数c=6的N=4超共形顶点代数的单位表示。
• 空间H¹(X, Ω_X^ch)分解为N=4特征标：M_{1,1/4,0} ⊗ H¹¹(X) ⊕ ⨁_{n≥1} M_{1,n+1/4,1/2} ⊗ A^{1}_{n,2}(X)，其中A^{1}_{n,2}(X)为原始向量空间。
• 旋向庞加莱对偶性与旋转向量微分形式代数在K3上同调与顶点算子代数之间建立了几何桥梁。
• 该构造确认月光模K作为旋向Hodge上同调的商空间被实现，为Mathieu月光提供了物理与几何解释。