[論文レビュー] Chiral Hodge cohomology and Mathieu moonshin

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

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

ひとこと要約

本稿は、K3表面のチャーラルホッジコhomologyから階数付きベクトル空間を構成し、その階数次元がモックモーンシャイン形式 Σ(q) + 2q⁻¹⁄⁸ に一致することを示している。また、有限シンプレクティック自己同型の作用における原始的ベクトル空間上の等変特徴は、モーンシャインのマケイ＝トーマプソン級数と一致し、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表面のチャーラルホッジコhomologyを用いて、マケイ・ムーンシャインモジュールの幾何的実現を構築すること。
• K3表面の有限シンプレクティック自己同型とM₂₄のマケイ＝トーマプソン級数との間の関係を確立すること。
• チャーラルホッジコhomologyにおける原始的ベクトル空間の階数次元が、モックモジュラー形式 Σ(q) + 2q⁻¹⁄⁸ に一致することを示すこと。
• チャーラル・ド・ラーム代数およびN=4超対称頂点代数を通じて、マケイ・ムーンシャインの物理的かつ幾何的解釈を提供すること。

提案手法

• K3表面Xのチャーラルホッジコhomology Hⁱ(X, Ω_X^ch)にフィルトレーションを構成し、対応する階数付き対象がc=6のN=4超対称頂点代数のユニタリ表現をなすことを示す。
• 共形次元およびフェルミオン数の次数を用いて、1次コホモロジー群H¹(X, Ω_X^ch)における原始的ベクトル空間を階数付きM₂₄-加群として特定する。
• チャーラル・ペイオナール双対性およびチャーラル・ド・ラーム代数を用いて、ドルベオー・コホモロジーと頂点代数モジュールとの関係を確立する。
• 有限シンプレクティック自己同型gに対して、等変楕円的特徴関数Ell_{X,g}(z;τ)を計算し、モジュラー形式およびtwining特徴関数を用いてマケイ＝トーマプソン級数と一致させること。
• 既知のK3表面の楕円的特徴関数のN=4キャラクターへの分解結果を活用し、モジュールの階数次元を導出する。
• ガンポンの定理を適用して、構築された空間が真のM₂₄-加群であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 マケイ・ムーンシャインモジュールは、K3表面のチャーラルホッジコホモロジーを通じて幾何的に実現可能か？
• RQ2 K3表面の有限シンプレクティック自己同型gが、チャーラルホッジコホモロジーにおける原始的ベクトル空間上に作用する等変特徴は、マケイ・ムーンシャインのマケイ＝トーマプソン級数Σ_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の等変特徴は、マケイ＝トーマプソン級数Σ_g(q) + 2q⁻¹⁄⁸ に一致する。
• チャーラルホッジコホモロジーの関連する階数付き対象は、中心電荷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がチャーラルホッジコホモロジーの商として実現され、マケイ・ムーンシャインの物理的かつ幾何的解釈が得られた。