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.

GEOMETRIC STRUCTURES MODELED ON SMOOTH PROJECTIVE HOROSPHERICAL VARIETIES OF PICARD NUMBER ONE

Characterizations of smooth projective horospherical varieties of Picard number one

Moduli spaces as ball quotients I, local theory

Smooth projective horospherical varieties with Picard number 1

Locally Homogeneous Holomorphic Geometric Structures on Projective Varieties

Geometric Structures on the Complement of a Projective Arrangement

Varieties with two smooth blow up structures

On some smooth projective two-orbits varieties with Picard number 1

Meromorphic Projective Structures, Opers and Monodromy

Rigidity of projective symmetric manifolds of Picard number 1 associated to composition algebras

On rational homology projective planes with quotient singularities of small indices

Smooth structures on four-manifolds with finite cyclic fundamental groups

On non-elliptic symplectic manifolds

Geometric invariants associated with projective structures and univalence criteria

Meromorphic almost rigid geometric structures

Deformation rigidity for projective manifolds and isotriviality of smooth families over curves

A Note On Projective Structures On Compact Surfaces

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

Projective geometry of Sasaki-Einstein structures and their compactification

An SL ( 3 , C ) -equivariant smooth compactification of moduli space of rational quartic plane curves

Projective structures with (Quasi‐)Hitchin holonomy