[论文解读] Isospectral hyperbolic surfaces have matching geodesics

Peter G. Doyle, Juan Pablo Rossetti|arXiv (Cornell University)|May 30, 2006

Geometric and Algebraic Topology参考文献 12被引用 8

一句话总结

本文证明了同谱的闭双曲曲面——无论可定向与否——对于每个长度，其保向和反向测地线的数量必须完全相同，将Huber于1959年提出的定理推广至非可定向及不连通曲面。证明依赖于素测地线定理，排除了由Selberg迹公式允许的反例，从而确立同谱性蕴含双曲曲面情形下的几乎共轭性。

ABSTRACT

We show that if two closed hyperbolic surfaces (not necessarily orientable or even connected) have the same Laplace spectrum, then for every length they have the same number of orientation-preserving geodesics and the same number of orientation-reversing geodesics. Restricted to orientable surfaces, this result reduces to Huber's theorem of 1959. Appropriately generalized, it extends to hyperbolic 2-orbifolds (possibly disconnected). We give examples showing that it fails for disconnected flat 2-orbifolds.

研究动机与目标

• 将Huber于1959年关于同谱可定向双曲曲面的定理推广至非可定向及不连通曲面。
• 解决在缺乏可定向性的情况下，同谱性是否蕴含按长度和方向匹配的测地线计数问题。
• 表明Selberg迹公式本身不足以区分同谱曲面，除非附加额外约束，因此需要更强的工具（如素测地线定理）。
• 阐明双曲与平坦轨道空间中同谱性与几乎共轭性之间的区别，特别是在高维及非可定向情形下。

提出的方法

• 利用素测地线定理证明，任何假设的几乎共轭性反例都需在相同长度下拥有异常多的测地线，这与该定理的渐近增长率相矛盾。
• 应用Selberg迹公式将拉普拉斯谱与测地线长度及重数关联，但指出其本身不足以在非可定向情形下推导出测地线匹配。
• 分析具有不同扭转（自旋）的测地线对谱的贡献，表明匹配的谱蕴含对应于覆盖变换群的共轭类匹配。
• 通过修改可定向例子添加交叉柄或将粘合关系重新解释为非可定向等价，利用Sunada方法构造同谱的非可定向曲面。
• 使用轨道空间记号与显式傅里叶级数验证平坦2-轨道空间中的同谱性，与双曲情形对比，后者不存在此类反例。
• 证明在双曲2-轨道空间中，不同阶数的椭圆元素对谱有可区分的贡献，与平坦情形不同，这排除了同谱但非几乎共轭的双曲轨道空间的存在。

实验结果

研究问题

• RQ1 在非可定向或不连通曲面中，双曲曲面的同谱性是否仍蕴含对每个长度，其保向与反向测地线数量完全匹配？
• RQ2 在非可定向双曲曲面中，Selberg迹公式是否足以单独确定测地线谱，还是需要额外约束？
• RQ3 是否存在同谱但非几乎共轭的双曲2-轨道空间，如在平坦情形中所见？
• RQ4 为何同谱的平坦2-轨道空间（如Tetra与Didi）存在但非几乎共轭，而此类例子在双曲情形中不存在？
• RQ5 素测地线定理在排除双曲曲面中Selberg迹公式逆命题的潜在反例中起到何种作用？

主要发现

• 同谱的闭合双曲曲面——无论可定向与否——对于每个长度，其保向与反向测地线数量必须完全相同。
• 素测地线定理排除了几乎共轭性假设反例的存在，因为此类反例需在长度 $ l $ 处至少拥有 $ \frac{e^l}{l} $ 量级的测地线，这违反了该定理的渐近增长速率。
• 在双曲2-轨道空间中，与平坦2-轨道空间不同，不存在非几乎共轭的同谱对，这是由于不同阶数的椭圆元素对谱有可区分的贡献。
• 通过在可定向商曲面中添加交叉柄或将粘合关系重新解释为非可定向等价，可利用Sunada方法构造同谱的非可定向曲面。
• 平坦2-轨道空间中同谱性不蕴含几乎共轭性的失败（如Tetra与Didi）是由于存在平行测地线族与非孤立测地线，而这种现象在双曲流形中并不存在。
• 本文确认，双曲曲面中同谱性蕴含几乎共轭性的唯一障碍已被素测地线定理排除，从而在该设定下确立了Selberg迹公式完全逆定理。