FQFT and cohomology
Types of quantum field thories
The fixed point of a renormalization-group (RG) transform applied to a field theory should, intuitively, be described by a theory which is scale-invariant. The Zamolodchikov -theorem makes this precise: for any renormalizable 2D field theory, there exists a function of its coupling constants which
The -theorem has the interpretation that renormalization group flows go ‘downhill’. In particular, it rules out the existence (for systems satisfying reflection positivity) of limit cycles and other esoteric behaviour in renormalization group flows. It also severely restricts the possible fixed points to which unstable directions at a given fixed point may flow. … An appealing physical interpretation of the -function is as a kind of entropy of information about the critical system. Under renormalization, information is lost about the short distance behaviour of the correlation functions. However, this cannot be taken too literally—for example, even at infinite temperature a block spin transformation results in loss of information about the microstates of the system, yet no renormalization group flow takes place. Presumably, a more complete interpretation along these lines needs to account for the fact that the central charge is sensitive to only the effectively gapless degrees of freedom.
We follow the original proof given by Zamolodchikov (1986).
We start with a field theory whose action functional is an integral of a local Lagrangian density:
where is the ultraviolet cutoff of the theory. The basic assumption of RG is that there exists a single-parameter family of transformations on , the space of coupling constants,
which has the property that a field theory with the action is equivalent to the original theory with action . Here, equivalence means that the correlation functions of the two theories agree, as long as we consider scales larger than the renormalized UV cutoff, . The RG flow is described by the beta functions:
At the fixed points, . (The beta functions in RG theory should not be confused with the Euler beta function). Here, we are using the term in the same sense as when people say, “The beta function in QCD is negative.”
The local energy-momentum tensor satisfies the conservation equation . Define the complex coordinates
and define , . The local scalar fields are given by
If the field theory is renormalizable, we can expand the field in the basis given by the :
Take a convenient distance scale , significantly larger than the UV cutoff of the theory. This arbitrary value is the “normalization point”. Define
The Callan–Symanzik equation describes how the -point correlation functions vary under the RG transform. For our purposes, the scaling matrix which appears in the Callan-Symanzik equation is given by
We combine our expansion of the field with the conservation condition and the Callan–Symanzik equation to get
where we have written for the derivative in the coupling-constant space, .
For the function
we have that
This verifies that
establishing that the function decreases monotonically as we apply the RG transform.
Consider a fixed point , and choose a coordinate system centered on that point, so that the metric becomes
Near the fixed point, we can calculate using perturbation theory. This calculation results in
We have written for the anomalous dimension?s of the vectors , which at the fixed point are conformal fields. It then follows that the 2D field theory at the fixed point has conformal symmetry, with an infinite set of generators
which satisfy the Virasoro algebra
The fixed-point value of the -function becomes the central charge of the Virasoro algebra. The central charge is the numerical coefficient in the correlation function
Near the fixed point, we can also compute the beta functions in perturbation theory.
Note that to maintain consistency of indices across both sides of this equation, we do not sum over in the first term. If the perturbations are “soft”, satisfying , then the coefficients form the structure constants of a CFT operator algebra. Raising the indices on by , we can write