Spaces of metrics with positive spectral scalar curvature
Abstract
Let $n\geq2$ and let $M^n$ be a closed connected smooth manifold. Let $R^γ(M)$ be the space of smooth Riemannian metrics $g$ on $M$ for which the generalized conformal Laplace operator $-γΔ_g+\mathrm{R}_g$ is strictly positive. We prove that if $n=2$ and $γ>0$, or if $n\ge3$ and $0< γ\leq 4(n-1)/(n-2)$, the inclusion $R^0(M)\hookrightarrow R^γ(M)$ is a homotopy equivalence, thus generalizing, to all dimensions and in the maximal range, the results of Botvinnik--Rosenberg and Li--Mantoulidis. Then, we prove that if $n\ge3$ and $γ>4(n-1)/(n-2)$, the space $R^γ(M)$ is contractible, and hence nonempty. This solves a homotopy-theoretic strengthening of a conjecture of Gromov (Conjecture 3, Section 6.1.2, "Four Lectures on Scalar Curvature") in the maximal possible coefficient range. Concerning Gromov's conjecture we also treat the equivariant case and the case of manifolds with boundary.
Disclosure
“for pointing out [Gro23, Conjecture 3, Section 6.1.2]. This project was initiated when G.A. was visiting G.F. and B.H. at the University of Augsburg. G.A. is grateful for the hospitality and perfect working conditions. The authors used GPT-5.6 Sol Pro for help with language editing, TeX formatting, routine algebraic checking, and locating potentially relevant literature. All mathematical claims and proofs in this paper have been written by the authors and are entirely the author”
PDF page 4
- Classification
- Rewriting existing author-written text
- Multiplier
- 4
- Verified
Structural counts
Count notes
- Source counts use the expanded primary TeX file Paper.tex.
- Appendix pages include the first PDF page with an explicit Appendix heading through the final page.