Abstract:We study smooth higher symmetry groups and moduli $\infty$-stacks of generic higher geometric structures on manifolds. Symmetries are automorphisms which cover non-trivial diffeomorphisms of the base manifold. We construct the smooth higher symmetry group of any geometric structure on $M$ and show that this completely classifies, via a universal property, equivariant structures on the higher geometry. We construct moduli stacks of higher geometric data as $\infty$-categorical quotients by the action of the higher symmetries, extract information about the homotopy types of these moduli $\infty$-stacks, and prove a helpful sufficient criterion for when two such higher moduli stacks are equivalent. In the second part of the paper we study higher $\mathrm{U}(1)$-connections. First, we observe that higher connections come organised into higher groupoids, which further carry affine actions by Baez-Crans-type higher vector spaces. We compute a presentation of the higher gauge actions for $n$-gerbes with $k$-connection, comment on the relation to higher-form symmetries, and present a new String group model. We construct smooth moduli $\infty$-stacks of higher Maxwell and Einstein-Maxwell solutions, correcting previous such considerations in the literature, and compute the homotopy groups of several moduli $\infty$-stacks of higher $\mathrm{U}(1)$- connections. Finally, we show that a discrepancy between two approaches to the differential geometry of NSNS supergravity (via generalised and higher geometry, respectively) vanishes at the level of moduli $\infty$-stacks of NSNS supergravity solutions.

Higher form symmetries and orbifolds of two-dimensional Yang-Mills theory

Higher-form symmetries and their anomalies in M-/F-theory duality

On continuous 2-category symmetries and Yang-Mills theory

Asymptotic Structure of Higher Dimensional Yang-Mills Theory

On infinite symmetry algebras in Yang-Mills theory

Generalized Symmetries of Non-Supersymmetric Orbifolds

Yangian Form-alism for Planar Gauge Theories

Non-invertible and higher-form symmetries in 2+1d lattice gauge theories

0-Form, 1-Form and 2-Group Symmetries via Cutting and Gluing of Orbifolds

Emergent non-invertible symmetries in $\mathcal{N}=4$ Super-Yang-Mills theory

Volume-preserving diffeomorphism as nonabelian higher-rank gauge symmetry

Pseudo-orthogonal Yang-Mills theories and connections to gravity

Fermionic Higher-Form Symmetries

Higher-Rank Tensor Non-Abelian Field Theory: Higher-Moment or Subdimensional Polynomial Global Symmetry, Algebraic Variety, Noether's Theorem, and Gauging

Gauging generalised symmetries in linear gravity

Higher Form Symmetries TFT in 6d

Higher-Matter and Landau-Ginzburg Theory of Higher-Group Symmetries

Generalized Symmetry in Dynamical Gravity

An Introduction to Higher-Form Symmetries

Higher Geometric Structures on Manifolds and the Gauge Theory of Deligne Cohomology

A Geometric Approach to the Yang-Mills Mass Gap