CATALOGUE 057
Campanaのアーベル性予想と特殊多様体
Campana's abelianity conjecture and special varieties
カタログ057は、特殊多様体の基本群に関する3本を収録する。コンパクトKählerの場合の群全体の仮想可換性、開多様体の線形像の有限指数での二段冪零性、前者を入力とする4次元対への移行を扱う。各記事では結論の対象を区別し、原稿が使う証明経路と照合範囲を示す。
1. 全3篇の要点（公式順）
主結果の範囲を短くまとめています。正確な仮定と定式化は併記した原典の結果を参照してください。
ページ数は参考文献を含みます。狭い画面では表を横にスクロールできます。
| # | 論文・概説 | 主に何を主張するか | 議論の役割・概説 |
|---|---|---|---|
| 01 | The abelianity conjecture for special compact Kähler manifolds →図中の略称: Special Kähler abelianity2026-09-23 · 50 ページ原論文（GitHub） ↗ | 特殊な滑らかなコンパクトKähler多様体の通常基本群全体が仮想可換。小平次元0、被覆の凸性・一意化などの帰結。 Theorem 1.1; Corollaries 1.2–1.5 · pp. 2–5 ↗ | Albaneseファイバー群像の最小商を選び、線形像とHilbert係数の二分岐から正値性を作る。慣性を保持した降下で特殊性に矛盾する。第3論文の入力。 証明概説を読む → |
| 02 | Two-step monodromy of special quasi-projective varieties →図中の略称: Two-step monodromy2026-09-24 · 19 ページ原論文（GitHub） ↗ | 特殊な滑らかな準射影多様体の線形表現像は有限指数で冪零度高々2。完全性の下でrational unipotent completionも有限次元・冪零度高々2。特殊な開曲面で非特殊な一般ファイバーを構成。 Theorems 1.1–1.3; Corollary 3.1 · pp. 1–3, 8 ↗ | canonical unipotent Lie商でファイバー像を交換子に同定し、混合Hodge構造の二つの重み制約で三重交換子を消す。曲面例はファイバー自体と像の違いを示す。 証明概説を読む → |
| 03 | A conditional abelianity theorem for special fourfold pairs with a half-weight divisor →図中の略称: Half-weight fourfold abelianity2026-10-05 · 14 ページ原論文（GitHub） ↗ | 滑らかな射影4次元多様体と非空の滑らかな連結被約因子の特殊な2乗根オービフォールドについて、コンパクトKählerアーベル性を仮定して群全体の仮想可換性。 Theorem 1.3 · p. 2 ↗ | 種数1曲線4本の積を一般ファイバーに持つ射影8次元多様体を構成。特殊性と基本群の全射を得て第1論文を適用する。 証明概説を読む → |
2. 群全体の結果をどこで使うか
図の引用キーは次の固定原稿を指す。各論文の外部入力は個別記事の文献案内にまとめた。
- OpenAI26a OpenAI — The abelianity conjecture for special compact Kähler manifolds. 2026-09-23; 特殊コンパクトKähler多様体の群全体の入力.
- OpenAI26b OpenAI — Two-step monodromy of special quasi-projective varieties. 2026-09-24; 線形像・完備化と非特殊ファイバーの比較.
- OpenAI26c OpenAI — A conditional abelianity theorem for special fourfold pairs with a half-weight divisor. 2026-10-05; 8次元構成と条件付き移行.
第3論文の構成は、根空間の基本群を滑らかな射影8次元多様体$Y$の基本群の商として実現する。第1論文を$Y$へ適用するには、滑らかさ・射影性に加えて$Y$の特殊性が必要であり、第3論文のPropositions 3.1・4.1がこれを供給する。仮想可換性は群の商へ移るので、Theorem 1.3の条件付き結論を得る。第3記事の全体図から各条件の証明へ進める。
[OpenAI26c, Proposition 3.1, pp. 5–6] [OpenAI26c, Proposition 4.1, p. 6] [OpenAI26c, Proof of Theorem 1.3, p. 9]
第2論文は、通常のquasi-Albanese完全列と混合Hodge構造から、線形像およびrational unipotent completionを制御する。第1論文は導入の背景として引用されるが、この証明の直接入力ではない。また、一般ファイバーが特殊でない曲面でも、その基本群の全空間への像は自明となる。第2記事の重みの議論と曲面の計算は、この二つの対象を分ける理由を示す。
[OpenAI26b, Theorems 1.1–1.2, pp. 1–2] [OpenAI26b, Theorem 1.3, p. 3]
| 供給・参照元 → 利用先 | 関係 | 結果・適用条件・確認箇所 |
|---|---|---|
| Special Kähler abelianity → Half-weight fourfold abelianity | 明示的前提・直接入力 | 任意次元の特殊コンパクトKähler基本群の仮想可換性を、構成された特殊射影8次元多様体に適用。第3論文Assumption 1.2、最終証明p.9。 |
| Special Kähler abelianity → Two-step monodromy | 背景 | 第2論文§1 p.1のコンパクトの場合との比較。Theorems 1.1–1.3の証明依存とはしない。 |
[OpenAI26a, Theorem 1.1, p. 2] [OpenAI26c, Theorem 1.3; Assumption 1.2, p. 2] [OpenAI26b, §1, p. 1]
3. 原典と確認範囲
公式概要の名称は Campana's abelianity conjecture and special varieties、分野は Algebraic and complex geometry。CONTENTSでは Fundamental groups of special complex varieties and root orbifolds と表記される。収録順と原稿は公式リポジトリの固定commit fd4aeeb2ee4fc729c18d98444fed42fd0529eeebに揃えた。3本は順に2026年9月23日版50頁、9月24日版19頁、10月5日版14頁である。
OpenAI Research Catalog · Catalog 057 · p. 7
記事の結論は各原稿の主張を紹介する。編集側では主張の仮定と全結論、選択した主要証明、直接外部入力の記述・適用を照合し、別担当による点検を行った。第1論文の全解析評価・降下の全比較、第2論文の完成群環構成全体、第3論文Appendix Aの別構成、および外部定理の証明全体は独立検証の対象外である。詳しい未確認範囲は各記事末尾と出典記録に記す。
第2論文による先行文献のファイバー特殊性への批判は、当該記事に記したCDHPのarXiv v2に限定する。同文献の線形像の主定理への反証と扱わない。論文間で未確認の一般化・包含関係は図の矢印にしていない。