The modular properties of $\mathfrak{sl}(2)$ torus $1$-point functions
Abstract: Conformal field theory and its axiomatisation in terms of vertex operator algebras or chiral algebras are most commonly considered on the Riemann sphere. However, an important constraint in physics and an interesting source of mathematics is the fact that conformal field theories are expected to be well defined on any Riemann surface. To this end, a thorough understanding of chiral torus 1-point functions, ideally including explicit formulae, is a prerequisite for a detailed understanding of higher genera. These are distinguished from characters or vacuum torus 1-point functions because the insertion point is explicitly allowed to be labelled by any module over the vertex operator algebra rather than just the vertex operator algebra itself. Compellingly, chiral torus 1-point functions exhibit interesting modular properties, which we explore here in the example of the simple affine $\mathfrak{sl}(2)$ vertex operator algebras at non-negative integral levels. We determine the dimension of the space spanned by such functions, choose a natural basis to construct vector-valued modular forms and describe the congruence properties of these forms. In particular, we find explicit generators for the spaces of all vector-valued modular forms of dimension at most three, when the insertion comes from a simple module other than the vertex operator algebra. Finally, we use the fact that categories of modules over rational vertex operator algebras are modular tensor categories to give explicit formulae for the action of the modular group on chiral torus 1-point functions entirely in terms of categorical data. The usual modular $\mathsf{S}$ and $\mathsf{T}$ matrices of characters are known not to be complete invariants of modular tensor categories, so these generalised modular data are good candidates for more fine-grained invariants.
- G. Andrews. The Theory of Partitions. Cambridge University Press, 1997.
- B. Bakalov and J. A. Kirillov. Lectures on Tensor Categories and Modular Functors, volume 21 of University Lecture Series. American Mathematical Society, 2001.
- Comments on the links between su(3)su3{\rm su}(3)roman_su ( 3 ) modular invariants, simple factors in the Jacobian of Fermat curves, and rational triangular billiards. In R.C.P. 25, Vol. 48, volume 1997/42 of Prépubl. Inst. Rech. Math. Av., pages 1–56. Univ. Louis Pasteur, Strasbourg, 1997. arXiv:hep-th/9604104.
- D. Bernard and G. Felder. Fock representations and BRST cohomology in SL(2)SL2\mathrm{SL}(2)roman_SL ( 2 ) current algebra. Comm. Math. Phys., 127:145–168, 1990.
- The unbounded denominators conjecture, 2023. arXiv:2109.09040 [math.NT].
- The AA{\rm A}roman_A-DD{\rm D}roman_D-EE{\rm E}roman_E classification of minimal and A1(1)subscriptsuperscript𝐴11A^{(1)}_{1}italic_A start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT conformal invariant theories. Comm. Math. Phys., 113(1):1–26, 1987.
- J. L. Cardy. Operator content of two-dimensional conformally invariant theories. Nucl. Phys. B, 270(2):186–204, 1986.
- Monstrous moonshine. Bull. London Math. Soc., 11(3):308–339, 1979.
- A recurrence relation for characters of highest weight integrable modules for affine Lie algebras. Commun. Contemp. Math., 9(2):121–133, 2007. arXiv:math/0504463 [math.QA].
- Twisted representations of vertex operator algebras. Math. Ann., 310(3):571–600, 1998. arXiv:q-alg/9509005.
- Modular-invariance of trace functions in orbifold theory and generalized Moonshine. Comm. Math. Phys., 214:1–56, 2000. arXiv:q-alg/9703016.
- Congruence property in conformal field theory. Algebra Number Theory, 9(9):2121–2166, 2015. arXiv:1201.6644 [math.QA].
- C. Dong and G. Mason. Vertex operator algebras and Moonshine: A survey. In Progress in algebraic combinatorics (Fukuoka, 1993), volume 24 of Adv. Stud. Pure Math., pages 101–136. Math. Soc. Japan, Tokyo, 1996.
- C. Dong and G. Mason. Monstrous Moonshine of higher weight. Acta Math., 185:101–121, 2000. arXiv:math/9803116 [math.QA].
- C. Dong and G. Mason. Rational vertex operator algebras and the effective central charge. Int. Math. Res. Not., 2004:2989–3008, 2004. arXiv:math/0201318 [math.QA].
- W. Eholzer. On the classification of modular fusion algebras. Comm. Math. Phys., 172(3):623–659, 1995. arXiv:hep-th/9408160.
- W. Eholzer and N. P. Skoruppa. Modular invariance and uniqueness of conformal characters. Comm. Math. Phys., 174(1):117–136, 1995. arXiv:hep-th/9407074.
- Tensor Categories, volume 205 of Mathematical Surveys and Monographs. American Mathematical Society, 2015.
- On the affine analogue of Jack and Macdonald polynomials. Duke Math. J., 78(2):229–256, 1995. arXiv:hep-th/9403168.
- C. Franc and G. Mason. Fourier coefficients of vector-valued modular forms of dimension 2. Can. Math. Bull., 57(3):485–494, 2014. arXiv:1304.4288 [math.NT].
- C. Franc and G. Mason. Hypergeometric series, modular linear differential equations and vector-valued modular forms. Ramanujan J., 41(1-3):233–267, 2016. arXiv:1503.05519 [math.NT].
- C. Franc and G. Mason. Classification of some vertex operator algebras of rank 3. Algebra Number Theory, 14(6):1613–1668, 2020. arXiv:1905.07500 [math.QA].
- E. Frenkel and D. Ben-Zvi. Vertex Algebras and Algebraic Curves, volume 88 of Mathematical Surveys and Monographs. American Mathematical Society, 2001.
- I. G. Frenkel and Y. Zhu. Vertex operator algebras associated to representations of affine and Virasoro algebras. Duke Math. J., 66, Apr. 1992.
- TFT construction of RCFT correlators I: Partition functions. Nucl. Phys., B646:353–497, 202. arXiv:hep-th/0204148.
- T. Gannon. Moonshine beyond the Monster. Cambridge Monographs on Mathematical Physics. Cambridge University Press, Cambridge, 2006. The bridge connecting algebra, modular forms and physics.
- T. Gannon. The theory of vector-valued modular forms for the modular group. In Conformal field theory, automorphic forms and related topics, volume 8 of Contrib. Math. Comput. Sci., pages 247–286. Springer, Heidelberg, 2014. arXiv:1310.4458 [math.NT].
- D. Genper and E. Witten. String theory on group manifolds. Nucl. Phys., B278:493, 1986.
- Y. Hara. Affine analogue of Jack’s polynomials for 𝔰𝔩^2subscript^𝔰𝔩2\widehat{\mathfrak{sl}}_{2}over^ start_ARG fraktur_s fraktur_l end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. Adv. Theor. Math. Phys., 7(1):87–120, 2003. arXiv:math/0210236 [math.QA].
- The crossing matrices of WZW SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) model and minimal models with the quantum 6j6𝑗6j6 italic_j symbols. Nucl. Phys., B345:659–684, 1990.
- Y. Z. Huang. Differential equations, duality and modular invariance. Commun. Contemp. Math., 7(5):649–706, 2005. arXiv:math/0303049 [math.QA].
- Y. Z. Huang. Rigidity and modularity of vertex tensor categories. Commun. Contemp. Math., 10:871–911, 2008. arXiv:math/0502533 [math.QA].
- Y. Z. Huang. Vertex operator algebras and the Verlinde conjecture. Commun. Contemp. Math., 10:103–1054, 2008. arXiv:math/0406291 [math.QA].
- Logarithmic tensor product theory I–VIII. arXiv:1012.4193 [math.QA], arXiv:1012.4196 [math.QA], arXiv:1012.4197 [math.QA], arXiv:1012.4198 [math.QA], arXiv:1012.4199 [math.QA] , arXiv:1012.4202 [math.QA], arXiv:1110.1929 [math.QA], arXiv:1110.1931 [math.QA].
- V. Kac. Infinite dimensional Lie algebras. Cambridge University Press, 1985.
- Representations of the algebra Uq(sl(2))subscript𝑈𝑞𝑠𝑙2U_{q}(sl(2))italic_U start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ( italic_s italic_l ( 2 ) ), q𝑞qitalic_q-orthogonal polynomials and invariants of links. In V. G. Kac, editor, New Developments in the Theory of Knots, Advanced Series in Mathematical Physics, page 285. World Scientific, Singapore, 1989.
- M. Krauel and C. Marks. Intertwining operators and vector-valued modular forms for minimal models. Commun. Number Theory Phys., 12:657–686, 2018. arXiv:1612.02134 [math.QA].
- C. Marks. Classification of vector-valued modular forms of dimension less than six, 2010. arXiv:1003.4111 [math.NT].
- C. Marks. Irreducible vector-valued modular forms of dimension less than six. Ill. J. Math., 55(4):1267–1297 (2013), 2011. arXiv:1004.3019 [math.NT].
- C. Marks. Fourier coefficients of three-dimensional vector-valued modular forms. Commun. Number Theory Phys., 9(2):387–411, 2015. arXiv:1201.5165 [math.NT].
- C. Marks and G. Mason. Structure of the module of vector-valued modular forms. J. Lond. Math. Soc. (2), 82(1):32–48, 2010. arXiv:arXiv:0901.4367 [math.NT].
- G. Mason. 2-dimensional vector-valued modular forms. Ramanujan J., 17:405–427, 2007.
- G. Mason. Vector-valued modular forms and linear differential operators. Int. J. Number Theory, 3(3):377–390, 2007.
- Vertex operator algebras of rank 2—the Mathur-Mukhi-Sen theorem revisited. Commun. Number Theory Phys., 15(1):59–90, 2021.
- G. Mason and M. P. Tuite. Vertex operators and modular forms, 2009. arXiv:0909.4460 [math.QA].
- On the classification of rational conformal field theories. Phys. Lett. B, 213(3):303–308, 1988.
- A. Meurman and M. Primc. Vertex operator algebras and representations of affine lie algebras. Acta Appl. Math., 44:207–215, 1996.
- M. Mignard and P. Schauenburg. Modular categories are not determined by their modular data. Lett. Math. Phys., 111:9, 2021. arXiv:1708.02796 [math.QA].
- A. Milas. Ramanujan’s “Lost Notebook” and the Virasoro algebra. Comm. Math. Phys., 251(3):567–588, 2004. arXiv:math/0309201 [math.QA].
- Number theoretic properties of Wronskians of Andrews-Gordon series. Int. J. Number Theory, 4(2):323–337, 2008. arXiv:math/0512623 [math.QA].
- M. Miyamoto. Intertwining operators and modular invariance, 2000. arXiv:math/0010180 [math.QA].
- M. Miyamoto. Modular invariance of vertex operator algebras satisfying C2subscript𝐶2C_{2}italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT-cofiniteness. Duke Math. J., 122:51–91, 2004. arXiv:math/0209101 [math.QA].
- G. Moore. Atkin-Lehner symmetry. Nucl. Phys. B, 293(1):139–188, 1987.
- G. Moore and N. Seiberg. Classical and quantum conformal field theory. Comm. Math. Phys., 123:177–254, 1989.
- A. Nobs and J. Wolfart. Die irreduziblen Darstellungen der Gruppen 𝖲𝖫2(ℤp)subscript𝖲𝖫2subscriptℤ𝑝\mathsf{SL}_{2}(\mathbb{Z}_{p})sansserif_SL start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( blackboard_Z start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ), insbesondere 𝖲𝖫2(ℤ2)subscript𝖲𝖫2subscriptℤ2\mathsf{SL}_{2}(\mathbb{Z}_{2})sansserif_SL start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ). I. Teil. Comment. Math. Helv., 51:465–489, 1976.
- A. Nobs and J. Wolfart. Die irreduziblen Darstellungen der Gruppen 𝖲𝖫2(ℤp)subscript𝖲𝖫2subscriptℤ𝑝\mathsf{SL}_{2}(\mathbb{Z}_{p})sansserif_SL start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( blackboard_Z start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ), insbesondere 𝖲𝖫2(ℤ2)subscript𝖲𝖫2subscriptℤ2\mathsf{SL}_{2}(\mathbb{Z}_{2})sansserif_SL start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ). II. Teil. Comment. Math. Helv., 51:491–526, 1976.
- D. Ridout. 𝔰𝔩^(2)−1/2^𝔰𝔩subscript212\widehat{\mathfrak{sl}}(2)_{-1/2}over^ start_ARG fraktur_s fraktur_l end_ARG ( 2 ) start_POSTSUBSCRIPT - 1 / 2 end_POSTSUBSCRIPT: A case study. Nucl. Phys., B814:485–521, 2009. arXiv:0810.3532 [hep-th].
- A. N. Schellekens. Meromorphic c=24𝑐24c=24italic_c = 24 conformal field theories. Comm. Math. Phys., 153(1):159–185, 1993. arXiv:hep-th/9205072.
- A. Tsuchiya and Y. Kanie. Vertex operators in the conformal field theory on 𝐏1superscript𝐏1{\bf P}^{1}bold_P start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT and monodromy representations of the braid group. Lett. Math. Phys., 13(4):303–312, 1987.
- E. Verlinde. Fusion rules and modular transformations in 2222d conformal field theory. Nucl. Phys. B, 300(3):360–376, 1988.
- H. Yamauchi. Orbifold Zhu theory associated to intertwining operators. J. Algebra, 265:513–538, 2003. arXiv:math/0201054 [math.QA].
- Operator algebra and correlation functions in the two-dimensional SU(2)×SU(2)𝑆𝑈2𝑆𝑈2SU(2)\times SU(2)italic_S italic_U ( 2 ) × italic_S italic_U ( 2 ) chiral Wess-Zumino model. Sov. J. Nucl. Phys., 43:657, 1986.
- Y. Zhu. Modular invariance of characters of vertex operator algebras. J. Amer. Math. Soc., 9:237–302, 1996.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.