The space of metrics with positive generalized conformal Laplacian

Bernhard Hanke; Georg Frenck; Gioacchino Antonelli

The space of metrics with positive generalized conformal Laplacian

T0 review · 0 major / 6 minor · reviewed 2026-07-31 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Above a sharp coefficient threshold the space of metrics with positive generalized conformal Laplacian becomes contractible on every closed manifold; below it the space is homotopy-equivalent to the space of positive-scalar-curvature metric

desk verdict Clean resolution of Gromov’s conjecture at the optimal constant, upgraded to contractibility, with the subcritical homotopy type pinned down in all dimensions. read the letter →

arxiv 2607.28467 v1 pith:TP7MQ3P5 submitted 2026-07-30 math.DG

Gioacchino Antonelli , Georg Frenck , Bernhard Hanke This is my paper

classification math.DG MSC 53C2158D1758J5057R91

keywords positivescalarcurvatureconformalLaplacianYamabeoperatorhomotopytypeofmetricspacesGromovconjectureequivariantmetricsmanifoldswithboundaryBartatrick

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper studies the space of Riemannian metrics on a closed manifold for which a one-parameter family of operators that interpolate between the scalar curvature and the conformal Laplacian stays strictly positive. It proves that this space has two sharply different regimes, separated by the classical Yamabe coefficient. Below and at that coefficient the space is homotopy-equivalent to the ordinary space of positive-scalar-curvature metrics, so its topology is completely determined by the latter. Above the coefficient the space collapses to a single point (up to continuous deformation) on every closed manifold of dimension at least three; in particular it is never empty. The same existence statement is obtained for group-invariant metrics and for manifolds with prescribed boundary data. The result therefore answers, in the strongest homotopy-theoretic form and in the largest possible coefficient range, a conjecture of Gromov on the existence of metrics making a weighted scalar-curvature operator non-negative.

What carries the argument

The conformal identity that rewrites $(-\gamma \Delta_g + R_g)(e^{-a \phi})$ as a positive multiple of $R_h + c_{n,\gamma}|\nabla_h \phi|^2$ when $g = e^{2\phi} h$ and $a = 2(n-1)/\gamma$. When $c_{n,\gamma} > 0$ this reduces membership in $R^\gamma$ to membership in the localized space $Q_c$ of pairs $(h,\phi)$ with $R_h + c|\nabla \phi|^2 > 0$, whose contractibility is then proved by a Bertelson-genericity argument plus local conformal curvature boosts.

What would settle it

Exhibit a closed manifold of dimension $n \geq 3$ and a coefficient $\gamma > 4(n-1)/(n-2)$ for which no metric makes $-\gamma \Delta + R$ strictly positive, or show that the inclusion of positive-scalar-curvature metrics into $R^\gamma$ fails to be a homotopy equivalence for some $\gamma$ at or below the Yamabe threshold.

Watch

Extended reading notes

Core claim

For a closed connected $n$-manifold the space $R^\gamma(M)$ of metrics with strictly positive generalized conformal Laplacian is homotopy-equivalent to the space of positive-scalar-curvature metrics whenever $0 \leq \gamma \leq 4(n-1)/(n-2)$ (or any $\gamma \geq 0$ when $n = 2$), and is contractible whenever $n \geq 3$ and $\gamma$ exceeds that threshold.

Load-bearing premise

The proof that the localized space is contractible relies on being able to approximate any continuous family of functions by a nearby family whose members each have only finitely many critical points; if that density statement failed, the subsequent curvature corrections could not be localized.

Editorial extensions

If this is right

Every closed n-manifold admits a metric with −\gammaΔ + R > 0 as soon as \gamma exceeds the Yamabe coefficient.
Below that coefficient the entire homotopy type of R^\gamma is identical to that of the space of positive-scalar-curvature metrics.
The same existence holds for metrics invariant under any non-transitive compact Lie-group action and for manifolds with prescribed boundary metric and second fundamental form.
The constant appearing in Gromov’s existence conjecture can be taken exactly equal to the classical Yamabe coefficient.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The abrupt change of homotopy type at the Yamabe threshold suggests that the same coefficient may mark a phase transition for other curvature-pinching or stability conditions that involve a gradient term.
Because the localized space Q_c is contractible for every positive c, any geometric condition that can be reduced to a pointwise inequality of the form R + c|\nablaφ|^2 > 0 is automatically realized by a contractible space of data.
The equivariant and boundary extensions indicate that the same conformal reduction should produce existence results for metrics with prescribed singularities or with conical boundary conditions once the corresponding local models are available.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This is the real thing. Antonelli–Frenck–Hanke settle the topology of R^γ(M) at the Yamabe threshold and beyond: inclusion of PSC metrics is a homotopy equivalence for γ ≤ γ_n, and the space collapses to a point for γ > γ_n. That is exactly Gromov’s Conjecture 3 at the sharp constant, strengthened from bare existence to contractibility, plus the full-range extension of Botvinnik–Rosenberg and Li–Mantoulidis.

What is new is the package. Part (1) is a clean pair of homotopies through the supersolution space Z; the conformal change works precisely when the gradient coefficient stays nonnegative, i.e., up to γ_n. Part (2) is the better idea: the identity (3.4) plus Barta turns the global spectral condition into the local inequality defining Q_c, then they prove Q_c contractible by Bertelson genericity, a local conformal bump (Prop. 3.2), and large rescaling, with a five-step repair of the endpoints. The maps Ψ and Ξ are mutual inverses by direct computation. Theorem C is the expected equivariant/boundary add-on via their earlier BH work and equivariant Morse, with the non-transitivity caveat correctly flagged.

Soft spots are minor and external. Contractibility of Q_c leans on Bertelson’s residual-density statement for leafwise isolated critical points; that is a published theorem applied inside its range, and the open conditions (3.9)–(3.12) survive C^∞ approximation. Palais finishes weak contractibility to actual contractibility for the Fréchet manifold. No sign error on c_{n,γ}, no range gap, no circularity. Self-citations to BH23/BH26 are black-box inputs used honestly.

This is for people who care about the homotopy type of curvature conditions and the PSC literature. The math is written out and checks. I would send it to referees without hesitation and would cite the supercritical contractibility and the sharp threshold statement.

Referee Report

0 major / 6 minor

Summary. The paper studies the spaces R^γ(M) of smooth metrics on a closed connected n-manifold for which the generalized conformal Laplacian −γΔ_g + R_g is strictly positive. Theorem A(1) asserts that if n=2 and γ≥0, or n≥3 and 0≤γ≤γ_n:=4(n−1)/(n−2), the inclusion R^0(M)↪R^γ(M) is a homotopy equivalence. Theorem A(2) asserts that if n≥3 and γ>γ_n then R^γ(M) is contractible (hence nonempty). The argument for (1) proceeds via an auxiliary supersolution space Z and a pair of mutually inverse homotopies built from the conformal change formula, using nonnegativity of the gradient coefficient precisely when γ≤γ_n. The argument for (2) reduces, via the key conformal identity (3.4) and Barta’s characterization, to contractibility of the localized spaces Q_c(M)={ (h,φ) | R_h + c|∇_h φ|^2 >0 }, proved by Bertelson foliated genericity, a local conformal scalar-curvature boost near finite critical loci, and large rescaling, followed by Palais’s theorem. Theorem C gives the corresponding equivariant and boundary existence statements for γ>γ_n under a non-transitivity hypothesis.

Significance. The main theorem settles a homotopy-theoretic strengthening of Gromov’s Conjecture 3 (Four Lectures, §6.1.2) in the maximal coefficient range γ_n, and simultaneously extends the Botvinnik–Rosenberg and Li–Mantoulidis results on R^γ to all dimensions and the full interval 0≤γ≤γ_n. The reduction of a global spectral condition to the local space Q_c via the explicit identity (3.4), together with a complete weak-contractibility argument for Q_c, is a clean and reusable contribution. The equivariant/boundary existence theorem (Theorem C) is a natural and useful companion. Proofs are written in full, with the conformal calculus, Barta appendix, and continuous dependence of the first eigenfunction carefully recorded. This is a substantial advance in the topology of spaces of metrics of positive scalar curvature type.

minor comments (6)

[Title] Title page / running head: the word “SPACE” is broken as “SP ACE” in the manuscript header; fix the line-break/TeX spacing artifact.
[§1] In the definition (1.1) and throughout, it would help the reader to state once, explicitly, that Δ_g denotes the non-positive Laplacian (so −Δ_g ≥0), since sign conventions for the Laplacian vary across the PSC literature.
[§3.1] After (3.3)–(3.4), a one-line remark that c_{n,γ} changes sign exactly at γ=γ_n (and vanishes at equality) would make the sharpness of the threshold completely transparent without forcing the reader to recompute.
[§3.2.2] Proposition 3.3 / Corollary 3.6: when the parameter space has boundary (X×[0,1]), the doubling argument is only sketched. A sentence confirming that the product foliation and residual set restrict correctly to the original domain would remove any residual doubt.
[§3.2] In the five-step concatenation at the end of §3.2, the endpoint matching G_{ξ,0}=g_ξ and G_{ξ,1}=g_0 is used implicitly; a brief forward reference to the “equal near t=0,1” clause of Proposition 3.2 would improve readability.
[References] References: [BH26] is cited as arXiv:2503.16232; if a published version exists by the time of revision, update the citation. Likewise ensure the Gromov “Four Lectures” citation points to the final two-volume edition consistently.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: homotopy equivalences and contractibility follow from explicit conformal identities and an external genericity theorem.

full rationale

The load-bearing steps are self-contained differential-geometric constructions, not fits or definitional restatements of the target. For Theorem A(1), the maps Ψ: R^0→Z and Φ: Z→R^0 are shown to be mutual homotopy inverses by direct conformal-change algebra (scalar curvature and Laplacian transformation formulas), with the sign of the gradient remainder controlled exactly by γ≤γ_n; the section by the first eigenfunction is continuous by a standard Banach IFT argument in Appendix B. For Theorem A(2), the key identity (3.4) with c_{n,γ}>0 converts membership in R^γ into the local condition defining Q_{c_{n,γ}}, yielding continuous maps Ψ and Ξ with Ψ∘Ξ=id by algebra; contractibility of Q_c is proved by an extension argument that invokes Bertelson’s published foliated genericity theorem (external), a local conformal bump (Prop. 3.2 / Lemma 3.4), and large rescaling—none of which encode the conclusion by definition. Theorem C feeds independent equivariant/boundary PSC constructions from BH23/BH26 into the same identity (3.4) plus Barta; those citations supply black-box geometric inputs, not a restatement of positivity of −γΔ+R. No parameter is fitted to data, no uniqueness theorem of the authors is used to forbid alternatives, and no known empirical pattern is merely renamed. Score 0 is appropriate.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

Load-bearing background is standard smooth manifold theory, spectral theory of Schrödinger-type operators, conformal transformation laws, Palais’s theorem on Fréchet manifolds, Bertelson’s foliated jet-transversality result, and equivariant Morse theory. No free parameters are fitted. The only paper-specific constructions are the auxiliary spaces Z and Q_c, which are defined directly from the geometric data rather than postulated as new physical entities.

assumptions (6)

standard math Conformal transformation laws for scalar curvature and Laplacian under g=e^{2φ}h (eqs. 3.2).
Classical; used to derive the key identity (3.4) and the subcritical conformal map Φ.
standard math Barta-type characterization: L>0 iff there exists u>0 with Lu>0 (and Neumann boundary condition when ∂M≠∅) (Prop. A.2).
Elementary integration-by-parts identity; converts pointwise supersolutions into spectral positivity.
standard math Palais: a metrizable open Fréchet manifold is contractible iff it is weakly contractible ([Pal66, Thm 15]).
Used at the end of §3.2 to upgrade vanishing of all homotopy groups of Q_c to contractibility.
standard math Bertelson’s residual set of functions with isolated leafwise critical points on a foliated closed manifold ([Ber02, Prop. 3.21]).
Invoked via Cor. 3.6 / Prop. 3.3 to approximate the linear homotopy of functions by finite-critical families.
domain assumption Existence of Γ-invariant Morse functions on closed non-transitive Γ-manifolds (Wasserman/Mayer) and Γ-invariant PSC metrics ([BH26, Thm I]).
Inputs to Props. 4.1 and 4.3 for the equivariant/boundary existence theorem; standard in equivariant differential topology and prior PSC work of the authors.
standard math First positive L^2-normalized eigenfunction of −γΔ_g+R_g depends continuously on g in the C^∞ topology when λ_1>0 (Prop. 2.1 / App. B).
Proved in the paper by Banach-space implicit function theorem; needed for continuity of the section s and the map Ξ.

invented entities (2)

Auxiliary space Z of pairs (g,u) with u>0 and (−γΔ_g+R_g)u>0 independent evidence
purpose: Interpolate between R^0 and R^γ via projection and conformal rescaling in the proof of Theorem A(1).
Defined directly from the operator; not a new geometric object beyond the problem data.
Localized space Q_c(M)={(h,φ) | R_h + c|∇_h φ|^2 >0} independent evidence
purpose: Replace the global spectral condition defining R^γ by a pointwise inequality that is easier to deform; central to Theorem A(2).
Constructed so that the conformal identity (3.4) gives continuous maps both ways with R^γ; contractibility of Q_c implies contractibility of R^γ.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The space of metrics with positive generalized conformal Laplacian." pith.science (2026). https://pith.science/paper/TP7MQ3P5

@misc{pith2026260728467,
  author       = {Pith},
  title        = {Pith review of: The space of metrics with positive generalized conformal Laplacian},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TP7MQ3P5}},
  note         = {Machine review of arXiv:2607.28467}
}

abstract

Let $n\geq2$ and let $M^n$ be a closed connected smooth manifold. Let $R^\gamma(M)$ be the space of smooth Riemannian metrics $g$ on $M$ for which the generalized conformal Laplace operator $-\gamma\Delta_g+\mathrm{R}_g$ is strictly positive. We prove that if $n=2$ and $\gamma\ge0$, or if $n\ge3$ and $0\leq \gamma \leq 4(n-1)/(n-2)$, the inclusion $R^0(M)\hookrightarrow R^\gamma(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 $\gamma>4(n-1)/(n-2)$, the space $R^\gamma(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.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

27 extracted references · 12 canonical work pages

[1]

Barta, János , title =. C. R. Acad. Sci., Paris , issn =. 1937 , language =

1937
[2]

Botvinnik, Boris and Ebert, Johannes and Randal-Williams, Oscar , title =. Invent. Math. , issn =. 2017 , language =. doi:10.1007/s00222-017-0719-3 , keywords =

work page doi:10.1007/s00222-017-0719-3 2017
[3]

Crowley, Diarmuid and Schick, Thomas and Steimle, Wolfgang , title =. J. Topol. , issn =. 2018 , language =. doi:10.1112/topo.12081 , keywords =

work page doi:10.1112/topo.12081 2018
[4]

Duke Math

Ebert, Johannes and Randal-Williams, Oscar , title =. Duke Math. J. , issn =. 2022 , language =. doi:10.1215/00127094-2022-0023 , keywords =

work page doi:10.1215/00127094-2022-0023 2022
[5]

Hanke, Bernhard and Schick, Thomas and Steimle, Wolfgang , title =. Publ. Math., Inst. Hautes. 2014 , language =. doi:10.1007/s10240-014-0062-9 , keywords =

doi:10.1007/s10240-014-0062-9 2014
[6]

Akutagawa, Kazuo and Botvinnik, Boris , title =. Commun. Anal. Geom. , issn =. 2002 , language =. doi:10.4310/CAG.2002.v10.n5.a2 , keywords =

work page doi:10.4310/cag.2002.v10.n5.a2 2002
[7]

2002 , eprint=

The entropy formula for the Ricci flow and its geometric applications , author=. 2002 , eprint=

2002
[8]

Hirsch, Sven and Kazaras, Demetre and Khuri, Marcus and Zhang, Yiyue , title =. Int. Math. Res. Not. , issn =. 2024 , language =. doi:10.1093/imrn/rnad129 , keywords =

work page doi:10.1093/imrn/rnad129 2024

Show all 27 references

[9]

and Warner, Frank W

Kazdan, Jerry L. and Warner, Frank W. , title =. J. Differ. Geom. , issn =. 1975 , language =. doi:10.4310/jdg/1214432678 , keywords =

1975
[10]

Botvinnik, Boris and Rosenberg, Jonathan , title =. Ann. Global Anal. Geom. , issn =. 2024 , language =. doi:10.1007/s10455-024-09977-6 , keywords =

2024 doi
[11]

Bour, Vincent and Carron, Gilles , title =. Commun. Anal. Geom. , issn =. 2017 , language =. doi:10.4310/CAG.2017.v25.n1.a3 , keywords =

2017 doi
[12]

2026 , eprint=

Rigidity and flexibility under spectral Ricci lower bounds and mean-convex boundary , author=. 2026 , eprint=

2026
[13]

Dai, Xianzhe and Wang, Xiaodong and Wei, Guofang , title =. Invent. Math. , issn =. 2005 , language =. doi:10.1007/s00222-004-0424-x , keywords =

2005 doi
[14]

, title =

Taylor, Michael E. , title =. 2023 , publisher =. doi:10.1007/978-3-031-33859-5 , keywords =

2023 doi
[15]

2405.08918 , archivePrefix=

Gioacchino Antonelli and Kai Xu , year=. 2405.08918 , archivePrefix=

arXiv
[16]

, title =

Palais, Richard S. , title =. Topology , volume =. 1966 , month = mar, issn =. doi:10.1016/0040-9383(66)90002-4 , mrnumber =

1966 doi
[17]

, title =

Wasserman, Arthur G. , title =. Topology , issn =. 1969 , language =. doi:10.1016/0040-9383(69)90005-6 , keywords =

1969 doi
[18]

Mayer, Karl Heinz , title =. Manuscr. Math. , issn =. 1989 , language =. doi:10.1007/BF01173705 , keywords =

1989 doi
[19]

2026 , eprint=

Contractibility of spaces of positive scalar curvature metrics with symmetry , author=. 2026 , eprint=

2026
[20]

Boundary conditions for scalar curvature , booktitle =

B. Boundary conditions for scalar curvature , booktitle =. 2023 , publisher =. doi:10.1142/9789811273230_0010 , keywords =

2023 doi
[21]

2019 , eprint=

Ricci flow and contractibility of spaces of metrics , author=. 2019 , eprint=

2019
[22]

Bertelson, Mélanie , title =. J. Symplectic Geom. , issn =. 2002 , language =. doi:10.4310/JSG.2001.v1.n2.a6 , keywords =

2002 doi
[23]

Whitney, Hassler , title =. Ann. Math. (2) , issn =. 1957 , language =. doi:10.2307/1969908 , zbMATH =

1957 doi
[24]

Li, Chao and Mantoulidis, Christos , title =. Commun. Math. Phys. , issn =. 2023 , language =. doi:10.1007/s00220-023-04679-9 , keywords =

2023 doi
[25]

Perspectives in scalar curvature

Gromov, Misha , title =. Perspectives in scalar curvature. In 2 volumes , isbn =. 2023 , publisher =. doi:10.1142/9789811273223_0001 , keywords =

2023 doi
[26]

Ruberman, Daniel , title =. Geom. Topol. , issn =. 2001 , language =. doi:10.2140/gt.2001.5.895 , keywords =

2001 doi
[27]

Mather, J. N. , title =. 1970 , language =

1970

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.

[1] [1]

Barta, János , title =. C. R. Acad. Sci., Paris , issn =. 1937 , language =

1937

[2] [2]

Botvinnik, Boris and Ebert, Johannes and Randal-Williams, Oscar , title =. Invent. Math. , issn =. 2017 , language =. doi:10.1007/s00222-017-0719-3 , keywords =

work page doi:10.1007/s00222-017-0719-3 2017

[3] [3]

Crowley, Diarmuid and Schick, Thomas and Steimle, Wolfgang , title =. J. Topol. , issn =. 2018 , language =. doi:10.1112/topo.12081 , keywords =

work page doi:10.1112/topo.12081 2018

[4] [4]

Duke Math

Ebert, Johannes and Randal-Williams, Oscar , title =. Duke Math. J. , issn =. 2022 , language =. doi:10.1215/00127094-2022-0023 , keywords =

work page doi:10.1215/00127094-2022-0023 2022

[5] [5]

Hanke, Bernhard and Schick, Thomas and Steimle, Wolfgang , title =. Publ. Math., Inst. Hautes. 2014 , language =. doi:10.1007/s10240-014-0062-9 , keywords =

doi:10.1007/s10240-014-0062-9 2014

[6] [6]

Akutagawa, Kazuo and Botvinnik, Boris , title =. Commun. Anal. Geom. , issn =. 2002 , language =. doi:10.4310/CAG.2002.v10.n5.a2 , keywords =

work page doi:10.4310/cag.2002.v10.n5.a2 2002

[7] [7]

2002 , eprint=

The entropy formula for the Ricci flow and its geometric applications , author=. 2002 , eprint=

2002

[8] [8]

Hirsch, Sven and Kazaras, Demetre and Khuri, Marcus and Zhang, Yiyue , title =. Int. Math. Res. Not. , issn =. 2024 , language =. doi:10.1093/imrn/rnad129 , keywords =

work page doi:10.1093/imrn/rnad129 2024