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.

Homology of complete symbols and non-commutative geometry

Cyclic theory for commutative differential graded algebras and s-cohomology

The geometric realization of regular path complexes via (co-)homology

Symmetries of the cyclic nerve

Homology of L_{\infty}-Algebras and Cyclic Homology

Graded character sheaves, HOMFLY-PT homology, and Hilbert schemes of points on $\mathbb{C}^2$

Homological algebra for nonarchimedean completions of group algebras

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

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

Cyclic homology of categorical coalgebras and the free loop space

Cohomology of toric diagrams

Homotopical algebra for Lie algebroids

Lie, associative and commutative quasi-isomorphism

On the homology and homotopy of commutative shuffle algebras

Symmetric Homology of Algebras

Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

Homology of Lie algebra of supersymmetries and of super Poincaré Lie algebra

Unstable cohomology of $\mathsf{GL}_{2n}(\mathbb{Z})$ and the odd commutative graph complex

Homology operations for gravity algebras

Hopf algebras and homotopy invariants

Formulae in noncommutative Hodge theory