Author

Ingo Runkel

117 papers · 1998–2026

1998peak 9 in 20172026

Frequent co-authors

Papers

showing 1–25 of 117 RSS

TFT construction of RCFT correlators I: Partition functions

Jürgen Fuchs, Ingo Runkel, Christoph Schweigert

hep-th · April 2002 · cited 526× · arXiv ↗ · more like this ·

We formulate rational conformal field theory in terms of a symmetric special Frobenius algebra A and its representations. A is an algebra in the modular tensor category of Moore-Seiberg data of the underlying chiral CFT. The multiplication on A corresponds to the OPE of boundary fields for a single boundary condition. General boundary conditions are A-modules, and (generalised) defect lines are A-A-bimodules. The relation with three-dimensional TFT is used to express CFT data, like structure constants or torus and annulus coefficients, as invariants of links in three-manifolds. We compute explicitly the ordinary and twisted partition functions on the torus and the annulus partition functions. We prove that they satisfy consistency conditions, like modular invariance and NIM-rep properties. We suggest that our results can be interpreted in terms of non-commutative geometry over the…

Kramers-Wannier duality from conformal defects

J"urg Fr"ohlich, J"urgen Fuchs, Ingo Runkel +1 more

cond-mat.stat-mech · April 2004 · cited 273× · arXiv ↗ · more like this ·

We demonstrate that the fusion algebra of conformal defects of a two-dimensional conformal field theory contains information about the internal symmetries of the theory and allows one to read off generalisations of Kramers-Wannier duality. We illustrate the general mechanism in the examples of the Ising model and the three-states Potts model.

Defect lines, dualities, and generalised orbifolds

Jürg Fröhlich, Jürgen Fuchs, Ingo Runkel +1 more

math-ph · 28 Sep 2009 · cited 206× · arXiv ↗ · more like this ·

Defects are a useful tool in the study of quantum field theories. This is illustrated in the example of two-dimensional conformal field theories. We describe how defect lines and their junction points appear in the description of symmetries and order-disorder dualities, as well as in the orbifold construction and a generalisation thereof that covers exceptional modular invariants.

Boundary structure constants for the A-series Virasoro minimal models

Ingo Runkel

hep-th · November 1998 · cited 154× · arXiv ↗ · more like this ·

We consider A-series modular invariant Virasoro minimal models on the upper half plane. From Lewellen's sewing constraints a necessary form of the bulk and boundary structure constants is derived. Necessary means that any solution can be brought to the given form by rescaling of the fields. All constants are expressed essentially in terms of fusing (F-) matrix elements and the normalisations are chosen such that they are real and no square roots appear. It is not shown in this paper that the given structure constants solve the sewing constraints, however random numerical tests show no contradiction and agreement of the bulk structure constants with Dotsenko and Fateev. In order to facilitate numerical calculations a recursion relation for the F-matrices is given.

Tft construction of rcftcorrelators v: proof of modular invariance and factorisation

Jens Fjelstad, Jürgen Fuchs, Ingo Runkel +1 more

Geometry and Topology · Theory and applications of categories · 2006 · cited 114× · DOI ↗ · more like this ·

The correlators of two-dimensional rational conformal field theories that are obtained in the TFT construction of [FRS I, FRS II, FRS IV] are shown to be invariant under the action of the relative modular group and to obey bulk and boundary factorisation constraints.We present results both for conformal field theories defined on oriented surfaces and for theories defined on unoriented surfaces.In the latter case, in particular the so-called cross cap constraint is included.Contents 1 Introduction 342 2 Consistency conditions for CFT correlators 347 3 Proof of modular invariance 361 4 Proof of boundary factorisation 370 5 Proof of bulk factorisation 380 A Algebras in modular tensor categories 403 B The assignment X C(X) 409 C Two-point correlators 416 D Some properties of (bimodule) morphisms 423

Uniqueness of open/closed rational CFT with given algebra of open states

Jens Fjelstad, Jurgen Fuchs, Ingo Runkel +1 more

hep-th · December 2006 · cited 86× · arXiv ↗ · more like this ·

We study the sewing constraints for rational two-dimensional conformal field theory on oriented surfaces with possibly non-empty boundary. The boundary condition is taken to be the same on all segments of the boundary. The following uniqueness result is established: For a solution to the sewing constraints with nondegenerate closed state vacuum and nondegenerate two-point correlators of boundary fields on the disk and of bulk fields on the sphere, up to equivalence all correlators are uniquely determined by the one-, two,- and three-point correlators on the disk. Thus for any such theory every consistent collection of correlators can be obtained by the TFT approach of hep-th/0204148, hep-th/0503194. As morphisms of the category of world sheets we include not only homeomorphisms, but also sewings; interpreting the correlators as a natural transformation then encodes covariance both under…

Cardy algebras and sewing constraints, I

Liang Kong, Ingo Runkel

math.QA · July 2008 · cited 85× · arXiv ↗ · more like this ·

This is part one of a two-part work that relates two different approaches to two-dimensional open-closed rational conformal field theory. In part one we review the definition of a Cardy algebra, which captures the necessary consistency conditions of the theory at genus 0 and 1. We investigate the properties of these algebras and prove uniqueness and existence theorems. One implication is that under certain natural assumptions, every rational closed CFT is extendable to an open-closed CFT. The relation of Cardy algebras to the solutions of the sewing constraints is the topic of part two.

The logarithmic triplet theory with boundary

Matthias R Gaberdiel, Ingo Runkel

hep-th · August 2006 · cited 67× · arXiv ↗ · more like this ·

The boundary theory for the c=-2 triplet model is investigated in detail. In particular, we show that there are four different boundary conditions that preserve the triplet algebra, and check the consistency of the corresponding boundary operators by constructing their OPE coefficients explicitly. We also compute the correlation functions of two bulk fields in the presence of a boundary, and verify that they are consistent with factorisation.

A quasi-Hopf algebra for the triplet vertex operator algebra

Thomas Creutzig, Azat M. Gainutdinov, Ingo Runkel

math.QA · 19 Dec 2017 · cited 66× · arXiv ↗ · more like this ·

We give a new factorisable ribbon quasi-Hopf algebra U, whose underlying algebra is that of the restricted quantum group for sl(2) at a 2p'th root of unity. The representation category of U is conjecturally ribbon-equivalent to that of the triplet vertex operator algebra W(p). We obtain U via a simple current extension from the unrolled restricted quantum group at the same root of unity. The representation category of the unrolled quantum group is conjecturally equivalent to that of the singlet vertex operator algebra M(p), and our construction is parallel to extending M(p) to W(p). We illustrate the procedure in the simpler example of passing from the Hopf algebra for the group algebra CZ to a quasi-Hopf algebra for CZ_{2p}, which corresponds to passing from the Heisenberg vertex operator algebra to a lattice extension.

Structure constants for the D-series Virasoro minimal models

Ingo Runkel

hep-th · August 1999 · cited 63× · arXiv ↗ · more like this ·

In this paper expressions are given for the bulk and boundary structure constants of D-series Virasoro minimal models on the upper half plane. It is the continuation of an earlier work on the A-series. The solution for the boundary theory is found first and then extended to the bulk. The modular invariant bulk field content is recovered as the maximal set of bulk fields consistent with the boundary theory. It is found that the structure constants are unique up to redefinition of the fields and in the chosen normalisation exhibit a manifest Z_2-symmetry associated to the D-diagram. The solution has been subjected to random numerical tests against the constraints it has to fulfill.

Orbifolds of n-dimensional defect TQFTs

Nils Carqueville, Ingo Runkel, Gregor Schaumann

math.QA · May 2017 · cited 58× · arXiv ↗ · more like this ·

We introduce the notion of $n$-dimensional topological quantum field theory (TQFT) with defects as a symmetric monoidal functor on decorated stratified bordisms of dimension $n$. The familiar closed or open-closed TQFTs are special cases of defect TQFTs, and for $n=2$ and $n=3$ our general definition recovers what had previously been studied in the literature. Our main construction is that of "generalised orbifolds" for any $n$-dimensional defect TQFT: Given a defect TQFT $\mathcal{Z}$, one obtains a new TQFT $\mathcal{Z}_{\mathcal{A}}$ by decorating the Poincaré duals of triangulated bordisms with certain algebraic data $\mathcal{A}$ and then evaluating with $\mathcal{Z}$. The orbifold datum $\mathcal{A}$ is constrained by demanding invariance under $n$-dimensional Pachner moves. This procedure generalises both state sum models and gauging of finite symmetry groups, for any $n$. After…

Categorification and correlation functions in conformal field theory

Ingo Runkel, Jurgen Fuchs, Christoph Schweigert

math.CT · 5 Feb 2006 · cited 57× · arXiv ↗ · more like this ·

A modular tensor category provides the appropriate data for the construction of a three-dimensional topological field theory. We describe the following analogue for two-dimensional conformal field theories: a 2-category whose objects are symmetric special Frobenius algebras in a modular tensor category and whose morphisms are categories of bimodules. This 2-category provides sufficient ingredients for constructing all correlation functions of a two-dimensional rational conformal field theory. The bimodules have the physical interpretation of chiral data, boundary conditions, and topological defect lines of this theory.

Logarithmic conformal field theory

Azat M. Gainutdinov, David Ridout, Ingo Runkel

Mathematical Physics · Journal of Physics A Mathematical and Theoretical · 20 Nov 2013 · cited 45× · DOI ↗ · more like this ·

Conformal field theory (CFT) has proven to be one of the richest and deepest subjects of modern theoretical and mathematical physics research, especially as regards statistical mechanics and string theory. It has also stimulated an enormous amount of activity in mathematics, shaping and building bridges between seemingly disparate fields through the study of vertex operator algebras, a (partial) axiomatisation of a chiral CFT. One can add to this that the successes of CFT, particularly when applied to statistical lattice models, have also served as an inspiration for mathematicians to develop entirely new fields: Schramm-Loewner evolution and Smirnov’s discrete complex analysis being notable examples. When the energy operator fails to be diagonalisable on the quantum state space, the CFT is said to be logarithmic. Consequently, a logarithmic CFT is one whose quantum space of states is…

Gerbe-holonomy for surfaces with defect networks

Ingo Runkel, Rafal R. Suszek

hep-th · 11 Aug 2008 · cited 45× · arXiv ↗ · more like this ·

We define the sigma-model action for world-sheets with embedded defect networks in the presence of a three-form field strength. We derive the defect gluing condition for the sigma-model fields and their derivatives, and use it to distinguish between conformal and topological defects. As an example, we treat the WZW model with defects labelled by elements of the centre Z(G) of the target Lie group G; comparing the holonomy for different defect networks gives rise to a 3-cocycle on Z(G). Next, we describe the factorisation properties of two-dimensional quantum field theories in the presence of defects and compare the correlators for different defect networks in the quantum WZW model. This, again, results in a 3-cocycle on Z(G). We observe that the cocycles obtained in the classical and in the quantum computation are cohomologous.

A braided monoidal category for free super-bosons

Ingo Runkel

math.QA · September 2012 · cited 44× · arXiv ↗ · more like this ·

The chiral conformal field theory of free super-bosons is generated by weight one currents whose mode algebra is the affinisation of an abelian Lie super-algebra h with non-degenerate super-symmetric pairing. The mode algebras of a single free boson and of a single pair of symplectic fermions arise for even|odd dimension 1|0 and 0|2 of h, respectively. In this paper, the representations of the untwisted mode algebra of free super-bosons are equipped with a tensor product, a braiding, and an associator. In the symplectic fermion case, i.e. if h is purely odd, the braided monoidal structure is extended to representations of the Z/2Z-twisted mode algebra. The tensor product is obtained by computing spaces of vertex operators. The braiding and associator are determined by explicit calculations from three- and four-point conformal blocks.

Line and surface defects in Reshetikhin-Turaev TQFT

Nils Carqueville, Ingo Runkel, Gregor Schaumann

math.QA · October 2017 · cited 42× · arXiv ↗ · more like this ·

A modular tensor category $\mathcal{C}$ gives rise to a Reshetikhin-Turaev type topological quantum field theory which is defined on 3-dimensional bordisms with embedded $\mathcal{C}$-coloured ribbon graphs. We extend this construction to include bordisms with surface defects which in turn can meet along line defects. The surface defects are labelled by $Δ$-separable symmetric Frobenius algebras and the line defects by "multi-modules" which are equivariant with respect to a cyclic group action. Our invariant cannot distinguish non-isotopic embeddings of 2-spheres, but we give an example where it distinguishes non-isotopic embeddings of 2-tori.

A modular invariant bulk theory for the c=0 triplet model

Matthias R. Gaberdiel, Ingo Runkel, Simon Wood

hep-th · August 2010 · cited 41× · arXiv ↗ · more like this ·

A proposal for the bulk space of the logarithmic W(2,3)-triplet model at central charge zero is made. The construction is based on the idea that one may reconstruct the bulk theory of a rational conformal field theory from its boundary theory. The resulting bulk space is a quotient of the direct sum of projective representations, which is isomorphic, as a vector space, to the direct sum of tensor products of the irreducible representations with their projective covers. As a consistency check of our analysis we show that the partition function of the bulk theory is modular invariant, and that the boundary state analysis is compatible with the proposed annulus partition functions of this model.

Fermionic CFTs and classifying algebras

Ingo Runkel, Gerard M. T. Watts

hep-th · 14 Jan 2020 · cited 38× · arXiv ↗ · more like this ·

We study fermionic conformal field theories on surfaces with spin structure in the presence of boundaries, defects, and interfaces. We obtain the relevant crossing relations, taking particular care with parity signs and signs arising from the change of spin structure in different limits. We define fermionic classifying algebras for boundaries, defects, and interfaces, which allow one to read off the elementary boundary conditions, etc. As examples, we define fermionic extensions of Virasoro minimal models and give explicit solutions for the spectrum and bulk structure constants. We show how the $A$- and $D$-type fermionic Virasoro minimal models are related by a parity-shift operation which we define in general. We study the boundaries, defects, and interfaces in several examples, in particular in the fermionic Ising model, i.e. the free fermion, in the fermionic tri-critical Ising…

Perturbed Defects and T-Systems in Conformal Field Theory

Ingo Runkel

hep-th · November 2007 · cited 37× · arXiv ↗ · more like this ·

Defect lines in conformal field theory can be perturbed by chiral defect fields. If the unperturbed defects satisfy su(2)-type fusion rules, the operators associated to the perturbed defects are shown to obey functional relations known from the study of integrable models as T-systems. The procedure is illustrated for Virasoro minimal models and for Liouville theory.

On the monoidal structure of matrix bi-factorisations

Nils Carqueville, Ingo Runkel

math-ph · September 2009 · cited 31× · arXiv ↗ · more like this ·

We investigate tensor products of matrix factorisations. This is most naturally done by formulating matrix factorisations in terms of bimodules instead of modules. If the underlying ring is C[x_1,...,x_N] we show that bimodule matrix factorisations form a monoidal category. This monoidal category has a physical interpretation in terms of defect lines in a two-dimensional Landau-Ginzburg model. There is a dual description via conformal field theory, which in the special case of W=x^d is an N=2 minimal model, and which also gives rise to a monoidal category describing defect lines. We carry out a comparison of these two categories in certain subsectors by explicitly computing 6j-symbols.

Projective objects and the modified trace in factorisable finite tensor categories

Azat M. Gainutdinov, Ingo Runkel

math.QA · March 2017 · cited 28× · arXiv ↗ · more like this ·

For C a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show: 1) C always contains a simple projective object; 2) if C is in addition ribbon, the internal characters of projective modules span a submodule for the projective SL(2,Z)-action; 3) the action of the Grothendieck ring of C on the span of internal characters of projective objects can be diagonalised; 4) the linearised Grothendieck ring of C is semisimple iff C is semisimple. Results 1-3 remain true in positive characteristic under an extra assumption. Result 1 implies that the tensor ideal of projective objects in C carries a unique-up-to-scalars modified trace function. We express the modified trace of open Hopf links coloured by projectives in terms of S-matrix elements. Furthermore, we give a Verlinde-like formula for the decomposition of tensor products of…

Orbifolds of Reshetikhin-Turaev TQFTs

Nils Carqueville, Ingo Runkel, Gregor Schaumann

math.QA · September 2018 · cited 27× · arXiv ↗ · more like this ·

We construct three classes of generalised orbifolds of Reshetikhin-Turaev theory for a modular tensor category $\mathcal{C}$, using the language of defect TQFT from [arXiv:1705.06085]: (i) spherical fusion categories give orbifolds for the "trivial" defect TQFT associated to vect, (ii) $G$-crossed extensions of $\mathcal{C}$ give group orbifolds for any finite group $G$, and (iii) we construct orbifolds from commutative $Δ$-separable symmetric Frobenius algebras in $\mathcal{C}$. We also explain how the Turaev-Viro state sum construction fits into our framework by proving that it is isomorphic to the orbifold of case (i). Moreover, we treat the cases (ii) and (iii) in the more general setting of ribbon tensor categories. For case (ii) we show how Morita equivalence leads to isomorphic orbifolds, and we discuss Tambara-Yamagami categories as particular examples.

The symplectic fermion ribbon quasi-Hopf algebra and the SL(2,Z)-action on its centre

Vanda Farsad, Azat M. Gainutdinov, Ingo Runkel

math.QA · June 2017 · cited 24× · arXiv ↗ · more like this ·

We introduce a family of factorisable ribbon quasi-Hopf algebras $Q(N)$ for $N$ a positive integer: as an algebra, $Q(N)$ is the semidirect product of $\mathbb{C}\mathbb{Z}_2$ with the direct sum of a Grassmann and a Clifford algebra in $2N$ generators. We show that $Rep Q(N)$ is ribbon equivalent to the symplectic fermion category $SF(N)$ that was computed by the third author from conformal blocks of the corresponding logarithmic conformal field theory. The latter category in turn is conjecturally ribbon equivalent to representations of $V_{ev}$, the even part of the symplectic fermion vertex operator super algebra. Using the formalism developed in our previous paper we compute the projective $SL(2,\mathbb{Z})$-action on the centre of $Q(N)$ as obtained from Lyubashenko's general theory of mapping class group actions for factorisable finite ribbon categories. This allows us to test a…

Introductory lectures on topological quantum field theory

Nils Carqueville, Ingo Runkel

math.QA · 16 May 2017 · cited 22× · arXiv ↗ · more like this ·

These notes offer a lightening introduction to topological quantum field theory in its functorial axiomatisation, assuming no or little prior exposure. We lay some emphasis on the connection between the path integral motivation and the definition in terms symmetric monoidal categories, and we highlight the algebraic formulation emerging from a formal generators-and-relations description. This allows one to understand (oriented, closed) 1- and 2-dimensional TQFTs in terms of a finite amount of algebraic data, while already the 3-dimensional case needs an infinite amount of data. We evade these complications by instead discussing some aspects of 3-dimensional extended TQFTs, and their relation to braided monoidal categories.

Constructing modular categories from orbifold data

Vincentas Mulevicius, Ingo Runkel

math.QA · 3 Feb 2020 · cited 15× · arXiv ↗ · more like this ·

In Carqueville et al., arXiv:1809.01483, the notion of an orbifold datum $\mathbb{A}$ in a modular fusion category $\mathcal{C}$ was introduced as part of a generalised orbifold construction for Reshetikhin-Turaev TQFTs. In this paper, given a simple orbifold datum $\mathbb{A}$ in $\mathcal{C}$, we introduce a ribbon category $\mathcal{C}_{\mathbb{A}}$ and show that it is again a modular fusion category. The definition of $\mathcal{C}_{\mathbb{A}}$ is motivated by properties of Wilson lines in the generalised orbifold. We analyse two examples in detail: (i) when $\mathbb{A}$ is given by a simple commutative $Δ$-separable Frobenius algebra $A$ in $\mathcal{C}$; (ii) when $\mathbb{A}$ is an orbifold datum in $\mathcal{C} = \operatorname{Vect}$, built from a spherical fusion category $\mathcal{S}$. We show that in case (i), $\mathcal{C}_{\mathbb{A}}$ is ribbon-equivalent to the category of…