[论文解读] Obstructions to integral points on affine Châtelet surfaces

Jennifer Berg|arXiv (Cornell University)|Oct 22, 2017

Algebraic Geometry and Number Theory参考文献 13被引用 4

一句话总结

本文研究了在数域上定义的仿射Châtelet曲面 $x^2 - ay^2 = P(t)$ 上整点的Brauer–Manin障碍。结果表明，与它们的紧化形式不同，这些曲面的Brauer群不总是由四元数代数生成，且在 $\mathbb{Q}$ 上提供了显式例子：这些例子在所有局部域上均有局部点且存在有理点，但无整点——而这种失败无法通过Brauer–Manin障碍来解释，甚至在 $\mathbb{Z}[1/2]$ 上亦然。关键贡献在于构造了非循环Brauer类，并通过Galois上同调中的上链提升发展出一种有效算法来计算其局部不变量。

ABSTRACT

We consider the Brauer-Manin obstruction to the existence of integral points on affine surfaces defined by $x^2 - ay^2 = P(t)$ over a number field. We enumerate the possibilities for the Brauer groups of certain families of such surfaces, and show that in contrast to their smooth compactifications, the Brauer groups of these affine varieties need not be generated by cyclic (e.g. quaternion) algebras. Concrete examples are given of such surfaces over $\mathbb{Q}$ which have solutions in $\mathbb{Z}_{p}$ for all $p$ and solutions in $\mathbb{Q}$, but for which the failure of the integral Hasse principle cannot be explained by a Brauer-Manin obstruction. The methods of this paper build on the ideas of several recent papers in the literature: we study the Brauer groups (modulo constant algebras) of affine Châtelet surfaces with a focus on explicitly representing, by central simple algebras over the function field of $X$, a finite set of classes of the Brauer group which generate the quotient. Notably, we develop techniques for constructing explicit representatives of non-cyclic Brauer classes on affine surfaces, as well as provide an effective algorithm for the computation of local invariants of these Brauer classes via effective lifting of cocycles in Galois cohomology.

研究动机与目标

• 研究仿射Châtelet曲面（即整点与有理点不同的非完备代数簇）上整点的Brauer–Manin障碍。
• 确定Brauer–Manin障碍是否能解释此类曲面上整Hasse原理的失败，尤其在处处存在局部解和有理点的情况下。
• 分析仿射Châtelet曲面的Brauer群结构 $\operatorname{Br}X/\operatorname{Br}_0X$，特别是其是否由循环代数生成。
• 通过Galois上同调与上链提升，发展有效计算Brauer类（包括非循环类）局部不变量的技术。
• 通过构造在 $\mathbb{Z}[1/2]$ 上无Brauer–Manin障碍但无整点的例子，证明实点的紧致性并非整点缺失的唯一障碍。

提出的方法

• 本文研究仿射Châtelet曲面 $x^2 - ay^2 = cP(t)$ 的Brauer群，其中 $P(t)$ 为可分多项式且 $a$ 不是平方数，重点分析 $\operatorname{Br}X/\operatorname{Br}_0X$。
• 通过Galois上同调中的2-上链，特别在无分支扩张与范数形式的背景下，显式构造非循环Brauer类的代表元。
• 提出一种有效算法，通过在无分支分圆扩张上提升Galois上同调中的上链，计算Brauer类的局部不变量。
• 该方法涉及分析Galois群在函数域上的作用，并利用范数关系来检验 $\operatorname{Br}X/\operatorname{Br}_0X$ 中类的平凡性，尤其针对8阶类。
• 针对 $p=2$ 处的局部可解性，论文修改基点并应用专门算法，验证不变量映射到 $\frac{1}{4}\mathbb{Z}/\mathbb{Z}$ 的满射性，从而确认Brauer–Manin集非空。
• 利用代数的分裂条件，将分裂存在性归约为 $-1$ 是否为某些Galois扩张（特别是 $K/K^{\langle gh\rangle}$）中的范数。

实验结果

研究问题

• RQ1 当有理点和 $p$-进点在所有地方均存在时，Brauer–Manin障碍能否解释仿射Châtelet曲面上整Hasse原理的失败？
• RQ2 仿射Châtelet曲面的Brauer群是否总是由循环代数（如四元数代数）生成，还是可能包含非循环类？
• RQ3 能否通过Galois上同调有效计算仿射曲面上Brauer类（尤其是非循环类）的局部不变量？
• RQ4 当通过在 $\mathbb{Z}[1/2]$ 上工作来消除实点紧致性障碍后，$S$-整Hasse原理的失败是否仍持续存在？
• RQ5 在实轨迹非紧致的情况下，Brauer–Manin障碍是否足以解释整点缺失的现象？

主要发现

• 某些仿射Châtelet曲面的Brauer群并非由循环代数生成；本文显式构造了8阶非循环Brauer类的例子。
• 对于由 $x^2 + y^2 + t^4 = 22$ 定义的曲面 $X_{22}$，存在有理点且对所有 $p$ 均有 $p$-进点，但在 $\mathbb{Z}$ 上无整点，且Brauer–Manin障碍无法解释此失败。
• 即使在 $\mathbb{Z}[1/2]$ 上，Brauer–Manin障碍也不足以解释 $S$-整Hasse原理的失败，如对 $m$ 在 $\mathbb{Q}$ 中非平方数或四次幂的 $X_m$ 所示。
• 本文提供了一种有效算法，通过在Galois上同调中提升上链来计算Brauer类的局部不变量，尤其适用于 $\mathbb{Q}_p$ 的无分支扩张。
• 对于 $X_{22}$，在 $p=2$ 处的局部不变量映射满射到 $\frac{1}{4}\mathbb{Z}/\mathbb{Z}$，确认Brauer–Manin集非空，尽管无整点。
• Brauer类 $\mathcal{A}$ 的分裂存在性等价于 $-1$ 是扩张 $\mathbb{Q}(\sqrt[4]{22}(1+i))$ 中的范数，此结论成立，因为所有素点（包括 $v=2$）的局部不变量均为平凡。