---
title: Type-A Conformal Anomaly in Even-Dimensional CFTs
url: https://www.emergentmind.com/topics/type-a-conformal-anomaly
type: topic
---

# Type-A Conformal Anomaly in Even-Dimensional CFTs

The type-A conformal anomaly, also known as the Euler or "a"-anomaly, is a universal, scheme-independent contribution to the quantum trace anomaly of conformal field theories (CFTs) defined on even-dimensional curved manifolds. It multiplies the Euler density of the spacetime and is topological in origin, being directly related to global geometric properties such as the Euler characteristic. Its presence signals an obstruction to Weyl invariance at the quantum level and leads to important physical and mathematical constraints, including monotonicity under renormalization group (RG) flows, connections to entanglement entropy, and deep links to the geometry and topology of the background spacetime.

## 1. Structure and Definition

In any even dimension $d=2n$, the vacuum expectation value of the trace of the energy-momentum tensor in a CFT coupled to a background metric $g_{\mu\nu}$ acquires a universal anomalous contribution:
\[
\langle T^\mu{}_\mu \rangle = a\,E_{d} + \sum_i c_i\,I_i + \text{(total derivatives)}.
\]
Here, $E_d$ is the $d$-dimensional Euler density, $a$ is the type-A anomaly coefficient, and $I_i$ are local, strictly Weyl-invariant scalars—these yield the type-B anomaly coefficients $c_i$ [1509.08511, 1510.01427, 1710.09327]. The Euler density takes the form
\[
E_{d} = \frac{1}{2^n n!} \varepsilon^{\mu_1 \nu_1 \dots \mu_n \nu_n} R_{\mu_1 \nu_1}{}^{\rho_1 \sigma_1} \cdots R_{\mu_n \nu_n}{}^{\rho_n \sigma_n} g_{\rho_1 \sigma_1} \cdots g_{\rho_n \sigma_n}.
\]
The $a$-coefficient is the universal, scheme-independent measure of the type-A anomaly.

On closed manifolds, the type-A anomaly integrates to $a \cdot \chi(M_d)$, where $\chi(M_d)$ is the Euler characteristic. In odd $d$, there is no bulk anomaly; however, in the presence of boundaries, there exist boundary type-A anomalies proportional to the Euler characteristic of the boundary [1710.09327].

## 2. Cohomological Origin and Uniqueness

The type-A anomaly emerges as the only nontrivial solution to the Wess-Zumino consistency condition for Weyl (conformal) anomalies in even dimensions. This condition is naturally formulated in the BRST cohomology of the Weyl differential $s_W$; the most general solution is [0704.2472, 2601.18892]:
\[
A(x) = a\,E_{2n}(x) + \sum_i c_i\,I_i(x),
\]
with the $E_{2n}$ term being distinguished by a nontrivial cohomological descent, analogous to the Stora-Zumino descent for non-Abelian chiral anomalies. This algebraic characterization implies:

- Universality: Type-A anomaly exists in all even dimensions.
- Uniqueness: It is uniquely fixed by topological data (Euler class) and Weyl consistency; no other type-A structures occur.
- Regularization Independence: Any scheme breaking only Weyl invariance and preserving diffeomorphism invariance yields the same $E_{2n}$ anomaly structure [0704.2472].

## 3. Computation and Examples in Free Theories

The extraction of $a$ for free fields proceeds by heat-kernel or spectral methods. On the $d$-sphere ($S^d$), total derivative and type-B contributions vanish, so the integrated anomaly reduces to $a \int_{S^d} E_d = 2a$, since $\int_{S^d} E_d = 2$ [2007.13670, 1710.09327]. Explicit values for standard fields include:
  
| Field Type               | $a$ in $d=4$              | $a$ in $d=6$                  |
|--------------------------|---------------------------|-------------------------------|
| Scalar                   | $1/360$                   | $1/1512$                      |
| Dirac Spinor             | $11/360$                  | $191/15120$                   |
| Maxwell (Abelian Vector) | $31/180$                  | –                             |

Higher-derivative conformal fields and $p$-forms admit a spectral representation and integral Plancherel formula for $a$ [2007.13670]. In six dimensions, explicit determinant and group theoretic methods have been used to compute $a$ for (non-)unitary superconformal multiplets [1506.08727].

For conformal higher-spin (CHS) fields in four dimensions, the $a_s$ anomaly coefficient is obtained either holographically via a one-loop computation for massless Fronsdal fields in a 5d Poincaré–Einstein bulk,
\[
a_s = \frac{s(s+1)\,\bigl[14\,s(s+1)+3\bigr]}{720},
\]
or equivalently via heat-kernel analysis on the boundary [1710.03779].

## 4. Geometric and Topological Interpretation

The type-A anomaly multiplies the Euler density, rendering it a topological invariant in closed even-dimensional manifolds:
\[
\int_{M_d} \langle T^\mu{}_\mu \rangle = a \chi(M_d).
\]
In the presence of a boundary, further universal boundary terms enter:
\[
\mathcal{A} = -2a\,\chi_{d} + \text{bulk and boundary type-B and boundary-specific terms},
\]
where $\chi_{d}$ incorporates both bulk and boundary Euler densities [1510.01427, 1710.09327]. In odd $d$, the anomaly is purely a boundary effect, proportional to $\chi(\partial M_{d})$.

From a cohomological and descent perspective, the type-A anomaly arises as the descent of the Euler class of the conformal group $SO(d+1,1)$ in two dimensions higher, unifying its treatment with ordinary perturbative gauge and gravitational anomalies. This construction underpins the Wess-Zumino and dilaton effective actions for broken conformal symmetry [2601.18892].

## 5. Physical Significance and Applications

The $a$-anomaly encodes several deep properties:
- **Monotonicity under RG Flows:** In four dimensions, the $a$-theorem ensures that $a_\text{UV} \geq a_\text{IR}$ along renormalization group flows, paralleling Zamolodchikov's $c$-theorem in two dimensions [1510.01427].
- **Sphere Partition Functions and Kähler Potential:** In supersymmetric CFTs, sphere partition functions are fixed by the Kähler potential on the conformal manifold and by the $a$-anomaly [1509.08511].
- **Entanglement Entropy:** For even $d$ and suitable operator order, the entanglement entropy reduces to (minus) the sphere $a$-anomaly [2007.13670].
- **Dilaton Effective Actions:** The variation of the Wess-Zumino (dilaton) action with respect to a compensator field $\tau$ under Weyl rescaling reproduces the type-A anomaly. The local and nonlocal forms are tightly constrained [1612.01296, 2601.18892].
- **Gravitational Backreaction:** Corrections to the Einstein equations due to $a$-anomaly-induced stress tensors can become large in early universe or high-curvature regimes [1612.01296].
- **RG Anomaly Matching:** The Euler descent construction enforces 't Hooft matching conditions for the full conformal group, beyond just the Weyl subgroup [2601.18892].

## 6. Dependence on Marginal Couplings and Global Structure

For CFTs with exactly marginal couplings (conformal manifolds), the type-A anomaly may acquire a sigma-model structure on the conformal manifold $\mathcal{M}$, with the $a$-coefficient controlling, e.g., the Zamolodchikov metric $g_{IJ}$ [1509.08511],
\[
a \propto g_{IJ}.
\]
Wess-Zumino consistency further constrains possible anomalies and derivative terms—the only universal anomaly involving marginal couplings is the sigma-model term. With boundaries or defects, the $a$-anomaly localized on the defect may depend nontrivially on marginal couplings, with its derivative determined by defect one-point functions [1907.04952]. For even-dimensional boundaries or defects, the $a$-coefficient is not generally constant across the conformal manifold.

## 7. Holography, Higher Spins, and Nonunitary Theories

Holographic methods have been used to compute the type-A anomaly for higher-spin theories and superconformal multiplets, matching boundary heat-kernel (and determinant) computations. In particular, the type-A anomaly for 4d CHS fields was calculated holographically via a one-loop effective action for massless Fronsdal fields in a 5d Poincaré–Einstein bulk, employing Lichnerowicz-type Weyl coupling and WKB-exact heat-kernel expansion. The holographically obtained $a_s$ coefficients agree precisely with independent boundary computations [1710.03779].

For nonunitary or higher-derivative theories, the type-A anomaly can be arbitrary (even negative) and plays a critical role in classifying novel gravitational and cosmological solutions, such as those featuring cosmological singularities with geodesic completeness determined by the ratio of type-A to type-B anomaly coefficients [2512.04591]. In six-dimensional nonunitary superconformal theories, the type-A anomaly may cancel in special multiplet combinations, reflecting higher-dimensional generalizations of anomaly cancellation mechanisms [1506.08727].

---

**References**:  
[0704.2472], [1506.08727], [1509.08511], [1510.01427], [1612.01296], [1710.03779], [1710.09327], [1907.04952], [2007.13670], [2512.04591], [2601.18892]

Source: https://www.emergentmind.com/topics/type-a-conformal-anomaly