On the geometry of operator mixing in massless QCD-like theories

Abstract

We revisit the operator mixing in massless QCD-like theories. In particular, we address the problem of determining under which conditions a renormalization scheme exists where the renormalized mixing matrix in the coordinate representation, $Z(x, μ)$, is diagonalizable to all perturbative orders. As a key step, we provide a differential-geometric interpretation of renormalization that allows us to apply the Poincaré-Dulac theorem to the problem above: We interpret a change of renormalization scheme as a (formal) holomorphic gauge transformation, $-\frac{γ(g)}{β(g)}$ as a (formal) meromorphic connection with a Fuchsian singularity at $g=0$, and $Z(x,μ)$ as a Wilson line, with $γ(g)=γ_0 g^2 + \cdots$ the matrix of the anomalous dimensions and $β(g)=-β_0 g^3 +\cdots$ the beta function. As a consequence of the Poincaré-Dulac theorem, if the eigenvalues $λ_1, λ_2, \cdots $ of the matrix $\frac{γ_0}{β_0}$, in nonincreasing order $λ_1 \geq λ_2 \geq \cdots$, satisfy the nonresonant condition $λ_i -λ_j -2k \neq 0$ for $i\leq j$ and $k$ a positive integer, then a renormalization scheme exists where $-\frac{γ(g)}{β(g)} = \frac{γ_0}{β_0} \frac{1}{g}$ is one-loop exact to all perturbative orders. If in addition $\frac{γ_0}{β_0}$ is diagonalizable, $Z(x, μ)$ is diagonalizable as well, and the mixing reduces essentially to the multiplicatively renormalizable case. We also classify the remaining cases of operator mixing by the Poincaré-Dulac theorem.