Much ado about Mathieu

详细信息    查看全文

• 作者：Terry Gannon ; ^{tgannon@math.ualberta.ca" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Mathieu moonshine ; Jacobi form ; Mathieu group
• 刊名：Advances in Mathematics
• 出版年：2016
• 出版时间：1 October 2016
• 年：2016
• 卷：301
• 期：Complete
• 页码：322-358
• 全文大小：684 K

文摘

Eguchi, Ooguri and Tachikawa observed that the coefficients of the elliptic genus of type II string theory on K3 surfaces appear to be dimensions of representations of the largest Mathieu group. Subsequent work by several people established a candidate for the elliptic genus twisted by each element of M₂₄$M_{24}$. In this paper we prove that the resulting sequence of class functions are true characters of M₂₄$M_{24}$, proving the Eguchi–Ooguri–Tachikawa ‘Mathieu Moonshine’ conjecture. The integrality of multiplicities is proved using a small generalisation of Sturm's Theorem, while positivity involves a modification of a method of Hooley, for finding an effective bound on a family of Selberg–Kloosterman zeta functions at s=3/4$s=3/4$. We also prove the evenness property of the multiplicities, as conjectured by several authors, and use that to investigate the proposal of Gaberdiel–Hohenegger–Volpato that Mathieu Moonshine lifts to the Conway groups Co₀${\mathrm{Co}}_0$ and Co₁${\mathrm{Co}}_1$. We identify the role group cohomology plays in both Mathieu Moonshine and Monstrous Moonshine; in particular this gives a cohomological interpretation for the non-Fricke elements in Norton's Generalised Monstrous Moonshine conjecture, and gives a lower bound for H³(B_Co1;C^×)$H^3(B_{C{o}_1};{\mathbb{C}}^{\times })$.