[論文レビュー] Small eigenvalues and thick-thin decomposition in negative curvature

Ursula Hamenstaedt|arXiv (Cornell University)|Oct 11, 2018

Geometric Analysis and Curvature Flows参考文献 13被引用数 4

ひとこと要約

本稿は、有限体積でピンチングされた負の曲率を持つ多様体のラプラシアン固有値と、その厚み・薄み分解における固有値との間で鋭いスペクトル比較推定を確立する。$ k $ が $ \lambda_k(M) < (n-2)^2/12 $ を満たすとき、全多様体 $ M $ の $ k $ 番目の固有値は、ノイマン境界条件を満たすその厚い部分 $ M_{\rm thick} $ の固有値の少なくとも1/3以上である。3次元双曲多様体の場合、さらに $ \lambda_k(M_{\rm thick}) < 1/96 $ のとき、$ \lambda_k(M) \leq C \log({\rm vol}(M_{\rm thin})+2) \lambda_k(M_{\rm thick}) $ が成り立つことが示され、小さな固有値と薄い部分の幾何学的性質との間の定量的関係が得られる。

ABSTRACT

Let $M$ be a finite volume oriented Riemannian manifold of dimension $n\geq 3$ and curvature in $[-b^2,-1]$, with thick-thin decomposition $M=M(thick)\cup M(thin)$. Denote by $λ_k(M(thick))$ the k-th eigenvalue for the Laplacian on $M(thick)$, with Neumann boundary conditdions. We show that $λ_k(M(thick))/3\leq λ_k(M)$ for all k for which $λ_k(M)0$ provided that $λ_k(M(thick))&lt;1/96$.

研究の動機と目的

• 有限体積でピンチングされた負の曲率を持つ $ n \geq 3 $ 次元多様体のラプラシアンの小固有値を理解すること、特にその厚み・薄み分解との関係を明らかにすること。
• 2次元双曲の場合に比べて、高次元の負曲率多様体の小固有値の理解がまだ不十分であるというギャップを埋めること。
• 特に小固有値について、全多様体 $ M $ とその厚い部分 $ M_{\rm thick} $ の固有値の間の定量的比較を確立すること。
• 双曲曲面における既知のスペクトル結果を、ピンチングされた負曲率を持つ高次元多様体へと拡張すること。
• 特にその体積に注目した薄い部分の幾何学的性質が、全多様体のスペクトルにどのように影響するかを分析すること。

提案手法

• 多様体 $ M $ の厚み・薄み分解を用いる。ここで $ M_{\rm thick} $ は、注ぎ込み半径が少なくとも $ \varepsilon $ 以上の点からなる部分で、$ M_{\rm thin} $ はマーガリスチューブとクーパスの和集合である。
• $ M_{\rm thick} $ にノイマン境界条件を適用することで、固有値問題が適切に定義され、多様体の幾何学と整合することが保証される。
• 元の固有関数 $ f $ を $ M_{\rm thick} $ から薄い部分へ、$ L^2 $-ノルムとエネルギーが制御された径方向拡張により関数 $ F $ を $ M $ 上に構成する。
• 境界超曲面間の径方向射影の双リプシッツ制御を用いて、拡張関数 $ F $ のレイリー商の上界を評価する。
• $ M_{\rm thick} $ が有界な次数を持つ有限グラフと一様にクアイアイソメトリックであることを利用し、グラフラプラシアンの固有値を介したスペクトル比較を可能にする。
• シュワルツの不等式とエネルギー推定を用いて、元の関数と拡張関数の $ L^2 $-ノルムとディリクレエネルギーを比較し、$ F $ のレイリー商が $ \lambda_k(M_{\rm thick}) $ の関数として有界であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 有限体積でピンチングされた負の曲率を持つ多様体のラプラシアンの小固有値は、ノイマン境界条件を満たすその厚い部分の固有値とどのように関係するか？
• RQ2 小固有値 $ \lambda_k(M) $ に対して、$ \lambda_k(M_{\rm thick}) $ の関数として普遍的な下界を確立できるか？
• RQ3 3次元双曲多様体において、$ \lambda_k(M) $ は薄い部分 $ M_{\rm thin} $ の体積にどのように依存するか？
• RQ4 厚い部分 $ M_{\rm thick} $ のスペクトルギャップが、全多様体 $ M $ の小スペクトルを制御できるか。もし可能であれば、一様な定数でどの程度制御できるか？
• RQ5 特にその体積と構造に注目した薄い部分の幾何学的性質は、全多様体の小固有値にどのような制約を課えるか？

主な発見

• 任意の有限体積で向き付け可能な $ n $ 次元リーマン多様体（$ n \geq 3 $）で、曲率が $ [-b^2, -1] $ の範囲にある場合、$ \lambda_k(M) < \frac{(n-2)^2}{12} $ ならば、$ \lambda_k(M) \geq \frac{1}{3} \lambda_k(M_{\rm thick}) $ が成り立つ。
• 3次元双曲多様体の場合、固定された $ C > 0 $ に対して、$ \lambda_k(M_{\rm thick}) < \frac{1}{96} $ ならば、$ \lambda_k(M) \leq C \log({\rm vol}(M_{\rm thin}) + 2) \cdot \lambda_k(M_{\rm thick}) $ が成り立つ。
• 定数 $ \frac{(n-2)^2}{12} $ は鋭いものであり、追加の仮定がなければ改善できない。これは曲率と次元の制約から生じる。
• $ M_{\rm thick} $ は、有界な次数を持つ有限グラフと一様にクアイアイソメトリックであるため、グラフラプラシアンの固有値を介したスペクトル比較が可能である。
• 拡張関数 $ F $ の構成により、その $ L^2 $-ノルムとディリクレエネルギーは、元の関数のそれらを上回らず、$ n $ と $ b $ のみに依存する一様な定数で制御される。
• 証明は、径方向射影の双リプシッツ制御とシュワルツの不等式によるエネルギー推定に依拠しており、$ F $ のレイリー商が $ \lambda_k(M_{\rm thick}) $ の関数として有界であることが保証される。