# Geometric and Categorical Aspects of CFTs (18w5131)

Arriving in Oaxaca, Mexico Sunday, September 23 and departing Friday September 28, 2018

## Organizers

Gaetan Borot (Max Planck Institute for Mathematics)

Jorgen Ellegaard Andersen (Centre for Quantum Geometry of Moduli Spaces, Aarhus University, Denmark)

David Ridout (University of Melbourne, School of Mathematics and Statistics)

Ana Ros Camacho (University of Utrecht, Mathematical Institute)

## Objectives

**A.**Two-dimensional conformal field theories (CFTs) are a special class of quantum field theories in which the usual Lorentz symmetry is enhanced to conformal symmetry. There has been substantial efforts over the last thirty years to study this symmetry --- rare in nature --- and the rich mathematical structures that it relates to. From an algebraic point of view, CFT has strongly motivated research on certain types of infinite--dimensional Lie algebras and is intimately connected to the theory of vertex operator algebras (VOAs), themselves introduced as a key tool to prove the monstrous moonshine conjectures of Conway and Norton.

The representation theory of VOAs has turned out to be unexpectedly rich with applications to enumerative combinatorics and $q$-series, modular forms and their generalisations, quantum groups and knot theory, to name a few. More recently, categorical aspects of VOA modules have been studied intensively, particularly in the case of

*rational} VOAs (where the module category is semisimple). Much of the excitement here centres on the fact [Hu} that the modules of a rational VOA form a \emph{modular tensor category*(MTC), a beautiful but subtle structure which manifests itself, \textit{e.g]., via the celebrated Verlinde formula. Interestingly, MTCs also arise naturally in the study of subfactors and quantum groups.

Conformal field theories also have a strong geometric flavour deriving from their applications to (perturbative) string theory. This was originally developed for rational CFTs in the pioneering work of Knizhnik-Zamolodchikov, Beilinson-Drinfeld, Segal, Friedan-Shenker, Sonoda, Moore-Seiberg, Cardy-Lewellen, and many others. In their setup, the algebraic side (\textit{e.g}., the VOA) encapsulates the local data of the CFT, while the global picture is codified through

*sewing relations}. More precisely, the local structures are associated to punctured spheres which are then sewed/glued together to describe CFTs on general two-dimensional surfaces. This procedure, or rather its inverse (\emph{factorisation*) forms a prototype for an idea that has led to remarkable progress in many mathematical disciplines.

\vspace{0.2cm}

**B.} The geometric approach to CFT has also given impetus to the study of low-dimensional**(MF), a symmetric monoidal functor from a certain category of surfaces to the category of vector spaces that enjoys factorisation properties when the surfaces are pinched. MFs provide representations of towers of mapping class groups of surfaces whose properties are still being actively investigated.

*topological quantum field theories*(TQFTs). For instance, the results of Moore-Seiberg in part led Reshetikhin and Turaev to invent the notion of a MTC and turned CFTs into an effective machinery to design interesting 3-manifold invariants and 3d TQFTs. The topological content of a rational CFT is encoded in the notion of a \emph{modular functorThe most famous example of a TQFT is

*3d Chern-Simons theory*for a compact gauge group, whose restriction to a 2d boundary gives the (rational) Wess-Zumino-Witten CFTs. For instance, proving the equivalence of several different constructions (via geometric quantisation of moduli spaces, via VOAs, via quantum groups) of MFs for these rather simple CFTs is nevertheless a very rich mathematical problem, which is still generating significant activity in algebraic geometry [AU4]. Exploring and exploiting this activity is one of the themes of the workshop.

\vspace{0.2cm}

**C.} The factorisation of rational CFTs can also be formulated as a property of the vector bundle of conformal blocks over the moduli space of curves when approaching its Deligne-Mumford boundary. The same factorisation axioms at the level of Chern characters are captured in the notion of**. CohFTs were in fact invented by Kontsevich and Manin as an axiomatic approach to Gromov-Witten theory for symplectic manifolds. This represents a shadow of deeper relations, expected from the early stages of topological string theory, between CFTs and enumerative problems in algebraic geometry.

*cohomological field theory*(CohFT) \cite{MOPPZ,ABO1The theory of CohFTs has greatly advanced in recent years, with the classification of semisimple CohFTs, due to works of Givental and of Teleman [Teleman}. This fundamental result was instrumental in deriving new relations in the tautological subring of the cohomology of the moduli space of curves. It was also exploited \cite{DBOSS} to establish a dictionary between semisimple CohFTs and the theory of \emph{topological recursion] (TR) initiated by Eynard and Orantin. In recent years, the same TR structure has been uncovered in an increasing number of problems in enumerative geometry, low-dimensional TQFTs and Gromov-Witten theory. Moreover, precise relationships between CFT and TR are now being actively investigated.

\vspace{0.2cm}

**D.} The theory of factorisation algebras and factorisation homology, recently developed by Costello-Gwilliam [CG} and Lurie, initially from the perspective of homotopy theory and higher categories, has led to an ambitious dream to unify parts of homological algebra and topology. These theories have already been successfully applied to the construction of 3d and 4d TQFTs \cite{BZBJ}, the definition of new categorical invariants of knots, the construction of VOAs \cite{CG}, and in the quantisation of moduli spaces (character varieties) and algebraic structures (Lie bialgebras). We want to discuss these exciting techniques and specifically their applications and relations to CFTs in the workshop, as we believe that they will be essential for the future of the mathematics of quantum field theories. For this purpose, we plan a \textbf{2h introductory course] leaning towards applications from an internationally recognised expert (or experts), \textit{e.g.**\ Ben-Zvi, Jordan or Tanaka.

\vspace{0.2cm}

**E.} We would also like to discuss other geometric realisations of CohFTs and certain relations between them, with at least two directions supported by recent work. First, on the B-side of mirror symmetry, Polishchuk and Vaintrob [PV] have produced CohFTs out of orbifold Landau-Ginzburg (LG) models. These are induced by functors from categories of matrix factorisations (attached to the LG model) to the derived category of coherent sheaves on the moduli space of curves. We will propose a \textbf{2h introductory course**by Vaintrob aiming to better understand it and its implications.

Second, [MOPPZ} (for Wess-Zumino-Witten CFTs) and \cite{ABO1] (for any MF) construct a semisimple CohFT, obtained as the Chern character of the bundle of conformal blocks. The connections between those two types of constructions should be clarified by the Landau-Ginzburg/CFT correspondence [vafawarner,ARC], which is the conjectural equivalence of monoidal categories of matrix factorisations (on the LG side, often easy to compute with) and categories of representations of superconformal algebras (on the CFT side, usually harder to control). An important question in this field is whether one can find a LG model description for the CohFT attached to a given MF. This should be closely related to the properties of the kernel of the mapping class group representations produced by the MF, itself an important object of study. We also intend to explore these questions in detail during the workshop.

\vspace{0.2cm}

**F.} Despite all these mathematical advances, CFTs and VOAs are only reasonably well understood in the rational (semi-simple) case. Physicists realised long ago that non-rational examples, known as**by Fuchs, Gannon or Runkel, on the topic of logarithmic CFTs and generalisations of the Verlinde formula and MTCs.

*logarithmic*CFTs, arise far more frequently in applications. A key question that is currently attracting a lot of attention is how the Verlinde formula and the notions of MTCs and MFs generalise to the logarithmic setting [fuchs-hwang-semikhatov-tipunin,creutzig-ridout,creutzig-gannon,gainutdinov-runkel]. We will propose a \textbf{2h introductory lectureWe would also like to discuss how the CohFT $\rightarrow$ MF construction should be amended for logarithmic CFTs; the result should involve non-semisimple CohFTs. Although the notion of non-semisimple CohFTs makes perfect sense, they are considerably less well understood despite many important examples coming from Gromov-Witten theory and mirror symmetry.

Similar questions also arise for TQFTs with an infinite-dimensional space of states, like 3d Chern-Simons theory with a complex gauge group. An example of hint in this direction is the Verlinde-type formula found in [AGP] for the dimension of the space of states obtained by the geometric quantisation of the moduli stack of Higgs bundle. Settling these questions would not only cement a touchstone in the grand edifice that is CFT, but would also have strong implications for the algebraic and geometric constructions mentioned above.

\vspace{0.5cm}

All the problems mentioned above have in common the prominence of factorisation properties. The workshop will be a unique opportunity to disseminate and discuss important recent advances among several communities of researchers working in areas related to geometric and categorical aspects of CFT, MTCs, VOAs and representation theory (Gannon, Huang, Miyamoto, etc.), algebraic geometry (Manin, Teleman, Vaintrob, etc.), quantum topology (Kashaev, Masbaum, etc.), higher categories (Ben-Zvi, Calaque, etc.) and mathematical physics (Fuchs, Reshetikhin, Teschner, Wendland, etc.)

Given the rapid development of these fields, there is indeed a constant need for unification and comparison in the techniques being developed and used to understand these mathematical structures. This is a strong motivation for the proposed workshop and its timeliness is evidenced by the recent surge of activity in all of these disciplines.

We plan to invite a mix of established experts and active young researchers, so as to facilitate new interactions and collaborations between communities with overlapping research interests but, perhaps, non-overlapping tools. We are confident that this workshop will represent an important opportunity for our communities, particularly for the younger cohort who will benefit greatly from interacting with such a wide spectrum of internationally recognised experts. To help foster these interactions, we plan to invite several experts to present introductory level expositions on the aforementioned topics, aimed specifically at younger researchers in different, but related, areas. Three examples of this plan have already been mentioned. These lectures will then complement the high level research talks and discussion sessions that will form the core of the workshop.

\newpage

\begingroup \renewcommand{\section}[2]{}

#### Bibliography

- , Phys. Lett.

**B218**(1989), 51--58.