[論文レビュー] On divisors computing MLD's and LCT's

Harold Blum|arXiv (Cornell University)|May 31, 2016

Algebraic Geometry and Number Theory参考文献 20被引用数 7

ひとこと要約

この論文は、滑らかな曲面上において、ある点における最小対数特異点指数（mld）を計算する任意の除数が、同時に対数正則特異点指数（lct）も計算することを確立している。証明は、除数に付随する次数付きイデアル系列の漸近的対数正則特異点指数を分析することに依拠し、mldを計算する除数がlctを計算する必要があることを示す。これは単項評価とイデアルの有限生成性の性質を利用している。

ABSTRACT

We show that if a divisor centered over a point on a smooth surface computes a minimal log discrepancy, then the divisor also computes a log canonical threshold. To prove the result, we study the asymptotic log canonical threshold of the graded sequence of ideals associated to a divisor over a variety. We systematically study this invariant and also prove a result describing which divisors compute asymptotic log canonical thresholds.

研究の動機と目的

• 多様体上の除数が対数正則特異点指数（lct）と最小対数特異点指数（mld）を計算する条件を特定すること。特に特異点の文脈において。
• mldを計算する除数が、常にlctも計算するかどうかを検討すること。これは、lctを計算する除数が有限生成であることが知られているにもかかわらず、代数幾何学において未解決の問題であった。
• 除数に付随する次数付きイデアル系列に対する漸近的対数正則特異点指数の理解を拡張すること。
• 特に滑らかな曲面およびdu Val特異点の場合に、漸近的lctを計算する除数を特定する基準を提供すること。
• 滑らかな曲面上でmldを計算する除数が、同時にlctも計算するかどうかを明確に解決し、これらの不変量の間で一方向の含意関係を確立すること。

提案手法

• 多様体 $X$ 上の除数 $E$ に付随する次数付きイデアル系列 $\mathfrak{a}_\bullet^E$ の漸近的対数正則特異点指数（alct）を定義する。ここで $\mathfrak{a}_m^E = f_*\mathcal{O}_Y(-mE)$ であり、$f: Y \to X$ は被約な射影である。
• 文献 [JM12] の基準を用いる。すなわち、除数 $E$ が $\operatorname{lct}(\mathfrak{b})$ を計算するための必要十分条件は、$\operatorname{lct}(\mathfrak{a}_\bullet^E) = k_E + 1$ である。ここで $k_E$ は相対標準的因子における $E$ の係数である。
• 特に曲面上の連続的点のブ lowup の場合に、ブローアップ上の交点論を用いて $\mathfrak{a}_\bullet^E$ の構造を分析する。
• 命題 5.3 を適用して、異なる除数に沿った対数特異点指数を比較し、$a_E(X,\mathfrak{b}^\lambda) > a_{E'}(X,\mathfrak{b}^\lambda)$ ならば、$E$ はmldを計算できないことを示す。
• イデアル $\mathfrak{a}_\bullet^E$ が有限生成であるための必要十分条件は、関連する特異点除数を収縮する射 $Y \to X_E$ が存在することである。これは有限生成性と対数解像の存在を結びつける。
• 局所座標における単項評価に関する既知の結果を用い、滑らかな曲面上でmldを計算する除数が単項的であること、従ってlctも計算することを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかな曲面上で最小対数特異点指数を計算する除数は、すべて対数正則特異点指数も計算するか？
• RQ2 除数が関連する次数付きイデアル系列の漸近的対数正則特異点指数を計算するための条件は何か？
• RQ3 イデアル $\mathfrak{a}_\bullet^E$ の有限生成性は、$E$ がlctまたはmldを計算するかどうかとどのように関係するか？
• RQ4 滑らかな曲面での結果を、例えばdu Val特異点のような特異多様体へ拡張できるか？
• RQ5 mldを計算するがlctを計算しない除数は存在するか。もしあるなら、どのような条件下で現れるか？

主な発見

• 滑らかな曲面上では、点 $x$ 上の除数 $E$ が $\operatorname{mld}_x(X,\mathfrak{a}^\lambda)$ を計算する限り、$\operatorname{lct}(\mathfrak{a})$ も計算する。mldからlctへの一方向の含意関係が確立された。
• 漸近的対数正則特異点指数 $\operatorname{lct}(\mathfrak{a}_\bullet^E)$ が $k_E + 1$ に等しいことは、$E$ が何らかのイデアル $\mathfrak{b}$ のlctを計算するための必要十分条件である。
• 滑らかな曲面上の連続的点のブローアップにおいて、$r > 3$ の $E_r$ はmldもlctも計算しないが、$E_3$ は計算する。これは中間の除数がmld計算を妨げる可能性があることを示している。
• $\mathbb{A}^n$ の場合、原点でのブローアップの特異点除数は $\operatorname{lct}(\mathfrak{a}_\bullet^E) = n = k_E + 1$ を満たし、lctを計算することが確認された。
• $\mathbb{P}^3 \subset \text{Bl}_0\mathbb{A}^4$ 内の曲線のブローアップにより構成された非有限生成な $\mathfrak{a}_\bullet^E$ に対しては、$\operatorname{lct}(\mathfrak{a}_\bullet^E) < k_E + 1$ であり、$E$ はいかなるlctやmldも計算しない。
• du Val特異点（例：$E_7$）では、一部の特異点除数が $\operatorname{mld}_x(X,\mathcal{O}_X)$ を計算するが、いかなる $\operatorname{lct}(\mathfrak{b})$ も計算しない。これは、$\mathfrak{b} = \mathcal{O}_X$ の場合に結果が拡張されないことを示している。