[논문 리뷰] Uniqueness of warped product Einstein metrics and applications

Chenxu He, Peter Petersen외 1명|arXiv (Cornell University)|2011. 10. 11.

Geometric Analysis and Curvature Flows참고 문헌 10인용 수 9

한 줄 요약

이 논문은 고정된 Ricci 곡률과 차원을 갖는 등각 기저, 단순연결된 공간형 섬유, 완비 와핑 곱 아인슈타인 계량의 유일성을 등급에 대해 증명한다. 컴팩트 케이스에서는 와핑 함수가 스케일링을 제외하고 유일하며, 비콤팩트 케이스에서는 가상 아인슈타인 와핑 함수와 해 공간 위의 이차형식에서 유래된 구조 정리에 의해 와핑 함수의 비유일성이 가능하다.

ABSTRACT

We prove that complete warped product Einstein metrics with isometric bases, simply connected space form fibers, and the same Ricci curvature and dimension are isometric. In the compact case we also prove that the warping functions must be the same up to scaling, while in the non-compact case there are simple examples showing that the warping function is not unique. These results follow from a structure theorem for warped product Einstein spaces which is proven by applying the results in our earlier paper "Warped product rigidity" to a vector space of virtual Einstein warping functions. We also use the structure theorem to study gap phenomena for the dimension of the space of warping functions and the isometry group of a warped product Einstein metric.

연구 동기 및 목표

• 특정 기하적 제약 조건 하에서 와핑 곱 아인슈타인 계량의 유일성 결과를 확립하기 위해.
• 가상 아인슈타인 와핑 함수의 공간과 그에 관련된 이차형식의 구조를 분석하기 위해.
• 와핑 함수 공간의 차원과 이러한 계량의 등급군 사이의 갭 현상에 대해 조사하기 위해.
• 와핑 함수가 스케일링을 제외하고 어떻게 유일하게 결정되는지, 특히 컴팩트 대비 비콤팩트 설정에서의 조건을 규명하기 위해.
• 경계 조건과 Ricci 곡률이 와핑 곱 아인슈타인 계량의 유일성에 미치는 역할을 명확히 하기 위해.

제안 방법

• 해당 조건을 만족하는 가상 $ (\rho,n+m) $-아인슈타인 와핑 함수의 벡터 공간 $ W_{\rho,n+m}(M,g) $ 를 정의한다: $ \mathrm{Hess}w = \frac{w}{m}(\mathrm{Ric} - \rho g) $.
• 해의 Ricci 곡률을 결정하는 이차형식 $ \mu(w) = w\Delta w + (m-1)|\nabla w|^2 + \rho w^2 $ 를 $ W $ 위에 도입한다.
• 이전 연구 [HPW3]에서 유도된 구조 정리를 활용해 해의 행동과 경계 조건을 분석한다.
• 경계 조건 $ w = 0 $ 를 $ \partial M $ 에서 적용하여 $ \partial M \neq \emptyset $ 일 때 해 공간이 최대 일차원임을 보인다.
• 섬유 $ F $ 의 Ricci 곡률에 따라 경우를 나누어 분석한다: $ \mathrm{Ric}^F = (k-1)\bar{\mu}_B(u)g_F $, $ \mathrm{Ric}^F = \mu(w)g_F $, 그리고 특이한 경우.
• 스케일링과 변환 기법을 사용해 경우를 표준형으로 줄이며, 특히 $ \bar{\mu}_B(u,z) = 0 $ 또는 $ \bar{\mu}_B(u) = 0 $ 일 때를 중심으로 다룬다.

실험 결과

연구 질문

• RQ1 고정된 기저와 공간형 섬유를 갖는 와핑 곱 아인슈타인 계량이 등급에 대해 언제 등급에 대해 유일하게 정의되는가?
• RQ2 가상 아인슈타인 와핑 함수의 해 공간의 차원은 기저 다각체의 기하학과 어떻게 관련되는가?
• RQ3 경계 조건이 와핑 함수 공간을 최대 일차원으로 제한하는 데 어떤 역할을 하는가?
• RQ4 기저와 섬유가 고정된 상태에서 동일한 매끄러운 다각체 위에 등급이 다른 와핑 곱 아인슈타인 계량이 존재할 수 있는가?
• RQ5 이차형식 $ \mu(w) $ 와 $ \bar{\mu}(w) $ 는 아인슈타인 계량의 존재성과 유일성에 어떻게 영향을 미치는가?

주요 결과

• 등각 기저, 단순연결된 공간형 섬유, 고정된 Ricci 곡률과 차원을 갖는 완비 와핑 곱 아인슈타인 계량은 등급에 대해 유일하다.
• 컴팩트 케이스에서는 Dirichlet 경계 조건 하에서 해 공간이 일차원이므로 와핑 함수는 스케일링을 제외하고 유일하다.
• 비콤팩트 케이스에서는 동일한 기저와 섬유를 갖는 여러 개의 비등급 와핑 곱 아인슈타인 계량이 존재할 수 있으며, 이는 와핑 함수가 유일하게 결정되지 않음을 보여준다.
• 경계 $ \partial M \neq \emptyset $ 일 때 가상 아인슈타인 와핑 함수 공간 $ W $ 는 최대 일차원이므로 직접적으로 유일성 결과가 도출된다.
• 만일 $ m = 1 $ 이고 $ \dim W > 1 $ 이면 이차형식 $ \mu(w) $ 는 특이적이며, 모든 $ w \in W $ 에 대해 $ \mu(w) = 0 $ 이며, 이는 스칼라 곡률이 $ (n-1)\lambda $ 와 같고 일정하다는 것을 의미한다.
• 만일 $ m \neq 1 $ 이면 스케일된 형식 $ \bar{\mu}(w) = |\nabla w|^2 + \kappa w^2 $ 에서 $ \kappa = \frac{\mathrm{scal} - (n-m)\lambda}{m(m-1)} $ 이며, 이는 형식의 타원성과 지수를 결정한다. $ \kappa < 0 $ 이면 $ \bar{\mu} $ 는 지수 최대 1을 가진다.