[論文レビュー] On equivalent conjectures for minimal log discrepancies on smooth threefolds

Masayuki Kawakita|arXiv (Cornell University)|Mar 7, 2018

Mathematical Approximation and Integration被引用数 6

ひとこと要約

本稿は、滑らかな3次元多様体上の最小対数特異点指数（mld）に関する複数の予想の同値性を確立し、それらを canonical pair と最大イデアルの冪の積を含む簡略化されたケースに還元する。最大イデアルの対数正則閾値が ≤1/2 または ≥1 の場合に、mld を計算する除数における対数不変量の有界性を証明し、一般化された極限と重み付き爆破を用いて、3次元多様体における mld の ACC 予想を前進させる。

ABSTRACT

On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a canonical part and the maximal ideal to some power. We prove the reduced assertion when the log canonical threshold of the maximal ideal is either at most one-half or at least one.

研究の動機と目的

• 滑らかな3次元多様体上での最小対数特異点指数（mld）に関する ACC 予想が、対数正則閾値と下半連続性を含む他の予想と同値であることを確立すること。
• 一般の ACC 予想を、境界が canonical pair と最大イデアルの冪の積である場合に還元すること。
• 最大イデアルの対数正則閾値が特定の条件下（≤1/2 または ≥1）にあるとき、mld を計算する除数における対数不変量の有界性を証明すること。
• 以前の終極的・canonical 特異点に関する結果を、一般化されたイデアル類にまで拡張するために、一般化された極限技法を用いること。

提案手法

• de Fernex と Mustaţă が導入したイデアルの一般化された極限の理論を用い、最小対数特異点指数の劣化における安定性を分析する。
• 境界が $\mathfrak{a}^q\mathfrak{m}^s$ の形であるイデアルに注目することで、一般の ACC 予想をより単純なケースに還元する。ここで $\mathfrak{a}$ は canonical pair を定義し、$\mathfrak{m}$ は最大イデアルである。
• 重み付き爆破を用いて、ペアの対数正則性を研究し、局所モデルにおける対数不変量を計算する。
• 重み付き爆破の例外除数上で反転の付加法則を適用し、different を分析し、対数正則性を検証する。
• 定義多項式の明示的正規形還元を用いて特異点を分類し、閾値を計算する。
• 係数に対する DCC 条件を適用し、極限における有限性と安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな3次元多様体上での mld に関する ACC 予想は、mld を計算する除数における対数不変量の有界性と同値か？
• RQ2 ACC 予想は、境界が canonical pair と最大イデアルの冪の積である場合に還元可能か？
• RQ3 最大イデアルの対数正則閾値が ≤1/2 または ≥1 の場合に、対数不変量の有界性が成立するか？
• RQ4 有限係数集合に関して、$\mathfrak{m}$-adic 近似における mld の下半連続性は一様か？
• RQ5 canonical 特異点と最大イデアルの冪を含むペアにおける最小対数特異点指数の構造はいかなるものか？

主な発見

• 滑らかな3次元多様体上では、予想 A（mld に関する ACC）、B（$a$-lc 閾値に関する ACC）、C（一様 $\mathfrak{m}$-adic 半連続性）、D（有界対数不変量）が同値である。
• mld に関する ACC 予想は、$\mathfrak{a}$ が canonical pair を定義する場合の、予想 1.2 に還元可能である。
• 最大イデアル $\mathfrak{m}$ の対数正則閾値が ≤1/2 または ≥1 の場合、mld を計算する除数における対数不変量の有界性が証明された。
• $\mathfrak{a}^q$ が canonical で $s$ が任意のとき、除数 $E$ が $\operatorname{mld}_P(X,\mathfrak{a}^q\mathfrak{m}^s)$ を計算する場合、$a_E(X)$ に対する一様な有界値 $l$ が存在する。
• 定義方程式が $x_1x_2 + x_3^{w_1+w_2}$ である場合、重み付き爆破上の明示的計算により、$(X,\mathfrak{a}\mathfrak{m})$ の対数正則性が確立された。
• 証明では、例外除数上で反転の付加法則を用い、重み付き射影平面における曲線 $C+L$ 上での対数正則性の直接的検証が行われた。