[논문 리뷰] Entropy of closed surfaces and min-max theory

Daniel Ketover, Xin Zhou|arXiv (Cornell University)|2015. 09. 21.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 8

한 줄 요약

이 논문은 ℝ³ 내의 모든 매끄럽고 닫힘, 임베딩된 2차원 구의 엔트로피가 자기수축하는 두 구보다 작지 않음을 증명하며, Colding-Ilmanen-Minicozzi-White의 추측을 확인한다. 가우시안 면적 함수수에 대해 적용된 최소-최대 이론과 철저히 구성된 4개의 매개변수를 가진 표면의 가족, 그리고 평면으로의 수렴을 배제하기 위한 차수의 추론을 통해, 저자들은 평균 곡률 흐름 특이점 모델의 맥락에서 윌모어 추측의 쐐기적 유사체를 확립한다. 라운드 구가 최소-최대 극한이다.

ABSTRACT

Entropy is a natural geometric quantity measuring the complexity of a surface embedded in $\mathbb{R}^3$. For dynamical reasons relating to mean curvature flow, Colding-Ilmanen-Minicozzi-White conjectured that the entropy of any closed surface is at least that of the self-shrinking two-sphere. We prove this conjecture for all closed embedded $2$-spheres. Assuming a conjectural Morse index bound (announced recently by Marques-Neves), we can improve the result to apply to all closed embedded surfaces that are not tori. Our results can be thought of as the parabolic analog to the Willmore conjecture and our argument is analogous in many ways to that of Marques-Neves on the Willmore problem. The main tool is the min-max theory applied to the Gaussian area functional in $\mathbb{R}^3$ which we also establish. To any closed surface in $\mathbb{R}^3$ we associate a four parameter canonical family of surfaces and run a min-max procedure. The key step is ruling out the min-max sequence approaching a self-shrinking plane, and we accomplish this with a degree argument. To establish the min-max theory for $\mathbb{R}^3$ with Gaussian weight, the crucial ingredient is a tightening map that decreases the mass of non-stationary varifolds (with respect to the Gaussian metric of $\mathbb{R}^3$) in a continuous manner.

연구 동기 및 목표

• ℝ³ 내의 폐쇄된 임베딩된 2차원 구의 엔트로피가 자기수축하는 두 구의 엔트로피보다 작지 않다는 추측을 증명하는 것.
• 평균 곡률 흐름 특이점 모델의 맥락에서 최소-최대 이론을 사용하여 윌모어 추측의 파라볼릭 유사체를 확립하는 것.
• 폐쇄된 임베딩된 표면에서부터 최소-최대 절차를 비잔연하게 가능하게 하는 표준 4매개변수 표면 가족을 구성하는 것.
• 최소-최대 수열이 자기수축 평면으로 수렴할 가능성을 차수의 추론을 통해 배제하는 것.

제안 방법

• ℝ³에 지오데식 g_ij = e^(-|x|²/4)δ_ij를 갖는 가우시안 면적 함수수에 최소-최대 이론을 적용하는 것.
• 모든 폐쇄된 임베딩된 표면에서부터 이동과 확대를 매개변수로 하는 표준 4매개변수 표면 가족을 구성하는 것.
• 비정적 변형체의 질량을 가우시안 지오데식에 대해 연속적으로 감소시키는 타이트닝 맵을 사용하는 것.
• 최소-최대 수열이 자기수축 평면으로 수렴하지 않음을 차수의 추론을 통해 배제하는 것.
• L = Δ + |A|² - ½⟨x,∇(·)⟩ + ½를 포함하는 가우시안 면적의 제2차 변분 공식을 활용하여 안정성과 인덱스를 분석하는 것.
• 유계 가우시안 체적을 갖는 F-정적 변형체에 대해 엔트로피가 (0,1)에서 최대화됨을 증명, 즉 F(V) = λ(V).

실험 결과

연구 질문

• RQ1 ℝ³ 내의 모든 폐쇄된 임베딩된 2차원 구의 엔트로피는 자기수축하는 두 구의 엔트로피보다 작지 않은가?
• RQ2 최소-최대 이론이 ℝ³ 내의 가우시안 면적 함수수에 확장되어 자기수축자에 대응하는 임계점을 생성할 수 있는가?
• RQ3 폐쇄된 표면에 대한 최소-최대 수열은 자기수축 평면으로 수렴하는가, 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ4 모르스 인덱스는 자기수축자를 분류하는 데 어떤 역할을 하는가, 그리고 엔트로피 최소화와 어떻게 관련되는가?
• RQ5 F-정적 변형체에 대해 엔트로피 기능이 원점과 단위 시간에서 최대값을 도달함을 보일 수 있는가?

주요 결과

• ℝ³ 내의 모든 매끄럽고 닫힘, 임베딩된 2차원 구의 엔트로피는 λ(𝕊²) ≈ 1.47 이상이며, 이는 구에 대한 추측 1.1을 확인한다.
• 표준 4매개변수 가족에 최소-최대 절차를 적용하면 라운드 두 구가 임계점이 된다.
• 최소-최대 수열이 자기수축 평면으로 수렴할 수 없음을 위상수학적 차수의 추론으로 입증된다.
• 자기수축자의 엔트로피는 그 가우시안 면적과 같으며, 라운드 구는 비평면 자기수축자 중에서 최소 엔트로피를 달성한다.
• 모든 유계 가우시안 체적을 갖는 F-정적 변형체에 대해 엔트로피는 (0,1)에서 도달한다, 즉 F(V) = λ(V), 이는 [CM12]의 결과를 일반화한다.
• 타이트닝 맵는 비정적 변형체의 질량을 연속적으로 감소시키며, 이는 가우시안 면적 함수수에 대한 최소-최대 이론의 구축을 가능하게 한다.