nLab Stückelberg-Petermann renormalization group

Contents

Context

Algebraic Quantum Field Theory

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

Contents

Idea

In perturbative quantum field theory the Stückelberg-Petermann renormalization group (Stückelberg-Petermann 53) is the (original) incarnation of the renormalization group in the perspective of causal perturbation theory: It is the group (def. below) of perturbative interaction vertex redefinitions (def. ) which is such that any two choices of S-matrix renormalization schemes 𝒮,𝒮\mathcal{S}, \mathcal{S}' are related by a unique vertex redefinition 𝒵\mathcal{Z} via precomposition

𝒮=𝒮𝒵. \mathcal{S}' \;=\; \mathcal{S} \circ \mathcal{Z} \,.

This statement (prop. below) is also called the main theorem of perturbative renormalization.

If scaling transformations on spacetime happen to transform renormalization schemes into each other, then this main theorem of perturbative renormalization (prop. ) directly implies that every scaling transformation uniquely corresponds to a interaction vertex redefinition, or conversely that the vertex redefinitions are given as funcitons of scale. As such they are also referred to as running coupling constants (def. below). Beware that these do not in general form a group but a group cocycle, the Gell-Mann-Low renormalization cocycle (prop. below.

Definition

The elements of the Stückelberg-Petermann renormalization group are perturbative interaction vertex redefinitions (def. below). These act on S-matrix ("re"-)normalization schemes by precomposition (def. ) and this action is free and transitive (prop. below). In this way these vertex redefinitions translate between different choices of ("re"-)normalization, and as such they form the Stückelerg-Petermann renormalization group (def. ) below.

\,

Definition

(perturbative interaction vertex redefinition)

Let (E BV-BRST,L,Δ H)(E_{\text{BV-BRST}}, \mathbf{L}', \Delta_H) be a gauge fixed free field vacuum (this def.).

A perturbative interaction vertex redefinition (or just vertex redefinition, for short) is an endofunction

𝒵:LocObs(E BV-BRST)[[,g,j]]g,jLocObs(E BV-BRST)[[,g,j]]g,j \mathcal{Z} \;\colon\; LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j] ]\langle g, j\rangle \longrightarrow LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j] ]\langle g, j\rangle

on local observables with formal parameters adjoined (this def.) such that there exists a sequence {Z k} k\{Z_k\}_{k \in \mathbb{N}} of continuous linear functionals, symmetric in their arguments, of the form

(LocObs(E BV-BRST)[[,g,j]]g,j) [[,g,j]] kLocObs(E BV-BRST)[[,g,j]]g,j \left( {\, \atop \,} LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j] ]\langle g, j\rangle {\, \atop \,} \right)^{\otimes^k_{\mathbb{C}[ [ \hbar, g, j] ]}} \longrightarrow LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j] ]\langle g, j\rangle

such that for all gS int+jALocObs(E BV-BRST)[[,g,j]]g,jg S_{int} + j A \in LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j] ]\langle g, j\rangle the following conditions hold:

  1. (perturbation)

    1. Z 0(gS int+jA)=0Z_0(g S_{int + j A}) = 0

    2. Z 1(gS int+jA)=gS int+jAZ_1(g S_{int} + j A) = g S_{int} + j A

    3. and

      𝒵(gS int+jA) =Zexp (gS int+jA) k1k!Z k(gS int+jA,,gS int+jAkargs) \begin{aligned} \mathcal{Z}(g S_{int} + j A) & = Z \exp_\otimes( g S_{int} + j A ) \\ & \coloneqq \underset{k \in \mathbb{N}}{\sum} \frac{1}{k!} Z_k( \underset{ k \, \text{args} }{ \underbrace{ g S_{int} + j A , \cdots, g S_{int} + j A } } ) \end{aligned}
  2. (field independence) The local observable 𝒵(gS int+jA)\mathcal{Z}(g S_{int} + j A) depends on the field histories only through its argument gS int+jAg S_{int} + j A , hence by the chain rule:

    (1)δδΦ a(x)𝒵(gS int+jA)=𝒵 gS int+jA(δδΦ a(x)(gS int+jA)) \frac{\delta}{\delta \mathbf{\Phi}^a(x)} \mathcal{Z}(g S_{int} + j A) \;=\; \mathcal{Z}'_{g S_{int} + j A} \left( \frac{\delta}{\delta \mathbf{\Phi}^a(x)} (g S_{int} + j A) \right)

The following proposition should be compared to the axiom of causal additivity of the S-matrix scheme (this equation):

Proposition

(local additivity of vertex redefinitions)

Let (E BV-BRST,L,Δ H)(E_{\text{BV-BRST}}, \mathbf{L}', \Delta_H) be a gauge fixed free field vacuum (this def.) and let 𝒵\mathcal{Z} be a vertex redefinition (def. ).

Then for all local observables O 0,O 1,O 2LocObs(E BV-BRST)[[,g,j]]g,jO_0, O_1, O_2 \in LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j ] ]\langle g, j\rangle with spacetime support denoted supp(O i)Σsupp(O_i) \subset \Sigma (this def.) we have

  1. (local additivity)

    (supp(O 1)supp(O 2)=) AA𝒵(O 0+O 1+O 2)=𝒵(O 0+O 1)𝒵(O 0)+𝒵(O 0+O 2). \begin{aligned} & \left( supp(O_1) \cap supp(O_2) = \emptyset \right) \\ & \Rightarrow \phantom{AA} \mathcal{Z}( O_0 + O_1 + O_2) = \mathcal{Z}( O_0 + O_1 ) - \mathcal{Z}(O_0) + \mathcal{Z}(O_0 + O_2) \end{aligned} \,.
  2. (preservation of spacetime support)

    supp(𝒵(O 0+O 1)𝒵(O 0))supp(O 1) supp \left( {\, \atop \,} \mathcal{Z}(O_0 + O_1) - \mathcal{Z}(O_0) {\, \atop \,} \right) \;\subset\; supp(O_1)

    hence in particular

    supp(𝒵(O 1))=supp(O 1) supp \left( {\, \atop \,} \mathcal{Z}(O_1) {\, \atop \,} \right) = supp(O_1)

(Dütsch 18, exercise 3.98)

Proof

Under the inclusion

LocObs(E BV-BRST)PolyObs(E BV-BRST) LocObs(E_{\text{BV-BRST}}) \hookrightarrow PolyObs(E_{\text{BV-BRST}})

of local observables into polynomial observables we may think of each Z kZ_k as a generalized function, as for time-ordered products in this remark.

Hence if

O j=Σj Σ (L j) O_j = \underset{\Sigma}{\int} j^\infty_\Sigma( \mathbf{L}_j )

is the transgression of a Lagrangian density L\mathbf{L} we get

Z k((O 1+O 2+O 3),,(O 1+O 2+O 3))=j 1,,j k{0,1,2}Σ kZ(L j 1(x 1),,L j k(x k)). Z_k( (O_1 + O_2 + O_3) , \cdots , (O_1 + O_2 + O_3) ) = \underset{ j_1, \cdots, j_k \in \{0,1,2\} }{\sum} \underset{\Sigma^{k}}{\int} Z( \mathbf{L}_{j_1}(x_1) , \cdots , \mathbf{L}_{j_k}(x_k) ) \,.

Now by definition Z k()Z_k(\cdots) is in the subspace of local observables, i.e. those polynomial observables whose coefficient distributions are supported on the diagonal, which means that

δδΦ a(x)δδΦ b(y)Z k()=0AAforAAxy \frac{\delta}{\delta \mathbf{\Phi}^a(x)} \frac{\delta}{\delta \mathbf{\Phi}^b(y)} Z_{k}(\cdots) = 0 \phantom{AA} \text{for} \phantom{AA} x \neq y

Together with the axiom “field independence” (1) this means that the support of these generalized functions in the integrand here must be on the diagonal, where x 1==x kx_1 = \cdots = x_k.

By the assumption that the spacetime supports of O 1O_1 and O 2O_2 are disjoint, this means that only the summands with j 1,,j k{0,1}j_1, \cdots, j_k \in \{0,1\} and those with j 1,,j k{0,2}j_1, \cdots, j_k \in \{0,2\} contribute to the above sum. Removing the overcounting of those summands where all j 1,,j k{0}j_1, \cdots, j_k \in \{0\} we get

Z k((O 1+O 2+O 3),,(O 1+O 2+O 3)) =j 1,,j k{0,1}Σ kZ(L j 1(x 1),,L j k(x k)) =j 1,,j k{0}Σ kZ(L j 1(x 1),,L j k(x k)) =j 1,,j k{0,2}Σ kZ(L j 1(x 1),,L j k(x k)) =Z k((O 0+O 1),,(O 0+O 1))Z k(O 0,,O 0)+Z k((O 0+O 2),,(O 0+O 2)). \begin{aligned} & Z_k\left( {\, \atop \,} (O_1 + O_2 + O_3) , \cdots , (O_1 + O_2 + O_3) {\, \atop \,} \right) \\ & = \underset{ j_1, \cdots, j_k \in \{0,1\} }{\sum} \underset{\Sigma^{k}}{\int} Z( \mathbf{L}_{j_1}(x_1) , \cdots , \mathbf{L}_{j_k}(x_k) ) \\ & \phantom{=} - \underset{ j_1, \cdots, j_k \in \{0\} }{\sum} \underset{\Sigma^{k}}{\int} Z( \mathbf{L}_{j_1}(x_1) , \cdots , \mathbf{L}_{j_k}(x_k) ) \\ & \phantom{=} - \underset{ j_1, \cdots, j_k \in \{0,2\} }{\sum} \underset{\Sigma^{k}}{\int} Z( \mathbf{L}_{j_1}(x_1) , \cdots , \mathbf{L}_{j_k}(x_k) ) \\ & = Z_k\left( {\, \atop \,} (O_0 + O_1), \cdots, (O_0 + O_1) {\, \atop \,}\right) - Z_k\left( {\, \atop \,} O_0, \cdots, O_0 {\, \atop \,} \right) + Z_k\left( {\, \atop \,} (O_0 + O_2), \cdots, (O_0 + O_2) {\, \atop \,} \right) \end{aligned} \,.

This directly implies the claim.

As a corollary we obtain:

Proposition

(composition of S-matrix scheme with vertex redefinition is again S-matrix scheme)

Let (E BV-BRST,L,Δ H)(E_{\text{BV-BRST}}, \mathbf{L}', \Delta_H) be a gauge fixed free field vacuum (this def.) and let 𝒵\mathcal{Z} be a vertex redefinition (def. ).

Then for

𝒮:LocObs(E BV-BRST)[[,g,j]]g,jPolyObs(E BV-BRST) mc(())[[g,j]] \mathcal{S} \;\colon\; LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j] ]\langle g, j\rangle \longrightarrow PolyObs(E_{\text{BV-BRST}})_{mc}((\hbar))[ [ g,j ] ]

and S-matrix scheme (this def.), the composite

𝒮𝒵:LocObs(E BV-BRST)[[,g,j]]g,j𝒵LocObs(E BV-BRST)[[,g,j]]g,j𝒮PolyObs(E BV-BRST) mc(())[[g,j]] \mathcal{S} \circ \mathcal{Z} \;\colon\; LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j] ]\langle g, j\rangle \overset{\mathcal{Z}}{\longrightarrow} LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j] ]\langle g, j\rangle \overset{\mathcal{S}}{\longrightarrow} PolyObs(E_{\text{BV-BRST}})_{mc}((\hbar))[ [ g,j ] ]

is again an S-matrix scheme.

Moreover, if 𝒮\mathcal{S} satisfies the renormalization condition “field independence” (this prop.), then so does 𝒮𝒵\mathcal{S} \circ \mathcal{Z}.

(e.g Dütsch 18, theorem 3.99 (b))

Proof

It is clear that causal order of the spacetime supports implies that they are in particular disjoint

(supp(O 1)supp(O 2))AAAA(supp(O 1)supp(O )=) \left( {\, \atop \,} supp(O_1) {\vee\!\!\!\wedge} supp(O_2) {\, \atop \,} \right) \phantom{AA} \Rightarrow \phantom{AA} \left( {\, \atop \,} supp(O_1) \cap supp(O_) \;=\; \emptyset {\, \atop \,} \right)

Therefore the local additivity of 𝒵\mathcal{Z} (prop. ) and the causal factorization of the S-matrix (this remark) imply the causal factorization of the composite:

𝒮(𝒵(O 1+O 2)) =𝒮(𝒵(O 1)+𝒵(O 2)) =𝒮(𝒵(O 1))𝒮(𝒵(O 2)). \begin{aligned} \mathcal{S} \left( {\, \atop \,} \mathcal{Z}(O_1 + O_2) {\, \atop \,} \right) & = \mathcal{S} \left( {\, \atop \,} \mathcal{Z}(O_1) + \mathcal{Z}(O_2) {\, \atop \,} \right) \\ & = \mathcal{S} \left( {\, \atop \,} \mathcal{Z}(O_1) {\, \atop \,} \right) \, \mathcal{S} \left( {\, \atop \,} \mathcal{Z}(O_2) {\, \atop \,} \right) \,. \end{aligned}

But by this prop. this implies in turn causal additivity and hence that 𝒮𝒵\mathcal{S} \circ \mathcal{Z} is itself an S-matrix scheme.

Finally that 𝒮𝒵\mathcal{S} \circ \mathcal{Z} satisfies “field indepndence” if 𝒮\mathcal{S} does is immediate by the chain rule, given that 𝒵\mathcal{Z} satisfies this condition by definition.

Proposition

(any two S-matrix renormalization schemes differ by a unique vertex redefinition)

Let (E BV-BRST,L,Δ H)(E_{\text{BV-BRST}}, \mathbf{L}', \Delta_H) be a gauge fixed free field vacuum (this def.).

Then for 𝒮,𝒮\mathcal{S}, \mathcal{S}' any two S-matrix schemes (this def.) which both satisfy the renormalization condition “field independence”, the there exists a unique vertex redefinition 𝒵\mathcal{Z} (def. ) relating them by composition, i. e. such that

𝒮=𝒮𝒵. \mathcal{S}' \;=\; \mathcal{S} \circ \mathcal{Z} \,.

(See any of the references at main theorem of perturbative renormalization.)

Proof

By applying both sides of the equation to linear combinations of local observables of the form κ 1O 1++κ kO k\kappa_1 O_1 + \cdots + \kappa_k O_k and then taking derivatives with respect to κ\kappa at κ j=0\kappa_j = 0 (as in this example) we get that the equation in question implies

(i) k kκ 1κ k𝒮(κ 1O 1++κ kO k)| κ 1,,κ k=0=(i) k kκ 1κ k𝒮𝒵(κ 1O 1++κ kO k)| κ 1,,κ k=0 (i \hbar)^k \frac{ \partial^k }{ \partial \kappa_1 \cdots \partial \kappa_k } \mathcal{S}'( \kappa_1 O_1 + \cdots + \kappa_k O_k ) \vert_{\kappa_1, \cdots, \kappa_k = 0} \;=\; (i \hbar)^k \frac{ \partial^k }{ \partial \kappa_1 \cdots \partial \kappa_k } \mathcal{S} \circ \mathcal{Z}( \kappa_1 O_1 + \cdots + \kappa_k O_k ) \vert_{\kappa_1, \cdots, \kappa_k = 0}

which in components means that

T k(O 1,,O k) =2nk1n!(i) knI 1I n={1,,k},I 1,,I nT n(Z |I 1|((O i 1) i 1I 1),,Z |I n|((O i n) i nI n),) =+Z k(O 1,,O k) \begin{aligned} T'_k( O_1, \cdots, O_k ) & = \underset{ 2 \leq n \leq k }{\sum} \frac{1}{n!} (i \hbar)^{k-n} \underset{ { { I_1 \sqcup \cdots \sqcup I_n } \atop { = \{1, \cdots, k\}, } } \atop { I_1, \cdots, I_n \neq \emptyset } }{\sum} T_n \left( {\, \atop \,} Z_{{\vert I_1\vert}}\left( (O_{i_1})_{i_1 \in I_1} \right), \cdots, Z_{{\vert I_n\vert}}\left( (O_{i_n})_{i_n \in I_n} \right), {\, \atop \,} \right) \\ & \phantom{=} + Z_k( O_1,\cdots, O_k ) \end{aligned}

where {T k} k\{T'_k\}_{k \in \mathbb{N}} are the time-ordered products corresponding to 𝒮\mathcal{S}' (by this example) and {T k} k𝒩\{T_k\}_{k \in \mathcal{N}} those correspondong to 𝒮\mathcal{S}.

Here the sum on the right runs over all ways that in the composite 𝒮𝒵\mathcal{S} \circ \mathcal{Z} a kk-ary operation arises as the composite of an nn-ary time-ordered product applied to the |I i|{\vert I_i\vert}-ary components of 𝒵\mathcal{Z}, for ii running from 1 to nn; except for the case k=nk = n, which is displayed separately in the second line.

This shows that if 𝒵\mathcal{Z} exists, then it is unique, because its coefficients Z kZ_k are inductively in kk given by the expressions

Z k(O 1,,O k) =T k(O 1,,O k)2nk1n!(i) knI 1I n={1,,k},I 1,,I nT n(Z |I 1|((O i 1) i 1I 1),,Z |I n|((O i n) i nI n),)(T𝒵 <k) k \begin{aligned} & Z_k( O_1,\cdots, O_k ) \\ & = T'_k( O_1, \cdots, O_k ) \;-\; \underset{ (T \circ \mathcal{Z}_{\lt k})_k }{ \underbrace{ \underset{ 2 \leq n \leq k }{\sum} \frac{1}{n!} (i \hbar)^{k-n} \underset{ { { I_1 \sqcup \cdots \sqcup I_n } \atop { = \{1, \cdots, k\}, } } \atop { I_1, \cdots, I_n \neq \emptyset } }{\sum} T_n \left( Z_{{\vert I_1\vert}}( (O_{i_1})_{i_1 \in I_1} ), \cdots, Z_{{\vert I_n\vert}}( (O_{i_n})_{i_n \in I_n} ), \right) } } \end{aligned}

(The symbol under the brace is introduced as a convenient shorthand for the term above the brace.)

Hence it remains to see that the Z kZ_k defined this way satisfy the conditions in def. .

The condition “perturbation” is immediate from the corresponding condition on 𝒮\mathcal{S} and 𝒮\mathcal{S}'.

Similarly the condition “field independence” follows immediately from the assumoption that 𝒮\mathcal{S} and 𝒮\mathcal{S}' satisfy this condition.

It only remains to see that Z kZ_k indeed takes values in local observables. Given that the time-ordered products a priori take values in the larrger space of microcausal polynomial observables this means to show that the spacetime support of Z kZ_k is on the diagonal.

But observe that, as indicated in the above formula, the term over the brace may be understood as the coefficient at order kk of the exponential series-expansion of the composite 𝒮𝒵 <k\mathcal{S} \circ \mathcal{Z}_{\lt k}, where

𝒵 <kn{1,,k1}1n!Z n \mathcal{Z}_{\lt k} \;\coloneqq\; \underset{ n \in \{1, \cdots, k-1\} }{\sum} \frac{1}{n!} Z_n

is the truncation of the vertex redefinition to degree <k\lt k. This truncation is clearly itself still a vertex redefinition (according to def. ) so that the composite 𝒮𝒵 <k\mathcal{S} \circ \mathcal{Z}_{\lt k} is still an S-matrix scheme (by prop. ) so that the (T𝒵 <k) k(T \circ \mathcal{Z}_{\lt k})_k are time-ordered products (by this example).

So as we solve 𝒮=𝒮𝒵\mathcal{S}' = \mathcal{S} \circ \mathcal{Z} inductively in degree kk, then for the induction step in degree kk the expressions T <kT'_{\lt k} and (T𝒵) <k(T \circ \mathcal{Z})_{\lt k} agree and are both time-ordered products. By this prop. this implies that T kT'_{k} and (T𝒵 <k) k(T \circ \mathcal{Z}_{\lt k})_{k} agree away from the diagonal. This means that their difference Z kZ_k is supported on the diagonal, and hence is indeed local.

Definition

(Stückelberg-Petermann renormalization group of vertex redefinitions)

Let (E BV-BRST,L,Δ H)(E_{\text{BV-BRST}}, \mathbf{L}', \Delta_H) be a gauge fixed free field vacuum (this def.).

Then prop. and prop together says that (“main theorem of perturbative renormalization”):

  1. the vertex redefinitions 𝒵\mathcal{Z} (def. ) form a group under composition;

  2. the set of S-matrix ("re"-)normalization schemes (this def., this remark) satisfying the renormalization condition “field independence” (this prop.) is a torsor over this group, meaning that the action is regular on this set, in that any two are S-matrix (“re”-)normalization schemes are related by a unique vertex redefinition.

This group is called the (large) Stückelberg-Petermann renormalization group.

Typically one imposes a set of renormalization conditions (this def.) and then the corresponding subgroup of vertex redefinitions preserving these.

Properties

Scaling transformations and “running coupling constants”

A priori the Stückelberg-Petermann renormalization group is not about scaling transformations. But if scaling transformations happen to produce new S-matrices/renormalization schemes from given ones, then the main theorem of perturbative renormalization induces for each such scaling transformation a re-definition of interaction Lagrangian densities, this is the Gell-Mann-Low renormalization cocycle (Gell-Mann & Low 54, Brunetti-Dütsch-Fredenhagen 09) for review see (Dütsch 18, section 3.5.3).

Definition

(running coupling constants under scale transformations)

Let

vac(E BV-BRST,L kin,Δ H) vac \;\coloneqq\; (E_{\text{BV-BRST}}, \mathbf{L}_{kin}, \Delta_H )

be a relativistic free vacuum (according to this def.) around which we consider interacting perturbative QFT.

Assume that in fact

  1. the free field vacuum vac=vac(m)vac = vac(m) depends on a mass parameter, and with it the choice 𝒮 vac(m)\mathcal{S}_{vac(m)} of normalization scheme,

  2. under scaling transformations on local observables σ ρ\sigma_\rho (Dütsch 18, def. 3.19) we have that with 𝒮 vac(m)\mathcal{S}_{vac(m)} a perturbative S-matrix scheme perturbing around vac(m)vac(m) also

    σ ρ(𝒮 vac(m/ρ))σ ρ 1 \sigma_\rho \circ \left(\mathcal{S}_{vac(m/\rho)}\right) \circ \sigma_\rho^{-1}

    is a perturbative S-matrix around L kin(m)L_{kin}(m).

In this case the main theorem of perturbative renormalization (prop. ) says that there exists for each scale ρ\rho a unique interaction vertex redefinition 𝒵 ρ m\mathcal{Z}^m_\rho (def. ) such that

σ ρ𝒮 vac(m/ρ)σ ρ 1(gS int+jA) =𝒮 vac(m)(𝒵 ρ m(gS int+jA)) \begin{aligned} & \sigma_\rho \circ \mathcal{S}_{vac(m/\rho)} \circ \sigma_\rho^{-1}( g S_{int} + j A ) \\ & = \mathcal{S}_{vac(m)}(\mathcal{Z}^m_\rho(g S_{int} + j A)) \end{aligned}

for all interaction action functionals gS int+jAg S_{int} + j A.

These 𝒵 ρ m\mathcal{Z}^m_\rho are the Gell-Mann-Low renormalization cocycle elements.

The interaction vertex redefinitions 𝒵 ρ m\mathcal{Z}^m_\rho as a function of the rescaling is known as the running coupling constants.

Proposition

(cocycle property of running coupling constants)

In the situation of def. , the Gell-Mann-Low renormalization cocycles (running coupling constants) 𝒵 ρ m\mathcal{Z}^m_\rho satisfy the relation

𝒵 ρ 1ρ 2 m=𝒵 ρ 1 m(σ ρ 1𝒵 ρ 2 m/ρ 1σ ρ 2) \mathcal{Z}^m_{\rho_1 \rho_2} \;=\; \mathcal{Z}^m_{\rho_1} \circ \left( \sigma_{\rho_1} \circ \mathcal{Z}^{m/\rho_1}_{\rho_2} \circ \sigma_{\rho_2} \right)

Hence only for vanishing mass do these “renormalization cocycles” themselves form an actual renormalization group.

(Brunetti-Dütsch-Fredenhagen 09 (69), Dütsch 18 (3.325))

Proof

From the definition we have

𝒮 vac(m)𝒵 ρ 1ρ 2 m =σ ρ 1σ ρ 2𝒮 vac(m/ρ 1ρ 2)σ ρ 2 1𝒮 vac(m/ρ 1)𝒵 ρ 2 m/ρ 1σ ρ 1 1 =σ ρ 1𝒮 vac(m/ρ 1)σ ρ 1 1σ ρ 1=id=𝒮 vac(m)𝒵 ρ 1 mσ ρ 1𝒵 ρ 2 m/ρ 1σ ρ 1 1 =𝒮 vac(m)𝒵 ρ 1 mσ ρ 1𝒵 ρ 2 m/ρ 1σ ρ 1 1 \begin{aligned} \mathcal{S}_{vac(m)} \circ \mathcal{Z}^m_{\rho_1 \rho_2} & = \sigma_{\rho_1} \circ \underset{ \mathcal{S}_{vac(m/\rho_1)} \circ \mathcal{Z}^{m/\rho_1}_{\rho_2} }{ \underbrace{ \sigma_{\rho_2} \circ \mathcal{S}_{vac(m/\rho_1\rho_2)} \circ \sigma_{\rho_2}^{-1} }} \circ \sigma_{\rho_1}^{-1} \\ & = \underset{ = \mathcal{S}_{vac(m)} \circ \mathcal{Z}^m_{\rho_1} \circ \sigma_{\rho_1} }{ \underbrace{ \sigma_{\rho_1} \circ \mathcal{S}_{vac(m/\rho_1)} \circ \overset{ = id }{ \overbrace{ \sigma_{\rho_1}^{-1} \circ \sigma_{\rho_1} } } }} \circ \mathcal{Z}^{m/\rho_1}_{\rho_2} \circ \sigma_{\rho_1}^{-1} \\ & = \mathcal{S}_{vac(m)} \circ \mathcal{Z}^m_{\rho_1} \circ \sigma_{\rho_1} \circ \mathcal{Z}^{m/\rho_1}_{\rho_2} \circ \sigma_{\rho_1}^{-1} \end{aligned}

This demonstrates the equation between vertex redefinitions to be shown after composition with an S-matrix scheme. But by the uniqueness-clause in the main theorem of perturbative renormalization the composition operation 𝒮 ρ vac()\mathcal{S}_{\rho_{vac}} \circ (-) as a function from vertex redefinitions to S-matrix schemes is injective. This implies the equation itself.

References

(See also the references at main theorem of perturbative renormalization.)

The original article on the Stückelberg-Petermann renormalization group is

The relation of the Stückelberg-Petermann renormalization group to scale transformations and the Gell-Mann-Low renormalization cocycle is due to

Review includes

See also

Last revised on February 8, 2018 at 21:03:10. See the history of this page for a list of all contributions to it.