Abelian witness defect theorem — derived theorem

The class in obstructs globalization, controls inequivalent globalizations after a basepoint is chosen, and lower degrees control relative gauge symmetry. The theorem includes the necessary torsor qualification: ambiguity is not canonically a group before choosing a lift.

Source

Admissible Witness Descent for Higher Gauge Fields, public website edition v1.0. Not peer reviewed.