arxiv: 2604.24513 · v1 · submitted 2026-04-27 · 🧮 math.DG · math-ph· math.MP

Recognition: unknown

Adjusted connections on non-abelian bundle gerbes

Konrad Waldorf

Authors on Pith no claims yet

Pith reviewed 2026-05-07 17:44 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.MP

keywords adjusted connectionsnon-abelian bundle gerbesdifferential cohomologylifting theoremhigher gauge theorybundle 2-gerbes2-groups

0 comments

The pith

Equipping 2-groups with adjustments creates a full theory of connections on non-abelian bundle gerbes that lifts to abelian 2-gerbes.

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

The paper sets out a theory of adjusted connections on non-abelian bundle gerbes. These connections receive a classification from an adjusted form of non-abelian differential cohomology. The resulting framework supplies a coordinate-independent version of the lifting theorem that links the adjusted connections to ordinary connections on abelian bundle 2-gerbes. The work targets the restricted reach of higher gauge theory once one leaves the fake-flat sector. A reader who accepts the construction would gain a systematic way to treat non-abelian higher structures without coordinate choices.

Core claim

The paper presents a comprehensive theory of adjusted connections on non-abelian bundle gerbes, classified by an adjusted version of non-abelian differential cohomology. This theory enables a new coordinate-independent formulation of the lifting theorem, establishing a correspondence between adjusted connections on non-abelian bundle gerbes and connections on abelian bundle 2-gerbes.

What carries the argument

The adjustment added to 2-groups, which permits the definition of adjusted connections classified by adjusted non-abelian differential cohomology and supports the lifting correspondence.

Load-bearing premise

That the adjustments placed on 2-groups are sufficient to resolve all extension problems outside the fake-flat sector and to support the full classification and lifting correspondence without further hidden conditions.

What would settle it

An explicit non-abelian bundle gerbe equipped with an adjusted connection that fails to correspond to any connection on an abelian bundle 2-gerbe would show the lifting theorem does not hold in general.

Figures

Figures reproduced from arXiv: 2604.24513 by Konrad Waldorf.

**Figure 5.3.** Figure 5.3: 1 The clockwise composite is thus the strict 1-morphism consisting of the map p 2 : G2 → F 2 , of the principal Γ-bundle Qcw := (pr∗ 2 I φ g ) pr∗ 1p ∗A ⊗ pr∗ 1 I φ g over G2 , and of the following bundle morphism ν cw, over a point (g1, g2),(g ′ 1 , g′ 2 ) ∈ G2 ×F 2 G2 given by (I φ g ) Af1 g ′ 2 ⊗ (I φ g )g ′ 1 ⊗ i∗(Γ1)g1,g′ 1 ⊗ i∗(Γ1)g2,g′ 2 id⊗νg1,g′ 1 ⊗id (I φ g ) Af1 g ′ 2 ⊗ (I φ g )g1 ⊗ i∗(Γ1)g… view at source ↗

**Figure 6.2.** Figure 6.2: 3 • Subdiagram B is filled by the 2-isomorphism from Lemma 4.5.1 (b). • Subdiagram C is commutative, since the adjusted shift (pr∗ 23A′ ) ϑ13−ϑ23 decomposes via Lemma 4.4.9 (b) into the composite i (ϑ,ω) ∗ (pr∗ 2S) ((pr∗ 23TH⊗id)−1 ) ϑ13−ϑ23 /i∗(H ⊗ pr∗ 2S) i∗(A) ϑ12 /i∗(pr∗ 1S), where the shift by ϑ12 is computed from p∗((pr∗ 23TH ⊗ id)−1 ) = inv ◦ p∗(pr∗ 23TH) = inv ◦ pr∗ 23p∗(inv ◦ δ) = δ ◦ pr23 and q… view at source ↗

read the original abstract

Higher gauge theory for non-abelian structure 2-groups faces significant challenges when extending beyond the fake-flat sector, which suffers from limited applicability in physical models. A promising resolution involves equipping 2-groups with additional structure, known as adjustments. We present a comprehensive theory of adjusted connections on non-abelian bundle gerbes, classified by Saemann's adjusted version of non-abelian differential cohomology. This theory enables, in particular, a new coordinate-independent formulation of Tellez-Dominguez' lifting theorem, establishing a correspondence between adjusted connections on non-abelian bundle gerbes and connections on abelian bundle 2-gerbes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Waldorf gives a coordinate-independent lifting theorem for adjusted connections on non-abelian gerbes, but the completeness of the classification for general 2-groups needs verification.

read the letter

The key point is that this paper delivers a coordinate-free version of the lifting theorem for adjusted connections on non-abelian bundle gerbes, using Saemann's adjusted cohomology as the classifying object. Waldorf defines the adjusted connections carefully and shows how they correspond to connections on abelian bundle 2-gerbes. This reformulation avoids local coordinates, which is a practical improvement over the earlier statement by Tellez-Dominguez. The construction appears to follow from equipping the 2-groups with adjustments to handle the curvature issues beyond fake-flatness. The paper does well in organizing the material into a full theory, including parallel transport and curvature definitions that fit the adjusted framework. It credits the prior work properly and positions the new result as an extension rather than a replacement. One soft spot is the reliance on the adjustments to remove all extension problems. The stress-test note points out that for 2-groups with non-trivial higher invariants, there might be leftover obstructions not addressed by the adjustment alone. The abstract claims a comprehensive theory and a full correspondence, so the paper must contain the details to back that up. If those details are there and the proofs check out, the concern is minor. If not, the result would need qualification. This kind of work is aimed at specialists in higher differential geometry and mathematical physics. Someone already familiar with bundle gerbes and non-abelian cohomology will find it useful for building models. It is solid enough on its own terms to warrant peer review, though referees should check the general case carefully. I recommend sending it out for review.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a theory of adjusted connections on non-abelian bundle gerbes, classified by Saemann's adjusted non-abelian differential cohomology. It gives a coordinate-independent reformulation of Tellez-Dominguez' lifting theorem that establishes a bijection between such adjusted connections and connections on abelian bundle 2-gerbes.

Significance. If the constructions are rigorous, the work supplies a concrete extension of higher gauge theory beyond the fake-flat sector by means of adjustments on 2-groups. The coordinate-free lifting theorem is a clear technical improvement over prior formulations and directly links non-abelian gerbe data to abelian 2-gerbe data. The paper properly attributes the classification to Saemann and the original lifting result to Tellez-Dominguez.

major comments (2)

[§3.2] §3.2, Definition 3.4 and Theorem 3.9: The adjusted curvature and parallel-transport functors are defined via the adjustment map on the 2-group, yet the argument that this eliminates all extension obstructions (including those arising from non-trivial Postnikov invariants) is only sketched for the fake-curvature component; no explicit cocycle computation is given for a general 2-group in the non-fake-flat sector.
[§5] §5, Theorem 5.1: The lifting correspondence is asserted to be bijective for arbitrary adjusted 2-groups, but the proof reduces the non-abelian data to abelian 2-gerbe data without verifying that the adjustment map surjects onto the full set of obstruction classes in H^3; this step is load-bearing for the headline claim.

minor comments (2)

[§2] The notation for the adjusted 2-group structure (e.g., the maps α and β) is introduced in §2 but reused with slight variations in §4; a single consolidated table of symbols would improve readability.
[§4.1] Several diagrams in §4.1 are too small to read the labels on the 2-morphisms; increasing the font size or splitting the figures would aid comprehension.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive major comments. We address each point below and indicate the revisions that will be incorporated.

read point-by-point responses

Referee: [§3.2] §3.2, Definition 3.4 and Theorem 3.9: The adjusted curvature and parallel-transport functors are defined via the adjustment map on the 2-group, yet the argument that this eliminates all extension obstructions (including those arising from non-trivial Postnikov invariants) is only sketched for the fake-curvature component; no explicit cocycle computation is given for a general 2-group in the non-fake-flat sector.

Authors: We agree that the argument in Theorem 3.9 is presented at a sketch level for the elimination of extension obstructions beyond the fake-curvature component. While the adjustment map is constructed precisely to cancel these obstructions (including those from non-trivial Postnikov invariants) in the framework of Saemann's adjusted differential cohomology, an explicit cocycle-level verification for a general 2-group would improve clarity. In the revised manuscript we will expand the proof of Theorem 3.9 with a detailed cocycle computation demonstrating the cancellation in the non-fake-flat sector. revision: yes
Referee: [§5] §5, Theorem 5.1: The lifting correspondence is asserted to be bijective for arbitrary adjusted 2-groups, but the proof reduces the non-abelian data to abelian 2-gerbe data without verifying that the adjustment map surjects onto the full set of obstruction classes in H^3; this step is load-bearing for the headline claim.

Authors: The proof of Theorem 5.1 proceeds by reducing the adjusted non-abelian data to the abelian 2-gerbe setting via the adjustment map. We acknowledge that an explicit verification that this map is surjective onto all obstruction classes in H^3 is required to establish bijectivity for arbitrary adjusted 2-groups. We will add a supporting lemma in the revised version that proves this surjectivity, thereby confirming the headline claim. revision: yes

Circularity Check

0 steps flagged

No significant circularity; theory extends external classifications

full rationale

The paper attributes its classification of adjusted connections directly to Saemann's prior adjusted non-abelian differential cohomology and reformulates Tellez-Dominguez' lifting theorem without deriving those results internally. No equations or definitions reduce by construction to fitted parameters, self-citations, or renamed inputs within the manuscript. The central claims rest on external attributions rather than self-referential fitting or uniqueness theorems imported from the author's own prior work. This is the standard case of an honest extension paper whose derivation chain remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review yields limited visibility into free parameters or invented entities; the theory appears to rest on standard differential cohomology axioms plus the adjustment structure introduced by Saemann.

axioms (2)

domain assumption Non-abelian differential cohomology admits an adjusted version that classifies adjusted connections
Invoked when stating the classification of the new connections.
ad hoc to paper Adjustments on 2-groups resolve extension issues beyond the fake-flat sector
Stated as the promising resolution that enables the comprehensive theory.

pith-pipeline@v0.9.0 · 5393 in / 1331 out tokens · 35320 ms · 2026-05-07T17:44:20.887989+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages · 1 internal anchor

[1]

Grothendieck construction for bicategories

[arxiv:hep-th/0312154]. [Bak] Igor Bakovi´ c, “Grothendieck construction for bicategories”. Unpublished. [BL04] John C. Baez and Aaron D. Lauda, “Higher-dimensional algebra V: 2-groups”. Theory Appl. Categ., 12:423–491,

work page arXiv
[2]

Differential geometry of gerbes

[arxiv:math/0307200]. [BM05] Lawrence Breen and William Messing, “Differential geometry of gerbes”. Adv. Math., 198(2):732–846,

work page arXiv
[3]

Higher gauge theory

[arxiv:math.AG/0106083]. [BS07] John C. Baez and Urs Schreiber, “Higher gauge theory”. In Alexei Davydov, Michael Batanin, Michael Johnson, Stephen Lack, and Amnon Neeman, editors, Categories in Algebra, Geometry and Mathematical Physics , Proc. Contemp. Math. AMS, Providence, Rhode Island,

work page arXiv
[4]

Higher Gauge Theory

[arxiv:math/0511710]. [CJM02] Alan L. Carey, Stuart Johnson, and Michael K. Murray, “Holonomy on D-branes”. J. Geom. Phys., 52(2):186–216,

work page Pith review arXiv
[5]

Bundle gerbes for Chern-Simons and Wess-Zumino-Witten theories

[arxiv:hep-th/0204199]. [CJM+05] Alan L. Carey, Stuart Johnson, Michael K. Murray, Danny Stevenson, and Bai-Ling Wang, “Bundle gerbes for Chern-Simons and Wess-Zumino-Witten theories”. Commun. Math. Phys. , 259(3):577–613,

work page internal anchor Pith review arXiv
[6]

Carey, S

[arxiv:math/0410013]. [CMM00] Alan L. Carey, Jouko Mickelsson, and Michael K. Murray, “Bundle Gerbes Applied to Quantum Field Theory”. Rev. Math. Phys. , 12:65–90,

work page arXiv
[7]

Higher Poincar´ e lemma and integrability

[arxiv:hep-th/9711133]. [DS15] Getachew Alemu Demessie and Christian Saemann, “Higher Poincar´ e lemma and integrability”. J. Math. Phys. , 56(082902),

work page arXiv
[8]

Cech cocycles for differential characteristic classes – An infinity-Lie theoretic construction

[arxiv:1406.5342]. [FSS12] Domenico Fiorenza, Urs Schreiber, and Jim Stasheff, “Cech cocycles for differential characteristic classes – An infinity-Lie theoretic construction”. Adv. Theor. Math. Phys. , 16:149–250,

work page arXiv
[9]

Canonical gauges in higher gauge theory

[arxiv:1011.4735]. – 81 – [Gas20] Andreas Gastel, “Canonical gauges in higher gauge theory”. Commun. Math. Phys. , 376:1053–1071,

work page arXiv
[10]

Conformal field theory: a case study

Available as: https://www.arxiv.org/abs/1810.06278 . [Gaw00] Krzysztof Gaw¸ edzki, “Conformal field theory: a case study”. In Y. Nutku, C. Saclioglu, and T. Turgut, editors, Conformal field theory: new non-perturbative methods in string and field theory. Perseus Publishing,

work page arXiv
[11]

WZW branes and gerbes

[arxiv:hep-th/9904145]. [GR02] Krzysztof Gaw¸ edzki and Nuno Reis, “WZW branes and gerbes”. Rev. Math. Phys. , 14(12):1281–1334,

work page arXiv
[12]

Basic gerbe over non simply connected compact groups

[arxiv:hep-th/0205233]. [GR03] Krzysztof Gaw¸ edzki and Nuno Reis, “Basic gerbe over non simply connected compact groups”. J. Geom. Phys., 50(1–4):28–55,

work page arXiv
[13]

[Joh02] Stuart Johnson, Constructions with bundle gerbes

[arxiv:math.dg/0307010]. [Joh02] Stuart Johnson, Constructions with bundle gerbes . PhD thesis, University of Adelaide,

work page arXiv
[14]

[JY21] Niles Johnson and Donald Yau, 2-Dimensional Categories

[arxiv:math/0312175]. [JY21] Niles Johnson and Donald Yau, 2-Dimensional Categories. Oxford Univ. Press,

work page arXiv
[15]

2-vector bundles

[arxiv:2002.06055]. [KLW25] Peter Kristel, Matthias Ludewig, and Konrad Waldorf, “2-vector bundles”. Higher Structures, 9(1):36–87,

work page arXiv 2002
[16]

Non-geometric T-duality as higher groupoid bundles with connections

[arxiv:2106.12198]. [KS] Hyungrok Kim and Christian Saemann, “Non-geometric T-duality as higher groupoid bundles with connections”. Preprint. [arxiv:2204.01783]. [KS20] Hyungrok Kim and Christian Saemann, “Adjusted parallel transport for higher gauge theories”. J. Phys. A , 52:445206,

work page arXiv
[17]

[Lur09] Jacob Lurie, Higher topos theory

[arxiv:1911.06390]. [Lur09] Jacob Lurie, Higher topos theory. Number 109 in Annals of Mathematics Studies. Princeton University Press,

work page arXiv 1911
[18]

The classification of adjustments

[LW] Matthias Ludewig and Konrad Waldorf, “The classification of adjustments”. Preprint. [arxiv:2510.19607]. [MS00] Michael K. Murray and Daniel Stevenson, “Bundle gerbes: stable isomorphism and local theory”. J. Lond. Math. Soc. , 62:925–937,

work page arXiv
[19]

Bundle gerbes

[arxiv:math/9908135]. [Mur96] Michael K. Murray, “Bundle gerbes”. J. Lond. Math. Soc. , 54:403–416,

work page arXiv
[20]

Non-abelian extensions of infinite-dimensional Lie groups

[arxiv:dg-ga/9407015]. [Nee05] Karl-Herrmann Neeb, “Non-abelian extensions of infinite-dimensional Lie groups”. Preprint. [arxiv:math/0504295]. [NS11] Thomas Nikolaus and Christoph Schweigert, “Equivariance in higher geometry”. Adv. Math., 226(4):3367–3408,

work page arXiv
[21]

Four equivalent versions of non-abelian gerbes

[arxiv:1004.4558]. [NW13a] Thomas Nikolaus and Konrad Waldorf, “Four equivalent versions of non-abelian gerbes”. Pacific J. Math., 264(2):355–420,

work page arXiv
[22]

Nikolaus and K

[arxiv:1103.4815]. [NW13b] Thomas Nikolaus and Konrad Waldorf, “Lifting problems and transgression for non-abelian gerbes”. Adv. Math., 242:50–79,

work page arXiv
[23]

Explicit Non-Abelian Gerbes with Connections

[arxiv:1112.4702]. [RSW26] Dominik Rist, Christian Saemann, and Martin Wolf, “Explicit Non-Abelian Gerbes with Connections”. J. Phys. A , 59(3),

work page arXiv
[24]

Central extensions of smooth 2-groups and a finite-dimensional string 2-group

[arxiv:2203.00092]. [SP11] Chris Schommer-Pries, “Central extensions of smooth 2-groups and a finite-dimensional string 2-group”. Geom. Topol., 15:609–676,

work page arXiv
[25]

Towards an M5-Brane Model II: Metric String Structures

[arxiv:0911.2483]. [SS20] Christian Saemann and Lennart Schmidt, “Towards an M5-Brane Model II: Metric String Structures”. Fortschr. Phys., 68:2000051,

work page arXiv
[26]

L ∞-algebra connections and applications to string- and Chern-Simons n-transport

[arxiv:1908.08086]. [SSS09] Hisham Sati, Urs Schreiber, and James D. Stasheff, “L ∞-algebra connections and applications to string- and Chern-Simons n-transport”. In B. Fauser, J. Tolksdorf, and E. Zeidler, editors, Quantum Field Theory , pages 303–424. Birkh¨ auser,

work page arXiv 1908
[27]

Bundle 2-gerbes

[arxiv:0801.3480]. – 82 – [Ste04] Daniel Stevenson, “Bundle 2-gerbes”. Proc. Lond. Math. Soc., 88:405–435,

work page arXiv
[28]

Smooth functors vs. differential forms

[arxiv:math/0106018]. [SW11] Urs Schreiber and Konrad Waldorf, “Smooth functors vs. differential forms”. Homology, Homotopy Appl., 13(1):143–203,

work page arXiv
[29]

Connections on non-abelian gerbes and their holonomy

[arxiv:0802.0663]. [SW13] Urs Schreiber and Konrad Waldorf, “Connections on non-abelian gerbes and their holonomy”. Theory Appl. Categ., 28(17):476–540,

work page arXiv
[30]

Local theory for 2-functors on path 2-groupoids

[arxiv:0808.1923]. [SW16] Urs Schreiber and Konrad Waldorf, “Local theory for 2-functors on path 2-groupoids”. J. Homotopy Relat. Struct. , pages 1–42,

work page arXiv 1923
[31]

Chern correspondence for higher principal bundles

[arxiv:1303.4663]. [TD25] Roberto T´ ellez-Dom´ ınguez, “Chern correspondence for higher principal bundles”. Commun. Math. Phys., 406(313),

work page arXiv
[32]

More morphisms between bundle gerbes

[arxiv:2310.12738]. [Wal07] Konrad Waldorf, “More morphisms between bundle gerbes”. Theory Appl. Categ., 18(9):240–273,

work page arXiv
[33]

Multiplicative bundle gerbes with connection

[arxiv:math.CT/0702652]. [Wal10] Konrad Waldorf, “Multiplicative bundle gerbes with connection”. Differential Geom. Appl., 28(3):313–340,

work page arXiv
[34]

A construction of string 2-group models using a transgression-regression technique

[arxiv:0804.4835v4]. [Wal12] Konrad Waldorf, “A construction of string 2-group models using a transgression-regression technique”. In Clara L. Aldana, Maxim Braverman, Bruno Iochum, and Carolina Neira-Jim´ enez, editors, Analysis, Geometry and Quantum Field Theory , volume 584 of Contemp. Math., pages 99–115. AMS,

work page arXiv
[35]

Waldorf,A construction of string 2-group models using a transgression-regression technique,arXiv preprint arXiv:1201.5052(2012)

[arxiv:1201.5052]. [Wal13] Konrad Waldorf, “String connections and Chern-Simons theory”. Trans. Amer. Math. Soc., 365(8):4393–4432,

work page arXiv
[36]

A global perspective to connections on principal 2-bundles

[arxiv:0906.0117]. [Wal17] Konrad Waldorf, “A global perspective to connections on principal 2-bundles”. Forum Math., 30(4):809–843,

work page arXiv
[37]

Universit¨ at Greifswald Institut f¨ ur Mathematik und Informatik Walther-Rathenau-Str

[arxiv:1608.00401]. Universit¨ at Greifswald Institut f¨ ur Mathematik und Informatik Walther-Rathenau-Str. 47 D-17487 Greifswald konrad.waldorf@uni-greifswald.de – 83 –

work page arXiv