[논문 리뷰] Sasaki manifolds, Kaehler cone manifolds and biharmonic submanifolds

Hajime Urakawa|arXiv (Cornell University)|2013. 06. 26.

Geometry and complex manifolds참고 문헌 14인용 수 3

한 줄 요약

이 논문은 Sasaki 다양체에서의 biharmonic Legendrian 부분다양체와 Kähler cone 다양체에서의 biharmonic Lagrangian 콘 부분다양체 사이의 대응을 확립한다. 콘 부분다양체가 biharmonic이면 그때서야만 조화적임을 증명하고, 원래의 부분다양체가 진정한 biharmonic이 되는 것은 그 텐션 장이 Jacobi 연산자의 비영인 고유항목이며 고유값이 부분다양체의 차원과 일치할 때임을 보여준다.

ABSTRACT

For a Legendrian submanifold $M$ of a Sasaki manifold $N$, we study harmonicity and biharmonicity of the corresponding Lagrangian cone submanifold C(M) of a Kaehler manifold C(N). We show that, if $C(M)$ is biharmonic in C(N), then it is harmonic; and $M$ is proper biharmonic in $N$ if and only if C(M) has a non-zero eigen-section of the Jacobi operator with the eigenvalue $m=dim M$.

연구 동기 및 목표

• Sasaki 다양체에서의 biharmonic Legendrian 부분다양체와 그에 대응하는 Kähler cone 다양체에서의 Lagrangian 콘 사이의 관계를 조사한다.
• 콘 구성이 biharmonicity를 유지하는 조건을 규명하고 이를 조화성과 연관지킨다.
• 콘에서의 Jacobi 연산자의 스펙트럼 성질을 통해 진정한 biharmonic Legendrian 부분다양체를 특성화한다.
• Takahashi 유형의 고유값 정리들을 biharmonic 사상과 Sasaki 기하학의 맥락으로 일반화한다.

제안 방법

• Sasaki 다양체 $N^{2m+1}$ 에서의 Legendrian 부분다양체 $M^m$ 을 Kähler cone $C(N)$ 에서의 Lagrangian 부분다양체 $C(M)$ 으로 매핑하는 콘 구성 기법을 사용한다.
• Biharmonicity 기능의 제1 및 제2 변분 공식을 적용하여 콘 사상 $\overline{\varphi}$ 의 biharmonicity 방정식을 유도한다.
• 콘 사상의 풀백 번들의 Jacobi 연산자 $J_{\overline{\varphi}}$ 를 사용하여 텐션 장의 고유항목을 분석한다.
• 상수 $J$-절단 곡률 $\epsilon$ 을 가진 Sasaki 공간 형태의 곡률 구조를 활용하여 biharmonicity 방정식을 단순화한다.
• Laplacian의 고유함수에 관한 Takahashi 정리를 적용하여 고유값 조건을 부분다양체의 차원 $m$ 으로 재해석한다.
• 진정한 biharmonicity의 등가성을 $\varphi$ 와 그 텐션 장 $\tau(\overline{\varphi})$ 가 거친 라플라스 연산자의 비영인 고유항목이며 고유값이 $m$ 인 것과 연결한다.

실험 결과

연구 질문

• RQ1 Sasaki 다양체 $N$ 에서의 Legendrian 부분다양체 $M$ 의 Lagrangian 콘 부분다양체 $C(M)$ 이 언제 biharmonic인가?
• RQ2 Sasaki 다양체 $N$ 에서의 Legendrian 부분다양체 $M$ 이 언제 진정한 biharmonic인가?
• RQ3 콘 사상 $\overline{\varphi}$ 의 biharmonicity는 원래 사상 $\varphi$ 의 조화성과 어떻게 관련되는가?
• RQ4 표준 구 $S^{2m+1}(1)$ 에서의 진정한 biharmonic Legendrian 부분다양체를 특성화하는 Jacobi 연산자의 스펙트럼 조건은 무엇인가?
• RQ5 콘 구성에 의해 조화 사상에 대한 Takahashi 유형의 고유값 조건을 biharmonic 설정으로 일반화할 수 있는가?

주요 결과

• 콘 부분다양체 $C(M)$ 이 $C(N)$ 에서 biharmonic이면 그때서야만 조화적이며, 이는 원래의 Legendrian 부분다양체 $M$ 이 $N$ 에서 조화적일 때 정확히 발생한다.
• Legendrian 부분다양체 $\varphi: M^m \to N^{2m+1}$ 이 진정한 biharmonic이면 그때서야만 그 텐션 장 $\tau(\overline{\varphi})$ 가 거친 라플라스 연산자 $\overline{\overline{\Delta}}_{\overline{\varphi}}$ 의 비영인 고유항목이며 고유값이 $m = \dim M$ 인 경우이다.
• 표준 구 $S^{2m+1}(1)$ 의 경우, 콘 사상 $\overline{\varphi}: C(M) \to \mathbb{C}^{m+1}$ 는 $\overline{\overline{\Delta}}_{\overline{\varphi}} \tau(\overline{\varphi}) = m \tau(\overline{\varphi})$ 를 만족시키는 것이 $\varphi$ 가 진정한 biharmonic일 때 정확히 해당된다.
• 사상 $\varphi$ 의 biharmonicity는 두 성분의 영함수성과 동치이다: 평균 곡률 장의 거친 라플라스 연산자와 곡률 보정된 제2 기본형식 항.
• 상수 $J$-절단 곡률 $\epsilon$ 을 가진 Sasaki 공간 형태에 대해서는 biharmonicity 조건이 $\overline{\Delta}_{\varphi} \mathbf{H} = \frac{\epsilon(m+3) + 3(m-1)}{4} \mathbf{H}$ 로 단순화되며, 이는 다양체 $N$ 의 기하학과 $\mathbf{H}$ 의 스펙트럼 성질을 연결한다.
• 결과적으로 Takahashi 정리를 biharmonic 사상으로 일반화한다: 최소 임bedding의 좌표 함수들이 라플라스 연산자의 고유함수이며 고유값이 $m$ 인 것과 마찬가지로, 콘 사상의 텐션 장은 동일한 고유값 $m$ 을 가진 거친 라플라스 연산자의 고유항목이다.