[논문 리뷰] On bifurcation of solutions of the Yamabe problem in product manifolds

Levi Lopes de Lima, Paolo Piccione외 1명|arXiv (Cornell University)|2010. 12. 07.

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

한 줄 요약

이 논문은 곱 다중구조에서 얀바메 문제에 등변 분기 이론을 적용하여, 특정 혼합형 클래스 내에서 무한히 많은 동형이 아닌 일정 스칼라 곡률 계량을 증명한다. 대부분의 매개변수 값에서 국소적 강성 조건을 확립하고, 분기 현상이 가속점 집합의 가산 집합에서 발생함을 보이며, 다중성 결과와 양의 스칼라 곡률을 가진 에인슈타인 다중구조에 대한 새로운 유일성 정리들을 도출한다.

ABSTRACT

We study local rigidity and multiplicity of constant scalar curvature metrics in arbitrary products of compact manifolds. Using (equivariant) bifurcation theory we determine the existence of infinitely many metrics that are accumulation points of pairwise non homothetic solutions of the Yamabe problem. Using local rigidity and some compactness results for solutions of the Yamabe problem, we also exhibit new examples of conformal classes (with positive Yamabe constant) for which uniqueness holds.

연구 동기 및 목표

• 곱 다중구조에서 일정 스칼라 곡률 계량의 다중성과 강성 조건을 조사하는 것.
• 기본적인 곱 계량의 가족이 분기하는 조건을 규명하는 것.
• 양의 스칼라 곡률을 가진 컴act 에인슈타인 다중구조의 곱에서 혼합형 클래스에 대한 새로운 유일성 결과를 수립하는 것.
• 혼합형 클래스에서 힐버트–에인슈타인 함수의 두 번째 변분과 모어스 지수의 행동을 분석하는 것.
• 표준 지수 점프 기준이 실패할 경우 비틀림 이론을 활용해 비자명한 해의 가지를 탐지할 수 있는 등변 프레임워크를 개발하는 것.

제안 방법

• 고정된 혼합형 클래스 내에서 일정 스칼라 곡률 계량을 위한 변분적 프레임워크로 힐버트–에인슈타인 함수를 사용한다.
• 다중구조 $M_0 \times M_1$ 상에서 일차 매개변수 가족 $\mathbf{g}_\lambda = \mathbf{g}^{(0)} \oplus \lambda \mathbf{g}^{(1)}$ 에 분기 이론을 적용한다.
• 스모러와 워스머의 추상적 분기 정리들을, 기울기 연산자 구조와 프레드홀름 성질을 통해 기하적 맥락에 적응시킨다.
• G-등변성 구조를 활용하여, 분기 조건을 분석하기 위해 헤시안의 음의 고유공간의 비동치 표현을 탐지한다.
• 자코비 연산자의 스펙트럼 행동을 분석하여, 고유값이 단조적이지만 반드시 지수를 점프하지는 않음을 보인다.
• 논문 [8, 12, 13]의 컴팩턴스 결과를 적용하여, 구 또는 양의 에인슈타인 다중구조의 곱에서 혼합형 클래스 내에서의 유일성을 증명한다.

실험 결과

연구 질문

• RQ1 다중구조 $M_0 \times M_1$ 상의 기본 곱 계량 가족이 비동형의 일정 스칼라 곡률 계량으로 분기하는 조건은 무엇인가?
• RQ2 모어스 지수가 점프하지 않는 두 번째 변분의 분해점에서 분기 현상이 발생할 수 있는가?
• RQ3 곱 다중구조에서 얀바메 문제의 국소적 강성이 실패하는 매개변수 $\lambda$ 의 집합은 어떤 구조를 갖는가?
• RQ4 양의 스칼라 곡률을 가진 컴팩트 에인슈타인 다중구조의 곱에서 어떤 혼합형 클래스에서 일정 스칼라 곡률 계량의 유일성이 성립하는가?
• RQ5 표준 지수 점프 기준이 실패할 경우, 등변 분기 이론을 어떻게 활용하여 비자명한 해의 가지를 탐지할 수 있는가?

주요 결과

• 0과 $\infty$ 에서 수렴하는 가산 집합 $\Lambda \subset \langle 0, \infty \rangle$ 이 존재하여, $\Lambda$ 에 속한 거의 모든 $\lambda_* \in \Lambda$ 에서 분기가 발생하며, 이는 기본 가족에 속하지 않는 비자명한 일정 스칼라 곡률 계량의 가지를 유도한다.
• 모든 $\lambda \in \langle 0, \infty \rangle \setminus \Lambda$ 에 대해 기본 가족 $\mathbf{g}_\lambda$ 는 국소적 강성 조건을 만족한다: $\mathcal{C}^{2,\alpha}$-근접한 일정 스칼라 곡률 계량은 어떤 $\mathbf{g}_\lambda$ 와 동형이 된다.
• 스칼라 곡률가 양수인 $\mathbf{g}^{(1)}$ 을 가진 $\mathbf{g}_\lambda = \mathbf{g}^{(0)} \oplus \lambda \mathbf{g}^{(1)}$ 의 혼합형 클래스에서는, 0에 가산적인 집합의 축적점이 존재하는 $F \subset \langle 0,1 \rangle$ 의 부분집합이 존재하여, 모든 $\lambda \in F$ 에 대해 최소한 세 개의 서로 다른 일정 단위 부피 스칼라 곡률 계량이 존재한다.
• 힐버트–에인슈타인 함수의 두 번째 변분에서 모어스 지수는 반드시 분해점 $\lambda_*$ 에서 점프하지는 않으며, 고유값이 0을 가로질러야만 점프하지 않기 때문이다.
• 헤시안의 음의 고유공간의 G-표현이 변화하는 분해점에서는, 모어스 지수가 그대로 유지되더라도 분기가 보장된다.
• 컴팩턴스와 분기 분석에 기반하여, 양의 스칼라 곡률을 가진 컴팩트 에인슈타인 다중구조의 곱에서 일정 스칼라 곡률 계량의 유일성이 성립한다.