[논문 리뷰] Index estimates for free boundary minimal hypersurfaces

Lucas Ambrozio, Alessandro Carlotto외 1명|arXiv (Cornell University)|2016. 05. 31.

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

한 줄 요약

이 논문은 유클리드 공간의 엄격한 평균 볼록 도메인 내의 적절하게 임bed된 자유 경계 최소 초곡면에 대한 모어스 지수의 날카로운 하한을 확립하며, 이 지수가 첫 번째 상대 호모로지 군의 차원에 따라 선형적으로 증가함을 보여준다. 주요 결과는 곡률과 볼록성 조건 하에서 일반 리만 다양체로 확장되며, 볼록 도메인 내 최소 표면에 대해 강력한 컴팩턴스와 지수 추정을 제공한다.

ABSTRACT

We show that the Morse index of a properly embedded free boundary minimal hypersurface in a strictly mean convex domain of the Euclidean space grows linearly with the dimension of its first relative homology group (which is at least as big as the number of its boundary components, minus one). In ambient dimension three, this implies a lower bound for the index of a free boundary minimal surface which is linear both with respect to the genus and the number of boundary components. Thereby, the compactness theorem by Fraser and Li implies a strong compactness theorem for the space of free boundary minimal surfaces with uniformly bounded Morse index inside a convex domain. Our estimates also imply that the examples constructed, in the unit ball, by Fraser-Schoen and Folha-Pacard-Zolotareva have arbitrarily large index. Extensions of our results to more general settings (including various classes of positively curved Riemannian manifolds and other convexity assumptions) are discussed.

연구 동기 및 목표

• 유클리드 공간의 엄격한 평균 볼록 도메인 내 자유 경계 최소 초곡면의 모어스 지수에 하한을 확립하는 것.
• 모어스 지수를 위상적 불변량, 특히 첫 번째 상대 호모로지 군과 경계 성분의 수와 연관짓는 것.
• 곡률 및 볼록성 조건 하에서 이러한 지수 추정을 더 일반적인 리만 다양체로 확장하는 것.
• 볼록 도메인 내에서 지수가 일관되게 유계인 자유 경계 최소 표면에 대해 강력한 컴팩턴스 정리를 증명하는 것.
• 기존의 예시들(예: Fraser-Schoen 및 Folha-Pacard-Zolotareva)이 임의로 큰 지수를 가짐을 확인하는 것.

제안 방법

• N ∧ ω^#의 좌표로부터 유도된 인덱스 형식과 시험 함수를 사용한다. 여기서 ω는 접선 경계 조건을 갖는 조화 1형식의 공간에 속한다.
• 주변 다양체와 그 경계의 리만 곡률 텐서, 리치 곡률, 제2 기본 형식을 포함하는 압축 조건을 적용한다.
• 호모로지 계산을 결합한 [1]의 방법을 활용하여 지수에 대한 하한을 도출한다.
• 접선 경계 조건을 갖는 조화 1형식의 공간의 차원이 H₁(M, ∂M; ℝ)의 차원과 같다는 사실에 기반한다.
• 전체 지오데식 표면에서 평행 1형식을 유도하는 일정한 벡터장의 존재에 기반한 모순 증명을 사용한다.
• 등각 임베딩된 리만 다양체를 ℝ^d에 대해 일반화하여, 곡률 및 볼록성 가정 하에 지수 추정을 유도한다.

실험 결과

연구 질문

• RQ1 자유 경계 최소 초곡면의 모어스 지수는 그 위상적 복잡성과 어떻게 관련이 있는가?
• RQ2 유클리드 도메인 내에서 첫 번째 상대 호모로지 군에 대해 선형 하한을 지수에 확립할 수 있는가?
• RQ3 주변 리만 다양체에 대해 이러한 지수 추정이 성립하기 위한 조건은 무엇인가?
• RQ4 단위 구 내 자유 경계 최소 초곡면의 알려진 예시들이 유계가 아닌 지수를 가지는가?
• RQ5 볼록 도메인 내에서 일관된 지수 유계 조건으로부터 강력한 컴팩턴스 정리를 도출할 수 있는가?

주요 결과

• ℝ^{n+1}의 엄격한 평균 볼록 도메인 내에 적절하게 임베딩된 자유 경계 최소 초곡면에 대해, 인덱스(M) ≥ (2 / (n(n+1))) × dim H₁(M, ∂M; ℝ)를 만족한다.
• 3차원에서, 고도 g와 r개의 경계 성분을 갖는 자유 경계 최소 표면에 대해, 인덱스(M) ≥ (1/3)(2g + r - 1)이다.
• 단위 구 내에서 Fraser-Schoen 및 Folha-Pacard-Zolotareva의 예시들은 임의로 큰 모어스 지수를 가진다.
• Fraser와 Li의 컴팩턴스 정리는 볼록 도메인 내에서 지수가 일관되게 유계인 자유 경계 최소 표면에 대해 강력한 컴팩턴스 결과로 강화된다.
• 적절한 곡률 조건 하에서, 강력한 평균 볼록 도메인 내에서 컴팩트 랭크 하나 대칭 공간과 평탄한 토러스에 대해서도 지수 추정이 확장된다.
• 두 번째 볼록 도메인에 대해 일반화된 지수 추정이 성립하며, dim H₁(M, ∂M; ℝ)와 dim H_{n-1}(M, ∂M; ℝ)의 가중 조합이 사용된다.