CATALOGUE 068

滑らかな半正値性の下での反標準束の非消滅

Anticanonical nonvanishing under smooth semipositivity

公式順の7稿、計270ページを扱う。共通する問いは反標準束の正冪の非消滅だが、各稿は不変指数、klt対上の有界計量、固定指標の移送、計量降下、境界補正、消滅次数の厳密達成という異なる結果を与える。smooth semipositivityは滑らかな半正値Hermitian計量の存在を意味し、nef性だけを仮定する結論への読み替えはしない。

公式カタログPDFの068項目：OpenAI Research Catalog · Catalogue 068 · p. 8。原稿のPDFへのリンクは各行にある。カタログ番号068と、以下の内部掲載順01–07は別である。

公式順の記事一覧

主結果の範囲を短くまとめています。正確な仮定と定式化は併記した原典の結果を参照してください。

ページ数は参考文献を含みます。狭い画面では表を横にスクロールできます。

カタログ 068 · 2026-10-12 確認の固定参照版
#	論文・概説	主に何を主張するか	議論の役割・概説
01	Anticanonical nonvanishing from smooth semipositivity →図中の略称: Smooth semipositivitySeptember 26, 2026 · 27 ページ原論文（GitHub） ↗	滑らかな連結複素射影Xで−K_Xがsmoothly semipositiveなら、あるm>0でH⁰(X,−mK_X)≠0。無正次数形式の多様体では、有限随伴体積と別の有界半正値線束から境界にのみ極を許す非消滅も示す。 Theorems 1.1–1.2 · pp. 2–3 ↗	二計量の移送と次元帰納法で通常の非消滅を証明し、トーラス不変直像を通して自然不変切断を作る。有限被覆とnormは他稿にも幾何入力を供給する。証明概説を読む →
02	Invariant anticanonical indices and conversion of twisted differentials →図中の略称: Invariant anticanonical indicesSeptember 26, 2026 · 18 ページ原論文（GitHub） ↗	自然トーラス作用の不変反標準Euler指数は可除指数上で多項式となり実際の零次値を保つ。別に、smoothly semipositiveな−K_Sの無限twistsから固定擬有効誤差を除き、正冪の通常切断を得る。 Theorems 1.1–1.2 · pp. 1–2; Corollary 5.2 · pp. 16–17 ↗	局所化・削除面の相殺と、有界底計量・零次も含む消滅という独立な二経路を接続する。不変形式を有限被覆へ先に降下し、その後で通常のconversionを使う。証明概説を読む →
03	Bounded anticanonical metrics on klt pairs and torus quotients →図中の略称: Bounded anticanonical metricsSeptember 26, 2026 · 20 ページ原論文（GitHub） ↗	有効有理境界を持つ射影的Q-factorial klt対で、nefな反対数標準因子の解消上に局所有界半正計量がありχ(O)≠0なら正のCartier倍数が非消滅。smooth RCでは任意トーラスの自然不変切断を得る。 Theorems 1.1–1.2 · p. 2; Corollary 4.1 · p. 18 ↗	極大底と縦係数の最小値から有界計量を作る。安定トーラス商で自然線形化を保ち、商の切断を全域へ延長する。証明概説を読む →
04	Cohomological transfer and equivariant anticanonical sections →図中の略称: Cohomological transferSeptember 26, 2026 · 43 ページ原論文（GitHub） ↗	smooth semipositiveな反標準束の任意線形化Pについて、-Mが擬有効で非有界次数のM+iPに不変切断があれば正のmPに不変切断がある。自然指数とmonodromyから一般のsmooth非消滅を導く。 Theorem 1.1; Corollary 1.2 · p. 2; Theorem 7.2 · pp. 17–19 ↗	共通の不変切断比の体、連続最大値計量、零次数の特異積分を使い、非自明でも固定された乗数イデアルで誤差を除く。独立なharmonic経路ではkernel条件から高次直像消滅を得る。証明概説を読む →
05	Metric descent and rank-preserving contractions →図中の略称: Metric descentSeptember 26, 2026 · 76 ページ原論文（GitHub） ↗	全零次随伴rank 1から非加重可積分な底の反標準補正計量を得る。一般不変切断と全可除随伴rankを保つ縮約、許容極付き非消滅、自然不変切断も示す。 Theorems 2.1, 4.1, 6.1, 7.1 · pp. 7, 16, 34, 38 ↗	Toroidal体積と二計量移送を区別し、補正の例外台・縮約後の切断比・境界上の極を制御する。証明概説を読む →
06	Integrable metrics and effectivity with controlled boundary →図中の略称: Controlled boundarySeptember 26, 2026 · 45 ページ原論文（GitHub） ↗	−K_Y+Cのstrictな特異計量でs_Cが可積分なら、任意の擬有効MはC上の補正後に有理線形有効。smooth半正値の−K_Xでは固定擬有効誤差を非有界な切断列から除去する。 Theorems 1.1, 4.3, 5.1, 9.2 · pp. 2, 9–11, 32–35 ↗	重み付き近似で補正の台を制御し、Iitaka底から切断を戻す。非加重計量は実際の多重次数付き因子環の有限生成を別途供給する。証明概説を読む →
07	Exact orders and invariant anticanonical linear systems →図中の略称: Exact ordersSeptember 26, 2026 · 41 ページ原論文（GitHub） ↗	L=−K_Xはsmooth半正値、Mは任意の固定線束。曲率null面内のN_j∼m_jL+Mと中心付き離散valuation（零も可）のv(N_j)/m_j→0から、N≥0、N∼_Q L、v(N)=0を得る。高次Hⁱ(O_X)消滅の下で自然不変切断も得る。 q=0での不変非消滅・固定誤差除去と、RCの場合のcontrolled因子を含む有限有理多面錐も扱う。 Theorems 1.1–1.2, 11.1; Propositions 10.1, 12.1 · pp. 3–4, 25, 27, 31 ↗	Nullな極の体、toroidal体積、有限生成環を合流させ、境界rayの実際の生成元で漸近次数を厳密達成へ変える。証明概説を読む →

文献と引用の読み方

本文・図では以下の著者由来キーを使う。いずれも2026年9月26日稿を公式リポジトリの固定commitで参照する。GitHubのPDF閲覧リンクではページへの自動移動を前提としない。各記事ではその稿の内部結果に接頭辞を付けず、外部入力のみにキーを付ける。

不変指数から分岐する非消滅の経路

自然指数から二つの利用先への分岐

図の下線付き引用から原典へ移れます。図をタップすると拡大できます。図を拡大 ↗TeXソース ↓

02の指数定理は、自然反標準作用について、ある整数のすべての正の倍数で不変Euler指数が多項式となり、その定数項が実際の零次指数であることを主張する。指数定理自体はprojectivityや半正値性を仮定しない。04・06で切断を取り出す際に、非零の零次指数、smooth semipositivity、Hard Lefschetz等の追加条件を使う。[OpenAI26b, Theorem 1.1, p. 1]

04は任意に選んだ線形化に対する移送定理を先に証明し、自然指数から得たコホモロジーを微分形式・determinantへ送り、その帰結で自然不変切断を得る。06は不変な比の体を保った最大線形系に同じ指数入力を使う。02の通常の誤差除去だけから不変切断が自動的に得られる、と読み替えることはできない。[OpenAI26d, Proposition 4.1; Corollary 4.3, pp. 10–12]、[OpenAI26f, Proposition 9.1; Theorem 9.2, pp. 32–35]

計量と有限生成が合流する厳密達成

非加重計量と有限生成から厳密な零次数へ

図の下線付き引用から原典へ移れます。図をタップすると拡大できます。図を拡大 ↗TeXソース ↓

07の主定理は、固定線束$M$を伴う有効因子列$N_j\sim m_jL+M$が曲率null面にあり、中心付き離散valuation（零valuationを含む）の$v(N_j)/m_j$が零へ近づくとき、$N\ge0$, $N\sim_{\mathbb Q}L$, $v(N)=0$を得る。$M$はこの定理では任意であり、$-M$の擬有効性は別の形式弧の系の条件である。[OpenAI26g, Theorems 1.1–1.2, pp. 3–4]

まず07内で構成した全直像の零次rank 1と水平strict patchを05のtoroidal体積定理へ渡す。得られるのは$-K_Y+A_0$上の非加重可積分計量と例外的な補正である。06の有限生成定理を二つの有理方向へ共通の補正・分母で適用し、実際の二重次数付き因子環の境界ray生成元を取る。最後は補正をpushdownしてからvaluationの中心で評価する。補正自体のvaluationが零であるとは仮定しない。[OpenAI26e, Theorem 2.1, p. 7]、[OpenAI26f, Theorem 4.3, pp. 9–10]、[OpenAI26g, §§3.2–4, pp. 10–12]

05→06の計量降下は06 §5.3の別経路でも使われるが、06の重み付き支持制御定理から始まる主経路とは区別する。重み付き可積分性、非加重可積分性、通常開集合上のstrict positivity、大域Kähler下界を同一条件として扱わない。[OpenAI26f, §5.3, pp. 13–15]、[OpenAI26f, Theorem 1.1, p. 2]

結果単位の接続と独立した経路

供給元の結果	利用先・使用箇所	種類と役割
Anticanonical nonvanishing from smooth semipositivity · [OpenAI26a, Theorem 2.1; Lemma 2.2, pp. 5, 8]	Invariant anticanonical indices and conversion of twisted differentials · [OpenAI26b, Proposition 5.1; Corollary 5.2, pp. 16–17]	帰結での利用。不変形式を有限被覆へ降下し、通常conversion後にnormを取る。01の非消滅主定理は使わない。
Anticanonical nonvanishing from smooth semipositivity · [OpenAI26a, Theorem 2.1; Lemma 2.2, pp. 5, 8]	Bounded anticanonical metrics on klt pairs and torus quotients · [OpenAI26c, Corollary 4.1, p. 18]	帰結での利用。残存compact torusと不変canonical frameでTh1.2の切断を降下し、finite étale normを取る。
Anticanonical nonvanishing from smooth semipositivity · [OpenAI26a, Theorem 2.1; Lemma 2.2, pp. 5, 8]	Cohomological transfer and equivariant anticanonical sections · [OpenAI26d, §14.1, p. 39]	帰結での利用。Cor4.3の自然不変切断を一般Xへ戻す。全被覆の積分解を仮定しない。
Invariant anticanonical indices and conversion of twisted differentials · [OpenAI26b, Theorem 1.1, p. 1]	Cohomological transfer and equivariant anticanonical sections · [OpenAI26d, Proposition 4.1; Corollary 4.3, pp. 10–12]	帰結での利用。実際の零次指数から非有界コホモロジーを得て、Th1.1へ送る。
Invariant anticanonical indices and conversion of twisted differentials · [OpenAI26b, Theorem 1.1, p. 1]	Integrable metrics and effectivity with controlled boundary · [OpenAI26f, Proposition 9.1; Theorem 9.2, pp. 32–35]	直接入力。自然線形化と(m+1)L shiftを保って不変形式を作る。
Metric descent and rank-preserving contractions · [OpenAI26e, Theorem 2.1, p. 7]	Integrable metrics and effectivity with controlled boundary · [OpenAI26f, §5.3, pp. 13–15]	別経路。§5.3の非加重toroidal計量。§5.2の重み付き主経路と区別する。
Metric descent and rank-preserving contractions · [OpenAI26e, Theorem 2.1, p. 7]	Exact orders and invariant anticanonical linear systems · [OpenAI26g, §§3.2–4, pp. 10–12]	直接入力。全零次rankと水平strict patchから計量と例外補正を供給する。
Integrable metrics and effectivity with controlled boundary · [OpenAI26f, Theorem 4.3, pp. 9–10]	Exact orders and invariant anticanonical linear systems · [OpenAI26g, §§3.2–4, pp. 10–12]	直接入力。共通ε・k0で実際の二方向因子環を有限生成にする。
Integrable metrics and effectivity with controlled boundary · [OpenAI26f, Theorem 2.2, pp. 6–7]	Exact orders and invariant anticanonical linear systems · [OpenAI26g, Proposition 12.1; §12.2, pp. 31, 34]	追加結果への直接入力。加重近似でklt境界と消える補正を作り、controlled因子の有限多面錐を得る。Th1.1の有限生成入力とは別。

04は、底からの曲率下界と消えるregularization errorから、高次の底コホモロジーを消す独立の調和的機構も示す。[OpenAI26d, Theorem 7.2, pp. 17–19] 07の追加出力は、高次$H^i(\mathcal O)$全消滅より弱い$q=0$, $\chi\ne0$とfaithful作用・同変very ample束の下での不変非消滅、$q=0$での不変固定誤差除去、RCでのcontrolled因子の有限多面錐である。前二者と錐の結論は各記事で仮定を分けて示す。[OpenAI26g, Proposition 10.1; Theorem 11.1, pp. 25, 27]、[OpenAI26g, Proposition 12.1; §12.2, pp. 31, 34]

01の非消滅主定理そのものを、被覆の構造定理・normと取り違えない。01は有限体積と二計量の経路、03はklt対上の有界計量とEuler多項式の経路を与える。03の主定理を04の移送定理の入力とする関係は、今回読んだ核心箇所にはない。共通のsmoothな非消滅結論を持つという比較は、証明依存の矢印ではない。[OpenAI26a, Theorems 1.1–1.2, pp. 2–3]、[OpenAI26c, Theorems 1.1–1.2, p. 2]、[OpenAI26d, Theorem 1.1; Corollary 1.2, p. 2]

図は確認済みの二つの分岐・合流を選んで示す。01からの構造入力と別経路は表へ残し、七稿全体を単一の依存鎖や排他的な分類にはしない。未調査の接続は図に描かない。

原典と確認範囲

公式overview.pdfのp.8は本見出しを用い、CONTENTS.mdは同じ068を Anticanonical nonvanishing in every dimension と記す。公式分野は Algebraic and complex geometry。固定版、SHA-256、原稿のページ数、重複照合は台帳に記録した。

各記事は主張の仮定・結論と、選んだ核心証明の本文、直接使う外部結果の記述・使用箇所を照合した読解案内である。著者の定理を紹介することと、編集側の照合結果は区別する。別担当による点検も全証明の独立再検証や専門家査読ではない。外部文献の証明は再帰的に検証していない。

01–07の読解範囲・未確認入力は各記事末尾にある。とくに04のTh7.2以外の補助・別経路§§5–13、05の後半§§8–12、06の別経路§§6–8/10–12、07の今回追加したProp10.1・Th11.1・Prop12.1以外の補助・別経路§§8–14は全体の詳細点検を完了した範囲ではない。07のcompact-monodromy descentへの01の接続は今回の確認済み表に採用していない。

AI生成の解説なので、重要な主張・適用条件・証明はリンク先の原典で確認されたい。