Pith. sign in

REVIEW 3 major objections 4 minor 8 references

Yang-Mills theory for multiplicative Ehresmann connections

T0 review · 3 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read Yang–Mills theory generalizes to arbitrary Lie algebroids via connection triples and a curvature pair (F,G), with explicit Euler–Lagrange equations.

desk verdict Genuinely new variational framework for Lie-algebroid connections, well-structured but partly resting on deferred proofs in a companion preprint. read the letter →

arxiv 2607.10904 v2 pith:PYIDUMI4 submitted 2026-07-12 math.DG

Žan Grad This is my paper · ORCID
classification math.DG MSC 58H0522A2258E1553B15
keywords LiealgebroidsmultiplicativeEhresmannconnectionsYang-Millstheorybundlegerbescurvature3-formWeilcomplexinstantonsvariationalcalculus
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

This paper establishes a generalization of Yang–Mills theory to the full setting of Lie algebroids, which need not be transitive or integrable. The dynamical fields are 'connection triples' (σ, ∇, F) attached to a bundle of ideals k, with curvature encoded by a pair consisting of a 2-form F and an A-invariant 3-form G = d^∇F. The action includes norms of both curvatures, and the constrained variational problem – fixing the Weil-cohomology class of the underlying connection – yields the Euler–Lagrange system (d^∇)^*F = 0 and F + μ(d^∇)^*G ⊥ Ω²_{A-inv}. This recovers classical Yang–Mills for the algebroid of a principal bundle, and produces a Yang–Mills theory for connections on S¹-bundle gerbes. The paper also defines self-dual (instanton) solutions in dimensions 4 and 5, proves gauge invariance, and computes the tangent space of the solution space.

What carries the argument

The central object is a connection triple (σ,∇,F) on a bundle of ideals k of a Lie algebroid A: σ splits 0→k→A→B→0, ∇ is a connection on k, and F∈Ω²(M;k) is a curving; these are the data of a primitive infinitesimal multiplicative Ehresmann connection. The curvature is a pair (F,G) with G=d^∇F, and the key structural fact is that G is automatically A-invariant (a 0-cocycle in the Weil complex). This invariance makes the orthogonality condition in (YM.II) a pullback condition from the leaf space, and underlies the well-definedness of the action on the affine constrained space Dχ.

What would settle it

Pick a Lie algebroid A with a bundle of ideals k whose typical fibre is non-abelian, and compute the curvature class [Ω(C,v)] of an IM connection in the horizontal Weil cohomology H²(W^{•,1}(A;k)_Hor); if this class is non-zero for every IM connection, no curving exists, so the paper's action functional is undefined on that algebroid, showing the claimed twofold generalization does not extend to that case.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 3: for a bundle of ideals k in a Lie algebroid A over a compact oriented pseudo-Riemannian manifold, a connection triple (σ,∇,F) solves the constrained variational problem for S = ∫⟨F,F⟩ + μ∫⟨G,G⟩ (with the cohomology class of the underlying connection fixed in the Weil complex, the complex of infinitesimal multiplicative forms) if and only if its curvature pair (F,G=d^∇F) satisfies (d^∇)^*F=0 and F+μ(d^∇)^*G ⊥ Ω²_{A-inv}. The proof varies the action along affine deformations of the triple and reads off the linear term. For S¹-bundle gerbes this becomes d*F=0 and F+μd*G ⊥ π*Ω²(N), giving a Yang-Mills theory for gerbe connections. The paper also establishe

Load-bearing premise

The action is only defined on primitive connection triples — those whose curvature is exact in the Weil complex, δ0F = Ω(C,v) for some curving F — and this exactness is not automatic: for many Lie algebroids the curvature class of an IM connection is non-zero, so no curving exists and the theory's domain is empty; additionally, the variational problem fixes the Weil-cohomology class χ, so the Euler-Lagrange equations describe critical points on a cohomology slice, not of the

Editorial extensions

If this is right

  • Classical Yang–Mills theory is recovered exactly when A is the algebroid of a principal bundle: the curvature 3-form vanishes, (YM.II) is vacuous, and (YM.I) is the standard Yang–Mills equation d^∇*F=0.
  • For an S¹-bundle gerbe over N with base M, the Euler-Lagrange conditions read d*F=0 and F+μd*G ⊥ π*Ω²(N); this gives a concrete variational characterization of gerbe connections, settling a question that had been open in the bundle-gerbe literature.
  • The framework yields a 5-dimensional instanton equation G=±⋆F, which is new and forces F to be an eigenform of the Laplacian on forms with eigenvalue -1/μ; these solutions are critical only for the constrained action with μ=(-1)^s, linking the metric signature to the existence of such self-dual fields.
  • Gauge invariance holds: any Lie algebroid automorphism covering an orientation-preserving isometry and preserving the metric on k maps solutions to solutions, so the solution space carries a group action and its formal tangent space is explicitly described by equations (3.25)-(3.26).
  • For integrable algebroids, the global (Lie groupoid) and infinitesimal theories are equivalent up to s-connectedness of the integrating groupoid, via the canonical comparison map between the global multiplicative-form complex and the Weil complex; hence the infinitesimal theory is a faithful limit of the global one.

Reading between the lines

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

  • Because the variational problem is constrained to a fixed Weil-cohomology class χ, the full solution space is a union over classes; one could ask whether relaxing the constraint (allowing χ to vary) yields a different set of critical points with a geometric interpretation, perhaps tied to a higher bracket or Courant algebroid structure.
  • The 5D self-duality equation G=±⋆F suggests connections to gauge theories on five-manifolds; a testable extension is whether eigenform solutions exist on manifolds with special holonomy (e.g., Sasaki-Einstein manifolds) where the leaf space inherits a Kähler structure.
  • The ad-invariance requirement restricts the typical fibre of k to a compact-type Lie algebra; the paper hints at complexification, where self-duality G=±i⋆F becomes viable even for Riemannian signatures, opening a route to complex Yang-Mills theory with instantons in Lorentzian settings.
  • The totally intransitive and general-linear examples indicate the framework can be read as a variational principle for geometry itself (e.g., harmonic curvature metrics); one could push this to derive new field equations for connections with torsion or for metric-affine gravity.
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.

Referee Report

3 major / 4 minor

Summary. The paper develops a variational theory in the framework of multiplicative Ehresmann connections on Lie algebroids and Lie groupoids. The dynamical fields are connection triples (σ,∇,F)—equivalently primitive IM connections with a chosen curving—for a bundle of ideals k in a Lie algebroid A. The action functional S = ∫⟨F,F⟩ + μ∫⟨G,G⟩, with G = d^∇F, is varied subject to a fixed Weil-cohomology class of the underlying IM connection. The main theorem (Theorem 3) derives Euler–Lagrange conditions (d^∇)^*F = 0 and F + μ(d^∇)^*G ⊥ Ω^2_{A-inv}(M;k). Gauge invariance, a formal tangent space, 4D and 5D instanton conditions, a groupoid version, and the relation via the van Est map are also discussed. Applications include the Almeida–Molino algebroid, S¹-bundle gerbes (Theorem 4.4), and Riemannian manifolds with harmonic curvature. The paper is ambitious and systematically organized, but the central variational proof rests on identities imported from the author's earlier unpublished preprint [Gra25], and a key structural lemma about the constraint space is not correct as stated.

Significance. If the main result is correct, this is a genuine contribution: it provides a common infinitesimal framework for Yang–Mills-type equations in transitive and non-transitive, integrable and non-integrable settings, and it gives a concrete Euler–Lagrange characterization for bundle gerbes. The paper also contains useful structural results (gauge invariance, tangent space equations, instanton conditions) and a number of worked examples. The strengths of the paper are its clear conceptual organization and the explicit nature of the proposed equations (YM.I)–(YM.II). However, the load-bearing infrastructure is not self-contained: Lemma 3.1, the commutativity of diagram (2.9), and several further identities are quoted from [Gra25], an unpublished preprint by the same author. In addition, the claimed affine structure of the constrained space Dχ(A;k) in Lemma 3.3 is not actually affine because the deformation law contains a quadratic term in γ. These issues affect the validity of the proofs as written, though they appear fixable.

major comments (3)
  1. [Lemma 3.3, §3.1, Eq. (3.7)] The assertion that Dχ(A;k) is an affine space modelled on Qχ is not correct. The proposed action ((C,v),F)+Jγ,βK = ((C,v)+δ0γ, F+d∇γ − 1/2[γ,γ]+β) is not linear in Jγ,βK because of the term −1/2[γ,γ]. Indeed, composing two such deformations gives T_{γ',β'}∘T_{γ,β} = T_{γ+γ', β+β'+[γ,γ']}, not T_{γ+γ',β+β'}. Thus the operations do not satisfy the axioms of an affine action. The Euler–Lagrange computation in §3.3 can likely be salvaged, since the curves λ↦((C,v)+λδ0γ, F+λ(d∇γ+β)−λ²/2[γ,γ]) are valid paths in Dχ and their tangent directions span the tangent space at the initial point, but the paper must replace the affine-space statement and re-derive the tangent-space identification in §3.6 accordingly.
  2. [Lemma 3.1 and §3.3, Eqs. (3.2), (3.14), diagram (2.9)] The proof of Theorem 3 depends essentially on results taken from the unpublished preprint [Gra25]: the curvature-deformation formula (3.2), the identity c2(δ0γ)=−1/2δ0[γ,γ], and the commutativity of the Weil-complex diagram (2.9). The manuscript only sketches Lemma 3.1 and refers to [Gra25, Prop. 5.30] for the key facts. Since a sign or missing term in any of these identities would change the first variation (3.14) and hence the final equations (YM.I)–(YM.II), the present text is not self-contained at the most load-bearing point. The author should either include complete proofs of these identities or clearly state them as assumptions/axioms, and the dependence on the unpublished preprint should be made explicit in the introduction.
  3. [Definition 2.13, §3, Theorem 3, abstract] The variational theory is only defined on primitive connection triples, i.e., those for which the curvature of the IM connection is multiplicatively exact, Ω(C,v)=δ0F for a global curving F. This is not automatic for a general Lie algebroid: there is an obstruction class for the existence of IM connections, and primitivity is an additional exactness condition (Remark 2.10, Definition 2.13). The abstract and introduction claim an action functional 'for such connections' and a general framework for non-transitive, non-integrable Lie algebroids, which overstates the scope. The paper should prominently state that the theory is developed for primitive IM connections with a fixed Weil-cohomology class, and comment on how restrictive primitivity is.
minor comments (4)
  1. [Eq. (3.3), Lemma 3.1] The cancellation in (3.3) relies on the convention R∇∧γ = −[F,γ] (equivalently R∇ = [−,F] with [ξ,F] instead of [F,ξ]). This sign convention should be stated explicitly, otherwise the calculation appears to have a missing factor of 2.
  2. [§4.2, Example 4.5] The text says 'we will produce a nontrivial example of a MEC on a bundle gerbe', but the example constructs the trivial bundle gerbe, and the footnote correctly notes that exactness of G forces the Dixmier–Douady class to vanish. Please rephrase to avoid the contradictory wording.
  3. [References, [MR06]] The paper cites [MR06] as posing the question of Yang–Mills theory for bundle gerbes, but that paper is marked as retracted. The citation should include the retraction or be replaced by a non-retracted reference for the question.
  4. [§3.6, Proposition 3.16] The identification of the formal tangent space with the kernel of the Hessian is stated without qualifying the infinite-dimensional regular-value issues. This is acceptable if explicitly called 'formal', but the dependence on the (incorrect) affine structure of Lemma 3.3 should be removed and the tangent space should be defined via the constraint equation directly.

Circularity Check

1 steps flagged · score 4.0 of 10

Theorem 3's Euler-Lagrange derivation relies on deformation identities imported from the same author's unpublished preprint [Gra25]; no definitional reduction to the input is present.

  1. self citation load bearing [Section 3.1, Lemma 3.1 (proof); Section 2.2.1, diagram (2.9); Section 3.3, proof of Theorem 3]
    "This lemma is proved in [Gra25, Proposition 5.30]; we give an idea of proof here. Under any affine deformation (C,v)->(C,v)+(L,l), where (L,l)∈Ω^1_im(A;k)^Hor, the curvature changes as Ω(C,v)+(L,l) = Ω(C,v) + D(C,v)(L,l) + c2(L,l). ... See Theorem 5.19 in [Gra25] for a proof of (3.2) and the formula of c2. Importantly, it satisfies the equality c2(δ0γ)=−1/2δ0[γ,γ]."

    Lemma 3.1 is the mechanism that makes Fγ=F+d∇γ−1/2[γ,γ] a curving and that keeps the 3-curvature G unchanged. The proof of Theorem 3 uses this to replace d∇λγ(Fλγ+λβ) with G+λd∇β, so the first-order term (3.14) yields (YM.I)-(YM.II). The crucial identities—the curvature-deformation formula (3.2), the identity c2(δ0γ)=−1/2δ0[γ,γ], and the commuting diagram (2.9) used to push d∇ past δ0—are cited from the same author's unpublished preprint [Gra25] rather than derived in this paper. Thus the central variational derivation is load-bearing on a self-citation. This is not a reduction by construction: the Euler-Lagrange equations do not equal the input condition δ0F=Ω(C,v), but the proof chain's pivotal step is not independently established here.

full rationale

The paper does not fit parameters and then call them predictions, nor does any Euler-Lagrange condition coincide by definition with the constraint δ0F=Ω(C,v). The first variation calculation in Section 3.3 is a genuine computation, and the bundle-gerbe and Hodge-theoretic examples have independent content. However, the central theorem's proof depends on Lemma 3.1, whose proof is explicitly deferred to the same author's preprint [Gra25]; the curvature-deformation formula and c2 identity are quoted from that preprint, and the Weil-complex diagram (2.9) is also from [Gra25]. This is load-bearing self-citation, so the paper cannot be scored 0-2. It is not a 6 because no prediction reduces by construction and the final equations are not identical to the input; the central claim still has independent mathematical content. Score 4 reflects moderate self-citation on the derivation infrastructure without definitional circularity.

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

No new physical or geometric entities are introduced. 'Curving' and 'IM connection' are borrowed from gerbe and Lie-algebroid literature; 'connection triple' is a repackaging of prior definitions (Definition 2, [Gra25, §5.3]). The main free input is the coupling constant μ; the fixed cohomology class χ is a domain choice for the constrained variational problem.

free parameters (1)
  • μ (3-form coupling constant) = unspecified real parameter
    Relative weight of the 3-curvature term in the action (1.7); introduced by hand. The main theorem holds for any μ, while the 5D instanton construction requires μ=(-1)^s.
assumptions (6)
  • domain assumption Primitivity: curvature of IM connection is exact in the Weil complex, Ω(C,v)=δ0F for some F∈Ω²(M;k)
    Definition 2.13 and D(A;k) in §3: the action is only defined on such triples. Existence of a curving is obstructed in general; [Gra25, §5.1] describes the obstruction class.
  • domain assumption Ad-invariant metric on the bundle of ideals k
    Definition 3.5: required to define the pairing and gauge invariance; existence forces the typical fibre of k to be of compact type or A to be integrable by a proper groupoid.
  • domain assumption D(C,v) is a cochain map on the Weil complex and satisfies c2(δ0γ)=-1/2δ0[γ,γ]
    Used in Lemma 3.1 and Theorem 3; taken from the author's preprint [Gra25, Theorems 4.13, 5.19], not proved in the present paper.
  • domain assumption Variational problem restricted to fixed χ; fields compactly supported or M compact
    Lemma 3.3/§3.3: the field space Dχ is an affine space only when the Weil-cohomology class is fixed; compactness/support conditions make the action finite.
  • standard math van Est map is a cochain map, injective for s-connected groupoids and an isomorphism for s-simply connected ones
    Proposition 3.20 relies on this to identify global and infinitesimal solution spaces; standard results cited from [AAC11], [CD17], [Gra25].
  • standard math Hodge decomposition / harmonic representatives
    Used in Examples 4.1 and 4.5 to exhibit critical points; standard theorem cited from [War83].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Yang-Mills theory for multiplicative Ehresmann connections." pith.science (2026). https://pith.science/paper/PYIDUMI4

@misc{pith2026260710904,
  author       = {Pith},
  title        = {Pith review of: Yang-Mills theory for multiplicative Ehresmann connections},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PYIDUMI4}},
  note         = {Machine review of arXiv:2607.10904}
}
read the original abstract

We develop a twofold generalization of classical Yang-Mills theory, extending it from principal bundles to the setting of possibly non-transitive and non-integrable Lie algebroids. The classical theory is recovered when one considers the Atiyah algebroid of a principal bundle. In our framework, principal bundle connections are replaced by the more general notion of (infinitesimal) multiplicative Ehresmann connections. An action functional for such connections is constructed, now including a curvature 3-form contribution, alongside the usual curvature 2-form term, and the resulting variational problem is naturally constrained by a cohomological condition. We derive the associated Euler-Lagrange equations, and define a class of self-dual solutions (instantons) in both 4 and 5 dimensions. We also show that the solution space is invariant under gauge transformations, and compute its tangent space at a solution. As an important example, we show that our framework produces a Yang-Mills theory for connections on bundle gerbes.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 1 canonical work pages

  1. [1]

    [AM85] Rui Almeida and Pierre Molino,Suites d’Atiyah et feuilletages transversalement complets, C. R. Acad. Sci. Paris Sér. I Math.300(1985), no. 1, 13–15 (French, with English summary). [ÁBC26] Daniel Álvarez, Henrique Bursztyn, and Miquel Cueca,Shifted lagrangian structures in Poisson geometry (2026). Preprint available at arXiv:2605.29117. [AAC11] Cami...

    arXiv 1985

  2. [5]

    MR3726907 [LGSX09] Camille Laurent-Gengoux, Mathieu Stiénon, and Ping Xu,Non-abelian differentiable gerbes, Adv. Math. 220(2009), no. 5, 1357–1427, DOI 10.1016/j.aim.2008.10.018. [LBM15] David Li-Bland and Eckhard Meinrenken,On the van Est homomorphism for Lie groupoids, Enseign. Math.61(2015), no. 1-2, 93–137, DOI 10.4171/LEM/61-1/2-5. [FM23a] Rui Loja F...

    arXiv 2009

  3. [221]

    MR0518436 [AB83] M. F. Atiyah and R. Bott,The Yang-Mills equations over Riemann surfaces, Philos. Trans. Roy. Soc. London Ser. A308(1983), no. 1505, 523–615, DOI 10.1098/rsta.1983.0017. [Bae02] John C. Baez,Higher Yang-Mills Theory(2002). Preprint available at arXiv:hep-th/0206130. [LM26] Matthijs Lau and Ioan Mărcuţ,Multiplicative Ehresmann connections f...

    arXiv 1983

  4. [1983]

    MR0722297 [Wei07] Alan Weinstein,The integration problem for complex Lie algebroids, From geometry to quantum mechan- ics, Progr

    Corrected reprint of the 1971 edition. MR0722297 [Wei07] Alan Weinstein,The integration problem for complex Lie algebroids, From geometry to quantum mechan- ics, Progr. Math., vol. 252, Birkhäuser Boston, Boston, MA, 2007, pp. 93–109, DOI 10.1007/978-0-8176- 4530-4_7. MR2285039 Žan Grad,KU Leuven, Department of Mathematics, Celestijnenlaan 200B, Leuven, B...

    doi:10.1007/978-0-8176- 1971

  5. [2000]

    [Fis21] Simon-Raphael Fischer,Curved Yang-Mills-Higgs gauge theories in the case of massless gauge bosons, J. Geom. Phys.162(2021), Paper No. 104104, 23, DOI 10.1016/j.geomphys.2021.104104. MR4202191 [Fis23] ,Integrating curved Yang-Mills gauge theories(2023). Preprint available at arXiv:2210.02924. 30 [GP23] Alfonso Garmendia and Sylvie Paycha,Principal ...

    arXiv 2021

  6. [2005]

    [MR06] Varghese Mathai and David Roberts,Yang-Mills theory for bundle gerbes, J. Phys. A39(2006), no. 20, 6039–6044, DOI 10.1088/0305-4470/39/20/027. Retracted. [Meh06] Rajan Amit Mehta,Supergroupoids, double structures, and equivariant cohomology, ProQuest LLC, Ann Arbor, MI,

    doi:10.1088/0305-4470/39/20/027 2006

  7. [2006]

    MR2709144 [Mei21] Eckhard Meinrenken,On the integration of transitive Lie algebroids, Enseign

    Thesis (Ph.D.)–University of California, Berkeley. MR2709144 [Mei21] Eckhard Meinrenken,On the integration of transitive Lie algebroids, Enseign. Math.67(2021), no. 3-4, 423–454, DOI 10.4171/lem/1015. [MM02] Ieke Moerdijk and Janez Mrčun,On integrability of infinitesimal actions, Amer. J. Math.124(2002), no. 3, 567–593. [Mur10] Michael K. Murray,An introd...

    arXiv 2021

  8. [2017]

    [Der25] Andrzej Derdzinski,Harmonic curvature in dimension four, J

    Lecture notes, available at https://webspace.science.uu.nl/ ban00101/geoman2017/AS-2017rev.pdf. [Der25] Andrzej Derdzinski,Harmonic curvature in dimension four, J. Korean Math. Soc.62(2025), no. 1, 217– 252, DOI 10.4134/JKMS.j240001. MR4847263 [Der85] ,Riemannian manifolds with harmonic curvature, Global differential geometry and global anal- ysis 1984 (B...

    work page doi:10.4134/jkms.j240001 2025

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.