[論文レビュー] Near optimal spectral gaps for hyperbolic surfaces

Will Hide, Michael Magee|arXiv (Cornell University)|Jul 12, 2021

Geometric Analysis and Curvature Flows被引用数 5

ひとこと要約

本稿は、有限面積の非コンパactな双曲的表面のランダムな次数nのリーマン被覆が、$\frac{1}{4} - \epsilon$未満のすべてのラプラシアン固有値を、同じ重複度で漸近的にほとんど確実に保存することを確立し、近似的に最良のスペクトルギャップを示した。バーサー＝ブルーガー＝ドドジウクのハンドル補題によるコンパクト化を用いることで、閉じた双曲的表面の系列が genus が無限に近づくにつれて第一非ゼロ固有値が $\frac{1}{4}$ に近づくという長年の予想を解決した。この結果により、このような系列の存在が裏付けられ、双曲的表面のスペクトル幾何学における重要な問題が解決された。

ABSTRACT

We prove that if $X$ is a finite area non-compact hyperbolic surface, then for any $ε>0$, with probability tending to one as $n o\infty$, a uniformly random degree $n$ Riemannian cover of $X$ has no eigenvalues of the Laplacian in $[0,\frac{1}{4}-ε)$ other than those of $X$, and with the same multiplicities. As a result, using a compactification procedure due to Buser, Burger, and Dodziuk, we settle in the affirmative the question of whether there exist a sequence of closed hyperbolic surfaces with genera tending to infinity and first non-zero eigenvalue of the Laplacian tending to $\frac{1}{4}$.

研究の動機と目的

• 閉じた双曲的表面の系列で genus が無限に近づき、第一非ゼロラプラシアン固有値が $\frac{1}{4}$ に近づくものが存在することを確立すること。これはスペクトル幾何学における長年の未解決問題である。
• フリードマンの定理（ランダムグラフにおけるスペクトルギャップ）を、ランダムなリーマン被覆を通じて双曲的表面の文脈へと拡張すること。
• genus が増加する閉じた双曲的表面の系列における第一非ゼロ固有値 $\lambda_1$ の漸近的挙動を解明すること。
• このような系列に対して $\frac{1}{4}$ のスペクトルギャップが漸近的に最適であることを示し、ブルースや他の研究者による予想を確認すること。

提案手法

• 固定された有限面積の非コンパクトな双曲的表面 $X$ に対して、ランダム被覆モデルを用い、次数$n$ の被覆を一様にランダムに選ぶ。
• 双曲的ラプラシアンのスペクトル理論を用い、$n \to \infty$ の極限で $[0, \frac{1}{4} - \epsilon)$ の範囲に新たな固有値が現れないこと、特に $X$ の固有値の重複度が保たれることに注目する。
• 双曲的表面におけるラプラシアンのリゾルベントのためのパラメトリックス構成（内部およびクーパス用パラメトリックス）を用いる。
• 自由群上のランダム作用素理論を用いて、スペクトル射影における摂動項の作用素ノルムを制御し、それがほとんど確実に $\frac{3}{5}$ 未満であることを示す。
• バーサー＝ブルーガー＝ドドジウクのハンドル補題を適用し、偶数個のクーパスを持つ非コンパクトな表面を、$\lambda_1$ の下界を保存する形で閉じた双曲的表面にコンパクト化する。
• ランダム作用素に関する確率的評価と、リゾルベントに関する決定的推定を組み合わせ、$s \in [s_0, 1]$ に対して $\Delta_{X_\phi} - s(1-s)$ が有界な逆作用素を持つことを示し、$\frac{1}{4} - \epsilon$ 未満に新たな固有値が存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 genus が無限に近づき、第一非ゼロラプラシアン固有値が $\frac{1}{4}$ に近づくような閉じた双曲的表面の系列が存在しうるか？
• RQ2 有限面積の非コンパクトな双曲的表面のランダムな次数$n$被覆が、$\frac{1}{4} - \epsilon$ 未満に新たなラプラシアン固有値を導入しないことが、漸近的にほとんど確実に成り立つか？
• RQ3 genus が増加する閉じた双曲的表面の系列に対して、$\frac{1}{4}$ のスペクトルギャップが漸近的に最適であるか？
• RQ4 非コンパクトな双曲的表面のランダム被覆のスペクトルギャップが、$\frac{1}{4}$ から一様に離れて保たれ、元のスペクトルが保存されるか？

主な発見

• 任意の $\epsilon > 0$ に対して、有限面積の非コンパクトな双曲的表面 $X$ の一様ランダムな次数$n$リーマン被覆は、$n \to \infty$ の極限で、$X$ に存在する固有値に加えて $[0, \frac{1}{4} - \epsilon)$ の範囲に新たな固有値を導入しないことが、ほとんど確実に成り立つ。また、重複度も同一である。
• $\chi(X_i) = -i$ かつ $\inf(\mathrm{spec}(\Delta_{X_i}) \cap (0,\infty)) \to \frac{1}{4}$ となる、連結で有限面積の非コンパクトな双曲的表面 $X_i$ の系列が存在し、スペクトルギャップの飽和に関する予想を確認した。
• ハンドル補題を用いて、genus $g(\tilde{X}_{2k}) = 2k$ で $\lambda_1(\tilde{X}_{2k}) \to \frac{1}{4}$ となる閉じた双曲的表面の系列 $\tilde{X}_{2k}$ を構成した。これにより、未解決問題が解決された。
• $\frac{1}{4}$ のスペクトルギャップが、genus が増加する閉じた双曲的表面の系列に対して漸近的に最適であることが確認された。これはフーバーの上界と整合的である。
• 摂動作用素の作用素ノルムがほとんど確実に $\frac{3}{5}$ 未満であることが、この手法によって示された。これにより、$\Delta_{X_\phi} - s(1-s)$ が関連する範囲で有界な逆作用素を持つことが保証された。
• この結果により、非コンパクトな双曲的表面のランダム被覆が、不適切な低エネルギー固有値を導入しないことが確認され、フリードマンのスペクトルギャップ定理が双曲的設定へと拡張された。