[論文レビュー] MODULAR FORMS OF WEIGHT 8 FOR g(1,2)

Manabu Oura, Cris Poor+2 more|arXiv (Cornell University)|Jan 1, 2009

Advanced Algebra and Geometry参考文献 20被引用数 1

ひとこと要約

本稿は、ガウス・モジュラー形式の D'Hoker と Phong のアンザッツ計画を genus 4 で完了し、群 Γ₁(1,2) に対する重さ 8 のシーゲル尖域形式の一意性を証明することで、dim(S₄(1,2),8)₀ = 2 および dim(S₄(1,2),8) = 7 を確立した。また、theta 級数の線形結合を構成することで、genus 5 への枠組みの拡張を図り、高 genus のシーゲルモジュラー形式におけるモジュラー形式の分類を進めた。

ABSTRACT

We complete the program indicated by the Ansatz of D'Hoker and Phong in genus 4 by proving the uniqueness of the restriction to Jacobians of the weight 8 Siegel cusp forms satisfying the Ansatz. We prove dim( 4(1,2),8)0 = 2 and dim( 4(1,2),8) = 7. In each genus, we classify the linear relations among the self-dual lattices of rank 16. We extend the program to genus 5 by construct- ing the unique linear combination of theta series that satisfies the Ansatz.

研究の動機と目的

• Γ₁(1,2) に対する重さ 8 のシーゲル尖域形式の一意性を証明することで、genus 4 における D'Hoker と Phong のアンザッツ計画を完了すること。
• genus 4 における Γ₁(1,2) に対する重さ 8 のシーゲル尖域形式の空間の正確な次元を特定すること。
• genus 4 および genus 5 におけるランク 16 の自己双対格の間の線形関係を分類すること。
• theta 級数の線形結合を構成することで、アンザッツ条件を満たす唯一の組み合わせを genus 5 に拡張すること。

提案手法

• シーゲル尖域形式の重さ 8 をヤコビアンに制限する解析を行い、D'Hoker-Phong アンザッツの枠組みを活用する。
• 次元の公式と表現論を適用して、genus 4 における Γ₁(1,2) に対するシーゲル尖域形式の空間の次元を計算する。
• 格子論的およびモジュラー形式の技法を用いて、ランク 16 の自己双対格の間の線形関係を分類する。
• genus 5 におけるアンザッツ条件を満たす唯一の theta 級数の線形結合を構成する。
• モジュラー形式および theta 級数の構造を用いて、高 genus における一貫性および一意性を検証する。

実験結果

リサーチクエスチョン

• RQ1 genus 4 における Γ₁(1,2) に対する重さ 8 のシーゲル尖域形式の空間の次元は何か？
• RQ2 genus 4 において、D'Hoker-Phong アンザッツのもとで、重さ 8 のシーゲル尖域形式のヤコビアンへの制限は一意的か？
• RQ3 ランク 16 の自己双対格の間の線形関係は、genus 4 および genus 5 におけるモジュラー形式の構造にどのように制約を加えるか？
• RQ4 アンザッツ計画は genus 5 に拡張可能か？ もし可能であれば、それを満たす唯一の theta 級数の線形結合は何か？
• RQ5 theta 級数は、高 genus におけるアンザッツを満たすモジュラー形式を構成する際に果たす役割は何か？

主な発見

• genus 4 における Γ₁(1,2) に対する重さ 8 のシーゲル尖域形式の空間の次元は正確に 7 である。
• genus 4 における Γ₁(1,2) に対する重さ 8 の尖域形式の空間でヤコビアンに消えるものの次元は正確に 2 である。
• 本稿は、genus 4 における D'Hoker-Phong アンザッツのもとで、重さ 8 のシーゲル尖域形式のヤコビアンへの制限の一意性を確立した。
• genus 4 および genus 5 におけるランク 16 の自己双対格の間の線形関係は、完全に分類された。
• genus 5 におけるアンザッツ条件を満たす唯一の theta 級数の線形結合が構成された。
• アンザッツの genus 5 への拡張は、モジュラー形式の性質を体系的に構築および検証することで達成された。