CATALOGUE 034 · PAPER 13 / 14 概説
Uniform effective log Iitaka fibrations for fourfolds
四次元の標準指数から有効 log Iitaka 系へ
本稿は、境界なしklt四次元多様体の標準指数を一様化し、それを有限有理係数のlc対の有効log Iitaka系へ組み込む。指数の核心は被覆上の局所正値性と対角積のjet評価の矛盾であり、最終的な一様次数には定性的非消滅・半豊富モデル・相対分母の三つの入力を使う。
GitHubで原稿を読む1. 主要結果
Theorem 1.1 — Uniform canonical index
正規射影的klt複素四次元多様体 $X$ で $K_X\sim_{\mathbb Q}0$ を満たすものすべてに対し、共通の正整数 $N_4$ が存在して
ここでは整数主Weil因子としての自明化をいう。境界を伴わない定理であり、$X$ の滑らかさは仮定しない。
Theorem 1.2 — Uniform effective log Iitaka fibrations
有限集合 $\Phi\subset[0,1]\cap\mathbb Q$ を固定する。正規整射影的複素四次元多様体 $X$ と、有効有理Weil因子 $\Delta$ で非零係数が $\Phi$ に属し、$(X,\Delta)$ がlc、$D=K_X+\Delta$ が有理Cartierかつpseudo-effectiveであるものに対して、$\Phi$ のみに依存する正整数 $m$ が存在し、完全系 $|\lfloor mD\rfloor|$ は空でなく、その切断比が埋め込まれた飯高体 $K(D)\subset\mathbb C(X)$ の全体を生成する。同じ $m$ が標準因子のすべての代表に対して使える。
$\mathcal O_X(\lfloor mD\rfloor)$ は階数1反射的因子層であり、$mD$ がCartierになるという追加条件はない。$\kappa(D)=4$ では写像の双有理性を、$\kappa(D)=0$ では一様次数での非消滅を含む。係数条件は有限有理集合であり、任意のDCC集合や実係数への拡張はこの主張に含めない。
図の矢印に付した引用
略号なしは本原稿の結果を指す。外部入力の略号は次のとおり。
- LA: Log abundance in characteristic zero (September 24, 2026).
- SL: Lifting sections from the reduced support of an adjoint (September 27, 2026).
- RD: Relative denominators and effective systems for log Calabi–Yau fibrations (September 27, 2026).
- CT: fourfold flip termination (arXiv:2011.02236v2, Theorem 1.1).
- JL: non-klt fourfold index (arXiv:2002.11928v1, Corollary 1.7).
- Xu: klt fourfold index with nonzero boundary (arXiv:1905.00297v2, Theorem 1.14).
2. Theorem 1.1 の証明：構造的帰着
証明の道筋。 まず構造帰着の分岐を整理し、残る難所を 鎖・jet・Frobenius の評価で排除する。最後の主定理の証明で、得た構造と相対有効系を合わせ、係数集合・体・次数を揃える。
Theorem 1.1 の指数問題を、一般型の同変ファイバーと可算な双自己写像群を持つ terminal 四次元多様体へ帰着する。構造的な場合分けのうち、相対分母を使う箇所では零境界の標準指数を保つことが要点になる。
1. 被覆の分解で積と有理連結な場合を分離する
図の最初の帰着は、有限準エタール被覆上の分解と体積形式の指標を用いる。積・アーベル部分から来るケースを分離すると、残る単一の非平坦四次元因子には「正の次元の真の有理像は有理連結」という制約が付く（Ufour, Proposition 4.1–Lemma 4.2, pp. 10–14）。非canonicalの場合、解消上の標準因子がpseudo-effectiveでないことから単線織性を得て、MRC商と有理像の制約によって有理連結性へ帰着する。ここで使う非pseudo-effectiveから単線織性への接続は原典のCorollary 4.4（p. 15）に従う。
2. 中間的な因子がある場合は相対分母を使う
canonicalの場合は指数を変えないcrepant terminalizationを取る。もし有効Weil因子 $A$ に $1\leq\kappa(A)\leq3$ のものがあれば、小さい $\delta>0$ に対する $(V,\delta A)$ の半豊富モデルを使う。ただし、このMMPで境界なし標準因子のcrepancyを別に確認する。$rK_V=\operatorname{Div}(h)$ を各段階へ押し出すことで指数を保ち、相対分母定理は変動する係数 $\delta$ ではなく $(V',0)$ に適用する。得られる有理連結な底上で RD, Proposition 7.1, p. 17 が一般化adjointの整数主倍数を与える。したがって定数に $\delta$ の分母は入らない（Ufour, Lemma 4.6, pp. 15–16）。
3. 残余の同変ファイバーを一般型にする
残るterminal四次元多様体とその標準巡回被覆では、関連する中間的同変有理ファイブレーションの滑らかな幾何学的生成ファイバーが一般型になる。Lemma 4.7（pp. 16–17）は、降下した底から引いた因子のbignessとterminal discrepancyを使い、ファイバー上の例外的部分から標準因子のbignessを導く。この条件が次の一様評価の仮定である。
3. Theorem 1.1 の証明：残る高指数の排除
本節で使う鎖の補題のうち Lemma 5.1、Corollary 5.2、Lemma 5.4 は任意次元の道具として、Uniform Iitaka の高指数排除にも渡る。供給するのは被覆族・鎖・葉の評価であり、本稿の四次元主定理を一般次元へ適用するわけではない。
残余の場合に指数 $r$ が非有界と仮定する。標準被覆 $\pi:Y\to V$ の Seshadri 下界と、対角積 $Z_t=Y^t/\mu_{r,\mathrm{diag}}$ の上界を、射影と両立する鎖の葉を介して比較する。
鎖の商・射影整合性・次数評価（Lemmas 5.1, 5.4、Corollary 5.2）と追跡補題（Lemmas 6.3–6.4）は任意次元の道具として述べられる。これを、低次元ファイバーの体積評価を使う四次元のTheorem 6.1や主定理と同一視しない。
Lemmas 5.1, 5.4・Corollary 5.2・Lemmas 6.3–6.4 · pp. 18–27
1. 一般型条件を使って scalar 評価を適用する
$\gamma(P;V)$ を十分可除な次数で測った一般点の切断消滅次数／次数の上限とする。Theorem 6.1（p. 23）のscalar評価は、同変ファイブレーションについて上記の一般型条件を仮定する。正規化した偏極 $1\leq L^4\leq2$ と指数 $r$ の標準巡回被覆 $\pi:Y\to V$ に適用すると、$\varepsilon(L)\geq c$ と $\varepsilon(\pi^*L)\geq cr^{1/4}$ が得られる。
2. 対角上の階数低下を消滅次数の矛盾へ変える
一方、$Z_t=Y^t/\mu_{r,\mathrm{diag}}$ 上の外積和偏極 $P_t$ について、Proposition 7.1（pp. 33–42）は $\varepsilon(P_t)\leq Ct^2$ を与える。証明では、標数 $p$ で通常jetの余剰から一般点で全階数の行列を作り、Frobenius対角上では階数が高々 $R/4$ と評価する。非零最大小行列式の対角上の消滅次数は少なくとも $3R/4$ となるが、各スロットのscalar評価とLemma 7.4によりそれ未満となり矛盾する。ここでLAの§9は方法の先行例であり、そのabundance結論をこのjet計算の入力にしているわけではない。
3. 鎖の葉から次数1の忘却写像を得る
Proposition 8.1（pp. 42–46）は二つのSeshadri評価を鎖の葉に適用する。$2\leq t\leq T$ の有限個の積を先に固定し、被覆次数 $r$ を大きくすると、各葉から一つのスロットへの射影が生成有限になり、葉の次元は $1$ から $4$ に入る。葉の次数は $KT^8$ 以下だが、同じ次元の葉の間の忘却写像がすべて次数2以上なら次数が指数的に増える。従ってどこかの忘却写像は次数1となる。
4. 局所流を双有理写像へ延ばして指数を抑える
次数1は必要な強さである。これは最後の座標の評価を有限対応から有理写像へ変え、接空間の移送と局所流を有理双自己写像へ変換する。正次元の流から非可算個の双自己写像が生じ、Lemma 8.2（pp. 46–47）の $\operatorname{Bir}(V)$ の可算性に矛盾する。後者は滑らかなモデルのirregularityゼロを用いる。§9（pp. 47–48）はこれで指数の非有界列を排除し、全ケースの指数の最小公倍数を取る。
4. Theorem 1.2 の証明
固定有限係数集合 $\Phi$ の lc 四次元対から出発し、まず全整数次数の切断を保つ半豊富モデルへ移る。その飯高底が正次元なら相対分母と有効系、点なら指数定理を適用する。
1. 定性的な非消滅から半豊富モデルを作る
最初の非消滅は LA, Theorems 11.1, 1.1 による良いモデルと半豊富性から得る。この段階の非零切断の次数は入力に依存し、一様ではない（Ufour, §10, p. 48）。続いてProposition 2.2（pp. 6–7）はcrepant dlt modification、四次元flip停止、そして SL, Theorem 1.2, p. 2 の非消滅後の半豊富性を用い、$\Phi'=\Phi\cup\{1\}$ を係数集合とするモデル $(X',\Delta')$ を作る。
2. 全整数次数の丸めた切断空間を同定する
全整数次数で成立する比較は
これは原典の式(2.1)であり、式(2.2)の極の不等式 $\operatorname{Div}(v)+kD\geq0$ と、共通解消上の有効例外差で確認する。特定のCartier倍数でだけ成り立つ比較では不十分である。半豊富収縮 $f:X'\to Z$ に対して $D'\sim_{\mathbb Q}f^*A$、$A$ はampleであり、収縮の相対代数閉性によってすべての切断比は $\mathbb C(Z)$ に入る。
3. 正次元の底では固定分母の有効系を使う
$\dim Z>0$ では RD, Theorem 1.1, p. 2 が固定分母の正確な標準束公式を与え、RD, Proposition 6.1, pp. 15–17 が一様次数のすべての正倍数で完全な底の体を回復する。UfourではTheorem 3.1とProposition 3.2（p. 8）として使う。$\dim Z=4$ の双有理収縮も含む。
4. 底が点の場合を三つに分ける
$Z$ が点なら $D'\sim_{\mathbb Q}0$ である。非kltは JL, Corollary 1.7, p. 2、kltかつ $\Delta'\neq0$ は Xu, Theorem 1.14, p. 3、kltかつ $\Delta'=0$ は本稿のTheorem 1.1で指数を抑える。Xuのhyperstandard係数条件には $\{1-b:b\in\Phi'\}$ と分母1で有限係数集合を埋め込む。これらと正次元の次数の共通倍数を取れるのは、後者がすべての正倍数を許すためである。最後に式(2.1)で元の完全系へ戻す。
5. 標準因子の代表を変えても切断比を保つ
標準因子を $K_X+\operatorname{Div}(h)$ に替えると丸めた因子は $m\operatorname{Div}(h)$ だけ変わる。切断の $h^{-m}$ 倍が系を同定し、比を変えないので、一様次数は代表に依存しない（Ufour, p. 49）。
5. どの論文が、どの段階を担うか
- LA Theorem 11.1（p. 73）、Theorem 1.1（p. 2）：Ufour §10（p. 48）の定性的非消滅。§7のFrobenius法への参照は別の方法上の関係。
- SL Theorem 1.2（p. 2）：Ufour Theorem 2.1・Proposition 2.2（pp. 6–7）のnefモデルの半豊富性。Fourfold nonvanishingの主定理をこの命題の入力として追加しない。
- RD Theorem 1.1、Propositions 6.1, 7.1（pp. 2, 15, 17）：Ufour §3（pp. 8–9）。前二者は有効系、最後はLemma 4.6の有理連結な底上の指数制御。
- CT Theorem 1.1（arXiv v2, p. 2）：pseudo-effectiveなNQC lc一般化四次元対のflip停止。Ufour Proposition 2.2ではnefデータゼロとして適用する。定理の記述と適用条件を照合した。
- JL / Xu 上記指数定理：Ufour §10（p. 49）の底が点の二ケース。原典の記述を照合したが、それらの証明は検証対象外。
6. 原典を読む入口と確認範囲
出典は Ufourの固定版PDF（commit adc7f1241b42e322a6451854ab7e4b4c146bf78a）。頁はPDFの印刷頁。GitHubのPDF表示では頁位置が保持されないため、リンク先で記載頁・番号へ移動する。
編集側は主定理、§2の全次数比較、§3の入力、§4の中間ファイブレーションによる帰着、Theorem 6.1の記述、§7の設定と最終行列式比較、§8の葉の次数・次数1忘却・有理流の接続、§§9–10の組立てを読んだ。RD・SL・LAの直接使用定理と上記三つの既存指数／停止定理の記述を照合した。
未確認：§4の分解・holonomyの全補助結果の原典照合、§6のscalar評価の全局所計算、§7のspread・半連続性・Frobenius束の全構成、Matsumura等の外部定理の証明。これらの接続を独立に検証済みとはしない。