CATALOGUE 052
接束の分裂と普遍被覆
Tangent-bundle splittings and universal covers
指定された正則接束分裂$T_X=E_1\oplus E_2$について、可積分性を得る問題と、そこから大域的な積へ進む問題を分けて扱う2本を収録する。コンパクトKählerの場合は可積分性を仮定して普通普遍被覆を分解し、有理連結射影の場合は可積分性を証明した後に$X$自身を分解する。
1. 公式順の記事一覧
主結果の範囲を短くまとめています。正確な仮定と定式化は併記した原典の結果を参照してください。
ページ数は参考文献を含みます。狭い画面では表を横にスクロールできます。
| # | 論文・概説 | 主に何を主張するか | 議論の役割・概説 |
|---|---|---|---|
| 01 | Universal-cover splitting for compact Kähler manifolds →図中の略称: Kähler universal-cover splittingSeptember 23, 2026 · 33 ページ原論文（GitHub） ↗ | コンパクトKähler多様体の指定された二つの可積分接束因子から、因子方向に適合する普通普遍被覆の積を得る。非単線織射影・nefかつbigな標準束の場合も扱う。 Theorem 1.1 · p. 3; Corollaries 1.2–1.3 · pp. 3–4 ↗ | 正則boxを全域へ延長し、全polydiskを保つ格子と双方向の芽の解析接続で局所積を大域化する。 証明概説を読む → |
| 02 | Integrability of split tangent bundles on rationally connected manifolds →図中の略称: Integrability on rationally connected manifoldsSeptember 23, 2026 · 16 ページ原論文（GitHub） ↗ | 滑らかな有理連結射影多様体の指定接束二分裂は両因子とも可積分。Höringの定理と合わせX自身の適合的な積を得て、一般有理連結ファイバーの構造へ応用する。 Theorem 1.1 · p. 1; Corollary 1.2 · p. 2; Corollary 5.1 · pp. 12–13 ↗ | 有理曲線をtangent boxへ広げ、射影括弧の部分接続と二点評価でFrobenius障害を消す。 証明概説を読む → |
図の引用案内
- OpenAI26a — OpenAI, Universal-cover splitting for compact Kähler manifolds, September 23, 2026, 33ページ。可積分性を前提とする正則boxの大域延長と普通普遍被覆の積を扱う。
- OpenAI26b — OpenAI, Integrability of split tangent bundles on rationally connected manifolds, September 23, 2026, 16ページ。有理連結性から指定分裂の可積分性を示す。
- Hor07 — Andreas Höring, Uniruled varieties with split tangent bundle, arXiv:math/0505327v3（2017-11-09、PDF内部の日付は2018-11-02）。Theorem 1.4は有理連結射影の場合に可積分な因子から$X$自身の積を与える。外部証明そのものは検証範囲外。
[OpenAI26a, Theorem 1.1, p. 3]
2. 可積分性の位置と、積になる空間
左の経路は、二つの可積分分布から得た局所積を、全経路に沿う延長で普遍被覆の大域積へ変える。右の経路は、有理曲線のtangent boxと二点評価でLie括弧の障害を消し、Höringの積定理へ渡す。tangent boxは臨界点をもつ写像でもよく、可積分性を得る前の局所積座標とは同一視しない。
2本の間に実線の証明依存を置いていない。左の原稿は右の主定理を序論で背景として引用するが、主証明の入力には使わない。右のCorollary 1.2は左の主定理ではなくHöringを使う。この確認範囲は各主結果への主要な接続であり、未調査の参考文献・付録全体について依存の不存在を認定するものではない。
[OpenAI26a, Introduction, p. 3]
[OpenAI26b, Corollary 1.2, p. 2]
普遍被覆の記事の全体証明では、正則延長・面積評価・二種類の経路格子を追う。可積分性の記事では、形式boxの有理化と正則化、束の移送、二点評価の役割を追う。非単線織・nefかつbigの応用は前者、一般有理連結ファイバーと階数2の構造は後者にまとめる。後者のCorollary 5.1は、周囲の単線織Kähler多様体全体の可積分性や積を主張する結果ではない。
3. 原典・確認範囲
公式分野は Algebraic and complex geometry（公式順2番目、番号032–069）。overview.pdfのp.7では052を Tangent-bundle splittings and universal covers と表記し、CONTENTS.mdの見出しは Tangent splittings and product decompositions である。公式概要の表紙日付はOctober 6, 2026、参照commitは 1581d4cbdd69a0faf34b2089614fe2a814316a6a。2本ともSeptember 23, 2026版を読む。
OpenAI Research Catalog · Catalogue 052 · p. 7
記事の主要結果と各結論への証明概略、直接入力の記述・適用箇所を照合した。普遍被覆論文のKollár–Mori入力の定理本文・ページ、Appendices A–Dの別証明、外部定理の証明全体は未確認として残る。個々の記事末尾に読書案内と確認範囲を記す。概説・図・引用の整合確認は、原稿全体の正しさの認定や専門家査読とは別である。