論文「コディメンション 3 のサイクルの表現可能性」の技術的要約

著者: Kalyan Banerjee
対象: 複素数体上の滑らかな射影多様体、特に 4 次元多様体上のコディメンション 3 のサイクル

1. 研究の背景と問題設定

代数幾何学におけるチャウ群（Chow group）の「表現可能性（representability）」は、重要な未解決問題の一つです。
一般的に、多様体 $X$ 上のコディメンション $p$ の代数的に自明なサイクルの群 $CH^p(X)_{\text{alg}}$ が「表現可能」とは、ある滑らかな射影曲線 $C$ と対応 $\Gamma \subset C \times X$ が存在し、ヤコビアン $J(C)$ から $CH^p(X)_{\text{alg}}$ への写像が全射となることを指します。

• 既知の成果:

  • Mumford: 幾何学的種数 $p_g > 0$ の曲面 $S$ において、$CH^2(S)_{\text{alg}}$ は表現不可能である。
  • Roitman: 大域的な正則 $i$-形式を持つ多様体 $X$ において、$CH^n(X)_{\text{alg}}$ ($n=\dim X$) は表現不可能である。
  • Bloch の予想: 幾何学的種数 $p_g=0$ の曲面 $S$ において、$CH^2(S)_{\text{alg}}$ は表現可能である（一般型の場合、未解決だが多くの例で解決済み）。

• 本研究の課題:
  最高次コディメンション（零次サイクル）の表現可能性は Voisin によって「対称積からの写像の全射性」という第二の定義と同等であることが示されています。しかし、4 次元多様体上のコディメンション 3 のサイクル（$A^3(X)$） に対して、同様の「曲線や曲面を用いた表現可能性」の概念を定義し、その性質を明らかにすることが本研究の目的です。

2. 主要な定義と概念

2.1 次元 2 までの弱表現可能性 (Weak Representability up to Dimension Two)

4 次元多様体 $X$ 上の代数的に自明なコディメンション 3 サイクルの群 $A^3(X)$ について、以下の条件を満たすとき、「次元 2 まで弱表現可能」と定義されます。

有限個の滑らかな射影曲線 $C_i$ と曲面 $S_j$、およびそれらと $X$ の間の対応 $\Gamma_i, \Gamma'_j$ が存在し、写像
$$\bigoplus_i A^1(C_i) \oplus \bigoplus_j A^2(S_j) \xrightarrow{\sum \Gamma_i + \sum \Gamma'_j} A^3(X)$$
が全射となること。
ここで $A^1(C)$ は曲線のヤコビアン（零次サイクルの代数的自明部分群）に、$A^2(S)$ は曲面の代数的自明な零次サイクル群に対応します。

2.2 次元 2 までの有限次元性 (Finite Dimensionality up to Dimension Two)

チャウ多様体 $C^p_d(X)$（次数 $d$ のコディメンション $p$ サイクルをパラメータ化する）の 2 乗積 $C^p_d(X) \times C^p_d(X)$ からチャウ群への差の写像 $\theta^p_d: (Z_1, Z_2) \mapsto [Z_1 - Z_2]$ を考えます。
$A^p(X)$ が「次元 2 まで有限次元」であるとは、ある整数 $g > 1$ が存在し、
$$A^p(X) = \bigcup_d \text{im}(\theta^p_{gd})$$
が成り立つことを意味します。これは、高次対称積の像の和で群が生成される性質を指します。

3. 手法と論理的展開

本研究は、Roitman や Voisin が零次サイクルに対して用いた手法を、高次コディメンションのサイクルに拡張する形で構成されています。

1. 双有理不変性の証明:
   4 次元多様体 $X$ において、$A^3(X)$ の「次元 2 までの表現可能性」が双有理不変量であることを示します。

   • ブローアップ公式を用いて、$X$ を曲線や曲面でブローアップした多様体 $\tilde{X}$ において、$A^3(\tilde{X}) \cong A^3(X) \oplus A^2(S)$ または $A^3(X) \oplus A^1(C)$ となることを利用します。
   • 曲線や曲面の $A^1, A^2$ はすでに「次元 2 まで表現可能」であるため、$A^3(X)$ の表現可能性が保存されることを示します。
   • この不変性は、有理多様体の非有理性の判定（ obstruction to rationality）に応用可能です。

2. 有限次元性と表現可能性の同値性:
   コディメンション $p$ の線形部分空間が $A^p(X)$ を生成すると仮定します（例えば Fano 多様体など）。この下で、以下の同値性を証明します。

   • 定理 2.7: $A^3(X)$ が「次元 2 まで表現可能」であること $\iff$ $A^3(X)$ が「次元 2 まで有限次元」であること。

3. 技術的な核心（ファイバー次元の解析）:

   • チャウ多様体の対称積 $Sym_{gd}F(X)$ 上の写像 $\theta^p_{gd}$ のファイバーの次元を解析します。
   • Mumford-Roitman の議論（写像のファイバーが Zariski 閉集合の可算和であること）と Baire 区分の論法を用います。
   • 補題 2.8: 十分大きな次元を持つ既約部分集合 $Z$ が、特定の「低次元部分集合の和」に含まれない場合、$Z$ は十分一般的な超平面切断 $Y$ の対称積 $Sym_d Y$ と交わることを示します。
   • この補題を反復適用することで、高次元の Fano 多様体 $F(X)$ 上のサイクルが、その超平面切断（曲面や曲線）上のサイクルに還元可能であることを示し、最終的に曲面 $S$ からの全射を構成します。

4. 主要な結果

定理 1.2 (Main Theorem)

$X$ を滑らかな射影多様体とし、コディメンション $p$ の線形部分空間が $A^p(X)$ を生成し、かつ $A^p(X)$ が「次元 2 まで有限次元」であると仮定する。
このとき、ある滑らかな射影曲面 $S$ と対応 $\Gamma \subset S \times X$ が存在し、写像
$$\Gamma^*: A^2(S) \to A^p(X)$$
が全射となる。
ここで $S$ は、$X$ のコディメンション $p$ 線形部分空間の Fano 多様体 $F(X)$ の超平面切断として得られる。

応用：Fano 4 次元多様体

$X$ を滑らかな射影 Fano 4 次元多様体とし、$A^3(X)$ が有理曲線の差によって生成されると仮定する（TZ の結果に基づく）。
このとき、$A^3(X)$ は「次元 2 まで表現可能」である。
これは、$A^3(X)$ が曲面や曲線からの対応によって完全に記述可能であることを意味します。

5. 意義と結論

• 理論的貢献:
  従来の「曲線による表現可能性（零次サイクル）」の枠組みを、4 次元多様体上の「コディメンション 3 サイクル」へと拡張し、「曲面と曲線の組み合わせによる表現可能性（次元 2 までの弱表現可能性）」という新たな概念を定式化しました。
• 双有理幾何への応用:
  この概念は双有理不変量であり、有理多様性の判定における obstruction として機能する可能性があります。特に、unirational だが有理でない 4 次元多様体の存在証明や、その構造の解析に寄与する可能性があります。
• 手法の革新:
  チャウ多様体の対称積における写像のファイバー構造を精密に解析し、高次元のサイクルを低次元の多様体（曲面・曲線）上のサイクルに還元する論法を確立しました。これは Voisin や Roitman の手法を、より高次なコディメンションへ適用した重要な試みです。

要約すれば、本論文は「4 次元多様体上の特定のサイクル群が、曲面と曲線からの対応によって表現可能であるための必要十分条件」を明らかにし、代数幾何学の表現可能性理論の新たな地平を開いたものです。