[Paper Review] Pseudo-locality for a coupled Ricci flow

Bin Guo, Zhijie Huang+1 more|arXiv (Cornell University)|Oct 14, 2015

Geometric Analysis and Curvature Flows8 references3 citations

TL;DR

This paper establishes a pseudo-locality theorem for the Ricci flow coupled with a scalar field, proving that Type I singularities in $Ω$-noncollapsed solutions converge to non-trivial gradient shrinking Ricci solitons under parabolic rescaling. The key contribution is extending Perelman's pseudo-locality to the coupled flow, enabling the analysis of singularity formation and soliton convergence in higher-dimensional geometric flows with matter fields.

ABSTRACT

Let $(M,g,ϕ)$ be a solution to the Ricci flow coupled with the heat equation for a scalar field $ϕ$. We show that a complete, $κ$-noncollapsed solution $(M,g,ϕ)$ to this coupled Ricci flow with a Type I singularity at time $T

Motivation & Objective

• To extend Perelman's pseudo-locality principle to the Ricci flow coupled with a scalar field, ensuring curvature control under initial geometric and scalar field bounds.
• To analyze the asymptotic behavior of Type I singularities in $Ω$-noncollapsed solutions of the coupled flow.
• To establish that blow-ups of Type I singularities converge to non-trivial gradient shrinking Ricci solitons, generalizing Hamilton's conjecture to the coupled setting.
• To provide a curvature estimate under initial conditions involving scalar curvature, isoperimetry, and bounded scalar field, ensuring long-time control.

Proposed method

• Derive a pseudo-locality theorem for the coupled Ricci flow using a modified distance function and cut-off technique with a function $\eta(x) = \eta\left(\frac{d(p,x)}{Ar_0}\right)$.
• Apply the maximum principle to the quantity $u = S \eta$, where $S = R_g - |\nabla \phi|_g^2$, to control the scalar curvature $S$.
• Use the evolution equations for $S_{jk}$ and $S$, derived from List and Müller, to track curvature evolution under the coupled flow.
• Establish a lower bound on $S = R_g - |\nabla \phi|_g^2$ via gradient estimates and Ricci curvature control, leading to non-negativity of $S$.
• Apply parabolic rescaling to Type I singularities using $g_i(t) = \lambda_i g(\lambda_i^{-1}t + T)$, and prove convergence to a soliton via compactness and curvature bounds.
• Leverage the boundedness of $\phi_0$ and isoperimetric control to ensure the pseudo-locality estimate holds uniformly.

Experimental results

Research questions

• RQ1 Does a pseudo-locality principle hold for the Ricci flow coupled with a scalar field, analogous to Perelman’s result for the standard Ricci flow?
• RQ2 Can Type I singularities in $\kappa$-noncollapsed solutions of the coupled flow be shown to converge to non-trivial gradient shrinking solitons?
• RQ3 What geometric and analytic conditions on initial data (curvature, isoperimetry, scalar field) ensure curvature control in the early-time evolution of the coupled flow?
• RQ4 How does the presence of the scalar field affect the formation and structure of singularities in Ricci flow?

Key findings

• A pseudo-locality theorem is established: if initial data satisfy scalar curvature $S \geq -r_0^2$, isoperimetric control, and $|\phi_0| \leq C$, then $|Rm|(x,t) \leq \alpha t^{-1} + (\varepsilon r_0)^{-2}$ in a parabolic neighborhood.
• For any Type I singular point $p$ in a $\kappa$-noncollapsed solution, the parabolic blow-up along any sequence $\lambda_i \to \infty$ converges to a non-trivial gradient shrinking Ricci soliton.
• The limiting soliton is non-trivial and corresponds to a standard Ricci soliton, as $\phi_\infty$ is constant, reducing the coupled flow to the standard Ricci flow in the limit.
• The scalar curvature $S = R_g - |\nabla \phi|_g^2$ is shown to be non-negative on the entire manifold under the given conditions, via maximum principle and cut-off function arguments.
• The proof relies on controlling $S$ using a weighted function $u = S\eta$, and shows $S(p) \geq 0$ by letting the cut-off parameter $A \to \infty$.
• The boundedness of $\phi_0$ and the isoperimetric condition are essential for the pseudo-locality estimate and subsequent convergence to a soliton.