[논문 리뷰] Heat kernel on Ricci shrinkers

Yu Li, Bing Wang|arXiv (Cornell University)|2019. 01. 17.

Geometric Analysis and Curvature Flows참고 문헌 40인용 수 5

한 줄 요약

이 논문은 비유계 리만 스컬링에 대해 날카운 열핵 추정과 기본 분석 도구를 수립하며, 페렐만의 엔트로피가 단조 증가함을 증명하고 최적의 로그-소볼레프 및 소볼레프 부등식을 도출한다. 고전 결과인 국소 수축 방지 및 가짜 국소성 정리들을 개선하며, 곡률 연산자의 두 번째로 작은 고유값이 0에 가까울 경우 곡률 연산자가 비음이 되며, 이는 다양체가 컴act 대칭 공간과 유클리드 공간의 곱으로 분해됨을 의미하는 강성 정리를 증명한다.

ABSTRACT

In this paper, we systematically study the heat kernel of the Ricci flows induced by Ricci shrinkers. We develop several estimates which are much sharper than their counterparts in general closed Ricci flows. Many classical results, including the optimal Logarithmic Sobolev constant estimate, the Sobolev constant estimate, the no-local-collapsing theorem, the pseudo-locality theorem and the strong maximum principle for curvature tensors, are essentially improved for Ricci flows induced by Ricci shrinkers. Our results provide many necessary tools to analyze short time singularities of the Ricci flows of general dimension.

연구 동기 및 목표

• 비유계 리만 스컬링에 대해 곡률에 대한 제약 없이 최대 원리, 부분 적분, 열핵 존재성 등의 기초 분석 도구를 개발하기 위해.
• 일반 차원에서 리만 스컬링에 대해 고전적인 리만 플로우 결과—예를 들어 국소 수축 방지, 가짜 국소성, 강력한 최대 원리—를 확장하기 위해.
• 차원과 페렐만의 μ-기능에만 의존하는 상수를 가지는 날카운 로그-소볼레프 및 소볼레프 부등식을 도출하기 위해.
• 작은 고유값 변화에 대한 곡률 연산자에 대한 강성 정리를 수립하여 곡률 연산자가 비음이 되는 조건을 규명하기 위해.

제안 방법

• 무게 측도 $e^{-f}dV$ 에 적합한 특수하게 설계된 캐럿 함수를 구성하여 무한대에서의 행동을 제어하기 위해.
• 기울기 및 하르나크 추정을 유도하기 위해 가중 리만 라플라시안 $\Delta_f = \Delta - \nabla f \cdot \nabla$ 를 적용하기 위해.
• 리만 플로우 동안 페렐만의 $\boldsymbol{\mu}$-기능의 단조성 을 이용하여 최적의 함수 부등식을 도출하기 위해.
• (barrier) 방법과 곡률 연산자의 스펙트럼 추정을 사용하여 고유값 조건을 분석하기 위해.
• 첫 번째 고유값을 제어하기 위해, $\Delta_f \lambda_1 \leq \lambda_1 - (2\lambda_1^2 + \sum C_{ij}^2 \lambda_i \lambda_j)$ 를 장벽 의미에서 증명하기 위해.
• 곡률 진화와 가중 라플라시안을 연결하기 위해 항등식 $\Delta_f \mathcal{R}(\phi_1,\phi_1) = \mathcal{R}(\phi_1,\phi_1) - 2Q(\mathcal{R})(\phi_1,\phi_1)$ 를 사용하기 위해.

실험 결과

연구 질문

• RQ1 최대 원리와 열핵 이론은 곡률에 제약이 없는 비유계 리만 스컬링으로까지 확장될 수 있는가?
• RQ2 리만 스컬링에서 로그-소볼레프 및 소볼레프 상수에 대한 날카운 추정은 무엇인가?
• RQ3 페렐만의 $\boldsymbol{\mu}$-기능의 단조성은 개선된 기하 부등식으로 이어지는가?
• RQ4 곡률 연산자의 스펙트럼 조건이 곡률 연산자가 비음이 되는 데 어떤 조건을 만족할 때 성립하는가?
• RQ5 곡률 연산자의 두 번째로 작은 고유값이 0에 가까울 경우 리만 스컬링의 구조는 어떠한가?

주요 결과

• 로그-소볼레프 부등식은 $n$ 과 $\boldsymbol{\mu}$ 에만 의존하는 날카운 상수를 가지며, 다음 식으로 주어진다: $\int u^2 \log u^2 \, dV - \left(\int u^2 \, dV\right) \log \left(\int u^2 \, dV\right) + \left(\boldsymbol{\mu} + n + \frac{n}{2} \log(4\pi\tau)\right) \int u^2 \, dV \leq \tau \int \{4|\nabla u|^2 + R u^2\} \, dV$.
• 소볼레프 부등식은 $C e^{-2\boldsymbol{\mu}/n}$ 으로 균일 유계이며, $C = C(n)$ 이므로, 차원과 $\boldsymbol{\mu}$ 에만 의존하는 균일한 (스칼라-)소볼레프 상수를 의미한다.
• 국소 수축 방지 정리 및 가짜 국소성 정리는 비유계 설정에서도 리만 스컬링에 대해 날카로운 형태로 성립한다.
• 만약 $\lambda_2 \geq -\epsilon \frac{\lambda_1^2}{|R - 2\lambda_1|}$ 이고 $\epsilon = \epsilon(n) > 0$ 이면, $\lambda_1 \geq 0$ 이며, 이는 곡률 연산자가 비음임을 의미한다.
• 강성 정리에 따르면, $\lambda_2 \geq 0$ 이면 다양체는 $N^k \times \mathbb{R}^{n-k}$ 의 유한 몫이며, $k = n$ 이면 $N^n$ 은 $S^n$ 과 등록된다.
• 열핵은 날카운 미분 하르나크 부등식을 만족하며, 확률적으로 완전하며, 가중 캐럿 함수와 $\Delta_f$-분석을 통해 존재성과 유일성이 확립된다.