[논문 리뷰] Fine structure of the singular set of area minimizing hypersurfaces modulo $p$

Camillo De Lellis, Jonas Hirsch외 3명|arXiv (Cornell University)|2022. 01. 25.

Geometric Analysis and Curvature Flows인용 수 4

한 줄 요약

이 논문은 영어에서 $p$ 모odulo에 대한 면적 최소화 초표면의 특이점 집합을 완성하여, 짝수 $p$에 대해 특이점 집합이 차원 $m-1$인 $C^{1,\beta}$ 초표면임을 증명함으로써, $N \leq p$개의 정규 시트가 양의 정수 중복도를 가지며 합이 $p$가 되도록 횡단으로 만날 때, 차원이 최대 $m-2$인 집합 외부에서 성립함을 보였다. 이 결과는 이전의 홀수 $p$에 대한 연구를 확장하며, 선형화된 문제에서의 정밀한 블로우업 분석과 에피피에리메트릭 부등식을 통해 남은 케이스를 해결한다.

ABSTRACT

Consider an area minimizing current modulo $p$ of dimension $m$ in a smooth Riemannian manifold of dimension $m+1$. We prove that its interior singular set is, up to a relatively closed set of dimension at most $m-2$, a $C^{1,α}$ submanifold of dimension $m-1$ at which, locally, $N\leq p$ regular sheets of the current join transversally, each sheet counted with a positive multiplicity $k_i$ so that $\sum_i k_i = p$. This completes the analysis of the structure of the singular set of area minimizing hypersurfaces modulo $p$, initiated by J. Taylor for $m=2$ and $p=3$ and extended by the authors to arbitrary $m$ and all odd $p$ in arXiv:2105.08135. We tackle the remaining case of even $p$ by showing that the set of singular points admitting a flat blow-up is of codimension at least two in the current. First, we prove a structural result for the singularities of minimizers in the linearized problem, by combining an epiperimetric inequality with an analysis of homogeneous minimizers to conclude that the corresponding degrees of homogeneity are always integers; second, we refine Almgren's blow-up procedure to prove that all flat singularities of the current persist as singularities of the $\mathrm{Dir}$-minimizing limit. An important ingredient of our analysis is the uniqueness of flat tangent cones at singular points, recently established by Minter and Wickramasekera in arXiv:2111.11202.

연구 동기 및 목표

• 코디멘션 1에서의 면적 최소화 초표면의 특이점 집합의 구조적 분류를 완성함으로써, 이전에 홀수 $p$에 대해 연구된 바가 있음에도 불구하고 남아 있던 문제를 해결하는 것.
• 특이점 집합이 $N \leq p$개의 정규 시트가 양의 정수 중복도를 가지며 합이 $p$가 되도록 횡단으로 만나는 점들에서, 차원이 최대 $m-2$인 집합 외부에서 $C^{1,\alpha}$ 부분다양체로 구성되어 있음을 보이는 것.
• 모든 평탄한 특이점들이 디르리클레 최소화 블로우업 극한에서 유지됨을 증명하고, 평탄한 블로우업을 허용하는 점들의 집합이 최소한 두 차원의 코디멘션을 가지므로, 짝수 $p$의 경우를 해결하는 것.
• 최근의 평탄한 접선 콘의 유일성 결과를 활용하여 선형화된 분석과 비선형 블로우업 기법을 융합함으로써, 면적 최소화 커런트에 대한 정규성 이론을 확장하는 것.

제안 방법

• 에피피에리메트릭 부등식과 1-호모지어스 최소화자의 분류를 조합하여 선형화된 문제에서 동차 디르리클레 최소화자의 구조적 결과를 증명함으로써, 호모지어스의 차수는 항상 정수임을 보임.
• 앨그렌의 블로우업 절차의 정밀한 변형을 적용하여, 커런트의 평탄한 특이점들이 디르리클레 최소화 극한에서 특이점으로 유지됨을 보임으로써, 블로우업 과정에서 특이 구조가 유지됨을 보장함.
• 최근 미터와 윅라마세카라에 의해 증명된 특이점에서 평탄한 접선 콘의 유일성 결과를 활용하여, 비유일한 블로우업을 배제하고 특이점 집합의 $C^{1,\alpha}$ 정규성을 뒷받침함.
• 평탄한 블로우업을 허용하는 점들의 집합이 커런트에서 최소한 두 차원의 코디멘션을 가지며, 이는 특이점 집합이 $C^{1,\alpha}$ 부분과 저차원 잔여부로 분해될 수 있음을 허용함.
• boundary mod 2가 0이고 호몰로지가 자명한 $T_n = Q^{-1}T_n$가 mod 2 커런트임을 이용하여 $T_n$이 mod 2에서 경계임을 도출함으로써, 강한 최대원리의 적용이 가능해짐.
• mod 2 커런트의 경계가 0인 $T_o^i$와 $T_2$에 강한 최대원리를 적용하여, $T_o$의 정규 부분이 $T_n$과 겹치지 않음을 증명함으로써, 정규성과 비정규성 성분의 지지 집합이 서로 이격되어 있음을 입증함.

실험 결과

연구 질문

• RQ1 짝수 $p$일 때, 면적 최소화 초표면의 특이점 집합의 세밀한 구조는 무엇이며, 특히 홀수-$p$ 대칭이 없는 상황에서 어떻게 되는가?
• RQ2 특이점 집합은 $m-1$ 차원의 $C^{1,\alpha}$ 부분다양체와 저차원 잔여부로 분해될 수 있는가, 짝수 $p$일 때도 마찬가지인가?
• RQ3 커런트의 평탄한 특이점들이 디르리클레 최소화 블로우업 극한에서 특이점으로 유지되는가? 이는 특이점 집합의 정규성에 어떤 의미를 갖는가?
• RQ4 선형화된 문제에서의 에피피에리메트릭 부등식은 특이점의 호모지어스 차수의 가능한 값들을 어떻게 제약하며, 왜 이 차수들이 반드시 정수여야 하는가?
• RQ5 특이점 집합의 $C^{1,\alpha}$ 정규성 보장에 있어 평탄한 접선 콘의 유일성은 어떤 역할을 하는가?

주요 결과

• 코디멘션 1에서의 면적 최소화 커런트 modulo $p$의 특이점 집합은 차원이 최대 $m-2$인 집합을 제외하고, 모든 $p \geq 2$에 대해 $m-1$ 차원의 $C^{1,\alpha}$ 부분다양체임을 보였다. 이는 짝수 $p$에 대해서도 성립한다.
• 특이점 집합의 각 점에서 정확히 $N \leq p$개의 정규 시트가 양의 정수 중복도 $k_i$를 가지며 $\sum k_i = p$를 만족하면서 횡단으로 만나며, 원뿔 형태의 구조를 이룸.
• 평탄한 블로우업을 허용하는 점들의 집합은 커런트에서 최소한 두 차원의 코디멘션을 가지며, 이는 이러한 점들이 주 특이층에 기여하지 않음을 의미함.
• 1-호모지어스 디르리클레 최소화자의 호모지어스 차수는 항상 정수이며, 이는 에피피에리메트릭 부등식과 동차 최소화자의 분류로부터 도출된 결과임.
• 모든 커런트의 평탄한 특이점들이 디르리클레 최소화 블로우업 극한에서 특이점으로 유지되며, 이는 특이 구조가 블로우업 과정에서 유지됨을 보장함.
• 정규성과 비정규성 성분의 지지 집합은 서로 이격되어 있으며, 이는 경계가 0인 mod 2 커런트에 대해 강한 최대원리를 적용하여 입증됨.