arxiv: 2605.13809 · v1 · submitted 2026-05-13 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

"Metric-affine-like" generalization of YM (mal-YM): detailed classical consideration

W{\l}adys{\l}aw Wachowski

Authors on Pith no claims yet

Pith reviewed 2026-05-14 17:32 UTC · model grok-4.3

classification ✦ hep-th

keywords Yang-Mills theorynon-metric connectionspontaneous symmetry breakingStueckelberg fieldsgauge symmetrymetric-affine generalizationclassical field theory

0 comments

The pith

A non-metric connection in Yang-Mills theory adds new interacting fields that become massive after spontaneous symmetry breaking and recover the standard theory when their mass is sent to infinity.

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

The paper constructs a generalization of Yang-Mills theory in which the connection on the bundle is allowed to be non-compatible with the Hermitian metric. This introduces additional fields B, h, G, and N that couple to the usual gauge potential and field strength. Spontaneous breaking of the structure group from GL(n,C) to U(n) gives these new fields masses, so that the ordinary Yang-Mills action is recovered exactly in the infinite-mass limit. The work supplies a complete classical treatment, including the action, equations of motion, gauge symmetries, and Noether identities for the enlarged theory.

Core claim

The metric-affine-like Yang-Mills (mal-YM) model is defined by relaxing metric compatibility of the connection, which produces a non-Abelian Stueckelberg-like sector consisting of the fields B_a, h, G_ab, and N_a. These fields interact with the standard Yang-Mills potential A_a and strength F_ab. The full GL(n,C) symmetry is spontaneously broken to U(n), rendering the new fields massive; the limit M to infinity then eliminates them and restores the conventional Yang-Mills equations.

What carries the argument

Non-metric-compatible connection on the Hermitian vector bundle, which generates the additional fields B_a, h, G_ab, N_a and permits spontaneous breaking of GL(n,C) to U(n).

If this is right

The standard Yang-Mills action is recovered exactly as the M to infinity limit of the mal-YM action.
The new fields satisfy coupled equations of motion that reduce to the usual Yang-Mills equation plus massive Proca-like equations after gauge fixing.
Noether identities remain satisfied because the enlarged gauge symmetry is still local.
Gauge fixing can be performed consistently on both the original and the new fields without introducing ghosts beyond the usual Faddeev-Popov procedure.

Where Pith is reading between the lines

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

If the mass M is taken finite but large, the extra fields could appear as heavy resonances in high-energy scattering, offering a concrete phenomenological window.
The construction supplies a classical parent theory in which ordinary Yang-Mills is an effective description obtained by integrating out or decoupling the massive sector.
The same pattern may be tried in other gauge theories whose structure group admits a larger complexification, suggesting a systematic way to embed standard models inside metric-affine-like extensions.

Load-bearing premise

A non-metric-compatible connection can be introduced while keeping a well-defined gauge-invariant action whose symmetry breaks exactly to U(n) without introducing extra instabilities or constraints.

What would settle it

Explicit computation of the mass matrix for the new fields after symmetry breaking; if any massless mode remains outside the standard gauge sector, or if the equations of motion fail to reduce to ordinary Yang-Mills when M goes to infinity, the claim is falsified.

read the original abstract

We consider the ``metric-affine-like'' generalization of the Yang-Mills theory (mal-YM) which we first proposed earlier. In this model, the connection is no longer assumed to be compatible with the Hermitian form in the fibers. As a consequence, along with the usual YM potential $\boldsymbol{A}_a$ and the field strength tensor $\boldsymbol{F}_{ab}$, it contains non-trivially interacting fields $\boldsymbol{B}_a$, $\boldsymbol{h}$, and $\boldsymbol{G}_{ab}$, $\boldsymbol{N}_a$, forming a non-Abelian generalization of St\"{u}ckelberg theory. Due to the spontaneous symmetry breaking $GL(n,\mathbb{C}) \to U(n)$, these new fields can be made massive and the limit $M\to\infty$ restores the standard YM theory. We perform a detailed analysis of this theory on the classical level. We discuss in detail geometric motivation for the model, field transformations, gauge symmetry and its spontaneous breaking, action, equations of motion, Noether identities, gauge fixing, and other issues.

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

This is a classical follow-up on the author's mal-YM extension, with the symmetry breaking claim needing more explicit support.

read the letter

The main takeaway is that this is a follow-up classical treatment of the mal-YM model first proposed by the same author, adding non-metricity fields to Yang-Mills while claiming the extras become massive via GL(n,C) to U(n) breaking. The paper does well by providing explicit discussions of the geometric motivation, field transformations, the action, equations of motion, Noether identities, and gauge fixing. This level of detail makes the classical structure transparent and easier to check. The soft spot sits in the symmetry breaking. The abstract and setup assume that the breaking occurs spontaneously and supplies masses, with the standard theory recovered at large M, but the geometric non-compatibility alone does not guarantee a stable vacuum or rule out instabilities. The paper would benefit from showing the potential term or deriving it to confirm no negative modes appear. This work is for readers already interested in metric-affine or non-metric extensions of gauge theories. It offers a self-contained classical analysis that could be useful for further development, though it stays within the author's prior framework. I would recommend sending it to peer review. The calculations on the classical side look thorough enough for referees to assess the consistency and the breaking claim directly.

Referee Report

2 major / 2 minor

Summary. The paper proposes a metric-affine-like generalization of Yang-Mills theory (mal-YM) in which the connection is not assumed compatible with the Hermitian form on the fibers. This introduces additional interacting fields B_a, h, G_ab, and N_a alongside the standard A_a and F_ab, forming a non-Abelian Stueckelberg-like extension. The construction is analyzed classically, with emphasis on geometric motivation, field transformations, gauge symmetry and its spontaneous breaking from GL(n,C) to U(n), the action, equations of motion, Noether identities, and gauge fixing. The new fields are claimed to acquire masses via this breaking, with the M to infinity limit recovering standard YM theory.

Significance. If the vacuum stability and absence of instabilities can be established, the work would provide a geometrically motivated classical extension of YM that embeds the standard theory as a limit, potentially useful for exploring non-metric connections in gauge theories and for future quantization studies. The explicit classical treatment of gauge fixing and Noether identities is a positive feature that could support further development.

major comments (2)

[Abstract and geometric motivation] Abstract and geometric motivation: the spontaneous breaking GL(n,C) to U(n) is asserted to generate masses for B_a, h, G_ab, N_a without extra constraints, but no explicit potential (derived from curvature/torsion or added by hand) is shown to guarantee a stable vacuum free of negative mass-squared modes or unbounded directions; this is load-bearing for the M to infinity reduction claim.
[Equations of motion and Noether identities] Equations of motion and Noether identities: the consistency of the non-metric connection with the original gauge symmetry at the level of EOM must be verified explicitly, as the non-compatibility could introduce additional constraints or alter the degrees of freedom, undermining the assertion that the breaking occurs exactly to U(n) without instabilities.

minor comments (2)

[Field transformations] Notation for the new fields (B_a, h, G_ab, N_a) should be introduced with explicit transformation rules under the full GL(n,C) before discussing the breaking.
[Action] The action should include a clear statement of all terms involving the non-metricity fields to allow direct verification of the classical equations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below, providing clarifications from the existing analysis and indicating revisions that will be incorporated to strengthen the presentation.

read point-by-point responses

Referee: [Abstract and geometric motivation] Abstract and geometric motivation: the spontaneous breaking GL(n,C) to U(n) is asserted to generate masses for B_a, h, G_ab, N_a without extra constraints, but no explicit potential (derived from curvature/torsion or added by hand) is shown to guarantee a stable vacuum free of negative mass-squared modes or unbounded directions; this is load-bearing for the M to infinity reduction claim.

Authors: We agree that an explicit discussion of the potential would strengthen the manuscript. The spontaneous breaking is realized by assigning a vacuum expectation value to the field h, which generates mass terms for B_a, G_ab, and N_a directly from the action. In the revised version we will add an explicit form of the potential (derived from the non-metricity terms) together with a short stability analysis confirming the absence of tachyonic modes around the chosen vacuum. This will make the M to infinity reduction to standard Yang-Mills fully explicit. revision: partial
Referee: [Equations of motion and Noether identities] Equations of motion and Noether identities: the consistency of the non-metric connection with the original gauge symmetry at the level of EOM must be verified explicitly, as the non-compatibility could introduce additional constraints or alter the degrees of freedom, undermining the assertion that the breaking occurs exactly to U(n) without instabilities.

Authors: The manuscript already derives the full set of equations of motion and the associated Noether identities, showing that the original GL(n,C) gauge symmetry is preserved and that the breaking to U(n) occurs without introducing extra constraints beyond those fixed by the gauge choice. The non-metric components are consistently included as dynamical fields whose equations are satisfied by the vacuum. In the revision we will expand the degrees-of-freedom count and add an explicit check that no additional on-shell constraints arise from the non-metricity, thereby confirming the stability of the breaking pattern. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction self-contained after postulating non-metric connection, with prior self-citation not load-bearing for the classical analysis

full rationale

The paper begins by postulating a non-metric-compatible connection in the fibers as the defining extension of standard Yang-Mills, then derives the additional fields B_a, h, G_ab, N_a and analyzes their classical dynamics, gauge transformations, spontaneous breaking GL(n,C) to U(n), equations of motion, and Noether identities. The limit M to infinity restoring YM is presented as a consequence of making the new fields massive via that breaking, but no equation or step reduces any claimed prediction to a fitted input or to the prior proposal by construction. The self-citation to the earlier proposal supplies only the initial model definition; the present work's detailed classical treatment remains independent and does not rely on unverified self-citation for its central results. This is the normal case of a self-contained geometric extension.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 1 invented entities

The central construction rests on relaxing metric compatibility of the connection and introducing a mass scale M together with the new fields generated by that relaxation.

free parameters (1)

M
Mass parameter controlling the scale at which the extra fields decouple

axioms (1)

domain assumption The connection is not required to be compatible with the Hermitian form on the fibers
This is the defining step that generates the additional fields B_a, h, G_ab, N_a

invented entities (1)

Fields B_a, h, G_ab, N_a no independent evidence
purpose: Additional degrees of freedom arising from non-metric-compatible connection
Postulated to enlarge the theory; no independent experimental handle is provided

pith-pipeline@v0.9.0 · 5488 in / 1204 out tokens · 36317 ms · 2026-05-14T17:32:19.602137+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel contradicts
Lmal-YM = c1 L1 + c2 L2 + c3 L3 … M² = c3/(c1+c2) … limit M→∞ restores standard YM
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
YM-deviation vector Na = −½ g ∇g … Gab = ∇a Nb − ∇b Na − 2[Na,Nb]

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · 2 internal anchors

[1]

metric-affine-like

+ HERMITIAN FORMg αβ′ In the previous section we considered exclusively the general linear connection∇ a. In this section we inves- tigate what happens when we introduce an additional structure in the fibers of the bundle. It seems most nat- ural to begin with the unitary case—perhaps it is also distinguished from the point of view of quantum theory. In a...

work page
[2]

Using formulas (3.13)-(3.14), assemble from them the complex quantitiesF ab andF † ab (here, the “old” Hermitian formg αβ′ is implied)

work page
[3]

Change the connection∇ a 7→ ˜∇a, transformingF ab according to (3.27) (andF † ab, respectively, using the Hermitian conjugate relation)

work page
[4]

Change the Hermitian formg αβ′ 7→˜gαβ′, trans- formingF † ab by the formula (3.39)

work page
[5]

The result of this algorithm can be represented as a combination of two steps

Finally, apply formulas (3.13)-(3.14) in the opposite direction to obtain the transformedG ab andF ab (here, the “new” Hermitian form ˜gαβ′ is implied). The result of this algorithm can be represented as a combination of two steps. In the first one, we transform only the connection, introducing the following auxiliary quantities: G′ ab =G ab[∇, g] + ˇDab ...

work page
[6]

GAUGE SYMMETRIES AND NOETHER IDENTITIES 4.1.GL(n,C)→U(n)gauge symmetry breaking In Subsec. 2.3 we considered the general GL(n,C) gauge symmetry of any theory to consist of invertible linear transformations in the internal color space (2.27) together with the corresponding connection transforma- tion (2.31). We will now consider what happens if a Her- miti...

work page
[7]

Yang-Mills-like

ACTION 5.1. Mal-YM action Now we concretize the action of the theory that we will consider. From only curvature tensorF ab, we can construct the following real scalar combination of dimen- sion 45: L1[∇] = 1 8 tr FabF ab + ¯Fab ¯F ab .(5.1) This combination depends only on the connection∇ a, but not on the Hermitian formg αβ′. If we involveg αβ′, 5 We use...

work page
[8]

GAUGE FIXING 6.1. The “unitary”h= 0gauge So, in mal-YM, in addition to the usual anti-Hermitian YM potentialA a, there is also its Hermitian counterpart Ba, as well as a Goldstone boson (or compensator, or St¨ uckelberg field [7])h=h †. Moreover, sincehis in- cluded in the variation of the action (5.39) in combina- tions (3.20) ω= exp(2˜eh/M),Ω= exp(−2˜eh...

work page
[9]

the product of a column and a row yields a matrix,

INTERACTIONS In this section, we consider interactions in mal-YM. Although we can explicitly write out the interaction ver- tices for an arbitrary given backgroundF ab andN a (and such expressions are needed to calculate the quantum ef- fective action in the background field formalism), they are rather cumbersome and uninformative. Therefore, we simply pr...

work page
[10]

metric-affine-like

CONCLUSION To summarize: previously in [1], we first proposed a natural generalization of U(n) Yang-Mills (YM) theory in which the condition of covariant constancy of the Her- mitian form (1.1) is no longer satisfied, and thus the con- nection∇ a andg αβ′ become independent field variables. Since it is based on an analogy with metric-affine gravity (MAG),...

work page
[11]

We also give the corresponding generaliza- tions for the case of nonzero torsion

Derivation of curvature transformations and Bianchi identities In this appendix, for reference, we provide the deriva- tions of the transformation laws for torsion (2.19) and curvatures (2.21)-(2.22), and the Bianchi identities (2.23)-(2.24). We also give the corresponding generaliza- tions for the case of nonzero torsion. Let us start with the transforma...

work page
[12]

On the other hand, both differential ge- ometry and Yang-Mills theory have long and success- fully used an alternative notation using differential forms

Matrix-valued differential forms Above we have already had enough reasons to see that it is extremely convenient to write potentials and curva- tures as matricesA a ∼= Aaαβ,F ab ∼= Fabαβ,A a =A abc, Rab ∼= Rabcd. On the other hand, both differential ge- ometry and Yang-Mills theory have long and success- fully used an alternative notation using differenti...

work page
[13]

As previously in Subsec- tion 7.2, we do not expand the matricesωandΩ(6.1) into a power series inh

Interaction vertices To obtain all interaction vertices, we need to take the expressions (7.10)-(7.25), replace∂ a with covariant derivatives∇ a, which no longer commute with each other or with the operation of Hermitian conjugation, and add the corrections given below. As previously in Subsec- tion 7.2, we do not expand the matricesωandΩ(6.1) into a powe...

work page
[14]

Linearized EoMs In particular, for the part of the Lagrangian that is quadratic in small perturbations ofA a,B a, andh, we obtain the following corrections to expressions (5.25)- (5.26): ∆L(2) AA = tr i˜e 2 ˆDab ˆKab − e 2 Fab ˆC ab − e2 − 4 ˆKab ˆKab , (B.11) ∆L(2) BB = tr i˜e 2 ˇDab ˇKab + ˜e2 2e Fab ˇC ab + ˜e2e2 − 4e2 ˇKab ˇKab , (B.12) ∆L(2) AB = tr ...

work page
[15]

Wachowski, arXiv:2411.11463 [hep-th] (2024)

W. Wachowski, arXiv:2411.11463 [hep-th] (2024). [2] F. Hehl, P. von der Heyde, G. Kerlick, and J. Nester, Rev. 23 Mod. Phys.48, 393 (1976)

work page arXiv 2024
[16]

I. L. Buchbinder, S. D. Odintsov, and I. L. Shapiro,Ef- fective Action in Quantum Gravity(Institute of Physics Publishing, Bristol and Philadelphia, 1992)

work page 1992
[17]

F. Hehl, J. McCrea, E. Mielke, and Y. Ne’eman, Phys. Rep.258, 1 (1995), arXiv:gr-qc/9402012 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 1995
[18]

V. N. Ponomarev, A. O. Barvinsky, and Y. N. Obukhov, Gauge approach and quantization methods in gravity the- ory(Nauka, Moscow, 2017)

work page 2017
[19]

Baldazzi, O

A. Baldazzi, O. Melichev, and R. Percacci, Annals of Physics438, 168757 (2022), arXiv:2112.10193 [gr-qc]

work page arXiv 2022
[20]

The Stueckelberg Field

H. Ruegg and M. Ruiz-Altaba, International Journal of Modern Physics A19, 3265 (2004), arXiv:hep-th/0304245 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2004
[21]

Penrose and W

R. Penrose and W. Rindler,Spinors and space-time. Vol- ume 1. Two-spinor calculus and relativistic fields(Cam- bridge University Press, Cambridge, 1984)

work page 1984