[论文解读] 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$ 上作用于任意秩的对称协变张量场的Lichnerowicz拉普拉斯算子的完整谱，并显式构造了其特征空间。利用表示理论与齐次多项式分解，推导出精确的特征值及其重数，对 $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.

研究动机与目标

• 确定Lichnerowicz拉普拉斯算子在欧氏球面 $S^n$ 上作用于对称协变张量场的完整谱。
• 显式描述每个特征值对应的对称特征张量空间。
• 将空间 ${\cal S}^p S^n$ 完整分解为Lichnerowicz拉普拉斯算子的特征空间。
• 建立以次数、秩和曲率贡献为参数的特征空间维数公式。

提出的方法

• 该方法利用环境空间 ${\mathbb R}^{n+1}$，并将对称张量场分解为 ${\mathbb R}^{n+1}$ 中次数为 $k$ 的齐次多项式分量。
• 引入空间 ${\cal S}^p H_k^{\delta}$，即在 ${\mathbb R}^{n+1}$ 中具有次数 $k$ 且调和（$\delta T = 0$）的对称 $p$-重张量空间。
• 分析区分两种情形：$k \leq p$ 与 $k \geq p$，利用算子 $\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 Lichnerowicz拉普拉斯算子在 $S^n$ 上作用于对称 $p$-张量时的特征值是什么？
• RQ2 Lichnerowicz拉普拉斯算子在 $S^n$ 上的特征空间如何通过几何与代数结构显式描述？
• RQ3 Lichnerowicz拉普拉斯算子在对称张量上的谱中，每个特征值的重数是多少？
• RQ4 在 $n=2$ 与 $n \geq 3$ 的情况下，特征空间有何不同？
• RQ5 径向向量场与散度算子 $\delta^*$ 在将对称张量空间分解为特征空间的过程中起什么作用？

主要发现

• 对于 $n=2$，${\cal S}^p S^2$ 上Lichnerowicz拉普拉斯算子的特征值为 $\lambda(k,l) = (k+p-2l)(k+p-2l+1)$，其中 $k \in \mathbb{N}$，$0 \leq l \leq \lfloor p/2 \rfloor$。
• 在 $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$ 的维数已显式计算并列于表 II，其依赖于 $n$、$p$、$k$、$l$ 与 $q$。
• 对于 $n=2$，当 $2 \leq k \leq p$ 或 $k \geq p \geq 2$ 时，$V_{q,l}^k$ 与 $W_{q,l}^k$ 的维数为零，反映出特征空间结构中的退化现象。