[論文レビュー] Spectre automorphe des variétés hyperboliques et applications topologiques

Nicolas Bergeron, Laurent Clozel|ArXiv.org|Nov 17, 2004

Advanced Algebra and Geometry参考文献 60被引用数 25

ひとこと要約

本稿は、$\mathrm{SO}(n,1)$ および $\mathrm{SU}(n,1)$ に関連する合同被覆の双曲的多様体上の微分形式におけるホッジラプラシアンのスペクトルギャップを調査し、関数上のラプラシアンの最初の非ゼロ固有値に関するセレブの予想を拡張する。本稿は、次数 $i$ と群のランクに依存する明示的な定数を伴う、ホッジラプラシアンの最初の非ゼロ固有値に対する一様な下界を予想する修正された予想（予想A）を提示し、$i=0$（関数）の場合にその予想を証明し、関数の場合の $L^2$-コホロロジーにおける一様スペクトルギャップを確認する。

ABSTRACT

This book is made of two parts. The first is concerned with the differential form spectrum of congruence hyperbolic manifolds. We prove Selberg type theorems on the first eigenvalue of the laplacian on differential forms. The method of proof is representation theoritic, we hope the different chapters may as well serve as an introduction to the modern theory of automorphic forms and its application to spectral questions. The second part of the book is of a more differential geometric flavor, a new kind of lifting of cohomology classes is proved.

研究の動機と目的

• 関数上のラプラシアンの最初の非ゼロ固有値に関するセレブの予想を、合同被覆の双曲的多様体上のすべての次数の微分形式におけるホッジラプラシアンに一般化すること。
• 実および複素双曲的空間の合同商上の $i$-形式におけるホッジラプラシアンの最初の非ゼロ固有値に対する一様な下界を確立すること。
• スペクトルギャップの算術的および幾何的性質を調査し、特に半整数および整数が明示的な下界として現れる理由を、デリーニの純粋性定理と関連付けること。
• $i=0$、すなわち $L^2$-関数の場合に予想を証明し、$G$ のすべての合同部分群上での関数上のラプラシアンのための一様スペクトルギャップを確認すること。

提案手法

• 著者たちは、$G = \mathrm{SO}(n,1)$ または $\mathrm{SU}(n,1)$ に対応する対称空間 $X_G$ における局所的に対称な空間 $\Gamma \backslash X_G$ 上の $i$-形式におけるホッジラプラシアンのスペクトルを分析する。
• 彼らは、$L^2$-形式を不変的 $K$-型に分解することにより、スペクトルギャップを研究するための誘導表現の理論と組み合わせる。
• この手法は、放物部分群 $P = MAN$ からの誘導表現 $\pi_{\sigma,s}$ の $K$-型の分類に依存し、ハリッシュ＝チャンドラの $c$-関数とプランシェルの公式を用いる。
• 彼らは、表現 $\Lambda^p \overline{\mathrm{Ad}}$ および $\Lambda^q \mathrm{Ad}$ 上の最高ウェイトを計算し、誘導表現の $M$-型を特定する。
• 彼らは、離散系列表現の理論とウェイのキャラクターフォーミュラを用いて、$L^2(\Gamma \backslash G)$ のスペクトル分解を分析する。
• $i=0$ の証明では、定数関数の $L^2$-係数が $L^2$ に属することに依存し、既知の結果（関数上のラプラシアンの最初の非ゼロ固有値が次元にのみ依存する正の定数で下から抑えられること）を用いる。

実験結果

リサーチクエスチョン

• RQ1 実および複素双曲的多様体の合同被覆上の $i$-形式におけるホッジラプラシアンの最初の非ゼロ固有値に対する最適な一様な下界は何か？
• RQ2 $i$-形式のスペクトルギャップは、群 $G$ 及びその $\mathbb{Q}$-有理構造の算術的構造とどのように関係しているか？
• RQ3 予想Aで提示された下界は、すべての $i$ およびすべてのこのような群 $G$ に対して証明可能か？
• RQ4 対称空間のランクおよび次元が、微分形式のスペクトルギャップを決定する上で果たす役割は何か？
• RQ5 なぜ予想Aの下界に半整数および整数が現れるのか？この現象の算術的意味は何か？

主な発見

• 本稿は、定義されたすべての $G$ に対して予想A⁻(0) が成り立つことを証明した。これは、任意の合同商 $\Gamma \backslash X_G$ 上の $L^2$-関数上のラプラシアンの最初の非ゼロ固有値が、次元 $d_G$ のみに依存する正の定数で下から抑えられることを意味する。
• $G^\mathrm{nc} \cong \mathrm{SO}(2n,1)$ の場合、$i$-形式上の最初の非ゼロ固有値 $\lambda_1^i$ は $\lambda_1^i \geq \max(2n-2i-2, \frac{1}{4}) > 0$ を満たす。
• $G^\mathrm{nc} \cong \mathrm{SO}(2n+1,1)$ の場合、$i \leq n-1$ に対して $\lambda_1^i \geq 2n-2i-1 > 0$ であり、偶数ランクの場合よりも強いギャップを示す。
• $G^\mathrm{nc} \cong \mathrm{SU}(n,1)$ の場合、$\lambda_1^i \geq \max(4(n-i-1), 1) > 0$ であり、複素双曲的空間におけるより洗練されたスペクトルギャップを示す。
• 本稿は、$i=0$ の予想が、Clozelが示した既知の結果（$L^2$-関数に対する一様スペクトルギャップ）と同値であることを示している。
• 著者たちは、$G^\mathrm{nc} \cong \mathrm{SO}(2n+1,1)$ で $i=n$ の場合、$\lambda_1^n$ がゼロに近づく可能性があることから、予想が成立しないことを示しており、奇数次元の実双曲的空間と偶数次元の実双曲的空間におけるスペクトル挙動の根本的な違いを示している。