Pith. sign in

REVIEW 4 major objections 3 minor 83 references

2- and 3-gauge theory can be rewritten so that a single generalized 1-form carries the connection, the curvature, and the gauge symmetry.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-03 06:53 UTC pith:TT7RHUUD

load-bearing objection The N=1 (2-gauge) half is solid and useful; the N=2 (3-gauge) half has a real consistency gap that needs fixing before the paper's central claim holds. the 4 major comments →

arxiv 2601.21607 v2 pith:TT7RHUUD submitted 2026-01-29 math-ph math.MP

Generalized forms of types N = 1, 2 and higher gauge theory

Danhua Song , Mengyao Wu This is my paper
classification math-ph math.MP MSC 58A1053C0581T13
keywords generalized differential formshigher gauge theoryLie 2-groupsLie 3-groupsMaurer-Cartan formshigher Chern-Simons theoryhigher Yang-Mills theorycrossed modules
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper argues that strict 2-gauge and 3-gauge theory can be rewritten so that all kinematical data — connection, curvature, Bianchi identity, and gauge transformation — live in a single generalized differential form, with the same algebraic shape as ordinary gauge theory. A generalized form is an ordered tuple of ordinary forms of consecutive degrees; a 2-connection (A,B) becomes a type-N=1 generalized 1-form, and a 3-connection (A,B,C) becomes a type-N=2 generalized 1-form. The curvature is defined by the standard formula F = dA + ½[A,A], and the higher Bianchi identities reduce to the single equation dF + [A,F] = 0. Gauge transformations are implemented by higher-group-valued generalized 0-forms, whose higher Maurer–Cartan form satisfies the usual Maurer–Cartan equation. The same objects generate 4D 2-Chern–Simons, 5D 3-Chern–Simons, and higher Yang–Mills actions; if the framework holds, higher gauge theory becomes a notationally compact version of ordinary gauge theory.

Core claim

The central claim is that the three layers of data in higher gauge theory — fields, their symmetries, and their dynamics — can be packed into one generalized object at each type level. For N=1 the paper defines Lie 2-algebra-valued generalized 1-forms A = A + Bξ, and for N=2 the Lie 3-algebra-valued generalized 1-forms A = A + Bξ₁ + B′ξ₂ + Cξ₁ξ₂; the constants kᵢ = dξᵢ couple the nilpotent derivative to the crossed-module maps α and β. With this dictionary the generalized curvature F = dA + ½[A,A] exactly reproduces the fake curvatures and higher curvatures (Ω₁, Ω₂) or (Ω₁, Ω₂, Ω₃), and the generalized Bianchi identity dF + [A,F] = 0 reproduces the 2- or 3-Bianchi identities component by com

What carries the argument

The central object is the generalized differential form of type N, an ordered tuple of ordinary forms of consecutive degrees, together with an exterior derivative fixed by constants kᵢ = dξᵢ. The load-bearing constructions are: (i) Lie 2- or 3-algebra-valued generalized 1-forms A that package (A,B) or (A,B,C); (ii) the graded bracket [·,·] and the generalized curvature F = dA + ½[A,A]; (iii) higher-group-valued generalized 0-forms G and the higher Maurer–Cartan form l = G⁻¹dG, whose Maurer–Cartan equation dl + ½[l,l] = 0 encodes flatness; and (iv) invariant generalized pairings ⟨⟨·,·⟩⟩ and inner products ((·,·)) that produce the HCS and HYM actions. The constants kᵢ are what connect the nilp

Load-bearing premise

The formalism for 3-gauge theory assumes the simplified Lie 3-algebra setting declared in Appendix A.2 — H Abelian and α trivial — and the 3-Maurer–Cartan equation holds only when the nilpotent-derivative constants obey k₁=k₂, while the 3-gauge transformation section uses k₁=0, k₂=−1 with an auxiliary parameter t to bridge the mismatch. If the simplified setting or the constant-matching condition is essential and cannot be relaxed, the unified description does not cover gener

What would settle it

Take a strict Lie 3-group with non-Abelian H and nontrivial α and check whether the proposed generalized curvature F = dA + ½[A,A] and the transformation A′ = Ad_{G⁻¹}A + G⁻¹dG still reproduce the standard 3-Bianchi identities and 3-gauge transformation laws. If the identities fail unless H is Abelian and α=0, or unless k₁=k₂, the claim of a unified type-N=2 description for general 3-gauge theory is refuted.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The 2- and 3-Bianchi identities become a single equation dF + [A,F] = 0, so higher gauge theory inherits the computational structure of ordinary gauge theory.
  • Higher gauge transformations take the familiar form A′ = Ad_{G⁻¹}A + G⁻¹dG, allowing standard gauge-theoretic tools to be imported directly.
  • One generalized formula CS(A) = ⟨⟨A, dA + ⅓[A,A]⟩⟩ yields both the 4D 2-Chern–Simons and 5D 3-Chern–Simons actions, with the 2CS gauge variation reducing to a boundary term.
  • Higher Yang–Mills actions are recovered as generalized inner products of the corresponding generalized curvature: type N=1 gives 2YM, and type N=2 with a normalized curvature gives 3YM.
  • The recursive type-N structure provides a template for writing higher-order gauge theories (N>2) in the same compact form.

Where Pith is reading between the lines

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

  • Because the type-N=2 construction runs in the simplified setting where H is Abelian and α is trivial (Appendix A.2), the unified claim for 3-gauge theory is currently restricted to that case; extending to general strict Lie 3-groups with non-Abelian H and nontrivial α would be the natural test of the framework.
  • The 3-Maurer–Cartan equation holds only when k₁=k₂, while the 3-gauge transformation section uses k₁=0, k₂=−1 and repairs the mismatch with an auxiliary parameter t; a reader should treat this constant-matching condition as a delicate point before applying the 3-gauge machinery to concrete models.
  • The skeletal and trivial crossed-module limits of the 2CS action reduce to known 4D BF and BF-BB topological theories, suggesting that the generalized-form language may package existing topological field theories as special cases of one formula.
  • A direct test would be to substitute a strict Lie 3-group with non-Abelian H and nontrivial α into the proposed curvature and transformation laws; if the standard 3-Bianchi identities fail in that general setting, the universal claim for type N=2 is not yet established.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

4 major / 3 minor

Summary. The paper develops a calculus of generalized forms valued in Lie 2- and Lie 3-algebras and groups, and uses it to repackage the kinematical data of strict 2- and 3-gauge theory — connections, curvatures, Bianchi identities and gauge transformations — into single generalized form variables. On this basis it constructs higher Chern–Simons and higher Yang–Mills action functionals. The central claim is that, within this formalism, all fields and transformations of higher gauge theory take the same formal structure as in ordinary gauge theory.

Significance. If the construction were valid, the formalism would provide a compact and genuinely unified description of 2- and 3-gauge theories, with potential applications to higher Chern–Simons and Yang–Mills models. The paper contains explicit, checkable component computations, and the type-N=1 (2-gauge) part is largely coherent; the 2CS/2YM constructions and the explicit Chern–Weil identities for the 2-form theory are useful reformulations. However, the type-N=2 (3-gauge) portion is not sound as presented: the proposed 3-gauge transformation is not the transformation induced by the group element, the Maurer–Cartan equation does not hold for the derivative operator actually used, and the paper's own stated restrictions and admissions undercut the advertised generality. The overall unified claim is therefore not established.

major comments (4)
  1. [§4.2, Eq. (4.19)] The 3-gauge transformation (4.19) is not Ad_{G^{-1}}A + G^{-1}dG. With k1=0,k2=-1, the genuine Maurer–Cartan form (3.27) has ξ2 coefficient 0 and ξ1 coefficient g^{-1}▷(dϕ+β(ψ)). Replacing k1 by k1+t and setting t=-1 injects an extra ξ2 term -g^{-1}▷β(ψ) and a ξ1 term g^{-1}▷(ϕϕ). Hence (4.19) is a t-modified expression, not the transformation induced by the group element G. Consequently the transformed generalized connection has ξ1 coefficient B' = g^{-1}▷(B+A▷ϕ+dϕ+ϕϕ+β(ψ)) and ξ2 coefficient g^{-1}▷(B−β(ψ)), which are unequal; the result is no longer of the form A'+B'ξ1+B'ξ2+C'ξ1ξ2 on which the type-N=2 encoding (4.10) rests. The statement that the third component "does not contribute" is false at the level of the connection, and F'=Ad_{G^{-1}}F is never verified. This invalidates the central claim of §4.2.
  2. [§3.2.2, Theorem 3.4 and §4.2] Theorem 3.4 proves dl3+1/2[l3,l3]=0 only under k1=k2. The 3-connection section fixes k1=0,k2=-1 (Eq. (4.12)), so the 3-Maurer–Cartan equation does not hold for the exterior derivative used in the theory. The parameter t introduced after (4.19) is not part of the GDC data; it formally restores k1=k2=-1 in l3, but the exterior derivative d on the connection remains the one with k1=0,k2=-1. Thus the t-patch creates a mismatch between the differentiated connection and the "Maurer–Cartan form" used in the gauge law; it does not repair the inconsistency.
  3. [Appendix A.2] The appendix states "The present work deals exclusively with this simplified setting" in which H is Abelian and α is trivial. However, Sections 3.2.2 and 4.2 use α nontrivially: Ω1 in (4.8) contains α(B), and (4.19) contains g^{-1}α(ϕ)g. If the simplified setting is literally adopted, most computed terms vanish and the stated 3-gauge transformations reduce to a much more restrictive theory; if it is not adopted, the domain of validity of the type-N=2 results is left undefined. The title's claim for general strict Lie 3-groups is therefore not supported.
  4. [§3.2.2, paragraph after Eq. (3.41)] The authors state explicitly that for type N=2 the adjoint action "lacks the properties established in Theorems 3.2 and 3.3" and that "these limitations are inherent to the present framework." Since those properties (compatibility with the bracket and invariance of the pairing) are what make the N=1 gauge structure work, their absence at N=2 is not a cosmetic caveat: it is the structural reason why the 3-gauge transformation fails to close or preserve the curvature. This admission, together with Major Comment 1, means the unified statement in the Introduction is not realized for type N=2.
minor comments (3)
  1. [§4.2, Eq. (4.11)] In (4.11) the connection is written with B_i in both ξ1 and ξ2 slots, but the bracket formula uses B_i and B'_i. Please clarify whether B and B' are independent; Eqs. (4.10) and (4.14) seem to set them equal, which is essential for reproducing Ω2.
  2. [§5.1.2, before Eq. (5.11)] The 3-Chern–Weil identity is proved for \bar F, not for the actual curvature F of A. The text acknowledges this, but it weakens the claim of a unified derivation; please state explicitly that the 3CS action is not obtained from the same curvature variable as ordinary/2CS.
  3. [§2.1.2, Prop. 2.2] The statement "Within any locally domain" appears to have a typo; also the notation k≠0 is unexplained (probably means a nonzero constant).

Circularity Check

0 steps flagged

No circular derivation; self-citations are background, not load-bearing.

full rationale

The derivation chain is not circular. Section 3 constructs the bracket, exterior derivative, and pairings for higher algebra-valued generalized forms from the underlying Lie 2-/3-algebra data and verifies d^2=0 and the Jacobi identity from definitions; Theorems 3.1 and 3.4 prove the higher Maurer–Cartan equations by direct computation. (The k1=k2 condition in Theorem 3.4 versus k1=0,k2=-1 with the auxiliary t in Section 4.2 is an internal consistency issue, not a circularity.) Section 4 chooses the k-constants so that F=dA+1/2[A,A] reproduces the standard higher curvatures; this is a deliberate reformulation of known higher-gauge data, not an independent prediction. The component expansions of gauge transformations and Bianchi identities are computational equivalences showing that the generalized objects encode the standard structures. The HCS/HYM actions result from applying the component-wise inner products and pairings to the generalized curvatures; this is a definitional repackaging of actions known from [35,36,38,42], and the paper explicitly says 'recover' rather than presenting them as new predictions. The self-citations [36,37,42] supply background and comparison points, but the new content — group-valued generalized 0-forms, higher MC equations, and the Chern–Weil-type identities — is derived here from the definitions introduced in this paper. Thus there is minor self-citation but it is not load-bearing for the central derivation.

Axiom & Free-Parameter Ledger

3 free parameters · 6 axioms · 1 invented entities

The central construction rests on the GDC framework imported from [5–7,57] plus the invariant-pairing assumptions of Appendix A. The only numbers chosen by hand are the canonical-basis constants k/k1/k2 and the auxiliary parameter t. No data fitting occurs.

free parameters (3)
  • k (N=1 canonical derivative constant) = -1 (chosen in §4.1)
    Choice of canonical basis dξ=k for generalized forms of type N=1; appears in the exterior derivative (2.11) and in all type-N=1 curvatures and transformations.
  • k1, k2 (N=2 canonical derivative constants) = k1=0, k2=-1 (chosen in §4.2)
    Choices of canonical basis {ξ_i} with dξ1=k1, dξ2=k2; they fix the form of the generalized 3-connection, curvature and transformations.
  • t (auxiliary consistency parameter) = t=-1
    Introduced in Eq. (4.19) to reconcile the k1=k2 requirement of the 3-Maurer–Cartan theorem with the k1=0,k2=-1 values used for the 3-gauge theory; an ad hoc parameter for the derivation.
axioms (6)
  • standard math Generalized forms of type N with (−1)-forms ξ_i form a graded algebra and have a basis expansion; existence and properties from [5,6,57].
    Foundational formalism, §2.1; invoked throughout.
  • domain assumption Canonical bases exist with dξ_i = k_i constant (Propositions 2.1, 2.2 and preceding discussion).
    §2.1.2; needed for explicit local formulas for generalized exterior derivative.
  • standard math Strict Lie 2/3-group and their crossed-module / 2-crossed-module data satisfy identities (A.1)–(A.8), (A.12)–(A.29).
    Appendix A; background for higher gauge theory.
  • domain assumption G-invariant nondegenerate pairings ⟨−,−⟩_{g,h}, ⟨−,−⟩_{g,l}, ⟨−,−⟩_h exist with the stated symmetry and invariance properties.
    Appendix A; pairings are needed for the actions and are taken from prior work [38,71,82], not derived here.
  • ad hoc to paper For 3-groups, the simplified setting (Abelian H, trivial α) is adopted.
    Appendix A.2: 'The present work deals exclusively with this simplified setting.' Restricts generality of type-N=2 results.
  • domain assumption Metric/Hodge star on M for Yang–Mills inner products.
    §5.2; needed for (F,F) actions; assumed smooth oriented Riemannian manifold.
invented entities (1)
  • Higher group-valued generalized 0-forms G=(1+ϕξ)g (type N=1) and G=(1+ϕ1ξ1+ϕ2ξ2+ψξ1ξ2)g (type N=2) no independent evidence
    purpose: Parameterize higher gauge transformations in the generalized formalism.
    New mathematical objects introduced in §3.2; internal consistency only, no empirical/falsifiable handle outside the paper.

pith-pipeline@v1.3.0-alltime-deepseek · 32860 in / 14533 out tokens · 136161 ms · 2026-08-03T06:53:16.272708+00:00 · methodology

0 comments
read the original abstract

In this paper, we give a compact formulation of strict higher gauge theory based on generalized (differential) forms that package fields of multiple form degrees into a single variable. We define generalized forms valued in higher algebras and higher groups and derive the corresponding Maurer--Cartan structures. This leads to uniform, gauge-theory-like expressions for higher connections, curvatures, Bianchi identities, and gauge transformations. We further construct action principles for higher Chern--Simons and higher Yang--Mills theories within the same formalism and compute the associated topological densities in the corresponding dimensions.

Figures

Figures reproduced from arXiv: 2601.21607 by Danhua Song, Mengyao Wu.

Figure 1
Figure 1. Figure 1: Correspondence between generalized forms and (higher) gauge theories [PITH_FULL_IMAGE:figures/full_fig_p025_1.png] view at source ↗

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

83 extracted references · 1 canonical work pages

  1. [1]

    Baez and J

    J.C. Baez and J. Huerta,An invitation to higher gauge theory, Gen. Rel. Grav.43(2011) 2335–2392 [arXiv:1003.4485] [INSPIRE]

    Pith/arXiv arXiv 2011

  2. [2]

    Girelli and H

    F. Girelli and H. Pfeiffer,Higher gauge theory-differential versus integral formulation, J. Math. Phys.45(2004) 3949–3971 [arXiv:hep-th/0309173] [INSPIRE]

    Pith/arXiv arXiv 2004

  3. [3]

    Baez and U

    J.C. Baez and U. Schreiber,Higher gauge theory, in Categories in Algebra, Geometry and Math- ematical Physics, Contemp. Math.431AMS Providence RI (2007) 7–30 arXiv:math/0511710 [INSPIRE]

    Pith/arXiv arXiv 2007

  4. [4]

    Borsten, M.J

    L. Borsten, M.J. Farahani, B. Jurco, H. Kim, J. Narozny, D. Rist, C. Saemann and M. Wolf, Higher gauge theory, Encyclopedia of Mathematical Physics (Second Edition)4(2025) 159–185 [arXiv:2401.05275 [hep-th]] [INSPIRE]. 30

    Pith/arXiv arXiv 2025

  5. [5]

    Robinson,Generalized differential forms, J

    D.C. Robinson,Generalized differential forms, J. Phys. A40(2007) 8903–8922 [INSPIRE]

    2007

  6. [6]

    Nurowski and D.C

    P. Nurowski and D.C. Robinson,Generalized exterior forms, geometry and space-time, Class. Quant. Grav.18(2001) 81–86

    2001

  7. [7]

    Nurowski and D.C

    P. Nurowski and D.C. Robinson,Generalized forms and their applications, Class. Quant. Grav. 19(2002) 2425–2436

    2002

  8. [8]

    Baez and A.D

    J.C. Baez and A.D. Lauda,Higher-dimensional algebra V: 2-groups, arXiv:math/0307200 [IN- SPIRE]

    Pith/arXiv arXiv

  9. [9]

    Baez and A.S

    J.C. Baez and A.S. Crans,Higher-dimensional algebra VI: Lie 2-algebras, arXiv:math/0307263 [INSPIRE]

    Pith/arXiv arXiv

  10. [10]

    Baez and U

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

    arXiv

  11. [11]

    Wang,On 3-gauge transformations, 3-curvatures, and gray-categories, J

    W. Wang,On 3-gauge transformations, 3-curvatures, and gray-categories, J. Math. Phys.55 (2014) 043506 [arXiv:1311.3796] [INSPIRE]

    Pith/arXiv arXiv 2014

  12. [12]

    Martins and R

    J.F. Martins and R. Picken,The fundamental Gray 3-groupoid of a smooth manifold and local 3-dimensional holonomy based on a 2-crossed module, Differ. Geom. Appl.29(2011) 179–206 [arXiv:0907.2566] [INSPIRE]

    Pith/arXiv arXiv 2011

  13. [13]

    Radenković and M

    T. Radenković and M. Vojinović,Higher gauge theories based on 3-groups, JHEP10(2019) 222 [ arXiv:1904.07566] [INSPIRE]

    Pith/arXiv arXiv 2019

  14. [14]

    Schmidt,Higher gauge theory, self-dual strings and 6D superconformal field theory, PhD Heriot-Watt U

    L. Schmidt,Higher gauge theory, self-dual strings and 6D superconformal field theory, PhD Heriot-Watt U. (2018) [INSPIRE]

    2018

  15. [15]

    Polchinski,String Theory

    J. Polchinski,String Theory. Vol. 2: Superstring theory and beyond, Cambridge University Press (2007) [DOI: 10.1017/CBO9780511618123] [INSPIRE]

    doi:10.1017/cbo9780511618123 2007

  16. [16]

    Becker, M

    K. Becker, M. Becker and J.H. Schwarz,String theory and M-theory: A modern introduction, Cambridge University Press (2006) [DOI: 10.1017/CBO9780511816086] [INSPIRE]

    doi:10.1017/cbo9780511816086 2006

  17. [17]

    Johnson,D-Branes, Cambridge University Press (2003) [DOI:10.1017/9781009401371] [IN- SPIRE]

    C.V. Johnson,D-Branes, Cambridge University Press (2003) [DOI:10.1017/9781009401371] [IN- SPIRE]

    doi:10.1017/9781009401371 2003

  18. [18]

    Baez,An introduction to spin foam models of BF theory and quantum gravity, Lect

    J.C. Baez,An introduction to spin foam models of BF theory and quantum gravity, Lect. Notes Phys.543(2000) 25–93 [arXiv:gr-qc/9905087] [INSPIRE]

    Pith/arXiv arXiv 2000

  19. [19]

    Rovelli,Quantum gravity, Cambridge University Press (2004) [DOI:10.1017/CBO9780511755804] [INSPIRE]

    C. Rovelli,Quantum gravity, Cambridge University Press (2004) [DOI:10.1017/CBO9780511755804] [INSPIRE]

    doi:10.1017/cbo9780511755804 2004

  20. [20]

    S¨amann and M

    C. S¨amann and M. Wolf,Six-dimensional superconformal field theories from principal 3-bundles over twistor space, Lett. Math. Phys.104(2014) 1147–1188 [arXiv:1305.4870] [INSPIRE]

    Pith/arXiv arXiv 2014

  21. [21]

    Kim and C

    H. Kim and C. Saemann,T-duality as correspondences of categorified principal bundles with adjusted connections, PoS CORFU2022(2023) 336 [arXiv:2303.1616] [INSPIRE]

    arXiv 2023

  22. [23]

    Brennan and S

    T.D. Brennan and S. Hong,Introduction to generalized global symmetries in QFT and particle physics, arXiv:2306.00912 [INSPIRE]

    Pith/arXiv arXiv

  23. [24]

    Bhardwaj, L.E

    L. Bhardwaj, L.E. Bottini, L. Fraser-Taliente, L. Gladden, D.S.W. Gould, A. Platschorre and H. Tillim,Lectures on generalized symmetries, Phys. Rept.1051(2024) 1–87 [ arXiv:2307.07547] [INSPIRE]. 31

    Pith/arXiv arXiv 2024

  24. [25]

    Bhardwaj, L.E

    L. Bhardwaj, L.E. Bottini, S. Schäfer-Nameki and A. Tiwari,Non-invertible higher-categorical symmetries, SciPost Phys.14(2023) 007 [arXiv:2204.06564] [INSPIRE]

    Pith/arXiv arXiv 2023

  25. [26]

    Fiorenza, H

    D. Fiorenza, H. Sati and U. Schreiber,Super-exceptional geometry: Origin of heterotic M-theory and super-exceptional embedding construction of M5, JHEP2020(2020)107[arXiv:1908.00042] [INSPIRE]

    Pith/arXiv arXiv 2020

  26. [27]

    Fiorenza, H

    D. Fiorenza, H. Sati and U. Schreiber,Super-exceptional embedding construction of the heterotic M5: Emergence of SU(2)-flavor sector, J. Geom. Phys.170(2021) 104349 [ arXiv:2006.00012] [INSPIRE]

    Pith/arXiv arXiv 2021

  27. [28]

    Sati and U

    H. Sati and U. Schreiber,M/F-theory as Mf-theory, Rev. Math. Phys.35(2023) 10 [ arXiv:2103.01877] [INSPIRE]

    Pith/arXiv arXiv 2023

  28. [29]

    Bullivant, M

    A. Bullivant, M. Calcada, Z. Kádár, J.F. Martins and P. Martin,Higher lattices, discrete two- dimensional holonomy and topological phases in (3+1) D with higher gauge symmetry, Rev. Math. Phys.32(2019) 2050011 [ arXiv:1702.00868] [INSPIRE]

    Pith/arXiv arXiv 2019

  29. [30]

    Bullivant and C

    A. Bullivant and C. Delcamp,Excitations in strict 2-group higher gauge models of topological phases, JHEP01(2020) 107 [ arXiv:1909.07937] [INSPIRE]

    Pith/arXiv arXiv 2020

  30. [31]

    C. Zhu, T. Lan and X.G. Wen,Topological non-linear s-model, higher gauge theory, and a realization of all 3+1D topological orders for boson systemsPhys. Rev. B100(2019) 045105 [ arXiv:1808.09394] [INSPIRE]

    Pith/arXiv arXiv 2019

  31. [32]

    Pfeiffer,Higher gauge theory and a non-Abelian generalization of 2-form electrodynamics, Ann

    H. Pfeiffer,Higher gauge theory and a non-Abelian generalization of 2-form electrodynamics, Ann. Phys.308(2003) 447–477 [arXiv:hep-th/0304074] [INSPIRE]

    Pith/arXiv arXiv 2003

  32. [33]

    Henneaux and C

    M. Henneaux and C. Teitelboim,p-form electrodynamics, Found. Phys.16(1986) 593–617 [INSPIRE]

    1986

  33. [34]

    Gastel,Canonical gauges in higher gauge theory, Commun

    A. Gastel,Canonical gauges in higher gauge theory, Commun. Math. Phys.376(2019) 1053- 1071 [arXiv:1810.06278] [INSPIRE]

    Pith/arXiv arXiv 2019

  34. [35]

    Baez,Higher Yang–Mills theory, arXiv:hep-th/0206130 [INSPIRE]

    J.C. Baez,Higher Yang–Mills theory, arXiv:hep-th/0206130 [INSPIRE]

    Pith/arXiv arXiv

  35. [36]

    D.H. Song, K. Lou, K. Wu, J. Yang and F.H. Zhang,3-Form Yang–Mills based on 2-crossed modules. J. Geom. Phys.178(2022) 104537 [ arXiv:2108.12852] [INSPIRE]

    Pith/arXiv arXiv 2022

  36. [37]

    D.H. Song, K. Lou, K. Wu and J. Yang,Higher form Yang–Mills as higher BFYM theories, Eur. Phys. J. C82(2022) 1034 [arXiv:2109.13443] [INSPIRE]

    Pith/arXiv arXiv 2022

  37. [38]

    Zucchini,4-d Chern–Simons theory: higher gauge symmetry and holographic aspects, JHEP 06(2021) 025 [ arXiv:2101.10646 ] [INSPIRE]

    R. Zucchini,4-d Chern–Simons theory: higher gauge symmetry and holographic aspects, JHEP 06(2021) 025 [ arXiv:2101.10646 ] [INSPIRE]

    Pith/arXiv arXiv 2021

  38. [39]

    Soncini and R

    E. Soncini and R. Zucchini,4-D semistrict higher Chern–Simons theory I, JHEP10(2014) 079 [ arXiv:1406.2197] [INSPIRE]

    Pith/arXiv arXiv 2014

  39. [40]

    Zucchini,A Lie based 4-dimensional higher Chern–Simons theory, J

    R. Zucchini,A Lie based 4-dimensional higher Chern–Simons theory, J. Math. Phys.57(2016) 052301 [arXiv:1512.05977]

    Pith/arXiv arXiv 2016

  40. [41]

    Zucchini,AKSZ models of semistrict higher gauge theory, JHEP03(2013) 014 [arXiv:1112.2819] [INSPIRE]

    R. Zucchini,AKSZ models of semistrict higher gauge theory, JHEP03(2013) 014 [arXiv:1112.2819] [INSPIRE]

    Pith/arXiv arXiv 2013

  41. [42]

    Song, M.Y

    D.H. Song, M.Y. Wu, K. Wu and J. Yang,Higher Chern–Simons based on(2−)crossed modules, JHEP07(2023) 207 [arXiv:2212.04667] [INSPIRE]

    Pith/arXiv arXiv 2023

  42. [43]

    Aschieri, L

    P. Aschieri, L. Cantini and B. Jurco,Nonabelian bundle gerbes, their differential geometry and gauge theory, Commun. Math. Phys.254(2005) 367–400 [arXiv:hep-th/0312154] [INSPIRE]. 32

    Pith/arXiv arXiv 2005

  43. [44]

    Wockel,Principal 2-bundles and their gauge 2-groups, Forum Math.23(2011) 565–610 [arXiv:0803.3692]

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

    Pith/arXiv arXiv 2011

  44. [45]

    Nikolaus and K

    T. Nikolaus and K. Waldorf,Four equivalent versions of non-abelian gerbes, arXiv:1103.4815 [INSPIRE]

    Pith/arXiv arXiv

  45. [46]

    Jurco,Nonabelian bundle 2-gerbes, Int

    B. Jurco,Nonabelian bundle 2-gerbes, Int. J. Geom. Meth. Mod. Phys.8(2011) 49–78 [arXiv:0911.1552] [INSPIRE]

    Pith/arXiv arXiv 2011

  46. [47]

    Nikolaus, U

    T. Nikolaus, U. Schreiber and D. Stevenson,Principal∞-bundles: general theory, J. Homot. Relat. Struct.10(2015) 749–801 [ arXiv:1207.0248]

    Pith/arXiv arXiv 2015

  47. [48]

    Bunk,Principal∞-bundles and smooth string group models, Math

    S. Bunk,Principal∞-bundles and smooth string group models, Math. Ann.387(2023) 689–743 [arXiv:2008.12263] [INSPIRE]

    Pith/arXiv arXiv 2023

  48. [49]

    Leinster,A survey of definitions of n-category, TAC10(2002) 1–70 [ arXiv:math/0107188]

    T. Leinster,A survey of definitions of n-category, TAC10(2002) 1–70 [ arXiv:math/0107188]

    Pith/arXiv arXiv 2002

  49. [50]

    Simpson,Homotopy Theory of Higher Categories, Cambridge University Press

    C. Simpson,Homotopy Theory of Higher Categories, Cambridge University Press. (2011) [DOI: 10.1017/CBO9780511978111]

    work page doi:10.1017/cbo9780511978111 2011

  50. [51]

    Abstract /Virtual/Reality/Complexity

    G.A.J. Sparling,"Abstract /Virtual/Reality/Complexity" in the geometric universe: science, geometry, and the work of Roger Penrose, eds. S.A. Huggett et al., Oxford University Press, Oxford, (1998) 337–346 [DOI: 10.1093/oso/9780198500599.003.0024]

    arXiv 1998

  51. [52]

    Cartan,Sur certaines expressions différentielles et le problème de Pfaff, Annales Sci

    E. Cartan,Sur certaines expressions différentielles et le problème de Pfaff, Annales Sci. Ecole Norm. Sup.16(1899) 239–332

  52. [53]

    Cartan,Sur la structure de groupes infinis de transformations, Annales Sci

    E. Cartan,Sur la structure de groupes infinis de transformations, Annales Sci. Ecole Norm. Sup.21(1904) 153–206

    1904

  53. [54]

    Cartan,Sur les invariants intégraux de certains espaces homogènes clos et les proprietès topologiques de ces espaces, Ann

    E. Cartan,Sur les invariants intégraux de certains espaces homogènes clos et les proprietès topologiques de ces espaces, Ann. Soc. Polon. Math.8(1929) 181–225

    1929

  54. [55]

    Perjes and G.A.J

    Z. Perjes and G.A.J. Sparling,The abstract twistor space of the Schwarzschild space-Time, Twistor Newsletter44(1998) 12–19 (ESI Vienna preprint 520)

    1998

  55. [56]

    Sparling,The abstract twistor theory of a prototype self-dual space-time, University of Pittsburgh preprint (1997)

    G.A.J. Sparling,The abstract twistor theory of a prototype self-dual space-time, University of Pittsburgh preprint (1997)

    1997

  56. [57]

    Robinson,Generalized forms and Einstein’s equations, J

    D.C. Robinson,Generalized forms and Einstein’s equations, J. Math. Phys.44(2003) 2094– 2110

    2003

  57. [58]

    Robinson,Generalized forms, connections and gauge theories, Int

    D.C. Robinson,Generalized forms, connections and gauge theories, Int. J. Theor. Phys.42 (2003) 2971–2981 [INSPIRE]

    2003

  58. [59]

    H.Y. Guo, Y. Ling, R.S. Tung and Y.Z. Zhang,Chern–Simons term for BF theory and gravity as a generalized topological field theory in four dimensions, Phys. Rev. D66(2002) 064017 [arXiv:hep-th/0204059] [INSPIRE]

    Pith/arXiv arXiv 2002

  59. [60]

    Ling, R.S

    Y. Ling, R.S. Tung and H.Y. Guo, (2004)(Super)gravity and Yang–Mills theories as general- ized topological fields with constraints, Phys. Rev. D70(2004) 044045 [ arXiv:hep-th/0310141] [INSPIRE]

    Pith/arXiv arXiv 2004

  60. [61]

    Robinson,Generalized forms, Chern–Simons and Einstein–Yang–Mills theory, Class

    D.C. Robinson,Generalized forms, Chern–Simons and Einstein–Yang–Mills theory, Class. Quant. Grav.26(2009) 075019 [INSPIRE]

    2009

  61. [62]

    Robinson,Generalized forms and gravitation, arXiv:1312.0846 [INSPIRE]

    D.C. Robinson,Generalized forms and gravitation, arXiv:1312.0846 [INSPIRE]

    Pith/arXiv arXiv

  62. [63]

    Chatterjee, A

    S. Chatterjee, A. Lahiri and A.N. Sengupta,Negative forms and path space forms, Int. J. Geom. Meth. Mod. Phys.5(2008) 573–586 [arXiv:0706.1143] [INSPIRE]. 33

    Pith/arXiv arXiv 2008

  63. [64]

    Nakahara,Geometry, Topology and Physics, Chemical Rubber Company Press (2003) [DOI: 10.1201/9781315275826] [INSPIRE]

    M. Nakahara,Geometry, Topology and Physics, Chemical Rubber Company Press (2003) [DOI: 10.1201/9781315275826] [INSPIRE]

    doi:10.1201/9781315275826 2003

  64. [65]

    Kim and C

    H. Kim and C. Saemann,Adjusted parallel transport for higher gauge theories, J. Phys. A53 (2020) 445206 [arXiv:1911.06390] [INSPIRE]

    Pith/arXiv arXiv 2020

  65. [66]

    Waldorf,Parallel transport in principal 2-bundles, arXiv:1704.08542

    K. Waldorf,Parallel transport in principal 2-bundles, arXiv:1704.08542

    Pith/arXiv arXiv

  66. [67]

    Soncini and R

    E. Soncini and R. Zucchini,A new formulation of higher parallel transport in higher gauge theory, J. Geom. Phys.95(2015) 28–73 [arXiv:1410.0775] [INSPIRE]

    Pith/arXiv arXiv 2015

  67. [68]

    Zucchini,Operational total space theory of principal 2-bundles I: Operational geometric framework, J

    R. Zucchini,Operational total space theory of principal 2-bundles I: Operational geometric framework, J. Geom. Phys.156(2020) 103826 [arXiv:1905.10057] [INSPIRE]

    Pith/arXiv arXiv 2020

  68. [69]

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

    R. Zucchini,Operational total space theory of principal 2-bundles II: 2-connections and 1- and 2-gauge transformations, J. Geom. Phys.156(2020) 103825 [arXiv:1907.00155] [INSPIRE]

    Pith/arXiv arXiv 2020

  69. [70]

    Jurčo, T

    B. Jurčo, T. Macrelli, L. Raspollini, C. Sämann and M. Wolf,L∞-algebras, the BV formalism, and classical fields, Fortsch. Phys.67(2019) 8–9 [arXiv:1903.02887] [INSPIRE]

    Pith/arXiv arXiv 2019

  70. [71]

    Schenkel and B

    A. Schenkel and B. Vicedo,5d 2-Chern–Simons theory and 3d integrable field theories, Commun. Math. Phys.405(2024) 293 [arXiv:2405.08083] [INSPIRE]

    Pith/arXiv arXiv 2024

  71. [72]

    Girelli, A

    F. Girelli, A. Osumanu and W. Wieland,Canonical transformations generated by the boundary volume: Unimodular and non-Abelian teleparallel gravity, Phys. Rev. D105(2022) 044003 [arXiv:2101.05347] [INSPIRE]

    Pith/arXiv arXiv 2022

  72. [73]

    Chen and F

    H. Chen and F. Girelli,Categorified Drinfel’d double and BF theory: 2-groups in 4D, Phys. Rev. D106(2022) 105017 [arXiv:2201.13366] [INSPIRE]

    Pith/arXiv arXiv 2022

  73. [74]

    Freed,Classical Chern–Simons theory, Part 1, Adv.Math.113(1995) 237-303 [arXiv:hep- th/9206021] [INSPIRE]

    D.S. Freed,Classical Chern–Simons theory, Part 1, Adv.Math.113(1995) 237-303 [arXiv:hep- th/9206021] [INSPIRE]

    arXiv 1995

  74. [75]

    Govindarajan and P

    T.R. Govindarajan and P. Ramadevi,Geometry and topology of low dimensional systems: Chern–Simons theory with applications, Lect. Notes Phys.1027(2024) [INSPIRE]

    2024

  75. [76]

    Chen and J

    H. Chen and J. Liniado,Higher gauge theory and integrability, Phys. Rev. D110(2024) 086017 [arXiv:2405.18625] [INSPIRE]

    Pith/arXiv arXiv 2024

  76. [77]

    Baez,Four-dimensional BF theory with cosmological term as a topological quantum field theory, Lett

    J.C. Baez,Four-dimensional BF theory with cosmological term as a topological quantum field theory, Lett. Math. Phys.38(1996) 129–143 [arXiv:q-alg/9507006] [INSPIRE]

    Pith/arXiv arXiv 1996

  77. [78]

    Geiller, F

    M. Geiller, F. Girelli, C. Goeller and P. Tsimiklis,Diffeomorphisms as quadratic charges in 4d BF theory and related TQFTs, JHEP05(2023) 154 [arXiv:2211.00068] [INSPIRE]

    Pith/arXiv arXiv 2023

  78. [79]

    Girelli and P

    F. Girelli and P. Tsimiklis,Discretization of 4d Poincaré BF theory: From groups to 2-groups, Phys. Rev. D106(2022) 046003 [arXiv:2105.01817] [INSPIRE]

    Pith/arXiv arXiv 2022

  79. [80]

    Mutlu, T

    A. Mutlu, T. Porter and R. Brown,Freeness conditions for 2-crossed modules and complexes, Theor. Appl. Categ.4(1998) 174

    1998

  80. [81]

    Hidaka, M

    Y. Hidaka, M. Nitta and R. Yokokura,Global 3-group symmetry and ’t Hooft anomalies in axion electrodynamics, JHEP01(2021) 173 [arXiv:2009.14368] [INSPIRE]

    Pith/arXiv arXiv 2021

Showing first 80 references.