Rank 2 vector bundles and degrees of points of del Pezzo surfaces

技術的要約：デル・ペッツォ曲面におけるランク2ベクトル束と点の次数

問題提起
本論文は、標数0の体 $K$ 上で定義されたデル・ペッツォ曲面（特に3次曲面、次数2のデル・ペッツォ曲面、および次数1のデル・ペッツォ曲面）における点および0次サイクルの算術的性質を調査するものである。中心となる問題は、$K$ 点の存在および特定の次数の0次サイクルの有効性に関するものである。

具体的には、以下の事項に取り組んでいる：

1. コレイ数（Coray Number）： 3次曲面 $S$ が次数1の0次サイクル（または拡大体 $L/K$ 上の次数が3と互いに素な点）を持つ場合、その最小の閉点の次数はいくらになるか。Corayは、この最小次数が1, 4, または10になり得ることを以前に示していた。本論文は、10という可能性を排除することを目的としている。
2. 0次サイクルの有効性： デル・ペッツォ曲面上の任意の0次サイクルが有効である（すなわち、有効なサイクルと線形同値である）ための最小の次数 $d$ を決定すること。先行研究（Colliot-Thélèneら）では、境界（例：次数1のデル・ペッツォ曲面における次数21）が示されているが、これらはしばしば $K$ 点の存在を仮定していた。
3. 対称積の有理性： 3次超曲面 $X$ の第3対称積（または点付きヒルベルトスキーム） $X[3]$ が、ユニラショナル（unirational）か、あるいは安定有理（stably rational）であるか。

手法
本論文は、幾何学的構成とベクトル束理論の組み合わせを用いている：

• ランク2ベクトル束（シュヴァルツェンベルガー構成）： 滑らかな（またはlciな）長さ2の部分スキームからデル・ペッツォ曲面上のランク2ベクトル束を構成するための中心的な技術的ツールである。長さ $d$ の部分スキーム $Z$ と、特定のコホモロジー的不等式を満たす整数 $l$ が与えられたとき、著者らは以下の拡大を構成する：
  $$0 \to \mathcal{O}_S \to E \to \mathcal{I}_Z(l+1) \to 0$$
  これらの束の切断を用いることで、著者らはサイクルの「移動」を可能にする。切断の零点集合を分析することにより、特定のサイクルの差（例：$Z_d - Z_s$）が有効であることを示す。
• 生成性と特殊化： 特定の部分スキームが退化した挙動（例：点ではなく曲線に沿って消える切断）を示す可能性に対処するため、著者らはヒルベルト・スキームの関数体上の生成的な部分スキームを用いて作業を行い、Fultonの特殊化を適用して元の体へと戻る。
• 有理自己写像： $X[3]$ のユニラショナリティについては、$\mathbb{P}^{n-2}$ への射影と楕円曲線の群法則（射影のファイバー）を用いた、3次超曲面の有理自己写像に基づく構成を利用する。
• 帰納的減少： 有効性の境界に関する証明は、既知の有効なサイクル（例えば $h_d$ という標準的な0次サイクル）を減算することで、与えられた0次サイクルの次数を減少させる帰納的な議論に基づいている。

主要な貢献および結果

1. コレイ数10の排除：
   本論文は、標数0の体上の滑らかな3次曲面 $S$ について、もし $S$ が次数1の0次サイクルを持つならば、$S$ は $K$ 点を持つか、あるいは次数4の拡大体上で定義された点を持つことを証明する。これにより、最小の3と互いに素な次数が10であるという可能性が排除され、Corayの結果（次数1, 4, または10を許容していた）が改善された。

2. 0次サイクルの有効性に関する改善された境界：
   著者らは、デル・ペッツォ曲面上の0次サイクルの有効性について、しばしば $K$ 点の存在を仮定せずに、より低い新しい境界を確立している：

   • 3次曲面（次数3）： 次数 $\ge 18$ の任意の0次サイクルは有効である。もし次数1の0次サイクルが存在する場合、次数 $\ge 8$ の任意の0次サイクルは有効である。
   • 次数2のデル・ペッツォ曲面： 次数 $\ge 13$ の任意の0次サイクルは有効である。もし奇数の次数の0次サイクルが存在しない場合、この境界は $\ge 12$ に改善される。
   • 次数1のデル・ペッツォ曲面： 次数 $\ge 15$ の任意の0次サイクルは有効である。
     これらの結果は、Colliot-Thélèneによる先行研究（例：次数1の曲面における次数21の境界）を一般化し、改善したものである。

3. $X[3]$ のユニラショナリティと安定有理性：

   • ユニラショナリティ： 次元 $\ge 2$ の滑らかな3次超曲面 $X$ の第3点付きヒルベルトスキーム $X[3]$ は、任意の体 $K$ 上でユニラショナルである。これは、$X[3]$ の $K$ 点がザリスキー稠密であることを意味する。
   • 安定有理性： 対照的に、本論文は一般には $X[3]$ が安定有理ではないことを証明している。具体的には、$\mathbb{C}$ 上の極めて一般的な3次三次元超曲面、および普遍的な族の関数体上の生成的3次曲面に対して、$X[3]$ は安定有理ではない。これは、普遍的な $\text{CH}_0$ 群の非自明性に関する最近の結果に基づいている。

4. 0次サイクルの構造的分解：
   本論文は、$\text{CH}_0(S)$ における0次サイクルの明示的な分解を提供している。3次曲面において、任意の有効な0次サイクル $z$ は $z = \pm z' + \gamma h_3$ と書くことができる（ここで $z'$ は次数 $\le 18$ の有効なサイクルである）。もし次数1のサイクルが存在する場合、$z$ は次数4の点 $x_4$ と $h_3$ を用いて、余剰の次数 $\le 4$ を伴って分解できる。

意義
本論文は、点の存在および有効なサイクルの存在に関する数値的境界を厳密にすることで、デル・ペッツォ曲面の算術に関する理解を精緻化している。3次曲面における次数10のケースを排除することにより、「コレイ数」に関する特定の未解決問題を解決している。さらに、0次サイクルの有効性に関する結果は、従来の定理でしばしば必要とされていた有理点の存在という条件なしに、$\text{CH}_0(S)$ の構造に関するより完全な記述を提供している。$X[3]$ のユニラショナリティと安定有理性の欠如との間に引かれた区別は、3次超曲面の微妙な幾何学的性質を浮き彫りにしている。すなわち、それらは第3対称積において多くの有理点を許容する一方で、その積自体は非自明な双有理不変量を保持しているということである。