[論文レビュー] Inversion of adjunction for quotient singularities

Yusuke Nakamura, Kohsuke Shibata|arXiv (Cornell University)|Nov 14, 2020

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

ひとこと要約

本稿は商特異点とklt カルティエ除集合に対して正確な付随の逆公式を確立し、klt ハイパーサンクチャ特異点における最小対数特異度（mld）の下半連続性を証明する。デネフとローザーの商多様体の弧空間理論を活用し、エイン＝ムスタカ＝ヤスウダの手法を適応することで、問題を局所解析的設定に還元し、mld がエタール写像に関して保存されることを示した。これにより、LSC予想がこのクラスの特異点にまで拡張された。

ABSTRACT

We prove the precise inversion of adjunction formula for quotient singularities and klt Cartier divisors. As an application, we prove the semi-continuity of minimal log discrepancies for klt hyperquotient singularities.

研究の動機と目的

• 商特異点とklt カルティエ除集合に対して正確な付随の逆公式を証明すること。
• klt ハイパーサンクチャ特異点における最小対数特異度（mld）の下半連続性を確立すること。
• 有限線形群作用の下での完全交差の商多様体に対するLSC予想を拡張すること。
• 滑らかでかつ完全交差のケースに既知のmld下半連続性の結果を、商特異点へ一般化すること。

提案手法

• 商多様体の弧空間理論としてデネフとローザーの理論を用い、商の弧空間を群の要素に関連する$k[t]$-スキームの和集合として表現する。
• 商多様体上の弧の持ち上げ性質を適用し、群作用の等変座標と対角群作用を用いて弧空間の幾何を分析する。
• ジェットスキームと弧空間を用いて、弧空間内のシリンダーのcodimensionを用いて最小対数特異度を計算する。
• エタール写像と安定化群を用いて、閉点における作用を線形化することで、mldの計算を局所解析的モデルに還元する。
• klt仮定の下で、部分多様体$Y$上のmldとそのカルティエ除集合$D \subset Y$上のmldを関連付けるために正確な付随の逆公式を適用する。
• mld がエタール準同型に関して保存されることを用いて、原点における局所問題にグローバル問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 被覆多様体がklt特異点を持ち、除集合がカルティエかつkltであるとき、商特異点に対して正確な付随の逆公式が成り立つか？
• RQ2 klt ハイパーサンクチャ特異点上で最小対数特異度関数は下半連続か？
• RQ3 有限線形群作用の下での完全交差の商多様体に対してLSC予想を拡張できるか？
• RQ4 商特異点の弧空間は、関連する$k[t]$-スキームとどのように関係するか？
• RQ5 安定化群は原点における局所モデルへのmld計算の還元において、どのような役割を果たすか？

主な発見

• 商特異点に対して正確な付随の逆公式が成り立つ：$\operatorname{mld}_x(Y, \mathfrak{a}\mathcal{O}_Y(-D)) = \operatorname{mld}_x(D, \mathfrak{a}\mathcal{O}_D)$ が成り立つ。ここで$D$は商特異点内のklt部分多様体$Y$上のklt カルティエ除集合である。
• 商多様体$X = \mathbb{A}^N_k / G$ の部分多様体$Y$がklt特異点を持ち、$c$個の多項式で局所的に切り出されるならば、$Y$の任意の部分多様体において最小対数特異度は下半連続である。
• LSC予想はklt ハイパーサンクチャ特異点に対して成立し、滑らか、完全交差、および商特異点の既存結果を拡張する。
• 商多様体の弧空間は、群作用を符号化する$k[t]$-スキーム$\overline{Y}^{(\gamma)}$を用いて構成され、mldの計算にシリンダーのcodimensionを用いることができる。
• 原点における局所モデルの最小対数特異度はエタール写像に関して保存され、線形化された群作用を持つ原点への還元を可能にする。
• 結果は$\mathbb{R}$-イデアル層へ一般化され、適切な局所的完全交差モデルに対して$\operatorname{mld}_x(A, (f_1 \cdots f_c)\mathfrak{a}) = \operatorname{mld}_x(B, \mathfrak{a}\mathcal{O}_B)$ が成り立つことが確認された。