[论文解读] Effective density for inhomogeneous quadratic forms II: fixed forms and generic shifts

Anish Ghosh, Dubi Kelmer+1 more|arXiv (Cornell University)|Jan 29, 2020

Advanced Algebra and Geometry参考文献 17被引用 4

一句话总结

本文通过证明：对于固定有理数不定二次型（在 $ n \geq 3 $ 个变量中），以及对几乎所有平移 $ \alpha \in \mathbb{R}^n $，当 $ \|v\| \leq t $ 时，值 $ Q_\alpha(v) $ 可在 $ t^{-\kappa} $ 范围内逼近任意实数 $ \xi $，从而建立了非齐次二次型的有效密度结果。其中，指数 $ \kappa_0 $ 的显式界依赖于 $ Q $ 的符号型。该方法依赖于正交群表示的有效的均值遍历定理与谱间隙估计，且这些群不具有卡兹丹性质 (T)。

ABSTRACT

We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed quadratic forms and generic shifts. Our results complement our companion paper where we considered generic forms and fixed shifts. In this paper, we use ergodic theorems and in particular we establish a strong spectral gap with effective bounds for some representations of orthogonal groups which do not possess Kazhdan's property (T).

研究动机与目标

• 为固定不定有理二次型与典型平移的非齐次二次型建立奥本海默猜想的有效版本。
• 通过量化非齐次二次型取值逼近实数的紧密程度，解决齐次动力系统中的有效性问题。
• 推导出依赖于二次型符号型的逼近指数 $ \kappa_0 $ 的显式界。
• 在群作用于齐性空间的背景下，拓展对收缩目标问题的理解。
• 为缺乏卡兹丹性质 (T) 的正交群表示开发有效的谱间隙估计，从而实现有效的遍历定理。

提出的方法

• 将问题约化为群 $ G = \mathrm{SO}^+_Q(\mathbb{R}) $ 在齐性空间上的收缩目标问题。
• 应用有效的均值遍历定理，控制轨道上平均值的衰减速率，将其与单位表示的谱性质联系起来。
• 通过归纳法对维数 $ n $ 进行处理，将问题约化为低秩子群 $ G^{(j)} \cong \mathrm{SO}^+(n-j,1) $，并递归地控制谱间隙。
• 使用参数 $ \alpha(\pi) = \frac{n-2}{p(\pi)} $ 来刻画矩阵系数的衰减，从而实现对谱间隙的递归控制。
• 分析半直积 $ \tilde{G} = G \ltimes \mathbb{R}^n $ 的单位表示 $ \tilde{\pi} = \mathrm{Ind}_{\tilde{G}^\lambda}^{\tilde{G}} \sigma $，重点关注那些不含 $ \mathbb{R}^n $-不变向量的表示。
• 应用布格尔与萨尔纳克的约化论证，将 $ \pi|_{G^{(j)}} $ 的谱间隙与完整表示的谱间隙关联起来，从而在归纳中控制 $ p(\pi) \leq \kappa(n-2) $。

实验结果

研究问题

• RQ1 对于固定的有理数不定二次型 $ Q $，最优指数 $ \kappa_0 $ 是什么？使得对几乎所有平移 $ \alpha $，不等式 $ |Q_\alpha(v) - \xi| < t^{-\kappa} $ 对所有充分大的 $ t $ 都存在整数解？
• RQ2 逼近速率如何依赖于二次型的符号型 $ (p,q) $？
• RQ3 能否为不具有卡兹丹性质 (T) 的 $ \mathrm{SO}^+(p,q) $ 表示建立有效的谱间隙估计？
• RQ4 在缺乏性质 (T) 所带来的谱间隙时，有效的均值遍历定理在收缩目标问题中能多大程度上适用？
• RQ5 表示的谱间隙与限制到卡坦子群上的矩阵系数衰减速率之间有何关系？

主要发现

• 对于任意在 $ n \geq 3 $ 个变量中的有理数不定二次型 $ Q $，以及对几乎所有平移 $ \alpha \in \mathbb{R}^n $，当 $ \kappa < \kappa_0 $ 时，系统 $ |Q_\alpha(v) - \xi| < t^{-\kappa} $，$ \|v\| \leq t $ 对所有充分大的 $ t $ 都存在整数解。
• 指数 $ \kappa_0 $ 根据符号型 $ (p,q) $ 显式计算得出：例如，当 $ (p,q) = (2,1) $ 时 $ \kappa_0 = 1 $，当 $ (n-1,1) $ 时 $ \kappa_0 = 2 $，当 $ (4,2) $ 或 $ (3,3) $ 时 $ \kappa_0 = 3/2 $。
• 对于一般符号型 $ p \geq q > 1 $，有 $ \kappa_0 = 2\kappa_1 q(p-1) $，其中 $ \kappa_1 $ 依赖于 $ n \mod 4 $，当 $ p \approx q $ 时，有 $ \kappa_0 \approx n/2 $。
• 该方法对 $ n = 3,4 $ 得到了最优界 $ \kappa_0 = n-2 $，但对于 $ n \geq 5 $，该界弱于预期的 $ n-2 $，尤其在 $ (n-1,1) $ 情况下 $ \kappa_0 = 2 $。
• 证明为不具有卡兹丹性质 (T) 的 $ \mathrm{SO}^+(p,q) $ 表示建立了强有效的谱间隙，方法为归纳法与矩阵系数衰减的递归控制。
• 结果证实，通过约化到低秩子群，有效的均值遍历定理可应用于非-(T) 群，扩展了 [ GGN20 ] 和 [ GK17 ] 的技术。