[論文レビュー] Kawamata log terminal singularities of full rank

Joaquí­n Moraga|arXiv (Cornell University)|Jul 20, 2020

Algebraic Geometry and Number Theory参考文献 25被引用数 6

ひとこと要約

本稿では、全ランクをもつKawamata対数終票的（klt）特異点——n次元klt特異点で、その局所基本群にランクnの有限アーベル群を含むもの——が、対数クレパント同値なトーリック商特異点の錐に退化することを確立する。主な結果は、ランクの大きな全ランクの自己同型群をもつファノ型多様体の問題を、対数クレパント同値なトーリック多様体に還元する。さらに、補完および対数カシミールヤウ構造の双対複体への応用を導く。

ABSTRACT

We study Kawamata log terminal singularities of full rank, i.e., $n$-dimensional klt singularities containing a large finite abelian group of rank $n$ in its regional fundamental group. The main result of this article is that klt singularities of full rank degenerate to cones over log crepant equivalent toric quotient varieties. To establish the main theorem, we reduce the proof to the study of Fano type varieties with large finite automorphisms of full rank. We prove that such Fano type varieties are log crepant equivalent toric. Furthermore, any such Fano variety of dimension $n$ contains an open affine subset isomorphic to $\mathbb{G}_m^n$. As a first application, we study complements on klt singularities of full rank. As a second application, we study dual complexes of log Calabi-Yau structures on Fano type varieties with large fundamental group of their smooth locus.

研究の動機と目的

• 対数クレパント同値なトーリック商特異点に退化することを示すことにより、全ランクをもつklt特異点を特徴付ける。
• 3次元klt特異点で大きな基本群をもつものに関する先行結果を、任意の次元に拡張する。
• ランクの大きな全ランクの自己同型群をもつファノ型多様体が、対数クレパント同値にトーリック多様体であることを確立する。
• 主定理を用いて、全ランクをもつklt特異点における有界補完の存在を応用する。
• 大きな基本群をもつファノ型多様体上の対数カシミールヤウ対の双対複体の構造を研究する。

提案手法

• 純粋対数終票的ブLOWアップを用いて、全ランクをもつklt特異点の研究をファノ型多様体に還元する。
• 有界反標準埋め込みの理論を用いて、ファノ型多様体の幾何を制御する。
• 有限群作用およびトーラス作用の下での除釈の挙動を分析するため、退化技術を適用する。
• ファノ型多様体の滑らか部分のG-可換な普遍被覆を構成し、その自己同型群を研究する。
• ジョルダン性および有界性結果を用いて、ランクの大きな全ランクの自己同型群をもつファノ型多様体が、対数クレパント同値にトーリック多様体であることを証明する。
• 双対複体と群商の双対性を用いて、対数カシミールヤウ構造の位相を分析する。

実験結果

リサーチクエスチョン

• RQ1 任意の次元において、全ランクをもつklt特異点は、対数クレパント同値なトーリック商特異点に退化するか？
• RQ2 ランクの大きな有限自己同型群をもつファノ型多様体が、対数クレパント同値にトーリック多様体であることを示せるか？
• RQ3 大きな基本群をもつファノ型多様体上の対数カシミールヤウ対の双対複体の構造はいかなるものか？
• RQ4 有界補完は、全ランクをもつklt特異点においてどのように振る舞うか？
• RQ5 高次元における局所基本群と特異点の幾何の関係は何か？

主な発見

• 任意の次元$n$に対して、定数$N(n)$が存在し、$\mathbb{Z}_k^n$を含む局所基本群をもつ$n$次元klt特異点が$k \geq N(n)$であれば、対数クレパント同値なトーリック商特異点に退化する。
• ランクの大きな全ランクの自己同型群をもつファノ型多様体は、対数クレパント同値にトーリック多様体であり、$\mathbb{G}_m^n$に同型な開アフィン部分集合を含む。
• 大きな基本群をもつファノ型多様体上の対数カシミールヤウ対の双対複体は、$n$の関数で有界な位数の有限群による$S^{n-1}$の商とPL同相である。
• 主定理の系として、全ランクをもつklt特異点における有界対数正則補完の存在が確立される。
• 主結果は、3次元多様体に関する先行研究を任意の次元に一般化し、トーリック特異点および商特異点を含むクラスへの普遍的退化を提供する。
• 証明は、反標準埋め込みの有界性および局所基本群のジョルダン性に依拠し、問題をトーリックモデルの研究に還元する。