Spaces of metrics with positive spectral scalar curvature

Gioacchino Antonelli, Georg Frenck, Bernhard Hanke

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

Pages 21 pdf
Theorems 3 source
Lemmas 3 source
Propositions 7 source
Corollaries 2 source
Definitions 0 source
Displayed equations 142 source
Bibliography entries 28 source
Appendix pages 21 estimated

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.