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.

On the cohomology of the classifying spaces of $SO(n)$-gauge groups over $S^2$

Torsion in classifying spaces of gauge groups

A geometric computation of cohomotopy groups in co-degree one

On the rational cohomology of spin hyperelliptic mapping class groups

On the Cohomology of the Mapping Class Group of the Punctured Projective Plane

On integral cohomology of certain orbifolds

On some topological equivalences for moduli spaces of $G$-bundles

The Cohomological Sarnak-Xue Density Hypothesis for $SO_5$

On the cohomology of SL$_n(\mathbb{Z})$

De Rham Cohomology of SO(n) by Supersymmetric Quantum Mechanics

Harmonic metrics of $\mathrm{SO}_{0}(n,n)$-Higgs bundles in the Hitchin section on non-compact hyperbolic surfaces

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

On $G_2$ manifolds with cohomogeneity two symmetry

Cohomology and $K$-theory rings of the space of commuting elements in $SU(2)$

On the cohomology of Torelli groups. II

Generalized Cohomologies and Supersymmetry

Cohomology of the Bruhat-Tits strata in the supersingular locus of the $\mathrm{GU}(1,n-1)$ Shimura variety at a ramified prime

Cohomology of spaces of Hopf equivariant maps of spheres

On the Chow and cohomology rings of moduli spaces of stable curves

The cohomology of free loop spaces of rank 2 flag manifolds