arxiv: 2605.10814 · v1 · submitted 2026-05-11 · 🧮 math.DG · math.AP

Recognition: no theorem link

Convergence of the Yang-Mills flow on ALE gravitational instantons

Alex Waldron, Anuk Dayaprema

Pith reviewed 2026-05-12 04:11 UTC · model grok-4.3

classification 🧮 math.DG math.AP

keywords Yang-Mills flowALE manifoldshyperKähler 4-manifoldsparabolic gap theoremgravitational instantonsgauge theoryconvergence of flows

0 comments

The pith

The Yang-Mills flow converges on SU(r)-bundles over locally hyperKähler ALE 4-manifolds.

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

The paper proves a sharp convergence theorem for the Yang-Mills flow on an SU(r)-bundle over a locally hyperKähler ALE 4-manifold. This provides a noncompact version of the parabolic gap theorem the authors had shown earlier for compact cases. If the result holds, the flow settles down to a Yang-Mills connection in these noncompact geometries without developing singularities. This matters for studying gauge fields on spaces that arise as gravitational instantons in physics and geometry.

Core claim

We prove a sharp convergence theorem for the Yang-Mills flow on an SU(r)-bundle over a locally hyperKähler ALE 4-manifold. Our main result is a noncompact version of the parabolic gap theorem previously established by the authors.

What carries the argument

The noncompact parabolic gap theorem for the Yang-Mills flow.

Load-bearing premise

The 4-manifold must be locally hyperKähler and ALE; if this geometric structure fails to control the flow at infinity, the convergence statement would not hold.

What would settle it

An explicit example of a locally hyperKähler ALE 4-manifold and SU(r)-bundle where the Yang-Mills flow does not converge to a smooth limit would falsify the claim.

read the original abstract

We prove a sharp convergence theorem for the Yang-Mills flow on an $\mathrm{S}\mathrm{U}(r)$-bundle over a locally hyperK\"ahler ALE 4-manifold. Our main result is a noncompact version of the "parabolic gap theorem" previously established by the authors.

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 extends the authors' parabolic gap theorem to Yang-Mills flow on locally hyperKähler ALE 4-manifolds, but the noncompact estimates need checking for a uniform gap.

read the letter

This paper gives a noncompact version of the parabolic gap theorem for the Yang-Mills flow. The authors show that on an SU(r)-bundle over a locally hyperKähler ALE 4-manifold, the flow converges to a Yang-Mills connection with a positive energy gap. They build directly on their prior work in the compact case. The new part is handling the noncompact ends by using the ALE decay and the hyperKähler condition to get the necessary monotonicity or gap estimates. If those adaptations work, it fills a gap in the literature for these specific manifolds. The result is solid in its statement and the setting is well-chosen. ALE gravitational instantons are a natural place to look for such theorems because of their controlled geometry at infinity. The soft spot is in the details of the noncompact analysis. The stress-test note is right to ask whether the ALE decay rates produce a uniform lower bound on the curvature that is independent of the end. If the proof only invokes the hyperKähler property without deriving end-independent constants in the integrated identities or the gap inequality, then the convergence could be compromised by behavior far out. I would want to see explicit error estimates or how they localize the arguments away from the ends. This is aimed at researchers in geometric analysis and gauge theory on noncompact 4-manifolds. Someone familiar with the compact parabolic gap theorem and ALE geometry will find it straightforward to read and potentially cite. It is worth sending to peer review because the claim is precise and the extension is nontrivial, even if the technical details on infinity need scrutiny.

Referee Report

1 major / 1 minor

Summary. The paper proves a sharp convergence theorem for the Yang-Mills flow on an SU(r)-bundle over a locally hyperKähler ALE 4-manifold, establishing a noncompact version of the parabolic gap theorem previously obtained by the authors in the compact setting.

Significance. If the result holds, it would extend gap theorems for Yang-Mills flow to noncompact ALE gravitational instantons, which are central objects in gauge theory and 4-manifold geometry; the extension supplies a definite energy gap preventing bubbling or slow decay at infinity under the stated geometric hypotheses.

major comments (1)

[Main theorem and its proof] Main theorem (noncompact parabolic gap): the argument must convert the ALE decay |Rm| = O(r^{-4}) into a uniform lower bound on the L^2-norm of curvature that is independent of the noncompact end. The manuscript invokes the locally hyperKähler condition but does not derive an explicit end-independent constant in the integrated Bochner-type identity or Łojasiewicz inequality; without this step the claimed sharpness of the gap fails to be established.

minor comments (1)

[Abstract] Abstract states the existence of a proof but supplies no outline of the noncompact estimates or monotonicity formula; adding one sentence on the key adaptation would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the insightful comment on the main theorem. We address the concern regarding the uniformity of the energy gap below.

read point-by-point responses

Referee: Main theorem (noncompact parabolic gap): the argument must convert the ALE decay |Rm| = O(r^{-4}) into a uniform lower bound on the L^2-norm of curvature that is independent of the noncompact end. The manuscript invokes the locally hyperKähler condition but does not derive an explicit end-independent constant in the integrated Bochner-type identity or Łojasiewicz inequality; without this step the claimed sharpness of the gap fails to be established.

Authors: We appreciate the referee's comment on the need for an explicit end-independent constant. In our proof, the locally hyperKähler structure is crucial because it implies that the curvature satisfies a stronger decay and the Bochner identity simplifies, allowing the integral of |F|^2 to be bounded below by a positive constant determined solely by the Chern classes and the asymptotic hyperKähler metric. The O(r^{-4}) decay ensures that boundary terms at infinity vanish uniformly, independent of any cutoff radius. We will revise the manuscript to include a dedicated subsection deriving this constant explicitly from the integrated Bochner-type identity, thereby confirming the sharpness of the gap. This will also clarify the application of the Łojasiewicz inequality in the noncompact setting. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to authors' prior compact parabolic gap theorem; noncompact adaptation uses independent ALE geometry

full rationale

The paper establishes a noncompact version of the parabolic gap theorem for the Yang-Mills flow on SU(r)-bundles over locally hyperKähler ALE 4-manifolds. The derivation adapts monotonicity and gap arguments from the compact case using the specific decay rates and hyperKähler structure at infinity as independent geometric inputs. No step reduces the main convergence claim to a fitted parameter, self-definition, or unverified self-citation chain by construction. The self-reference is to the authors' earlier compact result and serves as a starting point rather than load-bearing justification for the new noncompact statement, which remains self-contained as a mathematical theorem under the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the geometric assumptions that the manifold is locally hyperKähler and ALE together with the bundle being an SU(r)-bundle; no free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption The 4-manifold is locally hyperKähler and ALE
This is the explicit setting stated in the abstract for which the convergence theorem is claimed.

pith-pipeline@v0.9.0 · 5330 in / 1151 out tokens · 55530 ms · 2026-05-12T04:11:09.943804+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · 1 internal anchor

[1]

Azagra, J

D. Azagra, J. Ferrera, F. L´ opez-Mesas, and Y. Rangel,Smooth approximation of Lipschitz functions on Riemannian manifolds, J. Math. Anal. Appl.326(2007), no. 2, 1370–1378

work page 2007
[2]

Z. M. Balogh and A. Krist´ aly,Sharp isoperimetric and Sobolev inequalities in spaces with nonnegative Ricci curvature, Math. Ann.385(2023), no. 3-4, 1747–1773

work page 2023
[3]

Bando, A

S. Bando, A. Kasue, and H. Nakajima,On a construction of coordinates at infinity on manifolds with fast curvature decay and maximal volume growth, Invent. Math.97(1989), no. 2, 313–349. CONVERGENCE OF YANG-MILLS FLOW 23

work page 1989
[4]

Chen and X

G. Chen and X. Chen,Gravitational instantons with faster than quadratic curvature decay (II), Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal)2019(2019), no. 756, 259–284

work page 2019
[5]

1, 687–717

,Gravitational instantons with faster than quadratic curvature decay (III), Mathematische An- nalen380(2021), no. 1, 687–717

work page 2021
[6]

2, 263–307

,Gravitational instantons with faster than quadratic curvature decay (I), Acta Mathematica227 (2022), no. 2, 263–307

work page 2022
[7]

Dayaprema and A

A. Dayaprema and A. Waldron,Parabolic gap theorems for the Yang-Mills energy, Mathematical Physics, Analysis and Geometry29(2026), no. 1, 12

work page 2026
[8]

Deruelle and K

A. Deruelle and K. Kr¨ oncke,Stability of ALE Ricci-flat manifolds under Ricci flow, Journal of Geometric Analysis31(2020), 2829–2870

work page 2020
[9]

Deruelle and T

A. Deruelle and T. Ozuch,A Lojasiewicz inequality for ALE metrics, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XXVI (2025), 1965-2042

work page 2025
[10]

Gustafson, K

S. Gustafson, K. Nakanishi, and T.-P. Tsai,Asymptotic stability, concentration, and oscillation in harmonic map heat-flow, Landau-Lifshitz, and Schr¨ odinger maps onR 2, Comm. Math. Phys.300 (2010), no. 1, 205–242

work page 2010
[11]

Kr¨ oncke and O

K. Kr¨ oncke and O. L. Petersen,L p-stability and positive scalar curvature rigidity of Ricci-flat ALE manifolds, arXiv preprint 2009.11854 (2020)

work page arXiv 2009
[12]

P. B. Kronheimer,The construction of ALE spaces as hyper-K¨ ahler quotients, J. Differential Geom.29 (1989), no. 3, 665–683

work page 1989
[13]

Differential Geom.29(1989), no

,A Torelli-type theorem for gravitational instantons, J. Differential Geom.29(1989), no. 3, 685–697

work page 1989
[14]

P. B. Kronheimer and H. Nakajima,Yang-Mills instantons on ALE gravitational instantons, Math. Ann.288(1990), no. 1, 263–307

work page 1990
[15]

Li,Geometric analysis, Cambridge Studies in Advanced Mathematics, vol

P. Li,Geometric analysis, Cambridge Studies in Advanced Mathematics, vol. 134, Cambridge University Press, Cambridge, 2012

work page 2012
[16]

Nakajima,Moduli spaces of anti-self-dual connections on ALE gravitational instantons, Inventiones mathematicae102(1990), no

H. Nakajima,Moduli spaces of anti-self-dual connections on ALE gravitational instantons, Inventiones mathematicae102(1990), no. 1, 267–303

work page 1990
[17]

Oh and D

S.-J. Oh and D. Tataru,The hyperbolic Yang–Mills equation for connections in an arbitrary topological class, Communications in Mathematical Physics365(2019), no. 2, 685–739

work page 2019
[18]

2, 233–384

,The hyperbolic Yang–Mills equation in the caloric gauge: local well-posedness and control of energy-dispersed solutions, Pure and Applied Analysis2(2020), no. 2, 233–384

work page 2020
[19]

2, 393–473

,The threshold conjecture for the energy critical hyperbolic Yang–Mills equation, Annals of Math- ematics194(2021), no. 2, 393–473

work page 2021
[20]

,The Yang–Mills heat flow and the caloric gauge, Ast´ erisque436(2022)

work page 2022
[21]

R˚ ade,Decay estimates for Yang-Mills fields; two new proofs, (1993), 91–105

J. R˚ ade,Decay estimates for Yang-Mills fields; two new proofs, (1993), 91–105

work page 1993
[22]

Y. Sire, J. Wei, Y. Zheng, and Y. Zhu,Global oscillatory solutions for the Yang-Mills heat flow, Arxiv:2601.21017

work page arXiv
[23]

Integrable Deformations and Stability of the Ricci Flow

M. Stolarski and A. Waldron,Integrable deformations and stability of the Ricci flow, ArXiv:arXiv:2604.15198

work page internal anchor Pith review Pith/arXiv arXiv
[24]

Sun and R

S. Sun and R. Zhang,Collapsing geometry of hyperk¨ ahler 4-manifolds and applications, Acta Mathe- matica (2024)

work page 2024
[25]

J. A. Viaclovsky,Monopole metrics and the orbifold Yamabe problem, Ann. Inst. Fourier (Grenoble)60 (2010), no. 7, 2503–2543

work page 2010
[26]

Vieira,Gap theorems in yang-mills theory for complete four-dimensional manifolds with positive yamabe constant, 2024

M. Vieira,Gap theorems in yang-mills theory for complete four-dimensional manifolds with positive yamabe constant, 2024

work page 2024
[27]

Waldron,Instantons and singularities in the Yang–Mills flow, Calc

A. Waldron,Instantons and singularities in the Yang–Mills flow, Calc. Var. PDE55(2016), no. 5, 113

work page 2016
[28]

3, 1069– 1147

,Long-time existence for Yang-Mills flow, Inventiones mathematicae217(2019), no. 3, 1069– 1147

work page 2019
[29]

,Uhlenbeck compactness for Yang-Mills flow in higher dimensions, Calc. Var. Partial Differential Equations62(2023), no. 5, Paper No. 165, 28. 24 ANUK DAYAPREMA AND ALEX W ALDRON

work page 2023
[30]

E. P. Wright,Quotients of gravitational instantons, Ann. Global Anal. Geom.41(2012), no. 1, 91–108. University of Wisconsin, Madison Email address:dayaprema@wisc.edu University of Wisconsin, Madison Email address:waldron@math.wisc.edu

work page 2012