Skip to content

Characters and Conformal Multiplet Counting

A conformal character records the scaling dimensions and rotation weights of every state in a module. For a long multiplet it is the primary character times the generating function for commuting translations. For a short multiplet, one must subtract the entire module generated by each null primary—not just the first null state—and restore intersections when several null modules overlap. Characters make this bookkeeping exact and expose recombination at a unitarity threshold. The primary, descendant, and unitary-shortening inputs used below are reviewed in Simmons-Duffin 2017, §§ 4.3 and 7.3 and Poland, Rychkov, and Vichi 2019, §§ III.B and III.E.

Required background. Primaries, Descendants, and Conformal Multiplets supplies the translation-generated module and null quotient. Representations, Intertwiners, and Invariants supplies highest weights and rotation characters. Helpful background. Unitarity Bounds and Null States supplies the shortening values and null representations.

Let r=d/2r=\lfloor d/2\rfloor be the rank of SO(d)SO(d), let HiH_i be Cartan generators, and let yH=iyiHi\boldsymbol y^{\boldsymbol H}=\prod_i y_i^{H_i}. For a positive-energy module V\mathcal V, define

χV(q,y)=TrV(qDyH),q<1.\chi_{\mathcal V}(q,\boldsymbol y) =\operatorname{Tr}_{\mathcal V} \left(q^D\boldsymbol y^{\boldsymbol H}\right), \qquad \lvert q\rvert<1.

The coefficient of qΔ+nq^{\Delta+n} is the SO(d)SO(d) character of level nn. If the primary has dimension Δ\Delta and rotation irrep RR, commuting translations generate Sym(V)\operatorname{Sym}^{\bullet}(V), so the induced long-module character is

χΔ,Rlong(q,y)=qΔχR(y)Pd(q,y),\boxed{ \chi_{\Delta,R}^{\mathrm{long}}(q,\boldsymbol y) =q^\Delta\chi_R(\boldsymbol y)\,\mathcal P_d(q,\boldsymbol y), }

where

Pd(q,y)=wWt(V)11qyw.\mathcal P_d(q,\boldsymbol y) =\prod_{w\in\operatorname{Wt}(V)} \frac1{1-q\boldsymbol y^w}.

For d=2rd=2r and d=2r+1d=2r+1 this is, respectively,

P2r(q,y)=i=1r1(1qyi)(1qyi1),P2r+1(q,y)=11qi=1r1(1qyi)(1qyi1).\begin{aligned} \mathcal P_{2r}(q,\boldsymbol y) &=\prod_{i=1}^r \frac1{(1-qy_i)(1-qy_i^{-1})},\\ \mathcal P_{2r+1}(q,\boldsymbol y) &=\frac1{1-q} \prod_{i=1}^r \frac1{(1-qy_i)(1-qy_i^{-1})}. \end{aligned}

Setting every yi=1y_i=1 gives the unrefined descendant factor

Pd(q,1)=1(1q)d.\mathcal P_d(q,\mathbf1)=\frac1{(1-q)^d}.

This counts raw translation monomials. It does not by itself decompose their tensor products into irreducible rotations or remove null states. Dolan derives the higher-dimensional character formulas and shortening subtractions in Dolan 2006, §§ 2–4.

For a scalar primary, expand

qΔPd(q,y)=qΔ[1+qχV+q2χSym2V+O(q3)].q^\Delta\mathcal P_d(q,\boldsymbol y) =q^\Delta\left[ 1+q\chi_V +q^2\chi_{\operatorname{Sym}^2V}+O(q^3) \right].

Since Sym2V=[2][0]\operatorname{Sym}^2V=[2]\oplus[0] for generic d3d\geq3, the first levels are

LevelCharacter coefficientOperators counted
011O\mathcal O
1χV\chi_VPμOP_\mu\mathcal O
2χ[2]+1\chi_{[2]}+1Symmetric traceless P(μPν)OP_{(\mu}P_{\nu)}\mathcal O and trace P2OP^2\mathcal O

The unrefined coefficients 1,d,d(d+1)/2,1,d,d(d+1)/2,\ldots agree with the number of degree-nn monomials in dd commuting translations. This is a useful implementation test: using 2d2^d or dnd^n would incorrectly count translations as fermionic or noncommuting.

For a primary in RR, the same expansion gives

qΔ[χR+qχVχR+q2χSym2VχR+].q^\Delta\left[ \chi_R+q\chi_V\chi_R +q^2\chi_{\operatorname{Sym}^2V}\chi_R+\cdots \right].

Each product must be reduced using the actual dimension-dd representation ring. Hodge identities, absent Young diagrams, and chirality can change the result in low dimensions.

Suppose a descendant χ\chi at level nn is itself primary, has rotation representation RχR_\chi, and generates a long submodule. Then

χshort=χΔ,RinducedqΔ+nχRχPd.\chi_{\mathrm{short}} =\chi_{\Delta,R}^{\mathrm{induced}} -q^{\Delta+n}\chi_{R_\chi}\mathcal P_d.

If the null submodule is itself short, this simple subtraction removes too much; its own null submodules must be added back by inclusion–exclusion. Weyl character formulas or BGG-type resolutions organize the general alternating sum. A negative coefficient after complete decomposition signals either an incorrect resolution or a specialization of fugacities that concealed cancellations.

For a conserved symmetric traceless primary of spin 1\ell\geq1 and Δ=+d2\Delta=\ell+d-2, the null primary is its level-one divergence of spin 1\ell-1. Therefore

χcons(q,y)=q+d2[χ[](y)qχ[1](y)]Pd(q,y).\boxed{ \chi_{\ell}^{\mathrm{cons}}(q,\boldsymbol y) =q^{\ell+d-2} \left[\chi_{[\ell]}(\boldsymbol y) -q\chi_{[\ell-1]}(\boldsymbol y)\right] \mathcal P_d(q,\boldsymbol y). }

For a free scalar at Δ=(d2)/2\Delta=(d-2)/2, the level-two null is another scalar, so

χfree scalar(q,y)=q(d2)/2(1q2)Pd(q,y).\boxed{ \chi_{\mathrm{free\ scalar}}(q,\boldsymbol y) =q^{(d-2)/2}(1-q^2)\mathcal P_d(q,\boldsymbol y). }

These formulas assume generic d3d\geq3 and the ordinary irreducible quotient. Special dimensions and additional simultaneous nulls require their specialized resolutions.

The subtraction has a direct module interpretation. Inspect that the descendant cone of the null primary, rather than one isolated state, is removed.

A primary generates all translation descendants; at shortening a null descendant becomes a new primary, and character subtraction removes that state together with every descendant generated from it.

A long character counts the full descendant cone. At a shortening threshold, the first null descendant generates a second cone inside it. The short character is the full cone minus the null cone, with inclusion–exclusion if null cones intersect or contain further nulls. For currents the first removed state is the divergence; for a free scalar it is P2OP^2\mathcal O. The diagram is schematic.

Module featureCharacter operationConserved spin \ell exampleFree-scalar example
PrimaryMultiply by qΔχRq^\Delta\chi_Rq+d2χ[]q^{\ell+d-2}\chi_{[\ell]}q(d2)/2q^{(d-2)/2}
Translation descendantsMultiply by Pd\mathcal P_dSymmetric products of PμP_\muSymmetric products of PμP_\mu
First null primaryIdentify its level and irrepLevel one, [1][\ell-1]Level two, scalar
Null submoduleSubtract its full characterq+d1χ[1]Pd-q^{\ell+d-1}\chi_{[\ell-1]}\mathcal P_dq(d+2)/2Pd-q^{(d+2)/2}\mathcal P_d
Low-level checkCompare coefficients with tensor decompositionDivergence absent at level oneTrace absent at level two

In d=3d=3, SO(3)SO(3) spin \ell has unrefined dimension 2+12\ell+1, and P3(q,1)=(1q)3\mathcal P_3(q,\mathbf1)=(1-q)^{-3}. A conserved spin-one current has Δ=2\Delta=2, so

χJ(q,1)=q23q(1q)3=3q2+8q3+15q4+24q5+.\chi_J(q,\mathbf1) =q^2\frac{3-q}{(1-q)^3} =3q^2+8q^3+15q^4+24q^5+\cdots.

Before quotienting, the induced module would give

3q2(1q)3=3q2+9q3+18q4+30q5+.3q^2(1-q)^{-3} =3q^2+9q^3+18q^4+30q^5+\cdots.

The difference is

q3(1q)3=q3+3q4+6q5+,\frac{q^3}{(1-q)^3} =q^3+3q^4+6q^5+\cdots,

exactly the scalar divergence at level one and all of its descendants. At level one, VVV\otimes V has nine raw components; conservation removes one scalar, leaving eight. At level two, subtraction removes the three vector descendants of that scalar, reducing eighteen to fifteen. Deleting only the first divergence would incorrectly give seventeen at the next level.

Approach a spinning unitarity bound from a long representation, ΔΔ=+d2\Delta\downarrow\Delta_*=\ell+d-2. At the threshold the induced character separates as

χΔ,[]induced=χcons+χΔ+1,[1]long.\chi_{\Delta_*,[\ell]}^{\mathrm{induced}} =\chi_{\ell}^{\mathrm{cons}} +\chi_{\Delta_*+1,[\ell-1]}^{\mathrm{long}}.

The second term is the module that becomes null in the short quotient. Moving above threshold joins the two pieces into one irreducible long multiplet. Conversely, a continuously varying family cannot lose states at the threshold; the short module must be accompanied by the recombination partner. The same logic for a scalar gives a free-scalar short module plus the scalar module generated by the level-two null.

Recombination is especially useful in supersymmetric or parameter-dependent theories, but the statement here is purely conformal. It assumes the spectrum changes continuously and that no additional coincident null conditions alter the resolution.

Characters versus operator-counting partition functions

Section titled “Characters versus operator-counting partition functions”

A character counts states in one conformal module. A plethystic exponential instead builds multi-operator products from a chosen single-particle or single-trace input. For a bosonic generating function ff,

PE[f]=exp(m=11mf(qm,ym)),\operatorname{PE}[f] =\exp\left(\sum_{m=1}^{\infty}\frac1m f(q^m,\boldsymbol y^m)\right),

whereas fermionic statistics insert (1)m+1(-1)^{m+1} in the sum. Before interpreting such a function as a local-operator count, one must also impose gauge singlets, integration-by-parts relations, equations of motion, finite-NN relations, and any shortening constraints. A conformal character already handles descendants and its declared null quotient; it does not automatically handle those separate operator-basis relations.

From the Local OPE to Conformal Data uses irreducible conformal families rather than raw Verma modules, so these null subtractions determine which descendants may propagate in a block. Multi-trace and gauge-invariant operator-basis enumeration is a separate counting problem and should not be inferred from a single-module character.

Subtracting one null state. A null primary removes its entire descendant module. The three-dimensional current example shows the error one level later.

Setting fugacities to one too early. Distinct irreducible representations can have the same dimension. Keep rotation characters until after tensor-product decomposition and null subtraction.

Using a generic-dd Young diagram in low dimension. Hodge duality and vanishing long columns change both primary and descendant characters.

Calling a plethystic count a conformal character. The former builds products; the latter traces one representation. They solve different counting problems.

Expand the free-scalar character through level three and identify the removed states.

Solution

Write Pd=1+qχV+q2χSym2V+q3χSym3V+\mathcal P_d=1+q\chi_V+q^2\chi_{\operatorname{Sym}^2V}+q^3\chi_{\operatorname{Sym}^3V}+\cdots. Multiplication by 1q21-q^2 leaves the level-zero scalar and level-one vector unchanged. At level two it subtracts one scalar, removing the trace P2OP^2\mathcal O. At level three it subtracts one vector, removing PμP2OP_\mu P^2\mathcal O. Thus the whole descendant module of the equation of motion is absent.

Verify the first four coefficients of the unrefined three-dimensional current character.

Solution

Since (1q)3=1+3q+6q2+10q3+(1-q)^{-3}=1+3q+6q^2+10q^3+\cdots,

(3q)(1q)3=3+8q+15q2+24q3+.(3-q)(1-q)^{-3} =3+8q+15q^2+24q^3+\cdots.

Multiplying by q2q^2 gives 3q2+8q3+15q4+24q5+3q^2+8q^3+15q^4+24q^5+\cdots.

  • Dolan, F. A. “Character Formulae and Partition Functions in Higher Dimensional Conformal Field Theory.” Journal of Mathematical Physics 47 (2006): 062303. DOI; Open PDF
  • Poland, David, Slava Rychkov, and Alessandro Vichi. “The Conformal Bootstrap: Theory, Numerical Techniques, and Applications.” Reviews of Modern Physics 91 (2019): 015002. DOI; Open PDF
  • Simmons-Duffin, David. “TASI Lectures on the Conformal Bootstrap.” In New Frontiers in Fields and Strings, 1–74. Singapore: World Scientific, 2017. DOI; Open PDF