[论文解读] Generic elements in Zariski-dense subgroups and isospectral locally symmetric spaces

Gopal Prasad, Andrei S. Rapinchuk|arXiv (Cornell University)|Dec 6, 2012

Advanced Algebra and Geometry参考文献 49被引用 16

一句话总结

本文证明了与绝对单实代数群（排除类型 $ frac{A}_n$、$ frac{D}_{2n+1}$ 和 $ frac{E}_6$）相关的紧致同谱局部对称空间，若满足长度共轭性，则必为共轭，该结论基于长度共轭性概念，并依赖于Schanuel猜想及Zariski稠子群中的通用元素。关键结果为：对于满足 $n \not\equiv 1 \pmod{4}$ 的双曲 $n$-流形，长度共轭性蕴含共轭性，从而解决了算术几何中Mark Kac的‘能否听出鼓的形状？’问题的改进版本。

ABSTRACT

The article contains a survey of results on length-commensurable and isospectral locally symmetric spaces and related problems in the theory of semi-simple algebraic groups.

研究动机与目标

• 为局部对称空间解决Mark Kac的‘能否听出鼓的形状？’问题的改进版本。
• 研究在算术设定下，同谱的紧致局部对称空间是否必然共轭。
• 建立对特定类型的算术定义局部对称空间，长度共轭性蕴含共轭性的结论。
• 将弱共轭性与谱性质的研究结果，从绝对单群推广至更一般的半单群。
• 识别非算术局部对称空间中长度共轭性的几何与算术后果方面的开放问题。

提出的方法

• 采用长度共轭性概念，即有理长度谱 $\mathbb{Q} \cdot L(M)$ 相等，以弱化同长谱性的条件。
• 应用半单代数群理论中的技术，特别是有限生成域上通用环面的存在性。
• 利用有限生成Zariski稠子群中的通用元素，分析算术格的结构。
• 依赖超越数论中的Schanuel猜想，推导测地线长度的代数无关性。
• 利用Gangolli、Duistermaat-Guillemin等人建立的同谱性与同长谱性之间的联系，将谱问题转化为几何问题。
• 通过有理长度谱与代数群论方法，分析算术子群的弱共轭性。

实验结果

研究问题

• RQ1 对于非 $ frac{A}_n$、$ frac{D}_{2n+1}$ 和 $ frac{E}_6$ 类型的算术定义局部对称空间，同谱性是否等价于共轭性？
• RQ2 两个局部对称空间的长度共轭性是否蕴含其共轭性，特别是在双曲情形下？
• RQ3 在不假设Schanuel猜想的前提下，能否完全理解长度共轭性的几何后果？
• RQ4 当非算术定义时，一个长度共轭的局部对称空间的紧致性是否足以推出另一个的紧致性？
• RQ5 能否构造出 $ frac{A}_n$、$ frac{D}_{2n+1}$ 和 $ frac{E}_6$ 类型下，同谱但非共轭的局部对称空间的例子，且超出 $ frac{A}_n$ 的内型？

主要发现

• 对于满足 $n \not\equiv 1 \pmod{4}$ 的算术定义实双曲 $n$-流形，长度共轭性蕴含共轭性，因为若两流形不共轭，则其测地线长度之比 $\lambda_1 / \lambda_2$ 必为超越数。
• 本文证明：若至少一个长度共轭的有限体积局部对称空间是算术定义的，则其紧致性可推出另一个的紧致性。
• 对于类型 $ frac{A}_n$、$ frac{D}_{2n+1}$（$n>1$）和 $ frac{E}_6$，作者构造了长度共轭但非共轭的紧致局部对称空间的例子。
• 主结果的证明依赖于Schanuel猜想，以确立非共轭情形下测地线长度的代数无关性。
• 作者证明了对紧致局部对称空间，同谱性蕴含同长谱性，这是其分析中的基础步骤。
• 本文指出了当前知识的空白：尽管对多数类型长度共轭性蕴含共轭性，但非算术空间的一般情形仍为开放问题。