Source author record

Ingo Runkel

Ingo Runkel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

37works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

37 published item(s)

preprint2022arXiv

Lattice models from CFT on surfaces with holes I: Torus partition function via two lattice cells

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.

preprint2021arXiv

Orbifold graph TQFTs

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.

preprint2020arXiv

Constructing modular categories from orbifold data

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.

preprint2020arXiv

Fermionic CFTs and classifying algebras

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 model, i.e. the first unitary $N=1$ superconformal minimal model, and in the supersymmetric Lee-Yang model, of which there are two distinct versions that are related by parity-shift.

preprint2019arXiv

Modified traces for quasi-Hopf algebras

Let H be a finite-dimensional unimodular pivotal quasi-Hopf algebra over a field k, and let H-mod be the pivotal tensor category of finite-dimensional H-modules. We give a bijection between left (resp. right) modified traces on the tensor ideal H-pmod of projective modules and left (resp. right) cointegrals for H. The non-zero left/right modified traces are non-degenerate, and we show that non-degenerate left/right modified traces can only exist for unimodular H. This generalises results of Beliakova, Blanchet, and Gainutdinov from Hopf algebras to quasi-Hopf algebras. As an example we compute cointegrals and modified traces for the family of symplectic fermion quasi-Hopf algebras.

preprint2019arXiv

Projective objects and the modified trace in factorisable finite tensor categories

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 projective objects which uses only the modular S-transformation restricted to internal characters of projective objects. We compute the modified trace in the example of symplectic fermion categories, and we illustrate how the Verlinde-like formula for projective objects can be applied there.

preprint2017arXiv

Introductory lectures on topological quantum field theory

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.

preprint2016arXiv

Holomorphic Symplectic Fermions

Let V be the even part of the vertex operator super-algebra of r pairs of symplectic fermions. Up to two conjectures, we show that V admits a unique holomorphic extension if r is a multiple of 8, and no holomorphic extension otherwise. This is implied by two results obtained in this paper: 1) If r is a multiple of 8, one possible holomorphic extension is given by the lattice vertex operator algebra for the even self dual lattice $D_r^+$ with shifted stress tensor. 2) We classify Lagrangian algebras in SF(h), a ribbon category associated to symplectic fermions. The classification of holomorphic extensions of V follows from 1) and 2) if one assumes that SF(h) is ribbon equivalent to Rep(V), and that simple modules of extensions of V are in one-to-one relation with simple local modules of the corresponding commutative algebra in SF(h).

preprint2015arXiv

Spin from defects in two-dimensional quantum field theory

We build two-dimensional quantum field theories on spin surfaces starting from theories on oriented surfaces with networks of topological defect lines and junctions. The construction uses a combinatorial description of the spin structure in terms of a triangulation equipped with extra data. The amplitude for the spin surfaces is defined to be the amplitude for the underlying oriented surface together with a defect network dual to the triangulation. Independence of the triangulation and of the other choices follows if the line defect and junctions are obtained from a Delta-separable Frobenius algebra with involutive Nakayama automorphism in the monoidal category of topological defects. For rational conformal field theory we can give a more explicit description of the defect category, and we work out two examples related to free fermions in detail: the Ising model and the so(n) WZW model at level 1.

preprint2015arXiv

State sum construction of two-dimensional topological quantum field theories on spin surfaces

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.

preprint2014arXiv

A braided monoidal category for free super-bosons

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.

preprint2014arXiv

Integrable perturbations of conformal field theories and Yetter-Drinfeld modules

In this paper we relate a problem in representation theory - the study of Yetter-Drinfeld modules over certain braided Hopf algebras - to a problem in two-dimensional quantum field theory, namely the identification of integrable perturbations of a conformal field theory. A prescription that parallels Lusztig's construction allows one to read off the quantum group governing the integrable symmetry. As an example, we illustrate how the quantum group for the loop algebra of sl(2) appears in the integrable structure of the perturbed uncompactified and compactified free boson.

preprint2014arXiv

N=2 minimal conformal field theories and matrix bifactorisations of x^d

We prove a tensor equivalence between full subcategories of a) graded matrix factorisations of the potential x^d-y^d and b) representations of the N=2 minimal super vertex operator algebra at central charge 3-6/d, where d is odd. The subcategories are given by a) permutation-type matrix factorisations with consecutive index sets, and b) Neveu-Schwarz-type representations. The physical motivation for this result is the Landau-Ginzburg / conformal field theory correspondence, where it amounts to the equivalence of a subset of defects on both sides of the correspondence. Our work builds on results by Brunner and Roggenkamp [arXiv:0707.0922], where an isomorphism of fusion rules was established.

preprint2014arXiv

Orbifold completion of defect bicategories

Orbifolds of two-dimensional quantum field theories have a natural formulation in terms of defects or domain walls. This perspective allows for a rich generalisation of the orbifolding procedure, which we study in detail for the case of topological field theories. Namely, a TFT with defects gives rise to a pivotal bicategory of "worldsheet phases" and defects between them. We develop a general framework which takes such a bicategory B as input and returns its "orbifold completion" B_orb. The completion satisfies the natural properties B \subset B_orb and (B_orb)_orb = B_orb, and it gives rise to various new equivalences and nondegeneracy results. When applied to TFTs, the objects in B_orb correspond to generalised orbifolds of the theories in B. In the example of Landau-Ginzburg models we recover and unify conventional equivariant matrix factorisations, prove when and how (generalised) orbifolds again produce open/closed TFTs, and give nontrivial examples of new orbifold equivalences.

preprint2013arXiv

A braided monoidal category for symplectic fermions

We describe a class of examples of braided monoidal categories which are built from Hopf algebras in symmetric categories. The construction is motivated by a calculation in two-dimensional conformal field theory and is tailored to contain the braided monoidal categories occurring in the study of the Ising model, their generalisation to Tamabara-Yamagami categories, and categories occurring for symplectic fermions.

preprint2013arXiv

An alternative description of braided monoidal categories

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.

preprint2013arXiv

Cardy algebras and sewing constraints, II

This is the part II of a two-part work started in arXiv:0807.3356 [math.QA]. In part I, Cardy algebras were studied, a notion which arises from the classification of genus-0,1 open-closed rational conformal field theories. In this part, we prove that a Cardy algebra also satisfies the higher genus factorisation and modular-invariance properties formulated in arXiv:hep-th/0612306 in terms of the notion of a solution to the sewing constraints. We present the proof by showing that the latter notion, which is defined as a monoidal natural transformation, can be expressed in terms of generators and relations, which correspond exactly to the defining data and axioms of a Cardy algebra.

preprint2013arXiv

Functoriality of the center of an algebra

The notion of the center of an algebra over a field k has a far reaching generalization to algebras in monoidal categories. The center then lives in the monoidal center of the original category. This generalization plays an important role in the study of bulk-boundary duality of rational conformal field theories. In this paper, we study functorial properties of the center. We show that it gives rise to a 2-functor from the bicategory of semisimple indecomposable module categories over a fusion category to the bicategory of commutative algebras in the monoidal center of this fusion category. Morphism spaces of the latter bicategory are extended from algebra homomorphisms to certain categories of cospans. We conjecture that the above 2-functor arises from a lax 3-functor between tricategories, and that in this setting one can relax the conditions from fusion categories to finite tensor categories. We briefly outline how one is naturally lead to the above 2-functor when studying rational conformal field theory with defects of all codimensions. For example, the cospans of the target bicategory correspond to spaces of defect fields and to the bulk-defect operator product expansions.

preprint2013arXiv

Orbifold equivalent potentials

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.

preprint2013arXiv

Z/2Z-extensions of Hopf algebra module categories by their base categories

Starting with a self-dual Hopf algebra H in a braided monoidal category S we construct a Z/2Z-graded monoidal category C = C_0 + C_1. The degree zero component is the category Rep_S(H) of representations of H and the degree one component is the category S. The extra structure on H needed to define the associativity isomorphisms is a choice of self-duality map and cointegral, subject to certain conditions. We also describe rigid, braided and ribbon structures on C in Hopf algebraic terms. Our construction permits a uniform treatment of Tambara-Yamagami categories and categories related to symplectic fermions in conformal field theory.

preprint2012arXiv

Rigidity and defect actions in Landau-Ginzburg models

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.

preprint2011arXiv

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

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.

preprint2011arXiv

Affine su(2) fusion rules from gerbe 2-isomorphisms

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.

preprint2011arXiv

Field theories with defects and the centre functor

This note is intended as an introduction to the functorial formulation of quantum field theories with defects. After some remarks about models in general dimension, we restrict ourselves to two dimensions - the lowest dimension in which interesting field theories with defects exist. We study in some detail the simplest example of such a model, namely a topological field theory with defects which we describe via lattice TFT. Finally, we give an application in algebra, where the defect TFT provides us with a functorial definition of the centre of an algebra. This involves changing the target category of commutative algebras into a bicategory. Throughout this paper, we emphasise the role of higher categories - in our case bicategories - in the description of field theories with defects.

preprint2010arXiv

Defect flows in minimal models

In this paper we study a simple example of a two-parameter space of renormalisation group flows of defects in Virasoro minimal models. We use a combination of exact results, perturbation theory and the truncated conformal space approach to search for fixed points and investigate their nature. For the Ising model, we confirm the recent results of Fendley et al. In the case of central charge close to one, we find six fixed points, five of which we can identify in terms of known defects and one of which we conjecture is a new non-trivial conformal defect. We also include several new results on exact properties of perturbed defects and on the renormalisation group in the truncated conformal space approach.

preprint2010arXiv

Invertible defects and isomorphisms of rational CFTs

Given two two-dimensional conformal field theories, a domain wall -- or defect line -- between them is called invertible if there is another defect with which it fuses to the identity defect. A defect is called topological if it is transparent to the stress tensor. A conformal isomorphism between the two CFTs is a linear isomorphism between their state spaces which preserves the stress tensor and is compatible with the operator product expansion. We show that for rational CFTs there is a one-to-one correspondence between invertible topological defects and conformal isomorphisms if both preserve the rational symmetry. This correspondence is compatible with composition.

preprint2010arXiv

Module categories for permutation modular invariants

We show that a braided monoidal category C can be endowed with the structure of a right (and left) module category over C \times C. In fact, there is a family of such module category structures, and they are mutually isomorphic if and only if C allows for a twist. For the case that C is premodular we compute the internal End of the tensor unit of C, and we show that it is an Azumaya algebra if C is modular. As an application to two-dimensional rational conformal field theory, we show that the module categories describe the permutation modular invariant for models based on the product of two identical chiral algebras. It follows in particular that all permutation modular invariants are physical.

preprint2010arXiv

Non-local conserved charges from defects in perturbed conformal field theory

Perturbing a Virasoro minimal model by the (1,3) primary bulk field results in an integrable field theory. In this paper, an infinite set of commuting conserved charges is obtained by considering defects: a one-parameter family of perturbed defect operators is given, and it is shown that these operators mutually commute, that they commute with the Hamiltonian of the perturbed CFT, and that they satisfy a T-system functional relation. The formulation in terms of perturbed defects is a modification of the original prescription for such charges by Bazhanov, Lukyanov and Zamolodchikov.

preprint2010arXiv

On the monoidal structure of matrix bi-factorisations

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.

preprint2009arXiv

A Monoidal Category for Perturbed Defects in Conformal Field Theory

Starting from an abelian rigid braided monoidal category C we define an abelian rigid monoidal category C_F which captures some aspects of perturbed conformal defects in two-dimensional conformal field theory. Namely, for V a rational vertex operator algebra we consider the charge-conjugation CFT constructed from V (the Cardy case). Then C = Rep(V) and an object in C_F corresponds to a conformal defect condition together with a direction of perturbation. We assign to each object in C_F an operator on the space of states of the CFT, the perturbed defect operator, and show that the assignment factors through the Grothendieck ring of C_F. This allows one to find functional relations between perturbed defect operators. Such relations are interesting because they contain information about the integrable structure of the CFT.

preprint2008arXiv

Gerbe-holonomy for surfaces with defect networks

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.

preprint2007arXiv

Reflection and Transmission for Conformal Defects

We consider conformal defects joining two conformal field theories along a line. We define two new quantities associated to such defects in terms of expectation values of the stress tensors and we propose them as measures of the reflectivity and transmissivity of the defect. Their properties are investigated and they are computed in a number of examples. We obtain a complete answer for all defects in the Ising model and between certain pairs of minimal models. In the case of two conformal field theories with an enhanced symmetry we restrict ourselves to non-trivial defects that can be obtained by a coset construction.

preprint2005arXiv

TFT construction of RCFT correlators IV: Structure constants and correlation functions

We compute the fundamental correlation functions in two-dimensional rational conformal field theory, from which all other correlators can be obtained by sewing: the correlators of three bulk fields on the sphere, one bulk and one boundary field on the disk, three boundary fields on the disk, and one bulk field on the cross cap. We also consider conformal defects and calculate the correlators of three defect fields on the sphere and of one defect field on the cross cap. Each of these correlators is presented as the product of a structure constant and the appropriate conformal two- or three-point block. The structure constants are expressed as invariants of ribbon graphs in three-manifolds.

preprint2004arXiv

TFT construction of RCFT correlators III: Simple currents

We use simple currents to construct symmetric special Frobenius algebras in modular tensor categories. We classify such simple current type algebras with the help of abelian group cohomology. We show that they lead to the modular invariant torus partition functions that have been studied by Kreuzer and Schellekens. We also classify boundary conditions in the associated conformal field theories and show that the boundary states are given by the formula proposed in hep-th/0007174. Finally, we investigate conformal defects in these theories.

preprint2003arXiv

Algebras in tensor categories and coset conformal field theories

The coset construction is the most important tool to construct rational conformal field theories with known chiral data. For some cosets at small level, so-called maverick cosets, the familiar analysis using selection and identification rules breaks down. Intriguingly, this phenomenon is linked to the existence of exceptional modular invariants. Recent progress in CFT, based on studying algebras in tensor categories, allows for a universal construction of the chiral data of coset theories which in particular also applies to maverick cosets.

preprint2003arXiv

TFT construction of RCFT correlators II: Unoriented world sheets

A full rational CFT, consistent on all orientable world sheets, can be constructed from the underlying chiral CFT, i.e. a vertex algebra, its representation category C, and the system of chiral blocks, once we select a symmetric special Frobenius algebra A in the category C [I]. Here we show that the construction of [I] can be extended to unoriented world sheets by specifying one additional datum: a reversion on A - an isomorphism from the opposed algebra of A to A that squares to the twist. A given full CFT on oriented surfaces can admit inequivalent reversions, which give rise to different amplitudes on unoriented surfaces, in particular to different Klein bottle amplitudes. We study the classification of reversions, work out the construction of the annulus, Moebius strip and Klein bottle partition functions, and discuss properties of defect lines on non-orientable world sheets. As an illustration, the Ising model is treated in detail.