Skip to content

Degenerate Fields and Null-Vector Decoupling

A degenerate Virasoro field is not merely a primary whose weight happens to take a special value. Its Verma module contains a proper null submodule, and the chiral vertex operators of the degenerate theory factor through the quotient by that submodule. This quotient turns an algebraic state relation into a differential identity for every block containing the field.

For the light field Vb/2(z)V_{-b/2}(z), the first relation occurs at level two. The two descendant directions L12Vb/2L_{-1}^2V_{-b/2} and L2Vb/2L_{-2}V_{-b/2} collapse to one, so the stress-tensor Ward hierarchy closes at second order in zz. The result is the exact finite-central-charge BPZ equation. It is an ODE only when the remaining coordinate dependence can be eliminated; with independent moduli it is a PDE.

Keep the conventions of the chapter overview:

QL=b+b1,cVir=1+6QL2,ΔCFT(α)=α(QLα).\begin{aligned} Q_{\mathrm L} &= b+b^{-1}, \\ c_{\mathrm{Vir}} &= 1+6Q_{\mathrm L}^2, \\ \Delta^{\mathrm{CFT}}(\alpha) &= \alpha(Q_{\mathrm L}-\alpha). \end{aligned}

For positive integers r,sr,s, define the uncentered Kac momentum

αr,s=QL2rb+sb12=(1r)b+(1s)b12.\begin{aligned} \alpha_{r,s} &= \frac{Q_{\mathrm L}}2 - \frac{rb+s b^{-1}}2 \\ &= \frac{(1-r)b+(1-s)b^{-1}}2. \end{aligned}

Its weight is

Δr,sCFT=QL24(rb+sb1)24.\Delta_{r,s}^{\mathrm{CFT}} = \frac{Q_{\mathrm L}^2}{4} - \frac{(rb+s b^{-1})^2}{4}.

The reflected momentum QLαr,sQ_{\mathrm L}-\alpha_{r,s} gives the same weight. In centered coordinates, aL=αQL/2a_{\mathrm L}=\alpha-Q_{\mathrm L}/2, the chosen Kac representative is aL,r,s=(rb+sb1)/2a_{\mathrm L,r,s}=-(rb+s b^{-1})/2. A source using centered momenta may therefore display this value where the book displays αr,s\alpha_{r,s}.

At generic bb, the Verma module MΔr,sCFT\mathsf M_{\Delta_{r,s}^{\mathrm{CFT}}} has a primitive singular vector at level rsrs. The Kac determinant records this statement at every level:

detGΔ(N)=CNr,s1rsN(ΔΔr,sCFT)p(Nrs).\det G_\Delta^{(N)} = C_N \prod_{\substack{r,s\geq1\\rs\leq N}} \left( \Delta-\Delta_{r,s}^{\mathrm{CFT}} \right)^{p(N-rs)}.

Here CN0C_N\neq0 depends on the PBW basis and p(k)p(k) is the partition number, with p(0)=1p(0)=1. When Kac weights collide at special bb, several factors describe the same numerical weight and the embedding structure requires extra care.

The primitive vector at level rsrs begins with an L1rsL_{-1}^{rs} term. After decoupling, it produces a differential constraint of order rsrs in the degenerate coordinate. Independent moduli can still leave that constraint as a PDE; higher level does not remove the same ODE-versus-PDE qualification encountered at level two.

The determinant is computed in the Verma module. Its zero identifies a radical of the contravariant form; it does not automatically remove that radical. Let Nr,s\mathsf N_{r,s} be the null submodule generated by the primitive singular vector. For generic bb, this is the full maximal proper submodule, and the degenerate irreducible module is

Lr,s=MΔr,sCFT/Nr,s.\mathsf L_{r,s} = \mathsf M_{\Delta_{r,s}^{\mathrm{CFT}}} \big/ \mathsf N_{r,s}.

At a collision locus with additional singular vectors, Nr,s\mathsf N_{r,s} must be replaced by the full radical or maximal proper submodule.

This quotient is the representation-theoretic content of “null-vector decoupling.”

The level-two kernel fixes the weight and the null vector

Section titled “The level-two kernel fixes the weight and the null vector”

The level-two space has basis

L2Δ,L12Δ.L_{-2}|\Delta\rangle, \qquad L_{-1}^2|\Delta\rangle.

Start with the candidate

χ=(L12+κL2)Δ.|\chi\rangle = \left( L_{-1}^2+\kappa L_{-2} \right)|\Delta\rangle.

A level-two state is singular precisely when L1χ=0L_1|\chi\rangle=0 and L2χ=0L_2|\chi\rangle=0; modes LnL_n with n3n\geq3 then annihilate it automatically because [L1,Ln]=(1n)Ln+1[L_1,L_n]=(1-n)L_{n+1} recursively generates the positive modes from L1L_1 and L2L_2. The Virasoro commutators give

L1χ=[2(2Δ+1)+3κ]L1Δ,L2χ=[6Δ+κ(4Δ+cVir2)]Δ.\begin{aligned} L_1|\chi\rangle &= \left[ 2(2\Delta+1)+3\kappa \right] L_{-1}|\Delta\rangle, \\ L_2|\chi\rangle &= \left[ 6\Delta + \kappa \left( 4\Delta+\frac{c_{\mathrm{Vir}}}{2} \right) \right] |\Delta\rangle. \end{aligned}

Thus

κ=2(2Δ+1)3,\kappa = - \frac{2(2\Delta+1)}{3},

and eliminating κ\kappa leaves

16Δ2+2(cVir5)Δ+cVir=0.16\Delta^2 + 2(c_{\mathrm{Vir}}-5)\Delta + c_{\mathrm{Vir}} = 0.

Substituting cVir=1+6(b+b1)2c_{\mathrm{Vir}}=1+6(b+b^{-1})^2 gives two branches:

Kac labelWeightCoefficient in L12+κL2L_{-1}^2+\kappa L_{-2}
(2,1)(2,1)123b24\displaystyle -\frac12-\frac{3b^2}{4}κ=b2\kappa=b^2
(1,2)(1,2)1234b2\displaystyle -\frac12-\frac{3}{4b^2}κ=b2\kappa=b^{-2}

The same result is visible in the exact level-two determinant:

detGΔ(2)=2Δ[16Δ2+2(cVir5)Δ+cVir]=32Δ(ΔΔ2,1CFT)(ΔΔ1,2CFT).\begin{aligned} \det G_\Delta^{(2)} &= 2\Delta \left[ 16\Delta^2 + 2(c_{\mathrm{Vir}}-5)\Delta + c_{\mathrm{Vir}} \right] \\ &= 32\Delta \left( \Delta-\Delta_{2,1}^{\mathrm{CFT}} \right) \left( \Delta-\Delta_{1,2}^{\mathrm{CFT}} \right). \end{aligned}

The factor Δ\Delta is the descendant of the level-one identity-module singular vector. The other two factors are the genuinely level-two branches.

For the branch used in the book’s b0b\to0 ODE limit,

α2,1=b2,Δ2,1CFT=123b24,χ2,1=(L12+b2L2)Δ2,1CFT.\begin{aligned} \alpha_{2,1} &= -\frac b2, \\ \Delta_{2,1}^{\mathrm{CFT}} &= -\frac12-\frac{3b^2}{4}, \\ |\chi_{2,1}\rangle &= \left( L_{-1}^2+b^2L_{-2} \right) |\Delta_{2,1}^{\mathrm{CFT}}\rangle. \end{aligned}

A level-two singular vector generates a null submodule, whose quotient produces the BPZ decoupling identity

The singular state χ2,1\chi_{2,1} generates a full descendant submodule inside the Verma module. Passing to the irreducible quotient sets this submodule to zero. Under state–operator correspondence, the level-two relation becomes the BPZ differential constraint on a chiral block.

At generic bb, the submodule generated by χ2,1\chi_{2,1} begins two levels above the highest-weight state and has one descendant for every partition above that shift. The quotient character is therefore

χL2,1(q)=qΔ2,1CFTcVir/241q2n=1(1qn).\chi_{\mathsf L_{2,1}}(\mathfrak q) = \mathfrak q^{ \Delta_{2,1}^{\mathrm{CFT}} - c_{\mathrm{Vir}}/24 } \frac{1-\mathfrak q^2} {\displaystyle\prod_{n=1}^{\infty}(1-\mathfrak q^n)}.

The first dimensions make the subtraction concrete:

Level NNVerma states p(N)p(N)Null descendants p(N2)p(N-2)Quotient states
0101
1101
2211
3312
4523
5734

For example, writing \equiv for equality in the quotient, the level-two relation is

L12Δ2,1CFTb2L2Δ2,1CFT.L_{-1}^2|\Delta_{2,1}^{\mathrm{CFT}}\rangle \equiv - b^2L_{-2}|\Delta_{2,1}^{\mathrm{CFT}}\rangle.

Acting once with L1L_{-1} and restoring PBW order gives the level-three descendant relation

[L13+b2(L2L1+L3)]Δ2,1CFT0.\left[ L_{-1}^3 + b^2 \left( L_{-2}L_{-1}+L_{-3} \right) \right] |\Delta_{2,1}^{\mathrm{CFT}}\rangle \equiv 0.

Thus quotienting does not delete one isolated state; it removes its entire descendant tower. At rational or logarithmic loci, additional singular vectors and submodule intersections can alter this simple character subtraction.

The dual (1,2)(1,2) branch follows from bb1b\leftrightarrow b^{-1}. With b0b\to0 held fixed, Vb/2V_{-b/2} is light whereas V1/(2b)V_{-1/(2b)} is heavy. The two labels must not be exchanged without also exchanging the semiclassical scaling.

A singular state becomes a local field identity

Section titled “A singular state becomes a local field identity”

Under state–operator correspondence, the singular state gives the descendant field

χ2,1(z):=(L12+b2L2)Vb/2(z).\chi_{2,1}(z) := \left( L_{-1}^2+b^2L_{-2} \right)V_{-b/2}(z).

In the irreducible quotient,

χ2,1(z)=0.\chi_{2,1}(z)=0.

This is an operator statement inside chiral blocks whose vertices factor through L2,1\mathsf L_{2,1}. In particular, for a chosen chiral block

B(z;z):=Vb/2(z)i=1nVi(zi)ch,\mathscr B(z;\boldsymbol z) := \left\langle V_{-b/2}(z) \prod_{i=1}^{n}V_i(z_i) \right\rangle_{\mathrm{ch}},

null-submodule decoupling requires

χ2,1(z)i=1nVi(zi)ch=0.\left\langle \chi_{2,1}(z) \prod_{i=1}^{n}V_i(z_i) \right\rangle_{\mathrm{ch}} = 0.

The symbol ch\langle\cdots\rangle_{\mathrm{ch}} can denote one chiral block or a chiral correlator assembled from blocks. The decoupling operator is linear, so every admissible block and any admissible linear combination obey it.

The first descendant is already differential:

(L1V)(z)=zV(z).\left( L_{-1}V \right)(z) = \partial_zV(z).

The nontrivial step is to express L2VL_{-2}V through derivatives with respect to the other insertions.

The Ward contour turns the second descendant into derivatives

Section titled “The Ward contour turns the second descendant into derivatives”

Modes acting on a field at zz are defined by a local stress-tensor contour. For the required mode,

(L2Vb/2)(z)=12πiz ⁣dwwzTCFT(w)Vb/2(z).\left( L_{-2}V_{-b/2} \right)(z) = \frac{1}{2\pi\ii} \oint_z \frac{\dd w}{w-z} T_{\mathrm{CFT}}(w)V_{-b/2}(z).

Insert this expression into B\mathscr B and move the contour away from zz. Near another primary Vi(zi)V_i(z_i), the Ward OPE is

TCFT(w)Vi(zi)=ΔiCFT(wzi)2Vi(zi)+1wziziVi(zi)+O(1).T_{\mathrm{CFT}}(w)V_i(z_i) = \frac{\Delta_i^{\mathrm{CFT}}}{(w-z_i)^2}V_i(z_i) + \frac{1}{w-z_i}\partial_{z_i}V_i(z_i) + O(1).

The residue of (wz)1(w-z)^{-1} at ziz_i has a minus sign, and the contour deformation contributes a second minus sign. Assuming no additional contour contribution at infinity, the result is

(L2Vb/2)(z)i=1nVi(zi)ch=i=1n[ΔiCFT(zzi)2+1zzizi]B(z;z).\begin{aligned} & \left\langle \left( L_{-2}V_{-b/2} \right)(z) \prod_{i=1}^{n}V_i(z_i) \right\rangle_{\mathrm{ch}} \\ &\qquad= \sum_{i=1}^{n} \left[ \frac{\Delta_i^{\mathrm{CFT}}}{(z-z_i)^2} + \frac{1}{z-z_i}\partial_{z_i} \right] \mathscr B(z;\boldsymbol z). \end{aligned}

If a field is ultimately placed at infinity, first derive the equation at finite position and then take the normalized limit. This avoids silently losing its contribution.

Substituting the two descendant identities into null decoupling and dividing by b2b^2 gives the finite-central-charge BPZ equation

[b2z2+i=1n(ΔiCFT(zzi)2+1zzizi)]B=0.\boxed{ \left[ b^{-2}\partial_z^2 + \sum_{i=1}^{n} \left( \frac{\Delta_i^{\mathrm{CFT}}}{(z-z_i)^2} + \frac{1}{z-z_i}\partial_{z_i} \right) \right] \mathscr B = 0. }

This equation is exact. No heavy–light limit has been taken, and the derivatives zi\partial_{z_i} are part of the operator rather than accessory constants.

The displayed Ward operator assumes distinct, regular primary insertions. Descendant or irregular insertions have different stress-tensor Ward terms and will be treated separately in the confluent part of the chapter.

For the dual field V1/(2b)V_{-1/(2b)}, the null coefficient is b2b^{-2}, so the corresponding unreduced equation is

[b2z2+i=1n(ΔiCFT(zzi)2+1zzizi)]B(1,2)=0.\left[ b^2\partial_z^2 + \sum_{i=1}^{n} \left( \frac{\Delta_i^{\mathrm{CFT}}}{(z-z_i)^2} + \frac{1}{z-z_i}\partial_{z_i} \right) \right] \mathscr B^{(1,2)} = 0.

Three global identities decide ODE versus PDE

Section titled “Three global identities decide ODE versus PDE”

On the sphere, invariance under L1L_{-1}, L0L_0, and L1L_1 supplies three global Ward identities:

(z+izi)B=0,\left( \partial_z + \sum_i\partial_{z_i} \right)\mathscr B = 0, [zz+Δ2,1CFT+i(zizi+ΔiCFT)]B=0,\left[ z\partial_z + \Delta_{2,1}^{\mathrm{CFT}} + \sum_i \left( z_i\partial_{z_i} + \Delta_i^{\mathrm{CFT}} \right) \right]\mathscr B = 0,

and

[z2z+2Δ2,1CFTz+i(zi2zi+2ΔiCFTzi)]B=0.\begin{aligned} \bigg[ z^2\partial_z &+ 2\Delta_{2,1}^{\mathrm{CFT}}z \\ &+ \sum_i \left( z_i^2\partial_{z_i} + 2\Delta_i^{\mathrm{CFT}}z_i \right) \bigg]\mathscr B = 0. \end{aligned}

These identities remove the coordinate dependence associated with three Möbius directions. What remains depends only on cross-ratios.

Insertion contentIndependent cross-ratiosResult after fixing three positions
Three nondegenerate fields plus Vb/2V_{-b/2}OneA closed second-order ODE in the degenerate cross-ratio
Four nondegenerate fields plus Vb/2V_{-b/2}TwoA second-order PDE in the probe coordinate and one background modulus
More nondegenerate fields plus Vb/2V_{-b/2}More than twoA BPZ PDE with several moduli

Thus a level-two null vector guarantees second order in the degenerate coordinate. It does not guarantee that all other derivatives disappear. “BPZ equation” and “second-order ODE” are not synonyms.

The two fusion shifts reappear as local exponents

Section titled “The two fusion shifts reappear as local exponents”

The differential equation also remembers the degenerate fusion rule. Bring the probe close to a primary Vαj(zj)V_{\alpha_j}(z_j) and write x=zzjx=z-z_j. This is the same leading-power test used for regular singularities. For a generic local branch,

BxλB0.\mathscr B \sim x^\lambda \mathscr B_0.

At leading order, zjxλ=λxλ1\partial_{z_j}x^\lambda=-\lambda x^{\lambda-1}. The most singular terms in the BPZ equation therefore give

b2λ(λ1)λ+ΔjCFT=0.b^{-2}\lambda(\lambda-1) - \lambda + \Delta_j^{\mathrm{CFT}} = 0.

Equivalently,

λ2(1+b2)λ+b2ΔjCFT=0.\lambda^2 - (1+b^2)\lambda + b^2\Delta_j^{\mathrm{CFT}} = 0.

Introduce the centered momentum aL,j=αjQL/2a_{\mathrm L,j}=\alpha_j-Q_{\mathrm L}/2 and a fusion sign ϵf=±1\epsilon_{\mathrm f}=\pm1. The two roots are

λϵf=bQL2+ϵfbaL,j.\lambda_{\epsilon_{\mathrm f}} = \frac{bQ_{\mathrm L}}2 + \epsilon_{\mathrm f}b\,a_{\mathrm L,j}.

They equal the two OPE exponents

λϵf=ΔCFT(αj[ϵf])ΔjCFTΔ2,1CFT,αj[ϵf]=αjϵfb2.\begin{aligned} \lambda_{\epsilon_{\mathrm f}} &= \Delta^{\mathrm{CFT}} \left( \alpha_j^{[\epsilon_{\mathrm f}]} \right) - \Delta_j^{\mathrm{CFT}} - \Delta_{2,1}^{\mathrm{CFT}}, \\ \alpha_j^{[\epsilon_{\mathrm f}]} &= \alpha_j - \epsilon_{\mathrm f}\frac b2. \end{aligned}

Hence

Vb/2×VαjVαjb/2Vαj+b/2.V_{-b/2}\times V_{\alpha_j} \longrightarrow V_{\alpha_j-b/2} \oplus V_{\alpha_j+b/2}.

The differential equation sees two local powers; representation theory identifies their intermediate momenta. Which branch appears in a full correlator also depends on spectrum and OPE coefficients.

The dual exchange bb1b\leftrightarrow b^{-1} instead gives shifts αjαj±(2b)1\alpha_j\mapsto\alpha_j\pm(2b)^{-1} and local exponents αj/b\alpha_j/b and (QLαj)/b(Q_{\mathrm L}-\alpha_j)/b.

Substituting a Kac weight without taking the quotient. A generic block formula uses inverse Gram matrices and becomes singular at a Kac zero. The degenerate block is defined by removing the null submodule, not by blind substitution into the singular generic expression.

Treating zero norm as automatic decoupling. Decoupling follows because the representation and chiral vertices factor through the irreducible quotient. In logarithmic or indecomposable theories, a zero-norm state can participate in nontrivial pairings and must be analyzed separately.

Dropping the coordinate derivatives in the Ward operator. The terms zi\partial_{z_i} are exact at finite central charge. Global symmetry eliminates only three coordinate directions; genuine moduli remain.

Swapping the two Kac labels at fixed scaling. The algebra is related by bb1b\leftrightarrow b^{-1}, but Vb/2V_{-b/2} and V1/(2b)V_{-1/(2b)} have different behavior when the limit b0b\to0 is held fixed.

Confusing an internal degeneracy with a probe insertion. A coordinate-space BPZ equation comes from an inserted degenerate field. Putting a degenerate module only on an internal sewing edge instead constrains the adjacent intertwiners and does not create a new probe coordinate.

Use GΔ(1)=(2Δ)G_\Delta^{(1)}=(2\Delta) to identify the level-one Kac weight and its singular vector. What does the quotient imply for the corresponding field?

Solution

The determinant vanishes at Δ=0=Δ1,1CFT\Delta=0=\Delta_{1,1}^{\mathrm{CFT}}. The state L10L_{-1}|0\rangle is annihilated by every positive mode and generates the null submodule. In the quotient,

L10=0.L_{-1}|0\rangle=0.

Under state–operator correspondence this becomes zV1,1(z)=0\partial_zV_{1,1}(z)=0. With the standard vacuum normalization, V1,1V_{1,1} is the identity field.

Starting from

GΔ(2)=(4Δ+cVir/26Δ6Δ4Δ(2Δ+1)),G_\Delta^{(2)} = \begin{pmatrix} 4\Delta+c_{\mathrm{Vir}}/2&6\Delta\\ 6\Delta&4\Delta(2\Delta+1) \end{pmatrix},

show that its determinant has the two Kac factors displayed in the text.

Solution

Direct expansion gives

detGΔ(2)=2Δ[16Δ2+2(cVir5)Δ+cVir].\det G_\Delta^{(2)} = 2\Delta \left[ 16\Delta^2 + 2(c_{\mathrm{Vir}}-5)\Delta + c_{\mathrm{Vir}} \right].

The quadratic roots are Δ2,1CFT\Delta_{2,1}^{\mathrm{CFT}} and Δ1,2CFT\Delta_{1,2}^{\mathrm{CFT}}. Since the bracketed quadratic has leading coefficient 1616,

detGΔ(2)=32Δ(ΔΔ2,1CFT)(ΔΔ1,2CFT).\det G_\Delta^{(2)} = 32\Delta \left( \Delta-\Delta_{2,1}^{\mathrm{CFT}} \right) \left( \Delta-\Delta_{1,2}^{\mathrm{CFT}} \right).

Apply L1L_1 and L2L_2 to (L12+κL2)Δ(L_{-1}^2+\kappa L_{-2})|\Delta\rangle and recover both level-two branches.

Solution

The commutators give

[L1,L12]Δ=2(2Δ+1)L1Δ,[L1,L2]Δ=3L1Δ,[L2,L12]Δ=6ΔΔ,[L2,L2]Δ=(4Δ+cVir2)Δ.\begin{aligned} [L_1,L_{-1}^2]|\Delta\rangle &= 2(2\Delta+1)L_{-1}|\Delta\rangle, \\ [L_1,L_{-2}]|\Delta\rangle &= 3L_{-1}|\Delta\rangle, \\ [L_2,L_{-1}^2]|\Delta\rangle &= 6\Delta|\Delta\rangle, \\ [L_2,L_{-2}]|\Delta\rangle &= \left( 4\Delta+\frac{c_{\mathrm{Vir}}}{2} \right)|\Delta\rangle. \end{aligned}

Setting both results to zero first gives κ=2(2Δ+1)/3\kappa=-2(2\Delta+1)/3 and then the Kac quadratic. Substitution yields

(Δ,κ)=(Δ2,1CFT,b2)or(Δ1,2CFT,b2).(\Delta,\kappa) = \left( \Delta_{2,1}^{\mathrm{CFT}},b^2 \right) \quad\text{or}\quad \left( \Delta_{1,2}^{\mathrm{CFT}},b^{-2} \right).

Compute the residue at w=ziw=z_i of

1wz[ΔiCFT(wzi)2+ziwzi]B.\frac{1}{w-z} \left[ \frac{\Delta_i^{\mathrm{CFT}}}{(w-z_i)^2} + \frac{\partial_{z_i}}{w-z_i} \right]\mathscr B.

Explain why the final Ward operator has a plus sign.

Solution

The double-pole residue differentiates (wz)1(w-z)^{-1}:

w1wzw=zi=1(zzi)2.\left. \partial_w\frac{1}{w-z} \right|_{w=z_i} = - \frac{1}{(z-z_i)^2}.

The simple-pole residue is (zzi)1zi-(z-z_i)^{-1}\partial_{z_i}. Thus the residue around ziz_i is the negative of the operator in the text. Moving the original contour around zz to all other insertions contributes another minus sign, leaving the displayed plus sign.

Insert B(zzj)λB0\mathscr B\sim(z-z_j)^\lambda\mathscr B_0 into the BPZ equation and verify the two momentum shifts.

Solution

The leading equation is

λ2(1+b2)λ+b2αj(QLαj)=0.\lambda^2 - (1+b^2)\lambda + b^2\alpha_j(Q_{\mathrm L}-\alpha_j) = 0.

Its roots are

λ+=bαj,λ=1+b2bαj.\lambda_+=b\alpha_j, \qquad \lambda_-=1+b^2-b\alpha_j.

Using aL,j=αjQL/2a_{\mathrm L,j}=\alpha_j-Q_{\mathrm L}/2, these are bQL/2±baL,jbQ_{\mathrm L}/2\pm b a_{\mathrm L,j}. Direct evaluation gives

ΔCFT(αjb/2)ΔjCFTΔ2,1CFT=bαj,ΔCFT(αj+b/2)ΔjCFTΔ2,1CFT=b(QLαj).\begin{aligned} \Delta^{\mathrm{CFT}}(\alpha_j-b/2) - \Delta_j^{\mathrm{CFT}} - \Delta_{2,1}^{\mathrm{CFT}} &= b\alpha_j, \\ \Delta^{\mathrm{CFT}}(\alpha_j+b/2) - \Delta_j^{\mathrm{CFT}} - \Delta_{2,1}^{\mathrm{CFT}} &= b(Q_{\mathrm L}-\alpha_j). \end{aligned}

A sphere block contains one degenerate and nn nondegenerate insertions. How many independent cross-ratios remain, and for which nn does the BPZ equation close to an ODE without a semiclassical limit?

Solution

There are n+1n+1 insertion coordinates. Quotienting by the three complex Möbius directions leaves

(n+1)3=n2(n+1)-3=n-2

cross-ratios. For n=3n=3, the sole cross-ratio can be chosen as the degenerate coordinate, so the BPZ equation is an ODE. For n=4n=4, two variables remain: the degenerate coordinate and a background modulus. The exact equation is then a PDE.

Exchange bb1b\leftrightarrow b^{-1} in the (2,1)(2,1) weight and null vector. What changes in the b0b\to0 scaling?

Solution

The exchange gives

Δ1,2CFT=1234b2,(L12+b2L2)V1/(2b)=0.\Delta_{1,2}^{\mathrm{CFT}} = -\frac12-\frac{3}{4b^2}, \qquad \left( L_{-1}^2+b^{-2}L_{-2} \right)V_{-1/(2b)} = 0.

The algebraic formulas are dual. At fixed b0b\to0, however, Δ2,1CFT=O(1)\Delta_{2,1}^{\mathrm{CFT}}=O(1) while Δ1,2CFT=O(b2)\Delta_{1,2}^{\mathrm{CFT}}=O(b^{-2}). The first insertion is light and the second is heavy. They become interchangeable only after the dual scaling is exchanged as well.