[논문 리뷰] Comparison Geometry for the Bakry-Emery Ricci Tensor

Guofang Wei, William Wylie|arXiv (Cornell University)|2007. 06. 08.

Geometric Analysis and Curvature Flows참고 문헌 27인용 수 18

한 줄 요약

이 논문은 잠재 함수 $f$ 에 대한 조건(예: 유계성 또는 통제 가능한 반경 방향 도함수) 하에, Bakry-Emery Ricci 곡률이 아래로 유계인 부드러운 미터릭 측도 공간에 대해 평균 곡률 및 체적 비교 정리를 수립한다. 이는 고전적인 Ricci 곡률 결과—예를 들어, Myers 정리, Bishop-Gromov 체적 비교, 그리고 splitting 정리—를 $f$ 가 유계이거나 $\partial_r f$ 가 아래로 유계일 경우 Bakry-Emery 설정으로 확장한다. 이러한 확장이 가능한 조건이 필수적임을 증명한다.

ABSTRACT

For Riemannian manifolds with a measure $(M,g, e^{-f} dvol_g)$ we prove mean curvature and volume comparison results when the $\infty$-Bakry-Emery Ricci tensor is bounded from below and $f$ is bounded or $\partial_r f$ is bounded from below, generalizing the classical ones (i.e. when $f$ is constant). This leads to extensions of many theorems for Ricci curvature bounded below to the Bakry-Emery Ricci tensor. In particular, we give extensions of all of the major comparison theorems when $f$ is bounded. Simple examples show the bound on $f$ is necessary for these results.

연구 동기 및 목표

• 고전적인 비교 정리—예를 들어, Myers 정리, Bishop-Gromov 체적 비교, Cheeger-Gromoll splitting 정리—를 Ricci 곡률을 초월하여 Bakry-Emery Ricci 텐서로 확장한다.
• 이러한 정리의 일반화를 가능하게 하는 잠재 함수 $f$ 에 대한 최소 조건을 규명한다. 특히 $f$ 가 유계이거나 $\partial_r f$ 가 아래로 유계일 경우를 중심으로 고려한다.
• 다항식 $f$-체적 성장과 관련된 정리들에 대해 $f$ 의 유계성이 필수적임을 반례를 통해 보여준다.
• 중량 측도 $e^{-f}d\mathrm{vol}_g$ 와 $f$-Laplacian 에 대해 새로운 평균 곡률 및 체적 비교 추정치를 개발한다.

제안 방법

• f-Laplacian $\Delta_f = \Delta - \nabla f \cdot \nabla$ 를 통해 일반화된 평균 곡률 비교를 유도한다. 여기서 $m_f = m - \partial_r f$ 는 $f$-평균 곡률이다.
• $m_f'$ 와 $m_H'$ 에 대한 미분 부등식을 사용하여, 곡률 $H$ 를 가진 모델 공간 $M_H^{n+4k}$ 와의 $f$-평균 곡률 비교를 수행한다.
• 적분 인자와 Gronwall 유형 추정치를 적용하여 차이 $\psi = (m_f - m_H)_+$ 를 유계화한다. 특히 $|f| \leq k$ 조건 하에서 분석한다.
• 평균 곡률 유계화를 통한 체적 비교를 수립하여, $|f| \leq k$ 일 경우 $\mathrm{Vol}_f(B(p,R))/\mathrm{Vol}_f(B(p,r)) \leq \mathrm{Vol}^{n+4k}_H(R)/\mathrm{Vol}^{n+4k}_H(r)$ 를 도출한다.
• 반경 방향 섹션 곡률과 강성 조건을 분석하여 비교 정리의 등호 성립 조건을 특성화한다.
• 일정 곡률 $H$ 를 가진 모델 공간 $M_H^n$ 을 사용하며, $\mathrm{sn}_H(r)$ 는 $\mathrm{sn}_H'' + H\mathrm{sn}_H = 0$, $\mathrm{sn}_H(0)=0$, $\mathrm{sn}_H'(0)=1$ 을 만족하는 해로 정의된다.

실험 결과

연구 질문

• RQ1 Ricci 곡률에 대한 고전적 비교 정리가 Bakry-Emery Ricci 텐서로 확장되기 위해 $f$ 에 대해 어떤 조건이 필요한가?
• RQ2 Ric$_f \geq 0$ 이고 $f$ 가 유계일 경우, $f$-체적에 대한 체적 성장 정리가 일반화될 수 있는가?
• RQ3 f-체적 성장 추정치 및 splitting 정리에 있어 $f$ 의 유계성 또는 $\partial_r f$ 의 유계성이 필수적인가?
• RQ4 $m_f = m - \partial_r f$ 에 대한 평균 곡률 비교는 지오데식선을 따라 $f$ 의 행동에 따라 어떻게 달라지는가?
• RQ5 $|f| \leq k$ 이고 $\mathrm{Ric}_f \geq (n-1)H$ 일 경우, $m_f - m_H$ 의 날카운 bounds 는 무엇인가?

주요 결과

• $\partial_r f \geq -a$ 이면, $f$-평균 곡률은 $m_f(r) - m_H(r) \leq a$ 를 만족하며, 등호는 반경 방향 섹션 곡률이 모두 $H$ 이고 $f(t) = f(p) - at$ 일 때 성립한다.
• $|f| \leq k$ 이면, $m_f(r) \leq m_H^{n+4k}(r)$ 를 만족하며, 특히 $H=0$ 일 경우 $m_f(r) \leq \frac{n+4k-1}{r}$ 를 얻는다. 이는 다항식 $f$-체적 성장을 보여준다.
• $\mathrm{Ric}_f \geq (n-1)H$ 이면, $\partial_r f \geq -a$ 일 경우 $f$-체적 비율은 $\frac{\mathrm{Vol}_f(B(p,R))}{\mathrm{Vol}_f(B(p,r))} \leq e^{aR} \frac{\mathrm{Vol}_H^n(R)}{\mathrm{Vol}_H^n(r)}$ 를 만족하며, 등호는 곡률이 일정 $H$ 이고 $\partial_r f \equiv a$ 일 때 성립한다.
• $|f| \leq k$ 이면, 체적 비율은 $\frac{\mathrm{Vol}_H^{n+4k}(R)}{\mathrm{Vol}_H^{n+4k}(r)}$ 로 유계지며, 이는 $f$-체적 성장이 최대 차수 $n+4k$ 이하임을 의미한다.
• $H=0$ 이고 $|f| \leq k$ 이면, $m_f(r) - \frac{n-1}{r} \leq 4(n-1)e^{4k/(n-1)} \frac{1}{r}$ 를 만족하며, 이는 유클리드 행동에서의 이탈 정도를 정량화한다.
• 반례를 통해 $f$-유계성이 필수적임을 보여준다. 이 조건이 없으면 $f$-체적 성장이 다항식 차수를 초과할 수 있으며, splitting 정리도 성립하지 않는다.