[논문 리뷰] Pointwise Characterizations of Curvature and Second Fundamental Form on Riemannian Manifolds

Feng‐Yu Wang, Bo Wu|arXiv (Cornell University)|2016. 05. 09.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 9

한 줄 요약

이 논문은 $ Z $ 가 $ C^1 $ 벡터장일 때 $ L = \Delta + Z $ 가 생성하는 (반사되는) 확산 과정을 이용하여 리만 다양체 위에서 바크리-에메리 곡률과 제2 기본형식의 점별 특성화를 제시한다. 곡률과 제2 기본형식에 대한 渐近 공식을 활용하고 경로 공간 상에서 말레비안 기울기를 분석하여, 확산 과정을 포함하는 함수 부등식을 통해 이러한 기하학적 양에 대한 날카운 점별 상한 및 하한을 확립한다. 이는 곡률이 유계가 아니거나 경계가 존재하는 다양체로 나베르의 결과를 확장한다.

ABSTRACT

Let $M$ be a complete Riemannian manifold possibly with a boundary $\partial M$. For any $C^1$-vector field $Z$, by using gradient/functional inequalities of the (reflecting) diffusion process generated by $L:=Δ+Z$, pointwise characterizations are presented for the Bakry-Emery curvature of $L$ and the second fundamental form of $\partial M$ if exists. These extend and strengthen the recent results derived by A. Naber for the uniform norm $\|{\mathbf{Ric}}_Z\|_\infty$ on manifolds without boundary. A key point of the present study is to apply the asymptotic formulas for these two tensors found by the first named author, such that the proofs are significantly simplified.

연구 동기 및 목표

• 아담 나베르의 바크리-에메리 곡률에 대한 균일 노름 특성화를 경계가 있는 다양체에서 점별 상한으로 확장하기 위해.
• 확산 과정 $ L = \Delta + Z $ 가 생성하는 (반사되는) 확산 과정을 이용하여 경계 $ \partial M $ 의 제2 기본형식에 대한 점별 특성화를 제공하기 위해.
• 곡률이 무한대일 수 있는 경우에도 $ \text{Ric}_Z $ 와 $ \mathbb{I} $ 의 날카운 상한 및 하한을 경로 공간 상의 함수 부등식을 통해 점별적으로 특성화하기 위해.
• 제1 저자가 유도한 곡률과 제2 기본형식에 대한 渐近 공식을 활용하여 증명을 단순화하기 위해.

제안 방법

• 확산 과정 $ (X_t^x, U_t^x) $ 를 $ L = \Delta + Z $ 가 생성하는 것으로, 정규직교 프레임 번들의 위로 올린다.
• 말레비안 미분을 적용하여 경로 공간 $ W_T(M) $ 상의 원통형 함수에 대해 말레비안 기울기 $ DF(X_{[0,T]}^x) $ 를 정의하며, 이는 경로를 따라 방향 도함수를 캡처한다.
• 곡률과 경계 기하학을 포함하기 위해 $ K $ 와 $ \sigma $ 를 가중치로 하는 시간 및 국소 시간 적분을 조합한 무작위 측도 $ \mu_{x,T} $ 를 도입한다.
• 경로의 변동성을 기하학적 양과 연결하기 위해 기능적 부등식을 통해 $ \mathscr{E}^{K,\sigma}_{t,T}(F,F) $ 를 구성한다.
• 경로의 2차 변동성을 추출하기 위해 $ T \to 0 $ 으로 갈 때의 渐近 분석을 사용하여 반세미군의 2차 미분을 통해 $ \text{Ric}_Z $ 와 $ \mathbb{I} $ 의 점별 값들을 도출한다.
• 증명은 $ \mathbb{E}[|\dot{D}_t F|^2] $ 와 $ \text{Var}(F) $ 의 渐近 전개에 기반하며, $ \sqrt{T} $ 와 $ T^{-1} $ 항을 포함하는 극한을 통해 $ \text{Ric}_Z $ 와 $ \mathbb{I} $ 와 연결한다.

실험 결과

연구 질문

• RQ1 확산 과정 $ X_t^x $ 의 경로 공간 상의 기능적 부등식을 통해 바크리-에메리 곡률 $ \text{Ric}_Z $ 의 점별 노름을 특성화할 수 있는가?
• RQ2 경계 $ \partial M $ 의 제2 기본형식 $ \mathbb{I} $ 는 확산 과정의 경로 공간 변동성으로 어떻게 특성화될 수 있는가?
• RQ3 말레비안 기울기의 渐近 행동과 $ \text{Ric}_Z $ 및 $ \mathbb{I} $ 의 점별 값 사이의 정확한 관계는 무엇인가?
• RQ4 곡률이 다양체에서 무한대일 수 있는 경우에도 $ \text{Ric}_Z $ 와 $ \mathbb{I} $ 의 상한 및 하한을 점별적으로 특성화할 수 있는가?
• RQ5 $ \mu_{x,T} $ 와 에너지 형식 $ \mathscr{E}^{K,\sigma}_{t,T} $ 를 포함하는 기능적 부등식이 다양체와 그 경계의 전체 점별 기하학을 어떻게 캡처하는가?

주요 결과

• 에너지 형식 $ \mathscr{E}^{K,\sigma}_{t,T}(F,F) $ 가 모든 $ F \in \mathscr{F}C_T^\infty $ 에 대해 특정 기능적 부등식을 만족할 때, 그리고 $ T \to 0 $ 의 극한에서 등호가 성립할 때, 점별 하한 $ \|\text{Ric}_Z\|(x) \leq K(x) $ 이 성립한다.
• 제2 기본형식은 $ \mathbb{I}(\nabla f, \nabla f)(x) \geq -\sigma(x)|\nabla f(x)|^2 $ 를 만족할 때이고, 이는 $ \sigma $ 를 포함하는 해당 기능적 부등식이 성립할 때에만 성립하며, 나베르의 결과를 경계 사례로 확장한다.
• 함수 $ F = f(X_T^x) $ 의 분산과 그 말레비안 기울기의 渐近 전개로부터 $ \text{Ric}_Z(\nabla f, \nabla f)(x) = \lim_{T \to 0} \frac{1}{2T} \left( P_T|\nabla f|^2(x) - |\nabla P_T f|^2(x) \right) $ 를 도출하여 점별 공식을 제공한다.
• 경계 $ x \in \partial M $ 에서 제2 기본형식은 $ \mathbb{I}(\nabla f, \nabla f)(x) = \lim_{T \to 0} \frac{3\sqrt{\pi}}{8\sqrt{T}} \left( \frac{\mathbb{E}[(F\Phi)^2] - \{\mathbb{E}[F\Phi]\}^2}{2T} - |\nabla P_T f|^2 \right) $ 로 복원되며, 이는 경로 공간 분산과 경계 기하학을 연결한다.
• 상한 추정은 $ F(\gamma) = f(\gamma_\varepsilon) - \frac{1}{2}f(\gamma_T) $ 를 테스트하여 유도되며, 이는 $ \text{Ric}_Z(\nabla f, \nabla f)(x) \leq K(x)|\nabla f|^2(x) $ 와 $ \mathbb{I}(\nabla f, \nabla f)(x) \leq \sigma(x)|\nabla f|^2(x) $ 를 함의하는 극한 부등식을 이끈다.
• 증명의 핵심 단순화 요소는 곡률과 제2 기본형식에 대한 渐近 공식을 활용하여 이전 연구에서 사용된 복잡한 쌍정 또는 쌍정 기반 접근법의 필요성을 줄이는 데 있다.