CATALOGUE 034 · PAPER 04 / 14 概説
Log abundance in characteristic zero
非消滅、境界の変形、そして次元帰納法
滑らかな場合の非消滅を、ジェットとFrobeniusの相反する評価から導く。その結果と境界上の幾何を組み合わせ、良い極小モデルと対数的豊富性へ進む原稿の論証をたどる。
GitHubで原稿を読む ↗1. 主要結果
以下は原稿が主張する結果です。原典の番号・仮定・適用範囲を保ちます。Theorem 9.6 は帰納仮定付きのステップ、Theorem 11.1 は帰納法を閉じた後の結論です。
Theorem 1.1（対数的豊富性）
$(X,B)$ を標数 $0$ の代数閉体上の正規射影的 lc 対とする。$B$ は有効な有理係数因子、$K_X+B$ は $\mathbb Q$-Cartier と仮定する。$K_X+B$ が nef ならば、そのある正の Cartier 倍は大域切断で生成される。
Theorem 9.6（帰納法の非消滅ステップ）
次元 $n$ 未満の複素射影的 lc 対で、有効な実係数境界をもち随伴因子が擬有効なものは、すべて良い対数的極小モデルをもつと仮定する（Assumption 2.1）。このとき、滑らかな複素射影 $n$ 次元多様体 $X$ に対して、
Theorem 11.1（実係数境界の良い極小モデル）
$(X,B)$ を複素数体上の射影的 lc 対とする。$B$ は有効な実係数境界、$K_X+B$ は擬有効な $\mathbb R$-Cartier 因子と仮定する。このとき $(X,B)$ は良い対数的極小モデルをもつ。
ここで実因子の半豊富性は、収縮射による豊富な実因子の引き戻しに $\mathbb R$-線形同値であることを意味する。この実係数の結論が、次の次元への帰納仮定となる。
2. Theorems 1.1・11.1：帰納法の全体図
帰納法の仮定は「低次元で nef なら半豊富」より強い。擬有効な実係数 lc 随伴因子の良い極小モデルまで含めておくことで、境界への随伴と次元を下げる帰着を同じ枠組みで扱う。
冒頭の主張：Theorem 11.1·Theorem 1.1·原典の証明 ↗
1. 非消滅を先に用意する
$\mathrm{GLM}_{\leq n-1}$ は、次元 $n$ 未満の複素射影的 lc 対について、有効な実係数境界と擬有効な随伴因子から良いモデルを得るという仮定である。点を出発点とし、まず Theorem 9.6 の $\mathrm{NV}_n$ を証明する。この段階では次元 $n$ の一般の良いモデルは未獲得である。Proposition 2.3 の境界上の半豊富性と Proposition 6.9 の special termination は、低次元の対だけに帰納仮定を使う。
Theorem 3.1 自体は全境界での半豊富性を仮定する幾何学的判定であり、$\mathrm{NV}_n$ を仮定しない。§§6–8はこの判定と低次元の帰納仮定から反例の固定データを構成する。Theorem 9.1 はそれらの両立不可能性を示す独立した定理であり、この適用により初めて $\mathrm{NV}_n$ が得られる。
2. nef なモデルを、良い極小モデルにする
Theorem 9.6 を得た後、Hashizume Theorem 1.4 を適用する。その出力は次元 $n$ 以下の実係数 lc 非消滅と通常の対数的極小モデルであり、まだ良いモデルではない。Proposition 2.5 は、この nef モデルの境界を有理係数 nef 境界の有限凸結合へ分け、各有理随伴因子の半豊富性を証明する。正の小平次元は低次元の良いモデルを用いる [FG17, Lemma 3.5] へ帰着する。
[Hash] Theorem 1.4 ↗·[FG17] Lemma 3.5 · p. 5 ↗·Proposition 2.5 · pp. 9–12 ↗
3. 小平次元0の難所を境界の摂動で分ける
$\kappa(L)=0$ では境界の摂動後の擬有効性で分ける。擬有効でない枝は $L$-trivial なMMPから低次元へ降下する。klt で擬有効な枝は全被約境界を支える有効代表元を作り、Theorem 3.1 を用いる。最後に非kltの枝を二つの klt 摂動へ帰着する。これらを次節で分けて説明する。
各有理随伴因子が半豊富になった後、対応する収縮射の積を使い、元の実係数随伴因子の半豊富性へ戻す。この段階で $\mathrm{GLM}_{\leq n}$ が成立し、次元 $n+1$ の仮定に渡せる。全次元で得たこの出力を記録したものが Theorem 11.1 であり、それを Theorem 9.6 の入力へ戻してはいない。
4. 元の多様体へ戻し、基礎体を変更する
元の随伴因子も nef なら、共通解消での比較式の有効例外項は negativity lemma により0となる（Lemma 2.2）。良いモデル上の半豊富性が元の対に戻り、複素数体上の Theorem 1.1 を得る。Proposition 10.1 では対・境界・Cartier倍を有限生成体へ降ろし、複素数体上で得た実際の評価写像の全射性を忠実平坦性で降ろす。これにより、主定理の「任意の標数0の代数閉体」に到達する。
3. Proposition 2.5：非消滅から良いモデルへ
ここでは $\mathrm{NV}_n$ を既に得たものとして使う。半豊富性を示すために残る $\kappa=0$ の枝では、kltの場合を先に閉じ、その後に非kltの場合へ進む。
1. 実係数から有理係数へ、正の小平次元から零へ
Hashizume の出力から $\mathbb Q$-factorial dlt な nef モデルへ進む。境界の台と係数1の成分を固定し、dlt性を保つ小さな有理多面体と nef 随伴因子の有理多面体を交わらせる。元の境界は有限個の有理係数 dlt 境界の凸結合となる。半豊富な有理随伴因子の正の実結合は、それらの収縮射の積の像から豊富な実因子を引き戻したものになる。
有理係数の $L=K_Z+\Delta$ では、実非消滅の有効代表元に現れる有限個の素因子・主因子を固定し、有理係数の線形条件を解いて有効な有理代表元を得る。$\kappa(L)\geq1$ なら [FG17, Lemma 3.5] の次元 $n-1$ の良いモデル仮定を帰納法が満たす。良いモデルから Lemma 2.2 で半豊富性を戻すため、残る対象は nef かつ $\kappa(L)=0$ である。
Proposition 2.5 · pp. 9–10 ↗·[Hash] Theorem 1.4 ↗·[FG17] Lemma 3.5 · p. 5 ↗
2. 摂動が擬有効でない枝：同じCartier指数で降下する
kltなら $P=\Delta$、非kltなら $P=\lfloor\Delta\rfloor$ とし、$mL$ が Cartier となる $m$ を固定する。十分小さい全ての $\epsilon>0$ で $L-\epsilon P$ が擬有効でなければ、有理数 $0<\epsilon<(4nm+2)^{-1}$ を選ぶ。Lemma 2.4 は、負の端射線を生成する曲線 $C$ に対して $0\leq L\cdot C<1/m$ とする。整性から $L\cdot C=0$ であり、収縮・flip後も同じ $mL$ が線束として降下する。この一様性によりMMPの途中で $\epsilon$ を選び直す必要がない。
確立済みの非擬有効 klt MMPを終えて得る Mori ファイバー空間 $f:Z'\to T$ 上で、$L'\sim_{\mathbb Q}f^*A$、$A$ nef、$\dim T<n$ となる。kltの場合は Ambro Theorem 0.2 が $A\sim_{\mathbb Q}K_T+\Delta_T$ という有効klt対を供給し、帰納法を使える。非kltの場合は $P'$ が相対的に豊富なので、そのある成分が $T$ を支配する。crepant dlt blowup上のその成分 $S$ に随伴し、低次元の $f_S^*A$ を半豊富にする。連結ファイバー部分の切断の一致と有限部分のnormにより、$A$ へ降下する。
Lemma 2.4 · p. 9 ↗·Proposition 2.5 · p. 10 ↗·[Ambro] Theorem 0.2 · p. 2 ↗
3. kltかつ擬有効な枝：全境界を支える代表元を作る
十分小さい有理数 $\epsilon>0$ に対し $L-\epsilon\Delta$ が擬有効なら、既に得た非消滅から $L\sim_{\mathbb Q}G_0=H_0+\epsilon\Delta$、$H_0\geq0$ と書ける。解消 $p:W\to Z$ の全例外因子と $H_0+\Delta$ の厳密変換を被約SNC因子 $D$ に含める。$K_W+D=p^*L+R$、$R\geq0$ であり、kltの正のlog discrepancyによって $G_W=p^*G_0+R$ の台は $D$ 全体となる。pushforwardで切断空間を比較して $\kappa(K_W+D)=0$ を保つ。
通常の極小モデル $(V,D_V)$ に移ると、Lemma 2.2 の有効例外比較により $K_V+D_V\sim_{\mathbb Q}G_V=\sum b_iD_i$、全ての $b_i>0$ を保つ。従って $0<c<\min b_i$ なら $K_V+D_V-cD_V$ は擬有効である。Proposition 2.3 が被約境界全体の半豊富性を供給するので、Theorem 3.1 の各仮定を満たし、$\nu(K_V+D_V)=\kappa(K_V+D_V)=0$ を得る。
4. 零になった代表元を元のnef因子へ戻す
豊富な $H_V$ と交差させると $G_V\cdot H_V^{n-1}=0$ であり、有効性から $G_V=0$、全台の条件から $D_V=0$ となる。ただしこれだけで元の $G_0$ が消えるとはしない。共通解消 $W\xleftarrow{q}U\xrightarrow{v}V$ 上で $0\leq q^*p^*G_0\leq q^*G_W$ かつ $v_*q^*G_W=0$ である。従って $q^*p^*G_0$ は有効な $v$-例外因子で、元の nef な $L$ の引き戻しに有理線形同値である。negativity lemmaがこれを0とし、$L\sim_{\mathbb Q}0$ を得る。
ここまでで次元 $n$ のklt対の良いモデルが得られた。次の枝で使うのはこの限定された結論であり、まだ証明中の一般のlc結論ではない。
5. 非kltの残り：二つの摂動と数値次元の単調性
$P=\lfloor\Delta\rfloor$ とし、$L-\delta P$ が擬有効となる $\delta>0$ がある場合を考える。有理数 $\epsilon>0$ を $2\epsilon\leq\delta$ とし、境界が有効kltとなるほど小さく選ぶ。凸性により $L-\epsilon P$ と $L-2\epsilon P$ はともに擬有効で、非消滅と $\kappa(L)=0$ からそれぞれ小平次元0となる。直前に証明したkltの結論により良いモデルをもち、そのNakayama数値次元 $\kappa_\sigma$ は0である。
$L-2\epsilon P$ の有効な有理代表元と下の恒等式を用い、単調性・斉次性から $\kappa_\sigma(L)=0$ を得る。これらの摂動を nef と仮定してはいない。nefなのは元の $L$ で、ここで $\nu(L)=0$ と読める。既存の非消滅 $L\sim_{\mathbb Q}E\geq0$ と豊富交差から $E=0$。最後に有理単体へ戻って実係数の結論を得、Lemma 2.2が元の有理nef対への半豊富性を降ろす。
4. Theorem 3.1：境界から abundance を得る
Theorem 3.1 は境界に支えられた代表元の係数に負値を許す。結論は abundance、すなわち $\kappa(L)=\nu(L)$ であり、これを Proposition 2.5 や Proposition 6.10 の状況へ適用する。
1. 境界全体で切断を貼り合わせる
Proposition 2.3 は低次元の帰納仮定を各 $D_i$ への随伴に使い、正規化上の半豊富性を得る。Fujino–Gongyo の slc gluing（Theorem 1.5）で conductor に沿って降ろし、$D$ 全体の $L|_D$ を半豊富にする。この全体性が必要であり、成分ごとの半豊富性だけを Theorem 3.1 に代入してはいけない。
この仮定の調達と Theorem 3.1 自体の証明は区別する。$D=0$ なら符号付き代表元から $L\sim_{\mathbb Q}0$。$v=\nu(L)=0$ なら $(L-cD)H^{n-1}\geq0$ が $D=0$ を強制する。$v=n$ は nefかつbigの場合である。残る $0<v<n$ でのみ次の変形を構成する。
2. Hodge理論が持ち上げるもの
$v=\nu(L)$ とおく。Lemma 3.2 は正係数の境界成分の像に次元 $v-1$ を確保し、負係数・係数0の成分との交わりの像がそれより小さいことを示す。Proposition 3.3 の根構成と随伴データを経て、§4は像の局所座標と境界に横断的な座標を、すべての無限小近傍へ整合的に持ち上げる。障害をHodge加群の最低フィルター部分の負の捻りに置き、symbol map の核に入る障害を Lemma 4.3 で消すのが接続点である。
Lemma 3.2 / Proposition 3.3 · pp. 13–18 ↗·Proposition 4.1 / Lemma 4.3 · pp. 19–25 ↗
3. 形式的変形から、切断をもつ底へ
持ち上げた像の座標を固定し、横断座標を動かすと、境界の一般ファイバーが $D$ の外へ変形する。Proposition 5.1 はこれを代数化し、次元 $n-v$ の完備な $L$-trivial 部分多様体の支配的な族を得る。従って nef reduction の底の次元 $b$ は $b\leq v$。さらに $L-cD$ の擬有効性から $D$ は nef reduction に対して垂直となり、Lemma 5.2 が符号付き因子を底へ降ろす。
$G_B$ は nef で、その数値次元は底の次元に等しいため big である。底の切断を引き戻して $\kappa(L)\geq v$、nef 因子の一般不等式から逆向きも得る。$v=0$ と $v=n$ は Lemma 3.2 が先に処理する。
Proposition 2.5では、正の全台代表元をもつ小平次元0のモデルに適用する。非消滅の準備では、Proposition 6.10が符号付き標準代表元の被約台について $K_W+D$ のbignessを示す背理法に使う。後者は Proposition 6.9 の低次元special terminationでnef終点を得、$c=1$ として $L-D=K_Z$ の擬有効性を確認する。したがって同じ次元の一般的な良いモデルを先取りする必要はない。
Proposition 5.1 · pp. 26–28 ↗·Lemma 5.2 / §5.1 · pp. 28–30 ↗·Propositions 6.9–6.10 · pp. 41–43 ↗
得た結論を使うのは 帰納法の小平次元0の枝と、非消滅の符号付き代表元の枝です。ここでの結論は abundance であり、各適用先の追加の議論を経て半豊富性へ進みます。
5. Theorem 9.6：反例から固定データを構成する
次元0・1は原典で直接処理する。以下 $n\geq2$ とし、$K_X$ 擬有効かつ $\kappa(X)=-\infty$ という滑らかな反例を仮定する。§§6–8の排除結果を使い、Theorem 9.1の三種類の入力を標数0で実現する。
冒頭の主張：Theorem 9.6·原典の証明 ↗
1. 反例の幾何が二つの評価を用意する
Lemma 6.1 の $q(X)=0$、Proposition 6.3 の一般型性、Proposition 6.8 の有界な種数・正規化次数の被覆曲線の排除を使う。§7は過大な消滅から動く基底成分を追跡し、その次数と標準因子を評価する。Proposition 8.1では、一般型の成分から禁止された曲線族を作ることで、スカラー切断の一様上界を得る。
二因子の射影束では、ジェット生成の失敗から得る成分を片方の因子のsliceへ制限する。正次元の枝は曲線排除と Proposition 6.10 の符号付き代表元のbignessで処理する。両因子へgenerically finiteな枝は、動く分岐因子を排除して分岐補集合を固定し、有限個の被覆を固定する。残る支配的な双有理対応の族を Proposition 6.11 が排除する。これが Proposition 8.3 の大きいSeshadri定数に至る道筋である。補助の半豊富モデルは big klt の確立済みの結果で作り、証明中の一般の豊富性を使わない。
2. 小さいパラメータを選び、偏極と旗を固定する
late terminal model $Y$ 上で $K=K_Y$、$mK$ Cartier、$\mu_t=\operatorname{vol}(K_X+tA_X)^{1/n}\to0$ とする。まず有理数 $\epsilon>0$ を両小定数条件を満たすよう選び、次に Proposition 8.3 の十分大きい整数 $q$ を選ぶ。その後で有理数 $t>0$ を小さく、整数 $r$ を $r\mu_t\to\epsilon$、$r>qm+1$ となるように取る。
共通解消 $W$ 上で $L=r(K+tA)$、$K_W=K+E$、$E\geq0$。$L$ のscaling model上の半豊富な正部分を引き戻した $H_0$ は $H_0^n\to\epsilon^n$、$LH_0^{n-1}=H_0^n$、$K_WH_0^{n-1}\leq H_0^n/r$ を満たす。余裕を残して $t,r,W$ を固定し、$H=H_0+\eta H_{\rm amp}$ を小さい有理 $\eta>0$ で豊富にして Theorem 9.1 の交点不等式を保つ。$K_W$ の擬有効性に対する generic semipositivity と制限定理から、$\mu_{\min}(\Omega_W^1|_C)\geq0$ となる一つの完備交差旗を固定する。
§8.1 / (30)–(32) · p. 52 ↗·§9.2.1 / (61)–(64) · pp. 69–70 ↗·[CP] Theorem 2.1 · print p. 844 / PDF p. 11 ↗
3. 全ての行列式の重みを一つの可動曲線で評価する
$D^+=2r(K+2tA)+2E$ とおく。Proposition 8.1は非常に一般の $x$ で、十分可除な全ての次数 $k$ と非零切断に対し消滅次数を $32\epsilon k$ 以下に抑える。従って爆発上の $\pi_x^*D^+-40\epsilon J$ は擬有効でない。もし擬有効なら、bigな $\pi_x^*D^+$ との凸結合が $32\epsilon<c<40\epsilon$ の過大消滅を実現するからである。
[BDPP]の双対性により負の交点を検出するstrongly movable classを選ぶ。厳密不等式なので、一つの滑らかな双有理モデル $f:V\to\widehat W$ と豊富な整数Cartier因子 $A_i$ の実際の完備交差 $\gamma=f_*(A_1\cdots A_{n-1})$ を固定できる。$J\cdot\gamma>0$ である。$S=mK$、$Q_\lambda=L+K_W/2+\lambda S$ とすると下の差は全ての $0\leq\lambda\leq q$ で擬有効。従って同じ $\gamma$ が全重みを評価し、還元に残す数値条件は端点 $0,q$ の二つで足りる。
§9.2.2 / (65)–(66) · pp. 70–71 ↗·[BDPP] Theorem 2.2 · p. 6 ↗
4. 有限ジェット系を固定し、両立不可能性に渡す
Proposition 8.3のSeshadri定数は $2n+2$ より大きい。半豊富なモデルの収縮が同型となるtorus開集合で点 $z_*$ を選び、全分母を払う一つの $k_0$ と、次数 $(2n+2)k_0$ までのジェットを生成する有限個の切断を固定する。$z_*$ の二つの底座標と、前段の試験点 $x$ を一致させる必要はない。
これで Theorem 9.1 の偏極・旗・可動曲線・ジェット系が全て標数0で揃う。定理内で剰余次数用の $T_0$ と有限切断も固定してから、十分大きい標数へ移る。次節の同一行列式の矛盾がこのデータを排除し、反例 $X$ が存在しない、すなわち Theorem 9.6 となる。その後にだけ Proposition 2.5 を適用する。
6. Theorem 9.1：固定データの両立不可能性
以下の定理は、非消滅・豊富性・極小モデルを仮定しない。前節で反例から構成したものを、明示的な交点条件・旗・ジェット・可動曲線だけの命題に渡す。
1. 有限個の切断と旗を還元する
$T_0+aS$（$0\leq a\leq(k_0-1)q$）が $z_*$ の両底座標で消えない切断をもつよう、一つの十分豊富な $T_0$ と有限切断を固定する。多様体・射・因子・旗・点・可動曲線の完備交差・ジェットと補充切断を一つの有限生成 $\mathbb Z$-代数上に広げる。基底を縮め、滑らかさ、必要な豊富性、有限ジェット全射、交点数、旗上の最小傾きの非負性を保つ。
この還元が保存するのは有限データである。標数0の擬有効錐やMMPの成立を標数 $p$ に移してはいない。還元上の有効因子に対する $\gamma$ の非負交点は、固定した双有理モデルへ引き戻して豊富完備交差と交差させることで、その標数で直接得る。
2. 固定ジェットを増幅し、非零行列式を作る
$N_p=\lfloor p/k_0\rfloor$、$B_p=k_0N_pL+T_0$ とする。固定ジェット系の $N_p$ 個の積は次数 $(2n+2)k_0N_p$ までを生成する。余り $(p-k_0N_p)q$ は先に固定した有限切断で補い、$pq\xi+B_{p,1}+B_{p,2}$ のジェットを得る。$\dim Z=2n+1$ なので、大きい $p$ ではこれは全正則パラメータの $p$ 乗で割った局所環へ全射する。積の先頭単項式による三角化で示すため、階乗で割る操作は不要である。
相対Frobenius $F:W\to W'$ に対して $E=F_*\mathcal O_W(B_p)$、$s=p^n$、$R=s^2$ とする。torus座標 $z$ の商の基底 $1,z,\ldots,z^{p-1}$ で定数係数を取り出すと、重み $pa$ の項が残る。従って $U_a=H^0(W,B_p+paS)$ を使う下の評価写像は一般点で階数 $R$ となり、非零最大小行列式 $\sigma$ が存在する。このfull rankの点と、対角上で上界を試す点は別でよい。
3. 対角上のランク欠損が消滅次数の下界を与える
対角に制限すると全ての重み $a+b=q$ が $\Delta_F=W\times_{W'}W$ 上の同じ線束 $\mathcal L_p=\mathcal O_{\Delta_F}(B_{p,1}+B_{p,2}+pqS_1)$ に揃う。したがって評価行列の対角上の階数は $h^0(\Delta_F,\mathcal L_p)$ 以下になる。被約対角のイデアルで濾過すると、次数 $j$ の商は $G_j=\mathcal O_W(2B_p+pqS)\otimes A_j(\Omega_W^1)$（$0\leq j\leq n(p-1)$）である。$A_j$ は局所生成元の $p$ 乗で割った対称代数の次数 $j$ 部分で、階数 $e_j$ は $\sum_j e_j=p^n$ を満たす。
固定曲線上の $\mu_{\min}\geq0$ と [Langer, Corollary 2.5] を用い、Lemma 9.4 は $j,p$ に一様な傾き上界を与える。固定旗へ順に制限すると、各 $G_j$ の切断数は同じスカラー多項式に $e_j$ を掛けたもので抑えられる。したがって $j$ の個数を余分に掛けることなく、階数和だけを取って $h^0(\Delta_F,\mathcal L_p)\leq R(7^nH^n+O(p^{-1}))<R/4$ を得る。最後の不等式は $H^n\leq(2\epsilon)^n$ と $(14\epsilon)^n<1/4$ による。
評価行列の対角点での階数は $R/4$ 未満なので、定数行操作の後に $3R/4$ を超える行がその点で消える。行列式の各項は、それだけ多くの極大イデアルの元の積となる。
Lemmas 9.2–9.5 / equations (46)–(56) · pp. 63–67 ↗·Equation (60) · p. 69 ↗·[Langer] Corollary 2.5 · print p. 258 / PDF p. 8 ↗
4. 同じ行列式の上界と衝突させる
行列式は実際の外積線束 $Q_1\boxtimes Q_2$ の切断である。各因子の正規化した第一Chern類は $L+K_W/2+\lambda_iS+O(p^{-1})$（$0\leq\lambda_i\leq q$）であり、固定した $\gamma$ の評価から、各因子の任意の非零切断の消滅次数が $R(40\epsilon+O(p^{-1}))$ 以下になる。
二因子で消滅次数に適合する基底を選び、その先頭項の独立性を使って、和としての上界を得る。
具体的には、選んだ列の第 $i$ 因子の重みの和を $m_i$ とすると $Q_i=(\det E)^{\otimes p^n}\otimes\mathcal O(m_iS')$、$\lambda_i=m_i/R\in[0,q]$ である。$c_1(Q_i)/R=B_p/p+(p-1)K_W/(2p)+\lambda_iS$。誤差の分子 $B_p-pL-K_W/2$ は固定した有限個の因子類だけを動くので、$O(p^{-1})$ は列の選択にも一様となる。可動曲線は還元後の任意の非零切断の有効因子を評価するので、その切断が標数0へ持ち上がる必要もない。
$80\epsilon<3/4$ を先に選び、他のデータを全て固定しているので、大きい $p$ で矛盾する。ここまでが Theorem 9.1。前節で反例から構成したデータに適用すると Theorem 9.6 が得られ、全体図の非消滅ステップに戻る。さらに Proposition 2.5 に進み、初めて同じ次元の実係数良いモデルが得られる。
Theorem 9.6 を 全体図の第1段階へ戻します。Hashizume と Proposition 2.5 によって同じ次元の良いモデルを得て、帰納法を閉じた結果が Theorem 11.1 です。
7. 外部入力と主定理後の帰結
主証明に入る入力
Hashizumeを使うのは滑らかな非消滅を得た後です。Fujino–Gongyoのgluingは、その前に低次元モデルから全境界の条件を供給します。正の小平次元の補題とAmbroの降下は、その後の良いモデルの議論に入ります。BDPP・Campana–Păunと制限定理はTheorem 9.6の固定データを構成し、Langerの傾き評価は独立したTheorem 9.1の内部で使います。各仮定と使用箇所は図前の文献案内と対応する説明段階に記しました。
Proposition 2.5·Theorem 3.1·Theorem 9.6·Theorem 9.1
カタログ033 → LA：劣加法性を使う1か所
[OI] Corollary 6.2 は LA の Theorem 1.2 として記載され、Lemma 6.1 でのみ、両境界が0の場合に使われます。Albanese像が正次元なら、解消したStein底の小平次元は非負で、低次元のファイバーにも帰納法による非消滅があります。劣加法性を適用すると反例の仮定に矛盾します。
この底は maximal Albanese dimension をもつため、既存の Hacon–Popa–Schnell Theorem 1.1 でも必要な不等式を得られます。LAの序論もこの代替を明記しています。これは Lemma 6.1 の適用を賄うもので、[OI] の対数的な主張全体を置き換えるという意味ではありません。
[OI] Corollary 6.2 · pp. 40–41 ↗·Hacon–Popa–Schnell, Theorem 1.1 · p. 2 ↗·LA §1 / Lemma 6.1 · pp. 6, 30–31 ↗
034内：独立した非消滅の道具
Lemmas 7.1–7.5 は中心・動く基底成分を制御し、Theorem 9.1 は固定したデータから行列式の消滅次数を比較します。Fourfold nonvanishing は §§3, 6–7 でこれらを取り出して使います。豊富性の主定理を適用する接続ではありません。 利用先の証明 →
034内：良いモデルの供給先
Theorem 11.1 が供給するのは、有効次数を考える前の定性的なモデルです。Uniform Iitaka ではモデルの存在、Log Iitaka では半豊富なファイブレーション、slc indices では Hodge rank 評価の摂動した klt 対、Fourfold Iitaka では非消滅の段階に使います。
- Uniform Iitaka · Theorem 2.1
- Log Iitaka · Theorem 2.2 / §8
- slc indices · Theorem 2.3 / Lemma 5.6
- Fourfold Iitaka · §10
Kähler abundance の Proposition 2.10 は、自身の劣加法性の仮定を保って射影的な帰納法全体を使います。 射影的な入力の位置 →
034内：LA → Schnell
擬有効な $K_X$ をもつ滑らかな複素射影多様体 $X$ に対し、Theorem 11.1 を $(X,0)$ に適用し、比較補題を合わせると Corollary 11.2 を得ます。ここで供給するのは、$\mathbb Q$-factorial klt な良いモデル $V$ と、共通解消上の有効な $q$-例外因子の比較式です。Schnell原稿の Theorem 3.1 が受け取る入力はこれです。
Theorem 11.1 / Corollary 11.2 · pp. 73–74 ↗·034の依存表 →
主定理を得た後の展開
§§11–14では、小平次元0での有理線形自明性、slc豊富性と境界からの延長、lc環の有限生成、有理曲線・余接束に関する帰結、底のコンパクト部分集合の近傍での相対解析的豊富性へ進みます。これらは帰納法を閉じた後の展開です。§12ではカタログ036の一般化極小モデル原稿の通常対の場合も引用しますが、上記の良い極小モデルの帰納法の入力には使っていません。
8. 原典を読む入口と確認範囲
- §2 / Proposition 2.5 · pp. 7–12 — 二段階の帰納法と、小平次元0の場合分け。
- Theorem 3.1 / §§3–5 · pp. 12–30 — 符号付き代表元、形式的持ち上げ、完備な族と降下。
- Proposition 2.5 / §10 / Theorem 11.1 · pp. 9–12, 72–73 — 滑らかな非消滅の後で各次元を閉じ、有理係数から実係数へ戻す順序。
- Propositions 8.1, 8.3 · pp. 53–61 — スカラー上界と二因子のジェット構成。
- Theorem 9.1 / Theorem 9.6 · pp. 62–72 — 行列式の矛盾と、その仮定を満たすデータの構成。
原稿の参照版: adc7f1241b42e322a6451854ab7e4b4c146bf78a
原典PDFはカタログ調査時に記録したSHA-256と一致しています。GitHubへの引用リンクはファイル閲覧画面を開きます。該当箇所は表示されたページ・定理番号を目印にお読みください。