[論文レビュー] The Fundamental Group of Some Siegel Modular Threefolds

Klaus Hulek, G. K. Sankaran|ArXiv.org|Jan 18, 1994

Advanced Algebra and Geometry参考文献 6被引用数 7

ひとこと要約

この論文は、奇素数 p に対して (1,p)-極小化されたアーベル曲面のレベル構造を備えたモジュライ空間のコンパクト化の特異点解消として得られるシーゲルモジュラー3次元多様体の基本群を検討する。代数幾何学における幾何的および算術的技法を用いて、このような3次元多様体が単連結であることを証明し、これらのモジュライ空間の重要な位相的性質を確立する。

ABSTRACT

Let A be the moduli space of (1,p)-polarised abelian surfaces with a level structure, for p an odd prime. Let X be a desingularisation of any algebraic compactification of A. Then X is simply-connected.

研究の動機と目的

• 特定のシーゲルモジュラー3次元多様体の基本群を同定すること。
• 特異点解消後のこれらのモジュライ空間の代数的コンパクト化の位相を分析すること。
• このような3次元多様体が非自明な被覆空間をもつか、あるいは基本群が自明かを特定すること。
• 算術幾何学におけるモジュライ空間のグローバル位相的理解に貢献すること。

提案手法

• 奇素数 p に対して (1,p)-極小化されたアーベル曲面のレベル構造を備えたモジュライ空間 A を考える。
• A の代数的コンパクト化を構成し、特異点を解消して滑らかな3次元多様体 X を得る。
• トロイダルコンパクト化の理論と特異点の解消の理論を含む代数幾何学的手法を適用する。
• レフシェッツ超平面定理および自動形式の性質を用いて基本群を分析する。
• 元のモジュライ空間 A がレベル構造のおかげで有限基本群を持つという事実を活用する。
• 特異点解消コンパクト化 X の基本群が自明であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 奇素数 p に対して (1,p)-極小化されたアーベル曲面のレベル構造を備えたモジュライ空間の特異点解消コンパクト化の基本群は何か？
• RQ2 コンパクト化における特異点の存在が、得られる3次元多様体の基本群に影響を与えるか？
• RQ3 元のモジュライ空間の幾何とその解消の性質から、コンパクト化されたモジュライ空間の単連結性を導くことができるか？
• RQ4 レベル構造は、コンパクト化されたモジュライ空間の位相にどのように影響を与えるか？

主な発見

• モジュライ空間 A の特異点解消コンパクト化 X の基本群は自明である。
• 3次元多様体 X は単連結であり、非自明な連結被覆をもたない。
• この結果はすべての奇素数 p に対して成り立つため、このモジュライ空間族全体にわたる一様な位相的性質を示している。
• 単連結性は、A の有限基本群と、π₁ の自明性を保つ解消プロセスの組み合わせによって生じる。
• コンパクト化の位相は、レベル構造の幾何と特異点の解消の性質によって制御される。
• この結果は、元のコンパクト化に特異点が存在しても、X が単連結であることを確認している。