[Paper Review] Integral pinched 3-manifolds are space forms

Giovanni Catino, Zindine Djadli|ArXiv.org|Jul 3, 2007

Geometric and Algebraic Topology15 references3 citations

TL;DR

This paper establishes that closed 3-manifolds with positive scalar curvature and an integral pinching condition on the $L^2$-norm of the Ricci curvature relative to the scalar curvature admit a conformal metric with positive Ricci curvature. Using the continuity method and fully nonlinear elliptic PDE techniques, the authors prove that such manifolds are diffeomorphic to spherical space forms, i.e., quotients of $\mathbb{S}^3$ by fixed-point-free isometries.

ABSTRACT

In this paper we prove that, under an explicit integral pinching assumption between the $L^2$-norm of the Ricci curvature and the $L^2$-norm of the scalar curvature, a closed 3-manifold with positive scalar curvature admits an Einstein metric with positive curvature. In particular this implies that the manifold is diffeomorphic to a quotient of ${\Bbb S}^3$.

Motivation & Objective

• To establish rigidity conditions under which closed 3-manifolds with positive scalar curvature are diffeomorphic to space forms.
• To identify an explicit integral pinching condition involving the $L^2$-norm of the Ricci curvature and scalar curvature that forces the existence of an Einstein metric with positive curvature.
• To extend Hamilton's result on positive Ricci curvature in 3-manifolds by weakening the pointwise curvature assumption to an integral condition.
• To use conformal geometry and fully nonlinear elliptic equations to construct a metric with positive Ricci curvature under the integral pinching assumption.
• To prove that under this condition, the manifold is diffeomorphic to a quotient of $\mathbb{S}^3$, i.e., a spherical space form.

Proposed method

• Define the tensor $A^t_g = \mathrm{Ric}_g - \frac{t}{4}R_g g$, which generalizes the Schouten tensor for $t=1$.
• Work with the second elementary symmetric function $\sigma_2(g^{-1}A^t_g)$ as a curvature functional on the manifold.
• Use the continuity method to solve a fully nonlinear elliptic PDE $\sigma_2^{1/2}(g^{-1}A^t_{u_t}) = f(x)e^{2u_t}$ for $t \in [\delta, t_0]$, with $f(x) = \sigma_2^{1/2}(g^{-1}A^\delta_g) > 0$.
• Establish uniform $C^{2,\alpha}$ estimates on solutions $u_t$ via elliptic theory and gradient bounds, ensuring existence along the path.
• Apply the implicit function theorem and Ascoli-Arzela compactness to show the solution set is both open and closed, hence full interval $[\delta, t_0]$.
• Use the resulting conformal metric $\tilde{g} = e^{-2u}g$ to derive pointwise positivity of $\sigma_2(A^{t_0}_{\tilde{g}})$ and positive Ricci curvature.

Experimental results

Research questions

• RQ1 Under what integral curvature condition does a closed 3-manifold with positive scalar curvature admit a metric of positive Ricci curvature?
• RQ2 Can the pointwise positivity of Ricci curvature in Hamilton's theorem be replaced by an $L^2$-type integral pinching condition?
• RQ3 Does the existence of a metric with $\int_M \sigma_2(g^{-1}A^1_g)\,dV_g \geq 0$ imply that the manifold is diffeomorphic to a spherical space form?
• RQ4 How does the Yamabe invariant $Y(M,[g])$ interact with the integral $\sigma_2$-functional to control curvature positivity?
• RQ5 Can the continuity method be applied to fully nonlinear curvature equations to prove rigidity in 3-dimensional conformal geometry?

Key findings

• For any closed 3-manifold $M$ with positive scalar curvature, if $\int_M \sigma_2(g^{-1}A^1_g)\,dV_g + C' Y(M,[g])^2 > 0$ for a constant $C'$ depending only on $(M,g)$, then $M$ admits a conformal metric with positive Ricci curvature.
• When $t_0 = 2/3$, the condition $\int_M \sigma_2(g^{-1}A^1_g)\,dV_g + C' Y(M,[g])^2 > 0$ implies the existence of a conformal metric $\tilde{g}$ such that $\sigma_2(A^{2/3}_{\tilde{g}}) > 0$ and $R_{\tilde{g}} > 0$.
• The inequalities $(3t_0 - 2)R_{\tilde{g}}\tilde{g} < 6\mathrm{Ric}_{\tilde{g}} < 3(2 - t_0)R_{\tilde{g}}\tilde{g}$ hold for $t_0 = 2/3$, implying strong curvature control.
• If $\int_M \sigma_2(g^{-1}A^1_g)\,dV_g \geq 0$, then $M$ is diffeomorphic to a spherical space form, i.e., admits a metric of constant positive sectional curvature.
• The result generalizes Hamilton’s theorem by replacing pointwise Ricci positivity with an integral $\sigma_2$-pinching condition.
• The proof relies on the continuity method applied to a fully nonlinear PDE involving $\sigma_2$ of the Schouten-type tensor, with uniform $C^{2,\alpha}$ estimates ensuring solution existence.