-
Non-local charges from perturbed defects via SymTFT in 2d CFT
Authors:
Federico Ambrosino,
Ingo Runkel,
Gérard M. T. Watts
Abstract:
We investigate non-local conserved charges in perturbed two-dimensional conformal field theories from the point of view of the 3d SymTFT of the unperturbed theory. In the SymTFT we state a simple commutation condition which results in a pair of compatible bulk and defect perturbations, such that the perturbed line defects are conserved in the perturbed CFT. In other words, the perturbed defects ar…
▽ More
We investigate non-local conserved charges in perturbed two-dimensional conformal field theories from the point of view of the 3d SymTFT of the unperturbed theory. In the SymTFT we state a simple commutation condition which results in a pair of compatible bulk and defect perturbations, such that the perturbed line defects are conserved in the perturbed CFT. In other words, the perturbed defects are rigidly translation invariant, and such defects form a monoidal category which extends the topological symmetries. As examples we study the A-type Virasoro minimal models $M(p,q)$. Our formalism provides one-parameter families of commuting non-local conserved charges for perturbations by a primary bulk field with Kac label $(1,2)$, $(1,3)$, or $(1,5)$, which are the standard integrable perturbations of minimal models. We find solutions to the commutation condition also for other bulk perturbations, such as $(1,7)$, and we contrast this with the existence of local conserved charges. There has been recent interest in the possibility that in certain cases perturbations by fields such as $(1,7)$ can be integrable, and our construction provides a new way in which integrability can be found without the need for local conserved charges.
△ Less
Submitted 13 April, 2025; v1 submitted 7 April, 2025;
originally announced April 2025.
-
Lattice models from CFT on surfaces with holes II: Cloaking boundary conditions and loop models
Authors:
Enrico M. Brehm,
Ingo Runkel
Abstract:
In this paper we continue to investigate the lattice models obtained from 2d CFTs via the construction introduced in [arXiv:2112.01563]. On the side of the 2d CFT we consider the cloaking boundary condition relative to a fixed fusion category F of topological line defects. The resulting lattice model realises the topological symmetry F exactly. We compute the state spaces and Boltzmann weights of…
▽ More
In this paper we continue to investigate the lattice models obtained from 2d CFTs via the construction introduced in [arXiv:2112.01563]. On the side of the 2d CFT we consider the cloaking boundary condition relative to a fixed fusion category F of topological line defects. The resulting lattice model realises the topological symmetry F exactly. We compute the state spaces and Boltzmann weights of these lattice model in the example of unitary Virasoro minimal models. We work directly with amplitudes, rather than with normalised correlators, and we provide a careful treatment of the Weyl anomaly factor in terms of the Liouville action.
We numerically evaluate the Ising CFT on the torus with one hole and cloaking boundary condition in two channels, and illustrate in this example that the anomaly factors are essential to obtain matching results for the amplitudes. We show that lattice models obtained from Virasoro minimal models at lowest non-trivial cutoff can be exactly mapped to loop models. This provides a first non-trivial check that our lattice models can contain the 2d CFT they were constructed from in their phase diagram, and we propose a condition on the cloaking boundary condition for F under which we expect this to happen in general.
△ Less
Submitted 25 October, 2024;
originally announced October 2024.
-
Topological defects
Authors:
Nils Carqueville,
Michele Del Zotto,
Ingo Runkel
Abstract:
This is a survey article for the Encyclopedia of Mathematical Physics, 2nd Edition. Topological defects are described in the context of the 2-dimensional Ising model on the lattice, in 2-dimensional quantum field theory, in topological quantum field theory in arbitrary dimension, and in higher-dimensional quantum field theory with a focus on 4-dimensional quantum electrodynamics.
This is a survey article for the Encyclopedia of Mathematical Physics, 2nd Edition. Topological defects are described in the context of the 2-dimensional Ising model on the lattice, in 2-dimensional quantum field theory, in topological quantum field theory in arbitrary dimension, and in higher-dimensional quantum field theory with a focus on 4-dimensional quantum electrodynamics.
△ Less
Submitted 18 November, 2023; v1 submitted 4 November, 2023;
originally announced November 2023.
-
Internal Levin-Wen models
Authors:
Vincentas Mulevicius,
Ingo Runkel,
Thomas Voß
Abstract:
Levin-Wen models are a class of two-dimensional lattice spin models with a Hamiltonian that is a sum of commuting projectors, which describe topological phases of matter related to Drinfeld centres. We generalise this construction to lattice systems internal to a topological phase described by an arbitrary modular fusion category $\mathcal{C}$. The lattice system is defined in terms of an orbifold…
▽ More
Levin-Wen models are a class of two-dimensional lattice spin models with a Hamiltonian that is a sum of commuting projectors, which describe topological phases of matter related to Drinfeld centres. We generalise this construction to lattice systems internal to a topological phase described by an arbitrary modular fusion category $\mathcal{C}$. The lattice system is defined in terms of an orbifold datum $\mathbb{A}$ in $\mathcal{C}$, from which we construct a state space and a commuting-projector Hamiltonian $H_{\mathbb{A}}$ acting on it. The topological phase of the degenerate ground states of $H_{\mathbb{A}}$ is characterised by a modular fusion category $\mathcal{C}_{\mathbb{A}}$ defined directly in terms of $\mathbb{A}$. By choosing different $\mathbb{A}$'s for a fixed $\mathcal{C}$, one obtains precisely all phases which are Witt-equivalent to $\mathcal{C}$.
As special cases we recover the Kitaev and the Levin-Wen lattice models from instances of orbifold data in the trivial modular fusion category of vector spaces, as well as phases obtained by anyon condensation in a given phase $\mathcal{C}$.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Parity and Spin CFT with boundaries and defects
Authors:
Ingo Runkel,
Lóránt Szegedy,
Gérard M. T. Watts
Abstract:
This paper is a follow-up to [arXiv:2001.05055] in which two-dimensional conformal field theories in the presence of spin structures are studied. In the present paper we define four types of CFTs, distinguished by whether they need a spin structure or not in order to be well-defined, and whether their fields have parity or not. The cases of spin dependence without parity, and of parity without the…
▽ More
This paper is a follow-up to [arXiv:2001.05055] in which two-dimensional conformal field theories in the presence of spin structures are studied. In the present paper we define four types of CFTs, distinguished by whether they need a spin structure or not in order to be well-defined, and whether their fields have parity or not. The cases of spin dependence without parity, and of parity without the need of a spin structure, have not, to our knowledge, been investigated in detail so far.
We analyse these theories by extending the description of CFT correlators via three-dimensional topological field theory developed in [arXiv:hep-th/0204148] to include parity and spin. In each of the four cases, the defining data are a special Frobenius algebra $F$ in a suitable ribbon fusion category, such that the Nakayama automorphism of $F$ is the identity (oriented case) or squares to the identity (spin case). We use the TFT to define correlators in terms of $F$ and we show that these satisfy the relevant factorisation and single-valuedness conditions.
We allow for world sheets with boundaries and topological line defects, and we specify the categories of boundary labels and the fusion categories of line defect labels for each of the four types.
The construction can be understood in terms of topological line defects as gauging a possibly non-invertible symmetry. We analyse the case of a $\mathbb{Z}_2$-symmetry in some detail and provide examples of all four types of CFT, with Bershadsky-Polyakov models illustrating the two new types.
△ Less
Submitted 17 July, 2023; v1 submitted 3 October, 2022;
originally announced October 2022.
-
Lattice models from CFT on surfaces with holes I: Torus partition function via two lattice cells
Authors:
Enrico M. Brehm,
Ingo Runkel
Abstract:
We construct a one-parameter family of lattice models starting from a two-dimensional rational conformal field theory on a torus with a regular lattice of holes, each of which is equipped with a conformal boundary condition. The lattice model is obtained by cutting the surface into triangles with clipped-off edges using open channel factorisation. The parameter is given by the hole radius. At fini…
▽ More
We construct a one-parameter family of lattice models starting from a two-dimensional rational conformal field theory on a torus with a regular lattice of holes, each of which is equipped with a conformal boundary condition. The lattice model is obtained by cutting the surface into triangles with clipped-off edges using open channel factorisation. The parameter is given by the hole radius. At finite radius, high energy states are suppressed and the model is effectively finite. In the zero-radius limit, it recovers the CFT amplitude exactly. In the touching hole limit, one obtains a topological field theory.
If one chooses a special conformal boundary condition which we call "cloaking boundary condition", then for each value of the radius the fusion category of topological line defects of the CFT is contained in the lattice model. The fact that the full topological symmetry of the initial CFT is realised exactly is a key feature of our lattice models.
We provide an explicit recursive procedure to evaluate the interaction vertex on arbitrary states. As an example, we study the lattice model obtained from the Ising CFT on a torus with one hole, decomposed into two lattice cells. We numerically compare the truncated lattice model to the CFT expression obtained from expanding the boundary state in terms of the hole radius and we find good agreement at intermediate values of the radius.
△ Less
Submitted 28 April, 2022; v1 submitted 2 December, 2021;
originally announced December 2021.
-
Reshetikhin-Turaev TQFTs close under generalised orbifolds
Authors:
Nils Carqueville,
Vincentas Mulevicius,
Ingo Runkel,
Gregor Schaumann,
Daniel Scherl
Abstract:
We specialise the construction of orbifold graph TQFTs introduced in Carqueville et al., arXiv:2101.02482 to Reshetikhin-Turaev defect TQFTs. We explain that the modular fusion category ${\mathcal{C}}_{\mathcal{A}}$ constructed in Mulevičius-Runkel, arXiv:2002.00663 from an orbifold datum $\mathcal{A}$ in a given modular fusion category $\mathcal{C}$ is a special case of the Wilson line ribbon cat…
▽ More
We specialise the construction of orbifold graph TQFTs introduced in Carqueville et al., arXiv:2101.02482 to Reshetikhin-Turaev defect TQFTs. We explain that the modular fusion category ${\mathcal{C}}_{\mathcal{A}}$ constructed in Mulevičius-Runkel, arXiv:2002.00663 from an orbifold datum $\mathcal{A}$ in a given modular fusion category $\mathcal{C}$ is a special case of the Wilson line ribbon categories introduced as part of the general theory of orbifold graph TQFTs. Using this, we prove that the Reshetikhin-Turaev TQFT obtained from ${\mathcal{C}}_{\mathcal{A}}$ is equivalent to the orbifold of the TQFT for $\mathcal{C}$ with respect to the orbifold datum $\mathcal{A}$.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
Domain walls between 3d phases of Reshetikhin-Turaev TQFTs
Authors:
Vincent Koppen,
Vincentas Mulevicius,
Ingo Runkel,
Christoph Schweigert
Abstract:
We study surface defects in three-dimensional topological quantum field theories which separate different theories of Reshetikhin-Turaev type. Based on the new notion of a Frobenius algebra over two commutative Frobenius algebras, we present an explicit and computable construction of such defects. It specialises to the construction in Carqueville et al., arXiv:1710.10214 if all 3-strata are labell…
▽ More
We study surface defects in three-dimensional topological quantum field theories which separate different theories of Reshetikhin-Turaev type. Based on the new notion of a Frobenius algebra over two commutative Frobenius algebras, we present an explicit and computable construction of such defects. It specialises to the construction in Carqueville et al., arXiv:1710.10214 if all 3-strata are labelled by the same topological field theory. We compare the results to the model-independent analysis in Fuchs et al., arXiv:1203.4568 and find agreement.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
Orbifold graph TQFTs
Authors:
Nils Carqueville,
Vincentas Mulevicius,
Ingo Runkel,
Gregor Schaumann,
Daniel Scherl
Abstract:
A generalised orbifold of a defect TQFT $\mathcal{Z}$ is another TQFT $\mathcal{Z}_{\mathcal{A}}$ obtained by performing a state sum construction internal to $\mathcal{Z}$. As an input it needs a so-called orbifold datum $\mathcal{A}$ which is used to label stratifications coming from duals of triangulations and is subject to conditions encoding the invariance under Pachner moves. In this paper we…
▽ More
A generalised orbifold of a defect TQFT $\mathcal{Z}$ is another TQFT $\mathcal{Z}_{\mathcal{A}}$ obtained by performing a state sum construction internal to $\mathcal{Z}$. As an input it needs a so-called orbifold datum $\mathcal{A}$ which is used to label stratifications coming from duals of triangulations and is subject to conditions encoding the invariance under Pachner moves. In this paper we extend the construction of generalised orbifolds of $3$-dimensional TQFTs to include line defects. The result is a TQFT acting on 3-bordisms with embedded ribbon graphs labelled by a ribbon category $\mathcal{W}_{\mathcal{A}}$ that we canonically associate to $\mathcal{Z}$ and $\mathcal{A}$. We also show that for special orbifold data, the internal state sum construction can be performed on more general skeletons than those dual to triangulations. This makes computations with $\mathcal{Z}_{\mathcal{A}}$ easier to handle in specific examples.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
Constructing modular categories from orbifold data
Authors:
Vincentas Mulevicius,
Ingo Runkel
Abstract:
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 ca…
▽ More
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 local modules of $A$, and in case (ii), to the Drinfeld centre of $\mathcal{S}$. The category $\mathcal{C}_{\mathbb{A}}$ thus unifies these two constructions into a single algebraic setting.
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
Orbifolds of Reshetikhin-Turaev TQFTs
Authors:
Nils Carqueville,
Ingo Runkel,
Gregor Schaumann
Abstract:
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 orb…
▽ More
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.
△ Less
Submitted 27 April, 2020; v1 submitted 5 September, 2018;
originally announced September 2018.
-
Area-dependent quantum field theory with defects
Authors:
Ingo Runkel,
Lóránt Szegedy
Abstract:
Area-dependent quantum field theory is a modification of two-dimensional topological quantum field theory, where one equips each connected component of a bordism with a positive real number - interpreted as area - which behaves additively under glueing. As opposed to topological theories, in area-dependent theories the state spaces can be infinite-dimensional.
We introduce the notion of regulari…
▽ More
Area-dependent quantum field theory is a modification of two-dimensional topological quantum field theory, where one equips each connected component of a bordism with a positive real number - interpreted as area - which behaves additively under glueing. As opposed to topological theories, in area-dependent theories the state spaces can be infinite-dimensional.
We introduce the notion of regularised Frobenius algebras and show that area-dependent theories are in one-to-one correspondence to commutative regularised Frobenius algebras. We provide a state-sum construction for area-dependent theories, which includes theories with defects. Defect lines are labeled by dualisable bimodules over regularised algebras. We show that the tensor product of such bimodules agrees with the fusion of defect lines, which is defined as the limit where the area separating two defect lines is taken to zero.
All these constructions are exemplified by two-dimensional Yang-Mills theory with compact gauge group and with Wilson lines as defects, which we treat in detail.
△ Less
Submitted 21 July, 2018;
originally announced July 2018.
-
Topological field theory on r-spin surfaces and the Arf invariant
Authors:
Ingo Runkel,
Lóránt Szegedy
Abstract:
We give a combinatorial model for r-spin surfaces with parametrised boundary based on Novak (2015). The r-spin structure is encoded in terms of $\mathbb{Z}_r$-valued indices assigned to the edges of a polygonal decomposition. This combinatorial model is designed for our state sum construction of two-dimensional topological field theories on r-spin surfaces. We show that an example of such a topolo…
▽ More
We give a combinatorial model for r-spin surfaces with parametrised boundary based on Novak (2015). The r-spin structure is encoded in terms of $\mathbb{Z}_r$-valued indices assigned to the edges of a polygonal decomposition. This combinatorial model is designed for our state sum construction of two-dimensional topological field theories on r-spin surfaces. We show that an example of such a topological field theory computes the Arf-invariant of an r-spin surface as introduced in Geiges, Gonzalo (2012) and Randal-Williams (2014). This implies in particular that the r-spin Arf-invariant is constant on orbits of the mapping class group, providing an alternative proof of that fact.
△ Less
Submitted 1 October, 2021; v1 submitted 27 February, 2018;
originally announced February 2018.
-
Line and surface defects in Reshetikhin-Turaev TQFT
Authors:
Nils Carqueville,
Ingo Runkel,
Gregor Schaumann
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 3 December, 2018; v1 submitted 27 October, 2017;
originally announced October 2017.
-
Existence and uniqueness of solutions to Y-systems and TBA equations
Authors:
Lorenz Hilfiker,
Ingo Runkel
Abstract:
We consider Y-system functional equations of the form $$ Y_n(x+i)Y_n(x-i)=\prod_{m=1}^N (1+Y_m(x))^{G_{nm}}$$ and the corresponding nonlinear integral equations of the Thermodynamic Bethe Ansatz. We prove an existence and uniqueness result for solutions of these equations, subject to appropriate conditions on the analytical properties of the $Y_n$, in particular the absence of zeros in a strip aro…
▽ More
We consider Y-system functional equations of the form $$ Y_n(x+i)Y_n(x-i)=\prod_{m=1}^N (1+Y_m(x))^{G_{nm}}$$ and the corresponding nonlinear integral equations of the Thermodynamic Bethe Ansatz. We prove an existence and uniqueness result for solutions of these equations, subject to appropriate conditions on the analytical properties of the $Y_n$, in particular the absence of zeros in a strip around the real axis. The matrix $G_{nm}$ must have non-negative real entries, and be irreducible and diagonalisable over $\mathbb{R}$ with spectral radius less than 2. This includes the adjacency matrices of finite Dynkin diagrams, but covers much more as we do not require $G_{nm}$ to be integers. Our results specialise to the constant Y-system, proving existence and uniqueness of a strictly positive solution in that case.
△ Less
Submitted 28 August, 2017; v1 submitted 29 July, 2017;
originally announced August 2017.
-
Orbifolds of n-dimensional defect TQFTs
Authors:
Nils Carqueville,
Ingo Runkel,
Gregor Schaumann
Abstract:
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 "g…
▽ More
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 developing the general theory, we focus on the case $n=3$.
△ Less
Submitted 16 October, 2018; v1 submitted 17 May, 2017;
originally announced May 2017.
-
Introductory lectures on topological quantum field theory
Authors:
Nils Carqueville,
Ingo Runkel
Abstract:
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 allo…
▽ More
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.
△ Less
Submitted 16 May, 2017;
originally announced May 2017.
-
State sum construction of two-dimensional topological quantum field theories on spin surfaces
Authors:
Sebastian Novak,
Ingo Runkel
Abstract:
We provide a combinatorial model for spin surfaces. Given a triangulation of an oriented surface, a spin structure is encoded by assigning to each triangle a preferred edge, and to each edge an orientation and a sign, subject to certain admissibility conditions. The behaviour of this data under Pachner moves is then used to define a state sum topological field theory on spin surfaces. The algebrai…
▽ More
We provide a combinatorial model for spin surfaces. Given a triangulation of an oriented surface, a spin structure is encoded by assigning to each triangle a preferred edge, and to each edge an orientation and a sign, subject to certain admissibility conditions. The behaviour of this data under Pachner moves is then used to define a state sum topological field theory on spin surfaces. The algebraic data is a Delta-separable Frobenius algebra whose Nakayama automorphism is an involution. We find that a simple extra condition on the algebra guarantees that the amplitude is zero unless the combinatorial data satisfies the admissibility condition required for the reconstruction of the spin structure.
△ Less
Submitted 14 April, 2015; v1 submitted 12 February, 2014;
originally announced February 2014.
-
Orbifold equivalent potentials
Authors:
Nils Carqueville,
Ana Ros Camacho,
Ingo Runkel
Abstract:
To a graded finite-rank matrix factorisation of the difference of two homogeneous potentials one can assign two numbers, the left and right quantum dimension. The existence of such a matrix factorisation with non-zero quantum dimensions defines an equivalence relation between potentials, giving rise to non-obvious equivalences of categories.
Restricted to ADE singularities, the resulting equival…
▽ More
To a graded finite-rank matrix factorisation of the difference of two homogeneous potentials one can assign two numbers, the left and right quantum dimension. The existence of such a matrix factorisation with non-zero quantum dimensions defines an equivalence relation between potentials, giving rise to non-obvious equivalences of categories.
Restricted to ADE singularities, the resulting equivalence classes of potentials are those of type {A_{d-1}} for d odd, {A_{d-1},D_{d/2+1}} for d even but not in {12,18,30}, and {A_{11}, D_7, E_6}, {A_{17}, D_{10}, E_7} and {A_{29}, D_{16}, E_8}. This is the result expected from two-dimensional rational conformal field theory, and it directly leads to new descriptions of and relations between the associated (derived) categories of matrix factorisations and Dynkin quiver representations.
△ Less
Submitted 13 November, 2013;
originally announced November 2013.
-
An alternative description of braided monoidal categories
Authors:
Alexei Davydov,
Ingo Runkel
Abstract:
We give an alternative presentation of braided monoidal categories. Instead of the usual associativity and braiding we have just one constraint (the b-structure). In the unital case, the coherence conditions for a b-structure are shown to be equivalent to the usual associativity, unit and braiding axioms. We also discuss the next dimensional version, that is, b-structures on bicategories. As an ap…
▽ More
We give an alternative presentation of braided monoidal categories. Instead of the usual associativity and braiding we have just one constraint (the b-structure). In the unital case, the coherence conditions for a b-structure are shown to be equivalent to the usual associativity, unit and braiding axioms. We also discuss the next dimensional version, that is, b-structures on bicategories. As an application, we show how special b-categories result in the Yang-Baxter equation, and how special b-bicategories produce Zamolodchikov's tetrahedron equation. Finally, we define a cohomology theory (the b-cohomology) which plays a role analogous to the one abelian group cohomology has for braided monoidal categories.
△ Less
Submitted 23 July, 2013;
originally announced July 2013.
-
Rigidity and defect actions in Landau-Ginzburg models
Authors:
Nils Carqueville,
Ingo Runkel
Abstract:
Studying two-dimensional field theories in the presence of defect lines naturally gives rise to monoidal categories: their objects are the different (topological) defect conditions, their morphisms are junction fields, and their tensor product describes the fusion of defects. These categories should be equipped with a duality operation corresponding to reversing the orientation of the defect line,…
▽ More
Studying two-dimensional field theories in the presence of defect lines naturally gives rise to monoidal categories: their objects are the different (topological) defect conditions, their morphisms are junction fields, and their tensor product describes the fusion of defects. These categories should be equipped with a duality operation corresponding to reversing the orientation of the defect line, providing a rigid and pivotal structure. We make this structure explicit in topological Landau-Ginzburg models with potential x^d, where defects are described by matrix factorisations of x^d-y^d. The duality allows to compute an action of defects on bulk fields, which we compare to the corresponding N=2 conformal field theories. We find that the two actions differ by phases.
△ Less
Submitted 11 January, 2012; v1 submitted 29 June, 2010;
originally announced June 2010.
-
Defect lines, dualities, and generalised orbifolds
Authors:
Jürg Fröhlich,
Jürgen Fuchs,
Ingo Runkel,
Christoph Schweigert
Abstract:
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.
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.
△ Less
Submitted 28 September, 2009;
originally announced September 2009.
-
On the monoidal structure of matrix bi-factorisations
Authors:
Nils Carqueville,
Ingo Runkel
Abstract:
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. T…
▽ More
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.
△ Less
Submitted 12 June, 2010; v1 submitted 24 September, 2009;
originally announced September 2009.
-
Affine su(2) fusion rules from gerbe 2-isomorphisms
Authors:
Ingo Runkel,
Rafal R. Suszek
Abstract:
We give a geometric description of the fusion rules of the affine Lie algebra su(2)_k at a positive integer level k in terms of the k-th power of the basic gerbe over the Lie group SU(2). The gerbe can be trivialised over conjugacy classes corresponding to dominant weights of su(2)_k via a 1-isomorphism. The fusion-rule coefficients are related to the existence of a 2-isomorphism between pullbacks…
▽ More
We give a geometric description of the fusion rules of the affine Lie algebra su(2)_k at a positive integer level k in terms of the k-th power of the basic gerbe over the Lie group SU(2). The gerbe can be trivialised over conjugacy classes corresponding to dominant weights of su(2)_k via a 1-isomorphism. The fusion-rule coefficients are related to the existence of a 2-isomorphism between pullbacks of these 1-isomorphisms to a submanifold of SU(2) x SU(2) determined by the corresponding three conjugacy classes. This construction is motivated by its application in the description of junctions of maximally symmetric defect lines in the Wess-Zumino-Witten model.
△ Less
Submitted 23 May, 2011; v1 submitted 1 September, 2009;
originally announced September 2009.
-
Algebraic Structures in Euclidean and Minkowskian Two-Dimensional Conformal Field Theory
Authors:
Liang Kong,
Ingo Runkel
Abstract:
We review how modular categories, and commutative and non-commutative Frobenius algebras arise in rational conformal field theory. For Euclidean CFT we use an approach based on sewing of surfaces, and in the Minkowskian case we describe CFT by a net of operator algebras.
We review how modular categories, and commutative and non-commutative Frobenius algebras arise in rational conformal field theory. For Euclidean CFT we use an approach based on sewing of surfaces, and in the Minkowskian case we describe CFT by a net of operator algebras.
△ Less
Submitted 22 February, 2009;
originally announced February 2009.
-
The fusion algebra of bimodule categories
Authors:
Jurgen Fuchs,
Ingo Runkel,
Christoph Schweigert
Abstract:
We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This provides a purely categorical proof of a conjecture by Ostrik concerning the structure of F.
As a by-product we obtain a concrete expression for the structure…
▽ More
We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This provides a purely categorical proof of a conjecture by Ostrik concerning the structure of F.
As a by-product we obtain a concrete expression for the structure constants of the Grothendieck ring of the bimodule category in terms of endomorphisms of the tensor unit of the underlying modular tensor category.
△ Less
Submitted 8 January, 2007;
originally announced January 2007.
-
Topological and conformal field theory as Frobenius algebras
Authors:
Ingo Runkel,
Jens Fjelstad,
Jurgen Fuchs,
Christoph Schweigert
Abstract:
Two-dimensional conformal field theory (CFT) can be defined through its correlation functions. These must satisfy certain consistency conditions which arise from the cutting of world sheets along circles or intervals. The construction of a (rational) CFT can be divided into two steps, of which one is complex-analytic and one purely algebraic. We realise the algebraic part of the construction wit…
▽ More
Two-dimensional conformal field theory (CFT) can be defined through its correlation functions. These must satisfy certain consistency conditions which arise from the cutting of world sheets along circles or intervals. The construction of a (rational) CFT can be divided into two steps, of which one is complex-analytic and one purely algebraic. We realise the algebraic part of the construction with the help of three-dimensional topological field theory and show that any symmetric special Frobenius algebra in the appropriate braided monoidal category gives rise to a solution. A special class of examples is provided by two-dimensional topological field theories, for which the relevant monoidal category is the category of vector spaces.
△ Less
Submitted 17 May, 2006; v1 submitted 3 December, 2005;
originally announced December 2005.
-
Ribbon categories and (unoriented) CFT: Frobenius algebras, automorphisms, reversions
Authors:
Jurgen Fuchs,
Ingo Runkel,
Christoph Schweigert
Abstract:
A Morita class of symmetric special Frobenius algebras A in the modular tensor category of a chiral CFT determines a full CFT on oriented world sheets. For unoriented world sheets, A must in addition possess a reversion, i.e. an isomorphism from A^opp to A squaring to the twist. Any two reversions of an algebra A differ by an element of the group Aut(A) of algebra automorphisms of A. We establis…
▽ More
A Morita class of symmetric special Frobenius algebras A in the modular tensor category of a chiral CFT determines a full CFT on oriented world sheets. For unoriented world sheets, A must in addition possess a reversion, i.e. an isomorphism from A^opp to A squaring to the twist. Any two reversions of an algebra A differ by an element of the group Aut(A) of algebra automorphisms of A. We establish a group homomorphism from Aut(A) to the Picard group of the bimodule category C_AA, with kernel consisting of the inner automorphisms, and we refine Morita equivalence to an equivalence relation between algebras with reversion.
△ Less
Submitted 23 November, 2005;
originally announced November 2005.
-
Matrix model eigenvalue integrals and twist fields in the su(2)-WZW model
Authors:
Matthias R. Gaberdiel,
Albrecht O. Klemm,
Ingo Runkel
Abstract:
We propose a formula for the eigenvalue integral of the hermitian one matrix model with infinite well potential in terms of dressed twist fields of the su(2) level one WZW model. The expression holds for arbitrary matrix size n, and provides a suggestive interpretation for the monodromy properties of the matrix model correlators at finite n, as well as in the 1/n-expansion.
We propose a formula for the eigenvalue integral of the hermitian one matrix model with infinite well potential in terms of dressed twist fields of the su(2) level one WZW model. The expression holds for arbitrary matrix size n, and provides a suggestive interpretation for the monodromy properties of the matrix model correlators at finite n, as well as in the 1/n-expansion.
△ Less
Submitted 29 October, 2005; v1 submitted 5 September, 2005;
originally announced September 2005.
-
Picard groups in rational conformal field theory
Authors:
Jürg Fröhlich,
Jürgen Fuchs,
Ingo Runkel,
Christoph Schweigert
Abstract:
Algebra and representation theory in modular tensor categories can be combined with tools from topological field theory to obtain a deeper understanding of rational conformal field theories in two dimensions: It allows us to establish the existence of sets of consistent correlation functions, to demonstrate some of their properties in a model-independent manner, and to derive explicit expression…
▽ More
Algebra and representation theory in modular tensor categories can be combined with tools from topological field theory to obtain a deeper understanding of rational conformal field theories in two dimensions: It allows us to establish the existence of sets of consistent correlation functions, to demonstrate some of their properties in a model-independent manner, and to derive explicit expressions for OPE coefficients and coefficients of partition functions in terms of invariants of links in three-manifolds.
We show that a Morita class of (symmetric special) Frobenius algebras $A$ in a modular tensor category $\calc$ encodes all data needed to describe the correlators. A Morita-invariant formulation is provided by module categories over $\calc$. Together with a bimodule-valued fiber functor, the system (tensor category + module category) can be described by a weak Hopf algebra.
The Picard group of the category $\calc$ can be used to construct examples of symmetric special Frobenius algebras. The Picard group of the category of $A$-bimodules describes the internal symmetries of the theory and allows one to identify generalized Kramers-Wannier dualities.
△ Less
Submitted 23 November, 2004;
originally announced November 2004.
