# What's the (intuitive) difference between a primary and a quasi-primary operator in a CFT?

I've come across many different definitions of primaries and quasi-primaries. Some references define them based on their transformation law \begin{align}\hat\phi'(x')=\left|\frac{\partial x'}{\partial x}\right|^{-\Delta/d}\phi(x).\tag{1}\end{align} From D. Qualls lectures on conformal field theory p.31. Meanwhile Wikipedia defines them based on their relation with the Virasoro algebra ($$d=2$$) or their relation with special conformal generators ($$d>2$$). All these different definitions leave some questions for me

1. Is (1) true for both primaries and quasi primaries? In N. Beisert introduction to String theory Ch. 7 p.5 I read that quasi primaries in 2D transform that way only for global transformations (the Mobius transformation) while primaries transform that way for every conformal transformation i.e. for all (anti)-holomorphic functions
2. Are primaries/quasi primaries defined differently in $$d=2$$ and $$d>2$$?
3. What's a nice intuitive definition that distinguishes these two?
• In 2D, we distinguish between global ($SL(2,{\mathbb C})$) and local (Virasoro) conformal groups. A quasi-primary transforms in a representation of the global group whereas a primary transforms in a representation of the Virasoro group (so your point (1) is correct). There are no quasi-primaries in $d>2$. Commented Nov 7, 2021 at 16:50
• @Prahar Thanks that is quite helpful. Are in d>2 the global and local conformal groups teh same? Commented Nov 7, 2021 at 17:06
• There is no local conformal group in higher dimensions. The conformal group is simply $SO(d,2)$ (Lorentzian) or $SO(d+1,1)$ (Euclidean) Commented Nov 7, 2021 at 17:27
• @Prahar Is formular (1) correct? I've encountered it in several cases and still doubt about it. Say in 2d case for primary fields dilation transforms $\phi(x) \mapsto \lambda^\Delta \phi(x)$ and rotation transforms $\phi(x) \mapsto e^{-i s \theta/2} \phi(x)$. But in formular (1) we have jacobian of rotation is 1, so rotation would make $\phi$ invariant, did I miss something? Commented Sep 28, 2022 at 8:10
• @PeterWu Equation (1) is the transformation law for a spinless (i.e. scalar) field (see the quoted reference). Commented Sep 28, 2022 at 14:19

As Prahar mentioned, operators that transform as a highest weight of the "X algebra" are called "X primary". So in non-supersymmetric 2d CFTs, where you have the global algebra ($$SL(2, \mathbb{C})$$) and the local algebra (Virasoro), there are two types of primary operators. Quasiprimary is a synonym for global or $$SL(2, \mathbb{C})$$ primary. If someone just says primary, this is a synonym for local or Virasoro primary. In supersymmetric 3d CFTs, for example, you also have two types. Conformal primaries generate a representation of the 3d conformal algebra $$SO(4, 1)$$ but there are also superconformal primaries for representations of the full superalgebra $$OSp(\mathcal{N} | 4)$$. Supersymmetric 2d CFTs would then lead to four natural types of multiplets. The largest are super-Virasoro, the smallest are regular-global and in between you have regular-Virasoro and super-global.

Another point is that the highest weight definition implies the (scalar) transformation law (1). A global primary, if it's a Lorentz scalar, has \begin{align} [D, \phi(0)] = \Delta \phi(0), \quad [M_{\mu\nu}, \phi(0)] = 0, \quad [K_\mu, \phi(0)] = 0 \end{align} as the "spin part" of its infinitesimal conformal transformation. Since $$P_\mu$$ generates translations, you can use this and the conformal algebra to solve for the "orbital part" as \begin{align} & [P_\mu, \phi(x)] = \partial_\mu \phi(x), \quad [M_{\mu\nu}, \phi(x)] = x_{[\nu}\partial_{\mu]} \phi(x), \quad [D, \phi(x)] = (x\cdot\partial + \Delta)\phi(x) \\ & [K_\mu, \phi(x)] = (2x_\mu x\cdot\partial - x^2\partial_\mu + 2\Delta x_\mu)\phi(x). \end{align} These infinitesimal transformations can in turn be exponentiated into the finite one you wrote above. As you point out, there would have to be more terms if you wanted (1) to work for the conformal transformations in 2d which are not global. The simplest demonstration of this is the transformation law for the stress tensor. $$$$T^\prime(z^\prime) = \left ( \frac{\partial z^\prime}{\partial z} \right )^{-2} \left [ T(z) - \frac{c}{12} \{ z^\prime, z \} \right ]$$$$ For holomorphic transformations not in $$SL(2, \mathbb{C})$$, the anomalous (Schwarzian derivative) term is non-zero.

1. If $$x^\prime(x)$$ is a global conformal transformation, then (1) holds for all quasiprimaries, of which (Virasoro) primaries are a special case. If $$d = 2$$ and $$x^\prime(x)$$ is one of the other conformal transformations, it does not hold.
2. Virasoro primaries do not exist in $$d > 2$$. But $$[L_1, \phi] = [\bar{L}_1, \phi] = 0$$ becomes $$[K_1, \phi] = [K_2, \phi] = 0$$ after taking linear combinations. So global primaries have the $$[K_\mu, \phi] = 0$$ definition both in $$d = 2$$ and $$d > 2$$.
• This is something people say when there is a privileged subalgebra $H \subset G$ such that all generators of $G$ not in $H$ are of raising or lowering type. The highest weight state of a representation is just the one annihilated by all the raising operators. Commented Nov 8, 2021 at 0:12