[論文レビュー] Étale Covers and Local Algebraic Fundamental Groups

Charlie Stibitz|arXiv (Cornell University)|Jul 26, 2017

Algebraic Geometry and Number Theory参考文献 7被引用数 5

ひとこと要約

この論文は、正則局所的でないノネリアンスキームの穴あき正則部分スキームにおけるエタール被覆が全体のスキームに拡張可能となるための複数の条件の同値性を確立している。特に特異点集合が余次元 ≥2 である場合に焦点を当てている。有限性の局所的fundamental group障害が、分岐の純粋性を全球的に保つ有限ガロア準エタール被覆の存在と同値であることを証明している。

ABSTRACT

Let $X$ be a normal noetherian scheme and $Z \subseteq X$ a closed subset of codimension $\geq 2$. We consider here the local obstructions to the map $\hatπ_{1}(X\backslash Z) o \hatπ_{1}(X)$ being an isomorphism. Assuming $X$ has a regular alteration, we prove the equivalence of the obstructions being finite and the existence of a Galois quasi-étale cover of $X$, where the corresponding map on fundamental groups is an isomorphism.

研究の動機と目的

• X が正則ノネリアンスキームで、Z ⊆ X が余次元 ≥2 であるとき、自然な写像 π₁^ét(X\Z) → π₁^ét(X) が同型となる条件を理解すること。
• 特異点が存在する状況において、X\Z におけるエタール被覆が X におけるエタール被覆に拡張可能となる条件を特徴づけること。
• 局所的fundamental group障害の有限性と、分岐の純粋性を全球的に回復させる有限ガロア準エタール被覆の存在との間の正確な同値性を確立すること。
• klt および F-正則特異点に関する結果を、局所的から全球的へと拡張するための局所的-全球的議論（層構造とprofinite群論を用いて）を通じて、より広いクラスのスキームへ一般化すること。

提案手法

• 正則変形とノネリアン帰納法を用いてスキームの層構造を構成し、問題を有限個の局所的障害に還元する。
• 正則変形の存在を用いてエタール被覆を上に持ち上げ、特異点の局所ヘンゼル近傍におけるその挙動を分析する。
• 鍵となる群論的補題を適用：profinite群において、有限個の有限部分群が与えられたとき、各々と自明に交わる有限指数の正規閉部分群が存在する。
• 局所的エタールfundamental群の像が全球fundamental群内に与える影響を分析することで、条件 (i)–(iv) の同値性を確立する。
• ガロア閉包を用いて被覆の塔を帰納的に構成し、このような被覆が存在しないと仮定すると矛盾が生じることを示し、適切な被覆の存在を証明する。
• 既知の klt および F-正則特異点に関する結果を活用し、特定の幾何的状況での条件の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 正則ノネリアンスキーム X に対して、Z ⊆ X が余次元 ≥2 であるとき、自然な写像 π₁^ét(X\Z) → π₁^ét(X) が同型となる条件は何か？
• RQ2 X\Z から X へのエタール被覆の拡張を妨げる局所的障害の正確な性質は何か？ そして、これらの障害が有限であるのはいつか？
• RQ3 分岐の純粋性の失敗は、X の有限ガロア準エタール被覆に移ることで解消可能か？
• RQ4 エタール被覆の文脈において、特異点における局所的fundamental群と全球fundamental群との関係は何か？
• RQ5 klt および F-正則特異点に関する結果は、局所的-全球的原理を用いて、他のスキームのクラスへどの程度一般化可能か？

主な発見

• 写像 π₁^ét(X\Z) → π₁^ét(X) が同型であるための必要十分条件は、各 x ∈ Z に対して、局所的エタールfundamental群 π₁^ét(X_x\Z_x) の像が π₁^ét(X\Z) 内で有限であることである。
• すべての x ∈ Z に対して G_x ∩ H が自明となるような、π₁^ét(X\Z) の有限指数の閉正規部分群 H が存在するための必要十分条件は、局所的障害 G_x が有限であることである。
• すべての有限個を除く写像がエタールであるような準エタールガロア被覆の塔が存在するための必要十分条件は、局所的障害が有限であることである。
• すべてのエタール被覆が Y_reg に拡張可能となるような、有限、ガロア、準エタール被覆 Y → X が存在するための必要十分条件は、局所的障害が有限であることである。
• C 上の klt 特異点および正の特性における F-有限な強 F-正則多様体では、局所的障害が有限であることが確認され、既知の結果が特別な場合として回復される。
• 証明は、profinite群における有限個の有限部分群に対して、各々と自明に交わる有限指数の正規部分群が存在するという群論的事実に依拠しており、これは局所的-全球的還元において不可欠である。