[논문 리뷰] Biharmonic properly immersed submanifolds in Euclidean spaces

Kazuo Akutagawa, Shun Maeta|arXiv (Cornell University)|2011. 06. 16.

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

한 줄 요약

이 논문은 유클리드 공간에 완전하게 적합된 임의의 이바르모닉 적합한 부분다양체가 최소여야 한다는 것을 증명하며, 첸의 추측의 전역적 형태를 확인한다. 위치 벡터를 기반으로 한 반경 함수를 사용한 수정된 최대원리에 의해, 평균 곡률이 0이 아닐 경우 모순을 유도함으로써, 제2 기본 형식의 유계성 조건 없이 최소성을 확립한다.

ABSTRACT

We consider a complete biharmonic immersed submanifold $M$ in an Euclidean space $\mathbb{E}^N$. Assume that the immersion is proper, that is, the preimage of every compact set in $\mathbb{E}^N$ is also compact in $M$. Then, we prove that $M$ is minimal. It is considered as an affirmative answer to the global version of Chen's conjecture for biharmonic submanifolds.

연구 동기 및 목표

• 유클리드 공간 내 이바르모닉 부분다양체에 대한 첸의 추측의 전역적 형태를 해결하기 위해.
• 적절한 임베딩 조건 하에서 완전한 이바르모닉 부분다양체의 최소성을 확립하기 위해.
• 부분다양체에서 리치 곡률의 하한이 없는 문제를 극복하기 위해 거리 함수 대신 위치 벡터를 사용하기 위해.
• 제2 기본 형식의 유계성 조건 없이도 첸의 추측의 전역적 긍정적 해를 제공하기 위해.
• 기존 국소 결과를 일반화된 최대원리의 새로운 응용을 통해 전역 설정으로 확장하기 위해.

제안 방법

• 부분다양체와 $\mathbb{E}^N$ 내의 구와의 교차부분의 컴팩트 부분집합 위에서 $ F(x) = (\rho^2 - |\mathbf{x}(x)|^2)^2 |\mathbf{H}(x)|^2 $ 라는 테스트 함수를 정의한다.
• 일반화된 최대원리를 $ F $ 에 적용하며, $ M $ 이 적절하게 임베딩되어 있음을 이용해 수준집합의 컴팩트성을 확보한다.
• 이바르모닉 조건 $ \Delta \mathbf{H} = 0 $ 과 항등식 $ \Delta \mathbf{x} = n \mathbf{H} $ 을 사용해 $ \Delta |\mathbf{H}|^2 $ 에 대한 추정을 유도한다.
• 모순 증명의 핵심이 되는 부등식 $ \Delta |\mathbf{H}|^2 \geq 2n |\mathbf{H}|^4 $ 를 확립한다.
• 최대점 $ p $ 에서의 점별 추정 $ \Delta F \leq 0 $ 을 유도하여 $ |\mathbf{H}(x)|^2 $ 를 $ \rho $ 와 $ |\mathbf{x}(x)| $ 에 대한 함수로 bound 한다.
• 유도된 부등식에서 $ \rho \to \infty $ 의 극한을 취함으로써 $ |\mathbf{H}(x_0)|^2 = 0 $ 이 됨을 보여, 비영이 평균 곡률의 가정과 모순됨을 밝힌다.

실험 결과

연구 질문

• RQ1 모든 유클리드 공간 $\mathbb{E}^N$ 내에서 완전하게 적합된 이바르모닉 적합한 부분다양체는 반드시 최소여야 하는가?
• RQ2 리치 곡률 하한이 없는 부분다양체에 대해 거리 함수 대신 위치 벡터를 사용함으로써 일반화된 최대원리를 어떻게 적응시킬 수 있는가?
• RQ3 제2 기본 형식의 유계성 조건이 없으면서도 표준 최대원리 기법이 이바르모닉 기하학에서 적용 가능할 수 있는가?
• RQ4 콤팩트성이나 유계 기하학 조건 없이도 첸의 추측의 전역적 형태를 증명할 수 있는가?
• RQ5 적절한 임베딩 조건이 최대원리 증명에 필요한 컴팩트성 보장을 위해 어떤 역할을 하는가?

주요 결과

• 모든 유클리드 공간 $\mathbb{E}^N$ 내에서 적절하게 임베딩된 이바르모닉 부분다양체는 최소이며, 이는 첸의 추측의 전역적 형태를 확인한다.
• 모든 이바르모닉 부분다양체에 대해 핵심 부등식 $ \Delta |\mathbf{H}|^2 \geq 2n |\mathbf{H}|^4 $ 가 성립하며, 등호는 $ \mathbf{H} = 0 $ 인 경우에만 성립한다.
• 함수 $ F_{\rho}(x) = (\rho^2 - |\mathbf{x}(x)|^2)^2 |\mathbf{H}(x)|^2 $ 의 최대값은 어떤 상수 $ c > 0 $ 에 대해 $ \rho $ 와 독립적으로 $ c\rho^2 $ 이하로 bound 된다.
• $ \rho \to \infty $ 의 극한을 취함으로써 유도된 추정 $ |\mathbf{H}(x)|^2 \leq \frac{c\rho^2}{(\rho^2 - |\mathbf{x}(x)|^2)^2} $ 에서는 임의의 점 $ x_0 $ 에서 $ |\mathbf{H}(x_0)|^2 = 0 $ 이 되며, 이는 최소가 아님의 가정과 모순된다.
• 거리 함수 대신 위치 벡터 노름을 사용함으로써 제2 기본 형식에 대한 가정 없이도 최대원리 구성에서의 문제를 피할 수 있다.
• 주변 공간의 기하학을 통해 이러한 하한이 필요한 조건을 우회함으로써, 리치 곡률이 아래로 유계가 아니더라도 결과가 성립한다.