Nef and Effective cones of some Quot Schemes

この論文「NEF AND EFFECTIVE CONES OF SOME QUOT SCHEMES（ある Quot スキームの nef コンと有効コン）」は、代数幾何学、特に曲線上の Quot スキームの双有理幾何学的性質に関する研究です。著者らは、種数 $g \ge 2$ の滑らかな射影曲線 $C$ 上の自明なベクトル束の Quot スキームの特定のファイバー（行列式が固定されたもの）について、その nef コン、有効コン、および標準因子を具体的に計算しました。

以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて記述します。

1. 問題設定と背景

• 対象: 複素数体 $\mathbb{C}$ 上の滑らかな射影曲線 $C$（種数 $g(C) \ge 2$）と、その上の自明なベクトル束 $\mathcal{O}_C^{\oplus r}$ を考えます。
• Quot スキーム: $\text{Quot}_C(\mathcal{O}_C^{\oplus r}, k, d)$ は、ランク $k$、次数 $d$ の商束をパラメータ化する Grothendieck の Quot スキームです。
• 固定行列式ファイバー: 行列式写像 $\det: \text{Quot} \to \text{Pic}_d(C)$ に対する、ある線形束 $L$（次数 $d$）のファイバーを $Q_L$ とします。すなわち、$Q_L = \det^{-1}([L])$ です。
• 既知の結果:
  • 曲線が $\mathbb{P}^1$ の場合（$g=0$）、Stromme などが $Q_L$ が滑らかで Picard 数が 2 であることを示し、nef コンを計算しました。
  • 種数 $g \ge 2$ の場合、$d \gg 0$ において $Q_L$ が既約で、局所完全交差、正規、局所因子的（locally factorial）であり、Picard 群が $\mathbb{Z} \oplus \mathbb{Z}$ であることは、著者ら以前の論文 [GS24] で示されています。
• 本研究の目的: $g \ge 2$ の場合において、$d \gg 0$ として、$Q_L$ の nef コン、有効コン、可動コン（movable cone）、および標準因子を具体的に記述することです。また、$Q_L$ がファノ多様体（Fano variety）となるための必要十分条件を明らかにすることです。

2. 手法とアプローチ

著者らは、以下の構成要素と手法を用いて解析を行いました。

• 生成元となる線形束の構成:
  • $\alpha$: 商束の核 $K$ に対して $\wedge^{r-k} K \cong L^{-1} \otimes M$ となるような線形束 $M$ を用い、射影空間への写像 $f: Q_L \to \mathbb{P}(E^\vee)$ を定義し、その引き戻し $f^*\mathcal{O}_{\mathbb{P}}(1)$ を $\alpha$ と定義しました。これは $Q_L$ 上の nef 因子です。
  • $\beta_{d+g-1}$: 安定な商束の空間上で、商束 $F$ と適当な線形束 $M$（次数 $d+g-1$）のテンソル積の直像 $p_{2*}(F \otimes p_1^* M)$ の行列式から得られる線形束 $\beta_M$ を定義し、その数値同値類を $\beta_{d+g-1}$ としました。これも nef 因子です。
• 双対曲線の構成:
  • nef コンの境界を決定するために、$Q_L$ 内の特定の曲線 $D_1, D_2$ を構成しました。
  • $D_1$: 自明な束の部分束を固定し、ある点でのみ変化するような族。
  • $D_2$: 自明な束の商を、ある線形束 $L$ の双対空間の射影直線上で変化する族。
  • さらに、有効コンの境界を決定するために、安定な商束のモジュライ空間への射影に関連する曲線 $D_3, D_4$ も構成されました。
• 交点数の計算:
  • 構成した線形束 $\alpha, \beta$ と曲線 $D_i$ 間の交点数を、コホモロジーと底変換（cohomology and base change）、Riemann-Roch 定理、および安定性の性質を用いて厳密に計算しました。
  • これにより、$\text{Pic}(Q_L)$ の生成元と双対的な曲線の関係式を導出しました。

3. 主要な結果

論文の主要な定理（Theorem 1.1）は、$g(C) \ge 3$ かつ $2 \le k \le r-2$（または $g(C)=2$ かつ $3 \le k \le r-2$）かつ $d \gg 0$ の条件下で以下の通りです。

(A) nef コンと Picard 群

• $\text{Pic}(Q_L)$ は線形束 $\alpha$ と $\beta_{d+g-1}$ によって生成されます。
• 両者は大域的に生成され、nef ですが、 ample ではありません。
• nef コンは以下の通りです：
  $$\text{Nef}(Q_L) = \mathbb{R}_{\ge 0}\alpha + \mathbb{R}_{\ge 0}\beta_{d+g-1}$$
• 有効曲線のコンの境界は、構成した曲線 $D_1$ と $D_2$ の類によって与えられます。

(B) 有効コンと可動コン

• 有効コン $\text{Eff}(Q_L)$ は、以下の 2 つの因子の非負線形結合で張られます：
  $$\text{Eff}(Q_L) = \mathbb{R}_{\ge 0}(d(k+1)\alpha - k\beta_{d+g-1}) + \mathbb{R}_{\ge 0}(-d(r-k-1)\alpha + (r-k)\beta_{d+g-1})$$
• 可動コン $\text{Mov}(Q_L)$ は有効コンと一致します（$\text{Mov}(Q_L) = \text{Eff}(Q_L)$）。
• この結果は、$Q_L$ が Mori dream space である可能性を示唆しています。

(C) 標準因子とファノ性

• 標準因子 $\omega_{Q_L}$ は以下のように表されます：
  $$\omega_{Q_L} = [d(r - 2k - 2) + r(g - 1)]\alpha + (2k - r)\beta_{d+g-1}$$
• ファノ性の判定: $Q_L$ がファノ多様体であるための必要十分条件は $r = 2k + 1$ です。
  • 証明の要点：$\omega_{Q_L}$ が反 ample であるためには、$\alpha$ と $\beta$ の係数がともに負でなければなりません。$d \gg 0$ のとき、係数の符号条件から $r - 2k - 2 < 0$ かつ $2k - r < 0$ となり、これは $2k < r < 2k+2$ を意味し、整数条件より $r = 2k+1$ となります。

4. 意義と貢献

1. 高種数曲線への一般化: 以前は $\mathbb{P}^1$ 上でのみ詳細に研究されていた Quot スキームの双有理幾何（nef コン、有効コンなど）を、種数 $g \ge 2$ の曲線に対して初めて体系的に計算しました。
2. 構造の明確化: $Q_L$ が局所因子的であり Picard 数が 2 であるという [GS24] の結果を踏まえ、その具体的な幾何学的構造（コンの形状、標準因子）を明らかにしました。
3. ファノ性の完全な分類: Quot スキームのファイバーがファノ多様体となる条件（$r=2k+1$）を明確にしました。これは Pieter Belmans によるブログ上の問いへの回答としても機能しています。
4. Mori Dream Space への示唆: 可動コンと有効コンが一致し、コンの境界が有理的な写像に対応していることから、$Q_L$ が Mori dream space である可能性が高いことが示唆されました。これは、この空間の双有理変換（flip や flop）の構造を理解する上で重要な第一歩です。

結論

この論文は、代数幾何学におけるモジュライ空間の双有理幾何の理解を深める重要な一歩です。特に、高種数曲線上の Quot スキームの nef コンと有効コンを具体的に記述し、そのファノ性を決定したことは、ベクトル束のモジュライ空間や関連する代数多様体の研究において重要な知見を提供しています。