[논문 리뷰] Rigidity theorems of the space-like $λ$-hypersurfaces in the Lorentzian space $\mathbb R^{n+1}_1$

Xingxiao Li, Xiufen Chang|arXiv (Cornell University)|2015. 11. 10.

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

한 줄 요약

이 논문은 레이포르티언 공간 $\mathbb{R}^{n+1}_1$ 내 완비 공간형 $\lambda$-초곡면에 대한 강성 정리들을 수립한다. 유클리드 공간에서의 결과를 확장하기 위해 일반화된 $\mathcal{L}$-연산자와 곡률 양의 가중 $L^2$ 적분을 도입하여 분석한다. 주요 결과는 이러한 초곡면이 총구형(즉, $\mathbb{H}^n(c)$ 또는 $\mathbb{R}^n$ 와 등장하는)이거나, 제2 fundamental 형식의 제곱 노름과 평균 곡률 사이에 엄격한 부등식을 만족함을 보여주며, 이는 비자명한 기하적 제약 조건을 암시한다.

ABSTRACT

In this paper, we study complete space-like $λ$-hypersurfaces in the Lorentzian space $\mathbb R^{n+1}_1$. As the result, we prove some rigidity theorems for these hypersurfaces including the complete space-like self-shrinkers in $\bbr^{n+1}_1$.

연구 동기 및 목표

• 유클리드 공간에서의 $\lambda$-초곡면에 대한 강성 정리를 레이포르티언 설정인 $\mathbb{R}^{n+1}_1$ 으로 확장하기.
• 일반화된 $\mathcal{L}$-연산자를 정의하고 이를 이용해 레이포르티언 공간 내 $\lambda$-초곡면과 자가수축체를 분석하기.
• 완비 공간형 $\lambda$-초곡면이 반드시 총구형이거나 기하적 부등식을 만족해야 하는 조건을 확립하기.
• 상수 평균 곡률 및 자가수축체 초곡면에 대한 이전의 베르너스타인형 및 강성 결과를 레이포르티언 맥락으로 일반화하기.

제안 방법

• 레이포르티언 계량에 적합한 일반화된 $\mathcal{L}$-연산자 도입: 곡률 양의 헤시안과 기울기를 사용해 정의.
• 지수 가중 함수 $e^{-\frac{\epsilon a\langle x,x\rangle}{2}}$ 를 사용한 가중 $L^2$ 적분을 통해 곡률 감쇠를 통제하고, 부분 적분을 적용.
• 일반화된 보흐너형 공식을 적용하여 $\frac{1}{2}\mathcal{\tilde{L}}B$ 의 표현을 유도함. 여기서 $B = S - \frac{H^2}{n}$ 이며, 곡률 항들과 $\lambda$-조건이 포함됨.
• 곡률 표현식의 삼차항을 유 bounds하기 위해 부등식 $|f_3| \leq \frac{n-2}{\sqrt{n(n-1)}} B^{3/2}$ 를 활용.
• 코로나리 2.4를 통한 가중 최대원리 적용을 통해, 가중 적분이 음이거나 0이면 곡률 항이 0이거나 엄격한 부등식을 만족해야 함을 유추.
• 평행한 제2 fundamental 형식으로부터 유도된 등면성 성질을 이용해 초곡면을 초구형과 유클리드 공간의 곱으로 분류하고, 이는 $B \equiv 0$ 이거나 (1.6)의 부등식이 성립하지 않으면 모순이 됨을 암시함.

실험 결과

연구 질문

• RQ1 완비 공간형 $\lambda$-초곡면이 $\mathbb{R}^{n+1}_1$ 내에서 강성을 가지기 위한 조건은 무엇인가? 즉, 반드시 총구형이거나 기하적 부등식을 만족해야 하는가?
• RQ2 레이포르티언 설정에서 $\mathcal{L}$-연산자는 가중 $L^2$ 적분 하에서 어떻게 행동하며, 곡률 감쇠에 대해 무엇을 드러내는가?
• RQ3 유클리드 공간에서의 $\lambda$-초곡면에 대한 강성 결과는 $s = \langle x,x\rangle$ 와 같은 비상수 가중 함수를 가진 레이포르티언 경우로 확장 가능한가?
• RQ4 $\mathbb{R}^{n+1}_1$ 내 $\lambda$-초곡면의 분류에서 $\langle x,x\rangle$ 의 부호는 어떤 역할을 하는가?
• RQ5 완비 공간형 $\lambda$-초곡면이 두 개의 서로 다른 주곡률를 가지며 $\langle x,x\rangle$ 가 비상수인 등면성일 수 있으며, $\lambda$-초곡면 방정식을 만족할 수 있는가?

주요 결과

• 가중 $s = \epsilon a$ 와 다항식 면적 성장 조건을 만족하는 $\mathbb{R}^{n+1}_1$ 내 완비 공간형 $\lambda$-초곡면은 총구형(즉, $\mathbb{H}^n(c)$ 또는 $\mathbb{R}^n$ 과 등장하는)이거나, 어떤 점에서 (1.6)의 부등식을 만족한다.
• 추적 제거된 제2 fundamental 형식의 제곱 노름 $B = S - \frac{H^2}{n}$ 은 항등적으로 0이거나, 다음 부등식이 어떤 점에서 위반되어야 한다: $\left(\sqrt{B} - |\lambda|\frac{n-2}{2\sqrt{n(n-1)}}\right)^2 + \frac{1}{n}(H - \lambda)^2 - \frac{n\lambda^2}{4(n-1)} \geq 0$.
• 만약 $B \not\equiv 0$ 이면, 제2 fundamental 형식은 평행하므로 초곡면은 정확히 두 개의 서로 다른 주곡률를 가지며, 그 중 하나는 단순하다.
• 이러한 등면성 초곡면은 $\mathbb{R}^{n+1}_1$ 내에서 $\mathbb{H}^{n-1}(c) \times \mathbb{R}^1$ 또는 $\mathbb{H}^1(c) \times \mathbb{R}^{n-1}$ 의 곱으로 분류되지만, $s = \langle x,x\rangle$ 인 경우 $\langle x,x\rangle$ 가 비상수이므로 $\lambda$-초곡면 조건을 만족할 수 없어 모순이 발생한다.
• 분석 결과, $s = \langle x,x\rangle$ 인 완비 $\lambda$-초곡면의 유일한 가능성은 $B \equiv 0$ 이거나 (1.6)의 부등식이 어떤 점에서 성립하는 경우뿐이며, 이는 주어진 적분 조건 하에서 강성을 증명한다.
• 가중 $L^2$ 적분 가능성 조건 (1.2)는 곡률 항이 0이거나 기하적 부등식이 만족됨을 보장하며, 이는 $\mathcal{L}$-연산자 및 적분 기법을 통한 분류로 이어진다.