[논문 리뷰] Harmonic self-maps of cohomogeneity one manifolds

Thomas Puettmann, Anna Siffert|arXiv (Cornell University)|2016. 08. 30.

Geometric Analysis and Curvature Flows참고 문헌 6인용 수 3

한 줄 요약

이 논문은 공형성의 차원이 1인 다양체 위의 등변 맵에 대한 비선형 특이 경계값 문제를 해결하여 SO(4ℓ+2), SO(8), SO(10), SO(14), SO(26)와 같은 컴팩트 리 군의 새로운 조화 자기사상들을 구성한다. $(k,r)$-맵을 사용하는 기하적 프레임워크를 도입하고, 정규 및 접선 성분이 모두 0이면 힘장이 0이 된다는 것을 증명하여 -3, -5, -7, -11의 차수를 가진 명시적 조화 사상들을 도출한다.

ABSTRACT

We develop the theory of equivariant harmonic self-maps of compact cohomogeneity one manifolds and construct new harmonic self-maps of the compact Lie groups SO(4L+2), L >= 1, with degree -3, of SO(8), SO(14) and SO(26) with degree -5 each, of SO(10) with degree -7, and of SO(14) with degree -11 by exhibiting linear solutions to non-linear singular boundary value problems.

연구 동기 및 목표

• 군 작용을 가진 컴팩트 공형성의 차원이 1인 다양체 위에서 등변 조화 자기사상 이론을 수립하기 위해.
• 균일한 공간을 넘어 더 일반적인 불변 메트릭과 기하 구조를 允허함으로써 우라카와의 결과를 확장하기 위해.
• SO(4ℓ+2), SO(8), SO(10), SO(14), SO(26)와 같은 컴팩트 리 군에 대해 새로운 위상적으로 비자명한 조화 자기사상을 구성하기 위해.
• 정규 성분의 힘장에 대한 비선형 특이 경계값 문제를 해결하고, 리 대수 조건을 통해 접선 성분이 0이 되는 지를 검증하기 위해.
• 비선형 문제의 선형 해가 주어진 차수를 가진 조화 사상으로 이어지는 프레임워크를 구축하기 위해.

제안 방법

• r: [0,L] → ℝ가 미분 가능하고 r(0)=0, r(L)=kL를 만족할 때, g·γ(t) ↦ g·γ(r(t)) 형태의 등변 맵으로서 $(k,r)$-맵을 정의한다.
• 평행 이동 $\Pi_t^{r(t)}$ 와 작용장 호모모르피즘 $J_t^{r(t)}$ 를 사용하여 힘장의 정규 및 접선 성분에 대한 명시적 공식을 유도한다.
• 정규 성분을 $\tau^{\perp}_{|\gamma(t)} = \ddot{r}(t) - \dot{r}(t)\operatorname{trace} S_{|\gamma(t)} + \operatorname{trace}\left( (J_t^{r(t)})^* (\Pi_t^{r(t)})^{-1} S_{|\gamma(r(t))} \Pi_t^{r(t)} J_t^{r(t)} \right)$ 로 표현한다.
• 정규 직교 기저를 사용하여 접선 성분을 $\tau^{\tan}_{|\gamma(t)} = -\sum_{\mu,\nu=1}^n \langle [E_\mu, F_\nu]^*, E_\mu^* \rangle_{|\gamma(r(t))} F_\nu^*_{|\gamma(r(t))}$ 로 표현한다.
• 리 괄목 $[\tilde{E}_\mu, \tilde{F}_\nu]$ 가 메트릭에서 $\tilde{E}_\mu$ 와 수직일 때 접선 성분이 0이 되며, 이는 $\mathfrak{so}(n)$ 의 표현 이론적 분해를 통해 확인된다.
• 삼각함수 항등식 (보조정리 8.1 및 8.2) 을 사용하여 구체적인 경우, 예를 들어 구면에서의 $(g,m)$- 및 $(g,m_0,m_1)$-작용과 $\mathrm{SO}(n+2)$ 에서의 정규 성분을 평가한다.

실험 결과

연구 질문

• RQ1 공형성의 차원이 1인 다양체 위의 $(k,r)$-맵이 조화가 되기 위한 기하적 조건은 무엇인가?
• RQ2 정규 힘장에 대한 비선형 특이 경계값 문제를 명시적으로 해결하여 조화 자기사상을 도출할 수 있는가?
• RQ3 접선 성분이 언제 0이 되며, 이를 보장하는 리 이론적 조건은 무엇인가?
• RQ4 SO(n) 과 같은 컴팩트 리 군의 조화 자기사상의 가능한 차수는 무엇인가?
• RQ5 삼각함수 항등식을 어떻게 사용하여 대칭 설정에서 정규 힘장이 0이 되는 지를 검증할 수 있는가?

주요 결과

• 논문은 $\ell \geq 1$ 인 $\mathrm{SO}(4\ell+2)$ 에 대해 힘장 방정식을 해결하여 차수 $-3$ 인 새로운 조화 자기사상을 구성한다.
• SO(8), SO(14), SO(26) 에 대해 각각 차수 $-5$ 인 조화 자기사상을 제시하며, 비선형 경계값 문제의 선형 해를 사용한다.
• SO(10) 에 대해 차수 $-7$ 인 조화 자기사상을 구성하고, SO(14) 에 대해 차수 $-11$ 인 다른 조화 자기사상을 생산한다.
• 접선 성분이 0이 되는 조건은 리 괄목 $[\tilde{E}_\mu, \tilde{F}_\nu]$ 가 메트릭에서 $\tilde{E}_\mu$ 와 수직일 때이며, 이는 $\operatorname{ad}_{\tilde{F}_\nu}$ 의 반대칭성과 $\mathfrak{so}(n)$ 이 $\tilde{\mathfrak{m}}_i$ 와 $\mathfrak{so}(6)$ 로 분해됨에 따라 성립한다.
• 정규 성분이 0이 되는 조건은 비선형 상미분방정식 $\ddot{r}(t) - \dot{r}(t)\operatorname{trace} S_{|\gamma(t)} + \operatorname{trace}\left( (J_t^{r(t)})^* (\Pi_t^{r(t)})^{-1} S_{|\gamma(r(t))} \Pi_t^{r(t)} J_t^{r(t)} \right) = 0$ 이며, 경계 조건 $r(0)=0$, $r(L)=kL$ 를 만족해야 한다.
• 삼각함수 항등식 (보조정리 8.1 및 8.2) 을 사용하여 대칭 설정에서 정규 힘장이 0이 되는 지를 검증할 수 있으며, 이는 $\mathbb{S}^{n+1}$ 에서의 $(g,m)$-작용과 $\mathrm{SO}(n+2)$ 에서의 경우에 해당한다.