[论文解读] The Brauer-Manin obstruction for zero-cycles on K3 surfaces

Evis Ieronymou|arXiv (Cornell University)|Apr 11, 2018

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

一句话总结

本文在假设所有有限扩张上 rational points 的 Brauer-Manin 障碍是唯一障碍的前提下，证明了在数域上的 K3 曲面上，零循环的度数为 $d$ 的存在性问题中，Brauer-Manin 障碍是唯一的障碍。通过在 $\mathbb{P}^1$ 上使用纤维化方法，并利用 Skorobogatov–Zarhin 与 Orr–Skorobogatov 关于 Brauer 群有界性的结果，作者将 Liang 在有理连通簇上的结果推广至 $K3$ 曲面，从而绕过了 $H^2(X_{\overline{k}}, \mathcal{O}) = 0$ 不成立的问题。

ABSTRACT

We study local-global principles for zero-cycles on K3 surfaces defined over number fields. We follow an idea of Liang to use the trivial fibration over the projective line.

研究动机与目标

• 将 Liang 关于零循环的 Brauer-Manin 障碍结果推广至 $K3$ 曲面，这些曲面不满足 $H^2(X_{\overline{k}}, \mathcal{O}) = 0$。
• 建立在数域上的 $K3$ 曲面上，零循环度数为 $d$ 的存在性问题中，Brauer-Manin 障碍是唯一障碍。
• 为如下猜想提供证据：Brauer-Manin 障碍控制 $K3$ 曲面上的 rational points 和零循环。

提出的方法

• 通过 $\mathbb{P}^1$ 上的平凡纤维化方法，将问题约化为纤维上的局部条件。
• 利用 Skorobogatov–Zarhin 与 Orr–Skorobogatov 关于数域上 $K3$ 曲面 Brauer 群的有界性结果，绕过 $H^2 = 0$ 的假设。
• 应用 Harpaz–Wittenberg 关于纤维化方法的结果，以控制零循环的局部到整体原则。
• 使用伽罗瓦上同调与 Hochschild–Serre 族谱序列，关联基域及其扩张上的 Brauer 群。
• 应用弱逼近技巧，构造与局部数据模 $n$ 匹配的零循环。
• 利用 $CH_0(X_{k_v})/n$ 由可除性与局部几何控制的事实，使全局与局部零循环类相匹配。

实验结果

研究问题

• RQ1 在假设其对所有有限扩张上的 rational points 成立的前提下，Brauer-Manin 障碍是否控制数域上 $K3$ 曲面上度数为 $d$ 的零循环的存在性？
• RQ2 尽管 $H^2(X_{\overline{k}}, \mathcal{O}) = 0$ 不成立，纤维化方法是否仍可适用于 $K3$ 曲面？
• RQ3 在相同 rational point 假设下，Brauer-Manin 障碍是否是 $K3$ 曲面上零循环弱逼近的唯一障碍？
• RQ4 在多大程度上，$K3$ 曲面的 Brauer 群控制零循环的局部到整体原则？
• RQ5 此类局部整体结果在多大程度上能支持 $K3$ 曲面 Brauer–Chow 复形的猜想精确性？

主要发现

• 在数域 $k$ 上的 $K3$ 曲面 $X$ 上，若对 $k$ 的所有有限扩张，Brauer-Manin 障碍是 rational points 存在性的唯一障碍，则 Brauer-Manin 障碍也是度数为 $d$ 的零循环存在的唯一障碍。
• 通过纤维化技术和 Brauer 群的有界性，该结果将 Liang 的定理由有理连通簇推广至 $K3$ 曲面。
• 对任意 $n \geq 1$，在弱逼近假设下，存在一个零循环 $b$，使得其在所有位置 $v$ 上模 $n$ 与给定的局部零循环族 $\{z_v\}$ 在 $CH_0(X_{k_v})$ 中匹配。
• 该证明依赖于在适当条件下，对几乎所有 $v$，$CH_0(X_{k_v})$ 模 $n$ 是可除的。
• 对合适的扩张 $k'/k$，映射 $\mathrm{Br}(X)/\mathrm{Br}_0(X) \to \mathrm{Br}(X_{k'})/\mathrm{Br}_0(X_{k'})$ 是同构，从而确保对基域上 Brauer 群的控制。
• 作者证明了，若 $A_0(X_{k_v})$ 具有更强的可除性性质，则 Brauer–Chow 精确序列猜想 (E) 将成立，而该性质在 $K3$ 曲面上仍为开放问题。