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.

Gauss-Manin connections for arrangements, III Formal connections

Gauss-Manin Connections for P-Adic Families of Nearly Overconvergent Modular Forms

Gauss-Manin Connection in Disguise: Genus Two Curves

Gauss–Manin Connection in Disguise: Calabi–Yau Threefolds

On the Gauss-Manin Connection and Real Singularities

Moduli of real (res. quaternionic) L-connections

Formal Frobenius Manifold Structure on Equivariant Cohomology

Superconnections and An Intrinsic Gauss-Bonnet-Chern Formula for Finsler Manifolds

Bi-flat F-structures as differential bicomplexes and Gauss-Manin connections

Gauss--Bonnet for CSM classes of very affine manifolds, and tropical isotopies

Chiral Cartan calculus

On the formality of nearly Kähler manifolds and of Joyce's examples in $G_2$-holonomy

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

Gauss diagrams of 3-manifolds

Ricci Flat Metrics, Flat Connections and $G_{2}$-Manifolds

Flat $GL(1|1)$-connections and fatgraphs

Characterization of locally standard, $\mathbb{Z}$-equivariantly formal manifolds in general position

Left-invariant Hermitian connections on Lie groups with almost Hermitian structures

Batalin-Vilkovisky structures on moduli spaces of flat connections

Canonical coordinates for moduli spaces of rank two irregular connections on curves

On the Castelnuovo-Mumford regularity of curve arrangements