[論文レビュー] Abel-Jacobi maps associated to smooth cubic threefolds

Joe Harris, Mike Roth+1 more|ArXiv.org|Feb 9, 2002

Algebraic Geometry and Number Theory参考文献 9被引用数 10

ひとこと要約

本稿は、滑らかな立方三重曲面 $X \subset \mathbb{P}^4$ 上の次数 $d$ で genus $g$ の曲線をパラメトライズする $χ^{d,g}(X)$ の双有理幾何を調査し、$d \leq 5$ の場合、曲線の Abel-Jacobi 写像 $u_d: \mathcal{H}^{d,g}(X) \to J^3(X)$ がパrameter 空間の最大有理的連結（MRC）ファイブレーションと一致することを示している。これにより、幾何的およびコホロロジー的技法を用いて、中間ヤコビ多様体が MRC 商として実現される。

ABSTRACT

We pose some questions about spaces parametrizing rational curves on rationally connected varieties. We give a partial answer for cubic threefolds. Many of our results were previously proved by Iliev, Markushevich and Tikhimirov by analyzing vector bundles on cubic threefolds. Our proofs use residuation rather than vector bundles.

研究の動機と目的

• 滑らかな立方三重曲面 $X \subset \mathbb{P}^4$ 上の曲線をパラメトライズするモジュライ空間 $\mathcal{H}^{d,g}(X)$ の双有理幾何を理解すること、特に有理曲線に対して。
• 曲線を中間ヤコビ多様体 $J^3(X)$ に写す Abel-Jacobi 写像 $u_d: \mathcal{H}^{d,g}(X) \to J^3(X)$ が、パrameter 空間の最大有理的連結（MRC）ファイブレーションと一致するかどうかを調査すること。
• 低次の曲線に対して、中間ヤコビ多様体 $J^3(X)$ が $\mathcal{H}^{d,g}(X)$ の MRC 商として実現可能であることを確立し、ホッジ理論やサイクル商の定義に依存せずに $J^3(X)$ の新しい幾何的解釈を提供すること。
• 未障害曲線の解析と二重残差法、変形理論を用いて、この結果をより高い genus に拡張すること。

提案手法

• 著者たちは、$d \leq 5$ に対して $\mathcal{H}^{d,g}(X)$ の幾何を分析し、特に有理曲線とその変形に注目し、ヒルベルトスキームとコンツェビッチ空間をパラメータ空間として用いる。
• 変形理論とコホモロジーの消滅（例：$H^1(C, N_{C/X}) = 0$）を用いて、族内の曲線の未障害性を証明する。
• 鍵となる技法は、直線 $L$ と曲線 $C$ 上の点 $p$ の張る空間を用いて、$C'$ をコンビネーションとして構成し、$B = C \cup C'$ を次数 $d$ で genus 0 となるようにする。
• 正規バンドルの完全列とコホモロジーの消滅を用いて、$B$ が未障害であることを示し、$\mathcal{H}^{d,0}(X)$ 上の普遍曲線の開部分集合 $V$ から $f: V \to \mathcal{H}^{d,0}(X)$ への写像の構成を可能にする。
• $d$ についての帰納法を用い、$\alpha_{d-2,0}$ が開埋め込み $\gamma_{d-2}: Z_{d-2} \to J^3(X)$ を通して因数分解すると仮定し、$\gamma_d$ が開埋め込みであることを示すために、$\epsilon_d: Z_{d-2} \to Z_d$ を有理的セクションとして構成する。
• 残差法と $\theta$ 特性の加法性を用いて、$V \to \mathcal{H}^{d,0}(X) \to J^3(X)$ の合成写像が、$V \to \mathcal{H}^{d-2,0}(X) \to J^3(X)$ の逆（平行移動を除く）であることを示し、$\gamma_d$ が開埋め込みであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 立方三重曲面 $X$ 上の曲線に対して、Abel-Jacobi 写像 $u_d: \mathcal{H}^{d,g}(X) \to J^3(X)$ はパrameter 空間の最大有理的連結（MRC）ファイブレーションと一致するか？
• RQ2 ホッジ理論的またはサイクル商の構成に依存せずに、中間ヤコビ多様体 $J^3(X)$ が $\mathcal{H}^{d,g}(X)$ の MRC 商として実現可能か？
• RQ3 どの次数 $d$ に対して $\mathcal{H}^{d,g}(X)$ の MRC ファイブレーションが Abel-Jacobi 写像と一致し、その一致の背後にある幾何的メカニズムは何か？
• RQ4 特に有理曲線の和集合としての曲線の変形理論は、$\mathcal{H}^{d,g}(X)$ の未障害性と双有理的構造にどのように寄与するか？
• RQ5 二重残差法は、$d$ と $d-2$ の Abel-Jacobi 写像をどのように関連付けるか？

主な発見

• $d \leq 5$ のすべての $d$ に対して、Abel-Jacobi 写像 $u_d: \mathcal{H}^{d,g}(X) \to J^3(X)$ は $\mathcal{H}^{d,g}(X)$ の最大有理的連結（MRC）ファイブレーションと双有理的である。これは、$J^3(X)$ が曲線モジュライ空間の MRC 商であることを意味する。
• 中間ヤコビ多様体 $J^3(X)$ は、コンビネーション拡張と変形理論を用いた幾何的構成により、従来のホッジ理論的またはサイクル商の定義に依存せずに MRC 商として実現される。
• $d \leq 5$ の場合、$Z_d$ を $\mathcal{H}^{d,0}(X)$ の MRC 商とするとき、写像 $\gamma_d: Z_d \to J^3(X)$ は開埋め込みである。これは、一般ファイバー $u_d$ が既約であることを示唆する。
• 帰納法と $\alpha_{d,0}$ と $\alpha_{d-2,0}$ の逆関係を用いて、$\epsilon_d: Z_{d-2} \to Z_d$ を有理的セクションとして構成し、$\gamma_d$ が開埋め込みであることを証明した。これにより、MRC ファイブレーション構造が確認された。
• $H^1(C, N_{C/X}) = 0$ および $H^1(C', N_{C'/X}(-p)) = 0$ のコホモロジーの消滅により、$B = C \cup C'$ の合成曲線が未障害であることが保証され、普遍曲線の開部分集合から $f: V \to \mathcal{H}^{d,0}(X)$ への写像の構成が可能になった。
• $\theta(B) = \theta(C) + \theta(C')$ の $\theta$ 特性の加法性と、$\theta(C') = -\theta(L)$ の残差関係から、$V \to \mathcal{H}^{d,0}(X) \to J^3(X)$ の合成写像が、$V \to \mathcal{H}^{d-2,0}(X) \to J^3(X)$ の逆（平行移動を除く）であることが示され、帰納的段階が完了した。