[논문 리뷰] Singular behavior and generic regularity of min-max minimal hypersurfaces

Otis Chodosh, Yevgeny Liokumovich외 1명|arXiv (Cornell University)|2020. 07. 22.

Geometric Analysis and Curvature Flows참고 문헌 33인용 수 7

한 줄 요약

이 논문은 8차원 리만다양체에서의 min-max 최소초면체에 대한 일반적인 정칙성 결과를 확립한다. 이는 날카로운 색인 및 특이점 집합의 경계를 증명함으로써 이루어지며, 일차 매개변수 min-max 구성에 대해, 비면적 최소화 특이점의 0차원 하우스도르프 측도의 합과 모어스 색인의 합은 1을 초과하지 않는다. 이는 일반적인 계량에서, 특히 양의 리치 곡률을 가진 경우, 매끄러운 최소초면체가 존재하거나 최대한 하나의 고립된 특이점만 존재함을 의미하며, 이는 이전의 결과를 면적 최소화 초면체를 넘어서 더 넓은 min-max 설정으로 확장한다. 이는 고차원에서의 일반적인 정칙성 결과를 제공한다.

ABSTRACT

We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurfaces. These results are a consequence of a more general estimate for a one-parameter min-max minimal hypersurface $Σ\subset (M,g)$ (valid in any dimension): $$\mathcal H^{0} (\mathcal{S}_{nm}(Σ)) +{ m Index}(Σ) \leq 1$$ where $\mathcal{S}_{nm}(Σ)$ denotes the set of singular points of $Σ$ with a unique tangent cone non-area minimizing on either side.

연구 동기 및 목표

• 면적 최소화가 아닌 고차원 최소초면체에 대한 일반적 정칙성 결과의 부족을 해결한다.
• 이전의 면적 최소화 초면체 연구를 더 넓은 min-max 설정으로 확장한다. 특히 특이점이 예상되는 차원에서의 응용을 목표로 한다.
• 8차원 리만계량이 일반적일 경우, 매끄럽게 삽입된 최소초면체가 존재함을 증명한다. 이는 H⁷(M;Z) = 0일 때에도 성립한다.
• 곡률 가정 없이도, 조밀한 계량 집합에서 최대 하나의 특이점만을 가진 최소초면체가 존재함을 증명한다.
• 모든 차원 n ≥ 7에서 유효한 일반적인 색인-특이점 집합 경계를 제공하여, min-max 최소초면체의 구조를 제어할 수 있도록 한다.

제안 방법

• 특이점 집합 $ hnm(V) $ 를 도입한다. 이는 어떤 작은 구 안에서도 양측에서 변형이 일어나지 않는 한쪽 방향의 면적 최소화가 아닌 경우의 특이점 집합이다.
• 정적 정수 베르푸르드 측도 $ V $ 가 $ n+1 $차원 다양체에서 $ n \geq 7 $ 인 일차 매개변수 min-max 구성에서 유도될 경우, $ H^0(hnm(V)) + \text{Index}(V) \leq 1 $ 이라는 핵심 추정을 확립한다.
• 알미그렌–피츠 min-max 이론을 적용하여 폭 $ W(M) $ 를 달성하는 정적 베르푸르드 측도 $ V $ 가 존재함을 보장하며, $ |V|(M) = W(M) $ 를 만족한다.
• 정규화된 접선 콘에서 면적 최소화가 아닌 경우에 국한하여, 특이점 근처에서 국소적으로 계량과 초면체를 변형하는 수술 절차를 적용한다.
• 한쪽 방향 면적 최소화와 경쟁자와의 비교를 통해, 이러한 특이점은 소규모 $ C^{2,\alpha} $ 계량 변형을 통해 제거될 수 있음을 보인다.
• 색인 경계와 불규칙한 계량의 조밀성, 안정된 최소 콘의 구조(예: 시몬스 콘)를 조합하여 일반적 정칙성을 도출한다.

실험 결과

연구 질문

• RQ1 모어스 색인이 낮을 경우, min-max 최소초면체의 특이점 수에 대한 최적 경계는 무엇인가?
• RQ2 면적 최소화가 아닌 경우에도, min-max 최소초면체의 고립된 특이점은 일반적으로 계량 변형을 통해 제거될 수 있는가?
• RQ3 특이점의 양측에서 비면적 최소화 접선 콘의 존재가 반드시 min-max 설정에서 양의 모어스 색인을 유도하는가?
• RQ4 스메일의 결과에서 요구하는 바와 같이 $ H^7(M;\mathbb{Z}) \neq 0 $ 조건 없이도, 8차원 다각형에서 매끄러운 최소초면체의 일반 존재성을 확립할 수 있는가?
• RQ5 경계 $ H^0(hnm(V)) + \text{Index}(V) \leq 1 $ 는 고차원에서도 날카로운가? 이는 안정된 최소 콘의 구조에 대해 어떤 의미를 갖는가?

주요 결과

• 양의 리치 곡률을 가진 일반적인 8차원 리만계량에서는 매끄럽게 삽입된 최소초면체가 존재한다.
• 곡률 가정 없이도, 8차원 계량의 조밀한 집합에서 최대 하나의 특이점만을 가진 최소초면체가 존재한다.
• 주요 기술적 결과는 $ n+1 \geq 8 $ 인 차원에서의 일차 매개변수 min-max 최소초면체에 대해, 비면적 최소화 특이점의 0차원 하우스도르프 측도의 합과 모어스 색인의 합이 1을 초과하지 않는다는 것이다.
• 모어스 색인이 1일 경우, $ hnm(V) = \emptyset $ 이며, 이는 모든 특이점이 적어도 한쪽에서 면적 최소화 접선 콘을 가짐을 의미한다.
• 이 결과는 $ \mathbb{R}^8 $ 에서의 시몬스 콘(안정적이지만 양측에서 최소화가 아님)이 색인 ≤ 1 인 min-max 초면체의 특이점에서 접선 콘이 될 수 없다는 것을 시사한다.
• 특이점 집합 $ hnm(V) $ 근처에서 계량을 변형함으로써, 새로운 계량과 새로운 최소초면체를 구성할 수 있으며, 이는 이러한 특이점이 없음을 보여주며, 일반적 정칙성을 증명한다.