Surface Operator Euler Anomaly

• Surface Operator Euler Anomaly is defined as a universal, topological contribution to the trace anomaly, localized on surface defects in conformal field theories.
• It is computed via heat-kernel, zeta-function, and conformal mapping techniques, yielding coefficients proportional to the defect's Euler characteristic.
• The anomaly critically influences stress tensor correlation functions, holographic dualities, and defect CFT consistency across various dimensions.

Surface operator Euler conformal anomaly quantifies the universal, logarithmic divergence in the expectation value of a surface operator or in the trace of the stress tensor localized on a codimension–1 or codimension–2 submanifold (“surface defect”) in a conformal field theory (CFT). This anomaly, often referred to as the “A-type” or “Euler-type” surface anomaly, is proportional to the Euler characteristic of the defect and represents a topological contribution to the conformal anomaly, generalizing the bulk “A-type” anomaly to the context of boundaries and defects. The anomaly has critical implications for the structure of correlation functions, the consistency of defect CFTs, and the holographic duality in higher-dimensional theories.

1. General Structure of Surface Operator Euler Anomaly

The surface operator Euler anomaly appears as a localized term in the trace anomaly of a CFT defined on a manifold with boundary or surface defect. For a CFT on a $d$-dimensional manifold $M^d$ with a boundary (or more generally a codimension–$q$ defect $\Sigma_p$), the trace of the stress tensor can be expressed as

$$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$

where:

• $\delta(\Sigma_p)$ is the Dirac-distribution localizing on the defect,
• $E_p$ is the $p$-dimensional Euler density constructed from the intrinsic curvature of the defect,
• $a_{\text{surf}}$ (or $a_E$ in some literature) is the Euler (A-type) surface anomaly coefficient, possibly depending on marginal couplings $M^d$0,
• B-type terms have Weyl variations closing on themselves and do not mix with $M^d$1.

The integrated Euler anomaly is then proportional to the Euler characteristic $M^d$2. For even $M^d$3, bulk and boundary Euler anomalies show distinct behavior:

• Even $M^d$4: The anomaly is a bulk A-type term proportional to $M^d$5; no Euler boundary term generically appears if $M^d$6.
• Odd $M^d$7: The bulk anomaly vanishes; the only A-type anomaly comes from the boundary or defect and is proportional to $M^d$8 (Rodriguez-Gomez et al., 2017, Herzog et al., 2021).

2. Explicit Calculation and Coefficients in Free CFTs

In the case of free conformal scalars and massless spin-$M^d$9 fields subject to various boundary conditions, the surface Euler anomaly coefficients $q$0 can be determined using heat-kernel or zeta-function techniques. The coefficients for real conformal scalars (Dirichlet “D” or Robin “R” BC) and Dirac spinors (mixed or spectral BC) on spheres $q$1 are summarized below (Rodriguez-Gomez et al., 2017):

$q$2	$q$3	Scalar (D)	Scalar (R)	Spin-$q$4 (all BC)
3	2	$q$5	$q$6	$q$7
5	2	$q$8	$q$9	$\Sigma_p$0
7	2	$\Sigma_p$1	$\Sigma_p$2	$\Sigma_p$3

For each case, the integrated anomaly is $\Sigma_p$4 (up to normalization).

3. Conformal Mapping and Cutoff Matching

The relationship between boundary conformal anomalies on hyperbolic space $\Sigma_p$5 and the ball $\Sigma_p$6 is established via a conformal mapping. The Weyl rescaling relates the UV cutoff on the ball to the IR cutoff on hyperbolic space such that the coefficient of the logarithmic divergence in the free energy is identical in both cases, thus ensuring $\Sigma_p$7 (Rodriguez-Gomez et al., 2017). This supports the universality of the anomaly under conformal transformations.

4. General Consistency Relations and Defect Euler Anomaly Flow

For a $\Sigma_p$8-dimensional defect in a $\Sigma_p$9-dimensional CFT, the regulated anomaly effective action under Weyl variations takes the general form (Herzog et al., 2021): $$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$0 where $$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$1 is the Euler density, $$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$2 the Euler anomaly coefficient, and $$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$3 represent one-point function anomaly coefficients of marginal operators $$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$4. Wess-Zumino consistency requires

$$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$5

This connects the flow of the Euler anomaly on the conformal manifold to the defect anomalies in one-point functions.

For $$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$6 even, the Euler anomaly is present and takes the form: $$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$7 with $$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$8 related to the marginal-coupling anomaly as above (Herzog et al., 2021).

5. Surface Operator Conformal Anomaly in the 6d $$\langle T^\mu_\mu \rangle = \text{[bulk Weyl invariants]} + \delta(\Sigma_p) \cdot a_{\text{surf}} \cdot E_p + \left[ \delta(\Sigma_p) \cdot \text{(B-type and extrinsic terms)} \right],$$9 Theory

Surface operators in the 6d $\delta(\Sigma_p)$0 theory provide a higher-dimensional, supersymmetric realization of the surface Euler anomaly (Drukker et al., 2020, Drukker et al., 2023). For a surface operator $\delta(\Sigma_p)$1 supported on a two-dimensional surface $\delta(\Sigma_p)$2, the conformal anomaly is captured by the logarithmic divergence in $\delta(\Sigma_p)$3 under Weyl rescaling: $\delta(\Sigma_p)$4 where the anomaly density is

$\delta(\Sigma_p)$5

Here, $\delta(\Sigma_p)$6 is the intrinsic Ricci scalar (with $\delta(\Sigma_p)$7), $\delta(\Sigma_p)$8 an extrinsic curvature invariant, and $\delta(\Sigma_p)$9 scalar fields on the defect.

For “locally BPS” surface operators, the key result is that the Euler anomaly coefficient $E_p$0 controls the topological (intrinsic) contribution:

• Free (abelian) tensor multiplet: $E_p$1.
• Large-$E_p$2 holographic (fundamental) surface operator: $E_p$3. Leading classical holographic surfaces thus have vanishing Euler anomaly (Drukker et al., 2020, Drukker et al., 2023).

This structure was corroborated by direct holographic calculation, where one-loop corrections in the minimal surface approach give precisely $E_p$4 for M2-brane surface operators (Drukker et al., 2023).

6. Anomalous Terms for Singular Surfaces and Extended Operators

If the defect has conical or other singularities, additional (“double-log”) divergences may appear, governed by the same coefficients $E_p$5 that control the smooth anomaly. For a conical defect along a curve $E_p$6, a term proportional to $E_p$7 appears and is localized on the singular locus, with a coefficient involving both extrinsic and scalar-embedding data (Drukker et al., 2020).

The existence of such double-log divergences is a unique feature of surface operator anomalies and has implications for the classification of allowed singularities and their renormalization.

7. Topological Interpretation, Universality, and Applications

The surface Euler anomaly is a truly topological conformal anomaly, proportional to $E_p$8. For smooth surfaces, the only surviving term after integration is

$E_p$9

This property identifies $p$0 (and more generally $p$1) as a type of “defect central charge,” with a role analogous to the central charge in 2d CFT but localized on the surface defect (Drukker et al., 2020, Rodriguez-Gomez et al., 2017).

The universality of this anomaly under conformal transformations and its preservation (or non-renormalization) properties in supersymmetric and large-$p$2 limits have significant consequences for the characterization of defect CFTs, classification of allowed surface operators, and their holographic duals. Surface Euler anomalies also play a crucial role in the study of displacement operator Ward identities, stress tensor correlation functions, and anomaly-induced transport in systems with defects.

Key connections with effective actions, holographic duals, and the full anomaly polynomial of the parent CFT remain active areas of investigation. For the 6d $p$3 theory, the surface Euler anomaly is a determining feature of the correlator structure and appears universally in any defect partition function, providing a direct window into nontrivial higher-dimensional CFT topology (Drukker et al., 2020, Herzog et al., 2021, Drukker et al., 2023).