[论文解读] Cycles de codimension 2 et H^3 non ramifié pour les variétés sur les corps finis

Jean-Louis Colliot-Thélène, Bruno Kahn|arXiv (Cornell University)|Apr 17, 2011

Algebraic Geometry and Number Theory参考文献 47被引用 3

一句话总结

本文研究了有限域上光滑射影三复形 $X$ 的无分支上同调群 $H^3_{ ext{nr}}(X, Ω^2)$，表明其消失——结合除子的 Tate 猜想——意味着在曲线上的纤维化之通用纤维上，零循环的 Brauer–Manin 型局部整体原则成立。其关键贡献在于提出了一种新视角，将高阶上同调与零循环的算术联系起来，扩展了三十余年前的基础工作。

ABSTRACT

Let $X$ be a smooth projective variety over a finite field $\F$. We discuss the unramified cohomology group $H^3_ r(X,\Q/\Z(2))$. Several conjectures put together imply that this group is finite. For certain classes of threefolds, $H^3_ r(X,\Q/\Z(2))$ actually vanishes. It is an open question whether this holds true for arbitrary threefolds. For a threefold $X$ equipped with a fibration onto a curve $C$, the generic fibre of which is a smooth projective surface $V$ over the global field $\F(C)$, the vanishing of $H^3_ r(X,\Q/\Z(2))$ together with the Tate conjecture for divisors on $X$ implies a local-global principle of Brauer--Manin type for the Chow group of zero-cycles on $V$. This sheds a new light on work started thirty years ago. ----- Soit $X$ une variété projective et lisse sur un corps fini $\F$. On s'intéresse au groupe de cohomologie non ramifiée $H^3_ r(X,\Q/\Z(2))$. Un faisceau de conjectures implique que ce groupe est fini. Pour certaines classes de solides, on a $H^3_ r(X,\Q/\Z(2))=0$. Savoir si c'est le cas pour tout solide est un problème ouvert. Lorsqu'un solide $X$ est fibré au-dessus d'une courbe $C$, de fibre générique une surface projective et lisse $V$ sur le corps global $\F(C)$, la combinaison de $H^3_ r(X,\Q/\Z(2))=0$ et de la conjecture de Tate pour $X$ a pour conséquence un principe local-global de type Brauer--Manin pour le groupe de Chow des zéro-cycles de la fibre générique $V$. Ceci éclaire d'un jour nouveau des investigations commencées il y a trente ans.

研究动机与目标

• 理解光滑射影三复形 $X$ 在有限域上，无分支上同调群 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 的结构与有限性。
• 研究 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2)) = 0$ 是否对所有有限域上的三复形普遍成立。
• 建立该上同调群消失与正特征全球域上曲面零循环的局部整体原则之间的联系。
• 将 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 的猜想消失与 $X$ 上除子的 Tate 猜想联系起来，从而统一算术猜想。

提出的方法

• 利用无分支上同调理论与动机上同调，通过周期映射与 étale 上同调分析 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$。
• 在伽罗瓦上同调中应用下降技巧，将有限域上的上同调不变量与全球域上的联系起来。
• 运用动机复形与 $K$-理论理论，将 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 解释为有理等价性的挠障碍。
• 结合 $X$ 上除子的 Tate 猜想与 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 的消失，推导出关于通用纤维上零循环的算术后果。
• 通过 Brauer–Manin 障碍将零循环的局部整体原则转化为上同调语言。
• 依赖于标准猜想（Tate、Beilinson、Bass）下 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 的猜想有限性与消失结果。

实验结果

研究问题

• RQ1 对所有有限域上的光滑射影三复形 $X$，是否都有 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2)) = 0$？
• RQ2 当 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2)) = 0$ 与 $X$ 上除子的 Tate 猜想结合时，其精确算术后果是什么？
• RQ3 在正特征全球域上曲面的背景下，$H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 的消失如何蕴含 Brauer–Manin 型局部整体原则？
• RQ4 在何种程度上，$H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 的猜想有限性限制了有限域上三复形的零循环的 Chow 群？
• RQ5 能否从算术几何中的其他标准猜想推导出 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 的猜想消失？

主要发现

• 对于有限域上的光滑射影三复形 $X$，无分支上同调群 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 被猜想为有限，且在某些三复形类中完全消失。
• 若 $X$ 是曲线 $C$ 上的纤维化，其通用纤维为 $\mathbb{F}(C)$ 上的光滑射影曲面 $V$，且若 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2)) = 0$ 且 $X$ 上的除子 Tate 猜想成立，则 $V$ 上零循环的 Chow 群满足 Brauer–Manin 型局部整体原则。
• $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 的消失意味着，在 Tate 猜想下，对 $V$ 上度与 $l$ 互素的零循环的 Hasse 原理，Brauer–Manin 障碍是唯一的障碍。
• 在 Bass 猜想与除子 Tate 猜想的联合假设下，证明了 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 为有限。
• 本文确立了：若对所有有限域上的三复形，$H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ 的猜想消失成立，则将对正特征全球域上曲面的零循环蕴含一个强局部整体原则。
• 结果提供了一个新的上同调框架，统一并扩展了此前关于正特征全球域上零循环与 Brauer–Manin 障碍的研究。