[论文解读] Counting and equidistribution in Heisenberg groups

Jouni Parkkonen, Paulin, Frédéric|arXiv (Cornell University)|Feb 28, 2014

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

一句话总结

本论文利用复双曲几何与虚二次域上的算术格，建立了关于海森堡群中算术链及三次点的渐近计数与等分布结果。证明了关于 Cygan 直径至少为 ε 的链的数量的 Mertens 型公式，显示其渐近增长与 ε⁻⁴ 成正比，并展示了当直径趋于零时，链中心在海森堡群中的等分布性。

ABSTRACT

We strongly develop the relationship between complex hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on complex hyperbolic spaces, especially in dimension $2$. We prove a Mertens' formula for the integer points over a quadratic imaginary number fields $K$ in the light cone of Hermitian forms, as well as an equidistribution theorem of the set of rational points over $K$ in Heisenberg groups. We give a counting formula for the cubic points over $K$ in the complex projective plane whose Galois conjugates are orthogonal and isotropic for a given Hermitian form over $K$, and a counting and equidistribution result for arithmetic chains in the Heisenberg group when their Cygan diameter tends to $0$.

研究动机与目标

• 建立算术格作用下海森堡群中算术链的渐近计数与等分布结果。
• 推导关于虚二次数域上厄米形式的光锥中整数点数量的 Mertens 型公式。
• 证明关于给定厄米形式下其伽罗瓦共轭正交且各向同性的三次点的计数公式。
• 分析当 Cygan 直径趋于零时，有限算术链中心在超球面上的等分布性。
• 将夹紧负曲率空间中公共垂线的几何计数技术推广至复双曲设置。

提出的方法

• 利用夹紧负曲率空间中凸子集之间公共垂线的几何计数结果，并将其适配至复双曲几何。
• 应用复双曲空间中公共垂线的初端与末段切向量的等分布定理。
• 在海森堡群上使用 Cygan 距离作为测量链直径与定义复杂度的自然度量。
• 利用算术格 PSU_q(O_K) 在复射影平面上的作用及其稳定子群，定义链与三次点的轨道。
• 依赖于海森堡群及其子群中体积与余体积的测度论计算，以推导渐近公式中的显式常数。
• 通过从海森堡群到无穷远边界上的正交投影的测度拉回，证明链中心的等分布性。

实验结果

研究问题

• RQ1 海森堡群中算术链的数量如何随其 Cygan 直径变化？
• RQ2 当链的直径趋于零时，有限算术链的中心是否在海森堡群中等分布？
• RQ3 对于具有各向同性且正交共轭的虚二次数域 K 上的三次点，其复杂度 c(z) ≤ s 的点数的渐近计数是多少？
• RQ4 如何将负曲率空间中公共垂线的几何计数技术适配至复双曲设置？
• RQ5 算术链与三次点的计数与等分布渐近公式中的精确常数是什么？

主要发现

• 模某点稳定子群的算术链数量，其 Cygan 直径至少为 ε 时，渐近增长为 c·ε⁻⁴(1 + O(ε^κ))，其中 c > 0 为显式常数，且 κ > 0。
• 当 Cygan 直径趋于零时，有限算术链的中心在海森堡群中等分布，弱*收敛于哈尔测度。
• 对于具有各向同性且正交共轭的 K 上的三次点，其复杂度 c(z) ≤ s 的点数渐近增长为 C·s⁴(1 + O(s⁻^κ))，其中 C > 0 为显式常数，且 κ > 0。
• 链的渐近计数公式中包含一个显式常数，涉及 zeta 函数 ζ_K(3)、判别式 |D_K| 以及格的余体积，收敛速度为 O(ε^κ)。
• 当 K = Q(i) 时，计数公式给出 ψ_{C₀, PSU_q(Z[i])}(ε) = (16πζ(3)/(3ζ_Q(i)(3)))·ε⁻⁴(1 + O(ε^κ))。
• 通过显式计算确认了等分布结果：ε⁴ 乘以链中心处 Dirac 测度之和弱*收敛于海森堡群上的哈尔测度。