The ordinary-double-point gap in every dimension

1. 体積を保ち、孤立Gorenstein円錐へ帰着する

安定退化とK-polystable退化は最小化valuationの値を保つ。生成元の持上げと平坦退化での上半連続性により$\operatorname{edim}(X,x)\le\operatorname{edim}(C,o)$も保たれる。従って最終円錐は特異である。punctureの点$P$が特異なら、grading軌道に横断する$(n-1)$次元sliceと滑らかな曲線のétale積表示から、低次元の帰納仮定とLemma 2.1により$d(P,C)\le p_{n-1}$。一方、下半連続性は$d(o,C)\le d(P,C)$を与えるため$p_{n-1}<p_n$と矛盾する。canonical index $q$の被覆に有限次数公式を適用すると$d(o,C)\le1/q$であり、$p_n>1/2$から$q=1$となる。

Proposition 2.5 · pp. 10–11 [XZ25, Theorem 1.2, p. 2] [LWX21, Theorem 1.2, p. 2] [BL21, Theorem 33(1), p. 23] [XZ21, Theorem 1.3, p. 1] [LX19, Theorem 1.3(1), p. 3] [OpenAI26b, Theorem 1.1, p. 1]

2. 小さいstabilizerは自由なgradingと高指数分類を強制する

$A_C(\xi)=n$と正規化し、primitive正整数gradingを$\zeta_i=(r_i/n)\xi+\epsilon_i$、$\epsilon_i\to0$という絶対誤差で近似する。$B_i=[C^\circ/\mathbb G_m]$は滑らかなorbifoldで、忠実なweight-one line bundle $L_i$について$-K_{B_i}=r_iL_i$。$m_{\max}\le r/N$なら、Li–Zhouのorbifold有理曲線から最小$L$次数の$\mathbb P(1,m)\to B$を取る。変形の文字数え上げが直接自由性を与える場合を除き、そのevaluationは有限全射となる。

全sheetの無限小移動を対称積にすると、rank $b$、整数weight $-bm$の非零対称tensorを得る。Ricci-flat cone metricによるBochner議論はReeb weight $\tau\ge-b$を与え、固定した環生成元でのcharacter評価がrank依存の誤差を除く。従って整数$nm-r$は$o(1)$以下となる。丸めと接空間作用の忠実性から全stabilizerが自明、$r=N$または$N+1$。高指数の滑らかなpolarized Fanoの分類により、section ringは二次円錐または多項式環である。$C$の特異性が後者を除く。

Lemmas 2.6–2.7 · pp. 11–12 Theorem 3.1; proof · pp. 13–19 [LZ25, Proposition 2.6, p. 6] [AOV11, Theorem 4.3, p. 17] [CS19, Theorem 1.1, 誌面 p. 1340 / PDF p. 2] [ADK08, Theorems 1.1 and 1.3, pp. 1–2]

3. 大きいstabilizerでは体積のsupremumを閉じる

$m=m_{\max}\ge r/N$で、横断座標のTaylor初項と元の次数を記録した半群$\Gamma$を作る。近最小性によるmoment評価と指数分布の不等式からcanonical点$c_0=(r,1,\ldots,1)$が実cone $K$の内部に入る。adjoint liftingと合わせて$\Gamma=K\cap\Lambda$、$\operatorname{int}K\cap\Lambda=c_0+\Gamma$を得る。Theorem 5.3の節がこの非自明な整数的強化を説明する。

二つのfiltrationで構成する中央環は$G=D[v]$、Hilbert seriesは$(1-z)^{-n}$。別のstabilizer $\mu_h$、$h\ge2$を持つ点を通るslice $Y$は元と同じ次元$n$の特異klt germとなる。characterごとのcolengthの割合$1/h$により$d(o,C)\le(p_n+M_n)/2$、ここで$M_n$は特異$n$次元klt germ全体の密度のsupremumである。$M_n$に近づくgermを取るだけで$M_n\le p_n$を導く。元の$m$と新しい$h$を同一視してはならない。

Theorem 4.8 · p. 29 Theorem 5.3 · pp. 34–36 Proposition 6.4; Corollary 6.6 · pp. 41–43 Theorem 7.7 · p. 48

4. 等号の円錐を分類し、元のgermへ戻す

$d(o,C)=p_n$ではslice評価の各不等式が等号となり、$h=2$、$u(\lambda_Y)=1$への正規化の下で$A_Y(u)=N$、$\operatorname{vol}(u)=2$を得る。制限valuation $w$は$A_C(w)=2N$、$\operatorname{vol}(w)=2^{-N}$で最小値を達成するため、一意性から$w=(2N/n)\operatorname{wt}_\xi$。特別な切断$v\in S_m$に$w(v)>2$を仮定すると、filtrationの低次部分に正の主要項の数え落としが生じ、体積評価は厳密不等式になる。従って$w(v)\le2$。絶対近似誤差から$Nm-r\le o(1)$を得て、整数性で$Nm\le r$となり小stabilizerの枝へ戻る。これがTheorem 7.11のODP円錐である。

元のgermはembedding dimensionが$n+1$以下で、特異性からちょうど$n+1$なのでhypersurfaceとなる。Lemma 8.1の重み付き評価

を使う。ここで$F=0$は局所方程式、$w_i>0$は有理重み、$d_F$は最小重みである。全重み1なら$q=\operatorname{mult}F>2$を排除する。$q=2$でも二次部分の欠けた方向の重みを$1-\varepsilon$にすると上界は$2(n-1-\varepsilon)^n/(1-\varepsilon)<2(n-1)^n$となる。等号は二次部分の非退化性を強制し、holomorphic Morse lemmaで解析的ODPを得る。退化先がODPであるだけでは、この復元は完了しない。

Lemmas 7.8–7.10; Theorem 7.11 · pp. 49–50 [XZ21, Theorem 1.1; Corollary 1.2, p. 1] Lemma 8.1; Proposition 8.2 · pp. 51–52 [EM04, Theorem 1.1, p. 1] Proof of Theorem 1.1 · p. 52

5. 最適性はODPにおけるinfimumの計算で確認する

逆向きにはLemma 2.3を使う。二次円錐のminimizerは一意性によりcone scalingと$\mathrm{SO}(n+1,\mathbb C)$に不変である。各次数のharmonic polynomial表現の既約性により、minimizerは通常のdegree valuationの正倍となる。このvaluationのdiscrepancyは$n-1$、volumeは2なので、全valuationにわたるinfimumは$2(n-1)^n$。通常blowupを一つ試して上界を得るだけの計算と区別する。解析的ODPへの移行は完備化不変性を使う。これで定数の最適性と等号の逆向きが揃う。

Lemma 2.3 · pp. 8–9 [Gra15, Example 251; Theorem 257, pp. 56–57] [Liu22, Lemma 2.15, p. 7]

1. Interiorityを数値的に確保する

元の次数$j$を$D_0=Nj/r$へ変換すると$K$は$D_0\ge f(x)$のepigraphとなり、格子密度は$s=r/(Nm)\le1$。$H=\int_{\mathbb R_{\ge0}^N}e^{-f(x)}dx$とおく。体積の下限は$H\ge2/s$を与え、degreeとTaylor orderを混ぜたvaluationの近最小性は二つ目のmoment不等式を与える。もし$c_0$が内部になければ$f(\mathbf1)\ge N$であり、supporting linear formを用いてTheorem 4.4の一様指数評価を適用できる。その定数$C_*=(3/4)e^{4/3}-e/3<2$が$H\ge2$と矛盾する。asymptotic格子点数え上げはこの段階では飽和を仮定していない。

Lemmas 4.2–4.3 · pp. 22–23 Theorem 4.4; proof · pp. 24–28 Theorem 4.8 · p. 29

2. Adjoint liftingをinteriorityとは独立に証明する

Lemma 5.2は$(j,\alpha)\in\Lambda$と$(j,\alpha)+c_0\in\operatorname{int}K$から$(j,\alpha)\in\Gamma$を導く。有限個の既知の初項に合う正整数重みを選び、smooth stackとしてweighted blowupを作る。canonical shiftが例外因子の次数を消すため、式(5.6)の残りは$(j+r-j_0)\pi^*L$というnef and big classになる。Howaldのmonomial multiplier ideal公式は例外因子上の指定monomialが必要なidealに入ることを保証し、Lemma 5.1のorbifold vanishingがその切断を持ち上げる。coarse spaceへ移したvanishingでは、klt境界とintegral $\mathbb Q$-Cartier Weil divisorへのFujinoの定理が使われる。smooth atlasのcharacterを保持することが降下に必要である。

Lemmas 5.1–5.2 · pp. 30–34 [How01, Main Theorem, p. 2] [Fuj23, Theorem 3.2.4, 誌面 p. 31 / PDF p. 41]

3. Supportの高さ1が有限生成とcanonical moduleを結ぶ

微分可能な境界点でsupport rayが非有理、またはprimitive supportの$c_0$での高さが2以上なら、格子点の近似を使い、$q\notin K$かつ$q+c_0\in\operatorname{int}K$となる$q\in\Lambda$を構成できる。これはadjoint liftingと矛盾する。$c_0$の周りの小球がsupport formのnormを抑えるため、高さ1の整数supportは有限個しかない。これが有理多面性を与える。

$q\in K\cap\Lambda$なら$q+c_0$は内部なのでliftingから$q\in\Gamma$。逆に内部格子点は全primitive facetで値が1以上なので、$c_0$を引いても$K$に残る。ここから二つの集合等式と有限生成を得る。内点の平行移動公式はnormal semigroup ringのcanonical moduleをprincipalにし、Lemma 6.1で必要なGorenstein性とcanonical degree $(r,N)$を供給する。飽和だけからGorenstein性を推論するのではない。

Theorem 5.3 · pp. 34–36 [Sta78, Theorem 6.7; normal-monoid reformulation, 誌面 pp. 81–82 / PDF pp. 25–26] Lemma 6.1 · pp. 37–39

1. 同次元の特異klt sliceを作る

最初のfiltration $T$は横断Taylor order、$\bar S=\operatorname{gr}_T S$、$D=\bar S/(\bar v)$。二番目はbasis $v^ae_i$に$W=a+T(e_i)$を与え、$\operatorname{gr}_W S=D[v]$となる。$D$のreducednessには体積仮定と$N\ge4$を用いる。全てのpuncture stabilizerが自明なら、Hilbert series $(1-z)^{-N}$から$D$は次数1生成の多項式環となり、元の$C$まで滑らかになる。従ってstabilizer $\mu_h$、$h\ge2$が存在する。

$W$-Rees total spaceのその点を通る横断slice $Y$には、character $-1$の関数$\lambda_Y$がある。canonical formの比較から、$u$を$Y$のquasi-monomial valuation、$\ell=u(\lambda_Y)$、$w$を$C$への制限として

非kltなら$A_Y(u)/\ell$が非正へ近づくtestで$\widehat{\operatorname{vol}}(o,C)\le N^n$となり、$2N^n$という下限に矛盾する。$Y$が滑らかとの仮定は、もう一方のdeformationの一般fiber $\mathbb A^N$に非原点の$\mu_h$固定点を生じさせるため排除される。この特異性の確認が$M_n$を使う条件である。

Proposition 6.4; Corollary 6.6 · pp. 41–43 Lemmas 7.1–7.3 · pp. 44–46

2. 一つのcharacterへの制限が係数を改善する

$Y$のminimizer $u_*$は一意性により$\mu_h$不変。$\sigma=\operatorname{vol}(u_*)$とすると、$\lambda_Y^j$によるcharacter間の単射から各characterのcolength主要項は全体の$1/h$となる。filtrationで商を二つに分けると、後半は全長ではなく一つのcharacter商に単射する。従って

これをdiscrepancy評価とHölder不等式に合わせ、$A'=A_Y(u_*)$として

を得る。ここでは同次元のODP上界を$Y$に適用していない。

Lemma 7.4; Proposition 7.5 · p. 47 Lemma 7.6 · p. 48

3. Supremumは達成されなくてもよい

$M_n>p_n$なら$d_i>p_n$で$d_i\to M_n$となるgermを選ぶ。対応する円錐で小stabilizerの無限部分列があればTheorem 3.1とODPの体積計算に矛盾するため、各固定円錐で十分先の大stabilizer gradingを使える。$d_i\le(p_n+M_n)/2$の極限を取れば$M_n\le p_n$となり矛盾する。grading近似の定数は各円錐ごとでよく、全germに一様な近似速度もsupremumの達成も不要である。

Theorem 7.7 · p. 48

1. 特異なFanoには厳しい上界を得る

K-semistabilityとDing semistabilityの同値、および任意のcentered valuationへの局所大域比較から

特異閉点でTheorem 1.1を代入すると、系の$2((n^2-1)/n)^n$となる。これは$2n^n$未満だが、この小さい値の最適性や等号例を得たことにはならない。

[Liu18, Theorem 21, p. 14] [Liu18, Theorem 13(2), p. 9] Proof of Corollary 1.2 · p. 53

2. $2n^n$での等号はsmooth分類へ帰着する

$V\not\simeq\mathbb P^n$が滑らかな場合にLi–Miaoの定理を適用する。特異な場合には既に厳密不等式を得たため、$2n^n$での等号はsmooth quadricまたは$\mathbb P^1\times\mathbb P^{n-1}$に限る。Li–Miaoの入力はsmooth Fano manifoldに対するもので、特異な$V$へ直接適用しない。

[LM26, Theorem 1.1, p. 2]

3. 二つの例で等号を計算する

原稿はhomogeneous metricと積のKähler–Einstein metricにより両例のK-polystabilityを確認する。$H,H_1,H_2$をhyperplane classとして

$n=2$では$Q^2\simeq\mathbb P^1\times\mathbb P^1$であり、別の等号例を二重に数えてはいない。metricからK-polystabilityへの一般定理自体の証明は本概説の確認範囲外とする。

Proof of Corollary 1.2 · p. 53 [Ber16, Theorem 1.1, p. 2]