[論文レビュー] $L^p$ spectrum and heat dynamics of locally symmetric spaces of higher rank

Lizhen Ji, Andreas Weber⋆|arXiv (Cornell University)|May 17, 2010

Advanced Algebra and Geometry参考文献 33被引用数 3

ひとこと要約

本稿は、高ランクの非コンパクト局所対称空間における $L^p$ スペクトルおよび熱半群のダイナミクスを調査し、ランク1の設定から高ランクへの一般化を試みている。$p \in (1,2)$ の場合、連続的な固有値スペクトルのおかげで $L^p$ 熱半群はカオス的挙動を示すが、$p \geq 2$ の場合、このようなカオスは生じない。これは $p=2$ で鋭い相転移を示している。解析はアイゼンスタイン級数および $L^p$ 空間におけるスペクトル評価に依拠している。

ABSTRACT

The aim of this paper is to study the spectrum of the $L^p$ Laplacian and the dynamics of the $L^p$ heat semigroup on non-compact locally symmetric spaces of higher rank. Our work here generalizes previously obtained results in the setting of locally symmetric spaces of rank one to higher rank spaces. Similarly as in the rank one case, it turns out that the $L^p$ heat semigroup on $M$ has a certain chaotic behavior if $p\in(1,2)$ whereas for $p\geq 2$ such a chaotic behavior never occurs.

研究の動機と目的

• ランク1から高ランクの局所対称空間への $L^p$ スペクトル理論の拡張を図ること。
• 高ランクの非コンパクトかつ有限体積の局所対称空間上での $L^p$ 熱半群のダイナミクスを分析すること。
• $L^p$ 熱半群がカオス的挙動を示す $p$-値を特定すること、特に $L^p$ ラプラシアンのスペクトルとの関係を明らかにすること。
• $p < 2$ におけるアイゼンスタイン級数の $L^p$-可積分性を確立し、連続スペクトルの固有値を同定するためにそれらを用いること。
• $L^p$ 熱半群の周期の集合を特徴付け、虚軸上のスペクトル構造に関連付けること。

提案手法

• $M = \Gamma \backslash X$ 上でのアイゼンスタイン級数の上界を導出し、$p < 2$ の場合の $L^p$-可積分性を確立する。
• ヘルガソン＝フーリエ変換および $L^p$ の逆公式（スタントン＝トーマス）を用いて、ラプラシアンの $L^p$ スペクトルを分析する。
• $\Delta_{M,p}$ のスペクトル集合として、パラメータ $\rho_{\bf P}$ と $p$ に依存する放物型領域 ${\cal P}_{M,p}(\rho_{\bf P})$ を定義する。
• $C_0$-半群の部分空間カオス理論を適用し、虚軸上に固有値が存在することを根拠に、カオス的ダイナミクスを検出する。
• ${\cal P}_{M,p}(\rho_{\bf P})$ の境界のパrametrization を用いて、虚軸との交点を計算し、周期の集合を特定する。
• $p \geq 2$ の場合、$\Delta_{M,p}$ の点スペクトルは離散的であるが、$p \in (1,2)$ の場合、$\mathbb{C}$ 内に連続的な開集合を含むため、カオス的挙動が生じる。

実験結果

リサーチクエスチョン

• RQ1 高ランクの局所対称空間上での $L^p$ 熱半群がカオス的ダイナミクスを示す $p \in (1,\infty)$ の値は何か？
• RQ2 非コンパクトかつ有限体積の高ランク局所対称空間上でのラプラシアン $\Delta_{M,p}$ の $L^p$ スペクトルの構造は何か？
• RQ3 適切な $\Lambda$ の選択のもとで、$p < 2$ の場合にアイゼンスタイン級数 $E({\bf P}|\varphi,\Lambda)$ が $L^p(M)$ に属する条件は何か？
• RQ4 $L^p$ 熱半群の周期は、$\Delta_{M,p}$ のスペクトル特性、特にスペクトルと虚軸の交点とどのように関係するか？
• RQ5 $p \in (1,2)$ の場合に $e^{-t(\Delta_{M,p}-c)}$ が部分空間カオス的になる臨界閾値 $c_p$ は何か？

主な発見

• $p \in (1,2)$ の場合、生成子 $\Delta_{M,p}$ が虚軸と交差する連続的な固有値集合を持つため、$L^p$ 熱半群 $e^{-t\Delta_{M,p}}$ は部分空間カオス的である。
• $p \geq 2$ の場合、$\Delta_{M,p}$ の点スペクトルが離散的であり、虚軸に非離散的かつ無限に多くの固有値を含まないため、$L^p$ 熱半群は決して部分空間カオス的でない。
• 臨界閾値は $c_p = \frac{4||\rho_{\bf P}||^2}{p}\left(1 - \frac{1}{p}\right)$ であり、$p \in (1,2)$ の場合に $c > c_p$ であれば $e^{-t(\Delta_{M,p}-c)}$ はカオス的になる。
• $\Delta_{M,p}$ の $L^p$ スペクトルは放物型領域 ${\cal P}_{M,p}'$ に含まれており、$p \in (1,2)$ の場合にその内部に固有値を含むが、$p \geq 2$ の場合には含まない。
• $p \in (1,2)$ かつ $c > c_p$ の場合、$[2\pi / r(c,p), \infty)$ のほとんどすべての点が、半群 $e^{-t(\Delta_{M,p}-c)}$ の周期である。ここで $r(c,p) = 2||\rho_{\bf P}||\left(1 - \frac{2}{p}\right)\sqrt{c - c_p}$ である。
• 適切な $\Lambda$ の選択のもとで、アイゼンスタイン級数 $E({\bf P}|\varphi, \Lambda)$ は $p < 2$ の場合に $L^p(M)$ に属し、$\Delta_{M,p}$ の固有関数として機能する。