Polyakov Anomaly Backreaction in 2D Gravity

• Polyakov anomaly backreaction is the mechanism by which 2D conformal trace anomalies produce an effective gravitational source through nonlocal or localized actions.
• The theory employs boundary counterterms and auxiliary scalar fields to restore conservation laws and select the appropriate quantum state.
• Various formulations, including Liouville, dilaton, and holographic models, illustrate its impact on vacuum, black-hole, and orbifold geometries.

Searching arXiv for the cited and closely related papers on Polyakov anomaly backreaction. {"query":"Polyakov anomaly backreaction 2D boundary effect anomaly-induced action (Shen et al., 2015)", "max_results": 10} {"query":"(Shen et al., 2015)", "max_results": 5} {"query":"(Mohammadi et al., 2024) Polyakov anomaly orbifold Riemann surfaces", "max_results": 5} {"query":"(Ghaffarnejad, 2014) quantum fields backreaction corrections two dimensional analogue", "max_results": 5} Polyakov anomaly backreaction denotes the feedback of the two-dimensional conformal trace anomaly, and of closely related Liouville and holographic anomaly functionals, into geometry through an effective action and its stress tensor. In the formulations considered here, the anomaly is represented either by the nonlocal Polyakov action, by a local action obtained with an auxiliary scalar field, by a Hadamard-renormalized stress tensor in a dilaton reduction, or by a Liouville functional dual to a renormalized bulk volume. Across these settings, backreaction is controlled by how the anomalous stress tensor is defined, how boundary terms are restored, and how boundary conditions encode the quantum state (Shen et al., 2015, Ghaffarnejad, 2014, Mohammadi et al., 2024).

1. Polyakov anomaly as an effective gravitational source

In two dimensions the trace anomaly of a conformal scalar is

$\langle T^\mu{}_\mu\rangle= -\frac{1}{24\pi}\,R .$

A standard way to generate this anomaly is the nonlocal Polyakov action

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$

where $D$ is the Green’s function of the scalar Laplacian, defined by

$\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$

This action is constructed so that its metric variation produces a stress tensor with the same trace as the anomaly (Shen et al., 2015).

In this sense, Polyakov anomaly backreaction begins with a specific replacement of ultraviolet quantum information by a finite functional of the metric. The backreaction problem is then not merely to compute $\langle T^\mu{}_\mu\rangle$, but to determine the full $T_{\mu\nu}$ derived from the anomaly-induced action and to couple it back into the geometric equations. In pure two dimensions this coupling is expressed through a Liouville-type equation for the conformal factor, while in reduced or holographic settings it appears through dilaton equations or Fefferman–Graham data.

2. Boundary completion and localization by an auxiliary field

A central refinement is the restoration of the boundary contribution associated with the counterterm $\sim\int R$. If $\Sigma\equiv\partial\mathcal M$ is a timelike boundary with induced metric $\gamma_{ab}$ and extrinsic curvature $K$, the full counterterm action is

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$0

The associated Wess–Zumino variation produces the nonlocal anomaly action together with a boundary correction. The 2015 analysis emphasizes that this boundary effect had been ignored in previous studies, and that its inclusion changes the interpretation of the localized theory (Shen et al., 2015).

The localization proceeds by introducing an auxiliary scalar $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$1,

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$2

where $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$3. In the thin-wall limit $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$4, the auxiliary field obeys

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$5

together with the boundary condition

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$6

The local anomaly-induced action then becomes

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$7

The corresponding stress tensor is defined by

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$8

In the bulk,

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$9

On shell, $D$0 recovers the standard anomaly stress tensor. The surface term implies no extra $D$1 in the interior, but it enforces the boundary condition $D$2 (Shen et al., 2015).

A common simplification is to treat the auxiliary field as only a formal localization device. The boundary analysis shows a stronger statement: once the surface term is retained, the classical solutions for $D$3 are naturally related to the quantum states of the original field.

3. Quantum-state selection in flat, black-hole, and de Sitter backgrounds

For two-dimensional metrics written in conformally flat form,

$D$4

the auxiliary field is split as $D$5, where $D$6 solves $D$7 and $D$8 solves $D$9 subject to $\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$0 on $\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$1. The arbitrary homogeneous part $\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$2 encodes the choice of quantum state (Shen et al., 2015).

Background	$\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$3	State selected by boundary conditions
Flat space	$\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$4 for $\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$5	Minkowski, Rindler, Unruh-like
2D Schwarzschild	$\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$6	Boulware, Hartle–Hawking, Unruh
de Sitter	$\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$7 or $\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$8	Bunch–Davies, static

In flat space with $\Box_x D(x,x')=-\,\delta^2(x-x')/\sqrt{-g}.$9, the general homogeneous solution is

$\langle T^\mu{}_\mu\rangle$0

Imposing vanishing at spatial infinity selects $\langle T^\mu{}_\mu\rangle$1 for the Minkowski vacuum. In Rindler coordinates $\langle T^\mu{}_\mu\rangle$2, $\langle T^\mu{}_\mu\rangle$3, and finiteness at the Rindler horizon implies $\langle T^\mu{}_\mu\rangle$4; $\langle T^\mu{}_\mu\rangle$5 gives the Rindler vacuum, while $\langle T^\mu{}_\mu\rangle$6 yields the Minkowski vacuum as a thermal state. In the Unruh wedge, $\langle T^\mu{}_\mu\rangle$7 and $\langle T^\mu{}_\mu\rangle$8; the horizon boundary condition again fixes $\langle T^\mu{}_\mu\rangle$9, with $T_{\mu\nu}$0 reproducing the usual Unruh flux (Shen et al., 2015).

For the two-dimensional Schwarzschild metric outside the horizon $T_{\mu\nu}$1, $T_{\mu\nu}$2 and $T_{\mu\nu}$3. The field is written as $T_{\mu\nu}$4, and the condition $T_{\mu\nu}$5 is enforced both at $T_{\mu\nu}$6 and at $T_{\mu\nu}$7. The Boulware state is obtained by demanding $T_{\mu\nu}$8 as $T_{\mu\nu}$9, which gives $\sim\int R$0 and reproduces the horizon divergence. The Hartle–Hawking state is regular across both past and future horizons; in Kruskal coordinates one uses $\sim\int R$1 and $\sim\int R$2, with $\sim\int R$3 giving the thermal bath at $\sim\int R$4. The Unruh state is regular only on the future horizon, implemented by choosing one Kruskal null coordinate and imposing the boundary condition only there; again $\sim\int R$5 with $\sim\int R$6 gives the Unruh flux (Shen et al., 2015).

For de Sitter space, the flat-slicing form $\sim\int R$7 gives $\sim\int R$8, and finiteness on the two flat-space boundaries leads to $\sim\int R$9, where $\Sigma\equiv\partial\mathcal M$0 is Bunch–Davies. In the static patch, $\Sigma\equiv\partial\mathcal M$1 and $\Sigma\equiv\partial\mathcal M$2; the cosmological horizon fixes $\Sigma\equiv\partial\mathcal M$3, with $\Sigma\equiv\partial\mathcal M$4 giving the static vacuum and $\Sigma\equiv\partial\mathcal M$5 reproducing Bunch–Davies as a thermal state at $\Sigma\equiv\partial\mathcal M$6 (Shen et al., 2015).

The general conclusion is explicit: once the boundary condition $\Sigma\equiv\partial\mathcal M$7 is imposed, the unique choice of $\Sigma\equiv\partial\mathcal M$8 that yields a nonsingular finite stress tensor at each boundary coincides exactly with the usual quantum-field-theory vacuum. This identifies the state dependence of the quantum theory with the homogeneous sector of the auxiliary field.

4. Semiclassical backreaction equations in Liouville and dilaton form

In pure two dimensions, backreaction on the conformal factor is described by a Liouville-type equation. Writing

$\Sigma\equiv\partial\mathcal M$9

and taking the total action to be the classical $\gamma_{ab}$0 plus $\gamma_{ab}$1, variation with respect to $\gamma_{ab}$2 yields the trace of $\gamma_{ab}$3 and the equation

$\gamma_{ab}$4

This is the standard Liouville equation governing the backreaction of the anomaly on the conformal factor (Shen et al., 2015).

A distinct realization arises in the two-dimensional analogue of spherically symmetric Einstein–scalar theory studied in "Spherically symmetric curved space times from quantum fields backreaction corrections in two dimensional analogue" (Ghaffarnejad, 2014). There the renormalized expectation value of the quantum dilaton–matter stress tensor is obtained by Hadamard renormalization, starting from a symmetric two-point function with logarithmic singularity,

$\gamma_{ab}$5

Point-splitting and subtraction of the Hadamard singular part lead to a finite renormalized tensor containing the vacuum polarization $\gamma_{ab}$6, the coincidence coefficient $\gamma_{ab}$7, and explicit couplings to

$\gamma_{ab}$8

In that setting the anomaly trace takes the form

$\gamma_{ab}$9

The coefficient $K$0 is fixed by requiring that on the apparent-horizon locus

$K$1

the anomaly reduce to the standard $K$2D form $K$3. This gives

$K$4

The coupled backreaction system then consists of the metric–dilaton equations,

$K$5

$K$6

together with the requirement of covariant conservation. Because $K$7 alone fails to be conserved, a state-dependent scalar $K$8, called a variable cosmological parameter, is introduced through

$K$9

The slow-varying limit,

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$00

yields an explicit anomaly-corrected black-hole-type solution. In conformal gauge,

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$01

the function $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$02 satisfies

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$03

with solution

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$04

Reconstruction of the four-dimensional line element,

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$05

shows explicitly how the anomaly deforms the classical black-hole geometry (Ghaffarnejad, 2014).

5. Holographic backreaction from the Polyakov anomaly

A more recent extension places Polyakov anomaly backreaction in the setting of orbifold Riemann surfaces and Schottky $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$06-orbifolds. For an orbifold Riemann surface $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$07 of signature $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$08, the metric is written as

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$09

with normalization chosen so that the unique constant-negative-curvature metric in the conformal class obeys

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$10

The generalized Liouville functional $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$11 includes regularized bulk terms, conical contributions at orbifold points, boundary-cycle terms, and logarithms of Hermitian metrics on tautological line bundles (Mohammadi et al., 2024).

On the bulk side, one considers a Schottky handlebody $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$12-orbifold $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$13 with conformal boundary $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$14, endowed near the boundary with the hyperbolic metric

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$15

A $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$16-automorphic defining function $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$17 satisfies

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$18

as $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$19, and the truncated volume and area are used to define the renormalized volume $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$20. The central holographic identity is

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$21

where the area term is $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$22. The paper states that, in the classical Liouville cases on $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$23 and $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$24, this holography principle had been proved earlier in [hep-th/0005106] and (Park et al., 2015), and that the orbifold result extends the picture developed from (Taghavi et al., 2023, Mohammadi et al., 2024).

Under a Weyl rescaling $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$25, the variation of $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$26 is

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$27

with

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$28

Equivalently, in terms of the central charge $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$29,

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$30

Hence the Polyakov anomaly kernel is

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$31

and because $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$32,

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$33

The induced boundary stress tensor is

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$34

with

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$35

where $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$36 is the Schwarzian generator of accessory parameters. In the bulk, Einstein equations with conical sources are solved in Fefferman–Graham gauge,

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$37

and the Polyakov anomaly backreaction enters through

$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$38

This identifies the anomaly with a precise modification of the near-boundary Einstein metric. The same work states that $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$39 acts as Kähler potential for a particular combination of the Weil–Petersson and Takhtajan–Zograf metrics appearing in the local index theorem for orbifold Riemann surfaces (Takhtajan et al., 2017), and that the method may provide an alternative approach to the renormalized Polyakov anomaly for punctured Riemann surfaces discussed in (0909.0807, Mohammadi et al., 2024).

6. Conceptual synthesis, scope, and common points of confusion

The three settings above exhibit a common structure. First, the anomaly is encoded in an effective object: the nonlocal Polyakov functional, the local $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$40 action with boundary term, the Hadamard-renormalized stress tensor, or the generalized Liouville functional $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$41. Second, backreaction depends on a supplementary prescription: boundary data $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$42, a conservation-restoring $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$43, or the holographic identification of $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$44 with the Weyl variation. Third, state selection is not external to the formalism; it is carried by homogeneous solutions, vacuum-polarization data, or defect insertions (Shen et al., 2015, Ghaffarnejad, 2014, Mohammadi et al., 2024).

Several recurrent misunderstandings are addressed by these results. One is that Polyakov anomaly backreaction is purely a bulk effect. In the boundary-completed anomaly action, the surface term does not add an interior stress tensor, but it is decisive because it enforces the boundary condition that links auxiliary-field solutions to quantum states. Another is that the anomaly always appears only as $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$45. In the dilaton-reduction model, the trace contains additional $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$46-dependent terms until the apparent-horizon condition fixes $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$47, leaving a specific dilaton-corrected trace. A further simplification is to view the anomaly as only a boundary functional in holography; the orbifold construction shows that its effect is transmitted to the bulk Einstein metric through $$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$48 and through conical-source data (Mohammadi et al., 2024).

A plausible synthesis is that “Polyakov anomaly backreaction” is best understood as a family of closely related mechanisms rather than a single equation. In fixed two-dimensional backgrounds it identifies the vacuum through boundary conditions on an auxiliary field. In semiclassical conformal gauge it drives a Liouville equation for the conformal factor. In dilaton gravity it modifies both the trace equation and the black-hole geometry. In AdS$$S_{\text{nonlocal}}[g] =\frac1{96\pi}\int_{\cal M}d^2x\sqrt{-g}(x)\int_{\cal M}d^2x'\sqrt{-g}(x')\,R(x)\,D(x,x')\,R(x'),$$49/orbifold holography it appears as the Weyl anomaly of a boundary functional whose variation controls the subleading coefficients of the bulk metric. The common invariant content is the same: ultraviolet quantum effects produce an anomalous stress tensor, and that tensor, once paired with the correct boundary or renormalization prescription, acts as a source for geometry.