Quantum Field Theory – Proof that Wilsonian Renormalization Generates Symmetric Terms

effective-field-theorylagrangian-formalismquantum-field-theoryrenormalizationsymmetry

In the Wilsonian approach to renormalization it's easy to see that integrating out high momentum dofs in the path integral generates an infinite number of terms in the renormalized action. It's often said (in textbooks) that all terms consistent with the symmetries are generated.

How does one see that these new terms must be consistent with the symmetries? Is there a proof that symmetry breaking terms cannot be generated by this procedure?

Best Answer

I think it's quite easy to prove with functional integrals. In Wilson renormalization one splits the field in low energy modes and high energy ones, say $\phi = \varphi + \Phi$, where $\varphi$ only has support on small momenta and $\Phi$ on large ones. The action will be $S[\varphi,\Phi] = S_1[\varphi] + S_2[\Phi] + S_\text{int}[\varphi,\Phi]$.

Imagine now that the full theory (high energy) has a symmetry under $\varphi \to \tilde\varphi[\varphi]$ and $\Phi \to \tilde\Phi[\Phi]$. This means that the action is invariant: $S[\tilde\varphi,\tilde\Phi]=S[\varphi,\Phi]$. Note also that I've used the fact that internal symmetries do not mix low energy modes with high energy ones. EDIT: To understand this one can work, for example, in momentum space. The low and high energy modes are defined such that

$$ \varphi(k) = \begin{cases} \phi(k) \quad \text{ for } k \leq \Lambda \\ 0 \quad \quad \,\text{ otherwise}\end{cases}\,, \qquad \Phi(k) = \begin{cases} 0 \quad\quad\,\, \text{ for } k \leq \Lambda \\ \phi(k) \quad \,\text{ otherwise}\end{cases}\,. $$ Since internal symmetries do not act on the momenta, but only on the indices of the fields, the transformed of, for example, $\varphi(k)$ will still have only support on $k\leq \Lambda$, i.e. it will still be a low energy mode. END OF EDIT

Now, the effective action obtained integrating over high energy modes, is defined as

$$ e^{iS_\text{eff}[\varphi]} = e^{iS_1[\varphi]}\int \mathcal{D}\Phi \, \exp \left( iS_2[\Phi]+iS_\text{int}[\varphi,\Phi] \right)\,. $$

Now, perform a symmetry transformation on $\varphi$,

\begin{align} e^{i S_\text{eff}[\tilde\varphi]} &= e^{iS_1[\tilde \varphi]} \int \mathcal{D}\Phi \exp\left( iS_2[\Phi] + i S_\text{int}[\tilde\varphi,\Phi]\right) \\ &= e^{iS_1[\tilde \varphi]} \int \mathcal{D}\tilde\Phi \exp\left( iS_2[\tilde\Phi] + i S_\text{int}[\tilde\varphi,\tilde\Phi]\right) \\ &= e^{iS_1[\varphi]} \int \mathcal{D}\Phi \exp\left( iS_2[\Phi] + i S_\text{int}[\varphi,\Phi]\right)= e^{iS_\text{eff}[\varphi]}\,, \end{align}

where in the second equality I've just performed a change of integration variable $\Phi\to\tilde\Phi$, and in the third I've used the fact that the action is invariant and the symmetry is not anomalous (i.e. $\mathcal{D}\Phi = \mathcal{D}\tilde\Phi$).

Therefore, if the original theory is invariant, the effective low energy one is invariant as well, i.e. no symmetry breaking terms can be generated in the renormalization procedure.

I hope this answers your question!

Related Question