强可逆闭测地线与共垂线计数及等分布

《Journal of the Institute of Mathematics of Jussieu》：COUNTING AND EQUIDISTRIBUTION OF STRONGLY REVERSIBLE CLOSED GEODESICS IN NEGATIVE CURVATURE

　　

研究人员证明了在包含对合的离散群作用下，强可逆闭测地线的计数增长与等分布性质。具体而言，设X为单连通完备黎曼流形且具有负截面曲率，或为一棵顶点度一致有界的单纯树。Γ为Isom(X)中的非初等离散子群，且包含对合。对任意两个Γ不变的对合子集I与J，研究人员建立了{I,J}-可逆闭测地线的渐近计数公式，其主项为exp(δΓT/2)，其中δΓ为Γ的临界指数。同时证明此类闭测地线关于Bowen–Margulis测度等分布。在算术格情形，研究人员进一步给出误差项估计，并将结果应用于实双曲空间的Coxeter反射群及函数域上的Bruhat–Tits树。该工作推广并统一了Sarnak关于互反测地线的猜想及Erlandsson–Souto的相关结果。

研究背景方面，闭测地线的计数与等分布是动力系统与几何拓扑的核心问题，经典结果由Bowen与Roblin建立，但针对具有对称性的特殊闭测地线，如强可逆闭测地线，此前仅在部分特殊情形得到解决。Sarnak曾猜想模群情形下此类测地线的等分布性，Erlandsson与Souto在含对合的格群中证明了该猜想。然而对于一般CAT(-1)空间及算术格，缺乏系统的计数与等分布理论，尤其在热力学形式框架下尚未建立一般结果。因此，研究人员旨在发展一套适用于广泛空间结构的理论，以统一并推广已有成果。

关键技术方法上，研究人员主要采用热力学形式中的平衡态理论，结合共垂线计数方法。通过将强可逆闭测地线转化为对合固定点集之间的共垂线，并利用Patterson–Sullivan测度与skinning测度的性质，建立计数函数的渐近展开。在算术格情形，研究人员引入谱理论与自守形式工具以获得误差项。样本方面，研究涵盖实双曲空间中的Coxeter多面体与函数域上的Bruhat–Tits树，未涉及生物实验操作。

研究结果部分，论文首先在第2节“强可逆元素与共垂线”中，严格定义强可逆loxodromic元素与{I,J}-可逆性，并证明其与对合固定点集间共垂线的等价关系。引理2.3表明，若α∈I，β∈J，则γ=βα为强可逆元素，且其平移轴由α与β固定点集间的共垂线生成，长度λ(γ)=2d(F_α,F_β)。该对应将闭测地线计数转化为共垂线计数问题。

第5节与第6节分别给出带势函数的计数与等分布定理。研究人员在热力学形式框架下，对任意连续位势φ，建立{I,J}-可逆闭测地线的加权计数渐近公式，其增长率为exp((δ_Γ?supφ)T/2)，并证明其关于平衡态测度等分布。特别地，当φ=0时恢复主定理。

第7节展示应用实例。推论1.2针对实双曲Coxeter群，给出强可逆闭测地线的精确计数公式，系数由Coxeter多面体的体积与边界体积确定。推论1.3应用于函数域情形，设q≡3 mod 4，Γ=PGL₂(??_q[Y])，研究人员得到Bruhat–Tits树上{I_α,I_α}-可逆元素的计数公式。此外，研究人员还讨论了复双曲反射群中的强可逆闭测地线，并给出Deraux例子的具体计算。

讨论部分，研究人员指出该理论可推广至一般CAT(-1)空间，只需将热力学形式扩展至该情形，这依赖于近期Dilsavor与Thompson的工作。未来工作可能包括将Parkkonen与Paulin的结果推广至更一般的负曲率空间，以覆盖双曲建筑等结构。研究结论表明，强可逆闭测地线的计数与等分布理论在几何、数论与群作用中具有统一性，并为算术格的谱理论提供新的几何视角。论文发表于《Journal of the Institute of Mathematics of Jussieu》，体现了其在数学领域的学术影响力。