Liftings of ideals in positive characteristic to those in characteristic zero:Surface case

論文タイトル

LIFTINGS OF IDEALS IN POSITIVE CHARACTERISTIC TO THOSE IN CHARACTERISTIC ZERO: SURFACE CASE
（正標数におけるイデアルの標数 0 への持ち上げ：曲面の場合）

1. 研究の背景と問題設定

代数幾何学において、特異点の性質を記述する不変量（対数偏差、最小対数偏差、対数カノニカル閾値など）は、標数 0（特に複素数体 $\mathbb{C}$）の文脈でよく研究されています。一方、正標数 $p > 0$ の体上の多様体におけるこれらの不変量の振る舞いは、標数 0 の場合とどのように関連するか、あるいは異なるかという問題は重要な課題です。

特に、Kollár によって 3 次元以上の次元で反例が示されているように、正標数から標数 0 への「持ち上げ（lifting）」は一般的には成立しないことが知られています。しかし、2 次元（曲面）の場合に、正標数における特異点の不変量を標数 0 の対応する不変量と比較・関連付けることができるかどうかが、この論文の核心的な問いです。

2. 手法：「スケルトン（Skeleton）」による持ち上げ

著者は、正標数 $p$ の体 $k$ 上の対象を、標数 0 の体 $\mathbb{C}$ 上の対象へ持ち上げるための新しい手法として**「スケルトン（skeleton）」**の概念を導入・発展させました。

• スケルトンの定義: 有限生成 $k$-代数 $R$ に対し、$\mathbb{Z}/(p)$-部分代数 $S \subset R$ で、$k[S]=R$ となるものを「スケルトン」と呼びます。
• 互換性のあるスケルトン: 標数 0 の代数 $\tilde{R}$ とそのスケルトン $\tilde{S}$、および標数 $p$ の代数 $R$ とそのスケルトン $S$ に対し、$\tilde{S}$ が $p$ において $\mathbb{Z}$-平坦であり、$S \cong \tilde{S} \otimes_{\mathbb{Z}} \mathbb{Z}/(p)$ となるとき、これらを「互換性のあるスケルトン」と呼びます。
• 持ち上げの構成: この構造を用いることで、正標数におけるイデアルや多様体の構造を、係数環を $\mathbb{Z}$ に置き換えることで標数 0 の世界へ「持ち上げ」ることができます。特に、ブローアップの列や特異点の解消過程を、このスケルトンの枠組みで追跡します。

3. 主要定理（Theorem 1.1）

論文の中心となる定理は、正標数 $p$ の代数閉体 $k$ 上のアフィン空間 $A^N_k$ における原点 0 への閉点でのブローアップの列が与えられたとき、それを標数 0 の複素アフィン空間 $\mathbb{A}^N_{\mathbb{C}}$ 上の同様のブローアップの列に持ち上げられることを示しています。

定理の要点:

• 正標数 $p$ におけるブローアップの列 $A_n \to \cdots \to A_0$ が与えられたとき、標数 0 における列 $\tilde{A}_n \to \cdots \to \tilde{A}_0$ が存在し、以下の性質を満たす。
  1. $\tilde{A}_i \pmod p = A_i$（模 $p$ で一致）。
  2. 各ブローアップ中心 $\tilde{P}_i$ は $\tilde{A}_{i-1}$ の閉点であり、原点を支配する。
  3. 例外因子 $E_i$ と $\tilde{E}_i$ の余次元（coefficient of the relative canonical divisor）は一致する：$k_{\tilde{E}_i} = k_{E_i}$。
  4. 特に $N=2$（曲面）の場合: 任意の多項式 $f \in k[x_1, x_2]$ に対して、その持ち上げ $\tilde{f} \in \mathbb{C}[x_1, x_2]$ が存在し、すべての例外因子 $E_i$ に対して、 valuation（値）が保存される：
     $$v_{E_i}(f) = v_{\tilde{E}_i}(\tilde{f})$$

注意: 次元 $N \ge 3$ の場合、条件 (4) のような valuation の完全な保存は Kollár の反例により一般には成り立たないため、この定理は $N=2$ に限定されています。

4. 主な結果と帰結

この持ち上げ定理を用いて、正標数における特異点の不変量に関する以下の重要な結果が導かれました。

(1) 対数偏差の集合の離散性（Corollary 1.3）

• 正標数 $p$ 上の滑らかな曲面 $A$ と、原点 0 における多イデアル $\mathfrak{a}^{\mathbf{e}}$ に対して、対数偏差 $a(E; A, \mathfrak{a}^{\mathbf{e}})$ が一定の値 $a$ 以下となるような素因子 $E$ の集合は有限集合であり、離散的です。
• これは、標数 0 の場合と同様に、正標数においても最小対数偏差（mld）を計算する素因子が存在することを保証します。

(2) 不変量の包含関係（Corollary 1.4）

正標数 $p$ における以下の集合は、それぞれ標数 0 における対応する集合に含まれます。

• 最小対数偏差 (mld) の集合:
  $$\{ \text{mld}(0; A, \mathfrak{a}^{\mathbf{e}}) \mid (A,0) \text{ is smooth surface over } k \} \subset \{ \text{mld}(0; \mathbb{A}^2_{\mathbb{C}}, \tilde{\mathfrak{a}}^{\mathbf{e}}) \}$$
• 対数カノニカル閾値 (lct) の集合:
  $$\{ \text{lct}(0; A, \mathfrak{a}^{\mathbf{e}}) \mid (A,0) \text{ is smooth surface over } k \} \subset \{ \text{lct}(0; \mathbb{A}^2_{\mathbb{C}}, \tilde{\mathfrak{a}}^{\mathbf{e}}) \}$$
• 以前、toric 法を用いて等式が証明されていましたが、この論文は「スケルトン持ち上げ」という異なる手法によって、これらの包含関係（および等式）を再証明しました。

(3) Campillo の複素モデルの構成（Corollary 1.5）

• 正標数における平面曲線特異点 $(C, 0)$ に対して、その等特異型（equisingular type）と一致する複素モデル $(\tilde{C}, 0)$ が存在することを示しました。
• 具体的には、正標数における埋め込み解消（ブローアップの列）をスケルトン手法で持ち上げ、得られる複素曲線が Campillo の定義する複素モデルとなることを証明しました。

5. 意義と貢献

• 次元 2 における完全な対応: 3 次元以上では成り立たない性質が、2 次元（曲面）においては正標数と標数 0 の間で完全に一致（あるいは包含関係で厳密に制御）することを示しました。
• 手法の革新: 従来の toric 手法や、特異点解消の直接計算に依存しない、「スケルトン」を用いた代数的な持ち上げ手法を確立しました。この手法は、イデアルの生成元や係数の有限性を利用し、無限次元のジェット空間（arc space）における接触軌道（contact loci）の次元比較を可能にしています。
• 特異点理論への応用: 正標数における特異点の不変量（mld, lct）の性質（離散性、存在性など）を、標数 0 の既知の結果に帰着させる強力な橋渡しを提供しました。

結論

Shihoko Ishii 氏は、正標数 $p$ の曲面における特異点の不変量を、標数 0 の複素幾何における不変量と比較するための「スケルトンによる持ち上げ」手法を確立しました。これにより、正標数における対数偏差の離散性や、最小対数偏差・対数カノニカル閾値の集合が標数 0 の集合に含まれること、そして Campillo の複素モデルの存在が証明されました。この結果は、正標数と標数 0 の特異点理論の間の深い関係を明らかにする重要な一歩です。