代数幾何学 · 2026-11-05

On Fujita's Advanced Generalized Mukai Conjecture

藤田の強化一般化向井予想とFano多様体の分類

Duo Li

duo-li-1cskih2 fano-varieties birational-geometry algebraic-cycles-enumerative Birational geometry 双有理幾何 Fano varieties ファノ多様体 Algebraic cycles and enumerative geometry 代数的サイクル・数え上げ幾何

arXiv Abstract

We prove Fujita's advanced generalized Mukai conjecture for smooth complex Fano varieties. Our starting point is the existence of independent two-point Gromov--Witten correspondences. We show that there are finitely many unsplit families of rational curves whose chains connect $X$. We use these families to bound the anticanonical degrees throughout the successive minimal horizontal construction, so every family in that construction is unsplit. Fujita's contraction theorem and inductive classification then give the required list of varieties.

日本語要約

滑らかな複素Fano多様体について、藤田の強化一般化向井予想を証明する。独立な二点Gromov–Witten対応から有限個の分裂しない有理曲線族を取り出し、その鎖が多様体を連結することを示す。これらを用いて逐次的な極小水平曲線族の反標準次数を評価し、各族の非分裂性を得ることで、藤田の収縮定理と帰納的分類を適用する。

We prove Fujita's advanced generalized Mukai conjecture for smooth complex Fano varieties. Our starting point is the existence of independent two-point Gromov--Witten correspondences. We show that there are finitely many unsplit families of rational curves whose chains connect $X$. We use these families to bound the anticanonical degrees throughout the successive minimal horizontal construction, so every family in that construction is unsplit. Fujita's contraction theorem and inductive classification then give the required list of varieties.

Fano多様体のPicard数と擬指数の積が次元から高々1だけ小さい場合を分類する論文である。OpenAIによる独立な二点Gromov–Witten対応の結果を入力として、分裂しない有理曲線族を構成し、藤田の分類定理へつなげる。

arXiv
2611.05452v1
初回投稿日
2026-11-03
原論文のライセンス
arXiv.org perpetual, non-exclusive license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

Fano多様体を特徴づける基本的な数値には、独立な因子類の数であるPicard数と、有理曲線の最小反標準次数である擬指数がある。一般化向井予想はこの二つと次元の間の鋭い制約を予想し、最大値では射影空間の積が現れる。

本論文は、その最大値から差が1以内という範囲を分類する。結論は抽象的な有界性ではなく、射影空間、二次超曲面、特定の射影束とそれらの積からなる明示的なリストである。

著者はOpenAIの先行結果を入力として明示し、独立な二点Gromov–Witten対応を通常の有理曲線族へ移す。これにより藤田の既存の収縮・帰納的分類を適用するための非分裂性を保証する。したがって記事では、引用される一般化向井不等式と本論文の追加的な分類を区別する。

背景と問題設定

$X$は正次元$n$の滑らかで連結な複素射影Fano多様体、$\rho_X$はPicard数とする。擬指数は

$$ \iota_X=\min\lbrace -K_X\cdot C:C\subset X\text{ は既約有理曲線}\rbrace $$

である。線束の可除性で定めるFano指数とは異なる量である。IntroductionのTheorem 1.1はOpenAIの結果として

$$ \rho_X(\iota_X-1)\leq n, \qquad \rho_X(\iota_X-1)=n\Longleftrightarrow X\simeq(\mathbb P^{\iota_X-1})^{\rho_X} $$

を引用する。藤田の強化版は$\rho_X(\iota_X-1)\geq n-1$という一段広い領域を扱う。

主結果

差が0または1の場合の分類（Theorem 1.2）

上の数値条件のもとで、$X$は以下の明示的な多様体のいずれかと同型になる。まず$\iota_X\geq2$であり、

$$ \delta=n-\rho_X(\iota_X-1)\in\lbrace 0,1\rbrace $$

となる。$\delta=0$なら$X\simeq(\mathbb P^{\iota_X-1})^{\rho_X}$である。$\delta=1$かつ$\rho_X=1$なら$n=\iota_X\geq3$で$X\simeq Q^n$となる。

$\delta=1$かつ$\rho_X\geq2$の場合のリストは

$$ Q^{\iota_X}\times(\mathbb P^{\iota_X-1})^{\rho_X-1}\quad(\iota_X\geq3), $$

$$ B_{\iota_X}\times(\mathbb P^{\iota_X-1})^{\rho_X-2},\qquad I_{\iota_X}\times(\mathbb P^{\iota_X-1})^{\rho_X-2}, $$

$$ \mathbb P^{\iota_X}\times(\mathbb P^{\iota_X-1})^{\rho_X-1} $$

である。ここで$Q^m$は滑らかな$m$次元二次超曲面で、

$$ B_m=\mathbb P_{\mathbb P^m}(\mathcal O^{\oplus(m-1)}\oplus\mathcal O(1)), \qquad I_m=\mathbb P_{\mathbb P^m}(T_{\mathbb P^m}) $$

とする。射影化は一次元商をパラメータ化する規約であり、空の積は一点と読む。二次超曲面の条件は$Q^2\simeq\mathbb P^1\times\mathbb P^1$のPicard数が2であることを反映する。

証明の見取り図

先行研究から、独立な数値的曲線類$\gamma_1,\ldots,\gamma_{\rho_X}$と非零の二点対応の積が得られ、

$$ \sum_{j=1}^{\rho_X}(-K_X\cdot\gamma_j-1)\leq n $$

を満たす。藤田の数値条件により各反標準次数は$\iota_X+1<2\iota_X$以下となり、曲線の分裂を排除できる。対応の台から得た族の数値類が$N_1(X)_{\mathbb R}$を張ることにより、有理鎖商は一点となる。これらの族を逐次商構成の極小水平族と比較し、全段階の非分裂性を示して藤田の既知の定理を適用する。OpenAIの入力定理自体の証明は本記事では検証していない。

原論文との対応

  • Abstractページ: 公式arXivページ
  • Introduction: PDF — Section 1, pp. 1–2
  • Introduction中で言及された主要結果: Theorem 1.1（引用結果）, Theorem 1.2
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2611.05452v1
  • 確認したライセンス: arXiv.org perpetual, non-exclusive license
  • source_scope: Abstract and Introduction