Abstract:We study connections on higher structures such as Lie and Courant algebroids and their description as differential graded manifolds and explore the role of their basic curvature tensor and of the Atiyah cocycle in topological sigma models and higher gauge theories. The basic curvature of a connection on a Lie algebroid is a measure for the compatibility of the connection with the Lie bracket and it appears in the BV operator of topological sigma models in 2D. Here we define a basic curvature tensor for connections on Courant algebroids and we show that in the description of a Courant algebroid as a QP manifold it appears naturally as part of the homological vector field together with the Gualtieri torsion of a generalised connection. The Atiyah cocycle of a connection on a differential graded manifold is a measure of the compatibility of the connection with the homological vector field. We argue that in the graded-geometric description of higher gauge theories, the structure of gauge transformations is governed by a Kapranov L$_{\infty}[1]$ algebra, whose binary bracket is given by the Atiyah cocycle. We also revisit some aspects of derived structures and we uncover the role of the Atiyah cocycle in deriving $E$-tensors for $E$-connections on Lie and Courant algebroids from ordinary tensors on differential graded manifolds.

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on two aspects: 1. **Roles of the basic curvature tensor and Atiyah cocycle in higher - order structures**: - **Basic curvature tensor**: The paper explores the definition of the basic curvature tensor on Lie algebroids and Courant algebroids and its role in topological sigma models and higher - order gauge theories. The basic curvature tensor measures the compatibility between connections and Lie brackets and is crucial for understanding the geometric properties of these higher - order structures. - **Atiyah cocycle**: The Atiyah cocycle measures the compatibility between connections and homology vector fields on differential graded manifolds. The paper discusses the role of the Atiyah cocycle in higher - order gauge theories, especially how it controls the structure of gauge transformations. 2. **Geometric description of higher - order gauge theories**: - The paper studies connections, twists, and curvature tensors on Lie algebroids and Courant algebroids through the framework of differential graded manifolds. Specifically, the paper explores how to derive E - connections on Lie algebroids and their associated E - twists, basic curvature, and E - curvature tensors from ordinary connections on differential graded manifolds. - Through this geometric description, the paper reveals the importance of the Atiyah cocycle in higher - order gauge theories, especially its role as a binary bracket in the Kapranov $ L_\infty[1] $ algebra. ### Specific problems and solutions 1. **Definition of the basic curvature tensor and its relationship with Gualtieri twist**: - The paper defines the basic curvature tensor on Courant algebroids and explores its relationship with Gualtieri twist. The Gualtieri twist is a twist tensor on generalized connections, while the basic curvature tensor measures the compatibility between connections and Courant algebroid structures. - Formula representation: \[ S_E(e, e')=\nabla_{\rho(e)}\nabla_{\rho(e')}-\nabla_{\rho(e')}\nabla_{\rho(e)}-\nabla_{[\rho(e),\rho(e')]} \] where $ S_E $ is the basic curvature tensor, $ \rho $ is the anchor map, and $ \nabla $ is the induced ordinary connection. 2. **Role of Atiyah cocycle in higher - order gauge theories**: - The paper discusses the role of the Atiyah cocycle in higher - order gauge theories, especially how it controls the structure of gauge transformations. The Atiyah cocycle measures the compatibility between connections and homology vector fields, which is manifested as a binary bracket in the Kapranov $ L_\infty[1] $ algebra. - Formula representation: \[ \text{Atiyah 1 - cocycle}=\nabla^2-\mathcal{L}_Q \] where $ \nabla $ is the connection and $ \mathcal{L}_Q $ is the Lie derivative of the homology vector field $ Q $. 3. **Kapranov $ L_\infty[1] $ algebra in higher - order gauge theories**: - The paper shows that in higher - order gauge theories, the structure of gauge transformations is controlled by the Kapranov $ L_\infty[1] $ algebra, where the unary bracket is the tangential lift of the homology vector field and the binary bracket is given by the Atiyah cocycle. - Formula representation: \[ \mu_1 = \mathcal{L}_Q,\quad\mu_2=-\text{Atiyah 1 - cocycle} \] Through the exploration of these problems, the paper aims to provide a unified geometric framework for higher - order gauge theories.

Basic curvature and the Atiyah cocycle in gauge theory

Basic curvature and the Atiyah cocycle in gauge theory

Brane mechanics and gapped Lie n-algebroids

André-Quillen cohomology in the context of curved algebras

On Some Aspects of the Courant-Type Algebroids, the Related Coadjoint Orbits and Integrable Systems

An exploration of connections and curvature in the presence of singularities

Metric-Bourbaki algebroids: Cartan calculus for M-theory

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

The Coulomb gauge in non-associative gauge theory

Cyclic theory for commutative differential graded algebras and s-cohomology

Quantized Abelian principal connections on Lorentzian manifolds

Reading between the rational sections: Global structures of 4d $\mathcal{N}=2$ KK theories

Graded Geometry and Tensor Gauge Theories

Homological aspects of topological gauge-gravity equivalence

String Principal Bundles and Courant Algebroids

Integrating curved Yang-Mills gauge theories

Chirality, a new key for the definition of the connection and curvature of a Lie-Kac superalgebra

Current Algebra and Generalised Cartan Geometry

Geometric BV for twisted Courant sigma models and the BRST power finesse