For semisimple Lie algebra targets
For 2-group targets
For Lie 2-algebra targets
For targets extending the super Poincare Lie algebra
(suh as the supergravity Lie 3-algebra, the supergravity Lie 6-algebra)
Chern-Simons-supergravity
For symplectic Lie n-algebroid targets
Axiomatizations
Tools
Models
Phenomena
Types of quantum field thories
What is called the AKSZ formalism – after the initials of its four authors – Alexandrov, Maxim Kontsevich, Albert Schwarz, Oleg Zaboronsky – is a technique for constructing action functionals in BV-BRST formalism for sigma model quantum field theories whose target space is an symplectic Lie n-algebroid .
The action functional of AKSZ theory is that of ∞-Chern-Simons theory induced from the Chern-Simons element that correspondonds to the invariant polynomial . Details on this are at ∞-Chern-Simons theory – Examples – AKSZ theory.
to a Poisson Lie algebroid corresponds the Poisson sigma-model;
the a Courant algebroid corresponds the Courant sigma-model;
in particular to a semisimple Lie algebra corresponds Chern-Simons theory.
Als the A-model and the B-model topological 2d sigma-models are examples.
The original reference is
Dmitry Roytenberg wrote a useful exposition of the central idea of the original work and studied the case of the Courant sigma-model:
Another review is
A cohomological reduction of the formalism is described in
The discussion of the AKSZ action functional as the ∞-Chern-Simons theory-functionl induced from a symplectic Lie n-algebroid in ∞-Chern-Weil theory is due to
In the broader context of smooth higher geometry this is discussed in section 4.3 of