[论文解读] Horospherical coordinates of lattice points in hyperbolic space: effective counting and equidistribution

Tal Horesh, Amos Nevo|arXiv (Cornell University)|Dec 24, 2016

Mathematical Dynamics and Fractals参考文献 1被引用 4

一句话总结

本文利用由Iwasawa分解导出的水平面坐标，建立了双曲空间中格点的有效计数与等分布结果。证明了在NA×K中的膨胀乘积区域中，格点数量渐近等价于体积，且误差项被体积的某次幂所控制，将经典丢番图问题推广至高秩情形与数域情形。

ABSTRACT

We establish effective counting and equidistribution results for lattice points in families of domains in hyperbolic spaces, of any dimension and over any field. The domains we focus on are defined as product sets with respect to the Iwasawa decomposition. Several classical Diophantine problems can be reduced to counting lattice points in such domains, including distribution of shortest solution to the gcd equation, and angular distribution of primitive vectors in the plane. We give an explicit and effective solution to these problems, and extend them to imaginary quadratic number fields. Further applications include counting lifts of closed horospheres to hyperbolic manifolds and establishing an equidistribution property of integral solutions to the Diophantine equation defined by a Lorentz form.

研究动机与目标

• 在Iwasawa分解下，发展双曲空间中格点的有效计数与等分布结果。
• 通过水平面坐标解决经典丢番图问题——如最大公因数方程gcd(a,b) = 1的最短解分布与本原向量的角分布问题。
• 将这些结果推广至虚二次数域与高秩对称空间。
• 为由Iwasawa分量定义的乘积集中的格点计数提供显式误差界。
• 利用Lipschitz-光滑区域与谱方法，建立加权格点计数结果。

提出的方法

• 利用Iwasawa分解 $G = NAK$ 参数化双曲等距群，其中 $N$ 幂零，$A \cong \mathbb{R}$，$K$ 为极大紧子群。
• 将区域定义为 $R_T(\Psi, \Phi) = \Psi A_{[-T,0]} \Phi$，即 $N \times A \times K$ 中的乘积集，其Haar测度为 $\mu = \mu_N \times \frac{dt}{e^{2\rho t}} \times \mu_K$。
• 应用谱理论与Laplacian的谱间隙，推导格点计数中的有效误差项。
• 引入Lipschitz-良好对称性概念，以确保对区域微小扰动的统一控制。
• 通过紧支集Lipschitz函数 $\psi$ 在 $N$ 上与 $\phi$ 在 $K$ 上的加权计数，推广计数结果。
• 证明计数测度 $\sum_{\gamma \in \Gamma} D_T(\gamma)$ 与 $D_T$ 的积分一致，误差为 $O\left(\left(\int D_T d\mu\right)^{\kappa} \log \int D_T d\mu\right)$，其中 $\kappa < 1$。

实验结果

研究问题

• RQ1 如何在实秩一双曲空间中，通过Iwasawa坐标定义的膨胀区域实现格点的高效计数？
• RQ2 此类区域中格点渐近计数的精确误差项是什么？其如何依赖于区域的几何结构？
• RQ3 经典丢番图问题——如 $\gcd(a,b) = 1$ 的最短解分布——能否通过水平面坐标实现有效分析？
• RQ4 这些计数结果在多大程度上可推广至虚二次数域与高秩对称空间？
• RQ5 当 $A$-分量趋于无穷时，格点在 $N$ 与 $K$ 分量中的等分布性如何体现？

主要发现

• 在 $R_T(\Psi, \Phi)$ 中的格点数量满足 $\#(\Gamma \cap R_T(\Psi, \Phi)) = \mu(R_T(\Psi, \Phi)) + O\left(T e^{2\rho \kappa T}\right)$，其中 $\kappa < 1$，提供了有效的误差界。
• 两个此类区域中格点数量的比值趋于其体积之比：$\frac{\#(\Gamma \cap R_T(\Psi', \Phi'))}{\#(\Gamma \cap R_T(\Psi, \Phi))} \to \frac{\mu_N(\Psi')\mu_K(\Phi')}{\mu_N(\Psi)\mu_K(\Phi)}$，当 $T \to \infty$ 时成立。
• 对于 $N$ 上的Lipschitz函数 $\psi$ 与 $K$ 上的 $\phi$，加权和 $\sum_{\gamma \in \Gamma} \psi(\pi_N(\gamma)) \chi_{[-T,0]}(\pi_A(\gamma)) \phi(\pi_K(\gamma))$ 等于 $e^{2\rho T} \int \psi \, d\mu_N \int \phi \, d\mu_K + O\left(T e^{2\rho \kappa T}\right)$。
• 测度族 $R_T(\psi, \phi)$ 具有Lipschitz-良好对称性，确保在区域微小扰动下保持统一控制。
• 结果可推广至虚二次数域，推广了本原向量分布与 $\gcd$ 方程解的分布。
• 当 $T \to \infty$ 时，格点在 $N$ 与 $K$ 分量中的等分布性得以确立，收敛速率由谱间隙量化。