nLab modular tensor category

Redirected from "modular tensor categories".
Contents

Context

Monoidal categories

monoidal categories

With braiding

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

Algebraic Quantum Field Theory

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

Contents

Idea

A modular tensor category is, roughly, a braided monoidal category that encodes the topological structure underlying a rational 2-dimensional conformal field theory. In other words, it is a basis-independent formulation of Moore-Seiberg data.

It is in particular a fusion category that is also a ribbon category such that the “modularity operation” is non-degenerate (this is what the name “modular tensor category” comes from):

this means that for i,jIi,j \in I indices for representatives of simple objects U iU_i, U jU_j, the matrix

(s ij)=(U i-circle threading through theU j -circle) (s^{i j}) = (U_i\text{-circle threading through the} \, U_j\text{ -circle})

is non-degenerate.

Here on the right what is meant is the diagram in the modular tensor category made from the identity morphisms, the duality morphisms and the braiding morphism on the objects U iU_i and U jU_j that looks like a figure-eight with one circle threading through the other, and this diagram is interpreted as an element in the endomorphism space of the tensor unit object, which in turn is canonically identified with the ground field.

In the description of 2-dimensional conformal field theory in the FFRS-formalism it is manifestly this kind of modular diagram that encodes the torus partition function of the CFT. This explains the relevance of modular tensor categories in the description of conformal field theory.

Since 2-dimensional conformal field theory is related by a holographic principle to 3-dimensional TQFT, modular tensor categories also play a role there, which was in fact understood before the full application in conformal field theory was: in the Reshetikhin-Turaev model.

Definition

A modular tensor category is a category with the following long list of extra structure.

needs to be put in more coherent form, just a stub

Examples

Rep categories of VOAs

General

Many modular tensor categories arise as representation categories of vertex operator algebras (Huang 2005, Sec. 1; Huang 2008; Huang, Lepowski & Zhang 2014 see EGNO 15, Sec. 8.27.6), hence of chiral fields of 2d conformal field theories.

(For logarithmic CFTs one still gets braided tensor categories, see Creutzig, Lentner & Rupert 2021).

Relation to conformal blocks

In this case the monoidal- and the braided structure (hence the modular tensor structure) on the underlying representation category is entirely fixed by the space of conformal blocks of the 2d CFT on the Riemann sphere (the “genus zero conformal blocks”).

This may be found highlighted in EGNO 15, p. 266, Runkel, Sec. 4.3. The essentially equivalent fact that the genus=0 conformal blocks already determine the modular functor of the CFT is proven in Andersen & Ueno 2012.

Examples

A database of examples is given by (Gannon & Höhn).

References

General

Original article:

Review in the context of the Reshetikhin-Turaev construction of modular functors:

Review in the context of 2d CFT/VOA

and with focus on relation to braid representations:

  • Colleen Delaney, Lecture notes on modular tensor categories and braid group representations, 2019 (pdf, pdf)

Construction of modular tensor categories from vertex operator algebras:

brief survey:

and generalization to logarithmic VOAs:

A list of examples (with an emphasis on representation categories of rational vertex operator algebras) is in

Classification results

On number theoretic aspects of modular tensor categories:

Relation to 3dCS/2dWZW quantum field theory

Discussion of modular tensor categories in quantum field theory (3d TQFT and 2d CFT, as well as their relation via the CS/WZW correspondence) includes the following.

A general survey of the literature is in

See also

More specific discussion in the context of 2d CFT is in

Review of construction of MTCs from vertex operator algebras is in

  • James Lepowsky, From the representation theory of vertex operator algebras to modular tensor categories in conformal field theory (pdf)

Discussion from the point of view of the cobordism hypothesis (see also the discussion at fusion category) is in

Anyonic topological order in terms of braided fusion categories

Claim and status

In condensed matter theory it is folklore that species of anyonic topological order correspond to braided unitary fusion categories/modular tensor categories.

The origin of the claim is:

Early accounts re-stating this claim (without attribution):

Further discussion (mostly review and mostly without attribution):

Emphasis that the expected description of anyons by braided fusion categories had remained folklore, together with a list of minimal assumptions that would need to be shown:

An argument that the statement at least for SU(2)-anyons does follow from an enhancement of the K-theory classification of topological phases of matter to interacting topological order:

In string/M-theory

Arguments realizing such anyonic topological order in the worldvolume-field theory on M5-branes:

Via KK-compactification on closed 3-manifolds (Seifert manifolds) analogous to the 3d-3d correspondence (which instead uses hyperbolic 3-manifolds):

Via 3-brane defects:

Further discussion

Relation to ZX-calculus:

On detection of topological order by observing modular transformations on the ground state:

See also:

Last revised on May 7, 2023 at 04:57:01. See the history of this page for a list of all contributions to it.