Inversion of adjunction for quotient singularities III: semi-invariant case

以下は、Yusuke Nakamura と Kohsuke Shibata による論文「Inversion of Adjunction for Quotient Singularities III: Semi-Invariant Case」の詳細な技術的要約です。

1. 問題提起と背景

本論文は、双有理幾何学における**最小対数偏差（mld）**に関する 2 つの中心的な予想に取り組んでいます：

1. LSC 予想（下半連続性）： Ambro によって提案されたこの予想は、閉点 $x$ をその最小対数偏差 $\text{mld}_x(X, \mathfrak{a})$ に写す関数が下半連続であることを述べています。
2. PIA 予想（接合の反転）： この予想は、対 $(X, D, \mathfrak{a})$ の mld と、除数 $D$ 自身の mld との関係を扱い、特定の条件下で $\text{mld}_x(X, D, \mathfrak{a}) = \text{mld}_x(D, \mathfrak{a}|_D)$ が成り立つことを主張します。

先行研究：
著者らは以前、不変式（すべての $g \in G$ に対して $g(f) = f$ となるもの）によって定義される完全交叉多様体の有限線形群による商について、これらの予想を証明しました（論文 [NS22]）。

ギャップ：
多くの重要な特異点、特に3 次元終端特異点は、半不変式（ある指標 $\chi$ に対して $g(f) = \chi(g)f$ となるもの）によって定義される多様体の商から生じます。従来の不変式だけの枠組みでは、これらのケースを扱うことができませんでした。本論文の目的は、不変式から半不変式へと結果を拡張することです。

2. 手法

著者らは、最小対数偏差を計算するために弧空間の理論（特に Denef-Loeser の理論）を採用しています。核心的な手法は以下の手順を含みます：

A. 設定と定義

• 多様体： $A = \mathbb{A}^N_k$ および $G \subset \text{GL}_N(k)$ を有限群とします。$Y \subset A$ を $c$ 個の半不変多項式 $f_1, \dots, f_c$ によって定義される完全交叉とします。
• 商： 対象とする多様体は $Y/G$ です。
• 半不変性： 多項式 $f$ が $G$-半不変であるとは、すべての $\gamma \in G$ に対して、ある単位根 $\xi$ と整数 $a$ が存在し、$\gamma(f) = \xi^{a} f$ となることをいいます。著者らは重み $w_\gamma(f) = a/d$（ここで $d = |G|$）を定義します。

B. 弧空間構成の修正

不変の場合（[NS22]）において、著者らは商の弧空間を研究するために $k[t]$ 上のスキーム $B^{(\gamma)}$ を構成しました。しかし、半不変式の場合、標準的な構成は失敗します。なぜなら、変換された式 $\lambda^*_\gamma(f_i)$ は必ずしも $R[t]$ に属さないからです。

主要な技術的革新：

1. 重み付き変換： 著者らは修正された準同型 $\lambda^*_\gamma$ を導入し、重み付き項によって生成されるイデアルを用いてスキーム $B^{(\gamma)}$ を定義します：
   $$\lambda^*_\gamma(f_i) t^{-w_\gamma(f_i)}$$
   これにより、生成元が $R[t]$ に属することが保証され、well-defined な $k[t]$-スキームの構成が可能になります。
2. $k[t^{1/d}]$ への拡張： 微分形式の層とヤコビアンイデアルを正しく扱うために、著者らは基底を $k[t]$ から $k[t^{1/d}]$ に拡張します。スキーム $B^{(\gamma)}_{1/d}$ と、相対標準層の役割を果たす特定の可逆層 $\mathcal{L}_{B^{(\gamma)}_{1/d}}$ を定義します。
3. ヤコビアンの比較： 彼らは、関与する射（特に $\mu_\gamma$ と $p$）のヤコビアンイデアルと、元の多様体 $B$ の Nash イデアルとの間の正確な関係を確立します。これには、弧空間間の射のヤコビアンの位数の計算が含まれます。

C. 主要な公式

著者らは、商多様体 $Y/G$ の原点 $x$ における最小対数偏差の公式を導出します：
$$\text{mld}_x(Y/G, \mathfrak{a}^\tau) = \inf_{\gamma \in G, b_1, b_2 \in \mathbb{Z}_{\ge 0}} \left\{ \text{codim}(C_{\gamma, b_1, b_2}) + \text{age}(\gamma) - w_\gamma(f) - b_2 - \tau b_1 \right\}$$
ここで、$w_\gamma(f) = \sum w_\gamma(f_i)$ は、式の半不変性によって導入された新しい項です。項 $\text{age}(\gamma)$ は群要素の標準的な age であり、$C_{\gamma, b_1, b_2}$ は修正されたスキーム $B^{(\gamma)}$ の弧空間における特定の接触軌跡です。

3. 主要な貢献と結果

A. 定理 1.5（商に対する接合の反転）

これは中心的な技術的結果です。商多様体 $Y/G$ の mld と、特定のイデアル層を備えた環境空間 $A/G$ の mld との間の正確な等式を確立します：
$$\text{mld}_y(Y, \mathfrak{a}\mathcal{O}_Y) = \text{mld}_y\left(X, (f_1^d \cdots f_c^d)^{1/d} \mathfrak{a}\right)$$
この公式は、特異な商 $Y$ 上の問題を、定義式の積を群の位数のべき乗に上げたものによって調整された環境商 $X$ 上の問題に実質的に還元します。

B. 定理 1.4（半不変の場合の PIA 予想）

上記の結果を用いて、著者らは半不変式によって定義される完全交叉の有限線形群による商に対する PIA 予想を証明します。具体的には、$D$ が $Y$ 上の klt カルティエ除数であるならば、次が成り立ちます：
$$\text{mld}_y(Y, D, \mathfrak{a}) = \text{mld}_y(D, \mathfrak{a}|_D)$$

C. 定理 1.2（半不変の場合の LSC 予想）

本論文は、半不変式によって定義される多様体 $Y/G$ に対して、最小対数偏差関数が下半連続であることを証明します。

• 意義： これは、LSC 予想の既知の妥当性を、3 次元終端特異点を含むより広範な特異点のクラスに拡張するものです。

4. 意義と影響

1. 3 次元終端特異点の解決： 3 次元終端特異点の分類（Reid と Mori による）は、それらが滑らかな点または cDV 点の商であることを示しています。これらにはしばしば半不変式が関与します。この場合に対する LSC 予想と PIA 予想を証明することで、著者らは 3 次元における mld の振る舞いに対する完全な理論的基盤を提供します。
2. 弧空間理論の一般化： 本論文は、半不変式を扱うために Denef-Loeser の弧空間理論を成功裡に適応させました。重み $w_\gamma(f)$ の導入と $k[t^{1/d}]$ スキームへの拡張は、非自明な指標を持つ群作用に関連する他の問題にも適用可能な、新規の技術的道具です。
3. 反転の終了の基盤： LSC 予想と ACC 予想は、反転の終了（最小モデルプログラムにおける重要なステップ）を意味するため、この結果は商特異点の文脈における MMP の理論的基盤を強化します。

5. 結論

Nakamura と Shibata は、不変式に関する先行研究を、より複雑な半不変の場合に成功裡に一般化しました。弧空間の構成を慎重に修正し、重み補正項 $w_\gamma(f)$ を導入することにより、広範な商特異点に対する接合の反転と最小対数偏差の下半連続性を証明しました。この研究は、特に有限群作用から生じる特異点を含む、高次元双有理幾何学における特異点の完全な理解に向けた重要な一歩です。