[논문 리뷰] Closed hypersurfaces of low entropy in $\mathbb{R}^4$ are isotopically trivial

Jacob Bernstein, Lu Wang|arXiv (Cornell University)|2020. 03. 30.

Geometric Analysis and Curvature Flows참고 문헌 25인용 수 4

한 줄 요약

이 논문은 $ℝ^4$ 내의 임의의 닫힘되고 연결된 초표면이 원통 $σ^2 \times \mathbb{R}$의 엔트로피보다 작거나 같은 경우, 표준 3차원 구 $σ^3$와 매끄럽게 동치임을 증명한다. 평균 곡률 흐름과 탄성 흐름 분석을 통해, $ℝ^4$ 내의 낮은 엔트로피 초표면은 비자명한 특이점을 형성할 수 없으며, 이는 위상적으로 자명한 구조로의 동치를 강제한다.

ABSTRACT

We show that any closed connected hypersurface in $\mathbb{R}^4$ with entropy less than or equal to that of the round cylinder is smoothly isotopic to the standard three-sphere.

연구 동기 및 목표

• 낮은 엔트로피를 가진 초표면에 대해 $ℝ^4$ 내에서 술리에르즈 문제를 해결함으로써, 위상적 자명성의 기하학적 유사체를 제공한다.
• $ℝ^4$ 내의 닫힘 연결 초표면이 엔트로피 $\leq \lambda[\mathbb{S}^2 \times \mathbb{R}]$를 가질 경우, $\mathbb{S}^3$와 매끄럽게 동치임을 증명함으로써, 낮은 차원에서의 기존 결과를 확장한다.
• 평균 곡률 흐름과 탄성 흐름 분석을 통해 $ℝ^4$ 내의 낮은 엔트로피 초표면의 정확한 위상 분류를 제공한다.
• 이러한 흐름의 유일한 가능한 특이점 모델은 $\mathbb{S}^3$와 동치임을 확인함으로써, 비자명한 최소 원뿔이나 자가수축체를 배제한다.

제안 방법

• 기하학적 복잡도를 측정하기 위해 엔트로피 함수 $\lambda[\Sigma] = \sup_{\mathbf{y}, \rho} F[\rho\Sigma + \mathbf{y}]$를 사용하며, 여기서 $F$는 가우시안 표면 면적이다.
• 초표면을 진전시키기 위해 일치하는 운동 $\mathcal{K} = \{\mu_t\}_{t \geq 0}$을 적용하는 평균 곡률 흐름을 적용하여, 짧은 시간 존재성에 기반한 비부풀림 및 정칙성을 보장한다.
• 특이점에서의 탄성 흐름을 White 정규성 정리와 Brakke의 정규성 이론을 사용해 분석하여, 비유한 또는 비동치 모델을 배제한다.
• 탄성 흐름의 구조를 제어하고 $\mathbb{S}^3$와의 동치를 보장하기 위해 $(R_0, C_0)$-정규 거의 a.c.-동치를 사용한다.
• Huisken의 단조성 공식을 적용하여 흐름 동안 엔트로피가 감소함을 보이고, 이는 비부풀림 초기 초표면에 대한 감소된 엔트로피 $\lambda[\Sigma] < \Lambda - \epsilon_0$로의 환원을 가능하게 한다.
• 멸종 시간에 발생하는 모든 탄성 흐름이 $\mathbb{S}^3$와 동치임을 이용하여, 원래의 초표면이 $\mathbb{S}^3$와 매끄럽게 동치임을 유도한다.

실험 결과

연구 질문

• RQ1 엔트로피가 $\mathbb{S}^2 \times \mathbb{R}$의 엔트로피 이하인 $\mathbb{R}^4$ 내의 닫힌 초표면은 매끄러운 동치를 통해 위상적으로 자명한가?
• RQ2 낮은 엔트로피 초표면은 평균 곡률 흐름 하에서 비자명한 특이점을 형성하는가?
• RQ3 이러한 흐름의 유일한 가능한 특이점 모델은 $\mathbb{S}^3$와 동치인가?
• RQ4 높은 차원에서 낮은 엔트로피 초표면에 대한 조건부 결과를 $\mathbb{R}^4$에서 완전한 분류로 강화할 수 있는가?
• RQ5 엔트로피가 $\lambda[\mathbb{S}^2 \times \mathbb{R}]$ 이하인 비평면 자가수축체나 최소 원뿔이 존재하지 않는다는 사실은 $\mathbb{S}^3$와의 동치를 의미하는가?

주요 결과

• $\mathbb{R}^4$ 내의 닫힘 연결 초표면 $\Sigma$가 $\lambda[\Sigma] \leq \lambda[\mathbb{S}^2 \times \mathbb{R}]$를 만족할 경우, $\mathbb{S}^3$와 매끄럽게 동치이다.
• 증명 과정에서 특이점에서의 모든 탄성 흐름은 유한하거나 $(R_0, C_0)$-정규 거의 a.c.-동치이며, 이는 $\mathbb{S}^3$와의 동치를 보장한다.
• 이러한 초표면의 평균 곡률 흐름의 멸종 시간은 단일 점에서 발생하며, 특이점 모델은 $\mathbb{S}^3$와 동치이다.
• 초표면의 엔트로피는 평균 곡률 흐름 내에서 감소하며, 이는 엔트로피가 엄밀히 감소한 비부풀림의 초기 초표면으로의 환원을 가능하게 한다.
• 모든 $k \leq 3$에 대해 $\mathcal{S}_3^*(\Lambda)$ 및 $\mathcal{RMC}_k^*(\Lambda)$ 내의 비평면 성분이 존재하지 않는 것은 분류에 핵심적이다.
• 결과는 낮은 엔트로피 초표면에 대해 $\mathbb{R}^4$ 내에서 기하학적 술리에르즈 문제를 확인하며, $\mathbb{R}^3$ 내의 이전 결과를 확장한다.