Recognition: 2 theorem links
· Lean TheoremGauge Symmetry Breaking in the Asymptotic Analysis of Self Dual Yang-Mills-Higgs SU(2) Monopoles
Pith reviewed 2026-05-10 18:21 UTC · model grok-4.3
The pith
Adding an L2 gauge-mass term to the Yang-Mills-Higgs model forces minimizers to converge to harmonic maps into the 2-sphere.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By adding a gauge-mass term equal to the L2 norm of the connection to the SU(2) Self-Dual Yang-Mills-Higgs Lagrangian, gauge invariance is broken and all critical points automatically satisfy the global Coulomb condition. In the large-mass asymptotic, minimizers converge to harmonic maps into S^2 that extend the given boundary Higgs data; this convergence is subject to concentration-compactness phenomena and is strong away from a one-dimensional rectifiable closed concentration set. For a sufficiently large coupling constant the limiting minimal energy converges to the minimal Brezis-Coron-Lieb relaxed harmonic-map energy for the same boundary data.
What carries the argument
The Coulomb-Yang-Mills-Higgs Functional obtained by adding the L2 norm of the connection to the original Lagrangian, which enforces the global Coulomb gauge condition and allows control of the large-mass asymptotic.
Load-bearing premise
The added L2 gauge-mass term must globally force the Coulomb condition for all critical points, and there must exist a coupling constant large enough that the energy limit equals the Brezis-Coron-Lieb value.
What would settle it
A family of explicit boundary data and a sequence of minimizers for which the energy remains bounded away from the Brezis-Coron-Lieb value no matter how large the coupling constant is chosen, or for which the convergence fails to be strong outside every one-dimensional rectifiable set.
read the original abstract
We consider the $SU(2)$ Self-Dual Yang Mills Higgs Lagrangian in 3 dimension. By adding a ''Gauge Mass'' term to this YMH Lagrangian in the form of $L^2$ norm of the connection we break the gauge invariance and critical points are automatically fulfilling globally the Coulomb condition. We study the so called ``large mass asymptotic'', which has the effect of ''squeezing'' the monopoles. For any unit Higgs field data at the boundary we prove that minimizers of this Coulomb-Yang-Mills-Higgs Functional converge to harmonic maps into ${\mathbb S}^2$ extending this data. This asymptotic moreover is subject to concentration conpactness phenomena and the convergence is strong away from a 1 dimensional rectifiable closed concentration set. Then we prove that, having chosen a large enough coupling constant, the limiting minimal energy is converging towards the minimal Brezis-Coron-Lieb relaxed harmonic map energy for this boundary data. In the second part of the paper we examine a different asymptotic regime characterised by overloading monopoles. In this regime we prove that asymptotically, the magnetic field becomes exclusively longitudinal with a $U(1)$ abelian component along the Higgs Field while the Higgs field itself converges to a smooth absolute minimizer of a relaxation of the Faddeev-Skyrme functional of maps from ${\mathbb B}^3$ into ${\mathbb S}^2$. In the third part of the paper we study the behaviour of these configurations when the parameter in front of the Fadeev-Skyrme component respectively goes to zero and $+\infty$. In the first case one recovers the Brezis Coron Lieb relaxed energy at the limit while in the second case the minimal limiting energy is converging towards the minimal Dirichlet energy of maps into ${\mathbb S}^3$ whose projection by the Hopf fibration is equal to the fixed boundary data.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript considers the SU(2) self-dual Yang-Mills-Higgs Lagrangian in three dimensions. By adding an L² gauge-mass term on the connection, gauge invariance is broken so that critical points satisfy the Coulomb condition globally. In the large-mass asymptotic, minimizers of the resulting Coulomb-Yang-Mills-Higgs functional converge to harmonic maps into S² extending given unit boundary data; the convergence is strong away from a one-dimensional rectifiable closed concentration set, and with a sufficiently large coupling constant the minimal energy approaches the Brezis-Coron-Lieb relaxed harmonic-map energy. The paper also treats an overloading-monopole regime in which the magnetic field becomes longitudinal with a U(1) component along the Higgs field, the Higgs field converges to a minimizer of a relaxed Faddeev-Skyrme functional, and the limits of the Faddeev-Skyrme coefficient as it tends to zero or infinity recover the Brezis-Coron-Lieb energy and the Dirichlet energy of maps into S³ whose Hopf projection matches the boundary data, respectively.
Significance. If the gauge-fixing argument and the concentration-compactness analysis are made rigorous, the work would supply a variational route from gauged monopoles to harmonic maps and relaxed energies, extending concentration-compactness techniques to a gauge-fixed Yang-Mills-Higgs setting and furnishing explicit links to the Brezis-Coron-Lieb theory.
major comments (3)
- [Abstract and introduction] Abstract and §1 (gauge-mass term): the assertion that the added ∫|A|² term forces every critical point to satisfy the global Coulomb condition is load-bearing for the entire asymptotic reduction. The first variation with respect to the connection produces only a weak (distributional) form of the non-abelian divergence condition; without an a-priori regularity theorem guaranteeing that this weak equation upgrades to the strong Coulomb gauge everywhere (including where the Higgs field vanishes), the subsequent identification of minimizers with harmonic maps into S² loses its justification.
- [Large-mass asymptotic theorem] Main large-mass theorem (energy identification): the statement that a sufficiently large coupling constant exists so that the limiting energy equals the Brezis-Coron-Lieb value is asserted without an explicit lower bound or existence argument. Because this constant controls both the squeezing of monopoles and the passage to the relaxed energy, its construction must be supplied; otherwise the claim remains conditional on a post-hoc choice whose size is not controlled by the preceding estimates.
- [Concentration compactness analysis] Concentration-compactness section: the claim that the concentration set is one-dimensional and rectifiable is essential for the strong-convergence statement away from that set. The manuscript invokes standard compactness tools, but must indicate precisely how the rectifiability follows from the energy bounds once the gauge-mass term is present; without this step the geometric description of the defect set remains incomplete.
minor comments (3)
- [Abstract] Abstract: 'concentration conpactness' is a typographical error and should read 'concentration compactness'.
- [Abstract] Abstract: inconsistent spelling of the Skyrme term ('Faddeev-Skyrme' versus 'Fadeev-Skyrme'); adopt a single convention throughout.
- [Preliminaries] Notation: the precise definition of the Coulomb-Yang-Mills-Higgs functional, including the precise placement of the gauge-mass term and the boundary conditions on the Higgs field, should be stated explicitly before the first theorem.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive major comments. We address each point below and indicate the revisions planned for the next version of the manuscript.
read point-by-point responses
-
Referee: [Abstract and introduction] Abstract and §1 (gauge-mass term): the assertion that the added ∫|A|² term forces every critical point to satisfy the global Coulomb condition is load-bearing for the entire asymptotic reduction. The first variation with respect to the connection produces only a weak (distributional) form of the non-abelian divergence condition; without an a-priori regularity theorem guaranteeing that this weak equation upgrades to the strong Coulomb gauge everywhere (including where the Higgs field vanishes), the subsequent identification of minimizers with harmonic maps into S² loses its justification.
Authors: The referee correctly identifies that the Euler-Lagrange equation for the connection yields the Coulomb condition only in the weak (distributional) sense. The manuscript currently invokes this weak form directly for the asymptotic analysis. To strengthen the argument, we will add a dedicated lemma in Section 2 establishing that critical points satisfy the strong Coulomb gauge globally. The proof will proceed by elliptic regularity away from the zero set of the Higgs field, followed by a bootstrap and unique continuation argument across the zero set that exploits the SU(2) structure and the self-dual equations. This addition will be included in the revised manuscript. revision: yes
-
Referee: [Large-mass asymptotic theorem] Main large-mass theorem (energy identification): the statement that a sufficiently large coupling constant exists so that the limiting energy equals the Brezis-Coron-Lieb value is asserted without an explicit lower bound or existence argument. Because this constant controls both the squeezing of monopoles and the passage to the relaxed energy, its construction must be supplied; otherwise the claim remains conditional on a post-hoc choice whose size is not controlled by the preceding estimates.
Authors: We agree that an explicit lower bound improves the statement. In the current proof, the coupling constant is chosen larger than a quantity depending on the boundary data, the Sobolev embedding constants, and the energy upper bounds obtained from the concentration-compactness analysis. We will revise the theorem statement and its proof to display this explicit threshold (constructed from the preceding estimates) and verify that it is finite and independent of the mass parameter. The revised version will therefore contain a constructive existence argument for the constant. revision: yes
-
Referee: [Concentration compactness analysis] Concentration-compactness section: the claim that the concentration set is one-dimensional and rectifiable is essential for the strong-convergence statement away from that set. The manuscript invokes standard compactness tools, but must indicate precisely how the rectifiability follows from the energy bounds once the gauge-mass term is present; without this step the geometric description of the defect set remains incomplete.
Authors: The referee is right that the passage from energy bounds to rectifiability of the defect set needs to be spelled out explicitly when the gauge-mass term is present. The gauge-mass term is quadratic and does not change the leading-order monotonicity formula or the blow-up analysis; rectifiability therefore follows from the same varifold compactness and tangent-cone arguments used in the Brezis-Coron-Lieb theory. We will insert a short paragraph in the concentration-compactness section that recalls the relevant monotonicity identity, notes that the extra term is controlled by the energy bound, and cites the standard rectifiability theorem for stationary varifolds with bounded mass. This clarification will be added in the revision. revision: yes
Circularity Check
No circularity: variational minimization and compactness arguments are independent of the paper's own inputs
full rationale
The derivation proceeds by adding an L2 gauge-mass term to break invariance, then minimizing the resulting Coulomb-Yang-Mills-Higgs functional. Convergence to harmonic maps S^2 away from a rectifiable set, followed by identification of the limiting energy with the Brezis-Coron-Lieb relaxation, rests on standard concentration-compactness, lower-semicontinuity, and known harmonic-map theory. No equation reduces by construction to a fitted parameter defined inside the paper, no load-bearing uniqueness theorem is imported from the author's prior work, and the Coulomb condition is asserted as a direct consequence of the added term rather than presupposed. The analysis is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
free parameters (3)
- gauge mass parameter
- coupling constant
- Faddeev-Skyrme coefficient
axioms (2)
- domain assumption Existence of minimizers for the Coulomb-Yang-Mills-Higgs functional
- standard math Standard concentration-compactness and rectifiability results in 3D
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
By adding a 'Gauge Mass' term ... critical points are automatically fulfilling globally the Coulomb condition. ... minimizers ... converge to harmonic maps into S² ... Brezis-Coron-Lieb relaxed harmonic map energy
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the limiting minimal energy is converging towards the minimal Brezis-Coron-Lieb relaxed harmonic map energy
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Some lifting and approximation properties for maps in $W^{1,2}(\mathbb{B}^3;\mathbb{S}^2)$
W^{1,2} maps u from the 3-ball to S^2 admit a Hopf lift to S^3 precisely when u^*ω_{S^2} is exact, and this condition permits smooth approximations preserving the exactness.
Reference graph
Works this paper leans on
-
[1]
A note on Riesz potentials
Adams, R. “A note on Riesz potentials.” Duke Math. J. 42 (1975), no. 4, 765-778
1975
-
[2]
Brownian motion and Harnack inequality for Schr¨ odinger operators
Aizenman, M.; Simon, B. Brownian motion and Harnack inequality for Schr¨ odinger operators. Comm. Pure Appl. Math. 35 (1982), no. 2, 209-273
1982
-
[3]
Singularities of energy minimizing maps from the ball to the sphere: examples, counterexamples, and bounds
Almgren, Frederick J., Jr.; Lieb, Elliott H. Singularities of energy minimizing maps from the ball to the sphere: examples, counterexamples, and bounds. Ann. of Math. (2) 128 (1988), no. 3, 483-530
1988
-
[4]
Auckly, Dave; Kapitanski, Lev Holonomy and Skyrme’s model. Comm. Math. Phys. 240 (2003), no. 1-2, 97-122
2003
-
[5]
A characterization of maps inH 1(B3,S 2) which can be approximated by smooth maps
Bethuel, F. A characterization of maps inH 1(B3,S 2) which can be approximated by smooth maps. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 7 (1990), no. 4, 269-286
1990
-
[6]
Acta Math
Bethuel, Fabrice The approximation problem for Sobolev maps between two manifolds. Acta Math. 167 (1991), no. 3-4, 153-206 133
1991
-
[7]
Relaxed energies for harmonic maps
Bethuel, Fabrice; Brezis, Ha¨ ım ; Coron, Jean-Michel “Relaxed energies for harmonic maps”, in: Progress in nonlinear differential equations and their applications, vol. 4, Birh¨ auser (1990), 37-52 (Paris 1988)
1990
-
[8]
Bethuel, Fabrice; Brezis, Ha¨ ım; H´ elein, Fr´ ed´ eric Ginzburg-Landau vortices. Progr. Nonlinear Differ- ential Equations Appl., 13 Birkh¨ auser Boston, Inc., Boston, MA, 1994
1994
-
[9]
Bethuel, Fabrice; Rivi` ere, Tristan Vortices for a variational problem related to superconductivity. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 12 (1995), no. 3, 243-303
1995
-
[10]
Brenier, Yann Hidden convexity in some nonlinear PDEs from geometry and physics. J. Convex Anal. 17 (2010), no. 3-4, 945-959
2010
-
[11]
Atti Accad
Brezis, Ha¨ ım Some of my favorite open problems. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 34 (2023), no. 2, 307-335
2023
-
[12]
Harmonic maps with defects
Brezis, Ha¨ ım ; Coron, Jean-Michel; Lieb, Elliot “Harmonic maps with defects”, Comm. Math. Phys. 107 n. 4 (1986), 649-705
1986
-
[13]
Eilenberg, Samuel; Harrold, O. G., Jr. Continua of finite linear measure. I. Amer. J. Math. 65 (1943), 137-146
1943
-
[14]
A direct variational approach to Skyrme’s model for meson fields
Esteban, Maria J. A direct variational approach to Skyrme’s model for meson fields. Comm. Math. Phys. 105 (1986), no. 4, 571-591
1986
-
[15]
Fadel, Daniel; Nagy, Akos; Oliveira, Goncalo The asymptotic geometry ofG 2−monopoles. Mem. Amer. Math. Soc. 303 (2024), no. 1521
2024
-
[16]
Real flat chains, cochains and variational problems
Federer, H. “Real flat chains, cochains and variational problems.” Indiana Univ. Math. J. 24 (1974/75), 351-407
1974
-
[17]
Minimal Spheres fromS 3 intoS 2
Gianocca, Matilde “Minimal Spheres fromS 3 intoS 2” Master Thesis ETH Z¨ urich. 2021
2021
-
[18]
Soucek, J
Giaquinta, M.; Modica, G. ; Soucek, J. Cartesian currents and variational problems for mappings into spheres. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 16 (1989), no. 3, 393-485
1989
-
[19]
Liquid crystals: relaxed energies, dipoles, singular lines and singular points
Giaquinta, M.; Modica, G.; Soucek, J. Liquid crystals: relaxed energies, dipoles, singular lines and singular points. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 17 (1990), no. 3, 415-437
1990
-
[20]
Giaquinta, Mariano; Modica, Giuseppe; Soucek, Jiri Cartesian currents in the calculus of variations. II. Variational integrals. Ergeb. Math. Grenzgeb. (3), 38 Springer-Verlag, Berlin, 1998
1998
-
[21]
Hardt and F.-H
R. Hardt and F.-H. Lin, A remark onH 1 mappings. Manuscripta Math. 56 (1986), no. 1, 1-10
1986
-
[22]
Translated from the 1996 French original
H´ elein, Fr´ ed´ eric Harmonic maps, conservation laws and moving frames. Translated from the 1996 French original. With a foreword by James Eells. Second edition. Cambridge Tracts in Math., 150 Cambridge University Press, Cambridge, 2002
1996
-
[23]
Structure of static gauge theories
Jaffe, Arthur; Taubes, Clifford Vortices and monopoles. Structure of static gauge theories. Progr. Phys., 2 Birkh¨ auser, Boston, MA, 1980
1980
- [24]
-
[25]
Lin, Fanghua Gradient estimates and blow-up analysis for stationary harmonic maps, Ann. of Math. (2), 149(3) (1999), 785-829. 134
1999
-
[26]
Lin, Longzhi Uniformity of harmonic map heat flow at infinite time. Anal. PDE 6 (2013), no. 8, 1899-1921
2013
-
[27]
Lin, Fang-Hua and Wang, Changyou Harmonic and Quasi-harmonic Spheres, Comm. Anal. Geom., 7(2) (1999), 397-429
1999
-
[28]
Analysis and Geometry, Volume 10, Number 2, 341-375, 2002
Lin, Fang-Hua; Wang, Changyou Harmonic and Quasi-Harmonic Spheres, Part II, Communications in. Analysis and Geometry, Volume 10, Number 2, 341-375, 2002
2002
-
[29]
World Scientific Publishing Co
Moser, Roger Partial regularity for harmonic maps and related problems. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2005
2005
-
[30]
Marchuk, Nikolay; Shirokov, Dmitry Constant solutions of Yang-Mills equations and generalized Proca equations. J. Geom. Symmetry Phys. 42 (2016), 53-72
2016
-
[31]
Moser, Roger AnL p regularity theory for harmonic maps. Trans. Amer. Math. Soc. 367 (2015), no. 1, 1-30
2015
- [32]
-
[33]
Petrache, Mircea ; Rivi` ere, Tristan Global gauges and global extensions in optimal spaces. Anal. PDE 7 (2014), no. 8, 1851-1899
2014
-
[34]
Pigati, Alessandro; Stern, Daniel Minimal submanifolds from the abelian Higgs model. Invent. Math. 223 (2021), no. 3, 1027-1095
2021
-
[35]
Acta Math
Rivi` ere, Tristan Everywhere discontinuous harmonic maps into spheres. Acta Math. 175 (1995), no. 2, 197-226
1995
-
[36]
Rivi` ere, Tristan Line vortices in the U(1)-Higgs model.(English summary) ESAIM Contrˆ ole Optim. Calc. Var. 1 (1995/96), 77-167
1995
-
[37]
Rivi` ere, TristanMinimizing fibrations and p-harmonic maps in homotopy classes fromS 3 intoS 2. Comm. Anal. Geom. 6 (1998), no. 3, 427-483
1998
-
[38]
S´ eminaire Bourbaki, Vol
Rivi` ere, Tristan Ginzburg-Landau vortices: the static model. S´ eminaire Bourbaki, Vol. 1999/2000 Ast´ erisque No. 276 (2002), 73-103
1999
-
[39]
Rivi` ere, Tristan A lower-epiperimetric inequality for area-minimizing surfaces. Comm. Pure Appl. Math. 57 (2004), no. 12, 1673-1685
2004
-
[40]
Rivi` ere, Tristan Conservation laws for conformally invariant variational problems. Invent. Math. 168 (2007), no. 1, 1-22
2007
-
[41]
Rivi` ere, Tristan A viscosity method in the min-max theory of minimal surfaces. Publ. Math. Inst. Hautes ´Etudes Sci. 126 (2017), 177-246
2017
-
[42]
Geometric analysis in honor of Gang Tian’s 60th birthday, 305-379
Rivi` ere, Tristan The variations of Yang-Mills Lagrangian. Geometric analysis in honor of Gang Tian’s 60th birthday, 305-379. Progr. Math., 333 Birkh¨ auser/Springer, Cham, 2020
2020
-
[43]
Rivi` ere, Tristan Harmonic maps fromS 3 intoS 2 with low Morse index. J. Differential Geom. 125 (2023), no. 1, 173-185
2023
-
[44]
Functional Analysis 2
Rivi` ere, Tristan “Functional Analysis 2” ETH Course 2026 https://metaphor.ethz.ch/x/2026/fs/401- 3462-00L/ 135
2026
-
[45]
Differential Geom
Rivi` ere, Tristan Harmonic maps fromS3 intoS 2 with low Morse index J. Differential Geom. 125(1): 173-185
-
[46]
Rivi` ere, Tristan Minmax Methods in Geometric Analysis 2025 https://people.math.ethz.ch/ riviere/lecture-rome-overview-minmax
2025
-
[47]
Pure Appl
Rivi` ere Tristan and Struwe Michael, Partial regularity for harmonic maps and related problems, Comm. Pure Appl. Math. 61 (2008), no. 4, 451-463
2008
-
[48]
Rubakov and A.N
V.A. Rubakov and A.N. Tavkhelidze, Stable anomalous states of superdense matter in gauge theories Phys. Lett. B165 (1985) 109-112
1985
-
[49]
Sandier, Etienne; Serfaty, Sylvia Global minimizers for the Ginzburg-Landau functional below the first critical magnetic field. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 17 (2000), no. 1, 119-145
2000
-
[50]
Nuclear Phys
Schmid, Matthias; Shaposhnikov, Mikhail Anomalous abelian solitons. Nuclear Phys. B 775 (2007), no. 3, 365-389
2007
-
[51]
Schoen, Richard; Uhlenbeck, Karen A regularity theory for harmonic maps. J. Differential Geometry 17 (1982), no. 2, 307-335
1982
-
[52]
Schoen, Richard; Uhlenbeck, Karen Boundary regularity and the Dirichlet problem for harmonic maps. J. Differential Geom. 18 (1983), no. 2, 253-268
1983
-
[53]
Schoen, Richard; Uhlenbeck, Karen Regularity of minimizing harmonic maps into the sphere. Invent. Math. 78 (1984), no. 1, 89-100
1984
-
[54]
Serfaty, Sylvia Local minimizers for the Ginzburg-Landau energy near critical magnetic field. I. Commun. Contemp. Math. 1 (1999), no. 2, 213-254
1999
-
[55]
Serfaty, Sylvia Local minimizers for the Ginzburg-Landau energy near critical magnetic field. II. Commun. Contemp. Math. 1 (1999), no. 3, 295-333
1999
-
[56]
Serfaty, Sylvia Stable configurations in superconductivity: uniqueness, multiplicity, and vortex- nucleation. Arch. Ration. Mech. Anal. 149 (1999), no. 4, 329-365
1999
-
[57]
Sil, Swarnendu Topology of weak G-bundles via Coulomb gauges in critical dimensions. Comm. Anal. Geom. 32 (2024), no. 3, 791-835
2024
-
[58]
Sub-Riemannian geometry
Strichartz, Robert S. Sub-Riemannian geometry. J. Differential Geom. 24 (1986), no. 2, 221-263
1986
-
[59]
Connections withL p bounds on curvature
Uhlenbeck, Karen K. Connections withL p bounds on curvature. Comm. Math. Phys. 83 (1982), no. 1, 31-42
1982
-
[60]
Zhou, Y.: Fractional Sobolev extension and imbedding. Trans. Amer. Math. Soc. 367(2), 959-979 (2015) 136
2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.