CATALOGUE 033
Campanaのorbifold飯高予想と対数的劣加法性
Campana's orbifold Iitaka conjecture and logarithmic subadditivity
小平次元の劣加法性とvariation、対数的加法性、moduli lineの半豊富性を扱う5篇を案内する。公式順の一覧から主張と方法を選び、結果単位の接続から各記事の証明段階へ進める。
公式順の記事一覧
主結果の範囲を短くまとめています。正確な仮定と定式化は併記した原典の結果を参照してください。
ページ数は参考文献を含みます。狭い画面では表を横にスクロールできます。
| # | 論文・概説 | 主に何を主張するか | 議論の役割・概説 |
|---|---|---|---|
| 01 | Orbifold and logarithmic Iitaka subadditivity →図中の略称: Orbifold Iitaka2026-09-26 · 55 ページ原論文（GitHub） ↗ | 係数1を許すclass CのSNC対でorbifold劣加法性を主張し、対数的・標数0の通常劣加法性を導く。 Theorem 1.1; Corollaries 6.2–6.3 · pp. 2–3, 40–41 ↗ | 相対飯高底の切断比較、Hodge随伴正値性、捻りの相殺。後続稿へ渡す結果を区別する。 証明概説を読む → |
| 02 | Logarithmic Kodaira dimension and whole-fiber variation →図中の略称: Whole-fiber variation2026-09-26 · 75 ページ原論文（GitHub） ↗ | 底の対数的小平次元が非負なら、全幾何学的一般ファイバーのvariationを含む下界を主張する。smooth族の帰結は追加入力を使う。 Theorem 1.1; Corollaries 1.2–1.3 · pp. 2, 5 ↗ | 切断からparameter fieldを作り、root coverのconstancy、marking、有限被覆の降下で全ファイバーへ戻る。 証明概説を読む → |
| 03 | The reverse logarithmic Kodaira inequality and additivity →図中の略称: Reverse log additivity2026-09-26 · 51 ページ原論文（GitHub） ↗ | 開いた底上で全境界stratumまでsmoothな射影的対に逆向き不等式を示し、対数劣加法性の下界と合わせて加法性を得る。 Theorem 1.1; Corollary 1.2; Proposition 1.3 · pp. 2–3 ↗ | 指定点での零点を保持して底の切断を作る。正次元period商では数値的な捻りを除く。 証明概説を読む → |
| 04 | Projective Hodge lines and ordinary Iitaka subadditivity →図中の略称: Projective Hodge lines2026-09-27 · 40 ページ原論文（GitHub） ↗ | 標数0での通常劣加法性と、全最高Hodge部分がlineである変動の随伴正値性を主張する。 Theorems 1.1–1.2 · p. 2 ↗ | 境界・有限分岐でのrank loss、標準束公式、二つの底の比較と補間による別証明。 証明概説を読む → |
| 05 | B-semiampleness for compact log-smooth Kähler fibrations →図中の略称: Kähler B-semiampleness2026-09-10 · 38 ページ原論文（GitHub） ↗ | 相対対数標準束が底から引き戻されるコンパクトKähler族で、moduli b-lineの安定化と半豊富性を主張する。 Theorem 1.1(a)–(b) · p. 3 ↗ | lctとHodge延長を同定し、積分解の各因子の半豊富性から指定線束の大域生成を降ろす。 証明概説を読む → |
033内で結果を使う箇所
Orbifold IitakaはWhole-fiber variationの主証明に異なる二つの入力を渡す。Reverse log additivityはまず独立した上界を示し、下界を加えるのは加法性の帰結である。以下の論文名は記事の該当節、結果番号は固定版の原典へリンクする。
| 供給元の結果 | 利用先・使用箇所 | 使う内容 |
|---|---|---|
| Orbifold Iitaka · Corollary 6.2 · pp. 40–41 | Whole-fiber variation · Theorem 2.1; Lemmas 2.8–2.9 · pp. 6, 10–12 | 直接入力。通常の対数下界を与え、飯高ファイバー上で二つの非負な項を0にする。parameter fieldの構成に使う。 |
| Orbifold Iitaka · Theorem 3.1 · pp. 17–18 | Whole-fiber variation · Theorem 3.8 / Proposition 3.9; Proposition 3.12 · pp. 21, 23 | 直接入力。制限した変動のHodge lineに随伴正値性を与える。切断次元の上界と合わせて随伴比較の底を点にし、Mの有理自明性を得る。 |
| Orbifold Iitaka · Corollary 6.2 · pp. 40–41 | Reverse log additivity · Corollary 1.2; Theorem 7.8 / §7.6 · pp. 2, 50 | 帰結への入力。同じ対と非常に一般のファイバーに下界を与え、RAの上界と合わせて加法性にする。 |
最初の二つの入力はparameter fieldと制限Hodge lineの段階を支える。それだけで全ファイバーのconstancyが得られるわけではなく、Whole-fiber variationの全体図でconstancy・marking・降下までを追う。Reverse log additivityの上界の証明は、小平次元の全符号を処理してから下界へ進む。
Whole-fiber variation §9の追加の相対飯高構成には、さらに次の三つを使う。§7.4で完結する主証明とは別の経路である。
| 供給元の結果 | 利用先・使用箇所 | 使う内容 |
|---|---|---|
| Orbifold Iitaka · Proposition 2.7 · pp. 10, 16–17 | Whole-fiber variation · Proposition 9.1(i), (iii) · pp. 69–70 | 追加結果内の入力。元のXを参照空間に固定し、相対・絶対の切断と比を保持する。追加の通常相対飯高構成で相対bignessを得る。 |
| Orbifold Iitaka · Lemma 7.1 / Corollary 7.2 · pp. 43–46 | Whole-fiber variation · Proposition 9.1(iv), (v) · pp. 69–70 | 追加結果内の入力。被約境界と最小指数のroot coverから全最高部分をrank oneにし、正規化済みMを純粋整変動のlineとして実現する。 |
| Orbifold Iitaka · Lemma 7.4 · pp. 46–47 | Whole-fiber variation · Proposition 9.1: initial normalized boundary · pp. 69–70 | 追加結果内の入力。実際のsource成分での最小値と全付値のlctを区別してBを正規化する。切断比較とHodge lineを同じモデル上で使う。 |
切断の保存、被約境界での全最高line、同じモデル上の境界の正規化を分担する。記述と使用箇所の照合であり、全付値比較や§§8–9全体の証明確認ではない。
カタログ034との接続
両方向に異なる結果が渡る。Log Abundanceから戻る良いモデルはWhole-fiber variationのsmooth族の帰結で使い、variation主定理の入力にはしない。
| 供給元の結果 | 利用先・使用箇所 | 使う内容 |
|---|---|---|
| Orbifold Iitaka · Corollary 6.2 · pp. 40–41 | Log Abundance · Theorem 1.2 → Lemma 6.1 · pp. 6, 30–31 | 直接入力。境界0のAlbaneseファイブレーションに適用し、非消滅反例のirregularityを0にする。LAでの劣加法性の用途はここに限る。 |
| Log Abundance · Corollary 11.2 · pp. 73–74 | Whole-fiber variation · Corollary 1.3 proof · p. 5 | 帰結への入力。BDPPで擬有効となる各閉ファイバーにsemiampleなgood modelと有効例外差を与える。canonical性を確認してTajiを適用する。 |
| Orbifold Iitaka · Lemma 2.6 · p. 9 | Kähler abundance · §5.1; reused in Lemma 5.7 · pp. 91, 98 | 直接入力。相対飯高底へ移して一般ファイバーを小平次元0にし、低次元への帰納法を続ける。 |
| Orbifold Iitaka · Lemma 5.2 · p. 32 | Kähler abundance · §5.1 · p. 91 | 直接入力。水平境界を少し下げたbigなファイバーを射影的stable familyに比較し、代数次元0でbigな場合を排除する。 |
| Orbifold Iitaka · Proposition 2.7 / Theorem 3.1 · pp. 10–17, 17–18 | Kähler abundance · Lemma 5.2 · pp. 91–94 | 直接入力。切断空間と実際の有理Hodge lineを比較し、M=p*Pと底の随伴bignessを得る。余次元2へ落ちる項の符号は別途扱う。 |
| Orbifold Iitaka · Lemma 3.3 · pp. 18–19 | Kähler abundance · Lemma 5.7, interpolation · pp. 98–99 | 直接入力。bigな底の捻りから非零切断を作り、別の有効因子と補間して正の小平次元を強制する。 |
Log AbundanceのAlbanese帰着は境界0の場合で、原稿にはこの用途をHacon–Popa–Schnellで賄う別経路もある。Kähler稿への各行は特定の補助結果の利用であり、利用先自身の仮定を残す。Log Abundanceを経由する推移的な経路を、Schnellへの直接入力とはしない。
明示的な前提への対応。 Orbifold Iitaka, Theorem 1.1 · pp. 2–3はConditional Kähler models, Assumption 2.2 · pp. 7–8に対応する。任意次元class C、係数1、不変な底項の規約まで含めた対応であり、他のKähler MMP・豊富性の前提は残る。前提の記述へ進める。
別証明・結果の包含・背景
Projective Hodge lines, Theorem 1.1 · p. 2とOrbifold Iitaka, Corollary 6.3 · p. 41は、標数0での同じ通常劣加法性への別証明である。後者は対数的結論も含む。通常の主張はその境界0の特殊化という結果の包含であり、証明依存ではない。二つの底の補間と標数0への移行を比較できる。
Projective Hodge lines, Lemma 8.4 / Theorem 8.1 · pp. 28–29はWhole-fiber variation, Remark 3.17 · p. 25が挙げる別の随伴比較である。制限上でtensor replacementを作り直す必要があり、受け手の本文は直接比較を採用する。別に、smooth族で底とファイバーの小平次元が非負なら、加法性とvariation下界の比較でも底の上界を得る（比較段落 · p. 5）。負の底やすべてのspecial baseはこの経路で扱わない。
Orbifold IitakaとProjective Hodge linesの弱正値性・補間は類似手法だが、Hodge lineの仮定は異なる。Orbifold IitakaとKähler B-semiamplenessのroot line計算でも、orbifoldのinf-multiplicity境界とlct discriminantは別物である。Kähler B-semiampleness · p. 3はorbifold Iitaka theoremを使わないと明記するが、全論文間関係の調査済みを意味しない。全体図で安定化と積分解の経路を追える。
Reverse log additivityのconnection-formによるAx–Schanuel論証の出典は方法の背景として記録する。必要な半単純の場合を本文内で論じており、外部入力の説明で外部定理の直接適用と区別する。
原典・確認範囲
公式一覧／OpenAI Research Catalog · 033 · p. 5。公式分野はAlgebraic and complex geometryで、記事一覧は公式順を保つ。033原稿はcommit fd4aeeb2ee4fc729c18d98444fed42fd0529eeebに固定する。034の接続先は公開記事の参照版 adc7f1241b42e322a6451854ab7e4b4c146bf78a（Log Abundance：2026-09-24、Kähler abundance：2026-10-04、conditional Kähler models：2026-10-05）を保持する。
2026年10月11日の改訂では、5篇の固定PDFと不足していた証明対象の主張・結論を照合し、ハッシュを再確認して、既存の接続と記事を突き合わせた。12入力と1前提対応の原典記述・使用箇所の照合は10月8日の記録を継承し、外部証明の全検証を新たに主張しない。適用条件と確認限界を含む接続記録を保持している。
- Orbifold Iitaka：rank loss、安定族の全構成、付値・BFMT比較、coreの帰結。
- Whole-fiber variation：正則化・L²の全評価、Hanamura・SGA1の原典記述、§§8–9全体。
- Reverse log additivity：斉次置換、compact flag、境界・表現論の全計算。
- Projective Hodge lines：多変数延長、補助結果の全証明、§§8–9の別証明。
- Kähler B-semiampleness：parameter-space全構成、偏極変更、外部コンパクト化理論。
未記録の関係は未調査である。主張・使用箇所の照合、証明概略の説明、証明全体の独立検証を区別し、専門家査読・形式検証済みとはしない。