[論文レビュー] Fundamental Groups of Galois Closures of Generic Projections

Christian Liedtke|arXiv (Cornell University)|May 19, 2005

Algebraic Geometry and Number Theory参考文献 13被引用数 10

ひとこと要約

本稿は、曲面からの一般射影のガロア被覆の基本群を計算するための群論的枠組みを提供し、それが元の曲面の基本群と射影の次数によって決定されることを示している。主な結果は、商群 π₁(X₉ₐₗ)/Cᵖʳᵒⱼ に対する明示的な同型写像であり、既知の例における π₁(X₉ₐₗ) の予想外に単純な構造を説明するとともに、モイシェゾン、ティーチャーらの先行研究の計算を簡略化している。

ABSTRACT

For the Galois closure $\Xgal$ of a generic projection from a surface $X$, it is believed that $π_1(\Xgal)$ gives rise to new invariants of $X$. However, in all examples this group is surprisingly simple. In this article, we offer an explanation for this phenomenon: We compute a quotient of $π_1(\Xgal)$ that depends on $π_1(X)$ and data from the generic projection only. In all known examples except one, this quotient is in fact isomorphic to $π_1(\Xgal)$. As a byproduct, we simplify part of the computations of Moishezon, Teicher and others.

研究の動機と目的

• 一般射影のガロア被覆の既知の例における π₁(X₉ₐₗ) の予想外に単純な構造を説明すること。
• π₁(X) と一般射影からのデータのみを用いて、π₁(X₉ₐₗ)/Cᵖʳᵒⱼ を体系的に計算する方法を提供すること。
• 特に有理曲面および楕円曲線ファイブレーションに対して、モイシェゾン、ティーチャーらの先行計算を簡略化・一般化すること。
• 既知の例では Cᵖʳᵒⱼ が自明であることを示し、その場合 π₁(X₉ₐₗ) ≅ π₁(X₉ₐₗ)/Cᵖʳᵒⱼ が成り立つこと。
• ティーチャーの仮説（虚的可解性）に貢献し、π₁(X) が虚的可解でない場合、π₁(𝔸²−D) も虚的可解でないことを示すこと。

提案手法

• π₁(X₉ₐₗ) 内の交換子および三重交換子関係によって生成される商群 Cᵖʳᵒⱼ を導入し、基本群の核心的構造を捉える。
• π₁(Xᵃᶠᶠ) と射影の次数 n に依存する群論的構成 𝒦(π₁(Xᵃᶠᶠ), n) を定義し、商群 π₁(X₉ₐₗᵃᶠᶠ)/Cᵃᶠᶠ をモデル化する。
• アフィン被覆の図式を用いて π₁(X₉ₐₗᵃᶠᶠ) を π₁(Xᵃᶠᶠ) と関連づけ、次に巡回商を介して π₁(X₉ₐₗ) に持ち上げる。
• 群コホホロジーとホモロジー代数を用いて H₂(π₁(Xᵃᶠᶠ), ℤ) を計算し、これが商の構造に現れる。
• π₁(X) と線分束 L = f*𝒪(1) の可除指数 d に依存する π₁(X₉ₐₗ)/Cᵖʳᵒⱼ に対する同型写像を確立する。
• アーベル化と拡張論を用いて H₁(X₉ₐₗ, ℤ)/C̄ᵖʳᵒⱫ を計算し、明示的なランクと torsion 成分を得る。

実験結果

リサーチクエスチョン

• RQ1 なぜガロア被覆の一般射影の基本群 π₁(X₉ₐₗ) は、常に有限アーベル群または自由アーベル群に近い単純な構造を示すのか？
• RQ2 完全な braid monodromy 因子分解を経ずに、π₁(X) と射影の次数からのみ、π₁(X₉ₐₗ) の構造を直接計算できるか？
• RQ3 交換子関係の高次関係を捉える部分群 Cᵖʳᵒⱼ は、ℙ¹×ℙ¹ や E×ℙ¹ からの射影のような既知の例で自明であるか？
• RQ4 π₁(𝔸²−D) が虚的可解でないのはどのような条件下で成り立ち、π₁(X) とどのように関係するか？
• RQ5 H₁(X₉ₐₗ, ℤ)/C̄ᵖʳᵒⱼ の正確な構造は、X の位相的不変量と射影データに基づいてどのように記述できるか？

主な発見

• 単連結な曲面 X と可除指数 d の線分束 L に対して、同型写像 π₁(X₉ₐₗ)/Cᵖʳᵒⱼ ≅ (ℤ/dℤ)ⁿ⁻² が成り立ち、有理曲面の場合の有限アーベル構造を説明する。
• H₁(X₉ₐₗ, ℤ)/C̄ᵖʳᵒⱫ としてのアーベル群のランクは、H₁(X, ℤ) のランクの (n−1) 倍であり、元の曲面のホモロジーに直接線形依存する。
• X = C×ℙ¹ で C の genus が g、L の次数が k の場合、アーベル化 H₁(X₉ₐₗ, ℤ)/C̄ᵖʳᵒⱫ は (ℤ/gcd(d,k)ℤ)²ᵈᵏ⁻² ⊕ ℤ²ᵍ⁽²ᵈᵏ⁻¹⁾ に同型であり、torsion 項と自由項を明示的に計算する。
• E×ℙ¹ からの一般射影で d=1 かつ g=1 の場合、本稿は Cᵖʳᵒⱼ が自明であることを確認し、π₁(X₉ₐₗ) ≅ ℤ⁴ᵏ⁻² が成り立つことを示し、アムラム、ゴールドバーグ、ティーチャー、ビシュネの計算と一致する。
• 構成 𝒦(π₁(Xᵃᶠᶠ), n) は、π₁(X₉ₐₗᵃᶠᶠ)/Cᵃᶠᶠ を純粋に群論的モデルとして提供し、複雑な幾何的計算を代数的群拡張に還元する。
• 本稿は、π₁(X) が虚的可解でない場合、π₁(𝔸²−D) も虚的可解でないことを証明し、新たな非虚的可解基本群のクラスを提供する。