[論文レビュー] Spectra and symmetric eigentensors of the Lichnerowicz Laplacian on $S^n$

Mohamed Boucetta|ArXiv.org|Apr 11, 2007

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

ひとこと要約

本稿は、n次元球面 $S^n$ 上の任意のランクの対称共変テンソル場に作用するリヒネロヴィッチラプラシアンの完全な固有値スペクトルを計算し、固有空間を明示的に構成する。表現論と同次多項式分解を用いて、$n=2$ と $n\geq3$ に対してそれぞれ異なる公式を用いて固有値とその重複度を明示的に導出し、対称テンソル空間がこの演算子の固有空間に完全に分解されることを示している。

ABSTRACT

We compute the eigenvalues with multiplicities of the Lichnerowicz Laplacian acting on the space of symmetric covariant tensor fields on the Euclidian sphere $S^n$. The spaces of symmetric eigentensors are explicitly given.

研究の動機と目的

• ユークリッド球面 $S^n$ 上の対称共変テンソル場に作用するリヒネロヴィッチラプラシアンの完全なスペクトルを特定すること。
• 各固有値に対応する対称固有テンソル空間を明示的に記述すること。
• ${\cal S}^p S^n$ の空間をリヒネロヴィッチラプラシアンの固有空間に完全に分解すること。
• 固有空間の次元の公式を、次数、ランク、曲率寄与項の観点から確立すること。

提案手法

• アンビエント空間 ${\mathbb R}^{n+1}$ を用い、対称テンソル場を次数 $k$ の同次多項式成分に分解する。
• ${\mathbb R}^{n+1}$ 内で同次的かつ調和的（$\delta T = 0$）な次数 $k$ の対称 $p$-テンソルの空間 ${\cal S}^p H_k^{\delta}$ を導入する。
• $k \leq p$ と $k \geq p$ の2つの場合を区別し、$\delta^*$ と $i_{\vec{r}}$（半径ベクトルとの内積）を用いる。
• $n=2$ の場合、次数と対称性に基づく $V_{q,l}^k$ と $W_{q,l}^k$ 空間の直和分解により固有空間を構成する。
• $n \geq 3$ の場合、固有値は公式 $(k+p-2l)(n+p+k-2l-2q-1) + 2q(q-1)$ から得られ、固有空間は $V_{q,l}^k$ と $W_{q,l}^k$ の部分空間から構成される。
• 固有空間の次元の公式は、調和テンソル空間の次元と対称冪表現の既知の公式を用いて導出される。

実験結果

リサーチクエスチョン

• RQ1 リヒネロヴィッチラプラシアンが $S^n$ 上の対称 $p$-テンソルに作用するときの固有値は何か？
• RQ2 リヒネロヴィッチラプラシアンの固有空間は、幾何学的・代数的構造の観点からどのように明示的に記述できるか？
• RQ3 リヒネロヴィッチラプラシアンの対称テンソル上でのスペクトルにおける各固有値の重複度は何か？
• RQ4 $n=2$ と $n \geq 3$ の場合における固有空間の違いは何か？
• RQ5 半径ベクトル場と発散作用素 $\delta^*$ は、対称テンソル空間を固有空間に分解する際に果たす役割は何か？

主な発見

• $n=2$ の場合、${\cal S}^p S^2$ 上のリヒネロヴィッチラプラシアンの固有値は、$k \in \mathbb{N}$、$0 \leq l \leq \lfloor p/2 \rfloor$ に対して $\lambda(k,l) = (k+p-2l)(k+p-2l+1)$ で与えられる。
• $S^2$ 上の各固有値 $\lambda(k,l)$ の重複度は $m(\lambda(k,l)) = 2(\min(l, \lfloor k/2 \rfloor) + 1)(1 + 2p + 2k - 4l)$ である。
• $n \geq 3$ の場合、固有値は $\lambda(k,l,q) = (k+p-2l)(n+p+k-2l-2q-1) + 2q(q-1)$ で与えられ、$k \in \mathbb{N}$、$0 \leq l \leq \lfloor p/2 \rfloor$、$0 \leq q \leq \min(k, p-2l)$ である。
• 固有空間は $V_{q,l}^k$ と $W_{q,l}^k$ の部分空間の直和として構成される。ここで、$k \leq p-2l$ の場合 $V_{q,l}^k = i_{\vec{r}^{k-q}}( {\cal S}^{p-2l+k-q} H_q^{\delta 0} \cap \ker \delta^* ) \odot \langle \cdot \rangle^l$、$k > p-2l$ の場合 $W_{q,l}^k = \delta^{*(p-2l-q)}( {\cal S}^q H_{p-2l+k-q}^{\delta 0} \cap \ker i_{\vec{r}} ) \odot \langle \cdot \rangle^l$ である。
• $V_{q,l}^k$ と $W_{q,l}^k$ の固有空間の次元は、$n$、$p$、$k$、$l$、$q$ に応じて明示的に計算され、表IIに整理されている。
• $n=2$ の場合、$2 \leq k \leq p$ または $k \geq p \geq 2$ のとき、$V_{q,l}^k$ と $W_{q,l}^k$ の次元はそれぞれ0になる。これは固有空間構造における退化を反映している。