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.

Generalised doubles and simple homotopy types of high dimensional manifolds

Simple homotopy types of even dimensional manifolds

Schematic homotopy types and non-abelian Hodge theory

Topological complexity, asphericity and connected sums

Cohomology and K-theory of generalized Dold manifolds fibred by complex flag manifolds

Generalized Hopfian Property, a Minimal Haken Manifold, and Epimorphisms Between 3-Manifold Groups

A geometric computation of cohomotopy groups in co-degree one

$(H,G)$-coincidence theorems for manifolds and a topological Tverberg type theorem for any natural number $r$

Bounds on Cheeger-Gromov invariants and simplicial complexity of triangulated manifolds

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

A smooth Birman-Hilden theory for hyperkähler manifolds

Mapping class groups of $h$-cobordant manifolds

Some rational homology computations for diffeomorphisms of odd‐dimensional manifolds

On the automorphism groups of hyperbolic manifolds

Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups

A structure theorem for homology 4-manifolds with $g_2\leq 5$

Residual finiteness of some automorphism groups of high dimensional manifolds

Strongly chiral rational homology spheres with hyperbolic fundamental groups

Homotopy type of circle graph complexes motivated by extreme Khovanov homology

Cobordism of G-manifolds

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