New spectral Bishop-Gromov and Bonnet-Myers theorems and applications to isoperimetry

기술 요약: 새로운 스펙트럼 비숍-그로모프(Bishop–Gromov) 및 본네트-마이어스(Bonnet–Myers) 정리와 등주 부등식에의 응용

문제 정의
본 논문은 리만 기하학의 고전적인 비교 정리, 구체적으로 비숍-그로모프 부피 비교 정리와 본네트-마이어스 직경 정리를 스펙트럼 설정으로 일반화하는 문제를 다룬다. 고전적인 정리들은 점별 리치 곡률 하한($\text{Ric} \geq (n-1)\lambda$)에 의존한다. 본 연구는 곡률 조건을 연산자 $-\gamma\Delta + \text{Ric}$ ($\gamma \geq 0$)를 포함하는 스펙트럼 조건으로 대체했을 때 유사한 부피 및 직경 상한이 성립하는지 조사한다.

중심 문제는 다음을 보장하는 매개변수 $\gamma$의 예리한(sharp) 범위를 결정하는 것이다:

1. 기본군 $\pi_1(M)$의 유한성.
2. 보편 피복(universal cover) $\tilde{M}$의 직경 상한.
3. $M$ (또는 $\tilde{M}$)의 부피 상한.
4. 비음의 리치 곡률과 스펙트럼 bi-Ricci 조건을 가진 완비 다양체에서의 무한대에서의 예리한 등주 제어.

방법론
저자들은 기하학적 측도론, 스펙트럼 분석, 변분법을 결합하여 사용한다. 핵심적인 기술적 혁신은 다음과 같다:

1. 불균등 가중 등주 프로파일(Unequally Weighted Isoperimetric Profiles):
   동일한 가중치를 가진 프로파일을 사용했던 이전의 스펙트럼 일반화(예: 차원 3에서의 경우)와 달리, 저자들은 면적 항과 부피 항에 서로 다른 가중치를 부여한 프로파일을 도입한다. 스펙트럼 조건을 만족하는 양의 함수 $u$에 대하여, 다음과 같이 정의한다:
   $$I(v) := \inf \left\{ \int_{\partial^* E} u^\gamma : E \subset \subset M, \int_E u^{\frac{2\gamma}{n-1}} = v \right\}$$
   이 특정한 가중치 방식은 등주 프로파일에 대한 예리한 미분 부등식을 도출할 수 있게 한다:
   $$I''I \leq -\frac{(I')^2}{n-1} - (n-1)\lambda$$
   이 부등식은 점성(viscosity) 의미에서 성립하며, 상수 곡률 케이스에서 알려진 예리한 부등식과 일치하여, ODE 비교를 통해 예리한 부피 상한을 도출할 수 있게 한다.

2. 불균등 워핑된 $\mu$-버블(Unequally Warped $\mu$-Bubbles):
   직경 상한을 확립하기 위해, 저자들은 $\mu$-버블 기법(Gromov에 의해 처음 제안됨)을 활용한다. 저자들은 불균등 워핑된 포텐셜을 가진 범함수를 다음과 같이 정의한다:
   $$E(\Omega) = \int_{\partial^* \Omega} u^\gamma - \int_{\Omega} h u^{\frac{2\gamma}{n-1}}$$
   $\nabla h$, $u$, $\gamma$를 포함하는 특정 미분 부등식을 만족하도록 워핑 함수 $h$를 신중하게 선택함으로써, 직경이 너무 클 경우 모순이 발생함을 도출한다. 이 접근 방식은 직경 상한을 스펙트럼 조건이 유의미한 전체 $\gamma$ 범위로 확장한다.

3. 안정성 및 정칙성(Stability and Regularity):
   증명 과정에는 에너지 범함수의 2차 변분 분석이 포함된다. 주요 기술적 난관은 차원 $n \geq 8$에서 최소 쌍곡면(minimizing hypersurfaces)의 특이점 형성 가능성이다. 저자들은 기존 문헌([7, 11])의 논증을 채택하여, 안정성 부등식이 특이 집합에서 떨어진 곳에서 지원되는 변분에 대해 성립함을 보여줌으로써, 모든 차원 $n \geq 3$에 대해 결과를 확장한다.

주요 기여 및 결과

1. 스펙트럼 비숍-그로모프 및 본네트-마이어스 정리 (정리 1 및 따름정리 1)
본 논문은 고전적인 정리들의 예리한 일반화를 확립한다. $(M, g)$를 차원 $n \geq 3$인 폐 리만 다양체라고 하자. 만약 다음을 만족하는 양의 매끄러운 함수 $u$가 존재한다면:
$$\gamma \Delta u \leq u \text{Ric} - (n-1)\lambda u$$
여기서 $0 \leq \gamma \leq \frac{n-1}{n-2}$ 이고 $\lambda > 0$ 일 때, 다음이 성립한다:

• 직경 상한: 보편 피복 $\tilde{M}$의 직경은 다음으로 제한된다:
  $$\text{diam}(\tilde{M}) \leq \frac{\pi}{\sqrt{\lambda}} \left( \frac{\max(u)}{\min(u)} \right)^{\frac{n-3}{n-1}\gamma}$$
  결과적으로, $\pi_1(M)$은 유한하다.
• 부피 상한: 보편 피복의 부피는 다음을 만족한다:
  $$\text{vol}(\tilde{M}) \leq \lambda^{-n/2} \text{vol}(S^n)$$
• 강직성(Rigidity): 부피 상한에서 등호가 성립하면, $u$는 상수이고 $\tilde{M}$은 반지름이 $\lambda^{-1/2}$인 라운드 구(round sphere)와 등거리이다.

저자들은 $\gamma \leq \frac{n-1}{n-2}$ 범위가 예리함을 증명한다. $\gamma > \frac{n-1}{n-2}$인 경우, 스펙트럼 조건은 만족하지만 부피 및 직경 상한이 실패하는 반례(예: $S^1 \times S^{n-1}$ 상의 사례)가 존재한다.

2. 안정적 베른슈타인 문제의 해결 (정리 2)
직접적인 응용으로서, 저자들은 $\mathbb{R}^6$에서의 안정적 베른슈타인 문제를 해결한다. 저자들은 $2 \leq n \leq 5$인 모든 침투된, 완비된, 연결된, 두 면(two-sided) 안정 최소 쌍곡면 $M^n \hookrightarrow \mathbb{R}^{n+1}$은 유클리드 초평면임을 증명한다. 이 결과는 안정 연산자로부터 도출된 스펙트럼 조건과 정리 1에서 확립된 예리한 $\gamma$ 범위에 기초한다. $n=6$인 경우는 여전히 미해결 상태로 남아 있다.

3. 무한대에서의 등주성 (정리 3)
$3 \leq n \leq 5$이고 $\text{Ric} \geq 0$이며, 컴팩트 집합 외부에서 스펙트럼 bi-Ricci 조건 $\lambda_1(-\gamma\Delta + \text{biRic}) \geq n-2$를 만족하는 완비 비컴팩트 다양체에 대하여, 본 논문은 다음을 증명한다:

• 선형 부피 성장: 해당 다양체는 선형 부피 성장을 갖는다.
• 예리한 등주 프로파일: 등주 프로파일 $I_M(v)$는 모든 $v > 0$에 대해 $I_M(v) \leq \text{vol}(S^{n-1})$를 만족한다.
• 강직성: 어떤 $v$에 대해 등호가 성립하면, 해당 다양체는 유계 집합 외부에서 실린더 $S^{n-1} \times [0, \infty)$와 등거리이다.

의의 및 주장
저자들은 주요한 참신함이 불균등 가중 등주 프로파일과 불균등 워핑된 $\mu$-버블의 도입에 있다고 주장한다. 이러한 도구들은 예리한 상수들을 회복하고, 더 엄격한 $\gamma$ 제한(예: $\gamma < \frac{4}{n-1}$)을 요구하거나 비예리한 부피 상한을 냈던 이전 방법론의 한계를 극복하여, 스펙트럼 조건이 유효한 전체 $\gamma$ 범위까지 결과를 확장할 수 있게 한다.

본 논문은 $\gamma \leq \frac{n-1}{n-2}$ 범위가 $\pi_1(M)$의 유한성과 부피 상한을 위한 최적의 범위임을 강조하며, 이는 초임계(supercritical) $\gamma$에 대한 명시적인 반례를 통해 입증되었다. 또한, 이 연구는 안정적 베른슈타인 문제와 비음의 리치 곡률을 가진 다양체의 등주 구조에 관한 기존 연구들을 통합하고 확장하며, 이러한 기하학적 문제들에 대한 통합된 스펙트럼 프레임워크를 제공한다. 결과들은 모든 차원 $n \geq 3$에 적용 가능하며, 특이한 경우($n \geq 8$)에 대해서는 별도의 처리를 거쳤다.