BF theory as an AKSZ theory
$
\newcommand{\gf}{\mathcal{g}}
\newcommand{\Ci}{C^\infty}
\newcommand{\FF}{\mathcal{F}}
\newcommand{\AA}{\mathcal{A}}
\newcommand{\TT}{\mathcal{T}}
\newcommand{\BB}{\mathcal{B}}
\newcommand{\ev}{\mathrm{ev}}
\newcommand{\Map}{\mathrm{Map}}
\newcommand{\lra}{\longrightarrow}
\newcommand{\pair}[2]{\left\langle #1, #2 \right\rangle}
$
While the previous introduction to AKSZ-type field theories completely lacked any practical examples, I already mentioned some popular TQFTs that can be formulated as AKSZ theories. In this article I will focus on $\textbf{BF theories}$, a certain type of TQFT that can be formulated in any dimension, a rare feat for a TQFT. Again the exposition will mainly follow the lecture notes by Prof. Pavel Mnev while giving some additional insights and comments.
Let $G$ be a Lie-group and $\gf$ its Lie-algebra. For the sake of simplicity we will focus on classical BF theory defined over a trivial $G$-bundle. Thus let $M$ be any compact oriented $n$-manifold without boundary and denote by $\mathrm{Conn}(G)$ the connections on the trivial $G$-bundle over $M$. Further define the $\textbf{curvature}$ of a connection $A \in \mathrm{Conn}(G)$ by
$$ F_A := dA + \frac{1}{2} [A,A] \in \Omega^2(M; \gf), $$
where $d$ denotes the de Rham differential, $\Omega^\bullet(M; \gf)$ the differential complex of $\gf$-valued differential forms and $[\cdot , \cdot]$ the Lie-bracket of $\gf$. Now if we denote by $\langle \cdot, \cdot \rangle$ the canonical non-degenerate pairing of $\gf$ and its dual $\gf^*$ [in particular this defines an invariant polynomial], we can define the following action functional:
$$\begin{aligned}
S_{cl} \colon \mathrm{Conn}(G) \times \Omega^{n-2}(M; \gf) &\longrightarrow \mathbb{R} \\
(A, B) & \longmapsto \int_M \pair{B}{F_A} .
\end{aligned}$$
While we won't need the explicit form of the action functional for the construction of the BV action in the AKSZ formalism, it will be an interesting exercise to consider its form once we have constructed the latter. Now the $\textbf{source data}$ is already clear: It is the compact oriented $n$-manifold without boundary $M$ together with the de Rham differential $d_M$. For the target, consider the following data:
All in all the tuple $(N, Q_N, \omega_N, \Theta_N)$ poses the necessary target data properties to start the AKSZ construction! For the space of fields we can utilise the following helpful property of the mapping space: Since $\FF := \mathrm{Map}(T[1]M, N)$ and $N = \gf[1] \oplus \gf[n-2]$ is a graded vector space, it admits a global coordinate chart. We can thus identify the mapping space as
$$ \FF = \Omega^\bullet(M) \otimes N \cong \Omega^\bullet(M;\gf)[1] \oplus \Omega^\bullet(M;\gf^*)[n-2], $$
i.e. the space of $N$-valued differential forms on $M$. Next we pull back the generating functions $\phi$ and $\xi$, identified with $x^1$ and $x^2$ from the AKSZ construction, via $\ev \colon T[1]M \times \FF \lra N$ obtaining
$$\begin{aligned}
\AA := X^1 &= \ev^* \phi = c + A + B^\dagger + \sum_{i = 1}^{n-2} \tau_i^\dagger, \\
\BB := X^2 &= \ev^*\xi = c^\dagger + A^\dagger + B + \sum_{i = 1}^{n-2} \tau_i.
\end{aligned}$$
At this point we should carefully analyse the above "superfields" $\AA$ and $\BB$ in terms of their components:
A discussion of the physical meaning of anti-fields, ghost fields, anti-ghosts and the ghost number (i.e. internal degree) demands its own article. For now note that the components in negative internal degree correspond to the Koszul-Tate generators of the BV complex. A special role is assigned to $\tau_1$ and $c$ which are the generators of the gauge symmetries of BF theory. Meanwhile the higher order ghosts generate a particular reducibility the previously mentioned gauge symmetries exhibit. In particular this implies that in higher dimensions, the gauge symmetries are higher-order reducible, more on that in another article on BF theory. Note that the anti-fields and anti-ghosts arise in the usual construction of the BV complex to make its cohomology acyclic except for degree $0$. This is a rather strict demand and can lead to obstructions when trying to quantise the system.
Using the AKSZ construction we march forward to define the $(-1)$-symplectic form on $\FF$ as
$$\begin{aligned}
\omega :&= \TT(\omega_N) = \int_M \pair{ \delta \BB }{ \delta \AA }\\
&= \int_M \pair{\delta A}{\delta A^\dagger} + \pair{\delta B}{\delta B^\dagger} + \pair{\delta c}{\delta c^\dagger} + \sum_{i=1}^{n-2} \pair{\delta \tau_i}{\delta \tau_i^\dagger}
\end{aligned}$$
In particular we get
$$ \alpha := \TT(\alpha_N) = \int_M \pair{ \BB }{ \delta \AA }. $$
All that's left is to construct the BV action:
$$ S^{BF}_{BV} := \imath_{d^\dagger_M} \circ \TT(\alpha_N) + \TT(\Theta_N) = \int_M \pair{ \BB }{ \delta \AA + \frac{1}{2} [\AA, \AA] }. $$
Since we now see that the thus constructed tuple $(\FF, \omega, Q, S^{BF}_{BV})$ where $Q$ is the Hamiltonian vector field associated to $S^{BF}_{BV}$ is the data of a classical BV theory, we have successfully solved the classical gauge problem for the described BF theory!
Selected Works
Contact
Email: info[]leonmenger[]de
Github: /Leon-Menger
LinkedIn: /leonmenger
ORCID: 0000000306214977
© Leon Menger 2023
Website built with OCD