renormalization of gauge theories in the background-field ...eichhorn/barvinsky.pdf ·...

A.O.Barvinsky

Theory Department, Lebedev Physics Institute, Moscow

674. WE-Heraeus-Seminar “Quantum spacetime and

the Renormalization Group”

Physikzentrum Bad Honnef, June 18-22, 2018

Renormalization of gauge theories

in the background-field approach

with D. Blas

M. Herrero-Valea

S. Sibiryakov

and C. Steinwachs

Task: to prove that counterterms are covariant local functionals of the

original gauge field

Gauge-breaking and Faddeev-Popov ghost terms – counterterms to

them?

Preservation of the BRST structure and counterterms covariance by

1) The choice of background covariant gauge conditions

and

2) gauge field reparametrization

(DeWitt, Tuytin-Voronov, Batalin-Vilkovisky, Kallosh, Arefieva-Faddeev-

Slavnov, Abbot, Henneaux et al)

40+ years old topic! So what is new here?

D.Blas, M.Herrero-Valeya, S.Sibiryakov, C.Steinwachs & A.B.

Phys. Rev. D 93, 064022 (2016), arXiv:1512.02250;

arXiv:1705.03480; PRL 119,211301 (2017), arXiv:1706.06809

Background field extension of the BRST operator

Inclusion of generating functional sources into the gauge fermion

Invariance of single original gauge field counterterms via

decoupling of the background field

Quantum corrected gauge fermion is a generating functional of the

field reparameterization

No power counting or use of field dimensionalities

Extension to Lorentz symmetry violating theories

Extension to (nonrenormalizable) effective field theories

Introduction: towards local, unitary, perturbatively UV renormalizable QG

Lorentz violating extension -- Horava-Lifshitz gravity

Problems with renormalization: “regularity” of propagators

covariance of UV counterterms

BRST formalism

Background covariant gauge fixing – modification of BRST operator

Introducing sources into the gauge fermion and BRST operator

Slavnov-Taylor and Ward identities: tale of two (many) BRS operators

BRST structure of renormalization and field reparametrization

Gauge fermion as a generating functional of field reparametrization

Example: renormalization of O(N) sigma model

Asymptotic freedom in (2+1)-dimensional Horava gravity

Plan

Phys. Rev. D 93, 064022 (2016), arXiv:1512.02250;

arXiv:1705.03480; PRL 119,211301 (2017), arXiv:1706.06809

Generators of gauge transformations:

Gauge theory:

DeWitt summation rule:

structure constants

BRST formalism

gauge-breaking

term Faddeev-Popov

operator

measure

Feynman-DeWitt-Faddeev-Popov functional integral

BRST functional

integral

BRST action

nilpotent BRST operator

BRST transformations of ©

Gauge fermion (correlators of physical

observable are independent of ª ) gauge

conditions

gauge-fixing

matrix

BRST invariance

Assumptions on the class of theories

generators: linear

closed algebra

ireducible

Existence of gauge invariant regularization (no anomalies) – very subtle!

Background gauge fixing

same

background field

background gauge

transformations (BGT)

Linear representation of the gauge group:

fundamental representation

adjoint representation

Modification of BRST operator

anticommuting auxiliary field – controls

dependence on background Á

Introduction of sources into gauge fermion

sources for sources for

background

source

Obviously

Introduction of sources into BRST charge

Extended BRS operator

Extended gauge fermion

Add background gauge transformation of other fields and sources:

BGT symmetry

Full set of symmetries

BRST symmetry

U(1) symmetry with ghost numbers:

L-th order renormalization: quantum field

Apply it to a gauge theory: effective action renormalized in (L-1)-th order

-- local divergence

Main result

renormalized fields

local invariants of the

original gauge field

Renormalization of the action and gauge fermion

Renormalized generating functional:

local invariants of the

original gauge field

ghost fields

and sources

dependent

Local generally nonlinear reparametrization of quantum fields to composite operators including external sources

Applies to (non-renormalizable) EFT -- nonlinear dependence on sources

For renormalizable theories:

independent of other sources

linear in and ³

Gauge fermion is a generating function of the field redefinition

reduced

effective action

all sources

BRST

BGT

b® multiplier

equation

Transition to effective action

subtracting gauge fixing term

Slavnov-Taylor and Ward identities

Slavnov-Taylor identities for

antibracket

Ward identities for

Structure of divergences: tale of two (many) BRST operators

Proceed perturbatively in ~ :

By induction ¡L-1 ¡L

minimal

sector nilpotent

-- action renormalized in the L-th loop order

ST identity for ¡

Kozhul-Tate differential has a trivial cohomology under the assumption

of local completeness and irreducibility of gauge generators for

Henneaux (1991)

Vandoren, Van Proeyen (1994)

ST+W identities:

Trivial cohomology of Batalin and

Vilkovisky (1985)

single field

counterterm

BRST exact

term (not yet the

original one!)

ghost term

decoupling of

invariant counterterm

Applies to nonrenormalizable EFT within gradient expansion: truncate in

number of derivatives + locality + Grassman statistics of

at any loop order L

Thus:

full action vs reduced

BRST exact term

(not yet the original

BRST charge!)

field redefinition

L-th order subtraction and Q+ Q transition via field

redefinition

gauge fermion

renormalization

Original gauge fermion is a generating function of the field redefinition

The power and beauty of the nilpotent BRST operator

Example: 2D O(N) gauge model

Abelian gauge invariance

Gauge fixing

One-loop divergences

essentially nonlinear

Physical one-loop counterterm

Field redefinition

Fradkin, Tseytlin (1981) Avramidy & A.B. (1985)

nonrenormalizable Einstein GR

Stelle (1977)

Higher derivative gravity

Saving unitarity in renormalizable QG

Asymptotic freedom in Horava gravity

Anisotropic scaling transformations and scaling dimensions

Foliation preserving diffeomorphisms

ADM metric decomposition

space

dimensionality

extrinsic

curvature

``Projectable’’ theory

Potential

term

Many more versions: extra

structures in non-projectable theory,

reduction of structures for

detailed balance case . . .

Horava gravity

action

kinetic term -- unitarity

Divergences power counting

critical value

Generalization of BPHZ renormalization theory (subtraction of

subdivergences) works only for Am> 0 and Bm> 0

depends on gauge fixing

Things are not so simple: power counting is not enough?

Invention of regular gauges for projectable HG

extra derivatives to

Have homogeneity

in scaling

local

Localization by auxiliary fields (cf. b-field in BRST formalism):

Asymptotic freedom in (2+1)-dimensions

Essential coupling constants:

Off-shell extension is not unique:

background split

background covariant

gauge-fixing term

¾, » – free parameters

localization of the

kinetic term by

auxilairy field ¼

action of ghosts:

Diagrammatic technique in terms

of

Perturbation theory around

flat ST:

Propagators

particular gauge parameters Prototypical loop ntegrals

Expansion in external

momenta P and

fequencies

Logarithmic divergences

and ¯-functions

Mathematica package xAct

D. Brizuela, J. M. Martin-Garcia, and G. A. Mena

Marugan, Gen. Rel. Grav. 41, 2415 (2009),

arXiv:0807.0824

Check in conformal gauge

Compare to regular ``relativistic’’ gauge

same

Renormalization flows:

AF UV fixed point

strongly coupled f. point

Cf. conformal truncation of (2+1)D HG, Benedetti and Guarneri, JHEP 03(2014)078: f. point ¸=1/2,

unitarity at G<0, ¸>1

Conclusions

BRST structure of renormalization in background field formalism:

Invariance of physical counterterms

renormalization of gauge fermion

gauge fermion is a generating functional of the field redefinition

generalization to open algebras, anomalies, composite operators?

(2+1)-dimensional Horava-Lifshitz gravity is unitary and asymptotically

free – perturbatively UV-complete theory

In IR one can have ¸ 1 – GR limit? Need for nonperturbative analysis

as G1

Towards consistent (3+1)-dimensional QG – other calculational methods

(heat kernel technique)