[论文解读] Harmonic aspects in an $η$-Ricci soliton

Adara M. Blaga|arXiv (Cornell University)|Mar 13, 2018

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

一句话总结

本文研究了黎曼流形上η-Ricci孤立子中与势向量场ξ对偶的1-形式η的调和性质。通过Bochner-Weitzenb"ock技巧和Schr"odinger-Ricci方程，推导出η为调和、Schr"odinger-Ricci调和或Schr"odinger-Ricci方程解的充要条件。主要贡献是一个拓扑分裂结果：若存在非平凡的L²_f调和1-形式，且满足λ|γ₀|² + μ(γ₀(ξ))² ≤ 0，则在完备性与非紧性假设下，流形的万有覆盖空间等距分裂为ℝ × N^{n−1}。

ABSTRACT

We characterize $η$-Ricci solitons $(g,ξ,λ,μ)$ in some special cases when the $1$-form $η$, which is the $g$-dual of $ξ$, is a harmonic or a Schrödinger-Ricci harmonic form. We also provide necessary and sufficient conditions for $η$ to be a solution of the Schrödinger-Ricci equation and point out the relation between the three notions in our context. In particular, we apply these results to a perfect fluid spacetime and using Bochner- Weitzenböck techniques, we formulate some more conclusions for gradient solitons and deduce topological properties of the manifold and its universal covering.

研究动机与目标

• 刻画η-Ricci孤立子中与势向量场ξ对偶的1-形式η为调和、Schr"odinger-Ricci调和或Schr"odinger-Ricci方程解的几何性质。
• 建立η满足这三种几何性质的必要与充分条件。
• 将所得结果应用于梯度η-Ricci孤立子，推导流形及其万有覆盖空间的拓扑约束。
• 研究完备非紧流形上梯度η-Ricci孤立子中L²_f调和1-形式的存在性及其几何意义。

提出的方法

• 利用度量的李导数与里奇张量的散度，推导1-形式η的Schr"odinger-Ricci方程。
• 对1-形式η应用Bochner-Weitzenb"ock公式，将∆(η)表示为|∇η|²、S♯(η, η)与⟨∆(η), η⟩的组合。
• 引入f-Laplacian ∆f = ∆ − ∇_{grad(f)}以定义f-调和1-形式，并将其与Bakry-\'Emery里奇张量S_f关联。
• 应用Reilly型公式与L²_f分析，研究加权流形(M, g, e^{-f}dV)上的调和1-形式。
• 在紧流形上运用散度定理与分部积分，推导涉及Hess(f)、div(du)与∆(f)的恒等式。
• 通过η-Ricci孤立子方程分析里奇曲率、数量曲率与势向量场ξ之间的相互作用。

实验结果

研究问题

• RQ1 在何种条件下，与势向量场ξ对偶的1-形式η是Schr"odinger-Ricci方程的解？
• RQ2 η在何时既是调和的又是Schr"odinger-Ricci调和的？这反映了流形的何种几何特征？
• RQ3 在完备非紧梯度η-Ricci孤立子中，若存在非平凡的L²_f调和1-形式，则会产生何种拓扑约束？
• RQ4 条件λ|γ₀|² + μ(γ₀(ξ))² ≤ 0与λ的符号如何影响流形及其万有覆盖的结构？
• RQ5 η的调和性与数量曲率或|ξ|²的常数性之间存在何种关系？

主要发现

• 1-形式η是Schr"odinger-Ricci方程的解当且仅当d(scal) = 2μ[(scal + λn + μ|ξ|²)η − ∇ξη]。
• η是Schr"odinger-Ricci调和的当且仅当µ = 0（即里奇孤立子）或(scalt + λn + μ|ξ|²)η = ∇ξη − ½d(|ξ|²)。
• η是调和的当且仅当iQξg = μ{2[(scal + λn + μ|ξ|²)η − ∇ξη] + d(|ξ|²)}，且此条件蕴含ξ ∈ ker Q。
• 若η是调和的且µ ≠ 0，则数量曲率scal为常数当且仅当|ξ|²为常数。
• 若存在非平凡的L²_f调和1-形式γ₀，使得λ|γ₀|² + μ(γ₀(ξ))² ≤ 0，则流形M的万有覆盖空间等距分裂为ℝ × N^{n−1}。
• 在非平凡L²_f调和1-形式γ₀满足λ|γ₀|² + μ(γ₀(ξ))² ≤ 0的条件下，γ₀是∇-平行的且长度恒定，且λ ≤ 0。