On the existence of minimizer on a log Fano cone singularity

技術要約：対数ファノ・コーン特異点における極小値の存在性について

問題設定
本論文は、対数ファノ・コーン特異点の文脈における、局所的な $\delta$ 不変量 $\delta(X, \Delta; \nu_0)$ の極小値の存在性について扱う。この不変量は、非可算な標数0の代数閉体上の対数ファノ・コーン特異点 $x \in (X, \Delta, T)$ に対して定義される。ここで $\nu_0$ は、$A_{X,\Delta}(\nu_0) < \infty$ である有限の対数ディスクレパンシーを持つ、$x$ を中心とする $T$ 不変な評価（valuation）である。その値は次のように与えられる：
$$\delta(X, \Delta; \nu_0) := \inf_{\nu \in \text{Val}^*_{T, X, \ni x}} \frac{A_{X,\Delta}(\nu)}{S(\nu_0; \nu)}$$
ここで $S(\nu_0; \nu)$ は局所的な $S$ 不変量である。関連する不変量（局所的な対数標準閾値、正規化された局所体積、および大域的な $\alpha$ および $\delta$ 不変量など）の極小値の存在は、先行研究（例：[JM12], [Blu18], [BJ20]）において確立されているが、$\nu_0$ が（リーブ・ベクトル・ウェイトに限らず）任意の $T$ 不変な評価である場合の、対数ファノ・コーン特異点における局所 $\delta$ 不変量の極小値の存在は、未解決の問いとして残されていた。本論文は、もし対数ファノ・コーン構造が除去された場合、次元2においても極小値が存在しない可能性があることを指摘している。

手法
証明には、[dFM09], [dFEM10], [Blu18], [BJ20] で用いられた手法である**生成的極限引数（generic limit argument）**を採用している。著者は [BJ20] のアプローチを適応させているが、局所コーンの設定において [BJ20, Proposition 6.3] に直接対応するものが欠如しているという特定の技術的障壁に直面した。これを克服するため、本論文では以下の下降戦略を導入している：

1. 可算部分体への下降： $(X, \Delta, T)$ および $\nu_0$ に付随するすべてのデータを、可算な代数閉部分体 $k_0 \subseteq k$ へと下降させる。
2. 生成的極限の構成： 対角部分列の議論とグラスマン多様体上のベクトル束の性質（補題 3.4–3.6）を用いて、「生成的極限」となるフィルタリングを構成する。これには、一連の評価 $\nu_i$ が下限に近づく際の、評価的イデアル $a_p(\nu_i)$ の $a_N(\nu_0)$ によるモジュロ挙動の解析が含まれる。
3. 一様藤田近似： $S$ 不変量の一様近似（定理 3.2）を局所的な設定へと拡張し、連続的な $S$ 不変量とその離散的な近似 $S_m$ との差に関する評価を確立する。
4. 準モノミアル性（Quasi-Monomiality）： 構成された生成的極限フィルタリングが、$T$ 不変な準モノミアル評価によって計算されることを証明することが鍵となる。これは、任意の $T$ 不変な次数付きイデアルの次数付き列に対して、対数標準閾値を計算する $T$ 不変な準モノミアル評価が存在するという補題 2.7 に依拠している。

主要な貢献と結果
主要な結果は定理 1.1である：

$k$ を非可算な代数閉体とし、$x \in (X, \Delta; T)$ を $n$ 次元の対数ファノ・コーン特異点とする。$\nu_0 \in \text{Val}^*_{T, X, x}$ を $A_{X,\Delta}(\nu_0) < \infty$ を満たす $T$ 不変な評価とする。このとき、$\delta(X, \Delta; \nu_0)$ を最小化する $T$ 不変な準モノミアル評価 $\nu' \in \text{Val}_{T, X, \ni x}$ が存在する。

主な技術的貢献は以下の通りである：

• 定義の拡張： 本論文では、$\delta(X, \Delta; \nu_0)$ を $\text{Val}^*_{T, X, x}$（中心が正確に $x$ である評価）ではなく、$\text{Val}^*_{T, X, \ni x}$（中心が $x$ に特殊化する評価）を用いて定義している。系 2.8 は、これらの定義が同じ下限を与えることを示しているが、極小値は前者の集合においてのみ存在する可能性がある（注意 2.9）。
• 生成的極限の適応： [BJ20, Proposition 6.3] を回避するために、補題 3.5 を通じて [BJ20, Proposition 6.7] の類似性を証明することにより、生成的極限引術を局所コーン設定へ成功裏に適応させた。
• 反例の構成： セクション 4 において、対数ファノ・コーン構造を取り除いた場合、通常の曲面上の klt ペアであっても極小値の存在が失敗することを示す反例（Example 4.2）を提示している。これは、生成的極限引数が形式的なフィルタリングを環 $R$ へと下降させるために、コーン構造がいかに必要であるかを強調している。

意義と主張
本論文は、極小値の存在が K-安定性理論における**安定退化定理（stable degeneration theorem）**の極めて重要な構成要素であることを主張している。対数ファノ・コーン設定における局所 $\delta$ 不変量の極小値の存在を確立することで、本研究は、参照される評価 $\nu_0$ がリーブ・ベクトル・ウェイトに限らず任意の $T$ 不変な評価である場合へと、局所 K-安定性の枠組み（[Li17], [LX18], [Zhu24a] を参照）を拡張するものである。

著者は、本結果が $\nu_0 = \text{wt}_\xi$（$\xi$ はリーブ・ベクトル）の場合を一般化するものであることを明記している（これは [Hua22, Theorem 5.0.4] で既に証明されている）。本論文は、一般的な局所特異点に対する極小値問題を解決すると主張しているわけではない。実際、本論文は、一般的な klt ペアに対して極小値が存在するかどうかという問い 4.1を提起しており、提供された反例によってそれに対して否定的な回答を与えている。さらに、最小化する評価の Rees 代数が有限生成であるかどうかという問い 4.4についても言及しており、これはリーブ・ベクトルや正規化された体積の極小値については既知であるが、一般的な $\delta$ 極小値については未解決のままであると述べている。

本研究は、基底体が非可算かつ代数閉体であることを前提としており、証明は標数 0 の枠組み内で行われている。著者は、文献検索や議論の洗練のために AI ツールを使用したことを認めているが、主定理の数学的正当性と、独立に検証された反例については全責任を負うとしている。