[논문 리뷰] Biharmonic submanifolds in a Riemannian manifold with non-positive curvature

Nobumitsu Nakauchi, Hajime Urakawa|arXiv (Cornell University)|2012. 01. 31.

Geometric Analysis and Curvature Flows인용 수 13

한 줄 요약

이 논문은 완비 리만다양체에서의 비타르모닉 부분다양체가 평균곡률텐서의 $L^2$-노름이 유한할 경우, 비-positive 섹션성곡률를 가진 경우에 항상 최소가 되어야 한다는 것을 증명한다. 컷오프 함수와 적분 by parts를 비텐션장 방정식에 적용하여, 이러한 조건 하에서 평균곡률 벡터가 식별적으로 0이 됨을 보이며, 적분 가능성과 완비성 가정 하에 B.Y. 첸의 추측의 일반화된 형태를 확인한다.

ABSTRACT

We show that for an isometric immersion of a complete Riemannian manifold into a Riemannian manifold with non-positive curvature, the norm of the mean curvature vector field is square integrable, then it is minimal. This is a partial affirmative answer of the B. Y. Chen's conjecture.

연구 동기 및 목표

• 비양성 섹션성곡률를 가진 리만다양체에서 비타르모닉 부분다양체에 관한 B.Y. 첸의 추측의 일반화된 형태를 해결하는 것.
• 비타르모닉 부분다양체가 최소가 되는 조건을 설정하는 것, 특히 평균곡률텐서의 $L^2$-노름의 역할에 초점 맞추기.
• 임의의 코드미너전의 부분다양체와 더 강한 곡률 가정을 다루어 이전의 비타르모닉 매핑 결과를 확장하는 것.
• 이전 연구에서 사용된 방법을 피하는 새로운 직접적 증명 기법을 제공하는 것, 특히 고차원 코드미너전의 경우에 유용하다.

제안 방법

• 지오데식 볼 $B_{2r}(x_0)$ 내에 포함되며, $B_r(x_0)$ 에서는 $\lambda \equiv 1$ 이고, $|\nabla \lambda| \leq 2/r$ 를 만족하는 부드러운 컷오프 함수 $\lambda$ 의 사용.
• 비텐션장 방정식 $\tau_2(\varphi) = 0$ 을 $\lambda^2 \eta$ 와 곱하여 에너지 유형 부등식을 도출.
• 다양체 $N$ 에서의 비양성 섹션성곡률을 활용하여 비텐션 방정식의 곡률 항이 음수가 됨을 보장.
• Young의 부등식을 $\epsilon = 1/2$ 로 적용하여 $\nabla \lambda$ 와 $\overline{\nabla}_X \eta$ 를 포함하는 교차항을 제어하고, 균일한 유계성을 확보.
• $r \to \infty$ 로 한계를 취하여 $\int_M \sum_{i=1}^m |\overline{\nabla}_{e_i} \eta|^2 \, v_g \leq 0$ 를 도출하며, 이는 $\overline{\nabla}_X \eta = 0$ 이 모든 벡터장 $X$ 에 대해 성립함을 의미.
• 분해 $\overline{\nabla}_X \eta = -A_\eta(X) + \nabla^\perp_X \eta$ 와 두 성분의 영함을 이용하여 $\eta \equiv 0$ 을 결론내림.

실험 결과

연구 질문

• RQ1 비양성 섹션성곡률를 가진 리만다양체에서 비타르모닉 부분다양체가 최소가 되는 조건은 무엇인가?
• RQ2 평균곡률텐서의 $L^2$-노름이 유한할 경우, 일반화된 B.Y. 첸의 추측을 검증할 수 있는가?
• RQ3 부분다양체 $M$ 의 완비성과 $\int_M |\eta|^2 \, v_g$ 의 유한성이 비양성 곡률 환경에서 비타르모닉 부분다양체의 최소성을 강제로 이끌 수 있는가?
• RQ4 기존 방법이 고차원 코드미너전 부분다양체에 대해 실패하는 이유는 무엇이며, 어떤 새로운 접근이 필요한가?

주요 결과

• 만약 $\varphi: (M,g) \to (N,h)$ 가 완비인 $M$ 과 $\int_M |\eta|^2 \, v_g < \infty$ 를 만족하는 비타르모닉 등장각 맵이라면, $\eta \equiv 0$ 이며, 이는 등장각이 최소임을 의미한다.
• 증명은 모든 $M$ 상의 벡터장 $X$ 에 대해 $\overline{\nabla}_X \eta = 0$ 이 됨을 보이며, 이는 $\eta$ 가 평행하다는 것을 의미한다.
• 섹션성곡률의 비양성으로 인해 $\sum_{i=1}^m \langle R^N(\eta, d\varphi(e_i)) d\varphi(e_i), \eta \rangle$ 항이 음수가 되며, 이는 에너지 추정에 핵심적이다.
• $|\eta|$ 의 $L^2$-유한성과 $M$ 의 완비성 덕분에 $r \to \infty$ 의 극한을 취할 수 있으며, 이로 인해 $\int_M \sum_{i=1}^m |\overline{\nabla}_{e_i} \eta|^2 \, v_g \leq 0$ 이 되어 $\eta$ 의 기울기가 0이 되게 한다.
• $A_\eta(X)$ 와 $\nabla^\perp_X \eta$ 의 영함은 모든 $X,Y$ 에 대해 $\langle B(X,Y), \eta \rangle = 0$ 이 되게 하며, 이는 $\eta = \frac{1}{m} \sum_i B(e_i,e_i)$ 이므로 $\eta \equiv 0$ 이 되게 한다.
• 결과적으로, 제시된 조건 하에서 일반화된 B.Y. 첸의 추측을 확인하며, 비타르모닉 부분다양체의 최소성에 대한 날카로운 충분조건을 제공한다.