Segal's axioms for conformal field theory

Segal's axioms for conformal field theory
Name	Segal's axioms for conformal field theory
Field	Mathematical physics
Introduced	1980s
Founder	Graeme Segal
Related	Axiomatic quantum field theory, Functorial field theory

Segal's axioms for conformal field theory provide a categorical and functorial framework for two-dimensional conformal field theories articulated by Graeme Segal, situating conformal field theory within the language of category theory, topological quantum field theory, and moduli space geometry. The axioms recast correlations and operator insertions as the values of a symmetric monoidal functor from a category of Riemann surfaces with parametrized boundaries to a category of Hilbert spaces or vector spaces, enabling rigorous connections to string theory, vertex operator algebra, and the moduli of curves. Segal's approach influenced work by mathematicians and physicists associated with institutions such as the Institute for Advanced Study, the Mathematical Sciences Research Institute, and the California Institute of Technology.

Introduction

Segal proposed axioms that treat a two-dimensional conformal field theory as a functorial assignment from a geometric category of bordered Riemann surfaces to algebraic targets like Hilbert spaces or complex vector spaces, akin to the axioms of Atiyah–Segal axioms for topological quantum field theory promulgated by Michael Atiyah and Segal himself. The axioms emphasize sewing of surfaces, modular invariance tied to the mapping class group, and locality formulated via composition in a symmetric monoidal category. They aim to bridge rigorous constructions in mathematical venues such as the Courant Institute, the University of Cambridge, and collaborations with researchers affiliated to the École Normale Supérieure.

Mathematical formulation

Segal frames a conformal field theory as a symmetric monoidal functor from a category whose objects are finite disjoint unions of oriented parametrized circles (boundaries) to the category of topological vector spaces, Banach spaces, or Hilbert spaces depending on analytic choices, building on foundational ideas from Category theory and the Gelfand–Naimark theorem context. Morphisms in this source category are conformal equivalence classes of oriented Riemann surfaces with parametrized incoming and outgoing boundaries, and composition corresponds to sewing along matching parametrizations, invoking properties of the Teichmüller space and the Deligne–Mumford compactification of moduli spaces. Axioms include multiplicativity under disjoint union, compatibility with gluing maps leading to sewing constraints associated to the Virasoro algebra and to modular transformation properties under the action of SL(2,Z). The functor assigns state spaces to circles and linear maps (amplitudes) to surfaces, with sewing producing operator product expansions governed by convergence conditions reminiscent of results in functional analysis and operator algebra.

Examples and constructions

Standard examples fitting Segal's framework arise from constructions based on vertex operator algebras developed by researchers at institutions like the University of Cambridge and the Princeton University, notably the work surrounding the Moonshine conjecture and the Monster group. Rational conformal field theories built from affine Lie algebras such as Kac–Moody algebras yield modular tensor categories connected to representations studied at the Institut des Hautes Études Scientifiques and produce functors satisfying Segal's sewing axioms. Free boson and free fermion theories, lattice theories including constructions related to the Leech lattice, and orbifold models engineered in collaborations with groups at the Harvard University and University of California, Berkeley serve as concrete realizations. Analytic constructions via operator formalism or path integral heuristics link to work from the Los Alamos National Laboratory era and to developments by researchers connected to the Max Planck Institute for Mathematics.

Relation to other axiomatizations

Segal's axioms relate closely to the Wightman axioms and the Haag–Kastler framework developed in the context of axiomatic quantum field theory at places such as the CERN and the Perimeter Institute, but they specialize to two-dimensional conformal symmetry and adopt a categorical sewing viewpoint rather than the local operator algebra emphasis of Operator algebras. Connections to the Reshetikhin–Turaev construction link modular tensor categories and three-dimensional topological invariants from collaborations involving the University of Tokyo. The interplay with vertex operator algebra axioms formalized by researchers at the Chinese Academy of Sciences clarifies the algebraic underpinnings of Segal's functorial assignments and their modularity.

Applications and consequences

Segal's framework has influenced rigorous treatments of modular invariance, the classification of rational models, and the mathematical foundations of string theory compactifications studied at the Caltech and the Stanford University. It underlies proofs of sewing constraints used in the study of partition functions, characters, and modular forms examined at the Institute for Advanced Study, and informs constructions of three-dimensional invariants via the Verlinde formula connected to the Fields Medal-adorned work on quantum topology. Consequences include clearer formulations of dualities exploited in collaborations tied to the European Organization for Nuclear Research and the establishment of bridges between geometric representation theory and low-dimensional topology.

Higher-dimensional and extended variants

Extensions of Segal's ideas led to functorial axioms for topological and conformal theories in higher dimensions, influenced by the Cobordism Hypothesis as articulated by researchers at the Institute for Advanced Study and the University of California, Berkeley, and by extended field theory formalisms developed with input from the Simons Foundation. These higher-categorical generalizations incorporate n-category and factorization algebra techniques advanced in seminars at the Mathematical Sciences Research Institute and at the University of Oxford, connecting to developments in derived algebraic geometry at the Massachusetts Institute of Technology.

Historical development and influence

Segal articulated his axioms in lectures and papers emanating from the 1980s with intellectual exchange across the International Congress of Mathematicians community and collaboration with figures associated with the Royal Society and the American Mathematical Society. The influence of his axiomatic perspective permeated subsequent work by mathematicians and physicists at venues such as the Max Planck Institute for Physics, the Kavli Institute for Theoretical Physics, and the Princeton Institute for Advanced Study, shaping modern approaches to conformal field theory, quantum topology, and mathematical aspects of string theory.

Category:Conformal field theory