[論文レビュー] Non rationalité stable d'hypersurfaces cubiques sur des corps non algébriquement clos

Jean-Louis Colliot-Thélène|arXiv (Cornell University)|Jun 22, 2016

Meromorphic and Entire Functions被引用数 4

ひとこと要約

この論文は、$R$-同値の専用化と未分岐コホモロジーの2つの新しい手法を用いて、非代数的閉体上での滑らかな3次超曲面の安定非有理型を確立する。具体的には、普遍的に $CH_0$-自明でない明示的な例を構成することで、非代数的閉体上での安定非有理型を示している。主な貢献は、$
\mathbb{C}((\lambda_1))\cdots((\lambda_{\ell+1}))$ 上で次元 $n-1$ の3次超曲面について $3 \leq n \leq 2^{\ell-1}+1$ および $k((\lambda_2))\cdots((\lambda_{\ell+1}))$ 上で $n \leq \ell+3$ について安定非有理型を証明することである。ここで $k$ は立方根を持たない元を含む。

ABSTRACT

We propose and compare various techiques available to produce smooth cubic hypersurfaces over a non-algebraically-closed field which have rational points but which are not stably rational over their ground field.

研究の動機と目的

• 非代数的閉体上での奇数次元の滑らかな3次超曲面の安定有理型に関する未解決問題に取り組む。
• $p$-進体や局所体のケースにとどまらず、反復ローレンツ級数体を含むより広いクラスの体へ、非安定有理型に関する既存の結果を拡張する。
• コホモロジカルおよび幾何学的専用化技術を用いて、普遍的に $CH_0$-自明でない3次超曲面の新しい構成を提供する。
• Chatzistamatiou–Levine および Pirutka–Colliot-Thélène の先行研究を一般化・精緻化し、基本体の仮定を弱め、非安定有理型が示される次元の範囲を拡大する。
• 非安定有理型の3次超曲面が存在する次元の集合が区間をなすかどうかを調査し、有理型の障害に関する広範な理解に貢献する。

提案手法

• 特異なファイバー（codimension 2）への $R$-同値の専用化を、$F = k((x))$ 上の3次超曲面の族に対して用いる。ここで $k$ は $2^\ell$ 次元の非分解的 Pfister 形式をもつ体である。
• 特異ファイバーの特異点解消への未分岐コホモロジーの「後続」を適用し、$R$-同値類群の非自明性を検出する。
• 基本体 $k$ に立方根を持たない元が存在することを根拠に、$F = k((\lambda_2))\cdots((\lambda_{\ell+1}))$ 上の対角的3次超曲面を構成し、普遍的に $CH_0$-自明でない性質をもたせる。
• 未分岐コホモロジー理論と $CH_0(X_L) \to \mathbb{Z}$ の次数写像の非自明性を用いて、有理型および安定有理型の障害を示す。
• 二次形式および Pfister 形式の理論を用いて、基本体上に所望の次元の非分解的形式が存在することを保証する。
• $u(F((t))) = 2u(F)$ であるという事実を用いて、反復ローレンツ級数体における形式およびコホモロジー的障害の振る舞いを制御する。

実験結果

リサーチクエスチョン

• RQ1 どの非代数的閉体 $F$ に対して、$F$-有理点をもつ滑らかな3次超曲面 $X \subset \mathbb{P}^n_F$ で、安定有理型でないものが存在するか？
• RQ2 $\mathbb{C}((\lambda_1))\cdots((\lambda_{\ell+1}))$ のような体上で、普遍的に $CH_0$-自明でない滑らかな3次超曲面の例を構成できるか？
• RQ3 非安定有理型の3次超曲面が存在する次元 $n$ の集合は、連続する区間をなすか？
• RQ4 局所体上の3次超曲面の族において、$R$-同値と未分岐コホモロジーの障害はどのように作用し合うか？
• RQ5 専用化とコホモロジー的検出の手法を、$p$-進体やローレンツ級数設定における $n = 2^\ell$ の場合に拡張できるか？

主な発見

• $k$ を特性 $\neq 2$ で $2^\ell$ 次元の非分解的 Pfister 形式をもつ体とし、$F = k((x))$ とする。このとき、すべての $n$ について $3 \leq n \leq 2^{\ell-1}+1$ に対して、$F$-点をもつ滑らかな3次超曲面 $X \subset \mathbb{P}^n_F$ が存在し、$R$-同値でない（したがって安定有理型でもない）。
• $k$ を特性 $\neq 3$ で $a \notin k^{*3}$ を含む体とし、$F = k((\lambda_2))\cdots((\lambda_{\ell+1}))$ とする。このとき、すべての $n$ について $3 \leq n \leq \ell+3$ に対して、$F$-点をもつ滑らかな対角的3次超曲面 $X \subset \mathbb{P}^n_F$ が存在し、普遍的に $CH_0$-自明でない（したがって安定有理型でもない）。
• 第3節の構成は、$\mathbb{C}((\lambda_1))\cdots((\lambda_{\ell+1}))$ のような体に適用可能であり、次元 $n-1$ で $n \leq 2^{\ell-1}+1$ の非安定有理型3次超曲面の新しい例を提供する。
• 第4節の手法により、$k$ が立方根を持たない元を含む $k((\lambda_2))\cdots((\lambda_{\ell+1}))$ のような体上で、$n \leq \ell+3$ に対して非 $CH_0$-自明な例が得られる。
• Pirutka–Colliot-Thélène や Chatzistamatiou–Levine の先行構成を拡張し、次元および体の範囲を新たな範囲に拡大している。
• 本論文は、非安定有理型の3次超曲面が存在する次元 $n$ の集合が、常に区間をなすとは限らないことを示しており、第3節と第4節の構成は、体の構造に依存して互いに重複しない範囲をカバーしている。