[论文解读] Brauer-Manin obstruction for Markoff surfaces

Jean-Louis Colliot-Thélène, Dasheng Wei+1 more|arXiv (Cornell University)|Aug 5, 2018

Algebraic Geometry and Number Theory参考文献 12被引用 7

一句话总结

本文研究了在由 $x^2 + y^2 + z^2 - xyz = m$ 定义的 Markoff 曲面上，积分 Hasse 原理和强逼近的 Brauer-Manin 障碍。通过显式计算 Brauer 群与 Brauer-Manin 集，作者表明当 $m \neq 0,4$ 时，强逼近失败，且 Brauer 群无法控制强逼近，表明存在超越互反律的更深层次算术障碍。

ABSTRACT

Ghosh and Sarnak have studied integral points on surfaces defined by an equation x^2+y^2+z^2-xyz= m over the integers. For these affine surfaces, we systematically study the Brauer group and the Brauer-Manin obstruction to the integral Hasse principle. We prove that strong approximation for integral points on any such surface, away from any finite set of places, fails, and that, for m eq 0, 4, the Brauer group does not control strong approximation.

研究动机与目标

• 确定 Brauer-Manin 障碍是否能解释 Markoff 曲面上积分 Hasse 原理与强逼近失败的原因。
• 计算由 $x^2 + y^2 + z^2 - xyz = m$ 定义的 Markoff 曲面 $U_m$ 的 Brauer 群 $\mathrm{Br}(U_m)/\mathrm{Br}(\mathbb{Q})$。
• 分析 Brauer-Manin 集 $\mathcal{U}_m(A_\mathbb{Z})_\bullet^{\mathrm{Br}}$ 的结构及其与整数点的关系。
• 研究整数点的闭包 $\mathcal{U}_m(\mathbb{Z})$ 是否等于 Brauer-Manin 集，特别是在强逼近的背景下。

提出的方法

• 利用 Markoff 曲面方程与其它形式的等价性，例如 $(2z - xy)^2 - 4d = (x^2 - 4)(y^2 - 4)$，其中 $d = m - 4$，以分析实与 $p$-进几何。
• 应用拓扑论证，利用 $U_m(\mathbb{R})$ 的连通分支数，表明当 $m \geq 4$ 时 $\#\pi_0(U_m(\mathbb{R})) = 1$，当 $0 \leq m < 4$ 时为 5，当 $m < 0$ 时为 4。
• 利用 Brauer-Manin 配对 $\mathcal{U}_m(A_\mathbb{Z})_\bullet \times \mathrm{Br}(U_m) \to \mathbb{Q}/\mathbb{Z}$ 定义 Brauer-Manin 集 $\mathcal{U}_m(A_\mathbb{Z})_\bullet^{\mathrm{Br}}$。
• 利用由 Vieta 对合、符号变换与置换生成的自同构群 $\Gamma$ 的作用，分析轨道结构与分量的传递性。
• 应用引理 7.1（通过闭连通子集覆盖证明连通性）证明当 $m \geq 4$ 时 $U_m(\mathbb{R})$ 是连通的。
• 分析实与 $p$-进纤维的几何结构，以确定局部解是否存在，以及它们是否与 Brauer 群正交。

实验结果

研究问题

• RQ1 对于哪些 $m \neq 0,4$，Brauer-Manin 障碍控制 Markoff 曲面 $U_m$ 上的强逼近？
• RQ2 Brauer 群 $\mathrm{Br}(U_m)/\mathrm{Br}(\mathbb{Q})$ 是否有限，且能否对所有 $m$ 显式计算？
• RQ3 Brauer-Manin 集 $\mathcal{U}_m(A_\mathbb{Z})_\bullet^{\mathrm{Br}}$ 是否等于 $\mathcal{U}_m(\mathbb{Z})$ 在 adelic 拓扑下的闭包？
• RQ4 是否存在未被二次互反律解释的 $U_m$ 上的积分 Hasse 原理反例，且这些反例是否由 Brauer-Manin 障碍所涵盖？
• RQ5 当 $m$ 变化时，$U_m(\mathbb{R})$ 的连通分支数如何变化，其对 adelic 拓扑与强逼近有何影响？

主要发现

• 当 $m \neq 0,4$ 时，Brauer 群 $\mathrm{Br}(U_m)/\mathrm{Br}(\mathbb{Q})$ 无法控制 Markoff 曲面 $U_m$ 上的强逼近。
• 当 $m \neq 0,4$ 时，强逼近在任何有限个位置之外均不成立，即 $\mathcal{U}_m(\mathbb{Z})$ 在 $\mathcal{U}_m(A_\mathbb{Z})_\bullet$ 中不稠密。
• 实点集 $U_m(\mathbb{R})$ 的连通分支数为：当 $m \geq 4$ 时为 1 个，当 $0 \leq m < 4$ 时为 5 个，当 $m < 0$ 时为 4 个；后者的四个分支无界，且被自同构群 $\Gamma$ 传递作用。
• 当 $m < 0$ 时，四个无界分支分别为：$\{(x,y,z) \in U_m(\mathbb{R}) : x \geq 2, y \geq 2\}$，$\{x \leq -2, y \geq 2\}$，$\{x \leq -2, y \leq -2\}$，和 $\{x \geq 2, y \leq -2\}$。
• 当 $0 \leq m < 4$ 时，五个分支包括四个无界分支与一个有界分支 $\{ -2 \leq x,y \leq 2 \}$，当 $m = 0$ 时该有界分支退化为 $\{(0,0,0)\}$。
• 作者确认 Ghosh 与 Sarnak 发现的积分 Hasse 原理反例并非全由互反律解释，Brauer-Manin 障碍在某些情况下提供了更深层的解释，但并非全部。