General Yang-Mills type gauge theories for p-form gauge fields: From physics-based ideas to a mathematical framework OR From Bianchi identities to twisted Courant algebroids

Understand

Starting with minimal requirements from the physical experience with higher gauge theories, i.e.

• gauge theories for a tower of differential forms of different form degrees, we discover that all the structural identities governing such theories can be concisely recombined into a so-called Q-structure or, equivalently, a Lie infinity algebroid.
• This has many technical and conceptual advantages: Complicated higher bundles become just bundles in the category of Q-manifolds in this approach (the many structural identities being encoded in the one operator Q squaring to zero), gauge transformations are generated by internal vertical automorphisms in these bundles and even for a relatively intricate field content the gauge algebra can be determined in some lines only and is given by the so-called derived bracket construction.
• This article aims equally at mathematicians and theoretical physicists; each more physical section is followed by a purely mathematical one.