[논문 리뷰] Curvature-dimension estimates for the Laplace-Beltrami operator of a totally geodesic foliation

Fabrice Baudoin, Michel Bonnefont|arXiv (Cornell University)|2014. 12. 11.

Geometric Analysis and Curvature Flows참고 문헌 11인용 수 12

한 줄 요약

이 논문은 완전히 지그재그인 리만 군집에서 라플라스-베르트라미 연산자에 대한 곡률-차원 추정을 수립하며, 전체 $\Gamma_2$ 연산자가 아래로 유계가 아니어도, 수평 바크리-에메르 곡률에 하한이 존재하고, 브라켓 생성 조건이 만족될 경우, 와안-하르낙 부등식과 로그-소볼레프 부등식과 같은 핵심 기능적 부등식이 여전히 성립함을 보여준다. 또한, 바우도인-가로팔로의 일반화된 곡률-차원 부등식이 하향 수렴하는 일련의 리만 메트릭 가중치에 대한 추정의 균일한 극한으로 나타남을 증명한다.

ABSTRACT

We study Bakry-Emery type estimates for the Laplace-Beltrami operator of a totally geodesic foliation. In particular, we are interested in situations for which the $\\Gamma_2$ operator may not be bounded from below but the horizontal Bakry-Emery curvature is. As we prove it, under a bracket generating condition, this weaker condition is enough to imply several functional inequalities for the heat semigroup including the Wang-Harnack inequality and the log-Sobolev inequality. We also prove that, under proper additional assumptions, the generalized curvature dimension inequality introduced by Baudoin-Garofalo is uniformly satisfied for a family of Riemannian metrics that converge to the sub-Riemannian one.

연구 동기 및 목표

• 전체 $\Gamma_2$ 연산자가 아래로 유계가 아닐 때, 완전히 지그재그인 리만 군집에서 라플라스-베르트라미 연산자에 대한 곡률-차원 추정을 유도하는 것.
• 수직 곡률에 대한 가정 없이도 수평 바크리-에메르 곡률이 아래로 유계일 경우, 열 반군에 대한 중요한 기능적 부등식이 유도되는지 조사하는 것.
• 하향 수렴하는 부분-리만 메트릭으로 수렴하는 일련의 리만 메트릭에 대한 곡률-차원 추정의 균일한 극한으로서, 수평 라플라스 연산자에 대한 바우도인-가로팔로의 일반화된 곡률-차원 부등식이 유도되는지 보여주는 것.
• 기본 바크리-에메르 추정과 부분-리만 곡률-차원 조건 사이의 연결 고리를 표준 변형을 통한 메트릭으로 수립하는 것.

제안 방법

• 완전히 지그재그인 군집에서 라플라스-베르트라미 연산자에 대해 바크리-에메르 곡률을 수평 및 수직 성분으로 분리하는 새로운 보흐너 유형 항등식을 유도한다.
• 리만과 부분-리만 영역 사이를 연결하는 일련의 리만 메트릭 $g_\varepsilon = g_\mathcal{H} \oplus \frac{1}{\varepsilon}g_\mathcal{V}$ 를 도입하며, 이를 표준 변형으로 알려져 있다.
• 군집의 구조에 맞게 조정된 보트 접속을 사용하여, 수평 리치 곡률 $\mathbf{Ricci}_\mathcal{H}$, 수직 리치 곡률 $\mathfrak{Ric}_\mathcal{V}$, 그리고 곡률 텐서와 관련된 엔도모르피즘 $J_Z$ 를 포함하는 곡률 항을 표현한다.
• 몽제-칸토로비치 이중성을 적용하여, 열 반군의 엔트로피를 $L^2$-워샤르슈타인 거리로 유계화함으로써, 확률론적 양과 기하학적 양을 연결한다.
• 클래식한 바크리-에메르와 바우도인-가로팔로 조건 사이를 연결하는 형태의 일반화된 곡률-차원 부등식 $\Gamma_{2,\varepsilon}(f) + \nu \Gamma^{\mathcal{V}}_{2,\varepsilon}(f) \geq \cdots$ 를 수립한다.
• 코시-슈바르츠 및 추적 부등식을 사용하여 혼합된 이阶 도함수를 제어하고, $\Delta_\varepsilon f$, $\Gamma_\varepsilon(f)$, $\Gamma^{\mathcal{V}}(f)$ 를 포함하는 하한을 도출한다.

실험 결과

연구 질문

• RQ1 전체 $\Gamma_2$ 연산자가 아래로 유계가 아니지만, 수평 바크리-에메르 곡률만이 하한이 존재할 경우, 와안-하르낙 부등식과 로그-소볼레프 부등식과 같은 기능적 부등식이 성립할 수 있는가?
• RQ2 수평 분포에 대한 브라켓 생성 조건이 약한 곡률 가정 하에서도 핵심 기능적 부등식의 타당성을 보장하는 데 충분한가?
• RQ3 바우도인-가로팔로의 일반화된 곡률-차원 부등식이 수렴하는 일련의 리만 메트릭에 대한 곡률-차원 추정의 극한으로 복원될 수 있는가?
• RQ4 모든 $\varepsilon > 0$ 에서 $\varepsilon \to 0$ 으로 수렴하는 일련의 메트릭 $g_\varepsilon$ 에서 일반화된 곡률-차원 부등식이 균일하게 만족되는가?

주요 결과

• 전체 $\Gamma_2$ 연산자가 아래로 유계가 아니어도, 수평 바크리-에메르 곡률이 하한이 존재할 경우 와안-하르낙 부등식이 성립함을 보였다.
• 와안-하르낙 부등식이 동일한 수평 곡률 조건 하에서 로그-소볼레프 부등식을 함의함을 증명하였다.
• 몽제-칸토로비치 이중성을 통해 열 반군의 엔트로피가 $L^2$-워샤르슈타인 거리로 유계화되며, 기하학적-엔트로피적 연결 고리를 확립하였다.
• 바우도인-가로팔로의 일반화된 곡률-차원 부등식이 $\varepsilon \to 0^+$ 일 때 라플라스-베르트라미 연산자에 대한 곡률 추정의 극한으로 복원됨을 보였다.
• 모든 $\varepsilon > 0$ 과 $\nu \geq -\varepsilon$ 에 대해 곡률-차원 추정이 균일하게 유효하며, 클래식한 바크리-에메르 조건($\nu = 0$)과 바우도인-가로팔로 조건($\varepsilon = 0$) 사이를 보간한다.
• 다음 항들을 포함하는 $\Gamma_{2,\varepsilon}(f) + \nu \Gamma^{\mathcal{V}}_{2,\varepsilon}(f)$ 의 하한: $\rho_1 - \frac{\kappa}{2\varepsilon + \nu}$, $\rho_2 - \rho_1\varepsilon + \frac{\kappa\varepsilon}{2\varepsilon + \nu} + \rho_3\varepsilon(\nu + \varepsilon)$, 그리고 라플라스 연산자의 정규화된 $L^2$ 노름.