[论文解读] Comparing descent obstruction and Brauer-Manin obstruction for open varieties

Yang Cao, Cyril Demarche+1 more|arXiv (Cornell University)|Apr 10, 2016

Algebraic Geometry and Number Theory参考文献 19被引用 5

一句话总结

本文在数域上的开概形上建立了下降障碍与Brauer–Manin障碍之间的精确关系，将已知的光滑射影概形情形下的等价性推广至光滑拟射影概形。它证明了对于连通线性代数群或环面的 torsor，相对于 Br₁(X) 或 Br(X) 的 Brauer–Manin 集等于所有扭曲 torsor 的adelić 点的并集，从而为通过强逼近研究有理点与整点提供了精细工具。

ABSTRACT

We provide a relation between Brauer-Manin obstruction and descent obstruction for torsors over open varieties under a connected linear algebraic group or a group of multiplicative type is given. Such a relation is further refined for torsors under a torus. As an appliaction, we prove that the semi-simple part of a connected linear algebraic group will satisfy strong approximation with Brauer-Manin obstruction if G iteself satisfies strong approximation with Brauer-Manin obstruction.The equivalence between descent obstruction and etale Brauer-Manin obstruction for smooth projective varieties is extended to smooth quasi-projective varieties, which provides the perspective to study integral points.

研究动机与目标

• 将已知的下降障碍与étale Brauer–Manin障碍之间的等价性，从光滑射影概形推广至光滑拟射影概形。
• 为连通线性代数群或乘法型群作用下的开概形上的 torsor，建立下降障碍与Brauer–Manin障碍之间的精确关系。
• 特别针对环面的 torsor 精炼该关系，以支持强逼近与整点的应用。
• 提供一个利用adelić 条件与 torsor 扭转研究开概形上整点的框架。

提出的方法

• 利用 [BD]、[CT08]、[CTX]、[D]、[Ha08] 与 [HS05] 中的算术工具，分析开概形上 torsor 及其扭曲。
• 应用拉回映射 $f_{\tau}^*$，将扭曲 torsor $Y^\tau$ 的 Brauer 群与基概形 $X$ 的 Brauer 群关联，从而在定理 1.1 中建立关键等式。
• 利用 Sansuc 的工作中的正合列，在 $G$ 为环面时进一步精炼关系，导出定理 1.2。
• 利用纤维丛理论构造与上同调障碍（通过 $H^2(k, T^\tau)$）证明命题 7.4 中 1-上链的提升条件。
• 利用包含 $H^1(X', T^\sigma)$ 与 $\operatorname{Hom}_k(\widehat{T^\sigma}, KD'(X'))$ 的正合列中映射 $\partial$ 的满射性，证明 $\partial(\lambda_\sigma') = 0$，从而实现上链的提升。
• 通过将 [D09, 命题 5] 推广至开概形，证明包含关系 $X(\mathbf{A}_k)^{\text{ét, Br}} \subseteq X(\mathbf{A}_k)^{\text{desc}}$。

实验结果

研究问题

• RQ1 下降障碍与étale Brauer–Manin障碍之间的等价性是否可从光滑射影概形推广至光滑拟射影概形？
• RQ2 对于非完备或开结构的概形，Brauer–Manin障碍如何用扭曲 torsor 表示？
• RQ3 当 torsor 是环面时，Brauer–Manin 集 $X(\mathbf{A}_k)^{\text{Br}_1(X)}$ 与扭曲 torsor 的adelić 点之间的确切关系为何？
• RQ4 能否利用精炼的障碍框架，证明强逼近中 Brauer–Manin障碍的充分条件也是必要的？

主要发现

• 对于任意定义在数域 $k$ 上的连通线性代数群 $G$ 作用下的 torsor $f: Y \to X$，满足 $A \supseteq \ker(f^*)$ 的 Brauer–Manin 集 $X(\mathbf{A}_k)^A$ 等于所有扭曲 $Y^\sigma$ 在 $f_\sigma^*$ 下的 adelić 点的并集，如定理 1.1 所述。
• 当 $G$ 为环面时，有 $X(\mathbf{A}_k)^{\text{Br}_1(X)} = \bigcup_{\sigma \in H^1(k,G)} f_\sigma(Y^\sigma(\mathbf{A}_k)^{\text{Br}_1(Y^\sigma)})$，这在 $\text{Br}_1$-群层面上精炼了障碍。
• 对于完整的 Brauer 群，有 $X(\mathbf{A}_k)^{\text{Br}} = \bigcup_{\sigma \in H^1(k,G)} f_\sigma(Y^\sigma(\mathbf{A}_k)^{\text{Br}_1(Y^\sigma) + f_\sigma^*(\text{Br}(X))})$，表明完整的障碍可由扭曲 torsor 捕获。
• $X(\mathbf{A}_k)^{\text{ét, Br}} \subseteq X(\mathbf{A}_k)^{\text{desc}}$ 对所有数域上的光滑几何整概形成立，将 [D09] 的结果推广至开概形。
• 在定理 1.4 中，通过精炼的障碍框架，证明了 [D] 中建立的强逼近中 Brauer–Manin障碍的充分条件也是必要的。
• 证明依赖于 $H^2(k, T^\sigma)$ 中的上同调障碍，并表明若 $\partial(\lambda_\sigma') = 0$，则 1-上链 $\sigma \in H^1(k,F)$ 可上移到 $H^1(k,G)$，而此条件成立是因为相关正合列中映射 $\partial$ 的满射性。