[論文レビュー] Siegel modular forms and finite symplectic groups

Francesco Dalla Piazza, Bert van Geemen|ArXiv.org|Apr 23, 2008

Advanced Algebra and Geometry参考文献 18被引用数 13

ひとこと要約

本稿は、$Sp(2g, \mathbb{F}_2)$ がレベル2および偶数の重みにおけるシガールモジュラー形式の空間に作用する様子を研究し、$g \leq 3$ に対してその表現を既約成分に分解する。超弦理論に関連するスーパーフォーム測度のモジュラー形式 $\Xi_8[0^{(g)}]$ の一意性を確立し、D’HokerとPhongが研究した336個の重み6の genus-three 形式が張る105次元空間の既約性を証明し、また genus three における三浦の尖点形式（重み12）の新しい構成を与える。

ABSTRACT

The finite symplectic group Sp(2g) over the field of two elements has a natural representation on the vector space of Siegel modular forms of given weight for the principal congruence subgroup of level two. In this paper we decompose this representation, for various (small) values of the genus and the level, into irreducible representations. As a consequence we obtain uniqueness results for certain modular forms related to the superstring measure, a better understanding of certain modular forms in genus three studied by D'Hoker and Phong as well as a new construction of Miyawaki's cusp form of weight twelve in genus three.

研究の動機と目的

• レベル2および偶数の重みにおけるシガールモジュラー形式の空間に作用する有限シンプレクティック群 $Sp(2g, \mathbb{F}_2)$ の表現を理解すること。
• $g \leq 3$ の小規模な genus に対して、theta 級数と計算ツールを用いて、これらの表現を既約成分に分解すること。
• 超弦理論に関連する $\Xi_8[0^{(g)}]$ モジュラー形式の一意性を確立すること。
• D’HokerとPhongが研究した336個の重み6の genus-three モジュラー形式を分析し、その張る空間が $Sp(6)$ に関して105次元かつ既約であることを示すこと。
• D’Hoker-Phongの336個の形式の平方和を用いて、genus three における三浦の尖点形式（重み12）を新しい方法で構成すること。

提案手法

• $Sp(2g, \mathbb{F}_2) \cong \Gamma_g / \Gamma_g(2)$ の自然な作用を、レベル2のシガールモジュラー形式の空間に用いる。
• $g \leq 3$ に対して、$Sp(2g)$-不変性を活用し、theta 級数を用いてモジュラー形式を明示的に記述する。
• 群表現論を用いて、モジュラー形式上の $Sp(2g)$-表現を既約成分に分解する。
• ヘイゼンベルク群の作用とその $\widetilde{Sp}(2g, \mathbb{Z})}$ への上昇を用いて、theta 特徴の変換性を分析する。
• シュールの補題を適用し、ヘイゼンベルク不変量上の群の上昇作用が、標準的作用とスカラー同値であることを示す。
• 計算ツールとキャラクターテーブル（例：フレームの表）を用いて、既約表現を特定し、次元を検証する。

実験結果

リサーチクエスチョン

• RQ1 $g \leq 3$ に対して、レベル2および偶数の重みにおけるシガールモジュラー形式の空間に作用する $Sp(2g, \mathbb{F}_2)$-表現の分解はどのように行われるか？
• RQ2 D’HokerとPhongが研究した336個の重み6の genus-three モジュラー形式が張る105次元空間は、$Sp(6)$ に関して既約か？
• RQ3 三浦の尖点形式（重み12）は、D’Hoker-Phongの336個の形式の平方和として構成可能か？
• RQ4 $g$ が小さい場合に、モジュラー形式 $\Xi_8[0^{(g)}]$ は $Sp(2g, \mathbb{F}_2)$-作用のもとで一意的か？
• RQ5 シンプレクティック群の元の上昇は、モジュラー形式のヘイゼンベルク不変量にどのように作用するか？

主な発見

• D’HokerとPhongが研究した重み6の genus-three モジュラー形式の空間は次元105であり、$Sp(6)$ の既約表現をなす。
• $Sp(6)$-表現としての105次元空間は、フレームのキャラクターテーブルにおける分割 (4,4,4,4,4,4,4) でラベル付けされた既約表現と同型である。
• D’HokerとPhongの重み6の336個の形式の平方和は、genus three における三浦の尖点形式（重み12）に一致する。
• 105次元空間に属するすべての関数は尖点形式であるため、Eisenstein 型ではないことが確認された。
• モジュラー形式 $\Xi_8[0^{(g)}]$ は、$g=1,2,3$ に対して、その重みとレベルにおける唯一の $Sp(2g, \mathbb{F}_2)$-不変形式として一意に定まる。
• $Sp(2g)$ のヘイゼンベルク不変量上の作用は、$\tilde{t}_v$ と表される上昇により実現され、標準的シンプレクティック作用のスカラー倍として作用する。$\theta[\Delta]^4$ の変換性により、正確な正規化が検証された。