Anomaly Polynomial TFTs Overview

• Anomaly Polynomial TFTs are frameworks that represent a d-dimensional theory’s ’t Hooft anomalies via a (d+1)-dimensional topological field theory constructed from the theory’s anomaly polynomial.
• They employ anomaly inflow, higher-form symmetries, and extended operator braiding to systematically resolve obstructions to gauging global symmetries.
• Explicit examples in SCFTs, Yang–Mills–Chern–Simons, and 8D gauge theories illustrate the integration of geometric engineering and operator algebra to capture intricate anomaly data.

Anomaly Polynomial Topological Field Theories (TFTs)—often termed “Symmetry TFTs” (SymTFTs)—constitute a framework for encoding the ’t Hooft anomaly data of a $d$-dimensional quantum field theory $\mathcal{T}$ in a $(d+1)$-dimensional invertible topological field theory, whose bulk action is constructed directly from the anomaly polynomial of $\mathcal{T}$. This formalism unifies anomaly inflow, higher-form symmetries, operator algebras, and geometric engineering, providing comprehensive means to represent and manipulate obstructions to gauging global and higher symmetries in field theory and string theoretic contexts.

1. Core Definition and Construction of Anomaly Polynomial TFTs

Given a $d$-dimensional theory $\mathcal{T}$ with conserved $p$-form symmetry, the ’t Hooft anomaly is encapsulated by an anomaly polynomial $I_{d+2}(C)$, a closed $(d+2)$-form built from the background gauge field $C_{p+1}$ and possible gauge or R-symmetry field strengths. The anomaly polynomial serves as the generating object for anomaly inflow and the construction of a bulk topological theory: $$S_{\text{bulk}}[C] = 2\pi i \int_{M_{d+1}} I_{d+2}(C)$$ where $M_{d+1}$ is a $(d+1)$-manifold filling the $d$-dimensional boundary $M_d$. On gauge transformation at the boundary, $S_{\text{bulk}}$ reproduces the anomalous variation in $\mathcal{T}$, thus canceling the anomaly by inflow (Zotto et al., 2024).

2. Anomalies as Boundary Condition Obstructions and Link Correlators

In the SymTFT, the anomaly does not manifest as a local bulk observable, but rather as an obstruction to well-defined topological boundary conditions, specifically the Neumann boundary conditions for certain topological symmetry operators. Extended topological operators $\mathcal{D}^\beta_{Mp}(\Sigma)$—defined via branes wrapping torsion cycles $\beta$ in the link at infinity—act on defects at the boundary and possess bulk correlation functions that compute topological linking numbers. Nontrivial higher-linking correlators,

$$\left\langle \prod_{a=1}^L \mathcal{D}_a(\Sigma_a) \right\rangle = \exp\left(2\pi i\, \mathrm{Link}^{(\varkappa)}_{\mathbf{L}_X}(\beta^1,\ldots,\beta^L)\, \mathrm{Link}^{(\kappa)}_{S^{d+1}}(\Sigma_1,\ldots,\Sigma_L) \right)$$

signal a mixed ’t Hooft anomaly when pushed to the boundary, obstructing the simultaneous specification of Neumann conditions for the involved operators (Zotto et al., 2024).

3. Explicit Examples: SCFTs, Yang-Mills-Chern-Simons, and 8D Anomaly Cancellation

(a) Five-dimensional SU$(p)_q$ SCFTs

The $5$D SCFT with gauge group $\text{SU}(p)$ and Chern-Simons level $q$ exhibits a $\mathbb{Z}_n$ 1-form symmetry ($n = \gcd(p,q)$) with anomaly polynomial: $$I_6(B_2) = \frac{q\,p(p-1)(p-2)}{6(2\pi)^3} B_2 \wedge B_2 \wedge B_2$$ This descends to a $6$D SymTFT with bulk BF+Chern–Simons action, whose non-vanishing triple linking correlator among three $S^3$ submanifolds signals the ’t Hooft anomaly and restricts gauging of the symmetry (Zotto et al., 2024).

(b) Yang–Mills–Chern–Simons Theory

For $3$D Yang–Mills–Chern–Simons theory with gauge algebra $su(N)$ at level $k$, the anomaly polynomial for the 1-form symmetry is: $$I_4(B) = \frac{2\pi i\,\ell}{2N} P(B) = \frac{i\,\ell}{4\pi} \int_{M_4} B \wedge B$$ The corresponding $4$D SymTFT bulk action is a discrete Dijkgraaf–Witten theory: $$S_{\text{bulk}}[B,C] = \int_{M_4} \left\{ \frac{iN}{2\pi} B \wedge dC + \frac{iN\ell}{4\pi} B \wedge B \right\}$$ The inclusion of endable (tubular) surfaces resolves ill-defined boundary braiding, guaranteeing consistency with all global variants and their symmetries and anomalies (Argurio et al., 2024).

(c) Topological Green–Schwarz Mechanism in Eight Dimensions

The 8D $\mathcal{N}=1$ $\mathfrak{sp}(k)$ gauge theory admits a $\mathbb{Z}_2$-valued global anomaly for $k > 1$, represented by a KO-theoretic “anomaly polynomial”: $$S_{9D}[P] = \pi \int_{N_9} \xi \cup \xi \in \{0, \pi\}\ (\bmod\ 2\pi)$$ where $\xi=[V] \in KO^4(N_9)$, $V$ being the relevant vector bundle. The associated 9D SymTFT, constructed from D3 and flux-4-brane operators with KO/KSp data, cancels the global anomaly via topological inflow, enforcing absence of odd-instanton sectors and restoring consistency—characterizing a topological Green–Schwarz mechanism (Torres, 2024).

4. Operator Algebra, Extended Surfaces, Fusion, and Braiding

SymTFTs encode extended bulk operators, generated by Wilson surfaces and lines. In the case of 4D Dijkgraaf–Witten-type TFTs, generators $(W_B)^p$, $(W_C)^q$ satisfy fusion and braiding relations: $$B((W_B)^m,(W_C)^r) = \exp\left(\frac{2\pi i}{N} m r\right), \quad B((W_C)^{r_1}, (W_C)^{r_2}) = \exp\left(\frac{2\pi i \ell}{N} r_1 r_2 \right)$$ The maximal isotropy of the Lagrangian algebra $\mathcal{L}$ under braiding and constraints from spin structure ($q^2 \ell \equiv 0$ modulo $N$ or $2N$) classify all global forms $(SU(N)/Z_p)_k$ and realize the full spectrum of boundary symmetries and anomalies. Endable surfaces, which may be capped or intersected in the bulk, uniquely reproduce nontrivial boundary braiding when pulled to the boundary (Argurio et al., 2024).

5. Geometric Engineering and Higher-Linking via Branes

Geometric engineering realizes anomaly polynomial TFTs by embedding the construction in string/M-theory. For M-theory on a Calabi–Yau threefold cone $X$, bulk SymTFTs are derived from branes wrapping torsion cycles in the link $\mathbf{L}_X$ at infinity. The linking pairings of these branes, for example: $$\mathrm{Link}_{Y^{p,q}}^{(2)}(\beta^3,\beta^3,\beta^3) = \frac{q\,p(p-1)(p-2)}{(\gcd(p,q))^3}$$ reproduce precisely the coefficients of the anomaly polynomial constructed in field theory, demonstrating equivalence between Lagrangian, SymTFT, and geometric descriptions. This triangle of correspondences establishes deep structural unity among gauge anomalies, topological field theory, and stringy algebraic geometry (Zotto et al., 2024).

6. Consistency, Classification, and Extensions

Direct calculation in multiple instances (SU$(p)_q$, 4D $\mathcal{N}=4$ SYM, 7D ADE SYM, 8D Sp$(k)$ theory) reveals exact agreement among:

• Descent of the field-theoretic anomaly polynomial $I_{d+2}$ to the bulk SymTFT action.
• Geometric linking invariants of brane configurations and torsional cycles in Calabi–Yau links.
• Boundary link correlators and operator algebraic fusion/braiding in SymTFT.

This unity permits systematically classifying anomalies and symmetry-protected topological phases, constructing anomaly-cancellation mechanisms (including topological Green–Schwarz analogs (Torres, 2024)), and generalizing to arbitrary gauge groups via real $K$-theory.

---

A plausible implication is that the anomaly polynomial TFT framework can be extended to classify and manipulate global anomalies (including those captured by KO/KSp theory and higher-categorical structures) in arbitrary dimensions, providing both computational and conceptual infrastructure for investigations in quantum field theory, topological invariants, and string/M-theory compactifications.