[論文レビュー] Intersections of three quadrics in $\mathbb{P}^7$

Brendan Hassett, Alena Pirutka+1 more|arXiv (Cornell University)|Jun 5, 2017

Algebraic Geometry and Number Theory参考文献 16被引用数 5

ひとこと要約

本稿は、$\mathbb{P}^7$ 内の3つの二次曲面の滑らかな完全交差における有理的性質を調査し、同一の族内で有理的でないファイバーと有理的ファイバーが共存することを示している。特殊化法を用い、非分岐コホロロジーと普遍的 $\mathrm{CH}_0$-自明性を通じて、非常に一般なファイバーが安定に有理的でないことを証明している。一方で、有理的ファイバーはユークリッド位相において稠密であることが判明し、4次元における有理的性と変形の間の複雑な関係が明らかになった。

ABSTRACT

We study rationality properties of smooth complete intersections of three quadrics in $\mathbb{P}^7$. We exhibit a smooth family of such intersections with both rational and non-rational fibers.

研究の動機と目的

• smooth complete intersections of three quadrics in $\mathbb{P}^7$ の有理的性質を調査すること。
• このような4次元多様体が、同一の族内で有理的かつ非有理的である可能性を特定すること。
• 特殊化法を適用し、非分岐コホロロジーおよび普遍的 $\mathrm{CH}_0$-自明性の障害条件を用いて、安定有理的性の失敗を検出すること。
• $\mathbb{P}^2$ 上の2次曲面バンドルの異なる双次数を持つが同一の判別曲線を持つもの同士の双有理幾何を比較すること。
• 同じ基準多様体が、異なる有理的性行動を示す4次元多様体族の背後に存在することを確立すること。

提案手法

• complete intersections of three quadrics in $\mathbb{P}^7$ の平坦族 $\phi: \mathcal{X} \to B$ を用いて特殊化法を適用する。
• 安定有理的性の失敗は、条件 (R) と (O) を用いて検出される：$\beta: \tilde{X} \to X$ は $\tilde{X}$ が有理的でないが、$\tilde{X}$ は普遍的に $\mathrm{CH}_0$-自明である。
• 障害 (O) は、非自明な非分岐コホロロジー $H^2_{\text{nr}}(\mathbb{C}(X)/\mathbb{C}, \mathbb{Z}/2)$ を用いて検証される。
• 両方の族の共通の特殊化対象として、双次数 $(2,2)$ の $Y \subset \mathbb{P}^2 \times \mathbb{P}^3$ が用いられる。
• Laszlo の定理を介して、$H^4_0(Q, \mathbb{Z})(1)$ と $H^2_0(S, \mathbb{Z})$ の間のコホロロジー的対応が構成される。ここで $S \to \mathbb{P}^2$ は判別曲線に沿って分岐する2重被覆である。
• 2-adic 格子不変量を用いて、同一の判別曲線を持つが異なる双次数を持つ2つの2次曲面バンドルの非双有理性が証明される。

実験結果

リサーチクエスチョン

• RQ1 smooth complete intersections of three quadrics in $\mathbb{P}^7$ は、同一の族内で有理的ファイバーと非有理的ファイバーを両方示すことができるか？
• RQ2 ピカール数1の4次元多様体において、特殊化法は安定無理的性を検出できるか？
• RQ3 同一の特異化曲線を持つ2つの2次曲面バンドルが、共通の基準多様体を持つにもかかわらず非双有理的であることはあり得るか？
• RQ4 原始的コホロロジー格子の $2$-進不変量は、2次曲面バンドルの双有理同値類をどのように区別するか？
• RQ5 非分岐コホロロジー $H^2_{\text{nr}}(X, \mathbb{Z}/2)$ は、これらの4次元多様体における安定有理的性の障害にどのような役割を果たすか？

主な発見

• universal family における $\mathbb{P}^7$ 内の3つの二次曲面の滑らかな交差の非常に一般なファイバーは、安定に有理的でない。
• この族における有理的ファイバーの集合は、ユークリッド位相において稠密であり、有理的性が位相的に一般であることを示唆している。
• 特定の対称形式によって定義される、双次数 $(2,2)$ の $Y \subset \mathbb{P}^2 \times \mathbb{P}^3$ である基準多様体は、特殊化法に必要な障害 (O) と解消 (R) 条件の両方を満たす。
• $(2,2)$ の超曲面を含む $\mathbb{P}^2 \times \mathbb{P}^3$ と、$\mathbb{P}^7$ 内の3つの二次曲面の完全交差という2つの族は、同一の基準多様体と判別曲線を持つにもかかわらず、双有理的ではない。
• 同一の特異化曲線を持つ2つの2次曲面バンドル $Q_1$ と $Q_2$ に対して、$H^4_0(Q_1, \mathbb{Z})$ と $H^4_0(Q_2, \mathbb{Z})$ の格子は $2$-進体上で同値でないため、非双有理的であることが示された。
• 基準多様体の非分岐コホロロジーにおける $2$- torsion 項は、族全体にわたる有理的性の行動の区別に不可欠である。