[论文解读] 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 $-等价性与未分支上同调的两种新方法，证明了在非代数闭域上，光滑三次超曲面的稳定非有理性的存在性，这些例子并非普遍 $ CH_0 $-平凡。关键贡献在于证明了在 $ \mathbb{C}((\lambda_1))\cdots((\lambda_{\ell+1})) $ 这类域上，维度为 $ n-1 $ 且满足 $ 3 \leq n \leq 2^{\ell-1}+1 $ 的三次超曲面具有稳定非有理性；同时在 $ k((\lambda_2))\cdots((\lambda_{\ell+1})) $ 这类域上，当 $ k $ 包含非立方元时，对 $ n \leq \ell+3 $ 的情形也成立。

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.

研究动机与目标

• 解决关于非代数闭域上奇数维光滑三次超曲面的稳定有理性这一开放问题。
• 将现有非稳定有理性结果从 $ p $-进域或局部域推广至更广泛的域类，包括迭代洛朗级数域。
• 利用上同调与几何专门化技术，构造新的三次超曲面例子，其并非普遍 $ CH_0 $-平凡，因而非稳定有理。
• 通过弱化基域假设并扩大非稳定有理性被证明的维数范围，推广并改进 Chatzistamatiou–Levine 与 Pirutka–Colliot-Thélène 的早期结果。
• 探究非稳定有理三次超曲面存在的维数集合是否构成一个区间，从而深化对有理性障碍的总体理解。

提出的方法

• 在 $ F = k((x)) $ 上的三次超曲面族中，利用 $ R $-等价性的专门化，将其作用于余维数为 2 的奇异纤维，其中 $ k $ 是一个具有 $ 2^\ell $-维非分解 Pfister 型的域。
• 应用未分支上同调的一个推广版本于特殊纤维的解析化，以检测 $ R $-等价类群的非平凡性。
• 基于基域 $ k $ 中存在非立方元，构造 $ F = k((\lambda_2))\cdots((\lambda_{\ell+1})) $ 上的对角三次超曲面，使其具有非普遍 $ CH_0 $-平凡性。
• 依赖未分支上同调理论以及 $ CH_0(X_L) \to \mathbb{Z} $ 的度数映射的非平凡性，以阻碍有理性和稳定有理性。
• 结合二次型与 Pfister 型理论，确保在基域上存在指定维数的非分解型。
• 利用 $ u(F((t))) = 2u(F) $ 的事实，控制迭代洛 Laurent 级数域中型与上同调障碍的行为。

实验结果

研究问题

• RQ1 对于哪些非代数闭域 $ F $，存在具有 $ F $-有理点的光滑三次超曲面 $ X \subset \mathbb{P}^n_F $，但其非稳定有理？
• RQ2 能否在 $ \mathbb{C}((\lambda_1))\cdots((\lambda_{\ell+1})) $ 这类域上构造出非普遍 $ CH_0 $-平凡的光滑三次超曲面？
• RQ3 非稳定有理三次超曲面存在的维数集合 $ n $ 是否构成一个连续区间？
• RQ4 在局部域上的三次超曲面族中，$ R $-等价性与未分支上同调的障碍如何相互作用？
• RQ5 专门化与上同调检测方法是否可扩展至 $ p $-进或洛 Laurent 级数情形下的 $ n = 2^\ell $ 情况？

主要发现

• 当 $ F = k((x)) $，$ k $ 为特征 $ \neq 2 $ 的域，且存在 $ 2^\ell $-维非分解 Pfister 型（$ \ell \geq 2 $）时，对所有满足 $ 3 \leq n \leq 2^{\ell-1}+1 $ 的 $ n $，存在具有 $ F $-点的光滑三次超曲面 $ X \subset \mathbb{P}^n_F $，其非 $ R $-平凡，因而非稳定有理。
• 当 $ F = k((\lambda_2))\cdots((\lambda_{\ell+1})) $，$ k $ 为特征 $ \neq 3 $ 的域且包含满足 $ a \notin k^{*3} $ 的元素时，对所有满足 $ 3 \leq n \leq \ell+3 $ 的 $ n $，存在具有 $ F $-点的光滑对角三次超曲面 $ 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 $ 的非稳定有理三次超曲面提供了新例子。
• 第 §4 节的方法在 $ k((\lambda_2))\cdots((\lambda_{\ell+1})) $ 这类域上产生例子，其中 $ k $ 包含非立方元，实现了对 $ n \leq \ell+3 $ 的非 $ CH_0 $-平凡性。
• 结果扩展了 Pirutka–Colliot-Thélène 与 Chatzistamatiou–Levine 的早期构造，覆盖了新的维数范围与域类。
• 本文表明，非稳定有理三次超曲面存在的维数集合 $ n $ 不一定是区间，因为第 §3 与第 §4 节的构造所覆盖的范围在不同域结构下互不重叠。