Contributions in Mathematical and Computational Sciences 8
Winfried Kohnen Rainer Weissauer Editors Conformal Field Theory, Automorphic Forms and Related Topics CFT, Heidelberg, September 19-23, 2011 Contributions in Mathematical and Computational Sciences Volume 8
Editors Hans Georg Bock Willi Jäger Otmar Venjakob
For further volumes: http://www.springer.com/series/8861 Property of The Mathematics Center Heidelberg - © Springer 2014 Property Property of The Center - Heidelberg Mathematics © Springer 2014 Property of The Mathematics Center Heidelberg - © Springer 2014 Winfried Kohnen • Rainer Weissauer Editors
Conformal Field Theory, Automorphic Forms and Related Topics
CFT, Heidelberg, September 19-23, 2011
123 Property of The Mathematics Center Heidelberg - © Springer 2014 Editors Winfried Kohnen Rainer Weissauer Department of Mathematics University of Heidelberg Heidelberg Germany
ISSN 2191-303X ISSN 2191-3048 (electronic) Contributions in Mathematical and Computational Sciences ISBN 978-3-662-43830-5 ISBN 978-3-662-43831-2 (eBook) DOI 10.1007/978-3-662-43831-2 Springer Heidelberg New York Dordrecht London
Library of Congress Control Number: 2014946622
Mathematics Subject Classification (2010): 11-XX, 81-XX
© Springer-Verlag Berlin Heidelberg 2014 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein.
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.springer.com) Property of The Mathematics Center Heidelberg - © Springer 2014 Preface to the Series
Contributions to Mathematical and Computational Sciences
Mathematical theories and methods and effective computational algorithms are crucial in coping with the challenges arising in the sciences and in many areas of their application. New concepts and approaches are necessary in order to overcome the complexity barriers particularly created by nonlinearity, high-dimensionality, multiple scales and uncertainty. Combining advanced mathematical and computa- tional methods and computer technology is an essential key to achieving progress, often even in purely theoretical research. The term mathematical sciences refers to mathematics and its genuine sub- fields, as well as to scientific disciplines that are based on mathematical concepts and methods, including sub-fields of the natural and life sciences, the engineering and social sciences and recently also of the humanities. It is a major aim of this series to integrate the different sub-fields within mathematics and the computational sciences, and to build bridges to all academic disciplines, to industry and other fields of society, where mathematical and computational methods are necessary tools for progress. Fundamental and application-oriented research will be covered in proper balance. The series will further offer contributions on areas at the frontier of research, providing both detailed information on topical research, as well as surveys of the state-of-the-art in a manner not usually possible in standard journal publications. Its volumes are intended to cover themes involving more than just a single “spectral line” of the rich spectrum of mathematical and computational research. The Mathematics Center Heidelberg (MATCH) and the Interdisciplinary Center for Scientific Computing (IWR) with its Heidelberg Graduate School of Mathemat- ical and Computational Methods for the Sciences (HGS) are in charge of providing and preparing the material for publication. A substantial part of the material will be acquired in workshops and symposia organized by these institutions in topical areas of research. The resulting volumes should be more than just proceedings collecting papers submitted in advance. The exchange of information and the discussions during the meetings should also have a substantial influence on the contributions.
v Property of The Mathematics Center Heidelberg - © Springer 2014 vi Preface to the Series
This series is a venture posing challenges to all partners involved. A unique style attracting a larger audience beyond the group of experts in the subject areas of specific volumes will have to be developed.
Springer Verlag deserves our special appreciation for its most efficient support in structuring and initiating this series.
Heidelberg University, Germany Hans Georg Bock Willi Jäger Otmar Venjakob Property of The Mathematics Center Heidelberg - © Springer 2014 Preface
This volume reports on recent developments in the theory of vertex operator algebras (VOAs) and their applications to mathematics and physics. Historically the mathematical theory of VOAs originated from the famous monstrous moonshine conjectures of J.H. Conway and S.P. Norton, which predicted a deep relationship between the characters of the largest simple finite sporadic group, the Monster, and the theory of modular forms inspired by the observations of J. MacKay and J. Thompson. Although perhaps implicitly present earlier in conformal field theory, the precise mathematical notion of vertex algebras first emerged from the work of I. Frenkel, J. Lepowsky and A. Meurman and their purely algebraic construction of a vertex algebra with a natural action of the Monster group, laying the foundations for Borcherds’ later proof of the moonshine conjectures. Indeed, by isolating the under- lying mechanism from analytical aspects, physical field theories and the explicit examples thus shaped the axiomatic definition of vertex algebras as purely algebraic objects, opening a rich new field. By studying them for their own sake, R. Borcherds not only gave the theory its precise form, but also succeeded in proving the moonshine conjectures with the aid of these new concepts. So, it is quite interesting that unlike other algebraic structures like fields, rings, algebras or Lie algebras, the concept of vertex algebras appeared comparatively late in the mathematical literature. However, looking back, even today the underlying mechanism played by vertex operator algebras connecting representations of certain simple groups and modular forms remains to be mysterious. Altogether, Borcherds’ results on the monstrous moonshine conjecture relating the representation theory of the monster group with modular forms using the construction of the vertex algebra V ], whose graded dimensions are the Fourier coefficients of j.q/ 744, are a major landmark in the theory. They have led to many subsequent investigations of the structure of VOAs, some of which are addressed in this volume. Another theoretical milestone was Y. Zhu’s finding that for rational VOAs (essentially those vertex operator algebras whose category of admissible modules is semisimple), every irreducible representation of a rational VOA gives rise to an elliptic modular form. Hence rational VOAs and certain generalizations have since been studied intensively.
vii Property of The Mathematics Center Heidelberg - © Springer 2014 viii Preface
Independently from Zhu’s work it should be mentioned that also more general types of modular forms, defined by their Fourier expansion as counting functions, naturally arise in the theory of vertex algebras via the Kac denominator formula of generalized Kac-Moody Lie algebras derived from certain distinguished VOAs and derived generalized Lie algebras. In fact, thereby not only elliptic modular forms seem to appear naturally in the theory, but also modular forms of several variables. Of course there are other interesting circumstances under which modular forms of higher genus naturally occur, some of which will be addressed in this volume. In a remarkable development, A. Beilinson succeeded in further generalizing the concept of vertex algebras by stressing the importance of the underlying geometric space. Thanks to the combined achievements of Beilinson and V. Drinfeld we now know that vertex algebras are a special case of chiral algebras, where these chiral algebras are certain sheaves on algebraic varieties. It seems, at least if the underlying geometry comes from a Riemann surface, that this new aspect indicates deep connections between conformal field theories, class field theory and various other branches of mathematics. Quite recently, the study of representations of vertex algebras has produced sur- prising new developments for simple groups G other than the Monster group. Here, especially the Mathieu groups play a prominent part, with interesting applications to the theory of black holes, which has since become a very active field. The contributions to this volume are based on lectures held in September 2011 during a conference on Conformal Field Theory, Automorphic Forms and Related Topics, organized by W. Kohnen and R. Weissauer. The conference was part of a special program offered at Heidelberg University in summer 2011 under the sponsorship of the MAThematics Center Heidelberg (MATCH). We wish to extend our sincere thanks to all contributors to this volume and all conference participants, with special thanks to Geoffrey Mason and Miranda Cheng for their excellent preparatory courses that were held prior to the conference. Geoffrey’s course entitled Vertex Operator Algebras, Modular Forms and Moon- shine is included as an appendix to this volume. We are grateful to Sabine Eulentrop for the perfect handling of numerous logistical problems and her help in preparing the final manuscript. Finally, we would like to express our sincere gratitude to MATCH and especially Otmar Venjakob, whose generous support made the conference and the special Heidelberg Automorphic Semester possible.
Heidelberg, Germany Winfried Kohnen Heidelberg, Germany Rainer Weissauer May 2014 Property of The Mathematics Center Heidelberg - © Springer 2014 Contents
Characters of Modules of Irrational Vertex Algebras ...... 1 Antun Milas Lattice Subalgebras of Strongly Regular Vertex Operator Algebras ...... 31 Geoffrey Mason A Characterization of the Vertex Operator Algebra V A4 ...... 55 L2 Chongying Dong and Cuipo Jiang Extended Griess Algebras and Matsuo-Norton Trace Formulae ...... 75 Hiroshi Yamauchi Mathieu Moonshine and Orbifold K3s ...... 109 Matthias R. Gaberdiel and Roberto Volpato Rademacher Sums and Rademacher Series...... 143 Miranda C.N. Cheng and John F.R. Duncan Free Bosonic Vertex Operator Algebras on Genus Two Riemann Surfaces II ...... 183 Geoffrey Mason and Michael P. Tuite Twisted Correlation Functions on Self-sewn Riemann Surfaces via Generalized Vertex Algebra of Intertwiners ...... 227 Alexander Zuevsky The Theory of Vector-Valued Modular Forms for the Modular Group ... 247 Terry Gannon Yangian Characters and Classical W -Algebras ...... 287 A.I. Molev and E.E. Mukhin Vertex Operator Algebras, Modular Forms and Moonshine...... 335 Geoffrey Mason
ix Property of The Mathematics Center Heidelberg - © Springer 2014 Characters of Modules of Irrational Vertex Algebras
Antun Milas
Abstract We review several properties of characters of vertex algebra modules in connection to q-series and modular-like objects. Four representatives of conformal vertex algebras: regular, C2-cofinite, tamely irrational and wild, are discussed from various points of view.
1 Introduction
Unlike many algebraic structures, vertex algebras have for long time enjoyed natural and fruitful connection with modular forms. This connection came first to light through the monstrous moonshine, a fascinating conjecture connecting modular forms (or more precisely the Hauptmodulns) and representations of the Monster, the largest finite sporadic simple group. This mysterious connection was partially explained first in the work of Frenkel et al. [37] who constructed a vertex operator algebra V \, called the moonshine module, whose graded dimension is j.q/ 744 and whose automorphism group is the Monster. The connection with McKay-Thompson series was later proved by Borcherds [21] thus proving the full Conway-Norton conjecture. What is amazing about the vertex algebra V \ is that on one hand it is arguably one of the most complicated objects constructed in algebra, yet it has an extremely simple representations theory (that of a field!). Another important closely related concept in vertex algebra theory (and two- dimensional conformal field theory) is that of modular invariance of characters. This property, proposed by physicists as a consequence of the axioms of rational conformal field theory, was put on firm ground first in the seminal work of Zhu [62]. Among many applications of Zhu’s result we point out its power to “explain”
A. Milas () Department of Mathematics and Statistics, University at Albany (SUNY), 1400 Washington Avenue, Albany, NY 12222, USA e-mail: [email protected]
W. Kohnen and R. Weissauer (eds.), Conformal Field Theory, Automorphic Forms 1
and Related Topics, Contributions in Mathematical and Computational Sciences 8, Property of The Mathematics Center Heidelberg - © Springer 2014 DOI 10.1007/978-3-662-43831-2__1, © Springer-Verlag Berlin Heidelberg 2014 2 A. Milas modular invariance of characters of integrable highest weight modules for affine Kac-Moody Lie algebras, discovered previously by Kac and Peterson [48]. As rational vertex algebras (with some extra properties) give rise to Modular Tensor Categories [45], this rich underlying structure can be used for to prove the general Verlinde formula [45](see[20] for definition). This formula, discovered first by Verlinde [61], gives an important connection between the fusion coefficients in the tenor product coefficients of the S-matrix coming from both categorical and analytic SL.2; Z/-action on the “space” of modules. In addition, it also gives a fascinating link between analytic q-dimensions and the coefficients of the S-matrix. There are other important connections between two subjects such as ADE classification of modular invariant partition functions, vertex superalgebras and mock modular forms, orbifold theory, elliptic genus, generalized moonshine, etc. Everything that we mentioned so far comes from a very special class of vertex algebras called C2-cofinite rational vertex algebras [62], the moonshine module being a prominent example. In this note we do not try to say much about rational vertex algebras (although we do give some definition and list known results) and almost nothing about the moonshine. Our modest goal is simply to argue that even non-rational (and sometimes even non C2-cofinite) vertex algebra seem to enjoy properties analogous to properties of rational VOA, but much more complicated, yet reach enough that exploring them leads to some interesting mathematics related to modular forms and other modular-like objects. Another pedagogical aspect of these notes is to convey some ideas and aspects of the theory rarely considered in the literature on vertex algebras. We focus on four different types of vertex algebras:
• rational C2-cofinite or regular (the category of modules has modular tensor category structure, q-dimensions are closely related to categorical dimensions). • irrational C2-cofinite (tensor product theory and a version modular invariance are available, a Verlinde-type formula is still to be formulated and proved) • non C2-cofinite, mildly irrational (there is evidence of braided tensor category structure on the category of module, or suitable sub-category. A version of modular invariance holds with continuous part added. Usually involve atypical and typical modules, the latter parametrized by continuous parameters. q- dimensions of irreps are finite and nonzero). • non C2-cofinite, badly irrational (not likely to have good categorical structure. For example two modules under fusion can give infinitely many modules. Consequently, q-dimensions may be infinite).
As a working example of rational C2-cofinite vertex algebra we shall use the lattice vertex algebra VL, where L is an even positive definite lattice. This is, from many different points of view, the most important source of vertex algebras, and in particular leads to the moonshine module via the Leech lattice and orbifolding. When we move beyond rational vertex algebras, many difficulties arise, and this transition really has to be done in two steps. The nicest examples worth exploring are of course C2-cofinite vertex algebras. These vertex algebras admit finitely-many inequivalent irreducible modules. Here the most prominent example is triplet vertex algebra [4, 33, 39, 50] being a conformal vertex subalgebra of the rank one lattice Property of The Mathematics Center Heidelberg - © Springer 2014 Characters of Modules of Irrational Vertex Algebras 3 vertex algebra of certain rational central charge. Another prominent example is the symplectic fermion vertex superalgebra [1, 50, 59]. As we shall see the triplet vertex algebra enjoys many interesting properties including a version of modular invariance, even a conjectural version of the Verlinde formula. If we move one step lower in the hierarchy this leads us to non C2-cofinite vertex algebras. There are at least several candidates here. One is of course the vertex algebra associated to free bosons, called the Heisenberg vertex algebra [37, 49, 51]. Because this algebra has a fairly simple representation theory [37] we decided to consider another family of irrational vertex algebras—certain subalgebras of the Heisenberg vertex algebra. As we shall see this so-called “singlet” vertex algebras involve two types of irreducible representations: typical and atypical, something that persists for many W -algebras. Quite surprisingly, there is a version of modular invariance for the singlet family, including a Verlinde-type formula inferred from the characters [24]. Finally, at the bottom of the barrel sort of speaking, we are left with badly behaved irrational conformal vertex algebra, namely those that are vacuum modules for the Virasoro algebra (or more general affine W -algebras [18]) or for affine Lie algebras [49, 51]. One reason for this type of vertex algebra not being very interesting is due to lack of modular-like properties. Also, their fusion product is somewhat ill behaved. For example, two irreducible modules can produce infinitely many non-isomorphic modules under the fusion. Four examples representing four types entering our discussion are connected with a chain of VOA embeddings:
At the end of the paper we show that this diagram can be extended to an arbitrary ADE type simple Lie algebra, the above diagram being the simplest instance coming from sl2.
2 Vertex Algebras and Their Characters
We begin by recalling the definition of a vertex operator algebra following primarily [51](cf.[37, 49]). Definition 1. A vertex operator algebra is a quadruple .V; Y; 1;!/ where V is a Z-graded vector space M V D V.n/ n2Z Property of The Mathematics Center Heidelberg - © Springer 2014 4 A. Milas together with a linear map Y. ;x/ W V ! .End V /ŒŒx; x 1 and two distinguished elements 1 and ! 2 V , such that for u; v 2 V we have
Y.u;x/v 2 V ..x//;
Y.1;x/D 1;
Y.v;x/1 2 V ŒŒx and lim Y.v;x/1 D v; x!0
m3 m ŒL.m/; L.n/ D .m n/L.m C n/ C ı c 12 mCn;0 for m; n 2 Z, where X Y.!;x/ D L.n/x n 2; n2Z and c 2 C (the so-called central charge); we also have
L.0/w D nw for n 2 Z and v 2 V.n/; and the L. 1/-axiom
d Y.L. 1/u;x/D Y.u;x/ dx and the following Jacobi identity