Decreasing Weyl's energy by connected sums with locally conformally flat manifolds

Andrea Malchiodi; Francesco Malizia

arxiv: 2604.17547 · v1 · submitted 2026-04-19 · 🧮 math.DG

Decreasing Weyl's energy by connected sums with locally conformally flat manifolds

Andrea Malchiodi , Francesco Malizia This is my paper

Pith reviewed 2026-05-10 05:24 UTC · model grok-4.3

classification 🧮 math.DG

keywords Weyl functionalconnected sumsBach-flat metricsself-dual metricslocally conformally flatYamabe classfour-manifoldsWeyl energy

0 comments

The pith

Connected sums with locally conformally flat manifolds decrease the Weyl energy of non-self-dual Bach-flat metrics on four-manifolds.

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

The paper shows that if a Bach-flat metric on a four-manifold is neither self-dual nor anti-self-dual, then connecting it by sum to a locally conformally flat manifold of positive Yamabe class produces a new manifold carrying a metric whose Weyl energy is strictly smaller than the original. The exception occurs only when the added manifold is the standard four-sphere. The argument works by letting the positive and negative parts of the Weyl tensor on the first manifold interact with the topology of the sum. A reader would care because the Weyl energy measures a fundamental conformal invariant whose lower bound is tied to open questions about the geometry of four-dimensional manifolds and to a conjecture of Singer on its possible minimizers.

Core claim

If g_M is Bach-flat and neither self-dual nor anti-self-dual while g_Z is locally conformally flat of positive Yamabe class, then the connected sum Y = M # Z admits a metric g_Y whose Weyl energy is smaller than that of g_M, except when Z is the round four-sphere.

What carries the argument

The connected-sum construction that lets the self-dual and anti-self-dual Weyl tensors W_M^+ and W_M^- on the original manifold combine with the topology of Z to reduce the total L2 norm of the Weyl tensor.

If this is right

The Weyl energy admits a strictly smaller value after each such connected sum, providing a concrete operation that lowers the functional.
Minimizing sequences for the Weyl energy can be improved by adding suitable locally conformally flat summands.
The result extends to certain orbifolds, allowing the same energy reduction in that setting.
The construction supplies a direct link to Singer's conjecture by exhibiting a mechanism that decreases the energy through topology.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Repeated application of the operation suggests that the infimum of the Weyl energy on a given four-manifold might be achieved only after sufficiently many connected sums.
The argument indicates that any global minimizer of the Weyl energy on a four-manifold must either be self-dual, anti-self-dual, or fail to be Bach-flat.
The same technique could be tested numerically on known examples by computing the change in Weyl energy after a controlled connected-sum deformation.

Load-bearing premise

The original metric must be Bach-flat yet neither self-dual nor anti-self-dual, so that the connected-sum surgery can adjust the Weyl tensor contributions without increasing the energy.

What would settle it

An explicit construction of a Bach-flat non-self-dual metric on some four-manifold for which every connected sum with a positive-Yamabe locally conformally flat manifold fails to produce lower Weyl energy would falsify the claim.

read the original abstract

We study the Weyl functional on connected sums of two four-dimensional manifolds $(M,g_M)$ and $(Z,g_Z)$, assuming $g_M$ is Bach-flat and $g_Z$ locally conformally flat. We show that if $g_M$ is neither self-dual nor anti self-dual and if $g_Z$ is of positive Yamabe class, there exists a metric $g_Y$ on $Y := M \# Z$ with Weyl energy lower than that of $g_M$ (with the trivial exception of $(Z,g_Z) = (\mathbb{S}^4, g_{\mathbb{S}^4})$). This result has a relation to a conjecture by I.Singer and has a perspective application to the minimization of Weyl's energy. The proof relies on a simultaneous interplay of $W_M^+, W_M^-$ and the topology of $Z$, and also covers some orbifold cases.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives an explicit connected-sum construction that strictly lowers Weyl energy on Bach-flat 4-manifolds that are neither self-dual nor anti-self-dual, when you add a positive-Yamabe locally conformally flat piece.

read the letter

The central claim is straightforward: start with a Bach-flat metric on M that is not self-dual or anti-self-dual, take a locally conformally flat Z of positive Yamabe type, and produce a metric on the connected sum with lower total Weyl energy than the original on M (except the trivial case when Z is the round sphere). The argument uses the splitting of the Weyl tensor into self-dual and anti-self-dual parts together with the change in signature and Euler characteristic under connected sum. That is the new piece relative to earlier work on the Weyl functional and Bach-flat metrics; it is not just a routine gluing extension but a targeted surgery that exploits the sign conditions on the curvature pieces and the topology of Z to force the drop. The abstract states the hypotheses cleanly and flags the exception, which is helpful. The orbifold cases are mentioned as covered as well. The construction looks like it could be useful for people trying to minimize the Weyl energy or test Singer's conjecture, since it supplies a concrete way to produce lower-energy metrics without changing the underlying manifold too drastically. The soft spots are modest. The proof sketch in the abstract relies on a simultaneous control of W+ and W- with the topology of Z, so the details of how the gluing is carried out and how the energy decrease is estimated will need checking, but nothing in the stated hypotheses or the claimed interplay looks contradictory or circular. No free parameters or invented quantities appear. The result is presented as an existence statement grounded in curvature signs and standard topological invariants, which keeps the burden low. This is for people working in conformal geometry and 4-manifold invariants who already know the Weyl functional and Bach-flat condition. A reader who cares about minimization problems or explicit constructions will find a usable tool here. It is worth sending to a serious referee because the claim is concrete, the hypotheses are explicit, and the potential application to open questions is clear even if the full details require verification.

Referee Report

0 major / 2 minor

Summary. The manuscript proves an existence result for 4-manifolds: if (M, g_M) carries a Bach-flat metric that is neither self-dual nor anti-self-dual and (Z, g_Z) is locally conformally flat of positive Yamabe class, then the connected sum Y = M # Z admits a metric g_Y whose Weyl energy is strictly smaller than that of g_M, except in the trivial case (Z, g_Z) = (S^4, g_{S^4}). The argument relies on the orthogonal decomposition W = W^+ ⊕ W^- together with the topological invariants (signature and Euler characteristic) of Z; some orbifold cases are also treated. The result is positioned as a step toward minimizing the Weyl functional and as related to Singer's conjecture.

Significance. If the gluing construction is valid, the paper supplies an explicit, topology-driven mechanism for strictly decreasing the Weyl energy on connected sums, which directly addresses the global minimization problem for the Weyl functional on 4-manifolds and offers a concrete perspective on Singer's conjecture. The hypotheses are stated sharply (Bach-flatness of g_M, local conformal flatness and positive Yamabe class of g_Z, explicit exception for the round sphere), and the energy decrease is controlled by the decomposition of the Weyl tensor and topological data rather than by ad-hoc parameters.

minor comments (2)

[Abstract] Abstract: the phrase 'simultaneous interplay of W_M^+, W_M^- and the topology of Z' is too terse; a single sentence indicating how the signs of the self-dual and anti-self-dual parts combine with the Euler characteristic or signature to produce the strict decrease would improve readability without lengthening the abstract.
[Introduction] The manuscript should include a brief comparison (even one paragraph) with existing gluing results for the Weyl functional (e.g., those using conformal classes or other curvature functionals) to clarify the novelty of the Bach-flat + LCF assumption.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the manuscript, including the recognition of its relevance to the global minimization of the Weyl functional and to Singer's conjecture. The recommendation for minor revision is noted.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes an existence theorem for a metric of strictly lower Weyl energy on the connected sum Y = M # Z, under the stated curvature and topological hypotheses on Bach-flat g_M (neither self-dual nor anti-self-dual) and positive-Yamabe LCF g_Z. The argument proceeds via a gluing construction that exploits the orthogonal decomposition W = W⁺ ⊕ W⁻ together with the signature and Euler characteristic of Z; this is an independent analytic and topological statement, not a re-labeling or re-fitting of the input data. No self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations appear in the derivation chain. The result is therefore self-contained against external benchmarks in four-dimensional conformal geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review yields limited visibility into free parameters or invented entities; the result appears to rest on standard definitions of Bach-flatness, Weyl tensor decomposition, and Yamabe class positivity.

axioms (2)

domain assumption Bach-flatness of g_M implies the Bach tensor vanishes, allowing control of the Weyl functional under conformal changes and gluing.
Invoked in the statement that g_M is Bach-flat and the energy comparison.
standard math The Weyl tensor decomposes into self-dual and anti-self-dual parts whose signs interact with the topology of the connected sum.
Central to the proof sketch involving W_M^+ and W_M^-.

pith-pipeline@v0.9.0 · 5455 in / 1576 out tokens · 39328 ms · 2026-05-10T05:24:11.304900+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

Bach-flat Lie groups in dimension 4

[AGS13] E. Abbena, S. Garbiero, and S. Salamon. “Bach-flat Lie groups in dimension 4”. In:C. R. Math. Acad. Sci. Paris351.7-8 (2013), pp. 303–306.issn: 1631-073X,1778-3569.doi: 10.1016/j.crma.2013.04.011.url:https://doi.org/10.1016/j.crma.2013.04.011. [AV12] A. G. Ache and J. A. Viaclovsky. “Obstruction-flat asymptotically locally Euclidean metrics”. In:G...

work page doi:10.1016/j.crma.2013.04.011.url:https://doi.org/10.1016/j.crma.2013.04.011 2013
[2]

Zur Weylschen Relativitätstheorie und der Weylschen Erweiterung des Krüm- mungstensorbegriffs

Adv. Lect. Math. (ALM). Int. Press, Somerville, MA, 2010, pp. 1–39. isbn: 978-1-57146-205-3. [Bac21] R. Bach. “Zur Weylschen Relativitätstheorie und der Weylschen Erweiterung des Krüm- mungstensorbegriffs”. In:Math. Z.9.1 (1921), pp. 110–135.issn: 1432-1823.doi:10.1007/ BF01378338.url:https://doi.org/10.1007/BF01378338. [BH11] E. Bahuaud and D. Helliwell....

work page doi:10.1007/bf01378338 2010
[3]

A conformally invariant gap theorem character- izing CP2 via the Ricci flow

Progress in Mathematics. Birkhäuser/Springer, Cham, 2020, pp. xix+247.isbn: 978-3-030- 57184-9.doi: 10.1007/978-3-030-57185-6.url: https://doi.org/10.1007/978-3-030- 57185-6. [CGZ20] S.-Y. A. Chang, M. Gursky, and S. Zhang. “A conformally invariant gap theorem character- izing CP2 via the Ricci flow”. In:Math. Z.294.1-2 (2020), pp. 721–746.issn: 0025-5874...

work page doi:10.1007/978-3-030-57185-6.url: 2020
[4]

LeBrun , FAUTHOR =

Surv. Differ. Geom. Int. Press, Somerville, MA, 2003, pp. 235–255.isbn: 1-57146-114-0.doi:10.4310/SDG.2003.v8.n1.a8. url:https://doi.org/10.4310/SDG.2003.v8.n1.a8. [LS94] C. LeBrun and M. Singer. “A Kummer-type construction of self-dual4-manifolds”. In:Math. Ann.300.1 (1994), pp. 165–180.issn: 0025-5831,1432-1807.doi:10.1007/BF01450482.url: https://doi.or...

work page doi:10.4310/sdg.2003.v8.n1.a8 2003
[5]

Integrability of Einstein deformations and desingularizations

arXiv: 2505.17752 [math.DG].url:https://arxiv.org/abs/2505.17752. [Ozu24] T. Ozuch. “Integrability of Einstein deformations and desingularizations”. In:Comm. Pure Appl. Math.77.1 (2024), pp. 177–220.issn: 0010-3640,1097-0312.doi:10.1002/cpa.22129. url:https://doi.org/10.1002/cpa.22129. [Pag78] D. Page. “A physical picture of the K3 gravitational instanton...

work page doi:10.1002/cpa.22129 2024
[6]

Existence of surfaces minimizing the Willmore functional

Proc. Centre Math. Anal. Austral. Nat. Univ. Austral. Nat. Univ., Canberra, 1986, pp. 187–216.isbn: 0-86784-511-2. [Sim93] L. Simon. “Existence of surfaces minimizing the Willmore functional”. In:Comm. Anal. Geom. 1.2 (1993), pp. 281–326.issn: 1019-8385,1944-9992.doi: 10.4310/CAG.1993.v1.n2.a4 . url:https://doi.org/10.4310/CAG.1993.v1.n2.a4. 46 [Str10] J....

work page doi:10.4310/cag.1993.v1.n2.a4 1986
[7]

IAS/Park City Math. Ser. Amer. Math. Soc., Providence, RI, 2016, pp. 197– 274.isbn: 978-1-4704-2313-1.doi: 10.1090/pcms/022/05 .url: https://doi.org/10. 1090/pcms/022/05. [WY25] B. Wang and H. Yin.Curvature at the infinity of asymptotically flat Einstein manifold

work page doi:10.1090/pcms/022/05 2016
[8]

[Wan25] X

arXiv:2508.16288 [math.DG].url:https://arxiv.org/abs/2508.16288. [Wan25] X. Wang.On the structure of locally conformally flat orbifolds and ALE manifolds

work page arXiv
[9]

[Zie89] W

arXiv:2511.09857 [math.DG].url:https://arxiv.org/abs/2511.09857. [Zie89] W. P. Ziemer.Weakly differentiable functions. Vol

work page arXiv
[10]

Sobolev spaces and functions of bounded variation

Graduate Texts in Mathemat- ics. Sobolev spaces and functions of bounded variation. Springer-Verlag, New York, 1989, pp. xvi+308.isbn: 0-387-97017-7.doi: 10 . 1007 / 978 - 1 - 4612 - 1015 - 3.url: https : //doi.org/10.1007/978-1-4612-1015-3. Andrea Malchiodi Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa, Italy E-mail address:andrea.malchiod...

work page doi:10.1007/978-1-4612-1015-3 1989

[1] [1]

Bach-flat Lie groups in dimension 4

[AGS13] E. Abbena, S. Garbiero, and S. Salamon. “Bach-flat Lie groups in dimension 4”. In:C. R. Math. Acad. Sci. Paris351.7-8 (2013), pp. 303–306.issn: 1631-073X,1778-3569.doi: 10.1016/j.crma.2013.04.011.url:https://doi.org/10.1016/j.crma.2013.04.011. [AV12] A. G. Ache and J. A. Viaclovsky. “Obstruction-flat asymptotically locally Euclidean metrics”. In:G...

work page doi:10.1016/j.crma.2013.04.011.url:https://doi.org/10.1016/j.crma.2013.04.011 2013

[2] [2]

Zur Weylschen Relativitätstheorie und der Weylschen Erweiterung des Krüm- mungstensorbegriffs

Adv. Lect. Math. (ALM). Int. Press, Somerville, MA, 2010, pp. 1–39. isbn: 978-1-57146-205-3. [Bac21] R. Bach. “Zur Weylschen Relativitätstheorie und der Weylschen Erweiterung des Krüm- mungstensorbegriffs”. In:Math. Z.9.1 (1921), pp. 110–135.issn: 1432-1823.doi:10.1007/ BF01378338.url:https://doi.org/10.1007/BF01378338. [BH11] E. Bahuaud and D. Helliwell....

work page doi:10.1007/bf01378338 2010

[3] [3]

A conformally invariant gap theorem character- izing CP2 via the Ricci flow

Progress in Mathematics. Birkhäuser/Springer, Cham, 2020, pp. xix+247.isbn: 978-3-030- 57184-9.doi: 10.1007/978-3-030-57185-6.url: https://doi.org/10.1007/978-3-030- 57185-6. [CGZ20] S.-Y. A. Chang, M. Gursky, and S. Zhang. “A conformally invariant gap theorem character- izing CP2 via the Ricci flow”. In:Math. Z.294.1-2 (2020), pp. 721–746.issn: 0025-5874...

work page doi:10.1007/978-3-030-57185-6.url: 2020

[4] [4]

LeBrun , FAUTHOR =

Surv. Differ. Geom. Int. Press, Somerville, MA, 2003, pp. 235–255.isbn: 1-57146-114-0.doi:10.4310/SDG.2003.v8.n1.a8. url:https://doi.org/10.4310/SDG.2003.v8.n1.a8. [LS94] C. LeBrun and M. Singer. “A Kummer-type construction of self-dual4-manifolds”. In:Math. Ann.300.1 (1994), pp. 165–180.issn: 0025-5831,1432-1807.doi:10.1007/BF01450482.url: https://doi.or...

work page doi:10.4310/sdg.2003.v8.n1.a8 2003

[5] [5]

Integrability of Einstein deformations and desingularizations

arXiv: 2505.17752 [math.DG].url:https://arxiv.org/abs/2505.17752. [Ozu24] T. Ozuch. “Integrability of Einstein deformations and desingularizations”. In:Comm. Pure Appl. Math.77.1 (2024), pp. 177–220.issn: 0010-3640,1097-0312.doi:10.1002/cpa.22129. url:https://doi.org/10.1002/cpa.22129. [Pag78] D. Page. “A physical picture of the K3 gravitational instanton...

work page doi:10.1002/cpa.22129 2024

[6] [6]

Existence of surfaces minimizing the Willmore functional

Proc. Centre Math. Anal. Austral. Nat. Univ. Austral. Nat. Univ., Canberra, 1986, pp. 187–216.isbn: 0-86784-511-2. [Sim93] L. Simon. “Existence of surfaces minimizing the Willmore functional”. In:Comm. Anal. Geom. 1.2 (1993), pp. 281–326.issn: 1019-8385,1944-9992.doi: 10.4310/CAG.1993.v1.n2.a4 . url:https://doi.org/10.4310/CAG.1993.v1.n2.a4. 46 [Str10] J....

work page doi:10.4310/cag.1993.v1.n2.a4 1986

[7] [7]

IAS/Park City Math. Ser. Amer. Math. Soc., Providence, RI, 2016, pp. 197– 274.isbn: 978-1-4704-2313-1.doi: 10.1090/pcms/022/05 .url: https://doi.org/10. 1090/pcms/022/05. [WY25] B. Wang and H. Yin.Curvature at the infinity of asymptotically flat Einstein manifold

work page doi:10.1090/pcms/022/05 2016

[8] [8]

[Wan25] X

arXiv:2508.16288 [math.DG].url:https://arxiv.org/abs/2508.16288. [Wan25] X. Wang.On the structure of locally conformally flat orbifolds and ALE manifolds

work page arXiv

[9] [9]

[Zie89] W

arXiv:2511.09857 [math.DG].url:https://arxiv.org/abs/2511.09857. [Zie89] W. P. Ziemer.Weakly differentiable functions. Vol

work page arXiv

[10] [10]

Sobolev spaces and functions of bounded variation

Graduate Texts in Mathemat- ics. Sobolev spaces and functions of bounded variation. Springer-Verlag, New York, 1989, pp. xvi+308.isbn: 0-387-97017-7.doi: 10 . 1007 / 978 - 1 - 4612 - 1015 - 3.url: https : //doi.org/10.1007/978-1-4612-1015-3. Andrea Malchiodi Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa, Italy E-mail address:andrea.malchiod...

work page doi:10.1007/978-1-4612-1015-3 1989