[논문 리뷰] Spectra and symmetric eigentensors of the Lichnerowicz Laplacian on $S^n$

Mohamed Boucetta|ArXiv.org|2007. 04. 11.

Geometric Analysis and Curvature Flows참고 문헌 8인용 수 4

한 줄 요약

이 논문은 임의의 계수를 가진 대칭 공변장 텐서 장이 $S^n$ 위에 작용하는 Lichnerowicz 라플라시안의 전체 스펙트럼을 계산하고, 고유공간을 명시적으로 구성한다. 표현 이론과 동차 다항식 분해를 이용하여 정확한 고유값과 그 중복도를 유도하며, $n=2$와 $n\geq3$의 경우에 대해 별도의 공식을 제공하여 대칭 텐서 공간을 Lichnerowicz 라플라시안의 고유공간으로 완전히 분해한다.

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$ 위에 작용하는 Lichnerowicz 라플라시안의 전체 스펙트럼을 결정하는 것.
• 각 고유값에 대응하는 대칭 고유텐서 장의 공간을 명시적으로 묘사하는 것.
• ${\cal S}^p S^n$ 공간을 Lichnerowicz 라플라시안의 고유공간으로 완전히 분해하는 것.
• 고유공간의 차원 공식을 차수, 랭크, 곡률 기여도의 관점에서 수립하는 것.

제안 방법

• 주변 공간 ${\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$의 두 경우로 나뉘며, $\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 대칭 $p$-텐서가 $S^n$ 위에 작용하는 Lichnerowicz 라플라시안의 고유값은 무엇인가?
• RQ2 Lichnerowicz 라플라시안의 고유공간은 기하학적 및 대수적 구조의 관점에서 어떻게 명시적으로 묘사될 수 있는가?
• RQ3 대칭 텐서 위에서 Lichnerowicz 라플라시안의 스펙트럼에서 각 고유값의 중복도는 무엇인가?
• RQ4 $n=2$와 $n \geq 3$의 경우 고유공간은 어떻게 다를까?
• RQ5 반경 벡터장과 발산 연산자 $\delta^*$는 대칭 텐서 공간을 고유공간으로 분해하는 데 어떤 역할을 하는가?

주요 결과

• For $n=2$, the eigenvalues of the Lichnerowicz Laplacian on ${\cal S}^p S^2$ are given by $\lambda(k,l) = (k+p-2l)(k+p-2l+1)$ for $k \in \mathbb{N}$, $0 \leq l \leq \lfloor p/2 \rfloor$.
• The multiplicity of each eigenvalue $\lambda(k,l)$ on $S^2$ is $m(\lambda(k,l)) = 2(\min(l, \lfloor k/2 \rfloor) + 1)(1 + 2p + 2k - 4l)$.
• For $n \geq 3$, the eigenvalues are $\lambda(k,l,q) = (k+p-2l)(n+p+k-2l-2q-1) + 2q(q-1)$, with $k \in \mathbb{N}$, $0 \leq l \leq \lfloor p/2 \rfloor$, $0 \leq q \leq \min(k, p-2l)$.
• The eigenspaces are constructed as direct sums of $V_{q,l}^k$ and $W_{q,l}^k$ subspaces, where $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$ for $k \leq p-2l$, and $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$ for $k > p-2l$.
• The dimensions of the eigenspaces $V_{q,l}^k$ and $W_{q,l}^k$ are explicitly computed and tabulated in Table II, depending on $n$, $p$, $k$, $l$, and $q$.
• For $n=2$, the dimensions of $V_{q,l}^k$ and $W_{q,l}^k$ vanish when $2 \leq k \leq p$ or $k \geq p \geq 2$, respectively, reflecting a degeneracy in the structure of the eigenspaces.