[논문 리뷰] Stability index jump for cmc hypersurfaces of spheres

Óscar Perdomo, Aldir Brasil|arXiv (Cornell University)|2012. 02. 09.

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

한 줄 요약

이 논문은 $n+1$-구에서 비완전한 포물형(umbilical)인 컴팩트 정상 평균 곡률(CMC) 초곡면의 약한 안정성 지수는 집합 $\{1, 2, \dots, n\}$에 속할 수 없으며, 0에서 $n+1$ 이상으로 급격한 점프가 일어남을 증명한다. 결과는 자코비 연산자의 스펙트럼 분석과 가우스 지도 및 위치 벡터의 사영을 포함하는 함수의 시험 부분공간을 구성함으로써 도출되며, 기하학적 항등식과 제2 기본형의 코시-슈바르츠 부등식을 활용한다.

ABSTRACT

It is known that the totally umbilical hypersurfaces in the (n+1)-dimensional spheres are characterized as the only hypersurfaces with weak stability index 0. That is, a compact hypersurface with constant mean curvature, cmc, in S^{n+1}, different from an Euclidean sphere, must have stability index greater than or equal to 1. In this paper we prove that the weak stability index of any non-totally umbilical compact hypersurface M\subset S^{n+1} with cmc cannot take the values 1,2,3... n.

연구 동기 및 목표

• 컴팩트 CMC 초곡면 $M \subset S^{n+1}$의 약한 안정성 지수의 가능한 값들을 규명하는 것.
• 비완전 포물형 초곡면에 대해 1에서 $n$까지의 값이 불가능함을 보여줌으로써 안정성 지수 스펙트럼의 갭을 해결하는 것.
• 완전 포물형 초곡면만 약한 안정성 지수 0을 가진다는 기존 결과를 확장하여, 나머지 모든 CMC 초곡면에 대해 $n+1$의 날카로운 하한을 증명하는 것.
• 추가적인 대칭성 또는 곡률 가정 없이도, 구에서 CMC 초곡면의 자코비 연산자 스펙트럼에 대한 일반적인 구조적 결과를 제공하는 것.

제안 방법

• 약한 안정성 지수 $\mathrm{ind}_T(M)$를 $C^\infty(M)$의 부분공간 중에서 함수의 적분이 0이고 이차형식 $\int_M f J(f) < 0$를 만족하는 최대 차원으로 정의한다.
• 함수 $h_u = f_u + \frac{\sqrt{1+H^2}-1}{H} l_u$로 구성된 시험 부분공간 $V$를 정의하며, $\int_M h_u = 0$를 만족한다. 여기서 $f_u = \langle \nu, u \rangle$, $l_u = \langle \phi, u \rangle$, $u \in \mathbb{R}^{n+2}$이다.
• 자코비 연산자 $J$가 $h_u$에 작용하는 방식을 계산하기 위해, $\Delta l_u = -n l_u + nH f_u$ 및 $\Delta f_u = -|A|^2 f_u + nH l_u$와 같은 알려진 라플라스 항등식을 사용한다.
• 레마 2.1을 적용하여 $\int_M |A|^2 f_u l_u$를 $\int_M f_u l_u$, $\int_M f_u^2$, $\int_M l_u^2$로 표현함으로써 이차형식에 대체 가능하게 한다.
• 형태연산자와 항등행렬에 대해 코시-슈바르츠 부등식을 적용하여 유도된 $|A|^2 \geq nH^2$ 부등식을 사용하여 이차형식의 상한을 구한다.
• 비포물형 및 비클리포드 조건 하에서 $\int_M h_u J(h_u) < 0$임을 보이며, 이는 $-n \int_M (f_u + H l_u)^2 < 0$로 유계이며, 이는 엄밀히 음수임을 증명함으로써 비영인 $u$에 대해 항상 성립한다.

실험 결과

연구 질문

• RQ1 비완전 포물형인 컴팩트 CMC 초곡면 $M \subset S^{n+1}$에 대해 약한 안정성 지수 $\mathrm{ind}_T(M)$가 취할 수 있는 값은 무엇인가요?
• RQ2 비완전 포물형 CMC 초곡면에 대해 $S^{n+1}$에서 안정성 지수 스펙트럼에 1에서 $n$까지의 값이 제외되는 갭이 존재하는가요?
• RQ3 비완전 포물형 CMC 초곡면에 대해 $S^{n+1}$에서 약한 안정성 지수가 대칭성 또는 곡률 제약 조건과 무관하게 항상 $n+1$ 이상으로 하한이 존재하는가요?
• RQ4 비클리포드 및 비포물형 케이스에서 $l_u$ 및 $f_u$에 비례하는 고유함수가 존재하지 않는다는 점이, 약한 안정성 지수에 대한 균일한 하한을 허용하는가요?

주요 결과

• 비완전 포물형 컴팩트 CMC 초곡면 $M \subset S^{n+1}$의 약한 안정성 지수 $\mathrm{ind}_T(M)$는 $\mathrm{ind}_T(M) \geq n+1$를 만족하며, 1에서 $n$까지의 모든 값을 배제한다.
• 차원이 적어도 $n+1$인 시험 부분공간 $V$의 구성은 이차형식 $\int_M f J(f)$ 가 $V$에서 음의 정부호임을 보장하며, 이는 하한을 증명한다.
• 비포물형 및 비클리포드 조건 하에서 $f_u + H l_u$의 영이 아닌 성질이 보장되며, 이는 [2]에서 확인된 바와 같이 $\int_M h_u J(h_u)$의 엄밀한 음수성을 보장한다.
• 이식에 의한 적분과 라플라스 항등식을 통해 유도된 항등식 $\int_M |A|^2 f_u l_u = n \int_M f_u l_u - nH \int_M f_u^2 + nH \int_M l_u^2$는 증명에 핵심적이다.
• 이차형식을 유계로 둘 수 있도록 하는 데 필수적인 $|A|^2 \geq nH^2$ 부등식은 최종 표현이 음의 정부호임을 보장한다.
• 바르보사와 두 카르모의 정리인 $\mathrm{ind}_T(M) = 0$ iff $M$가 완전 포물형이라는 결과를 일반화하여, 다음으로 가능한 지수가 적어도 $n+1$임을 보여준다.