Downloads & Free Reading Options - Results

This paper gives a complete selfcontained proof of our result announced in hep-th/9909126 showing that renormalization in quantum field theory is a special instance of a general mathematical procedure of extraction of finite values based on the Riemann-Hilbert problem. We shall first show that for any quantum field theory, the combinatorics of Feynman graphs gives rise to a Hopf algebra $\Hc$ which is commutative as an algebra. It is the dual Hopf algebra of the envelopping algebra of a Lie algebra $\ud G$ whose basis is labelled by the one particle irreducible Feynman graphs. The Lie bracket of two such graphs is computed from insertions of one graph in the other and vice versa. The corresponding Lie group $G$ is the group of characters of $\Hc$. We shall then show that, using dimensional regularization, the bare (unrenormalized) theory gives rise to a loop $$ \g (z) \in G \qquad z \in C $$ where $C$ is a small circle of complex dimensions around the integer dimension $D$ of space-time. Our main result is that the renormalized theory is just the evaluation at $z = D$ of the holomorphic part $\g_+$ of the Birkhoff decomposition of $\g$. We begin to analyse the group $G$ and show that it is a semi-direct product of an easily understood abelian group by a highly non-trivial group closely tied up with groups of diffeomorphisms. The analysis of this latter group as well as the interpretation of the renormalization group and of anomalous dimensions are the content of our second paper with the same overall title.

We showed in part I (hep-th/9912092) that the Hopf algebra ${\cal H}$ of Feynman graphs in a given QFT is the algebra of coordinates on a complex infinite dimensional Lie group $G$ and that the renormalized theory is obtained from the unrenormalized one by evaluating at $\ve=0$ the holomorphic part $\gamma_+(\ve)$ of the Riemann-Hilbert decomposition $\gamma_-(\ve)^{-1}\gamma_+(\ve)$ of the loop $\gamma(\ve)\in G$ provided by dimensional regularization. We show in this paper that the group $G$ acts naturally on the complex space $X$ of dimensionless coupling constants of the theory. More precisely, the formula $g_0=gZ_1Z_3^{-3/2}$ for the effective coupling constant, when viewed as a formal power series, does define a Hopf algebra homomorphism between the Hopf algebra of coordinates on the group of formal diffeomorphisms to the Hopf algebra ${\cal H}$. This allows first of all to read off directly, without using the group $G$, the bare coupling constant and the renormalized one from the Riemann-Hilbert decomposition of the unrenormalized effective coupling constant viewed as a loop of formal diffeomorphisms. This shows that renormalization is intimately related with the theory of non-linear complex bundles on the Riemann sphere of the dimensional regularization parameter $\ve$. It also allows to lift both the renormalization group and the $\beta$-function as the asymptotic scaling in the group $G$. This exploits the full power of the Riemann-Hilbert decomposition together with the invariance of $\gamma_-(\ve)$ under a change of unit of mass. This not only gives a conceptual proof of the existence of the renormalization group but also delivers a scattering formula in the group $G$ for the full higher pole structure of minimal subtracted counterterms in terms of the residue.

We show that renormalization in quantum field theory is a special instance of a general mathematical procedure of multiplicative extraction of finite values based on the Riemann-Hilbert problem. Given a loop $\gamma(z), | z |=1$ of elements of a complex Lie group G the general procedure is given by evaluation of $ \gamma_{+}(z)$ at z=0 after performing the Birkhoff decomposition $ \gamma(z)=\gamma_{-}(z)^{-1} \gamma_{+}(z)$ where $ \gamma_{\pm}(z) \in G$ are loops holomorphic in the inner and outer domains of the Riemann sphere (with $\gamma_{-}(\infty)=1$). We show that, using dimensional regularization, the bare data in quantum field theory delivers a loop (where z is now the deviation from 4 of the complex dimension) of elements of the decorated Butcher group (obtained using the Milnor-Moore theorem from the Kreimer Hopf algebra of renormalization) and that the above general procedure delivers the renormalized physical theory in the minimal substraction scheme.