Search arXivSearch

arXiv · 2305.02773

Algebraic structures in two-dimensional conformal field theory

Abstract

This is an invited contribution to the 2nd edition of the Encyclopedia of Mathematical Physics. We review the following algebraic structures which appear in two-dimensional conformal field theory (CFT): The symmetries of two-dimensional conformal field theories (CFTs) can be formalised as chiral algebras, vertex operator algebras or nets of observable algebras. Their representation categories are abelian categories having additional structures, which are induced by properties of conformal blocks, i.e. of vector bundles over the moduli space of curves with marked points, which can be constructed from the symmetry structure. These mathematical notions pertain to the description of chiral CFTs. In a full local CFT one deals in addition with correlators, which are specific elements in the spaces of conformal blocks. In fact, a full CFT is the same as a consistent system of correlators for arbitrary conformal surfaces with any number and type of field insertions in the bulk as well as on boundaries and on topological defect lines. We present algebraic structures that allow one to construct such systems of correlators.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jürgen Fuchs, Christoph Schweigert, Simon Wood, Yang Yang. 2023-05-04. Algebraic structures in two-dimensional conformal field theory. https://doi.org/10.1016/b978-0-323-95703-8.00013-6

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Factorization envelopes and enveloping vertex algebras

We develop a bornological version of Costello and Gwilliam's procedure for extracting vertex algebras from suitable prefactorization algebras on the complex plane. Using bornological complex analysis, we remove the discreteness condition imposed in their extraction theorem. We then construct, from a suitable Lie conformal algebra, a prefactorization algebra to which this extraction procedure applies, and prove that the resulting vertex algebra is isomorphic to the enveloping vertex algebra of the original Lie conformal algebra. Our construction uses a factorization envelope and extends the construction of Costello--Gwilliam in the affine vertex algebra case and that of Williams in the Virasoro vertex algebra case. Moreover, a super analogue yields new prefactorization algebras corresponding to vertex superalgebras, such as the Neveu--Schwarz vertex superalgebra, the $N=2$ vertex superalgebra, and the $N=4$ vertex superalgebra.

math.QA

BiHom-L-R-smash biproduct and BiHom-Yetter-Drinfel'd-Long category

In this article, we first introduce the notion of BiHom-L-R-$\binom{m,n,p,q}{s,t,u,v}$-smash biproduct over a BiHom-Hopf algebra, denoted by $D\natural H$, where $m,n,p,q,s,t,u,v\in \mathbb{Z}$, and give the sufficient condition for $D\natural H$ to be a BiHom-bialgebra. Furthermore, we describe the concept of BiHom-$\binom{m,n,p,q}{s,t,u,v}$-Yetter-Drinfel'd-Long bimodule via BiHom-L-R-$\binom{m,n,p,q}{s,t,u,v}$-smash biproduct bialgebra, and prove that the category $\mathcal{LR}(H)(m,n,p,q)$ of BiHom-$\binom{m,n,p,q}{s,t,u,v}$-Yetter-Drinfel'd-Long bimodule is a strict braided monoidal category. Finally, for a finite-dimensional BiHom-Hopf algebra H, \(\mathcal{LR}(H)\binom{m,n,p,q}{s,t,u,v}\) is isomorphic to the BiHom-$\binom{s,t}{p,q}$-Yetter-Drinfel'd category \({}_{H\otimes H^*}^{H\otimes H^*}\mathcal{YD}\binom{s,t}{p,q}\) as braided monoidal categories.

math.QA

On finite dimensionality of homology of subalgebras of vector fields

We show that finite tensor products of modules of tensor fields are Noetherian modules over any graded Lie subalgebra of finite codimension in the Lie algebra of polynomial vector fields on $\mathbb{R}^n$. As a corollary, we prove the conjecture of I.\,M. Gelfand, announced at the ICM in Nice in 1970, on the finite-dimensionality of the continuous cohomology of graded Lie subalgebras of finite codimension in the Lie algebra of formal vector fields $W_n$.

math.QA