Connected sum of manifolds with spectral Ricci lower bounds

기술 요약: 스펙트럼 리치 하한을 가진 다양체의 연결 합(Connected Sum)

문제 정의
본 논문은 연결 합이라는 위상적 연산에 대해 스펙트럼 리치 하한의 안정성을 다룬다. 구체적으로, $\lambda_1(-\gamma\Delta + \text{Ric}) \geq \lambda$ 형태의 스펙트럼 조건을 만족하는 완전 리만 계량(complete Riemannian metric)을 갖는 두 매끄러운 $n$-다양체($n \geq 3$)가 있을 때, 이들을 연결하여 새로운 다양체 $M \# N$을 형성해도 동일한 조건을 만족하는 계량을 가질 수 있는지 조사한다.

조건 $\lambda_1(-\gamma\Delta + \text{Ric}) \geq \lambda$는 양의 함수 $u$의 존재, 즉 $-\gamma\Delta u + \text{Ric} \cdot u \geq \lambda u$ 또는 동치인 부등식 $\int_M (\gamma|\nabla \phi|^2 + \text{Ric} \cdot \phi^2) \geq \lambda \int_M \phi^2$ (모든 컴팩트 지지 $C^1$ 함수 $\phi$에 대하여)가 성립하는 것으로 정의된다. 이는 리치 곡률에 대한 전역적인 스펙트럼 조건이며, 일반적으로 점별(pointwise) 하한보다 약한 조건이다.

매개변수 $\gamma$에 대한 임계 임계값(critical threshold)이 $\frac{n-1}{n-2}$로 식별되었다. 이전 연구(Bour–Carron [4])는 $\gamma \leq \frac{n-1}{n-2}$인 다양체에 대해 부피 및 베티 수(Betti number) 경계 조건을 확립했다. 그러나 "초임계(supercritical)" 범위인 $\gamma > \frac{n-1}{n-2}$에서는 이러한 경계 조건에 대한 반례가 존재한다(예: $S^{n-1} \times S^1$ 상의 워프 곱(warped product)을 통한 사례). 저자들은 이 초임계 범위에서 다양체의 기하학적 및 위상적 거동이 상이함을 입증하고자 하며, 특히 $\gamma > \frac{n-1}{n-2}$일 때 스펙트럼 조건이 연결 합에 의해 보존됨을 증명함으로써 이를 보여준다.

방법론
증명은 스칼라 곡률에 사용되는 Gromov–Lawson 및 Schoen–Yau 기법과 유사하지만, 스펙트럼 리치 조건에 맞게 조정된 기하학적 구성을 채택한다. 핵심 전략은 다음과 같다:

1. 국소 모델 구축 (Local Model Construction): 저자들은 Bour–Carron [4]에서 영감을 얻은 "토이 모델(toy model)"을 활용한다. 이는 워프 곱 계량 $dr^2 + f(r)^2 g_{S^{n-1}}$와 특정 함수 $u = f(r)^{2-n}$를 포함한다. 임의의 볼록한(convex) 워핑 함수 $f$에 대해 이 쌍이 특정 미분 항등식을 만족함을 관찰한다. $r$이 큰 값에 대해 $f(r) \approx |r|$이 되도록 선택함으로써, $\lambda=0$인 스펙트럼 조건을 만족하는 $\mathbb{R}^n \# \mathbb{R}^n$ 상의 국소 계량을 구축한다.

2. 그린 함수를 통한 전역화 (Globalization via Green's Functions): 일반적인 다양체 $M$으로 이 국소 모델을 확장하기 위해, 두 개의 작은 구 $B(x_1, \epsilon)$와 $B(x_2, \epsilon)$를 제거하고 그 사이에 "터널" $S^{n-1} \times [0, 1]$을 삽입한다.

   • 단순히 계량을 병합하는 대신, 연관된 고유함수(eigenfunction)를 병합해야 한다.
   • 저자들은 특이점 근처에서 모델 함수가 그린 함수(Green's function)에 해당하는 $r^{2-n}$처럼 행동한다는 점에 주목한다.
   • 따라서, 원래의 다양체 $M$ 상에서 $-\gamma\Delta u + \text{Ric} \cdot u = (\lambda - \epsilon)u + (\delta_{x_1} + \delta_{x_2})$를 풀어 $x_1$과 $x_2$에 극(pole)을 갖는 그린 함수 $u$를 얻는다.
   • 연결 합 상의 새로운 고유함수 $\hat{u}$는 원래 다양체 상의 해 $u$와 터널 내의 모델 해 $f^{2-n}$ 사이를 부드럽게 보간(interpolate)함으로써 구성된다.

3. 해석적 추정 (Analytic Estimates): 증명은 계량과 그린 함수의 근방에서의 정밀한 점근적 추정(Lemma 1, Lemma 7, Lemma 8)에 의존한다. 저자들은 원래의 계량 $g$와 터널 영역 내의 워프 곱 계량을 혼합하기 위한 컷오프 함수(cutoff function)를 정의한다. 그런 다음 두 영역에서 리치 곡률과 라플라시안을 계산한다:

   • 영역 I (원래 다양체 근처): 계량이 원래의 계량과 유사한 영역.
   • 영역 II (터널의 중심): 계량이 워프 곱인 영역.
     결정적인 단계는 라플라시안과 리치 항의 상호작용에서 발생하는 항 $\gamma(n-2) - (n-1)$이 양수임을 보이는 것이다. 이 양성(positivity)은 오직 $\gamma > \frac{n-1}{n-2}$일 때만 보장된다.

주요 기여 및 결과
주요 결과는 **정리 1(Theorem 1)**이다:
$n \geq 3$, $\gamma > \frac{n-1}{n-2}$, $\lambda \in \mathbb{R}$일 때, $\lambda_1(-\gamma\Delta + \text{Ric}) \geq \lambda$를 만족하는 완전 다양체 $(M, g)$가 주어지면, 임의의 두 점 $x_1, x_2 \in M$에 대하여 다음을 만족하는 완전 다양체 $M'$ (위상적으로 $x_1$과 $x_2$를 연결하는 터널을 가진 $M$)와 계량 $g'$가 존재한다:

1. $g'$는 $x_1$과 $x_2$의 작은 근방 밖에서는 $g$와 일치한다.
2. $M'$는 $\lambda_1(-\gamma\Delta_{g'} + \text{Ric}_{g'}) \geq \lambda - \epsilon$ (임의의 $\epsilon > 0$에 대하여)를 만족한다.

따름정리(Corollaries):

• 따름정리 1: 이러한 다양체들의 연결 합 $M_1 \# M_2$는 동일한 스펙트럼 하한을 만족하는 완전 계량을 갖는다.
• 따름정리 2: $M \# (S^{n-1} \times S^1)$은 그러한 계량을 갖는다.
• 임계값의 날카로움(Sharpness of the Threshold): 저자들은 $\gamma > \frac{n-1}{n-2}$ 조건이 날카롭다는 것을 보여준다. $\gamma \leq \frac{n-1}{n-2}$ 범위에서는 연결 합 연산이 알려진 위상적 장애물(예: Bour–Carron [4]의 베티 수 경계 $b_1(M) \leq n$)을 위반하게 된다. 구체적으로, 이 구성은 $\gamma > \frac{n-1}{n-2}$일 때 매우 큰 제1 베티 수를 가진 다양체들(예: $\#_k(S^{n-1} \times S^1)$)이 $\lambda_1(-\gamma\Delta + \text{Ric}) > 0$을 만족하도록 구축할 수 있음을 함의하며, 이는 해당 범위에서 베티 수 경계가 실패함을 보여준다.

의의
본 논문은 스펙트럼 리치 하한이 임계값 $\gamma = \frac{n-1}{n-2}$에서 질적인 전이를 겪는다는 추가적인 증거를 제공한다.

• 임계값 미만 ($\gamma \leq \frac{n-1}{n-2}$): 이 조건은 강력한 위상적 제약(부피 경계, 베티 수 경계)을 부과한다.
• 임계값 초과 ($\gamma > \frac{n-1}{n-2}$): 이 조건은 위상적 복잡성을 증가시키는 연결 합과 같은 위상적 연산을 허용할 만큼 충분히 유연하다(예: $b_1$을 증가시킴).

저자들은 자신들의 구성이 스칼라 곡률에 대한 고전적인 Gromov–Lawson 수술(surgery)과는 기술적으로 다르다고 언급한다. 스칼라 곡률의 경우, 워핑 인자(warping factor)는 특정 미분 부등식을 만족해야 한다. 반면, 초임계 범위의 스펙트럼 리치 조건의 경우, 워핑 인자 $f$는 특정 경계 조건을 만족하기만 하면 어떠한 볼록 함수라도 될 수 있다. 이는 스펙트럼 리치 하한을 가진 계량을 구축함에 있어 점별 경계나 스칼라 곡률 경계에 비해 더 큰 자유도가 있음을 시사한다.

본 논문은 이 결과가 코디멘션(codimension) $k=n$인 수술 케이스를 다루고 있음을 명시하며, $\gamma > \frac{k-1}{k-2}$가 성립한다면 코디멘션 $k$ ($2 < k < n$)인 수술에 대해서도 유사한 안정성이 유지되는지에 대한 질문을 던지며 마무리한다.