[論文レビュー] On a toroidalization for klt singularities

Joaquí­n Moraga|arXiv (Cornell University)|Jan 1, 2021

Algebraic Geometry and Number Theory参考文献 43被引用数 4

ひとこと要約

本稿は、Kawamata対数終票（klt）特異点における有限群作用に対して、トロイダル化の原理を確立する。有限群作用は、G-同変な有理型変形を経てトロイダル化可能であることを証明する。主な結果は、任意のklt特異点における有限群作用が、ある有界指数の正規アーベル部分群をもち、高次モデル上でトロイダルに作用することを示しており、その作用は共通の対数正則中心を固定し、群をトーラス作用の部分群として実現する。これは、klt特異点の局所基本群に対するジョルダン性質の幾何的実現をもたらす。

ABSTRACT

In this article, we prove a toroidalization principle for finite actions on klt singularities. As an application, we prove that the Jordan property for the regional fundamental group of klt singularities can be realized geometrically: by extracting a toric singularity over the klt germ. In the course of the proof, we will prove statements about finite actions on dual complexes and almost fixed points in the fibers of equivariant Fano type morphisms. Furthermore, we will prove that the rank of a fundamental group of the klt singularity is bounded above by its regularity.

研究の動機と目的

• klt特異点における有限群作用に対するトロイダル化の原理を確立し、このような作用がトーリック作用に類似しているというアイデアを一般化する。
• klt特異点の局所基本群に対するジョルダン性質が、トーリック特異点の抽出を通じて幾何的に実現可能であることを証明する。
• klt特異点の基本群のランクをその正則性によって上から有界化し、位相的および幾何的不変量を結びつける。
• 同変Fano型準同型における双対複体およびファイバーごとのほぼ固定点を、有限群作用の観点から分析する。

提案手法

• r個の素性の除法 E1, ..., Er を抽出するG-同変な射影的有理型射 π: Y → X を構成し、その作用は正規アーベル部分群 A ⊲ G に対して不変である。
• Z = E1 ∩ ⋯ ∩ Er が非自明で、A-不変であり、Z のある成分上で A が恒等的に作用することを保証する。
• Z の一般点 ηZ において、(Y, E1 + ⋯ + Er) が形式的にトーリックであることを証明し、A を Gr_m の部分群として実現する。
• 双対複体および同変Fano型準同型の構造を用いて、固定された基点上のファイバーにおけるほぼ固定点を分析する。
• klt特異点における補完の有界性および正則性の結果を応用し、log Calabi-Yau 構造のランクとカルティエ指数を制御する。
• 一般化されたペアおよびモジュライ部の理論を用いて、商および有理型モデルにおける群作用の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 klt特異点における有限群作用は、有理型変形を経てトロイダル化可能であり、群がトーラス作用の部分群として実現可能か？
• RQ2 klt特異点の局所基本群に対するジョルダン性質は、トーリック特異点の抽出を通じて幾何的に実現可能か？
• RQ3 klt特異点の基本群のランクは、その正則性によって上から有界化可能か？
• RQ4 Fano型多様体またはklt特異点における有限群作用は、同変準同型のファイバーにほぼ固定点を有し、その固定点を保つ有界指数部分群が存在するか？
• RQ5 カルティエ指数は、一般化された対数カービィ＝ヤウペア上の有限群作用の挙動を制御する上で果たす役割は何か？

主な発見

• 任意のn次元klt特異点 (X, x) とその上に作用する有限群Gに対して、Gの正規アーベル部分群A ⊲ Gが存在し、その指数はc(n)以下である。ここでc(n)はnにのみ依存する。このAは、G-同変な有理型変形を経てトロイダルに作用する。
• Aの変形空間Y上での作用は、r個の素性除法の交わりの成分Zを固定し、AはGr_mに埋め込まれ、Zの一般点においてトーラス作用として実現される。
• アーベル部分群Aのランクrは、klt特異点の正則性によって上から有界化され、位相的および幾何的不変量の直接的な関係を確立する。
• klt局所特異点上でランクrの大きな有限アーベル群が作用するならば、その作用はr個の対数正則場所をもたらし、それらの交わりはトロイダル構造を支える。
• G-同変なFano型準同型の固定点上のファイバーには、有界指数部分群が作用するほぼ固定点が存在し、双対複体および群作用に関する結果を一般化する。
• 逆例により、カルティエ指数の制御が本質的であることが示される。カルティエ指数を制御しないと、群作用の有界性およびトロイダル化は成立せず、係数が制御された一般化ペアに対しても同様である。