[논문 리뷰] Eigenvalues of the drifted Laplacian on complete metric measure spaces

Xu Cheng, Detang Zhou|arXiv (Cornell University)|2013. 05. 17.

Geometric Analysis and Curvature Flows참고 문헌 28인용 수 8

한 줄 요약

이 논문은 ∞-Bakry-Émery Ricci 곡률이 a/2로 아래에서 유계인 완전한 미터 측정 공간에서의 드리프트된 라플라시안 Δ_f의 첫 번째 비영인 고유값에 대한 강성 정리를 수립한다. 만약 하한 a/2가 다중도 k ≥ 1로 달성된다면, 다양체는 Σ^{n−k} × ℝ^k로 등급적으로 분해되며, 가중 함수 f는 f(x,0) + (a/4)|t|²로 분해되어 기울기 수축 리치 솔리톤이 분리됨을 의미한다. 이 결과는 비유한, 가중 리만 다양체로의 Lichnerowicz–Obata 유형의 강성 정리를 확장한다.

ABSTRACT

I In this paper, first we study a complete smooth metric measure space $(M^n,g, e^{-f}dv)$ with the ($\infty$)-Bakry-Émery Ricci curvature $ extrm{Ric}_f\ge \frac a2g$ for some positive constant $a$. It is known that the spectrum of the drifted Laplacian $Δ_f$ for $M$ is discrete and the first nonzero eigenvalue of $Δ_f$ has lower bound $\frac a2$. We prove that if the lower bound $\frac a2$ is achieved with multiplicity $k\geq 1$, then $k\leq n$, $M$ is isometric to $Σ^{n-k} imes \mathbb{R}^k$ for some complete $(n-k)$-dimensional manifold $Σ$ and by passing an isometry, $(M^n,g, e^{-f}dv)$ must split off a gradient shrinking Ricci soliton $(\mathbb{R}^k, g_{can}, \frac{a}{4}|t|^2)$, $t\in \mathbb{R}^k$. This result has an application to gradient shrinking Ricci solitons. Secondly, we study the drifted Laplacian $\mathcal{L}$ for properly immersed self-shrinkers in the Euclidean space $\mathbb{R}^{n+p}$, $p\geq1$ and show the discreteness of the spectrum of $\mathcal{L}$ and a logarithmic Sobolev inequality.

연구 동기 및 목표

• 완전한 미터 측정 공간에서 Ric_f ≥ a/2g를 만족하는 드리프트된 라플라시안 Δ_f의 첫 번째 비영인 고유값의 강성을 조사한다.
• 고유값 하한 a/2가 다중도 k ≥ 1로 달성될 경우 그와 같은 공간의 기하학적 구조를 규명한다.
• 스펙트럼 및 곡률 제약 조건을 통해 비유한, 가중 리만 다양체로의 Lichnerowicz–Obata 정리의 확장을 시도한다.
• ℝ^{n+p} 내의 적절히 임bed된 자기수축자에서 드리프트된 라플라시안의 스펙트럼 이산성을 확립하고, 로그-소볼레프 부등식을 증명한다.

제안 방법

• Ric_f ≥ a/2g 조건 하에서 스펙트럼 간격이 이산적임을 보장하는 Bakry–Émery–Morgan–Hein–Naber 스펙트럼 간격 정리(스펙트럼 간격 이산성 및 λ₁(Δ_f) ≥ a/2 보장).
• H¹(M,μ)에서 L²(M,μ)로의 컴act 임베딩을 증명하기 위해 De la Vallée Poussin 기준을 활용한다.
• H¹(M,μ)에서 L²(M,μ)로의 컴팩트 임베딩과 Δ_f의 스펙트럼 이산성 간의 등가성을 적용하여, 로그-소볼레프 부등식을 통해 스펙트럼 이산성을 유도한다.
• 고유함수의 구조와 스펙트럼 추정의 등식 사례를 활용하여, 등급 분해를 통한 분해 정리 유도.
• Δ_f = Δ − ⟨∇f, ∇·⟩의 가중 라플라시안과 L²(M, e^{-f}dv)에서의 자기수반성 분석.
• 로그-소볼레프 부등식 (1)을 적용하여, Fatou의 보조정리와 근사화를 통해 C₀∞(M)에서 H¹(M,μ)로 결과 확장.

실험 결과

연구 질문

• RQ1 드리프트된 라플라시안 Δ_f의 첫 번째 비영인 고유값이 하한 a/2를 다중도 k ≥ 1로 달성하는 기하학적 조건은 무엇인가?
• RQ2 고유값 λ₁(Δ_f) = a/2가 다중도 k ≥ 1로 달성될 경우, 완전한 미터 측정 공간 (Mⁿ, g, e^{-f}dv)의 필수 기하학적 구조는 무엇인가?
• RQ3 Ric_f ≥ a/2g 조건을 만족하는 비유한, 가중 리만 다양체로의 Lichnerowicz–Obata 정리가 확장될 수 있는가?
• RQ4 ℝ^{n+p} 내의 적절히 임베드된 자기수축자에서 드리프트된 라플라시안의 스펙트럼은 여전히 이산적인가?
• RQ5 로그-소볼레프 부등식과 이러한 공간에서 Δ_f의 스펙트럼 이산성 간의 관계는 무엇인가?

주요 결과

• 고유값 λ₁(Δ_f) = a/2가 다중도 k ≥ 1로 달성된다면, 다양체 M은 어떤 완전한 (n−k)-차원 다양체 Σ에 대해 등급적으로 Σ^{n−k} × ℝ^k로 분해된다.
• 가중 함수 f는 f(x,t) = f(x,0) + (a/4)|t|²로 분해되며, 이는 공간이 기울기 수축 리치 솔리톤 (ℝ^k, g_can, (a/4)|t|²)을 분리함을 의미한다.
• 고유값 a/2의 다중도 k는 1 ≤ k ≤ n를 만족한다.
• Σ 인자에서의 Bakry–Émery Ricci 곡률는 Ric_f^Σ ≥ (a/2)g_Σ를 만족하며, λ₁(Δ_f^Σ) > a/2이다.
• p ≥ 1일 때, ℝ^{n+p} 내의 적절히 임베드된 자기수축자에서 드리프트된 라플라시안 Δ_f의 스펙트럼은 이산적이다.
• 이러한 자기수축자에서 드리프트된 라플라시안에 대해 로그-소볼레프 부등식이 성립하며, 상수는 곡률 하한 a에 의존한다.