[論文レビュー] On the image of code polynomials under theta map

Manabu Oura, Riccardo Salvati Manni|ArXiv.org|Mar 31, 2008

Advanced Algebra and Geometry参考文献 15被引用数 4

ひとこと要約

この論文は、$ g \geq 4 $ の場合、コード多項式から偶数の重みのシーゲルモジュラー形式へのシータ写像が全射でないことを、特異点における接空間の次元の不一致により、関連する射影的代数的多様体が射影空間 $ \mathbb{P}^{2^g - 1} $ に埋め込めないことを示すことによって証明する。この結果により、$ g = 4 $ の未解決事例が解け、$ g \geq 4 $ の場合の次数付き写像の全射性が確立され、重みが4の倍数である部分環へも拡張される。

ABSTRACT

The theta map sends code polynomials into the ring of Siegel modular forms of even weights. Explicit description of the image is known for $g\leq 3$ and the surjectivity of the theta map follows. Instead it is known that this map is not surjective for $g\geq 5$. In this paper we discuss the possibility of an embedding between the associated projective varieties. We prove that this is not possible for $g\geq 4$ and consequently we get the non surjectivity of the graded rings for the remaining case $g=4$.

研究の動機と目的

• genus $ g = 4 $ におけるコード多項式からシーゲルモジュラー形式へのシータ写像が全射であるかどうかを特定し、$ g \leq 5 $ の分類を完了すること。
• シータ写像を介して、モジュライ空間 $ \mathcal{H}_g / \Gamma_g(2,4) $ が射影空間 $ \mathbb{P}^{2^g - 1} $ に埋め込める幾何的可換性を検討すること。
• 既存の結果により $ g \geq 5 $ で非全射であることが示されているが、$ g = 4 $ の未解決事例を解き、非全射性を解決すること。
• 重みが8の倍数である多項式に制限されたシータ写像を通じて、シーゲルモジュラー形式の次数付き環の構造を分析すること。

提案手法

• 一般の完全に可約な点における $ \mathcal{H}_g / \Gamma_g(2,4) $ の接空間に作用する群 $ K_g = \Gamma_g / \Gamma_g(2,4) $ を分析する。
• 対角部分群 $ K $ に関して不変な対称行列の単項式を用いて、そのような点における接空間の次元 $ t_g $ を計算する。
• $ t_g = g + \binom{g}{2} + \frac{1}{2} \sum_{h=3}^g \binom{g}{h} (h-1)! $ という公式を用い、$ g \geq 4 $ の場合に $ 2^g - 1 $ を超えることを示し、$ \mathbb{P}^{2^g - 1} $ への埋め込みが不可能であることを示す。
• $ g \geq 4 $ の場合、接空間の次元の不一致により、写像 $ \Theta_2: \overline{\mathcal{H}_g / \Gamma_g} \to \mathrm{Proj}(R_g) $ がインマージョンでないことを確立する。
• もし写像がインマージションではないならば、対応する次数付き成分への写像は全射でないことが分かることを応用し、$ \mathrm{Th}_2: R_g^{(4k)} \to M(\Gamma_g)^{(2k)} $ が全射ではないことを導く。
• 重みが偶数のユニモジュラー格子のシータ級数の特別な場合に限定し、$ g \geq 4 $ の場合に無限個の次数で $ \mathrm{Th}_2: R_g^{(8)} \to \mathbb{C}[\vartheta_\Lambda] $ が全射でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 genus $ g = 4 $ におけるコード多項式から偶数の重みのシーゲルモジュラー形式へのシータ写像は全射か？
• RQ2 $ g \geq 4 $ の場合、モジュライ空間 $ \mathcal{H}_g / \Gamma_g(2,4) $ はシータ写像を介して $ \mathbb{P}^{2^g - 1} $ に埋め込めるか？
• RQ3 シータ写像を重みが4の倍数であるモジュラー形式に制限した場合、非全射性は維持されるか？
• RQ4 一般の完全に可約な点における $ \mathcal{H}_g / \Gamma_g(2,4) $ の接空間の次元は何か？ そして、その次元は周囲の射影空間の次元とどのように比較されるか？

主な発見

• $ g \geq 4 $ の場合、一般の完全に可約な点における接空間の次元 $ t_g $ は $ 2^g - 1 $ を超えるため、その多様体は $ \mathbb{P}^{2^g - 1} $ に埋め込めない。
• $ g \geq 4 $ の場合、写像 $ \Theta_2: \overline{\mathcal{H}_g / \Gamma_g} \to \mathrm{Proj}(R_g) $ は、像点における接空間の次元の不一致によりインマージョンでない。
• その結果、$ g \geq 4 $ かつ任意の $ k \geq 1 $ に対して、次数付き写像 $ \mathrm{Th}_2: R_g^{(4k)} \to M(\Gamma_g)^{(2k)} $ は全射でない。
• $ g \geq 4 $ の場合、重みが8の倍数である多項式に制限したシータ写像 $ \mathrm{Th}_2: R_g^{(8)} \to \mathbb{C}[\vartheta_\Lambda] $ は、無限個の次数で全射でない。
• この結果により、非全射性の分類が完全に完了する：シータ写像は $ g \geq 4 $ で全射でなく、$ g = 4 $ の未解決事例が解決される。