pith. sign in

arxiv: 1907.00155 · v1 · pith:VUJ6C7YJnew · submitted 2019-06-29 · 🧮 math-ph · hep-th· math.DG· math.MP

Operational total space theory of principal 2-bundles II: 2-connections and 1- and 2--gauge transformations

Roberto Zucchini This is my paper

Pith reviewed 2026-05-25 13:28 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.DGmath.MP
keywords principal 2-bundles2-connectionsgauge transformationscrossed modulesoperational frameworkderived Lie groupsCartan relations
0
0 comments X

The pith

2-connections and 1- and 2-gauge transformations on principal 2-bundles are defined by their commutation properties with the derivations of an operation built from a crossed module.

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

The paper supplies definitions for 2-connections and gauge transformations on strict principal 2-bundles by extending the operational total space framework developed in the companion paper. In this approach the structure 2-group is encoded as a crossed module (E, G) and the operation consists of derivations on the total space that satisfy the six Cartan relations, built from the derived Lie group e[1] ⋊ G. Connections and transformations are characterized by how they transform under these derivations rather than by local cocycle data. A reader would care because the method gives a global, derivation-based description that mirrors the ordinary Cartan calculus for principal bundles while handling the higher structure uniformly.

Core claim

An original formulation of the theory of 2-connections and 1- and 2-gauge transformations of principal 2-bundles is provided based on the operational framework with reference to the action of the structure strict 2-group expressed through a crossed module (E, G).

What carries the argument

The operation: a collection of derivations (de Rham differential, contractions and Lie derivatives with respect to vertical vector fields) satisfying the six Cartan relations, constructed from the derived Lie group e[1] ⋊ G associated to the crossed module.

If this is right

  • 2-connections are uniquely determined by their values on the generators of the operation.
  • 1- and 2-gauge transformations are realized as automorphisms of the operation that preserve the vertical derivations.
  • The Bianchi identities for the curvature follow directly from the Cartan relations of the operation.
  • Ordinary connections on principal bundles are recovered when the 2-group is taken to be an ordinary Lie group.

Where Pith is reading between the lines

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

  • The same operational language may extend without change to non-strict 2-bundles once an appropriate derived group is identified.
  • Global topological invariants of 2-bundles could be extracted by studying the cohomology of the operation rather than local transition data.
  • The framework supplies a direct route to defining higher connections on 3-bundles by iterating the construction to a 3-derived group.

Load-bearing premise

The operational framework built in the companion paper from the derived Lie group correctly encodes the geometry of the total space of a strict principal 2-bundle.

What would settle it

An explicit local coordinate calculation of the curvature 3-form or the action of a 2-gauge transformation that fails to reproduce the standard transformation rules known from the literature on principal 2-bundles.

read the original abstract

The geometry of the total space of a principal bundle with regard to the action of the bundle's structure group is elegantly described by the bundle's operation, a collection of derivations consisting of the de Rham differential and the contraction and Lie derivatives of all vertical vector fields and satisfying the six Cartan relations. Connections and gauge transformations are defined by the way they behave under the action of the operation's derivations. In the first paper of a series of two extending the ordinary theory, we constructed an operational total space theory of strict principal 2--bundles with reference to the action of the structure strict 2--group. Expressing this latter through a crossed module $(\mathsans{E},\mathsans{G})$, the operation is based on the derived Lie group $\mathfrak{e}[1]\rtimes\mathsans{G}$. In this paper, the second of the series, an original formulation of the theory of $2$--connections and $1$-- and $2$--gauge transformations of principal $2$--bundles based on the operational framework is provided.

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.

Referee Report

0 major / 3 minor

Summary. The paper extends the operational total space theory of principal bundles to strict principal 2-bundles. It constructs 2-connections and 1- and 2-gauge transformations by reference to the action of a structure strict 2-group expressed as a crossed module (E, G), with the underlying operation defined on the derived Lie group e[1] ⋊ G and satisfying the six Cartan relations; the structures are characterized by their transformation properties under the derivations of this operation.

Significance. If the construction is internally consistent with the framework of part I, the work supplies an original operational perspective on higher gauge theory that unifies the treatment of connections and gauge transformations through total-space derivations. This could facilitate further categorical and geometric developments, particularly where the Cartan calculus provides a natural language for vertical actions.

minor comments (3)
  1. [Abstract] The abstract and introduction refer to the 'original formulation' without a brief comparison to existing definitions of 2-connections (e.g., those using fake curvature or 2-holonomy); adding one sentence would clarify the novelty.
  2. The notation mathsans{E}, mathsans{G} and frak{e}[1] is introduced but its consistent use across definitions of the operation and the 2-connection should be verified for typographical uniformity.
  3. [§2] Since the paper is part II, a short self-contained recap of the key properties of the operation (the six Cartan relations and the crossed-module action) in §2 would improve readability without lengthening the manuscript substantially.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the constructive summary of our work and the recommendation of minor revision. No specific major comments are provided in the report, so we have no individual points requiring detailed rebuttal or clarification at this stage.

Circularity Check

0 steps flagged

No significant circularity; definitional extension from part I is independent

full rationale

The paper constructs 2-connections and gauge transformations by explicit reference to the operation and crossed module framework already built in the companion paper (part I). This is a standard mathematical definitional extension: the present work inherits Cartan relations and action properties by construction from the prior operational total space theory, without any reduction of new claims back to fitted parameters, self-referential definitions, or unverified self-citations. No equations or steps in the provided abstract or description exhibit the enumerated circular patterns; the derivation chain remains self-contained through explicit inheritance of the derived Lie group action.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The central claim rests on the operational total space theory developed in the companion paper for the derived Lie group associated to the crossed module (E,G). No free parameters, invented entities, or additional axioms are visible in the abstract.

pith-pipeline@v0.9.0 · 5726 in / 1217 out tokens · 17619 ms · 2026-05-25T13:28:11.335858+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · 23 internal anchors

  1. [1]

    J. C. Baez and J. Huerta, An invitation to higher gauge theory , Gen. Relativ. Gravit. 43 (2011) 2335 [1003.4485[hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  2. [2]

    From Loop Space Mechanics to Nonabelian Strings

    U. Schreiber, From loop space mechanics to nonAbelian strings, Ph. D. thesis, Universit¨ at Duisburg–Essen (2005) arXiv:hep-th/0509163

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  3. [3]

    J. C. Baez and U. Schreiber, Higher gauge theory: 2-connections on 2- bundles, arXiv:hep-th/0412325

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    J. C. Baez and U. Schreiber, Higher gauge theory , in Categories in algebra, geometry and mathematical physics , eds. A. Davydov et al., Contemp. Math. 431 AMS (2007) 7 [arXiv:math/0511710]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  5. [5]

    Giraud, Cohomologie non-ab` elienne, Grundl

    J. Giraud, Cohomologie non-ab` elienne, Grundl. Math. Wiss. 197, Springer Verlag (1971)

    work page 1971

  6. [6]

    T. K. Bartels, Higher gauge theory: 2-bundles , Ph.D. thesis, University of California, Riverside (2006) arXiv:math/0410328 [math.CT]

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  7. [7]

    Principal 2-bundles and their gauge 2-groups

    C. Wockel, Principal 2-bundles and their gauge 2-groups , Forum Math. 23 (3) (2011) 565 , [ arXiv:0803.3692 [math.DG] ]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  8. [8]

    Central Extensions of Smooth 2-Groups and a Finite-Dimensional String 2-Group

    C. Schommer-Pries, Central extensions of smooth 2-groups and a finite- dimensional string 2-group , Geom. Topol. 15 (2011) [arXiv:0911.2483 [math.AT]]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  9. [9]

    Nonabelian Bundle Gerbes, their Differential Geometry and Gauge Theory

    P. Aschieri, L. Cantini and B. Jurco, Non Abelian bundle gerbes, their dif- ferential geometry and gauge theory , Commun. Math. Phys. 254 (2005) 367 [arXiv:hep-th/0312154]. 66

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  10. [10]

    Non Abelian Differentiable Gerbes

    C. Laurent–Gengoux, M. Stienon and P. Xu, Non Abelian differentiable gerbes, Adv. Math. 220 (2009) 1357 [arXiv:math/0511696 [math.DG] ]

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  11. [11]

    Ginot and M

    G. Ginot and M. Sti´ enon, G–gerbes, principal 2–group bundles and charac- teristic classes , J. Symplectic Geom. 13 4 (2015) 1001 [arXiv:0801.1238 [math.AT]]

    work page arXiv 2015

  12. [12]

    Four Equivalent Versions of Non-Abelian Gerbes

    T. Nikolaus and K. Waldorf, Four equivalent versions of non-Abelian gerbes , Pacific J. Math., 264 2 (2013) 355 [arXiv:1103.4815 [math.DG] ]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  13. [13]

    Differential Geometry of Gerbes

    L. Breen and W. Messing, Differential geometry of gerbes , Adv. Math. 198 (2005) 732 [arXiv:math/0106083 [math.AG]]

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  14. [14]

    Differential cohomology in a cohesive infinity-topos

    U. Schreiber, Differential cohomology in a cohesive infinity-topos , arXiv:1310.7930 [math-ph]

    work page internal anchor Pith review Pith/arXiv arXiv

  15. [15]

    Semistrict Higher Gauge Theory

    B. Jurco, C. Saemann and M. Wolf, Semistrict higher gauge theory , JHEP 1504 (2015) 087 [arXiv:1403.7185 [hep-th] ]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  16. [16]

    Higher Groupoid Bundles, Higher Spaces, and Self-Dual Tensor Field Equations

    B. Jurco, C. Saemann and M. Wolf, Higher groupoid bundles, higher spaces, and self–dual tensor field equations , Fortsch. Phys. 64 (2016) 674 [arXiv:1604.01639 [hep-th] ]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  17. [17]

    A global perspective to connections on principal 2-bundles

    K. Waldorf, A global perspective to connections on principal 2-bundles , Forum Math. 30 4 (2017) 809 [arXiv:1608.00401 [math.DG] ]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  18. [18]

    Parallel transport in principal 2-bundles

    K. Waldorf, Parallel transport in principal 2-bundles , arXiv:1704.08542 [math.DG]

    work page internal anchor Pith review Pith/arXiv arXiv

  19. [19]

    Zucchini, Operational total space theory of principal 2–bundles I: op era- tional geometric framework

    R. Zucchini, Operational total space theory of principal 2–bundles I: op era- tional geometric framework

    work page

  20. [20]

    Greub, S

    W. Greub, S. Halperin and R. Vanstone, Connections, Curvature and Coho- mology, vol. 3, Pure and Applied Mathematics 47, Academic Press (1976) . 67

    work page 1976

  21. [21]

    A. A. Kirillov, Unitary representations of nilpotent Lie groups , Russian Mathematical Surveys 17 4 (1962) 53

    work page 1962

  22. [22]

    Bott, Homogeneous vector bundles , Ann

    R. Bott, Homogeneous vector bundles , Ann. of Math. 66 (1957) 203

    work page 1957

  23. [23]

    Localization for Wilson Loops in Chern-Simons Theory

    C. Beasley, Localization for Wilson Loops in Chern-Simons Theory , Adv. Theor. Math. Phys. 17 (2013) 1 [arXiv:0911.2687 [hep-th] ]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  24. [24]

    Wilson surface observables from equivariant cohomology

    A. Alekseev, O. Chekeres and P. Mnev, Wilson surface observables from equi- variant cohomology, JHEP 1511 (2015) 093 , [ arXiv:1507.06343 [hep-th] ]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  25. [25]

    Quantum Wilson surfaces and topological interactions

    O. Chekeres, Quantum Wilson surfaces and topological interactions , arXiv:1805.10992 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  26. [26]

    Wilson Surfaces for Surface Knots

    R. Zucchini, Wilson surfaces for surface knots , arXiv:1903.02853 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv 1903

  27. [27]

    The Geometry of the Master Equation and Topological Quantum Field Theory

    M. Alexandrov, M. Kontsevich, A. Schwartz, and O. Zaborons ky, The ge- ometry of the master equation and topological quantum field t heory, Int. J. Mod. Phys. A 12 (1997) 1405 [arXiv:hep-th/9502010]

    work page internal anchor Pith review Pith/arXiv arXiv 1997

  28. [28]

    Algebraic formulation of higher gauge theory

    R. Zucchini, Algebraic formulation of higher gauge theory , J. Math. Phys. 58 (2017) no.6, 062301 [arXiv:1702.01545 [hep-th] ]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  29. [29]

    Connections on non-abelian Gerbes and their Holonomy

    U. Schreiber and K. Waldorf, Connections on non-Abelian gerbes and their holonomy, Theor. Appl. Categor. 28 (2013) 476 [arXiv:0808.1923]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  30. [30]

    Baez and A

    J. Baez and A. Lauda, Higher dimensional algebra V: 2-groups , Theor. Appl. Categor. 12 (2004) 423 [arXiv:math.0307200]. 68

    work page 2004