Local CFTs extremise $F$

Abstract

Many CFTs can be extended to lines of nonlocal CFTs parametrised by the scaling dimension $Δ$ of the fundamental field appearing in the action. $Δ=\frac{d}{2}-ζ$ is set by the exponent of the kinetic term $(-\partial^2)^ζ$, which is nonlocal for noninteger $ζ$. If $Δ$ is tuned to $Δ_\mathrm{local}$, the scaling dimension of the fundamental field in the local CFT, arXiv:1703.05325 showed that we recover the conformal data of that CFT (plus a decoupled sector). One natural question is: how is the local point special on this line of nonlocal CFTs? We prove that these local CFTs lie at the extrema of the (universal part of the) sphere free energy $\tilde{F}(Δ)=\sin(\frac{πd}{2}) \log Z_{S^d}$ of the long-range CFTs: $d\tilde{F}/dΔ|_{Δ=Δ_\mathrm{local}}=0$; and for unitary CFTs they locally maximise it. The simple proof uses the fact that the derivative of $\tilde{F}$ with respect to $Δ$ receives contributions only from the nonlocal terms in the action. The nonlocal terms must be absent in the limit $Δ\to Δ_\mathrm{local}$, and hence the derivative is zero. Demonstrating maximisation then requires a proof of the generalised $F$-theorem in conformal perturbation theory to subleading order. We check our result with the O$(N)$ $φ^4$ and cubic CFTs in the $ε$ expansion and the large-$N$ limit. This result provides a minimal encoding of the scaling dimension of the fundamental field in many CFTs, and also explains the curious derivative structure of the large-$N$ expansion of $Δ_φ$ in the O$(N)$ model. Finally, this nonlocal $F$-extremisation can be viewed as a non-supersymmetric version of the known $c,F,a$-extremisation mechanisms.