[논문 리뷰] A remark on the rigidity case of the positive energy theorem

Marc Nardmann|arXiv (Cornell University)|2010. 04. 30.

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

한 줄 요약

이 논문은 양의 에너지 정리의 강성 사례에서, 정적이고 비틀림이 없는 시공간에서의 초평면이 Riemann 곡률이 그 위에 대해 영이면, 그 초평면은 $\mathbb{R}^n$과 미분동형이며, 미니복스키 시공간으로의 등거리 임베딩을 $\mathbb{R}^n$ 위의 그래프로 가질 수 있음을 새로운 방식으로 증명한다. 이 증명은 스핀 구조를 사용하지 않으며, 초평면의 보편 커버링과 수준 집합의 위상적 성질을 이용하여, 숙련된 슈코엔-요의 기하적 구성에 의존하지 않고, 미분동형성과 등거리 임베딩을 확립한다.

ABSTRACT

In their proof of the positive energy theorem, Schoen and Yau showed that every asymptotically flat spacelike hypersurface M of a Lorentzian manifold which is flat along M can be isometrically imbedded with its given second fundamental form into Minkowski spacetime as the graph of a function from R^n to R; in particular, M is diffeomorphic to R^n. In this short note, we give an alternative proof of this fact. The argument generalises to the asymptotically hyperbolic case, works in every dimension n, and does not need a spin structure.

연구 동기 및 목표

• 양의 에너지 정리의 강성 사례에 대해 스핀 구조를 고려하지 않은 대안적 증명을 제공하는 것.
• Riemann 곡률이 그 위에 대해 영인 시공간 초평면이 $\mathbb{R}^n$과 미분동형임을 보이는 것.
• 최소한의 조건 하에, 미니복스키 시공간으로의 등거리 임베딩이 $\mathbb{R}^n$ 위의 그래프로 존재함을 확립하는 것.
• 차원 제한 없이, 결과를 비정적 초평면의 경우로 일반화하는 것.

제안 방법

• 초평면 $M$의 보편 커버링 공간 $\tilde{M}$을 사용하여, Riemann 계량 $g$, 정규 벡터 장 $N$, 제2 기본 형식 $K$를 올리기.
• 초평면 이론의 기본 정리를 적용하여, 상수 곡률 $c \leq 0$를 가진 미니복스키 또는 반-데 시터 시공간으로의 등거리 임베딩을 구성한다.
• 수준 집합과 연결 성분에 대한 위상적 추론을 통해, ${\rm pr} \circ f: \widetilde{M} \to \mathbb{R}^n$이 미분동형임을 증명한다.
• 커버링 사상 $\pi: \widetilde{M} \to M$이 한 장의 커버링(즉, 미분동형)임을 보이기 위해, ${\rm pr} \circ f$에 의한 $\pi^{-1}(Z)$의 상이 연결되고 컴act임을 이용한다.
• 목표 시공간의 등거리변환에 대한 유일성에 의해, 임베딩이 본질적으로 유일함을 보장한다.
• 위상적 보조정리(보조정리 5.1)를 적용하여, $M$의 컴팩트 경계를 가진 부분다양체 $Z \subset M$의 상사상이 연결되고 컴팩트함을 보이고, 이는 커버링 사상이 미분동형임을 암시한다.

실험 결과

연구 질문

• RQ1 양의 에너지 정리의 강성 사례는 스핀 구조나 차원 제한 없이 증명될 수 있는가?
• RQ2 Riemann 곡률이 그 위에 대해 영인 시공간 초평면이 어떤 조건에서 미니복스키 시공간으로의 등거리 임베딩을 $\mathbb{R}^n$ 위의 그래프로 가질 수 있는가?
• RQ3 상수 곡률의 환경 시공간에서의 가우스 및 코다치 방정식이 성립할 경우, 초평면 $M$의 $\mathbb{R}^n$과의 미분동형성은 직접적인 결과인가?
• RQ4 미니복스키 또는 반-데 시터 시공간으로의 등거리 임베딩이 하나 존재할 경우, 그 초평면이 $\mathbb{R}^n$과 미분동형임을 보장할 수 있는가?
• RQ5 어떤 위상적 조건이 $\mathbb{R}^n$에서 $M$으로의 커버링 사상이 미분동형임을 보장하는가?

주요 결과

• 환경 시공간이 상수 곡률 $c \leq 0$이며, $M$ 위에서 가우스 및 코다치 방정식이 만족되면, 초평면 $M$은 $\mathbb{R}^n$과 미분동형이다.
• 미니복스키 시공간 $\mathbb{R}^{n,1}$으로의 등거리 임베딩이 존재하며, 목표 공간의 등거리변환에 대해 유일하다.
• 임베딩의 공간 성분 $\mathbb{R}^n$으로의 사영은 보편 커버링 $\widetilde{M}$에서 $\mathbb{R}^n$으로의 미분동형이다.
• 커버링 사상 $\pi: \widetilde{M} \to M$은 미분동형이므로, $M$ 자체도 $\mathbb{R}^n$과 미분동형이다.
• 결과는 모든 차원 $n \geq 3$에서 성립하며, 스핀 구조 없이도 비정적 초평면의 경우로 확장된다.
• 증명은 초평면이 $\mathbb{R}^{n,1}$에서 $\mathbb{R}^n$ 위의 그래프로 등거리 임베딩됨을 보여주며, 이는 그의 전반적인 위상이 $\mathbb{R}^n$임을 암시한다.