[論文レビュー] Log-canonical models of singular pairs and its applications

Yuji Odaka, Chenyang Xu|arXiv (Cornell University)|Aug 9, 2011

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本論文は、$K_X + \Delta$ が $\mathbb{Q}$-Cartierである正常な対 $(X,\Delta)$ に対して、既知の最小モデルプログラム（MMP）の結果を用いて、対数正則モデルの存在を確立する。$K$-安定な極小的多様体は、半正則特異点を持つ必要があることを示し、Odaka (2011) の先行仮定を排除する。また、Kollárの接合理論を用いて、理論を半正則対へ拡張する。

ABSTRACT

We prove the existence of log canonical modifications for a log pair. As an application, together with Kollär's gluing theory, we remove the assumption in the first named author's work [Odaka11], which shows that K-semistable polarized varieties can only have semi-log-canonical singularities.

研究の動機と目的

• 正常な対 $(X,\Delta)$ に対して、$K_X + \Delta$ が $\mathbb{Q}$-Cartierである条件のもとで、対数正則モデルの存在を確立すること。
• Odaka (2011) の半正則特異点の仮定を排除し、$K$-安定多様体が半正則特異点を持つことを条件なしに証明すること。
• Kollárの正規化および接合技術を用いて、対数正則モデル理論を半正則対へ拡張すること。
• 新しいモデル存在結果を用いて、対数正則性の接合の逆をより単純に証明すること。

提案手法

• 最小モデルプログラム（MMP）およびBirkar (2011) や HX (2011) の最近の結果を用いて、対数正則モデルを構成する。
• 負の補題を適用し、$(X,\Delta)$ が対数正則である最大の開部分集合上で、写像 $f: Y \to X$ が同型であることを示す。
• 正規化および対合を用いたKollárの半正則特異点対の理論を用いて、成分の対数正則モデルを接合する。
• 補題2.3による対数正則モデルの一意性を用いて、接合プロセスの一貫性を保証する。
• 相対的対数正則MMPを用いて、対数正則モデルを、対数解体の相対的対数正則モデルとして構成する。
• $K_Y + \Delta_Y$ が $X$ 上で非常に正であることを活用し、モデルが適切に定義され、双有理的であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 $K_X + \Delta$ が $\mathbb{Q}$-Cartierであるとき、正常な対 $(X,\Delta)$ に対して対数正則モデルが存在するか？
• RQ2 Odaka (2011) の半正則特異点モデルの仮定を排除し、$K$-安定性が半正則特異点を意味することを証明できるか？
• RQ3 $K_X + \Delta$ が $\mathbb{Q}$-Cartierであるとき、対数正則モデル理論は半正則対へ拡張可能か？
• RQ4 対数正則モデルの存在を用いて、対数正則性の接合の逆をより単純に証明できるか？
• RQ5 半正則対の正規化成分の対数正則モデルを対合を用いて接合することで、元の対の半正則特異点モデルが構成可能か？

主な発見

• 定理1.1で示されるように、$K_X + \Delta$ が $\mathbb{Q}$-Cartierである任意の正常な対 $(X,\Delta)$ に対して、対数正則モデルが存在する。
• 対数正則性の接合の逆が、Hacon (2011) より単純な証明を可能にする結果として確立される。
• 系1.3で述べられるように、$K_X + \Delta$ が $\mathbb{Q}$-Cartierであり、$\Delta_i$ が $\operatorname{Sing}(X)$ に含まれない任意の半正則対 $(X,\Delta)$ に対して、半正則特異点モデルが存在する。
• Odaka (2011) の主要結果である「$K$-安定多様体は半正則特異点を持つ」は、半正則特異点モデルの存在のおかげで、条件なしに成立するようになった。
• Kollárの例は、半正則特異点モデルの存在に $K_X + \Delta$ の $\mathbb{Q}$-Cartier仮定が必要であることを示している。
• 半正則対の正規化の対数正則モデルは、対合を用いて接合され、元の対の半正則特異点モデルが得られる。