[Paper Review] Chiral Hodge cohomology and Mathieu moonshin

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

Algebraic Geometry and Number Theory15 references3 citations

TL;DR

This paper constructs a graded vector space from the chiral Hodge cohomology of a K3 surface, showing its graded dimension matches the Mathieu moonshine mock modular form Σ(q) + 2q⁻¹⁄⁸. It establishes that the equivariant character of finite symplectic automorphisms on the space of primitive vectors in the cohomology matches the McKay-Thompson series of Mathieu moonshine, providing a geometric realization of the moonshine module via vertex algebra structures on K3 surfaces.

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.

Motivation & Objective

• To construct a geometric realization of the Mathieu moonshine module using chiral Hodge cohomology of K3 surfaces.
• To establish a connection between finite symplectic automorphisms of K3 surfaces and the McKay-Thompson series of M₂₄.
• To show that the graded dimension of the space of primitive vectors in chiral Hodge cohomology matches the mock modular form Σ(q) + 2q⁻¹⁄⁸.
• To provide a physical and geometric interpretation of Mathieu moonshine through the chiral de Rham algebra and N=4 superconformal vertex algebras.

Proposed method

• Construct a filtration on the chiral Hodge cohomology Hⁱ(X, Ω_X^ch) of a K3 surface X, with associated graded object forming a unitary representation of the N=4 superconformal vertex algebra with c=6.
• Identify the space of primitive vectors in the first cohomology group H¹(X, Ω_X^ch) as a graded M₂₄-module via conformal weight and fermionic number grading.
• Use chiral Poincaré duality and the chiral de Rham algebra to relate Dolbeault cohomology to vertex algebra modules.
• Compute the equivariant elliptic genus Ell_{X,g}(z;τ) for finite symplectic automorphisms g and match it to the McKay-Thompson series via modular forms and twining characters.
• Leverage known results on the elliptic genus decomposition of K3 surfaces into N=4 characters to derive the graded dimension of the module.
• Apply Gannon’s theorem to confirm that the constructed space is a genuine M₂₄-module.

Experimental results

Research questions

• RQ1 Can the Mathieu moonshine module be geometrically realized through the chiral Hodge cohomology of K3 surfaces?
• RQ2 Does the equivariant character of a finite symplectic automorphism g on the space of primitive vectors in chiral Hodge cohomology match the McKay-Thompson series Σ_g(q) of Mathieu moonshine?
• RQ3 Is there a natural action of M₂₄ on the space of primitive vectors in H¹(X, Ω_X^ch) that realizes the moonshine module?
• RQ4 How does the chiral de Rham algebra on a K3 surface encode the representation-theoretic structure of M₂₄?
• RQ5 What is the precise relationship between the elliptic genus of K3 and the N=4 vertex algebra characters?

Key findings

• The graded dimension of the space of primitive vectors in H¹(X, Ω_X^ch) is Σ(q) + 2q⁻¹⁄⁸, matching the moonshine mock modular form.
• For any finite symplectic automorphism g of a K3 surface X, the equivariant character of g on the primitive vectors equals the McKay-Thompson series Σ_g(q) + 2q⁻¹⁄⁸.
• The associated graded object of chiral Hodge cohomology forms a unitary representation of the N=4 superconformal vertex algebra with central charge c=6.
• The space H¹(X, Ω_X^ch) decomposes into N=4 characters: M_{1,1/4,0} ⊗ H¹¹(X) ⊕ ⨁_{n≥1} M_{1,n+1/4,1/2} ⊗ A^{1}_{n,2}(X), with A^{1}_{n,2}(X) being the primitive vector spaces.
• The chiral Poincaré duality and the chiral de Rham algebra provide a geometric bridge between K3 cohomology and vertex operator algebras.
• The construction confirms that the moonshine module K is realized as a quotient of the chiral Hodge cohomology, offering a physical and geometric interpretation of Mathieu moonshine.