Modular Exercises for Four-Point Blocks – I

Miranda C. N. Cheng, Terry Gannon and Guglielmo Lockhart

arXiv: 2002.11125v2 · PDF · 28 February 2025
Categories: hep-th, math.NT, math.QA
Journal: SIGMA 21 (2025), 013, 61 pages
DOI: 10.3842/SIGMA.2025.013
Licence: CC BY SA 4.0 The site shows the text.

Abstract

The well-known modular property of the torus characters and torus partition functions of (rational) vertex operator algebras (VOAs) and 2d conformal field theories (CFTs) has been an invaluable tool for studying this class of theories. In this work we prove that sphere four-point chiral blocks of rational VOAs are vector-valued modular forms for the groups \Gamma(2), \Gamma_0(2), or \mathrm{SL}_2(\mathbb{Z}). Moreover, we prove that the four-point correlators, combining the holomorphic and anti-holomorphic chiral blocks, are modular invariant. In particular, in this language the crossing symmetries are simply modular symmetries. This gives the possibility of exploiting the available techniques and knowledge about modular forms to determine or constrain the physically interesting quantities such as chiral blocks and fusion coefficients, which we illustrate with a few examples. We also highlight the existence of a sphere-torus correspondence equating the sphere quantities of certain theories {\mathcal T}_s with the torus quantities of another family of theories {\mathcal T}_t. A companion paper will delve into more examples and explore more systematically this sphere-torus duality.

Items 8

Theorem

Theorem 5.1

NIWY

The space of core blocks \bigoplus_{\pi\in {\rm Sym}(4)}{\mathfrak F}(\phi_{\pi 1},\phi_{\pi2},\phi_{\pi3},\phi_{\pi4}) furnishes a representation of {\rm F}\Gamma^{0,4}.

Proof of Theorem 5.1

We represent the action of \tilde\sigma_i on the core blocks in terms of matrices R_i as follows:

\varphi^P_{\phi_1,\phi_2,\phi_3,\phi_4}{(\widetilde{w})} \mapsto \sum_{Q}(R_i)_{PQ}\, \varphi^Q_{\tilde\sigma_i(\phi_1,\phi_2,\phi_3,\phi_4)}({\tilde\sigma_i \widetilde{w}}),

where the action of the \tilde\sigma_i on \widetilde{w} is determined (in part) by their action on the z_i, and the action on the labels \varphi_1,\dots,\varphi_4 (hence the sectors M_1,\dots, M_4) is by the induced permutation. Explicitly, one has

\begin{gathered} \tilde\sigma_i(\varphi_1,\varphi_2,\varphi_3,\varphi_4) = \begin{cases} (\varphi_2,\varphi_1,\varphi_3,\varphi_4) &\text{for } i=1, \\(\varphi_1,\varphi_3,\varphi_2,\varphi_4) &\text{for } i=2,\\ ( \varphi_1,\varphi_2,\varphi_4,\varphi_3) &\text{for } i=3 \end{cases} \end{gathered}

and

\begin{gathered} (R_1)_{PQ} = \delta_{PQ} \operatorname{e}\biggl(\frac{\mu_{12}}{2}\biggr) B_{M_1^* M_2^*}\begin{bmatrix} M_1&M_2\\ {\mathcal{V}}&P\end{bmatrix}\!(+),\\ (R_2)_{PQ} = \operatorname{e}\biggl(\frac{\mu_{23}}{2}\biggr) B_{PQ}\begin{bmatrix} M_2&M_3\\ M_1^*&M_4\end{bmatrix}\!(+),\\ (R_3)_{PQ} = \delta_{PQ} \operatorname{e}\biggl(\frac{\mu_{34}}{2}\biggr) B_{M_4 M_3}\begin{bmatrix} M_3&M_4\\ P&{\mathcal{V}}\end{bmatrix}\!(+), \end{gathered}

where the phases arise from the factors of z_{ij} on the right-hand side of (?). Moreover, using equations (?), one sees that R_1 and R_3 are given simply by

\begin{gathered} (R_1)_{PQ} = \delta_{PQ} \zeta^{M_1^*}_{M_2,P}\operatorname{e}\biggl(\frac{h}{6}-\frac{h_P}{2}\biggr),\qquad (R_3)_{PQ} = \delta_{PQ} \xi^P_{M_3,M_4}\operatorname{e}\biggl(\frac{h}{6}-\frac{h_P}{2}\biggr), \end{gathered}

where h is as in (?), and \xi_{M_iM_j}^{M_k} and \zeta_{M_iM_j}^{M_k} are the phases defined in (?)–(?) and satisfying (?).

We need to verify that the following five relations, which follow from (?), are satisfied

\begin{gathered} (1)\quad R_{1} R_{3} = R_{3} R_{1} ,\\ (2)\quad R_{1} R_{2} R_{1} = R_{2} R_{1} R_{2} ,\\ (3)\quad R_{2} R_{3} R_{2} = R_{3} R_{2} R_{3} ,\\ (4)\quad R_{1} R_{2} R_{3}^2R_{2} R_{1} = I ,\\ (5)\quad (R_{1} R_{2} R_{3})^4 = I . \end{gathered}

The proof of relations (1)–(3) is straightforward since it has been shown in [Moore:1989vd] that the braiding matrices provide a representation of {\rm Br}_4, whose generators satisfy relations analogous to (1)–(3), as we see in (?). Therefore, all we need to check is that the extra phases, present due to the fact that we are considering the action on the core blocks and not the chiral blocks, are the same on both sides of the equations. Indeed, in relation (1) the right- and left-hand sides have an identical phase factor of \operatorname{e}\bigl(\tfrac{\mu_{12}+\mu_{34} }{2}\bigr)= \operatorname{e}(-h/6), so (1) holds. Likewise, the left- and right-hand side of (2) have an identical phase factor given by \operatorname{e}\bigl(\tfrac{\mu_{12}+\mu_{23}+\mu_{13}}{2}\bigr), and that of (3) is given by \operatorname{e}\bigl(\tfrac{\mu_{23}+\mu_{34}+\mu_{24}}{2}\bigr).

To prove (4), we use (?) and (?) to write

\begin{gathered} \bigl(R_{1} R_{2} R_{3}^2R_{2} R_{1}\bigr)_{PQ}=\sum_{R}\zeta_{M_2,P}^{M_1^*}\bigl(\xi_{M_1,M_4}^R\xi_{M_4,M_1}^R\bigr) \zeta_{M_1,Q}^{M_2^*}\operatorname{e}\biggl(h_2+h_4-\frac{h_P}{2}-h_R-\frac{h_Q}{2}\biggr) \\ \hphantom{\bigl(R_{1} R_{2} R_{3}^2R_{2} R_{1}\bigr)_{PQ}=\sum_{R}}{} \times B_{PR}\begin{bmatrix}M_1&M_3\\M_2^*&M_4\end{bmatrix}\!(+) B_{RQ}\begin{bmatrix}M_3&M_1\\M_2^*&M_4\end{bmatrix}\!(+), \end{gathered}

which leads to (4) upon plugging in (?) and (?). Finally, to show that (5) holds we begin by noting that the following relation holds:

\begin{gathered} (4')\quad R_3R_2R_1^2R_2R_3=I, \end{gathered}

the derivation is identical to that of (4). We now make repeated use of relations (1)–(4) and (4') as well as R_{1}^2=R_3^2, which follows trivially from equations (?), to show that

\begin{aligned} (R_1R_2R_3)^4&{} =(R_1R_2R_1R_3R_2R_3)^2 =(R_2R_1R_2R_3R_2R_3)^2 \\ &{}=R_2R_1R_3R_2R_3R_3R_2R_1R_2R_3R_2R_3 =R_2R_3\bigl(R_1R_2R_3^2R_2R_1\bigr)R_2R_3R_2R_3 \\ &{}=(R_2R_3)^3 =R_3R_2R_3R_3R_2R_3 =R_3R_2R_1^2R_2R_3 =I, \end{aligned}

and therefore relation (5) holds as well.

Corollary

Corollary 5.2

MLYJ

The space \bigoplus_{\pi\in {\rm Sym}(4)}\widehat{\mathfrak{F}}(\phi_{\pi1},\phi_{\pi2},\phi_{\pi3},\phi_{\pi4}) of chiral blocks furnishes a projective representation of {\rm F}\Gamma^{0,4}.

Theorem

Theorem 5.3

G414

The group \operatorname{{\rm PSL}}_2({\mathbb Z}) acts on the vector-valued functions \underline{\varphi}{}_{A}:=\underline{\varphi}{}_{\phi_1,\phi_2,\phi_2,\phi_2}(\widetilde{w}), \underline{\varphi}{}_{B}(\widetilde{w}):=\underline{\varphi}{}_{B;\phi_1,\phi_2,\phi_3,\phi_3}, and \underline{\varphi}{}_{C}(\widetilde{w}):=\underline{\varphi}{}_{C;\phi_1,\phi_2,\phi_3,\phi_4}(\widetilde{w}), defined in equations (?), (?), and (?), as follows:

\begin{alignedat}{3} &\underline{\varphi}{}_{A}(\widetilde{w})= {\mathcal{T}}^{-1} \cdot \underline{\varphi}{}_{A}(\bar\sigma_T \widetilde{w}), && \qquad \underline{\varphi}{}_{A}(\widetilde{w}) = {\mathcal{S}}^{-1} \cdot \underline{\varphi}{}_{A}(\bar\sigma_S \widetilde{w}),& \\ &\underline{\varphi}{}_{B}(\widetilde{w})= {\mathcal{T}}^{-1}_B \cdot \underline{\varphi}{}_{B}(\bar\sigma_T \widetilde{w}), && \qquad \underline{\varphi}{}_{B}(\widetilde{w}) = {\mathcal{S}}^{-1}_B \cdot \underline{\varphi}{}_{B}(\bar\sigma_S \widetilde{w}),& \\ &\underline{\varphi}{}_{C}(\widetilde{w})= {\mathcal{T}}^{-1}_C \cdot \underline{\varphi}{}_{C}(\bar\sigma_T \widetilde{w}), && \qquad \underline{\varphi}{}_{C}(\widetilde{w}) = {\mathcal{S}}^{-1}_C \cdot \underline{\varphi}{}_{C}(\bar\sigma_S \widetilde{w}),& \end{alignedat}

where the matrices {\mathcal{T}}_{B}, {\mathcal{S}}_{B}, {\mathcal{T}}_{C}, {\mathcal{S}}_{C} are defined in Appendix ?.

In case (\text{B}), the group {\rm P}\Gamma_0(2) acts on the vector-valued function \underline{\varphi}(\widetilde{w})=\underline{\varphi}{}_{\phi_1,\phi_2,\phi_3,\phi_3}(\widetilde{w}) by \underline{\varphi}{}_{}(\widetilde{w}) = {\mathcal{T}}^{-1} \cdot \underline{\varphi}{}(\bar\sigma_T \widetilde{w}) and \underline{\varphi}{}(\widetilde{w}) = {\mathcal{R}}^{-1} \cdot \underline{\varphi}{}(\bar\sigma_R \widetilde{w}). In case (\text{C}), the group {\rm P}\Gamma(2) acts on the vector-valued function \underline{\varphi}(\widetilde{w})=\underline{\varphi}{}_{\phi_1,\phi_2,\phi_3,\phi_4}(\widetilde{w}) by \underline{\varphi}{}_{}(\widetilde{w}) = \bigl({\mathcal{T}}^2\bigr){}^{-1} \cdot \underline{\varphi}{}(\bar\sigma_T\bar\sigma_T \widetilde{w}) and \underline{\varphi}{}(\widetilde{w}) = {\mathcal{U}}^{-1} \cdot \underline{\varphi}{}(\bar\sigma_U \widetilde{w}).

Theorem

Theorem 6.1

3ED7

The core blocks \underline{\varphi}{}_{\phi_1,\phi_2,\phi_3,\phi_4} are single-valued functions on \mathbb H via the identification (?). Moreover, they are weight zero vector-valued modular forms for multipliers given in Theorem \ref{thm:sl2z}.

Theorem

Theorem 7.1

TD0O

The OPE coefficients (?) satisfy

\begin{gathered} {\mathcal{A}}_{1234} =(\rho_T)^{-1} {\mathcal{A}}_{1243} \tilde \rho_{ T} = (\rho_S)^{-1} {\mathcal{A}}_{1423} \tilde \rho_{S}, \end{gathered}

where \rho_T and \rho_S are as given in (?) and (?) and similarly for \tilde \rho.

Proof of Theorem 7.1

Alternatively to the “s-channel” expansion above, we can choose to expand the correlator in the “t-channel” and “u-channel” and obtain

\begin{aligned} {F}_{\phi^1,\phi^2,\phi^3,\phi^4}(\tau,\bar\tau) &{}=\sum_{p=P\otimes {\tilde P}}({\mathcal{A}}_{1234})_{P\tilde P} {\varphi}^{P}_{M_1,M_2,M_3,M_4}(\tau){\tilde{\varphi}}^{ {\tilde P}}_{{\tilde M}_1,{\tilde M}_2,{\tilde M}_3,{\tilde M}_4}(\bar \tau)\\ &{}=\sum_{p=P\otimes {\tilde P}}({\mathcal{A}}_{1243})_{P\tilde P} \varphi^{P}_{M_1,M_2,M_4,M_3}(\tau+1) {\tilde{\varphi}}^{ {\tilde P}}_{{\tilde M}_1,{\tilde M}_2,{\tilde M}_3,{\tilde M}_4}(\bar \tau+1)\\ &{}= \sum_{p=P\otimes {\tilde P}}({\mathcal{A}}_{1423})_{P\tilde P} \varphi^{P}_{M_1,M_4,M_3,M_2}\biggl(-{1\over\tau} \biggr) {\tilde{\varphi}}^{ {\tilde P}}_{{\tilde M}_1,{\tilde M}_4,{\tilde M}_3,{\tilde M}_2}\biggl(-{1\over\bar\tau}\biggr). \end{aligned}

The desired statement then follows from the unitarity of \rho and \tilde \rho, and upon applying (?).

Corollary

Corollary 7.2

QS2O

The core correlator satisfies

\begin{gathered} {F}_{\phi^1,\phi^2,\phi^3,\phi^4}(\tau,\bar\tau)={F}_{\phi^1,\phi^2,\phi^3,\phi^4}\biggl(\frac{a\tau+b}{c\tau+d},{\frac{\overline{a\tau+b}}{\overline{c\tau+d}}}\biggr) \end{gathered}

for all \bigl(\begin{smallmatrix}a& b\\ c&d \end{smallmatrix}\bigr)\in \Gamma(2). Moreover, the above holds for all \bigl(\begin{smallmatrix}a& b\\ c&d \end{smallmatrix}\bigr)\in {\rm SL}_2({\mathbb Z}) if \phi_2=\phi_3=\phi_4.

Source and licence

The text on this page is from arXiv:2002.11125v2 by Miranda C. N. Cheng, Terry Gannon and Guglielmo Lockhart, under the licence CC BY SA 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY SA 4.0.

The record of each item is in analysis/objects/2002/2002.11125.jsonl.