[論文レビュー] Rationality of complete intersections of two quadrics

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|Mar 21, 2019

Algebraic Geometry and Number Theory参考文献 32被引用数 6

ひとこと要約

本稿では、$\bar{P}^5$ 内の2つの二次曲面の一般な滑らかな完全交差が、$\mathbb{C}((T))$、$\mathbb{C}(T)$、または $p$-進体などの非閉体上では安定有理でないことを確立している。特異化技法と、ガロアコhomologyおよび非分岐コhomologyからの非自明な非有理性の障害を用いて、このような3次元代数的空間が有理点をもち、ブラウール群が自明であるにもかかわらず、安定有理でないことを証明している。

ABSTRACT

We study rationality problems for smooth complete intersections of two quadrics. We focus on the three-dimensional case, with a view toward understanding the invariants governing the rationality of a geometrically rational threefold over a non-closed field.

研究の動機と目的

• 非閉体、特に $p$-進体や関数体上での幾何的に有理的な3次元代数的空間の有理性不変量を理解すること。
• $\mathbb{P}^5$ 内の2つの二次曲面の完全交差が、$\mathbb{C}((T))$ や $\mathbb{F}_q((T))$ のような体上で安定有理かどうかを調査すること。
• このクラスの3次元代数的空間において、自明なピカール群やブラウール群を超える有理性の障害を同定すること。
• 非有理的トーリック退化と二次曲面バンドル構造を用いて、特異化法を3次元代数的空間へ拡張すること。
• 中間ジャコビアンと有理曲線が、二次曲面の完全交差の有理性問題において果たす役割を明確にすること。

提案手法

• ヴォジンとCTPの特異化法を、$k((\tau))$ 上の非有理的トーリック3次元代数的空間への退化を介して、2つの二次曲面の完全交差に適用する。
• 非分岐コhomology技法を用いて、$H^{n+2}_{nr}(K_n(X_n), \mathbb{Z}/2)$ に非自明な類を構成し、$CH_0$-群の非自明性を示す。
• $X$ の中間ジャコビアンを分析し、$k$ 上の genus 2 曲線のヤコビアンであることを示し、そのねじれ形とガロア作用を研究する。
• 変数 $s_i$ の数に関する再帰的議論を用いて、ガロアコhomologyにおけるカップ積の非自明性を証明する。
• $X$ を $\mathbb{C}$ 上の4次元代数的空間とみなす。$\mathbb{P}^1 \times \mathbb{P}^1$ 上の二次曲面バンドル構造を用いて、[HPT18] の安定有理性に関する結果を適用する。
• 有理点の存在と $k$ 上の直線およびねじれ直線の幾何を用いて有理性を制約し、有理性が特別な配置を強制することを示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{C}((T))$ や $\mathbb{F}_q((T))$ のような非閉体上、$\mathbb{P}^5$ 内の2つの二次曲面の完全交差の安定有理性が妨げられるか。
• RQ2 中間ジャコビアンおよびそのガロアねじれ形は、幾何的に有理的な3次元代数的空間の有理性を決定する上で果たす役割は何か。
• RQ3 基本体 $k$ 上での有理曲線や直線の存在が、このような3次元代数的空間の有理性または安定有理性を意味するか。
• RQ4 これらの完全交差に対して、非自明な非分岐コhomology類を構成できるか。また、それらは有理性を妨げるか。
• RQ5 非有理的トーリック3次元代数的空間への退化が、安定有理性の障害をどのように明らかにするか。

主な発見

• 一般な滑らかな2つの二次曲面の完全交差は、$k = \mathbb{C}((T))$、$\mathbb{C}(T)$、または $p \neq 2$ の $p$-進体上では安定有理でない。これは、非有理的トーリック3次元代数的空間への特異化によって示された。
• 基本体から持ち上がらない非自明な非分岐コhomology類 $\alpha_n \in H^{n+2}_{nr}(K_n(X_n), \mathbb{Z}/2)$ の存在は、$X_n$ が $CH_0$-自明でない、したがって安定有理でもないことを証明する。
• $n=0$ の場合、類 $((u+v)/v, a) \in \mathrm{Br}(X_0)$ は非自明かつ非分岐であり、$X_0$ が有理でないことを示し、$k$ 上で共役なねじれ直線のペアを含まないことを示す。
• 中間ジャコビアン $\mathrm{IJ}(X)$ は、$k$ 上の genus 2 曲線のヤコビアンに同型であり、そのガロア構造は有理性の障害を理解する上で中心的な役割を果たす。
• $X$ の有理性は、$k$ 上の直線の存在を強制する。また、中間ジャコビアン内の奇数次曲線は、そのような直線の存在を強制する。幾何と有理性を結びつける。
• この構成により、$\mathbb{F}_q((T))$、$\mathbb{C}((T_1))((T_2))$、$\mathbb{Q}_p$ 上の滑らかな2つの二次曲面の完全交差の明示的例が得られ、有理点をもつにもかかわらず、安定有理でない。