[論文レビュー] Quelques conséquences des travaux d'Arthur pour le spectre et la topologie des variétés hyperboliques

Nicolas Bergeron, Laurent Clozel|arXiv (Cornell University)|Apr 7, 2010

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

ひとこと要約

この論文は、アーバートのトレース公式と基本補題を用いて、双曲的多様体上のラプラシアンのスペクトルギャップに関するバーガー＝リ＝サルナック予想の非三重的ケースを確立する。k-形式上のラプラシアンの最初の非ゼロ固有値が、次元と形式次数に依存する正の定数によって一様に下から抑えられることを証明し、保型Lefschetz性質と合同双曲的多様体の位相的有限性結果を確認する。

ABSTRACT

En nous basant sur les résultats d'Arthur annoncés dans \cite[§30]{Arthur} nous démontrons les conjectures énoncées dans \cite{IMRN,BC,SMF} dans le cas des groupes orthogonaux à l'exclusion des groupes de type ${}^6 - D_4$. En ce qui concerne ces derniers, nous annonçons la démonstration -- encore en préparation - que leur réseaux de congruences ont toujours un $H^1$ trivial. Les démonstrations d'Arthur devraient para\^ıtre prochainement.

研究の動機と目的

• 合同双曲的多様体上のラプラシアンのスペクトルギャップに関するバーガー＝リ＝サルナック予想の非三重的ケースを証明すること。
• アーティクルの双曲的多様体のコホロジーとその完全測地的部分多様体を結ぶ保型Lefschetz性質を確立すること。
• 固定された次元に対して、すべてのこのような多様体において、k-形式上のラプラシアンの最初の非ゼロ固有値が一様に下から抑えられることを示すこと。
• 最近のトレース公式の進展を用いて、予想的枠組みから無条件の結果へと、スペクトル的および位相的有限性結果を拡張すること。
• 近い将来に三重的ケース（6D4型群）の証明を発表すること、その際、合同格子が自明なH¹を持つことの証明を含む。

提案手法

• 全実体上の直交群における保型表現のためのアーバートのトレース公式と安定化技術を活用する。
• Ngô, Waldspurger, Laumon, Chaudouard の貢献により、基本補題およびそのねじれ/重み付きバージョンを適用し、以前は条件付きであった結果を無条件化する。
• トレース公式の安定化と逆安定化を用いて、保型形式のスペクトル分解を分析する。
• 微分的特徴関数理論を用いて、保型表現を分類し、そのスペクトルパラメータを制御する。
• スペクトルギャップ予想を、特定の保型L関数の非ゼロ性および特定の残余表現の非存在性に帰着する。
• L²コホロロジーおよびコホロロジカル表現の理論を用いて、スペクトルデータと商多様体の位相的不変量を結びつける。

実験結果

リサーチクエスチョン

• RQ1 バーガー、リ、サルナックのスペクトルギャップ予想は、非三重的合同双曲的多様体に対しても成立するか？
• RQ2 トレース公式を用いて、アーティクルの双曲的多様体に対して保型Lefschetz性質を無条件に確立できるか？
• RQ3 固定された次元に対して、すべての合同双曲的多様体において、k-形式上のラプラシアンの最初の非ゼロ固有値が一様に下から抑えられるか？
• RQ4 実双曲空間の合同商におけるk-形式上のラプラシアンのL²スペクトルにおけるスペクトル構造は何か？
• RQ5 6D4型直交群の合同格子は、自明な第一コホロロジーを持つのか？

主な発見

• 非三重的合同双曲的多様体上の関数におけるラプラシアンのL²スペクトルは、有限個の離散点と、((n−1)/2)² − (1/2 − 1/((n+1)²+1))² から始まる区間の和集合に含まれる。
• 0 ≤ k ≤ n/2 − 1 に対して、k-形式上のラプラシアンの最初の非ゼロ固有値 λ₁ᵏ は、n と k のみに依存する正の定数 ε(n,k) に対して λ₁ᵏ ≥ ε(n,k) > 0 を満たす。
• スペクトルギャップ結果は、バーガー＝リ＝サルナック予想の非三重的ケースを確認しており、離散スペクトルは予測された「純粋」スペクトルと一致する。
• 証明は、基本補題およびその変種の証明に続くアーバートの結果の無条件的妥当性に依存する。
• 著者らは、残りの三重的ケース（6D4型群）が間もなく証明され、その際、このような合同格子が自明なH¹を持つことが示されることを発表する。
• 結果は、特定のコホロロジー類の消滅および算術的商のコホロロジーにおける自明表現の分離といった、強い位相的有限性性質を示唆する。