{"id":"06067a63-4f99-4230-9a5f-90eba06e8d45","arxiv_id":"2507.08220","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Multiplicative Ehresmann connections on general Lie algebroids yield a gauge-invariant pair of Yang-Mills equations that reduce to the classical equation in the transitive case.","lead":"This mathematics thesis builds a generalized version of Yang-Mills theory, the variational framework behind particle force laws, using Lie categories and Lie groupoids instead of principal bundles. If correct, it provides gauge theories on much more general geometric spaces, including non-integrable and non-transitive ones, and covers S^1-bundle gerbes as an example.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The longitudinal first variation of the µ⟨G,G⟩ term in the action appears to contribute to Theorem 13's first equation; without a cancellation identity, the main equivalence is unsupported.","rationale":"The reader's weakest assumption identifies the scarcity of primitive/adapted IM connections as the main risk. That is a legitimate scope concern, but it is secondary: even if primitivity and adaptedness hold, the central variational computation must produce the stated equations. The displayed action and deformation formula suggest a missing term in the longitudinal variation: the second term's first-order variation is ∫⟨G,d∇d∇γ⟩, which does not obviously vanish and is not accounted for in d∇⋆F=0. If the full proof in Chapter 5 contains a cancellation, it is not visible in the provided text; a direct symbolic computation on a non-flat, non-transitive example would settle it. Because this affects Theorem 13 itself, and not just the domain of the theory, it is more load-bearing than the reader's concern. The verdict should remain conditional, with the added condition that the first variation must be verified; if the missing term is real, the central claim would need substantial revision.","tokens_in":63242,"tokens_out":17594,"duration_ms":227157,"concrete_test":"Re-derive the first variation d/dλ|_{λ=0} S((C,v)+λδ0γ, F+λd∇γ−(λ²/2)[γ,γ]) from the displayed definitions, using Hodge integration by parts, for a model algebroid with non-flat metric connection ∇ on k and a nonzero invariant 2-form β (e.g. a codimension-≥3 action algebroid with nontrivial centre). If the resulting stationarity condition is not d∇⋆F=0, Theorem 13's first equivalence fails. Equivalently, exhibit any γ with ∫⟨G,d∇d∇γ⟩≠0 at a point satisfying d∇⋆F=0; then the asserted 'iff' is false.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 13 asserts that longitudinal criticality of S((C,v),F)=∫⟨F,F⟩+µ∫⟨G,G⟩, with G=d∇F, is equivalent to d∇⋆F=0. The longitudinal deformation is (C,v)+λδ0γ with curving Fλ=F+λd∇γ−λ²/2[γ,γ] (§5.3.2(iii)). Even before computing the full variation of the connection, the second term contributes 2µ∫⟨G,d∇d∇γ⟩ at first order, i.e. ±2µ∫⟨δ∇G,d∇γ⟩ after integration by parts. This term is not identically zero in the intended regime: ∇ need not be flat and G may be nonzero. The theorem states the total derivative vanishes for all γ iff d∇⋆F=0, with no hypothesis excluding this µ-term and no displayed identity in §5.3 showing that it vanishes or is absorbed. A similar coupling affects the second equivalence, where d∇⋆G=(1/µ)⋆F is derived from transversal criticality plus adaptedness. This is a correctness gap in the central claim, independent of the separate (and conceded) scarcity of primitive and adapted connections.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This PhD thesis develops two projects. The first part introduces Lie categories, i.e. internal categories in smooth manifolds, and studies their cores, two Lie algebroids, ranks, extensions to groupoids, completeness of invariant vector fields, and an application to statistical thermodynamics. The second and principal part develops the infinitesimal and global theory of multiplicative Ehresmann connections on bundles of ideals, constructs horizontal exterior covariant derivatives on the Bott–Shulman–Stasheff and Weil complexes, proves van Est commutativity at the level of multiplicative forms, and then proposes a Yang–Mills theory on the space of primitive IM connections. The central claim, stated in the Introduction and in Theorem 13, is that the multiplicative Yang–Mills action S((C,v),F)=∫⟨F,F⟩+µ∫⟨G,G⟩, with G=d∇F, has critical points characterized by d∇⋆F=0 and, under an adaptedness condition, by d∇⋆G=(1/µ)⋆F, yielding a pair of gauge-invariant equations that relax the transitivity assumption of classical Yang–Mills theory.","tokens_in":63389,"tokens_out":12947,"duration_ms":158861,"significance":"The paper contains several substantial independent contributions: the deformation formulae for curvatures of multiplicative and IM connections (Theorems 11–12), the explicit construction of the horizontal exterior covariant derivative on Weil cochains (Theorems 7–8), the obstruction classes for invariant connections and multiplicative connections, and a systematic treatment of Lie categories. If Theorem 13 is correct, the proposed framework is a genuine generalization of Yang–Mills theory to non-transitive, non-integrable algebroids and gives a variational theory for S^1-bundle gerbes. However, the central variational claim is precisely where the manuscript is weakest: the longitudinal variation of the µ∫⟨G,G⟩ term appears to contribute a nonvanishing term that is not accounted for in the stated Euler–Lagrange equivalence. The paper is also honest about the restrictive nature of primitivity and adaptedness, but this restriction has not been quantified outside the examples listed. I therefore regard the manuscript as valuable but not yet established in its main claim.","major_comments":[{"comment":"The proof of the first equivalence in Theorem 13 is not supported by the displayed deformation formulae. The longitudinal variation is taken along (C,v)+λδ0γ with curving Fλ = F + λd∇γ − λ²/2[γ,γ], and the action contains µ∫⟨G,G⟩ with G=d∇F. Even before any change of the induced connection is computed, the first-order derivative of the second term is 2µ∫_M ⟨G, d∇d∇γ⟩, which after integration by parts equals ±2µ∫_M ⟨δ∇G, d∇γ⟩. This term is not identically zero in the intended regime: ∇ need not be flat and G is allowed to be nonzero. The manuscript displays no cancellation identity that would make this term vanish or absorb it into the variation of ∇. As written, the equivalence “longitudinal criticality ⇔ d∇⋆F=0” therefore requires an additional argument, namely either a proof that the µ-term does not contribute on the deformation directions or a corrected Euler–Lagrange equation containing the 3-curvature contribution.","section":"§5.3.2(iii), §5.3.3, Theorem 13"},{"comment":"The advertised scope “relaxing the transitivity condition” is conditioned on a potentially very thin domain: the action is defined only on primitive IM connections, i.e. those with Ω(C,v)=δ0F, and transversal criticality requires the additional adaptedness condition. The author states that adaptedness is “rather strong” and that in the transitive case it is equivalent to flatness. Nonemptiness is shown for transitive algebroids, semisimple typical fibres, and central S^1-extensions, but no genericity statement is given for arbitrary algebroids. If primitive, adapted connections are rare outside the listed examples, the central claim covers fewer new systems than the introductory formulation suggests. The manuscript should either prove an existence statement for a non-transitive, non-integrable family with G≠0 or explicitly delimit the range of the theory.","section":"§5.3.2, §5.3.4, Introduction"}],"minor_comments":[{"comment":"Proposition 1.29 states that the left and right Lie algebroids of a Lie category are Lie algebroids, but the proof is omitted with the remark that it is the same as in the groupoid case; please include a reference or a short argument, since this is the foundation of the rank and completeness results.","section":"§1.4"},{"comment":"The compatibility conditions (C.1)–(C.3) are labelled with the prefix “C.” but they are part of Example 2.21 and are used later without a displayed equation number; renumber them in the main sequence.","section":"§2.3, equations (C.1)–(C.3)"},{"comment":"The table lists δ∇G = −(1/µ)F while Theorem 13 states d∇⋆G=(1/µ)⋆F; the sign and Hodge-star convention should be unified and explained once, preferably immediately after the action is defined.","section":"Introduction, symmetries table"},{"comment":"The foliated theory is said to require “some extra assumptions” and “regularity assumptions” on the orbit foliation, but these assumptions are not stated explicitly in the Introduction or in the statement of Theorem 10; please spell them out for the reader.","section":"§5.2.1"},{"comment":"The term “curved double complex” is used in several places before it is defined in the Introduction; please define it at first use or give a forward pointer.","section":"§2.3, Remark 2.19"}],"recommendation":"major_revision","confidential_remarks":"The main issue is purely mathematical and lies in the proof of Theorem 13. I would ask the editor to send the manuscript back for a complete derivation of the first variation of the 3-curvature term. The fact that the thesis received a distinction in its original institution is not a substitute for this calculation, which is the load-bearing step of the advertised Yang–Mills generalization."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this thesis deserves a serious referee, but the headline theorem is not yet checkable as presented. The genuinely new thing is the multiplicative Yang-Mills framework: a gauge-invariant variational problem for primitive IM connections on general Lie algebroids, with the coupled pair d∇⋆F = 0, d∇⋆G = (1/µ)⋆F, plus Bianchi identities and an S¹-gerbe example. If correct, that is a real extension of classical Yang-Mills to non-integrable, non-transitive settings. The Lie category part is well-executed: the normal-boundary core theorem, rank theory, and completeness results are solid, and the author is honest about open questions.\n\nThe soft spot is Theorem 13. The stress-test concern lands: the µ⟨G,G⟩ term contributes 2µ∫⟨G, d∇d∇γ⟩ at first order in a longitudinal deformation, and nothing in the displayed material shows that this cancels or is absorbed. The theorem's first equivalence is about d∇⋆F = 0 only; any extra term from the 3-form part has to be shown to vanish or to be accounted for by the variation of the induced connection. I could not verify the missing computation in the text I saw. If the full proof is in §5.3.3, fine, but it needs to be written out clearly, because as it stands the central claim is under-supported. The same applies to the second equivalence, where adaptedness is doing real work.\n\nThe other caveats are proportionate. Primitivity and adaptedness restrict the domain, and the author concedes adaptedness is strong. That is a scope issue, not a contradiction. The abstract should say “primitive, adapted” earlier. The nonemptiness results for transitive algebroids and semisimple typical fibres are useful but do not establish abundance generally.\n\nWho this is for: groupoid and algebroid people, and mathematical physicists working on higher gauge theory. I would bring it to reading group, but I would not yet cite Theorem 13 in my own work. Recommendation: send to a serious referee, with instructions to demand a full derivation of the first variation of the µ-term and a more explicit discussion of adaptedness.","headline":"Genuinely new Yang-Mills framework for non-transitive Lie algebroids, but Theorem 13's variation computation is not displayed and needs referee scrutiny before the central claim becomes citable.","tokens_in":64069,"tokens_out":3226,"would_cite":false,"duration_ms":39988,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["22A22","53C05","53C08","70S15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Yang-Mills theory can be built for multiplicative Ehresmann connections on any Lie algebroid, dropping transitivity and integrability.","keywords":["Lie categories","Lie groupoids","Lie algebroids","multiplicative Ehresmann connections","Yang-Mills theory","primitive IM connections","bundles of ideals","S^1-bundle gerbes"],"falsifier":"Take a concrete non-transitive Lie algebroid with a nontrivial centre, for instance an action algebroid with non-constant isotropy, and compute whether any primitive adapted IM connection exists there; if none exist, or if the only solutions of the two field equations have vanishing curvature, then the proposed relaxation of transitivity is vacuous for that class of algebroids.","tokens_in":62812,"feed_emoji":"⚛️","tokens_out":8532,"duration_ms":91588,"temperature":0.7,"pith_summary":"This paper tries to establish that Yang-Mills theory, usually formulated on principal bundles over a fixed spacetime, can be built for much more general geometric objects: arbitrary Lie groupoids and Lie algebroids, with no transitivity or integrability assumptions. The replacement for a principal connection is a multiplicative Ehresmann connection, or infinitesimally an IM connection, and the paper develops the calculus needed to vary such connections. Its central result is a pair of gauge-invariant field equations, one longitudinal and one transversal, whose solutions are exactly the critical points of a natural action on the class of primitive connections; in the classical transitive case the pair collapses to the usual Yang-Mills equation. A separate, shorter part of the paper drops invertibility in Lie groupoids to found the theory of Lie categories, motivated by irreversible processes in thermodynamics.","feed_headline":"Yang-Mills theory now reaches non-transitive Lie algebroids","feed_subtitle":"A gauge-invariant pair of field equations recovers classical Yang-Mills and reaches S^1-bundle gerbes.","key_machinery":"The load-bearing object is the primitive IM connection. An IM connection is an infinitesimal multiplicative 1-form $(C,v)$ on a Lie algebroid $A$ with values in a bundle of ideals $k$, whose second component $v: A \\to k$ splits the short exact sequence $0 \\to k \\to A \\to A/k \\to 0$; it is primitive when its curvature $\\Omega_{(C,v)}$ is cohomologically trivial, $\\Omega_{(C,v)}=\\delta_0 F$, so the curvature is encoded by a base 2-form $F$ called the curving. Around this object the paper builds the horizontal exterior covariant derivative $D_{(C,v)}=h^* d_\\nabla$ on the Weil complex, the affine deformation formula for curvature, the curvature 3-form $G=d_\\nabla F$, the ad-invariant metric, and the adaptedness condition; together these convert the variational problem into the two equations of Theorem 13 and force the curving to be a Laplacian eigenvector.","core_discovery":"The central claim is a positive answer to the question posed in the introduction: can Yang-Mills theory be constructed for multiplicative Ehresmann connections? The answer is yes, and Theorem 13 states it precisely. Fix a bundle of ideals $k$ in a Lie algebroid $A$ and a primitive IM connection $(C,v)$ with curving $F$, meaning the curvature equals $\\delta_0 F$ for a base 2-form $F$. With an ad-invariant metric and the adaptedness condition, the connection is longitudinally critical for the action $S((C,v),F)=\\int_M \\langle F,F\\rangle_k + \\mu\\int_M \\langle G,G\\rangle_k$, with $G=d_\\nabla F$, exactly when $d_\\nabla \\star F=0$, and transversally critical exactly when $d_\\nabla \\star G=\\tfrac{1}{\\mu}\\star F$. Together with the Bianchi identities $d_\\nabla F=G$ and $d_\\nabla G=0$, these equations describe gauge field dynamics along and transverse to the orbit foliation; for transitive algebroids $G$ vanishes and the first equation alone recovers classical Yang-Mills theory. The framework specialises to a Yang-Mills theory for $S^1$-bundle gerbes.","pith_inferences":["This goes beyond the paper: if primitivity and adaptedness are rare, the framework's field space is small; computing this locus for concrete non-transitive algebroids would tell how many new systems the theory actually covers.","This goes beyond the paper: the eigenvalue equation $\\Delta F = -\\tfrac{1}{\\mu}F$ invites a spectral reading, so one could ask whether solution moduli are deformation invariants of the algebroid.","This goes beyond the paper: since adaptedness is flatness in the transitive case, the genuinely new regime is high codimension with nontrivial centre; explicit adapted primitive connections there would be the sharpest test of physical content."],"forward_implications":["In the transitive case the 3-curvature vanishes and the pair of equations collapses to the classical Yang-Mills equation $d_\\nabla \\star F=0$, so principal-bundle Yang-Mills is recovered as a special case.","The theory is gauge invariant: the action is unchanged by pullback along inner automorphisms of an integrating groupoid and by infinitesimal inner derivations, so the equations have the symmetry expected of a gauge theory.","Any solution has its curving $F$ as an eigenvector of the covariant Laplacian, $\\Delta F = -\\tfrac{1}{\\mu}F$, replacing the classical harmonicity condition $\\Delta F = 0$.","Non-integrable and non-transitive Lie algebroids become legitimate backgrounds for variational gauge theory, so gauge fields can live on singular orbit foliations rather than only on manifolds with a transitive symmetry algebroid.","The example of central $S^1$-extensions yields a Yang-Mills theory for $S^1$-bundle gerbes, connecting the framework to higher geometry."],"supporting_citations":[{"why":"Supplies the insight that Yang-Mills theory is infinitesimal in nature, justifying passage from gauge groupoids to Lie algebroids.","marker":"[5]"},{"why":"Records the correspondence between principal bundle connections and multiplicative Ehresmann connections for the anchor map, the starting point of the generalization.","marker":"[48]"},{"why":"Develops multiplicative Ehresmann connections and invariant linear connections, including curvature properties and the level-one commutator that the thesis extends.","marker":"[51]"},{"why":"Defines the Bott-Shulman-Stasheff and Weil complexes and the van Est theorem for representation-valued forms, the cohomological machinery behind the horizontal derivative.","marker":"[16]"},{"why":"Establishes the correspondence between multiplicative and infinitesimal multiplicative forms via jets of bisections, used to transfer constructions from groupoids to algebroids.","marker":"[25]"},{"why":"Provides the Weil complex and IM form framework used to phrase infinitesimal multiplicative connections.","marker":"[3]"}],"fun_headline_variants":["Yang-Mills now covers non-integrable, non-transitive algebroids","New Yang-Mills equations for multiplicative Ehresmann connections","Gauge field dynamics on Lie algebroids: a Yang-Mills pair","Bundle gerbes get Yang-Mills via non-transitive algebroids"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing restriction is that the variational theory is defined only on primitive IM connections, connections whose curvature is completely captured by a base 2-form called the curving, that also satisfy the adaptedness condition, so if such connections are rare for a given algebroid, the generalized Yang-Mills theory has a small or empty field space.","fun_headline_variants_meta":{"raw":{"variants":["Yang-Mills now covers non-integrable, non-transitive algebroids","New Yang-Mills equations for multiplicative Ehresmann connections","Gauge field dynamics on Lie algebroids: a Yang-Mills pair","Bundle gerbes get Yang-Mills via non-transitive algebroids"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001008,"raw_usage":{"total_tokens":4356,"prompt_tokens":1133,"completion_tokens":3223,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":749,"completion_tokens_details":{"reasoning_tokens":3140}},"tokens_in":749,"tokens_out":3223,"duration_ms":25692,"temperature":1.0,"reasoning_tokens":3140,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:25:36.323575+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete non-transitive Lie algebroid with a nontrivial centre, for instance an action algebroid with non-constant isotropy, and compute whether any primitive adapted IM connection exists there; if none exist, or if the only solutions of the two field equations have vanishing curvature, then the proposed relaxation of transitivity is vacuous for that class of algebroids.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the correspondence between multiplicative and infinitesimal multiplicative forms via jets of bisections, used to transfer constructions from groupoids to algebroids."}],"review_version":1}