CATALOGUE 063 · PAPER 01 / 1 概説
The generalized Mukai conjecture
Point descendant の下界、量子因子の独立性、最小有理曲線族による等号分類
この原稿は、滑らかな複素 Fano 多様体の Picard 数と pseudoindex の不等式を、量子乗法の次数構造から導くと主張する。証明の核心は、独立な曲線次数に属する対応の非零積を作ることである。等号の場合に限って、その対応を最小次数の実際の有理曲線族へ移し、既存の積の特徴付けを適用する。
GitHubで原稿を読む1. 主要結果
Theorem 1.1 — 一般化向井不等式と等号の場合
$X$ を正次元 $n$ の滑らかな連結な複素射影 Fano 多様体とし、$\rho_X$ を Picard 数、$\iota_X$ を pseudoindex とする。原稿の主張は
であり、等号は
のとき、かつそのときに限り成立する。以下では $r=\rho_X$、$\iota=\iota_X$ と置く。$\iota=1$ なら左辺は $0<n$ なので、証明の対象は $\iota\ge2$ である。
図の矢印に付した引用
略号のない定理・補題・節・式番号は本原稿 Generalized Mukai を指します。外部入力には次の略号を使います。
- KM Kontsevich–Manin — Correlator relations：correlatorの関係式と漸化式。1998年公刊版。
- PA Rahul Pandharipande — Rational curves on hypersurfaces：divisor・string・topological recursionの関係式。1998年公刊版（Astérisque 252）。
- MM Andrei Mustaţă and Magdalena Anca Mustaţă — Intermediate moduli：安定写像の中間モジュライによる縮約の別構成。arXiv v4（2006年7月17日）。
- MMC Anca M. Mustaţă and Andrei Mustaţă — Chow ring：中間モジュライのスタックとcotangent class。arXiv v5（2006年11月30日）。
- TZ Zhiyu Tian and Hong R. Zong — One-cycles：有理曲線による1-cycleの生成とcomb smoothing。arXiv v5（2013年7月22日）。
- CA Frédéric Campana — Fano rational connectedness：Fano多様体の有理連結性。1992年公刊版。
- DE Olivier Debarre — Rational curves：separably rationally connectedへの移行。2011年8月29日版の講義ノート。
- BCDD Laurent Bonavero, Cinzia Casagrande, Olivier Debarre and Stéphane Druel — Mukai chain bound：順序付きchain locusの次元下界。2003年公刊版。
- ERR Bonavero–Casagrande–Debarre–Druel — Mukai chain bound：chain boundの適用条件の訂正。日付記載なしの著者公開訂正1ページ（2026年10月9日取得）。
- OC Gianluca Occhetta — Product characterization：射影空間の積の特徴付け。2006年公刊版。
各引用に結果番号とページを付します。誌面番号とPDF内の位置が異なる場合は両方を示します。GitHubの閲覧リンクではページ位置への自動移動を前提としません。
2. Theorem 1.1 — 主定理の証明概略
証明対象：Theorem 1.1 · p. 2; §1 · pp. 2–3
証明の道筋。 $X,n,r,\iota$ はTheorem 1.1の記号とする。$\iota=1$ では $r(\iota-1)=0<n$ なので不等式は自明で、等号は生じない。以下は $\iota\ge2$ とする。Proposition 3.1 の下界から Proposition 4.1 の独立性へ進み、Proposition 5.3 で不等式と等号分類の入力を同時に得る。等号を仮定すると Proposition 6.4 が積の構造を与える。
1. 下界と独立性から不等式を得る
Proposition 3.1だけで独立性が従うわけではない。Lemma 2.1の漸化式とLemma 3.3のfree次数の稠密性を合わせ、すべての同時固有値組が代数的従属だとすると得られる超指数的上界を、descendantの下界と矛盾させる。これがProposition 4.1である。詳しい議論は下界と独立性の節に分ける。
Proposition 3.1 · p. 6 · Lemma 2.1; (4)–(5) · p. 5 · Lemma 3.3 · pp. 10–11; Proposition 4.1 (proof) · p. 12 · Proposition 4.1; (8)–(11) · pp. 11–13
独立な固有値組にProposition 5.3を適用すると、線形独立な曲線次数 $\gamma_1,\ldots,\gamma_r$ と非零積 $S_{\gamma_1}\cdots S_{\gamma_r}$ が得られる。$d_\gamma=-K_X\cdot\gamma$ と書けば、
最初の評価は正の安定写像次数に対する $d_{\gamma_j}\ge\iota$、二番目は非零作用素積の次数減少量から従う。これで主定理の不等式が得られる。交代トレースの節で、非零積を取り出す部分を説明する。
2. 等号なら射影空間の積となる
$r(\iota-1)=n$ なら上の評価はすべて等号となり、各 $d_{\gamma_j}=\iota$ である。Proposition 5.3で得た独立な非零積は、Proposition 6.4が要求する入力でもある。Lemma 6.3で実際のproperな有理曲線族へ移り、訂正後のchain locusの次元評価と巡回操作で各族をcoveringにする。積の特徴付けを適用して
を得る。使用する外部定理の仮定と適用は等号分類の節で説明する。
Lemma 6.3 · pp. 16–17 · Proposition 6.4 · p. 17 · Mukai chain bound [BCDD] · Theorem 5.2 · 誌面 p. 623 / PDF p. 23 · Mukai chain bound [ERR] · Erratum · p. 1 · Product characterization [OC] · Theorem 1.1 · 誌面 p. 271 / PDF p. 2
3. この積では等号が成立する
逆に $X=(\mathbb P^{\iota-1})^r$、$\iota\ge2$ とする。次元は $r(\iota-1)$、Picard数は $r$。$H_j$ を各因子の超平面類の引き戻しとすると $-K_X=\iota\sum_jH_j$ である。各因子の直線で反標準次数は $\iota$、任意の既約有理曲線では各 $H_j$ との交点数は非負整数で少なくとも一つが正なので、pseudoindexは $\iota$ となる。したがって等号が成立し、Theorem 1.1の両方向が揃う。
Theorem 6.2 · p. 16; Proposition 6.4; converse · p. 17
3. Proposition 3.1 の証明 — point descendant の下界
Proposition 3.1 — Point descendant の下界
$X$ は上記の滑らかな複素射影Fano多様体、$\iota\ge2$ とする。正整数 $a$ と埋込み $X\hookrightarrow\mathbb P^N$ を固定し、$\mathcal O_{\mathbb P^N}(1)|_X\simeq\mathcal O_X(-aK_X)$ とする。数値的曲線次数 $\beta$ が非定数free写像 $\mathbb P^1\to X$ で表されると仮定する。$d=-K_X\cdot\beta$、$b=ad$ と置くと、原稿の主張は
以下では $d_\beta=-K_X\cdot\beta$ と書く。この定量的下界を、次節で漸化式から得る上界と比較する。
1. 非障害部分を保つ縮約
$\beta$ を free な次数、$d=d_\beta$、$b=ad$、$h=d-2$ とする。非常に一般の点 $x$ を選び、$F=\mathrm{ev}^{-1}(x)\subset\overline M_{0,1}(X,\beta)$ と置く。既約な源を持つ開部分 $U$ は空でなく滑らかで、$[F]^{\mathrm{vir}}|_U=[U]$ となる。原稿は印を持つ成分を残し、他の木を付着点の共通零点に置き換える。§3.2の $L^+=L(\sum_e e\Delta_e)$ は印の成分へ全次数を移し、印の近傍を変えない。正規化した係数を重み付き射影スタック $W$ に送る射 $\Phi:F\to W$ が得られ、$\psi=\Phi^*\xi$、$\xi=c_1(\mathcal O_W(1))$、$U$ 上の generic stack degree は1となる。
§§3.1–3.3 · pp. 6–8 · Intermediate moduli [MM] · Definition 1.2; Proposition 1.3 · pp. 5–6; Lemma 3.3 (proof) · pp. 17–18 · Chow ring [MMC] · Proposition 1.7 · p. 5
2. 消えるのは境界の押し出し
印の成分の反標準次数を $d_0$、そこに付く木の数を $u$ とする。縮約後に残るデータの次元は高々 $d_0+u-2$。各木の次数は少なくとも $\iota\ge2$ なので、$d-d_0\ge2u$ から
を得る。したがって Chow localization の境界項は押し出しで消え、$\Phi_*[F]^{\mathrm{vir}}$ は $\Phi(U)$ の成分の閉包からなる空でない有効 $h$-cycle になる。$[F]^{\mathrm{vir}}$ 自体の有効性や、すべての tail の非障害性を仮定する議論ではない。
3. スタックの次数を数値的下界にする
$W$ の重みはすべて $b$ 以下である。Lemma 3.2 は、$h$ 次元の整部分スタック $Z\subset W$ に対して $\int_Z\xi^h\ge b^{-(h+1)}$ を与える。重み付き斉次イデアルの単項式退化を使い、座標部分スタックの次数 $1/(w_0\cdots w_h)$ を比較する。射影公式と合わせると、$\int_{[F]^{\mathrm{vir}}}\psi^h=\int_{\Phi_*[F]^{\mathrm{vir}}}\xi^h$ が所要の下界になる。スタックの安定化群に由来する分母を落とさないことが、この定量化に必要である。
Lemma 3.2; Proposition 3.1 (proof) · pp. 9–10
4. Proposition 4.1 の証明 — 固有値の独立性
証明対象：Proposition 4.1; (8)–(11) · pp. 11–13
$H_k=H^{2k}(X,\mathbb C)$、$H=\bigoplus_{k=0}^n H_k$ と置く。数値的因子基底 $D_1,\ldots,D_r$ に対して $\beta_j=D_j\cdot\beta$ とし、二点不変量が定める対応を $(S_\beta a,b)=\langle a,b\rangle_\beta$ と書く。可換な量子乗法行列は
次数制約により $d_\beta>n+1$ の項は消え、これは有限 Laurent 多項式行列になる。以下の議論は量子コホモロジーの半単純性を仮定しない。
Proposition 4.1 — 代数的に独立な同時固有値組
上記の $X$ と量子因子作用素 $A_1(q),\ldots,A_r(q)$ に対し、$L=\overline{\mathbb C(q_1,\ldots,q_r)}$ 上で同時上三角化を取る。同じ対角位置の成分の組をjoint diagonal tupleと呼ぶ。原稿の主張は、少なくとも一つの組 $(\lambda_1,\ldots,\lambda_r)$ の座標が $\mathbb C$ 上代数的に独立である、というものである。量子コホモロジーの半単純性は仮定しない。
1. 不安定な次数零項を分けた漸化式
$v_0=\mathrm{pt}$ とし、正次数では $(v_\beta,b)=\sum_{\ell\ge0}\langle\tau_\ell(\mathrm{pt}),b\rangle_\beta$ と定める。Lemma 2.1 は
を与える。divisor equation の補正は $D_j\cup\mathrm{pt}=0$ で消える。topological recursion の次数零の三点側は古典的 cup 積、primary 項は $A_{j,\beta}v_0$ を与える。$v_0$ を不安定な二点次数零不変量と同一視してはいけない。第二式には string equation を使う。引用先は非凸な滑らかな射影多様体にも、この式が仮想類を用いて成立すると明記している。
Lemma 2.1; (4)–(5) · p. 5 · Correlator relations [KM] · (4a) · 誌面 p. 388 / PDF p. 4; Lemma 1.4, (12) · 誌面 p. 391 / PDF p. 7 · Rational curves on hypersurfaces [PA] · §1.2 · 誌面 p. 311 / PDF p. 6
2. 有限個のシフトと階乗正規化
$w_{\beta,k}=(d_\beta+k)!v_{\beta,k}$ と置くと、$(A_j(E)w)_{\beta,k}=\beta_jw_{\beta,k}/(d_\beta+k)$ となる。$-K_X$ の係数で線形結合し、次数を上げる古典的項を有限の冪零級数で反転することで、$\|w_\beta\|\le B^{d_\beta+1}$ を得る。ここで正のシフトは有限個で、反標準次数を下げる。次の多項式関係から生じるシフトには、この単調性を要求しない。
3. 関係式を避ける free な方向
$L=\overline{\mathbb C(q_1,\ldots,q_r)}$ 上ですべての joint diagonal tuple が代数的従属だと仮定する。有限個の関係式を掛け、同時三角化と斉次性 (3) を使うと、非零斉次多項式 $Q$ で $Q(A_1,\ldots,A_r)=0$ を得る。Lemma 3.3 により $Q(\eta)\ne0$ となる free な次数 $\eta$ を選べる。この補題は、Fano の有理連結性、Tian–Zong による有理曲線の $\mathrm{CH}_1$ の生成、comb smoothing を用いる。handle を $\mathbb P^1$、twist の次数を $-1$ とすると、平滑化後の $H^1(f^*T_X(-1))=0$ から free 性を得る。有理曲線次数を free 次数の差で表し、加法閉性によって Zariski 稠密性へ進む。
Lemma 3.3 · pp. 10–11; Proposition 4.1 (proof) · p. 12 · One-cycles [TZ] · Theorem 1.3 · p. 2; Proposition 2.4 · p. 4 · Fano rational connectedness [CA] · Corollary 3.2 · 誌面 p. 543 / PDF p. 6 · Rational curves [DE] · Definition 2.20 · 誌面 p. 29 / PDF p. 30; Theorem 2.49 · 誌面 p. 43 / PDF p. 44
4. 線形回数の反復で矛盾する減衰率
$p=\beta/d_\beta$ を固定した多項式差分から、$\eta/d_\eta$ の近傍で $\|w_\beta\|\le(C/d_\beta)\max_{\delta\in U}\|w_{\beta-\delta}\|$ を得る。$\beta=s\eta$ とし、有限シフトを $\lfloor\epsilon d_\beta\rfloor$ 回反復しても次数と方向を制御できるよう $\epsilon>0$ を選ぶと、(7)から
一方、$s\eta$ も free なので Proposition 3.1 は
を与える。上界の対数は $-\epsilon d_\beta\log d_\beta+O(d_\beta)$、下界は $-O(d_\beta)$ で矛盾する。これが Proposition 4.1 の代数的独立性である。
Proposition 4.1; (8)–(11) · pp. 11–13
5. Proposition 5.3 の証明 — 交代トレースと不等式
証明対象：Proposition 5.3; (15) · p. 15
Proposition 5.3 — 独立な曲線対応の非零積
量子因子作用素 $A_1(q),\ldots,A_r(q)$ が $\mathbb C$ 上代数的に独立な同時固有値組を持つと仮定する。$S_\gamma$ は前節の二点不変量による対応、$d_\gamma=-K_X\cdot\gamma$ とする。原稿は、正次数のgenus-zero安定写像の数値的次数で、線形独立な $\gamma_1,\ldots,\gamma_r$ が存在し、
を満たすと主張する。したがって $r(\iota-1)\le n$。独立な固有値組の存在はProposition 4.1から供給される。
固有値の独立性だけでは、固定したコホモロジー基底で非零の対応の積を取り出せない。原稿の Lemma 5.1 は、変数に依存する基底変換の微分項を処理する。
1. 基底の微分を消す交代化
$A_0$ がすべての $A_j$ と可換なとき、原稿は
が同時共役に不変であることを示す。$G(q)$ による変換では $K=G^{-1}dG$ が現れるが、$B_j(t)=dA_j+t[K,A_j]$ と置くと $[A_j,B_\ell(t)]=[A_\ell,B_j(t)]$ である。微分したトレースの交換子項を、添字を交換した置換どうしで相殺する。$A_0$ の微分は取らず、$A_0$ と $dA_j$ の可換性も要求しない。
2. 一つの固有値組を選ぶ
有限個の異なる joint tuple のうち、代数的独立な $\lambda$ で1、他で0になる補間多項式 $p$ を選び、$A_0=p(A_1,\ldots,A_r)$ とする。同時上三角基底で計算すると
$A_0$ が一般化固有空間上の冪等射影である必要はない。対角成分を選別できればよく、この点でも半単純性を避けている。
3. 固定基底へ戻して次数を数える
固定基底では $dA_j=\sum_{\gamma>0}q^\gamma\gamma_jS_\gamma\omega_\gamma$、$\omega_\gamma=\sum_\ell\gamma_\ell\,dq_\ell/q_\ell$ である。非零の $\Theta$ の展開に現れるある項では、$\omega_{\gamma_1}\wedge\cdots\wedge\omega_{\gamma_r}\ne0$ と $\operatorname{Tr}(A_0S_{\gamma_1}\cdots S_{\gamma_r})\ne0$ が同時に成立する。前者は次数ベクトルの線形独立性、後者は順序付き作用素積の非零性を与える。各対応は余次元を $d_{\gamma_j}-1$ 下げるため、$H_0,\ldots,H_n$ の範囲から
を得る。これは Proposition 5.3、したがって Theorem 1.1 の不等式部分である。
6. Proposition 6.4 の証明 — 等号の場合の分類
Proposition 6.4 — 等号の場合の剛性
$\iota\ge2$、$r(\iota-1)=n$ を仮定し、Proposition 5.3の式(15)、すなわち線形独立な正の安定写像次数 $\gamma_1,\ldots,\gamma_r$ に対して
を満たす積が存在するとする。このとき原稿の主張は
である。主定理への適用では、この非零積の存在をProposition 5.3で確保する。
$r(\iota-1)=n$ とする。上の二つの不等式が等号になるため、選ばれたすべての次数が $d_{\gamma_j}=\iota$ になる。ここで初めて、対応の非零性から実際の最小有理曲線の族へ移る。
1. 対応の台から非空の chain へ
二点安定写像の評価像 $Z_\gamma\subset X\times X$ は対応 $S_\gamma$ の台を含む。連続する評価を一致させる incidence fiber product が空なら、対応の合成も零である。したがって非零積は chain の存在を意味する。曲線の順序は作用素の合成順に合わせ、必要なら次数の列を逆順にして番号を付け直す。総次数が $\iota$ なので、各安定写像の非定数成分は一つで、その像への写像は双有理である。これらの曲線を含む $\mathrm{RatCurves}^n(X)$ の全既約成分を取る。印を忘れた安定極限にも分裂・多重被覆・縮約された木が現れないため、成分は proper となる。
2. 順序付き locus の次元評価で全族を covering にする
Mukai chain bound の Theorem 5.2 は、数値的に独立な proper 既約成分の非空の endpoint locus に $\sum_j(-K_X\cdot V^j-1)$ という次元下界を与える。訂正は、任意の proper 部分族では足りず、$\mathrm{RatCurves}^n(X)$ の既約成分であることを要求する。Lemma 6.3 はこの条件を用意している。
等号の場合、下界が $n$ なので最後の族 $V^r$ は covering になる。proper 性によりその評価像は閉じており、全点を覆う。$V^r$ の曲線を元の chain の先頭へ付けて最後を除く巡回操作を繰り返すと、各 $V^j$ を非空 chain の最後に置ける。同じ次元評価からすべての族が covering となる。
Theorem 6.1 · p. 16; Proposition 6.4 · p. 17 · Mukai chain bound [BCDD] · Theorem 5.2 · 誌面 p. 623 / PDF p. 23 · Mukai chain bound [ERR] · Erratum · p. 1
3. Occhetta の仮定を満たして分類する
得られた族は unsplit・covering・数値的独立で、反標準次数はすべて $\iota$。$n_j=\iota-1>0$ と置けば $\sum_j n_j=n$ となり、Occhetta の Theorem 1.1 を適用できる。よって $X\simeq(\mathbb P^{\iota-1})^r$。逆にこの積の次元・Picard数・pseudoindexを計算すれば等号が成立する。
Theorem 6.2 · p. 16; Proposition 6.4; converse · p. 17 · Product characterization [OC] · Theorem 1.1 · 誌面 p. 271 / PDF p. 2
7. どの論文が、どの段階を担うか
以下はカタログ063外からの入力と別構成である。Mustaţă–Mustaţă の構成は、本稿で明示する縮約の別経路として区別する。供給結果の記述と本稿の適用箇所を照合した。外部結果の証明全体は検証対象としていない。
Givental の量子微分方程式と Khalkhali の generalized trace は原稿が挙げる背景である。本稿の Lemma 2.1 と Lemma 5.1 はそれぞれ必要な式を本文で導いており、背景文献をそのまま追加の直接依存辺にはしていない。既存カタログ033・034との関係の網羅調査は行っていない。
8. 原典を読む入口と確認範囲
- Proposition 3.1 · p. 6; Proposition 4.1 · p. 11 — descendantの下界と、固有値の独立性の結論。
- §4 · pp. 11–13 — 漸化式を反復し、下界と比較する核心。
- Lemmas 5.1–5.2 · pp. 13–15 — 基底変換の微分を相殺し、一つの固有値組を選ぶ。
- Proposition 5.3; (15) · p. 15 — 交代トレースの非零項から不等式を得る。
- Theorem 6.2 · p. 16; Proposition 6.4; converse · p. 17 — 最小有理曲線族から等号の場合を分類する。
今回、§§2–6の証明本文を読み、上表の外部結果の記述・適用箇所を照合した。とくに不安定な次数零項、仮想類の押し出し、階乗正規化、基底の微分、訂正後の曲線族の仮定を区別した。これは原稿の論証の接続を案内する概説であり、主張の正しさを独立に認定したものではない。
未完了の範囲は、仮想基本類の基礎構成・結合律を含む一般論の独立検証、§3.2の族の縮約とスタック上の降下の全技術的整合性、Lemma 5.1の交換子計算の独立した完全検算、外部結果の全証明である。既存記事との全依存関係も未調査。入力の記述・使用の照合と、これらの残る検証範囲を混同しない。