CATALOGUE 034 · PAPER 08 / 14 概説
Schnell fiber spaces and good canonical models
良い極小モデル・混合交点数・Schnellの帰着
主結果を原稿の順序で記し、証明の依存関係を引用付きの概略図と文章でたどる。
GitHubで原稿を読む1. 主要結果
定理番号・順序・仮定・結論は原稿に準拠しています。
Theorem 1.1（Schnellの小平次元0のファイバー空間に関する結論）
$f\colon X\to Y$ を、滑らかな連結射影複素多様体の間の、連結ファイバーをもつ全射とする。$F$ をその滑らかな幾何学的生成ファイバーとし、$\kappa(F)=0$ と仮定する。$Y$ 上の豊富なCartier因子 $H$ と正整数 $m_0$ が存在して、$m_0K_X-f^*H$ が擬有効であるとする。このとき、
Corollary 1.2（Campana–Peternell）
$X$ を滑らかな連結射影複素多様体、$D$ を $X$ 上の有効Cartier因子、$m_0$ を正整数とする。$m_0K_X-D$ が擬有効ならば、
Corollary 1.3（Schnellの一般のファイバー空間に関する結論）
$f\colon X\to Y$ を、滑らかな連結射影複素多様体の間の、連結ファイバーをもつ全射とし、$F$ を非常に一般の滑らかなファイバーとする。$H$ は $Y$ 上の豊富なCartier因子、$m_0$ は正整数で、$m_0K_X-f^*H$ が擬有効であると仮定する。このとき、
さらに、正整数 $r,\ell_0$ が存在し、すべての整数 $\ell\ge\ell_0$ に対して、
以下はこれらの主張の論証を整理したものです。Corollary 1.3 の $r,\ell_0$ について、一様な値は主張されていません。
2. Theorem 1.1 の証明
$\dim Y=0$ なら $F=X$ なので結論は仮定そのもの。共通解消を $X\xleftarrow{p}W\xrightarrow{q}V$ と書き、$d=\dim X$、$y=\dim Y>0$、$h=fp$ とする。図中の $A$ は $V$ 上の非常に豊富なCartier因子である。
1. モデル存在から得る二つの入力
$H$ の豊富性から $f^*H$ は擬有効であり、仮定と合わせて $K_X$ も擬有効となる。Theorem 3.1 はこの条件の下で、$K_X$-negativeな双有理縮約 $X\dashrightarrow V$ を与える。$V$ は正規射影 $\mathbb Q$-factorial klt、$K_V$ は半豊富で、共通解消上では下の比較式を満たす。この定理は [LA, Corollary 11.2] の引用であり、モデルの構成自体は本稿の外部入力である。
Theorem 3.1 / §3 · pp. 7–8 ↗·[LA] Corollary 11.2 · pp. 73–74 ↗
2. 有効性で切断を移し、像の次元を比較する
$D=rK_V$ をCartierかつ大域生成に取り、$g\colon V\to Z$ を対応する射、$k=\dim Z$ とする。$rE$ は有効Cartier因子なので、その標準切断を掛けることで $H^0(V,D)\hookrightarrow H^0(X,rK_X)$ を得る。切断の比は変わらず、$k\le\kappa(X)$ となる。一方、Lemma 2.2 は $\kappa(F)=0$ を使って $\kappa(X)\le y$ を与える。従って、残る仕事は $k\ge y$ である。
3. 同じ曲線類に対する二つの評価を衝突させる
$k<y$ と仮定し、Lemma 2.3 の曲線類 $C=(q^*D)^k(q^*A)^{d-k-1}$ を取る。$B=m_0p^*K_X-h^*H$ は元の擬有効類の引き戻しなので擬有効であり、同補題(1)から $B\cdot C\ge0$。他方、同補題(2)は $q_*E=0$ を使って $E\cdot C=0$ を与え、(3)は $q^*D\cdot C=0$ と $h^*H\cdot C>0$ を与える。比較式へ代入すると、
正値性の要点は、$y>k$ により $h$ の余接方向が $gq$ のものに含まれず、$A$ からの方向と合わせて横断的な交点を作れることにある。例外項の消滅には、$C$ の全因子を $V$ から引き戻したことが効く。従って $k\ge y$、ゆえに $y\le k\le\kappa(X)\le y$。これが良い極小モデルを仮定した Theorem 2.1 の議論であり、Theorem 3.1 を入力して Theorem 1.1 が従う。
Lemma 2.3(1)–(3) · pp. 5–6 ↗·Theorem 2.1, §2.3 / (2.7) · pp. 6–7 ↗
3. Corollary 1.2 の証明
Theorem 3.1 と切断の移送は、滑らかな射影複素多様体 $T$ に対する $K_T\in\overline{\operatorname{Eff}}(T)\Rightarrow\kappa(T)\ge0$ も与える（§4.1）。$\kappa(D)=0$ の場合はこの非消滅で終わる。図2は $\kappa(D)>0$ の場合である。
1. 因子の飯高次元を、底の次元へ移す
[Sch22, §§4–6] に従い $|nD|$ の解消、Stein分解、底の解消を行う。得られる $f_0\colon X_0\to Y_0$ は $\dim Y_0=\kappa(D)$ を満たし、豊富なCartier因子 $H_0$ に対して $a_0K_{X_0}-f_0^*H_0$ が擬有効である。底の解消で生じるbigかつnefな引き戻しは、十分な倍数を取り有効因子を差し引くことで、必要な豊富因子へ置き換える。非常に一般のファイバーへの制限と非消滅から、各段階で $\kappa(F_i)\ge0$ が得られる。
2. 正の小平次元を、増大する底の次元へ吸収する
$\kappa(F_i)>0$ の間は [Sch22, Lemma 7.1] の構成を使い、$L_i\sim r_iK_{X_i}+f_i^*(b_iH_i)$ を有効に取り、$\kappa(L_i)=\kappa(F_i)+\dim Y_i$ とする。数値的仮定が次の段階にも残る理由は、次の恒等式にある。
$L_i$ に再び因子からファイバー空間への帰着を適用すると、$\dim Y_{i+1}=\dim Y_i+\kappa(F_i)$。底の次元は狭義に増え、$\dim X$ 以下なので、有限回で $\kappa(F_j)=0$ となる。§4.1で非常に一般のファイバーと幾何学的生成ファイバーの小平次元を同一視できるため、Theorem 1.1 が適用できる。双有理不変性により $\kappa(X)=\dim Y_j\ge\dim Y_0=\kappa(D)$ を得る。
4. Corollary 1.3 の証明
ここでは、まずCorollary 1.2から小平次元の等式を得る。その等式をFujita–Moriの判定へ入力し、元の豊富因子 $H$ を引いた切断を構成する。
1. 有効因子にCorollary 1.2を適用する
§4.1から $\kappa(F)\ge0$ を得た上で、[Sch22, Lemma 7.1] の構成により $L\sim aK_X+f^*(bH)$ を有効に取り、$\kappa(L)=\kappa(F)+\dim Y$ とする。$(m_0b+a)K_X-L\sim b(m_0K_X-f^*H)$ が擬有効なので、Corollary 1.2 は $\kappa(X)\ge\kappa(L)$ を与える。easy additionによる逆向きの不等式と合わせて、$\kappa(X)=\kappa(F)+\dim Y$ となる。
Corollary 1.2 / §4.3 · pp. 2, 10 ↗·[Sch22] Lemma 7.1 · p. 3 ↗
2. 等式を切断の存在へ変換し、捻りを調整する
[PS14, Lemma 4.6] のFujita–Mori判定を $N=\omega_X$ に適用すると、$Y$ 上のbig Cartier因子 $B$ と $0\ne\sigma\in H^0(X,uK_X-f^*B)$ を得る。$B$ の巨大性から $0\ne\tau\in H^0(Y,vB-H)$ を選べば、$r=uv$ として $s=\sigma^vf^*\tau$ は $rK_X-f^*H$ の非零切断となる。さらに $H$ の豊富性により、すべての十分大きな $\ell$ で $0\ne\tau_\ell\in H^0(Y,(\ell-1)H)$ が存在し、$s^\ell f^*\tau_\ell$ が所要の切断を与える。
$Y$ が点の場合、等式は自明であり、切断の存在は§4.1の非消滅と切断の冪から従う。
5. どの論文が、どの段階を担うか
本記事では LA から Schnell への直接入力を記録します。14篇全体の接続はカタログ034の総括にまとめています。カタログ外については主要な帰着の道具を挙げ、標準的な背景文献は省いています。
| 供給元の論文・結果 | 利用先・箇所 | 供給する内容・用途 | 確認範囲 |
|---|---|---|---|
| Log abundance in characteristic zeroCorollary 11.2 · pp. 73–74 | Schnell: Theorem 3.1 → Theorem 2.1; §4.1 · pp. 7–8 | 滑らかな射影複素多様体の $K$ が擬有効なら、半豊富な良い極小モデルと有効例外因子の比較式を供給。主定理と非消滅の両方に使う。 | 記述・比較式・適用仮定を照合。モデル存在の証明全体は未検証。 |
| 供給元の論文・結果 | 利用先・箇所 | 供給する内容・用途 | 確認範囲 |
|---|---|---|---|
| Christian Schnell, Singular metrics and a conjecture by Campana and PeternellarXiv:2202.01295v1 · §§4–10, Lemma 7.1 · pp. 2–4 | Schnell: §4.2–4.3 · pp. 9–10 | 非消滅を入力として、有効因子からファイバー空間へ移し、正の底の捻りを使って $\kappa(F)=0$ へ帰着する。 | 帰着と Lemma 7.1 の構成・使用箇所を照合。その先の引用証明は未検証。 |
| Mihnea Popa–Christian Schnell, On direct images of pluricanonical bundlesarXiv:1405.6125v2 · Lemma 4.6 · p. 14 | Schnell: §4.3 · p. 10 | Fujita–Moriの判定。小平次元の等式から、底の巨大因子を引いた多重標準切断の存在へ進む。 | 補題の記述と $N=\omega_X$ の適用を照合。Fujita・Moriの原証明は未検証。 |
6. 原典を読む入口と確認範囲
- Lemma 2.3 · pp. 5–6 — 曲線類の構成と、交点数の正値性。
- Theorem 3.1 · pp. 7–8 — 外部のモデル存在定理を使う接続点。
- §4.2–4.3 · pp. 9–10 — 小平次元0への反復帰着と、最後の切断構成。
原稿の参照版: adc7f1241b42e322a6451854ab7e4b4c146bf78a
ページ番号はリンク先PDFに対応します。外部文献のarXiv版は依存表で固定しています。