[论文解读] Eigenvalues of the drifted Laplacian on complete metric measure spaces

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

Geometric Analysis and Curvature Flows参考文献 28被引用 8

一句话总结

本文建立了关于完整度量测度空间上带漂移的拉普拉斯算子 Δ_f 的第一非零特征值的刚性定理，其 ∞-Bakry-Émery Ricci 曲率下界为 a/2。若该下界 a/2 的重数 k ≥ 1 被实现，则流形等距分解为 Σ^{n−k} × ℝ^k，且权函数 f 分解为 f(x,0) + (a/4)|t|²，表明该空间分裂出一个梯度收缩 Ricci 孤子。该结果将 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.

研究动机与目标

• 研究完整度量测度空间上带漂移拉普拉斯算子 Δ_f 的第一非零特征值的刚性，其满足 Ric_f ≥ a/2g。
• 确定当特征值下界 a/2 以重数 k ≥ 1 被实现时，此类空间的几何结构。
• 通过谱和曲率约束，将 Lichnerowicz–Obata 型定理推广至非紧致、加权黎曼流形。
• 在适当浸入的自缩子流形 ℝ^{n+p} 上建立带漂移拉普拉斯算子谱的离散性，并证明对数 Sobolev 不等式。

提出的方法

• 利用 Bakry–Émery–Morgan–Hein–Naber 谱间隙定理，该定理在 Ric_f ≥ a/2g 条件下保证谱离散性且 λ₁(Δ_f) ≥ a/2。
• 应用 De la Vallée Poussin 准则以证明 H¹(M,μ) 到 L²(M,μ) 的紧嵌入。
• 利用紧嵌入与 Δ_f 谱离散性之间的等价性，通过对数 Sobolev 不等式推导谱的离散性。
• 利用特征函数的结构及谱估计中等号成立的情形，通过等距分解推导分裂定理。
• 分析加权拉普拉斯算子 Δ_f = Δ − ⟨∇f, ∇·⟩ 及其在 L²(M, e^{-f}dv) 中的自伴性。
• 将对数 Sobolev 不等式 (1) 应用于从 C₀∞(M) 到 H¹(M,μ) 的推广，借助 Fatou 引理与逼近方法。

实验结果

研究问题

• RQ1 在何种几何条件下，带漂移拉普拉斯算子 Δ_f 的第一非零特征值能以正重数实现下界 a/2？
• RQ2 当 λ₁(Δ_f) = a/2 且重数 k ≥ 1 时，完整度量测度空间 (Mⁿ, g, e^{-f}dv) 的必要几何结构是什么？
• RQ3 Lichnerowicz–Obata 定理能否推广至满足 Ric_f ≥ a/2g 的非紧致、加权黎曼流形？
• RQ4 在 ℝ^{n+p} 中适当浸入的自缩子流形上，带漂移拉普拉斯算子的谱是否保持离散？
• RQ5 对数 Sobolev 不等式与此类空间上 Δ_f 的谱离散性之间存在何种关系？

主要发现

• 若第一非零特征值 λ₁(Δ_f) = a/2 且重数 k ≥ 1，则流形 M 等距微分同胚于 Σ^{n−k} × ℝ^k，其中 Σ 为某完整 (n−k) 维流形。
• 权函数 f 分解为 f(x,t) = f(x,0) + (a/4)|t|²，表明空间分裂出一个梯度收缩 Ricci 孤子 (ℝ^k, g_can, (a/4)|t|²)。
• 特征值 a/2 的重数 k 满足 1 ≤ k ≤ n。
• Σ 因子上的 Bakry–Émery Ricci 曲率满足 Ric_f^Σ ≥ (a/2)g_Σ，且 λ₁(Δ_f^Σ) > a/2。
• 在 ℝ^{n+p} 中适当浸入的自缩子流形上，带漂移拉普拉斯算子 Δ_f 的谱是离散的（p ≥ 1 时）。
• 在这些自缩子流形上，带漂移拉普拉斯算子满足对数 Sobolev 不等式，常数依赖于曲率下界 a。