[論文レビュー] The local fundamental group of a Kawamata log terminal singularity is finite

Lukas Braun|arXiv (Cornell University)|Apr 1, 2020

Algebraic Geometry and Number Theory参考文献 59被引用数 24

ひとこと要約

この論文は、Kawamata log terminal (klt)特異点の近傍における滑らかさの部分の局所的基本群が有限であることを証明し、Kollárの予想を裏付ける。証明は弱いFano対に関する局所からグローバルへの帰納法的アプローチを用い、その滑らかさの部分の軌道基本群の有限性を確立する。これは、klt多様体の除数類群や被覆に関するグローバルな結果へと拡張される。

ABSTRACT

We prove a conjecture of Koll\'ar stating that the local fundamental group of a klt singularity $x$ is finite. In fact, we prove a stronger statement, namely that the fundamental group of the smooth locus of a neighbourhood of $x$ is finite. We call this the regional fundamental group. As the proof goes via a local-to-global induction, we simultaneously confirm finiteness of the orbifold fundamental group of the smooth locus of a weakly Fano pair.

研究の動機と目的

• klt特異点の局所基本群が有限であるというKollárの予想を解決すること。
• klt特異点の滑らかさの部分の領域的基底群πreg₁(X, x)の有限性を確立すること。
• 弱いFano対の滑らかさの部分の軌道基本群π₁(Xsm, Δ′)の有限性を証明すること。
• 基本群に関する結果をグローバルな設定へと拡張し、除数類群の有限生成性を含むこと。
• klt多様体およびFano型多様体の有限被覆および普遍被覆を理解するための基盤を提供すること。

提案手法

• 問題を弱いFano対のケースに還元するため、局所からグローバルへの帰納法戦略を適用する。
• 局所的基底群πreg₁(X, x)を、点xの近傍における滑らかさの部分の基本群として定義する。
• 境界除数を伴う滑らかさの部分のトポロジーを分析するために、軌道基本群π₁(Xsm, Δ′)を用いる。
• 代数的トポロジーの構造を裏付けるために、[Xu14]における\'etale基本群の結果と、[GKP16]における準\'etale被覆の結果を活用する。
• 対数解消、不一致、軌道構造などを含む代数幾何学的手法を用いる。
• Cox環と除数類群の結果を用いて、基本群のアーベル化に関する帰結を導出する。

実験結果

リサーチクエスチョン

• RQ1 klt特異点の近傍における滑らかさの部分の領域的基底群は有限か？
• RQ2 弱いFano対の滑らかさの部分の軌道基本群は有限のままか？
• RQ3 領域的基底群の有限性を用いて、全空間への有限被覆を拡張できるか？
• RQ4 klt多様体およびFano型多様体において、領域的基底群は除数類群とどのように関係するか？
• RQ5 基本群のトポロジー的有限性は、軌道のグローバルなガロア被覆へと持ち上げられるか？

主な発見

• klt特異点の領域的基底群πreg₁(X, x)は有限であり、Kollárの予想が裏付けられる。
• 弱いFano対の滑らかさの部分の軌道基本群π₁(Xsm, Δ′)は有限である。
• klt準錐または弱いFano多様体の除数類群Cl(X)finの有限部分は、H₁(Xsm, ℤ)に同型である。
• 任意の\'etaleガロア軌道被覆(Xsm, Δ′|Xsm)は、(X, Δ′)のガロア軌道被覆に拡張可能である。
• 結果から、klt対の無限個の準\'etale被覆の塔は、すべての有限個を除く写像が\'etaleであるという意味で安定化することが示唆される。
• π₁(Xsm)のアーベル化は、除数類群の有限部分Cl(X)finに同型である。