[论文解读] Length spectral rigidity of non-positively curved surfaces

Jeffrey Russell Frazier|arXiv (Cornell University)|Jul 26, 2012

Mathematical Dynamics and Fractals参考文献 14被引用 15

一句话总结

本文证明了非正曲率曲面——具体而言，负曲率黎曼曲面、负曲率锥面以及平坦锥面——的长度谱彼此不相交，即一个类别中的曲面不会与另一类别中的曲面共享相同的闭测地线长度。通过运用几何拓扑与测度论中的工具，包括测地流形、Liouville测度以及拓扑共轭，作者表明长度谱可唯一区分这三类曲面，为平坦情形下的完整谱刚性奠定了基础。

ABSTRACT

Length spectral rigidity is the question of under what circumstances the geometry of a surface can be determined, up to isotopy, by knowing only the lengths of its closed geodesics. It is known that this can be done for negatively curved Riemannian surfaces, as well as for negatively-curved cone surfaces. Steps are taken toward showing that this holds also for flat cone surfaces, and it is shown that the lengths of closed geodesics are also enough to determine which of these three categories a geometric surface falls into. Techniques of Gromov, Bonahon, and Otal are explained and adapted, such as topological conjugacy, geodesic currents, Liouville measures, and the average angle between two geometric surfaces.

研究动机与目标

• 确定曲面的长度谱是否能唯一确定其在不同非正曲率曲面类别中的几何结构（模去同伦），
• 研究负曲率黎曼曲面、负曲率锥面与平坦锥面的长度谱是否存在重叠，
• 将此前仅适用于双曲曲面的谱刚性技术扩展至锥面与平坦曲面，
• 通过其长度谱阐明不同几何曲面模空间之间的关系，
• 探讨长度谱是否能区分具有不同曲率类型（包括奇点与平坦区域）的几何结构。

提出的方法

• 改编Bonahon、Otal与Gromov的理论，特别是测地流形与Liouville测度理论，用于分析长度谱。
• 利用拓扑共轭在不同曲面类型之间识别测地结构，从而比较其几何不变量。
• 通过理想边界上的交比以及测地-角度坐标构造Liouville流形，将长度谱表示为测度。
• 证明平坦曲面的Liouville流形具有受限支集，从而与负曲率曲面的流形相区别。
• 应用测地流形的测度论性质，证明不同曲面类型之间的谱分离。
• 分析从负曲率黎曼曲面到锥面与平坦曲面的形变极限，以研究谱收敛性。

实验结果

研究问题

• RQ1 长度谱是否能唯一区分负曲率黎曼曲面、负曲率锥面与平坦锥面？
• RQ2 平坦锥面的长度谱是否可能与负曲率锥面或黎曼曲面的长度谱相等？
• RQ3 不同曲面类型（黎曼、锥、平坦）的Liouville流形是否具有反映其几何差异的测度论特性？
• RQ4 平坦曲面的长度谱能否通过负曲率锥面序列逼近，且在该极限下谱是否收敛？
• RQ5 PSL(n,R)中的Hitchin分支是否可表示为测地流形，其交集能恢复周期函数？

主要发现

• 负曲率黎曼曲面的长度谱与任何负曲率锥面或平坦锥面的长度谱不相交。
• 负曲率锥面的长度谱与任何平坦锥面的长度谱不相交。
• 三个模空间——Neg(S)、Neg*(S) 与 Flat*(S)——在闭曲线上的泛函空间 R^C 中的像彼此不相交。
• 平坦曲面的Liouville流形不具有全支集，这是其与负曲率曲面流形的关键区别。
• 本文提供了一个框架，暗示平坦曲面也可能具有谱刚性，尽管完整证明仍待解决。
• 结果表明，即使在奇异与平坦结构下，长度谱仍能区分几何类型，支持更广泛的谱刚性猜想。