[논문 리뷰] Isoparametric foliation and a problem of Besse on generalizations of Einstein condition

Zizhou Tang, Wenjiao Yan|arXiv (Cornell University)|2013. 07. 15.

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

한 줄 요약

이 논문은 구에서 주어진 4개의 주요 곡률을 가진 등장성 초표면으로부터 유도되는 초집합의 기하적 성질을 조사한다. OT-FKM 구성과 곡률 분석을 통해 이러한 초집합이 $\tau$-다양체임을 증명한다 (아인슈타인 조건과 스칼라 곡률 조건 사이의 클래스), Ricci 평행성은 특정 경우에만 성립하며, 베세의 일반화된 아인슈타인 조건 문제에 대해 무한히 많은 단순연결된 예를 제공한다.

ABSTRACT

The focal sets of isoparametric hypersurfaces in spheres with g = 4 are all Willmore submanifolds, being minimal but mostly non-Einstein ([TY1], [QTY]). Inspired by A.Gray's view, the present paper shows that, these focal sets are all A- manifolds but rarely Ricci parallel, except possibly for the only unclassified case. As a byproduct, it gives infinitely many simply-connected examples to the problem 16.56 (i) of Besse concerning generalizations of the Einstein condition.

연구 동기 및 목표

• 구에서 $g=4$인 등장성 초표면의 초집합이 최소성보다 더 강한 곡률 조건을 만족하는지, 예를 들어 Ricci 평행성 또는 $\tau$-다양체 조건을 만족하는지 확인하는 것.
• 이러한 초집합의 기하적 구조에 관해 오랫동안 남아있던 질문, 특히 Ricci 평행성 또는 $\tau$-조건을 만족하는지 여부를 해결하는 것.
• 베세의 일반화된 아인슈타인 조건에 관한 문제 16.56(i)에 대해 새로운 단순연결된 예를 제공하는 것.
• OT-FKM 구성과 정규 벡터장 기하학을 통해 초집합의 곡률 텐서와 Ricci 곡률을 분석하는 것.
• 모든 가능한 예외가 $(m_1,m_2)=(7,8)$로 분류되지 않은 경우에만 존재한다는 것을 증명하는 것.

제안 방법

• 대칭 클리포드 시스템과 4차 동차 다항식을 이용한 구 위에서의 등장성 함수의 OT-FKM 구성 방법을 활용한다.
• 이러한 함수의 초집합 $M_1 = f^{-1}(1)$ 과 $M_2 = f^{-1}(-1)$ 을 분석하며, 그들의 Ricci 곡률과 정규 벡터장의 구조에 초점을 맞춘다.
• 형태 연산자 $A_\alpha$가 옥시마르미컬 정규 벡터에 대응하는 경우, 고유값 방정식을 통해 Ricci 곡률을 계산하기 위해 가우스 방정식을 적용한다.
• 텐서 $\widetilde{A}$ 와 $\widetilde{B}$ 를 사용하여 절삭 곡률을 유계화하고 Ricci 곡률의 행동을 분석한다.
• Künneth 공식과 베티 수 계산을 통해 곡률 유계 조건에 위배되는 곱 구조가 초집합에 존재하지 않음을 배제한다.
• FKM (Ferus-Karcher-M"{u}nzner)의 결과를 응용하여, 최대 Ricci 곡률을 갖는 특수 점들 $\Omega \subset M_1$ 의 존재를 통해 비동차성(비균일성)을 증명한다.

실험 결과

연구 질문

• RQ1 구에서 $g=4$인 등장성 초표면의 초집합은 Ricci 평행인가?
• RQ2 이러한 초집합은 $\tau$-다양체 조건을 만족하는가, 즉 순환 평행 Ricci 텐서를 갖는가?
• RQ3 이러한 초집합은 아인슈타인 조건의 일반화에 관한 베세의 문제 16.56(i)에 대한 예로 사용될 수 있는가?
• RQ4 이러한 초집합의 Ricci 곡률의 구조는 어떻게 되며, 다양한 다중성 쌍 $(m_1,m_2)$ 에 따라 어떻게 변화하는가?
• RQ5 분류되지 않은 유일한 경우 $(m_1,m_2)=(7,8)$ 가 $\tau$-다양체 성질의 유일한 가능한 예외인가?

주요 결과

• 모든 $g=4$인 등장성 초표면의 초집합은 $(m_1,m_2)=(7,8)$ 경우를 제외하고는 모두 $\tau$-다양체이다.
• 초집합이 Ricci 평행이 되는 것은 $\tau$-다양체일 때에만 성립하며, 이는 $\mathcal{P} = \mathcal{A} \cap \mathcal{B}$ 의 동치성에 기인한다.
• OT-FKM 유형에서 $(m_1,m_2)=(3,4k)$ 인 경우, 초집합 $M_1$ 은 $\Omega \subset M_1$ 이 최대 Ricci 곡률을 갖는 진부분집합을 가지므로 내재적으로 동차가 아니다.
• 초집합 $M_1$ 의 Ricci 곡률은 $\bigcap_{i=0}^3 \mathrm{Ker} A_{N_i}$ 에서 3차원 부분공간에서 정확히 최댓값 $2l - 6$ 을 갖으며, 그 외의 영역에서는 엄밀히 작다.
• 초집합의 절삭 곡률은 2 이하로 유계이며, 등호가 성립하는 것은 특정 곡률 구성 조건에서만 발생한다.
• 논문은 아인슈타인은 아니지만 $\tau$-다양체인 무한히 많은 단순연결된 예를 구성함으로써, 베세의 문제 16.56(i)를 해결한다.