[論文レビュー] A geometric characterization of toric singularities

Joaquí­n Moraga, Roberto Svaldi|arXiv (Cornell University)|Aug 3, 2021

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

ひとこと要約

この論文は、基本対象上の対数正則な対に対して複雑性不変量を導入することで、Shokurovによるトーリック特異点の幾何的特徴付けに関する予想を完全に解決する。複雑性が0のとき、その準同型写像は形式的にトーリック準同型写像に同型であり、境界成分はトーリック不変除集合へと写像されることを証明し、双有理幾何と類群のランクに基づいた形式的トーリック性の明確な基準を提示する。

ABSTRACT

Given a projective contraction $π\colon X ightarrow Z$ and a log canonical pair $(X, B)$ such that $-(K_X+B)$ is nef over a neighborhood of a closed point $z\in Z$, one can define an invariant, the complexity of $(X, B)$ over $z \in Z$, comparing the dimension of $X$ and the relative Picard number of $X/Z$ with the sum of the coefficients of those components of $B$ intersecting the fibre over $z$. We prove that the complexity of $(X,B)$ over $z\in Z$ is non-negative and that when it is zero then $(X,\lfloor B floor) ightarrow Z$ is formally isomorphic to a morphism of toric varieties around $z\in Z$. In particular, considering the case when $π$ is the identity morphism, we get a geometric characterization of singularities that are formally isomorphic to toric singularities. This gives a positive answer to a conjecture due to Shokurov.

研究の動機と目的

• 複雑性不変量を用いて、Shokurovのトーリック特異点に関する幾何的特徴付けの予想を解決すること。
• 幾何的複雑性不変量の非負性および消滅に基づいて、準同型写像が形式的にトーリックである条件を確立すること。
• Q-因子的かつ対数正則特異点に関する以前の結果を、Q-因子的でない場合に一般化すること。
• 複雑性が0ならば形式的トーリック性および一般化された対におけるモジュライ除集合の下りの性質が成り立つことを証明すること。

提案手法

• 対数正則な対に対して、複雑性不変量を $ c_z(X/Z,B) = \dim X + \dim_{\mathbb{Q}} \operatorname{Cl}_{\mathbb{Q}}(X/Z) - \sum_{B_i \cap \pi^{-1}(z) \neq \emptyset} b_i $ として定義する。
• 複雑性不変量の挙動を、吹き上げや変形の下で分析するために、一般化された対数最小モデルプログラムの相対的版を用いる。
• 複雑性を制御できる高次元の設定にペアを上げるために、相対的 $ \mathbb{A}^1 $-バンドル $ C_{\infty} \to X $ を構成する。
• 一般化された対におけるLC場の構造とモジュライ除集合の下りの性質を用いて、形式的トーリック性の基準を適用する。
• 複雑性が0のとき $ K_X + B \sim_{\mathbb{Q},Z} 0 $ が成り立つことを利用して、変形および完備化の技法により形式的トーリック性を導出する。
• 準同型写像の可換図式を用いて、全体空間からの形式的トーリック性を底空間へと移すことで、主定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 閉点 $ z \in Z $ において、準同型写像 $ \pi: X \to Z $ が形式的にトーリック準同型写像に同型であるのはいつか？
• RQ2 対数正則な対の文脈において、複雑性不変量 $ c_z(X/Z,B) $ の明確な幾何的意味は何か？
• RQ3 複雑性が消えると、$ X \to Z $ が形式的にトーリック的であり、かつ $ K_X + B \sim_{\mathbb{Q},Z} 0 $ となる条件は何か？
• RQ4 Q-因子的でない仮定のもとで、複雑性不変量を用いて、形式的にトーリック特異点に同型な特異点を特徴付けられるか？
• RQ5 一般化された対の設定のもとで、$ c_z(X/Z,B+M) = 0 $ のとき、モジュライ除集合 $ M $ は $ z \in Z $ の近傍で下りるか？

主な発見

• 複雑性不変量 $ c_z(X/Z,B) $ は、$ z \in Z $ の近傍で $ -(K_X + B) $ がネフであるとき、常に非負である。
• もし $ c_z(X/Z,B) = 0 $ ならば、$ K_X + B \sim_{\mathbb{Q},Z} 0 $ であり、$ X \to Z $ は $ z $ において形式的にトーリック的である。
• 形式的同型写像の下で、$ \lfloor B \rfloor $ の成分は、トーリック不変除集合の完備化へと写像される。
• Kollár、Mc Kernan–Keel、Prokhorov、Yao の以前の結果が、Q-因子的でない場合に一般化された。
• 一般化された対の設定のもとで、$ c_z(X/Z,B+M) = 0 $ のとき、モジュライ除集合 $ M $ は $ z $ の近傍で下りる。
• 証明は、問題を形式的トーリック性が検出可能な高次元の一般化された対に還元するために、相対的 $ \mathbb{A}^1 $-バンドルの構成を用いる。