[논문 리뷰] New Examples of Biharmonic Submanifolds in $CP^n$ and $S^{2n+1}$

Wei Zhang|ArXiv.org|2007. 05. 27.

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

한 줄 요약

이 논문은 히프 팽창을 통해 일반화된 클리포드 토러스를 올리는 방식으로 복소 프로젝티브 공간 $\mathbb{C}P^n$ 및 구면 $S^{2n+1}$ 내에서 새로운 적절한 이중형 부분다양체의 예를 구성한다. 이중형 방정식에서 유도된 특정 곡률 및 반지름 조건을 해결함으로써, 일부 클리포드 토러스 유형의 라그랑주 부분다양체 및 실수 초표면이 그들의 반지름이 비자명한 대수방정식을 만족할 때에만 이중형임을 증명하며, 이는 최소가 아닌 새로운 명시적 가족의 이중형 부분다양체를 제공한다.

ABSTRACT

We construct biharmonic real hypersurfaces and Lagrangian submanifolds of Clifford torus type in $CP^n$ via the Hopf fibration; and get new examples of biharmonic submanifolds in $S^{2n+1}$ as byproducts .

연구 동기 및 목표

• 연구가 광범위하게 진행되었음에도 불구하고 흔하지 않은 $\mathbb{C}P^n$ 및 $S^{2n+1}$ 내에서 새로운 적절한 이중형 부분다양체의 예를 구성하는 것.
• 비양의 곡률을 가진 환경에서의 일반화된 채의 추측을 다루기 위해 최소가 아닌 이중형 부분다양체를 제공하는 것.
• 기존의 이중형 토러스 결과를 확장하여, 반지름 제약 조건을 통한 $\mathbb{C}P^n$ 내 이중형 클리포드 유형 토러스의 특성화를 수행하는 것.
• 이중형 에너지 함수의 이차 변동을 이용하여 이러한 새로운 이중형 부분다양체의 안정성을 분석하는 것.

제안 방법

• 히프 패킹을 통해 $S^{2n+1}$ 에서의 일반화된 클리포드 토러스 $S^{2p+1}(r) \times S^{2q+1}(s)$ 를 $\mathbb{C}P^n$ 으로 올려 실수 초표면 및 라그랑주 부분다양체를 구성하는 것.
• $\mathbb{C}P^n$ 과 $S^{2n+1}$ 내에서 텐션 장의 법선 및 접선 성분을 분석함으로써 비텐션 장을 분석하여 이중형 조건을 도출하는 것.
• 히프 패킹이 두 번째 기본형의 수평 성분과 평균 곡률을 유지하므로, $S^{2n+1}$ 과 $\mathbb{C}P^n$ 간 기하학적 관계를 연결하는 사실을 이용하는 것.
• 평행 평균 곡률 가정 하에 이중형 조건에서 유도된 반지름 $r$, $s$ 및 $a_i$ 를 포함하는 대수방정식을 해결하는 것.
• 이중형 에너지의 이차 변동 공식을 적용하여 안정성을 평가하며, 평균 곡률 벡터장 沿해 $E_2$ 의 이차 도함수를 계산하는 것.
• 기호 계산(마이크로소프트 수학)을 사용하여 특정 $n$, $p$, $q$ 에 대해 반지름의 명시적 해를 구하고 검증하는 것.

실험 결과

연구 질문

• RQ1 구면 $S^{2n+1}$ 내 일반화된 클리포드 토러스 $S^{2p+1}(r) \times S^{2q+1}(s)$ 의 상이 $\mathbb{C}P^n$ 내에서 이중형인데, 반지름 $r$ 과 $s$ 가 어떤 조건을 만족해야 하는가?
• RQ2 반지름 $a_i$ 를 가진 라그랑주 클리포드 토러스가 $\mathbb{C}P^n$ 내에서 이중형인 데 필요한 충분한 조건은 무엇인가?
• RQ3 최소가 아닌 클리포드 토러스 유형의 적절한 이중형 부분다양체가 $\mathbb{C}P^n$ 내에 존재할 수 있는가?
• RQ4 이러한 부분다양체의 이중형 구조는 포함 사상의 변형에 대해 안정적인가?
• RQ5 실수 초표면과 라그랑주 부분다양체 간에 $\mathbb{C}P^n$ 내 곡률 및 평균 곡률 조건은 어떻게 다를까?

주요 결과

• 일반화된 클리포드 토러스 $S^{2p+1}(r) \times S^{2q+1}(s)$ 의 상 $M^C_{p,q}(r,s)$ 는 $(s/r)^2(2p+1) + (r/s)^2(2q+1) = 2(n+2)$ 를 만족할 때에만 $\mathbb{C}P^n$ 내에서 이중형이다.
• 반지름 $a_i$ 를 가진 표준 클리포드 토러스 $T^{n+1} \subset S^{2n+1}$ 는 $a_i d - 1/a_i^3 = 2(n+1)((n+1)a_i - 1/a_i)$ 를 만족할 때에만 이중형이며, 여기서 $d = \sum 1/a_i^2$ 이다.
• $T^{n+1}$ 의 $S^1$-행동에 의한 몫 $T^n_C$ 는 $\mathbb{C}P^n$ 내에서 라그랑주이며, $a_i d - 1/a_i^3 = 2(n+3)((n+1)a_i - 1/a_i)$ 를 만족할 때에만 이중형이다.
• $n=4$ 에 대해 반지름 $r$ 과 $s$ 의 명시적 해를 유도하여 각 $(p,q)$ 쌍에 대해 네 개의 서로 다른 이중형 토러스를 도출하였다.
• 평균 곡률 벡터장의 방향으로 이중형 에너지의 이차 변동은 음수이며, 따라서 구성된 모든 이중형 토러스가 불안정하다는 것을 증명하였다.
• 구성된 부분다양체의 위잉아르텐 연산자 고유값은 모두 비음수이며, 모든 고유값이 비음수인 경우 이러한 부분다양체는 안정해질 수 없다.