[논문 리뷰] Weak Laplacian bounds and minimal boundaries in non-smooth spaces with Ricci curvature lower bounds

Andrea Mondino, Daniele Semola|arXiv (Cornell University)|2021. 07. 26.

Geometric Analysis and Curvature Flows인용 수 5

한 줄 요약

이 논문은 합성 리치 곡률 하한(즉, RCD(K,N) 공간)을 가진 비가속도 미터 측도 공간에서 최소 경계의 내재적 라플라스 연산자 상한과 정칙성 이론을 수립한다. 점입법, 분포법, 열 흐름 기반 라플라스 연산자 상한 간의 등가성을 개발함으로써, 최소 집합으로부터의 거리 함수에 대한 날카운 라플라스 제어를 증명하고, 특이 집합의 날카운 차원 추정을 도출하며, 기존의 고전적 결과를 전통적인 정칙성 이론에 의존하지 않는 새로운 기법을 통해 비가속도 설정으로 확장한다.

ABSTRACT

The goal of the paper is four-fold. In the setting of non-smooth spaces with Ricci curvature lower bounds (more precisely RCD(K,N) metric measure spaces): - we develop an intrinsic theory of Laplacian bounds in viscosity sense and in a pointwise, heat flow related, sense, showing their equivalence also with Laplacian bounds in distributional sense; - relying on these tools, we establish a PDE principle relating lower Ricci curvature bounds to the preservation of Laplacian lower bounds under the evolution via the $p$-Hopf-Lax semigroup, for general exponents $p\in[1,\infty)$. This principle admits a broad range of applications, going much beyond the topic of the present paper; - we prove sharp Laplacian bounds on the distance function from a set (locally) minimizing the perimeter with a flexible technique, not involving any regularity theory; this corresponds to vanishing mean curvature in the smooth setting and encodes also information about the second variation of the area; - we initiate a regularity theory for boundaries of sets (locally) minimizing the perimeter, obtaining sharp dimension estimates for their singular sets, quantitative estimates of independent interest even in the smooth setting and topological regularity away from the singular set. The class of RCD(K,N) metric measure spaces includes as remarkable sub-classes: measured Gromov-Hausdorff limits of smooth manifolds with lower Ricci curvature bounds and finite dimensional Alexandrov spaces with lower sectional curvature bounds. Most of the results are new also in these frameworks. Moreover, the tools that we develop here have applications to classical questions in Geometric Analysis on smooth, non compact Riemannian manifolds with lower Ricci curvature bounds.

연구 동기 및 목표

• RCD(K,N) 공간에서 라플라스 연산자 상한의 내재적 이론을 개발하여 점입법, 분포법, 열 흐름 기반 개념을 통합한다.
• 모든 p ∈ [1, ∞)에 대해 p-호프-렉스 반구 하에서 하한 리치 곡률 상한이 라플라스 연산자 상한의 유지와 연결되는 PDE 원리를 수립한다.
• 전통적인 정칙성 이론에 의존하지 않고, 국소적으로 둘레를 최소화하는 집합으로부터의 거리 함수에 대한 날카운 라플라스 연산자 상한을 증명한다.
• RCD(K,N) 공간에서 최소 경계에 대한 정칙성 이론을 시작하며, 특이 집합의 날카운 차원 추정과 정량적 상한을 포함한다.

제안 방법

• 열 흐름을 통한 점입법 라플라스 연산자 상한을 개발하고, RCD(K,N) 공간에서 분포 상한과의 등가성을 보인다.
• 모든 p ∈ [1, ∞)에 대해 유효한 새로운 PDE 원리를 도입하여 리치 곡률 하한과 p-호프-렉스 반구 하에서 라플라스 연산자 상한의 안정성 간의 연결을 수립한다.
• 쿠와다의 보조정리와 국소화 기법을 사용하여, 최소 기하선의 발단점에서 평균 곡률 상한을 전역적 라플라스 제어로 확장한다.
• 새로운 ε-정칙성 정리를 사용하여 최소 경계에서 등거리 집합의 날카운 둘레 상한을 도출한다.
• RCD(K,N) 공간에서 유계 변동 함수에 대한 가우스-그린 및 부분 적분 공식을 활용한다.
• 다중도 1의 접선 콘과 밀도 유한성을 활용하여, 비가속도 설정에서 올라드의 정칙성 정리를 적용한다.

실험 결과

연구 질문

• RQ1 비가속도 RCD(K,N) 공간에서 점입법, 분포법, 열 흐름 기반 라플라스 연산자 상한이 등가임을 보일 수 있는가?
• RQ2 모든 p ∈ [1, ∞)에 대해 합성 리치 곡률 하한 하에서 p-호프-렉스 반구가 하한 라플라스 연산자 상한을 유지하는가?
• RQ3 전통적인 정칙성 이론에 의존하지 않고 최소 경계로부터의 거리 함수에 대한 날카운 라플라스 연산자 상한을 확보할 수 있는가?
• RQ4 RCD(K,N) 공간에서 최소 경계의 특이 집합의 날카운 차원은 무엇이며, 정량적 추정을 도출할 수 있는가?
• RQ5 비가속도 설정에서 코드미니전-3 특이 집합을 제외한 영역에서 최소 경계에 대한 위상적 정칙성과 부분 정칙성 결과를 확보할 수 있는가?

주요 결과

• 논문은 RCD(K,N) 공간에서 점입법, 분포법, 열 흐름 기반 라플라스 연산자 상한 간의 등가성을 수립하여 PDE 분석을 위한 통합 프레임워크를 제공한다.
• 거리 함수가 국소적으로 둘레를 최소화하는 집합으로부터의 거리일 경우, 비가속도 설정에서조차도 점입법으로 라플라스 연산자가 0 이상으로 상한이 있음을 증명한다.
• RCD(K,N) 공간에서 최소 경계의 특이 집합은 하우스도르프 차원이 최대 n−1−k이며, ε-정칙성을 통해 날카운 차원 추정이 도출된다.
• 최소 경계에서 등거리 집합의 둘레에 대한 정량적 상한이 확보되며, 이는 매끄러운 리만 기하학 설정에서도 유효하다.
• 최소 경계의 정규 부분은 매끄러운 임베딩 초곡면이며, 특이 부분은 최소한의 코드미니전 3을 가진다. 이는 고전적 결과와 일치한다.
• 결과는 리치 곡률 하한이 존재하는 리만 기하학 다발의 측도적 곰포-하우스도르프 극한과 하한 섹션 곡률이 존재하는 유한 차원 알렉산드로프 공간으로까지 확장된다.