[論文レビュー] Surfaces with involution and Prym constructions

Mingmin Shen|arXiv (Cornell University)|Sep 24, 2012

Algebraic Geometry and Number Theory参考文献 12被引用数 8

ひとこと要約

本稿は、曲面に自己同型 $\sigma$ が作用する場合の Prym 理論的枠組みを、立方四次多様体および $\mathbb{P}^3$ 上の放物線束に対して確立する。線の曲面における対応する不変量の Hodge 構造、 Chow 群、第二ブラウアー群が、それぞれの曲面の Prym 部分と同型であることを示す。主な結果は、これらの不変量が表面の $\sigma$-反対称なコホロジーおよび Chow 群を通じて完全に回復可能であり、ブラウアー群における 2- torsion の障害が存在しうることである。

ABSTRACT

An involution on a surface induces involutions on the cohomology, the Chow group and the Brauer group of the surface. We give a detailed study of those actions. We show that the odd part of these groups can be used to describe the geometry of cubic fourfolds and conic bundles over $\mathbb{P}^3$.

研究の動機と目的

• 立方四次多様体および $\mathbb{P}^3$ 上の放物線束の Hodge 構造、Chow 群、ブラウアー群に対する Prym 理論的アプローチを開発すること。
• ホモロジー群、Chow 群、ブラウアー群に作用する自己同型 $\sigma$ の作用を、$H_1(S,\mathbb{Z})=0$ を満たす滑らかで射影的な曲面 $S$ に対して分析すること。
• 四次多様体の原始的コホロジーおよび関連する代数的サイクルが、線の曲面における対応する不変量の Prym 部分として生じることを示すこと。
• 立方四次多様体のケースにおいて、Prym 構成で捉えきれない可能性のある 2- torsion 部分群 $K$ を $\mathrm{Br}_2(X)$ に特定し、それが一般の線の選び方に依存しないかを調査すること。

提案手法

• 自己同型 $\sigma$ を持つアーベル群 $\Lambda$ の Prym 部分を $\mathrm{Pr}(\Lambda,\sigma) = \mathrm{Im}(\sigma - 1)$ として定義し、コホロジー群、Chow 群、ブラウアー群に適用する。
• 立方四次多様体 $X$ における一般の直線 $l$ と交わる直線の曲面 $S_l$ を幾何的入力とし、$\sigma$ を直線の残差交換によって誘導する。
• 放物線束 $f:X\to\mathbb{P}^3$ に対して、破綻した放物線に含まれる直線をパラメトライズする曲面 $S$ を定義し、$\sigma$ を2つの直線を入れ替えることによって誘導する。
• 写像 $\Phi = p_*q^*$ および $\Psi = q_*p^*$ を $X$ と $S$ の間で構成し、$\Phi \circ \Psi = \sigma - 1$ を証明する。
• $\Phi$ が $\mathrm{H}^4(X,\mathbb{Z})_{\mathrm{prim}} \cong \mathrm{Pr}(M^\perp, \sigma)(-1)$ を誘導する同型であることを示し、双線形形式と整合的であることを示す。
• $\mathrm{A}_1(X) \cong \mathrm{Pr}(\mathrm{A}_0(S), \sigma) \oplus \text{2- torsion}$ であり、$\mathrm{Br}_2(X)$ が $\mathrm{Pr}(\mathrm{Br}(S), \sigma)$ と 2- torsion 群 $K$ を持つ短完全列に含まれることを証明する。

実験結果

リサーチクエスチョン

• RQ1 立方四次多様体の Hodge 構造は、自己同型を持つ線の曲面のコホロジーの Prym 部分から再構成可能か？
• RQ2 立方四次多様体または放物線束の Chow 群は、関連する曲面の Chow 群の Prym 部分として生じるか？
• RQ3 ブラウアー群 $\mathrm{Br}_2(X)$ における 2- torsion 部分群 $K$ の役割は何か？また、立方四次多様体のケースにおいて、それは一般の直線の選び方に依存しないか？
• RQ4 どのような条件下で、四次多様体のブラウアー群が曲面のブラウアー群の Prym 部分によって完全に記述可能か？
• RQ5 放物線束および立方四次多様体のケースにおいて、曲面 $S$ に対して $\mathrm{H}_1(S,\mathbb{Z})=0$ は自動的に満たされるか？

主な発見

• 立方四次多様体 $X$ の原始的コホロジーは、$H^2(S,\mathbb{Z})$ の部分空間 $M$ の直交補空間に対する Prym 部分と同型であり、$\Phi: \mathrm{H}^4(X,\mathbb{Z})_{\mathrm{prim}} \to \mathrm{Pr}(M^\perp, \sigma)(-1)$ は、交差形式と整合的な同型写像である。
• 四次多様体の Chow 群 $\mathrm{A}_1(X)$ は、$\mathrm{A}_0(S)$ の Prym 部分と同型であり、2- torsion 要素を除いて一致する。このとき $\Phi$ は第一因子への射影として特定される。
• 第二ブラウアー群 $\mathrm{Br}_2(X)$ は短完全列 $0 \to K \to \mathrm{Br}_2(X) \to \mathrm{Pr}(\mathrm{Br}(S), \sigma) \to 0$ に含まれ、$K = \mathrm{H}^1(G, T^2(S))$ であり、$X$ が非常に一般の場合には $K$ は自明である。
• 立方四次多様体のケースにおいて、2- torsion 障害 $K$ は一般の直線 $l$ の選び方に依存せず、障害が自然に定義されることを示唆している。
• Prym ラティス $P = \mathrm{Pr}(M^\perp, \sigma)$ の行列式は 2 で割り切れないため、同型写像 $\Phi: \mathrm{H}^4(X,\mathbb{Z})_{\mathrm{prim}} \to P(-1)$ における双線形形式の整合性が保証される。
• 放物線束のケースは立方四次多様体のケースを一般化しており、立方四次多様体を直線に沿って blown-up すると、同じ線の曲面と、10 次の退化除集合（16 個のノードを持つ五次曲線）を持つ放物線束が得られる。