Local-global principles for semi-integral points on Markoff orbifold pairs

技术摘要：关于 Markoff 轨道对上半整点（Semi-Integral Points）的局部-全局原理

问题陈述
本文研究了与 Markoff 曲面相关的轨道对上半整点的局部-全局原理。虽然 Markoff 曲面（$u_1^2 + u_2^2 + u_3^2 - u_1u_2u_3 = m$）上的有理点和整点（包括关于 Hasse 原理和整点密度的研究）的算术性质已被广泛研究，但本研究将分析扩展到了“半整点”（semi-integral points）。这些点由 Campana 和 Darmon 引入，通过对与边界除子的相交重数施加特定的整除条件，介于有理点和整点之间。作者专门针对轨道对 $(X_m, D_\omega)$ 研究这些点的行为，其中 $X_m$ 是 Markoff 曲面的光滑紧化，而 $D_\omega$ 是分配了权重 $\omega_i \in \mathbb{Z}_{\ge 2} \cup \{\infty\}$ 的边界除子。核心问题在于这些点的弱逼近（weak approximation）、强逼近（strong approximation）以及 Hasse 原理的有效性，以及在不存在整点的情况下，严格半整点（strict semi-integral points）出现的频率。

研究方法
作者结合了算术几何、二次型理论以及为半整点改编的 Brauer–Manin 阻碍框架（如 [MNS24] 中所定义）。

1. 轨道设置与定义： 研究利用了 Campana 和 Darmon 对轨道对上点的定义。一个点是半整的，如果其与边界分量 $D_i$ 的相交重数满足基于权重 $\omega_i$ 的特定条件：对于 Campana 点，重数必须在 $\mathbb{Z}_{\ge \omega_i} \cup \{0, \infty\}$ 中；对于 Darmon 点，重数必须在 $\omega_i\mathbb{Z}_{\ge 0} \cup \{ \infty \}$ 中。
2. 局部-全局分析： 作者分析了半整点在阿代尔空间（adelic space）中的密度。他们区分了“严格”点（位于仿射部分 $U = X \setminus D_{red}$）和“非严格”点（位于边界上）。通过使用几何整性论证和 Lang–Weil 估计，建立了多个有限权重下弱弱逼近（WWA）的失效性。
3. Brauer–Manin 阻碍： 作者计算了 Markoff 曲面 Brauer 群生成元的局部不变量映射的值。通过构造具有特定局部不变量值的显式阿代尔点，作者确定了是否存在针对 Hasse 原理和逼近性质的 Brauer–Manin 阻碍。
4. 通过二次型进行显式构造： 为了解决在不存在整点时严格半整点的存在性问题，作者将问题归约为由二元二次型表示整数的问题。他们利用特定判别式（例如 117, $p^2+4$, 28）的判别式类论（genus theory）和类群性质，证明了在 $m$ 满足特定同余条件时 Markoff 方程解的存在性。

主要贡献与结果

• 多权重下的逼近失效： 本文证明，如果权重 $\omega_1, \omega_2, \omega_3$ 中至少有两个是有限的，则轨道对 $(X_m, D_\omega)$ 在半整点意义下失效弱弱逼近。这是此类研究中首次针对具有多个不可约边界分量的 Campana 轨道的结论。
• 单有限权重下的逼近： 在恰好有一个权重为有限的情况下，其行为取决于 $m-4$ 的算术性质。如果 $m-4$ 在 $\mathbb{Q}$ 中是平方数，则弱逼近成立。如果不是，则该对失效 Campana 弱逼近；如果有限权重为偶数，则同样失效 Darmon 弱逼近。这些失效归因于 Brauer–Manin 阻碍。
• 强逼近： 作者证明，如果至少有两个权重是有限的，则在任何有限集之外的强逼近均失效。此外，如果 $m-4$ 不是平方数且至少有一个权重是有限的，则在任何包含在 $m-4$ 为平方数的素数集合 $T$ 之外的强逼近均失效。
• 严格点的 Hasse 原理： 研究表明，Markoff 轨道对族满足半整 Hasse 原理。不同于整点情况（在整点情况下，局部阻碍可能阻止全局点的存在，如 [GS22], [LM21] 所述），严格半整 Hasse 原理成立，因为点 $(0:0:1:1)$ 始终是半整的。
• Brauer–Manin 阻碍的缺失： 对于严格半整点，作者证明不存在代数 Brauer–Manin 阻碍来限制 Hasse 原理。在关于 $m$ 的特定算术条件（与域 $\mathbb{Q}(\sqrt{m}, \sqrt{m-4})$ 相关）下，也不存在超越 Brauer–Manin 阻碍。
• 在无整点时的严格半整点存在性： 一个重要的贡献是构造了显式的 Markoff 轨道对族，这些轨道对拥有严格半整点但缺乏整点。
  • 定理 1.7： 作者建立了满足 $|m| \le B$ 的此类整数 $m$ 的数量下界。具体而言，如果一个权重是有限的，则此类 $m$ 的数量为 $\gg B / (\log B)^{1/2}$。
  • 显式族： 本文利用二元二次型提供了具体的构造（定理 4.1, 4.2, 4.5）。例如，对于具有特定同余条件的 $m = 6d$，严格半整点存在，而 $U_m(\mathbb{Z}) = \emptyset$。

意义与主张
本文声称是第一个系统研究具有多个不可约边界分量的 Campana 轨道对局部-全局原理的研究。它强调了整点与严格半整点行为之间的根本差异：虽然 Markoff 曲面上的整点经常出现 Hasse 原理失效（即局部存在但全局不存在，如 [GS22], [LM21] 所示），但对应于轨道对的严格半整点却满足 Hasse 原理。

作者将其工作定位为理解仿射簇族中局部-全局原理失效的一步。通过量化在缺少整点的情况下严格半整点存在的频率，他们提供了一个具体的 Markoff 轨道对子族，作为无法预测整点 Hasse 失效的通用理论缺乏性的测试案例。结果表明，半整点可以“修复”整点设定中观察到的 Hasse 原理失效，为 Markoff 曲面的算术提供了新的视角。本文并不声称提供适用于所有仿射簇的通用理论，而是提供了针对 Markoff 情况的具体、说明性的结果，这些结果可能为未来的推广提供参考。