[論文レビュー] 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

ひとこと要約

本稿では、絶対的単純な実代数的群（タイプ $\mathsf{A}_n$、$\mathsf{D}_{2n+1}$、$\mathsf{E}_6$ を除く）に付随するコンパクトな同スペクトル的局所対称空間が、長さ共通性の概念に依拠し、スハヌエル予想およびザリスキ・DNA型部分群内の一般要素を用いて、必然的に共通部分群に属することを確立している。主な結果は、$n \not\equiv 1 \pmod{4}$ である双曲的 $n$-多様体に対して、長さ共通性が共通部分群を意味することであり、算術幾何におけるカックの「太鼓の形は聞けるか？」という問いの洗練された形を解決する。

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.

研究の動機と目的

• 局所対称空間に対してマーク・カックの「太鼓の形は聞けるか？」という問いの洗練形を解決すること。
• 特に算術的設定において、同スペクトル的コンパクトな局所対称空間が必然的に共通部分群に属するかどうかを調査すること。
• 特定のタイプの算術的に定義された局所対称空間に対して、長さ共通性が共通部分群を意味することを確立すること。
• 絶対的単純群からより一般の半単純群への弱共通性およびスペクトル的性質に関する結果を拡張すること。
• 非算術的局所対称空間における長さ共通性の幾何的・算術的帰結に関する未解決問題を特定すること。

提案手法

• 長さ共通性（$\mathbb{Q} \cdot L(M)$ の有理数スケール長さスペクトルの等価性）の概念を用い、同長さスペクトル性の条件を弱める。
• 特に有限生成体上での一般トーラスの存在に着目した半単純代数的群の理論的手法を適用する。
• 有限生成なザリスキ・DNA型部分群内の一般要素を用いて、算術的格子の構造を分析する。
• 超越数論におけるスハヌエル予想に依拠し、非共通部分群の設定における測地線長の代数的独立性を導出する。
• ガングォリ、デュイステルマット＝ギュイレマンらによって確立された同スペクトル性と同長さスペクトル性の関係を用い、スペクトル問題を幾何的問題に還元する。
• 有理数長さスペクトルおよび代数的群論的手法を用いて、算術的部分群の弱共通性を分析する。

実験結果

リサーチクエスチョン

• RQ1 算術的に定義された、タイプ $\mathsf{A}_n$、$\mathsf{D}_{2n+1}$、$\mathsf{E}_6$ を除く局所対称空間に対して、同スペクトル性は共通部分群に等しいか？
• RQ2 二つの局所対称空間の長さ共通性が、特に双曲的設定においてそれらの共通部分群を意味するか？
• RQ3 スハヌエル予想を仮定しないで、長さ共通性の幾何的帰結を完全に理解できるか？
• RQ4 非算術的定義のもとで、一つの長さ共通性を持つ局所対称空間がコンパクトであれば、他方の空間もコンパクトであると言えるか？
• RQ5 タイプ $\mathsf{A}_n$、$\mathsf{D}_{2n+1}$、$\mathsf{E}_6$ に対して、内型を除く同スペクトル的だが非共通部分群の局所対称空間の例を構成できるか？

主な発見

• $n \not\equiv 1 \pmod{4}$ である実双曲的 $n$-多様体に対して、長さ共通性が共通部分群を意味することを証明した。非共通部分群の設定では、異なる多様体からの測地線長の比 $\lambda_1 / \lambda_2$ は超越的である。
• 本稿では、少なくとも一方が算術的に定義された有限体積の長さ共通性を持つ局所対称空間がコンパクトであれば、他方の空間もコンパクトであることを示した。
• タイプ $\mathsf{A}_n$、$\mathsf{D}_{2n+1}$（$n>1$）、$\mathsf{E}_6$ に対して、長さ共通性ではあるが非共通部分群のコンパクトな局所対称空間の例を構成した。
• 主な結果の証明は、非共通部分群の設定における測地線長の代数的独立性を確立するため、スハヌエル予想に依拠している。
• 同スペクトル性がコンパクトな局所対称空間に対して同長さスペクトル性を意味することを示した。これは分析の基礎的段階である。
• 本稿では、現在の知識におけるギャップを特定した。長さ共通性が多くのタイプで共通部分群を意味することは示されたが、非算術的空間の一般ケースについては未解決のままである。