Quantitative Oppenheim in signature $(2,2)$ via determinant values

技术摘要：通过行列式值研究特征 $(2, 2)$ 的定量 Oppenheim 问题

问题陈述
本文研究了特征为 $(2, 2)$ 的不定二次型的定量 Oppenheim 问题。经典的 Oppenheim 猜想（由 Margulis 证明）断言，不定无理二次型在整数向量上的取值在 $\mathbb{R}$ 中是稠密的。定量细化问题则询问计数函数如下形式的渐近行为：
$$N_Q(a, b; T) := \#\{v \in \mathbb{Z}^n : \|v\| < T, a < Q(v) < b\}$$
当 $T \to \infty$ 时。虽然这一结论在更高特征的情况下已由 Dani–Margulis 和 Eskin–Mingulis–Mozes (EMM) 建立，但低特征 $(2, 1)$ 和 $(2, 2)$ 需要额外的丢番图假设，以排除那些被有理形式过度逼近的格。$(2, 2)$ 的情况此前已由 Eskin–Margulis–Mozes 证明。本文通过将问题重新表述为 $M_2(\mathbb{R})$ 上格的行列式值问题，为 $(2, 2)$ 情况提供了一个新的证明。

方法论
作者利用 $\mathbb{R}^4$ 与 $M_2(\mathbb{R})$ 的等价关系，将问题重新表述。其中二次型为行列式：
$$Q_0 \begin{pmatrix} x & y \\ z & w \end{pmatrix} = xw - yz.$$
因此，问题转化为统计具有特定行列式值的格点 $\Lambda < M_2(\mathbb{R})$。证明采用了修正高度与规避策略 (modified-height and avoidance strategy)，这是一种作者在处理 $(2, 1)$ 情况时开发的动力系统方法。

关键方法论组成部分包括：

1. 动力系统设置： 问题在 unimodular 格空间 $X = SL_4(\mathbb{R})/SL_4(\mathbb{Z})$ 上进行分析。群 $H = SL_2(\mathbb{R}) \otimes SL_2(\mathbb{R})$ 的作用对应于 $M_2(\mathbb{R})$ 上的自然作用。
2. 修正高度函数： 标准高度函数 $\alpha(\Delta)$（衡量外幂空间中最小非零向量的大小）在临界外幂次数 2 处无法满足所需的一致矩界限，因为存在“拟零 (quasi-null)”有理平面。作者引入了一个修正高度 $\tilde{\alpha}_{\eta, M}$，它排除了其 Plücker 向量极度接近异常子模 $M_c$ 或 $M_r$ 的“拟零”有理二平面。
3. 辅助高度与收缩： 为了证明修正高度的矩界限，引入了一个辅助高度 $\hat{\alpha}_{\eta, M, \theta}$。该高度包含一个权重函数 $\phi_\theta$，用于惩罚靠近异常子模的行为，从而补偿在这些子空间附近收缩估计的退化。
4. 异常集的规避： 证明利用了结合以下内容的停止时间迭代：
   • 在远离异常集（即非拟零有理平面被携带至极靠近异常加成项处）时的收缩估计。
   • 定量非发散性 (quantitative non-divergence) 以及丢番图条件，用以证明流会规避异常集（即非拟零有理平面被携带至极靠近异常加成项处）。
5. 奇异贡献的分离： 作者区分了精确有理各向同性平面（行列式恒为零）与拟零平面。他们证明对于行列式无理格，精确有向各向同性平面的数量是有限的。拟零但非各向同性平面的贡献在极限下趋于零，而精确各向同性平面则对渐近公式贡献一个奇异项。

主要贡献与结果
本文建立了以下主要定理 (Theorem 1.1)：

设 $\Lambda < M_2(\mathbb{R})$ 为一个丢番图格且不是行列式有理的。对于 $\mathbb{R}^4$ 上的任何范数 $\|\cdot\|$ 及任何 $a < b$，具有非零行列式的格点数量满足：
$$N^\times_\Lambda(a, b; T) \sim \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)} (b-a)T^2.$$
此外，对于行列式为零的点，极限存在：
$$c^{\text{sing}}_\Lambda := \lim_{T \to \infty} T^{-2} \#\{v \in \Lambda : \|v\| < T, \det v = 0\}.$$
总计数函数由下式给出：
$$N_\Lambda(a, b; T) \sim \left( \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)}(b-a) + c^{\text{sing}}_\Lambda \mathbf{1}_{\{0 \in (a, b)\}} \right) T^2.$$

具体技术发现：

• 各向同性平面的有限性： 对于非行列式有理格，最多存在四个行列式恒为零的有理二平面（最多两个列各向同性和两个行各向同性）。这种有限性是 $2 \times 2$ 情况的一个特殊特征。
• 奇异常数： 当且仅当 $\Lambda$ 包含一个行列式为零的秩为二的 $\mathbb{Z}$-子模时，$c^{\text{sing}}_\Lambda$ 严格大于零。它是通过对这些有限个有理各向同性平面求和显式计算得出的。
• 丢番图条件： 该结果在“分裂丢番图 (split-Diophantine)”条件下成立，该条件防止了行列式形式被过于接近地由有理分裂二次型逼近。这等价于 Eskin–Margulis–Mozes 使用的非 EWAS 条件。
• 代数系数： 作为推论，该定理适用于任何非行列式有理的具有代数分量的格，因为通过 Liouville 型不等式，它们自动满足丢番图条件。

意义与主张
本文声称其原创性主要在于证明技术而非定理本身。

• 精简模型： 通过在 $2 \times 2$ 行列式设定下工作，作者为修正高度与规避法提供了一个“精简的模型案例”。在此维度下，表示论和子层级估计比高维情况更为基础，但主要的动力学机制依然清晰可见。
• 对 EMM 的新证明： 本文恢复了 Eskin–Margulis–Mozes 的 $(2, 2)$ 定量 Oppenheim 定理。作者指出，其方法不同于原始 EMM 证明（后者直接处理 $K$-平均并使用针对坏集的收缩/重叠论证）。相比之下，本文引入了第二个辅助修正高度以满足所需的 Margulis 型不等式，从而避免了直接通过矩形逼近坏集。
• 高维基础： 行列式表述被视为作者在伴随论文 [7] 中研究的高维行列式值问题的最简单成员，这表明此处获得的见解对于解决更复杂的特征具有基础性意义。

本文并未提出超出动力系统和定量二次型理论数学背景之外的新实验应用或未来影响。其严格专注于通过精细的动力学方法建立渐近计数公式。