[論文レビュー] On the local étale fundamental group of KLT threefold singularities

Javier Carvajal‐Rojas, Axel Stäbler+1 more|arXiv (Cornell University)|Apr 16, 2020

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

ひとこと要約

本稿では、特性 p > 5 の代数閉体上におけるKawamata対数終票（KLT）3次元特異点の局所エタール基本群が、有限かつ純粋（pと互いに素）であることを確立している。著者らは、有限ユニポテンツ torsor の構造を分析し、最小モデルプログラム（MMP）の技術、特に対数解消とフリップを用いて、類群のpと互いに素な部分が有限生成であることを示すことで、基本群の有限性と純粋性を証明する。

ABSTRACT

Let $S$ be KLT threefold singularity over an algebraically closed field of positive characteristic $p>5$. We prove that its local étale fundamental group is tame and finite. Further, we show that every finite unipotent torsor over a big open of $S$ is realized as the restriction of a finite unipotent torsor over $S$.

研究の動機と目的

• 正の特性における非強くF正則なKLT3次元特異点の局所エタール基本群の有限性と純粋性に関する知識の欠如に対処する。
• 特性0および強くF正則特異点における有限基本群に関する先行結果を、3次元およびp > 5におけるKLT特異点の広いクラスへ拡張する。
• KLT3次元特異点の大きな開集合上での任意の有限ユニポテンツtorsorが、特異点全体に拡張可能であることを確立し、純粋性結果の根拠を提供する。
• 複素数体におけるXuの有限性結果の特性p版を提示し、エタール基本群が有限であるだけでなく、pと互いに素であることを示す。
• 特異点が有理的である場合に、特異点からその大きな開集合へのfppf torsorの制限写像が、すべての有限ユニポテンツ群スキームに対して全射であることを証明する。

提案手法

• KLT3次元特異点の対数解消に対して最小モデルプログラム（MMP）を適用し、除法的収縮とフリップを分析することで、類群構造を制御する。
• 分岐核の純粋性定理を適用して、問題を穴が1点である場合に還元するが、将来的な高次元への応用を考慮して一般性を保ったまま手法を保持する。
• 特異点における局所環の類群のpと互いに素な部分を、Picard群と局所類群を含む完全列を用いて分析する。
• 写像 Pic(X) → Pic(E) の核がp∞- torsion であるという事実を用いて、適切な仮定の下で類群のpと互いに素な部分が有限生成であることを示す。
• 3次元フリップにおいて、片側での類群のpと互いに素な部分の有限生成性が、もう片側でも成り立つことを、写像 Pic(X \ {x}) → Picloc(x, ˆXx) の全射性を用いて証明する。
• フリップにおける例外的曲線の h¹(Cwn, OCwn) の消滅を用いて、局所類群の有限生成性を保証し、曲線の正規化と「異なる」の負の性質に依存する。

実験結果

リサーチクエスチョン

• RQ1 特性 p > 5 の代数閉体上におけるKLT3次元特異点の局所エタール基本群の構造は何か？
• RQ2 このような特異点の局所エタール基本群は有限かつ純粋（すなわち、その位数がpと互いに素）か？
• RQ3 KLT3次元特異点の大きな開集合上での任意の有限ユニポテンツtorsorは、特異点全体に拡張可能か？
• RQ4 特異点からその大きな開集合へのfppf torsorの制限写像は、すべての有限ユニポテンツ群スキームに対して全射のままであるか？
• RQ5 特異点（例えば有理的であることなど）にどのような条件を課すと、torsor制限写像が全射になるか？

主な発見

• 特性 p > 5 の代数閉体上におけるKLT3次元特異点 S◦ の局所エタール基本群 πét₁(S◦) は、有限かつ純粋であり、πét₁(S◦) → πét₁(S◦)(p) は同型である。
• 特性 p > 5 におけるKLT3次元特異点 S の大きな開集合 S◦ 上の任意の有限ユニポテンツtorsor は、特異点全体 S 上の有限ユニポテンツtorsor に拡張可能である。
• 特性 p > 5 における有理的KLT3次元特異点 S に対して、すべての有限ユニポテンツ群スキーム G に対して、fppf torsor の制限写像 H¹(Sfl, G) → H¹(S◦fl, G) は全射である。
• p > 5 のとき、KLT3次元特異点のすべての特異点 x に対して、類群 Cl( ˆXx) のpと互いに素な部分は有限生成であり、これは基本群の純粋性を示唆する。
• 3次元フリップにおいて、境界に含まれる曲線を含む補助的除法的因子が存在する場合、例外的曲線 Cwn に対して h¹(Cwn, OCwn) = 0 が成り立つ。これは有限生成性の議論において重要である。
• 有理的仮定の下で、torsor制限写像の全射性が成り立つ。これは [CR22] の結果を3次元およびp > 5におけるKLT設定へ一般化する。