Complete 3-manifolds of positive scalar curvature with quadratic decay
Florent Balacheff, Teo Gil Moreno de Mora Sardà, Stéphane Sabourau
TL;DR
This work extends the 3-manifold PSC classification to complete, noncompact manifolds with PSC and at most quadratic decay by proving a topological decomposition into a (possibly infinite) connected sum of spherical manifolds and $S^2\times S^1$, under a decay threshold $C>64\pi^2$. A central innovation is replacing analytic μ-bubble techniques with a fill-radius–based, topological approach, deriving a curvature-free criterion that yields the same decomposition and showing the decay rate is optimal via the indecomposable example $\mathbb{R}^2\times\mathbb{S}^1$. The paper also proves a surgery-type result: any such decomposition admits a metric of uniformly positive scalar curvature, linking infinite connected sums to PSC geometry, while ruling out aspherical summands through ends arguments. Together, these results tie PSC geometry to fill radius growth, ends structure, and infinite connected-sum decompositions, providing sharp decay-rate constraints and robust topological conclusions.
Abstract
We prove that if an orientable 3-manifold $M$ admits a complete Riemannian metric whose scalar curvature is positive and has a subquadratic decay at infinity, then it decomposes as a (possibly infinite) connected sum of spherical manifolds and $\mathbb{S}^2 \times \mathbb{S}^1$ summands. This generalises a theorem of Gromov and Wang by using a different, more topological, approach. As a result, the manifold $M$ carries a complete Riemannian metric of uniformly positive scalar curvature, which partially answers a conjecture of Gromov. More generally, the topological decomposition holds without any scalar curvature assumption under a weaker condition on the filling discs of closed curves in the universal cover based on the notion of fill radius. Moreover, the decay rate of the scalar curvature is optimal in this decomposition theorem. Indeed, the manifold $\mathbb{R}^2 \times \mathbb{S}^1$ supports a complete metric of positive scalar curvature with exactly quadratic decay, but does not admit a decomposition as a connected sum.
