{"id":"arxiv/2602.03441","url":"https://arxiv.org/abs/2602.03441","tags":["math.DG","hep-th","math-ph","math.AG","math.AT"],"score":0,"title":"Symmetries and Higher-Form Connections in Derived Differential Geometry","domain":"math.DG","source":"arxiv","authors":["Severin Bunk","Lukas Müller","Joost Nuiten","Richard J. Szabo"],"reviews":0,"subject":"math.DG","summary":"We introduce a general definition of higher-form connections on principal $\\infty$-bundles in differential geometry. This is achieved by developing the formal differentiation and integration of maps from smooth manifolds to derived stacks with sufficient deformation theory. That allows us to introduce the Atiyah $L_\\infty$-algebroid of a principal $\\infty$-bundle and establish its global sections as the $L_\\infty$-algebra of the derived higher symmetry group of the bundle. We define the space of $p$-form connections on an $\\infty$-bundle as the space of order $p$ splittings of its Atiyah…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-03","reactions":{}}