Abstract
In Schweigert and Yang (Methods Appl Symmetry Integr Geom, 2021) it was shown how string-net spaces for the Cardy bulk algebra in the Drinfeld center \({\mathsf {Z}}({\mathsf {C}})\) of a modular tensor category \({\mathsf {C}}\) give rise to a consistent set of correlators. We extend their results to include open-closed world sheets and allow for more general field algebras, which come in the form of \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebras. To be more precise, we show that a set of fundamental string-nets with input data from a \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra gives rise to a solution of the sewing constraints formulated in Kong et al. (Adv Math 262:604–681, 2014) and that any set of fundamental string-nets solving the sewing constraints determine a \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra up to isomorphism. Hence we give an alternative proof of the results in Kong et al. (2014) in terms of string-nets.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
String-net spaces were originally introduced by Levin and Wen in [LW05] in order to describe phenomena of topological phases of matter on surfaces. Roughly speaking a string-net is an equivalence class of an embedded graph on a surface S with boundary. Based on earlier works [KKR10, KMR10] a precise mathematical formulation of string-nets was given by Kirillov in [Kir11] and it can be seen as a higher genus enhancement of the graphical calculus for tensor categories where the usual relations hold on any embedded disk. Similar discussions of categories on surfaces have appeared in [HK19, Har19] for the case of a cylinder. In a series of papers [BK10, Bal10a, Bal10b, Kir11] it was shown how an appropriately defined vector space of formal linear combinations of string-nets is equivalent to the state space of the Turaev–Viro three dimensional topological field theory (TFT) based on \({\mathsf {C}}\) or equivalently to the state space of the Reshetikhin–Turaev (TFT) for \({\mathsf {Z}}({\mathsf {C}})\).
Two dimensional rational conformal field theory (RCFT) on the other hand has a categorical description in the form of the FRS (Fuchs-Runkel-Schweigert)-formalism developed in [Fuc02, Fje06, Fuc05, Fuc04b, Fuc04a], where the state space of the Reshetikhin–Turaev TFT features prominently. The monodromy data of an RCFT is described by a modular tensor category and the bulk field algebra is a Frobenius algebra \({\mathcal {H}}_{cl}\) in \({\mathsf {Z}}({\mathsf {C}})\). The space of closed conformal blocks on a compact surface \(S^g_{n|m}\) of genus g with n incoming and m outgoing boundaries is given by the state-space of the Reshetikhin–Turaev TFT on \(S^g_{n|m}\), \(Z_{RT,{\mathsf {Z}}({\mathsf {C}})}({\mathcal {H}}_{cl}^*,\dots ,{\mathcal {H}}_{cl}^*,{\mathcal {H}}_{cl},\dots , {\mathcal {H}}_{cl})\), with n copies of \({\mathcal {H}}_{cl}^*\) coloring incoming boundary components and m copies of \({\mathcal {H}}_{cl}\) coloring outgoing boundary components. A consistent set of correlators in the RCFT is an assignment of an element in \(Z_{RT,{\mathsf {Z}}({\mathsf {C}})}({\mathcal {H}}_{cl}^*,\dots ,{\mathcal {H}}_{cl}^*,{\mathcal {H}}_{cl},\dots , {\mathcal {H}}_{cl})\) for all surfaces \(S^g_{n|m}\) s.th. the vectors are invariant under the action of the mapping class group and behave equivariant under sewings of surfaces. That is, there should exist a map for sewing correlators and sewn correlators should agree with the correlator on the sewn surface. The equivalence between string-net spaces and spaces of conformal blocks was used in [SY21] to show that a given set of genus zero string-nets with boundary value given by the Cardy-Frobenius algebra in \({\mathsf {Z}}({\mathsf {C}})\) indeed give rise to consistent correlators.
In this paper we generalize their result in two directions: Firstly we allow for world sheets with open and closed field insertions. This leads to a formulation of sewing constraints in terms of the category \(\mathsf {WS}\) of open-closed world sheets given in [Fje06]. String-nets on open-closed world sheets still give a symmetric monoidal functor \({\mathcal {B}}:\mathsf {WS}\rightarrow \mathsf {Vect}\). Solving sewing constraints for such a symmetric monoidal functor was reduced in [KLR14] to a set of 32 relations, which have to be satisfied. The second generalization concerns the input data for the construction. We allow arbitrary \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebras as inputs. Based on an operadic formulation for vertex operator algebras (VOA), Cardy algebras were introduced in [Kon08a] and formulated entirely in terms of category theory in [KR09]. A \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra encodes the necessary data for an open-closed RCFT in genus one and zero and consists of a triple \(({\mathcal {H}}_{cl},{\mathcal {H}}_{op},\iota _{clop})\), where \({\mathcal {H}}_{op}\), \({\mathcal {H}}_{cl}\) are Frobenius algebras in \({\mathsf {C}}\) and \({\mathsf {Z}}({\mathsf {C}})\) respectively, together with an algebra map \(\iota _{cl-op}:{\mathcal {H}}_{cl}\rightarrow L({\mathcal {H}}_{op})\). Here \(L:{\mathsf {C}}\rightarrow {\mathsf {Z}}({\mathsf {C}})\) is the adjoint functor to the forgetful functor. This data has to satisfy three conditions: modularity, the center property and finally the Cardy condition. In [KLR14] it was shown, using the Reshetikhin–Turaev TFT, that Cardy algebras give rise to a consistent set of correlators and vice versa. The category \(\mathsf {WS}\) is generated by a set
of fundamental world sheets. With the help of the \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra we define correlators
in terms of string-nets and the first main result, whose precise formulation in the main text is Theorem 6.4, is
Theorem I The set of correlators \(\mathsf {corr}\) gives a solution to the sewing constraints for the conformal block functor \({\mathcal {B}}\) with boundary coloring determined by the \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra.
Assuming a solution to the sewing constraints for \({\mathcal {B}}\) exists, we also show that the converse is true, which is our second main result (for the precise statement see Theorem 6.11 in the text).
Theorem II An assignment of fundamental string-net correlators based on boundary colorings \(({\widehat{{\mathcal {H}}_{cl}}},{\widehat{{\mathcal {H}}_{op}}})\) in \({\mathsf {C}}\), and \({\mathsf {Z}}({\mathsf {C}})\), solving the sewing contraints, determines a \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra \(({\mathcal {H}}_{cl},{\mathcal {H}}_{op},\iota _{cl-op})\), which is unique up to isomorphism.
The proofs of the theorems very much use the fact that the graphical calculus in \({\mathsf {C}}\) carries over to string-nets on surfaces. Hence the graphical representation of consistency relations for Cardy algebras appear directly as string-nets on surfaces and can be manipulated accordingly. This renders the proof very tractable. As an example, Fig. 1 shows a correlator world sheet. Purple curves denote open insertions, orange ones correspond to closed insertion. Vertices stand for structure morphisms of the Frobenius algberas in The Cardy algebras and squares denote open-closed embedding maps. In addition there are circle decorations where world sheets are glued. All of these ingredients will be explained in the core of the text.
The paper is organized as follows. In Sect. 2 we give an account of the necessary categorical preliminaries, including modular tensor categories, the Drinfeld center and Frobenius algebras in tensor categories. In Sect. 3 we motivate Cardy algebras and recall their definition from [KR09]. In Sect. 4 string-net spaces are discussed based on [Kir11]. In all of the paper we abusively use the term string-net to refer to an whole equivalence class of string-nets. The definition of the category of world sheets \(\mathsf {WS}\) from [Fje06] and the formulation of sewing constraints given in [KLR14] is recalled in Sect. 5. Section 6 is the main part of the paper and contains the precise formulation of the above theorems, as well as their proofs. In the appendix we display the generating world sheets.
2 Categorical Preliminaries
As stated in the introduction two dimensional (rational) conformal field theory can be conveniently described in categorical terms. This section serves as a reminder of the necessary terms, together with the relevant graphical calculus. A classical source for the material presented here is e.g. [EGNO16]. In all about to come, \({\mathbb {K}}\) is an algebraically closed field of characteristic 0.
2.1 Basic categorical identities
Let \({\mathsf {C}}\) be an abelian \({\mathbb {K}}\)-linear category, i.e. for any morphism \(\phi \), \(\mathrm {Ker}(\phi )\), \(\mathrm {Coker}(\phi )\) and \(\mathrm {Im}(\phi )\) exist and moreover for A, \(B\, \in {\mathsf {C}}\), \(\hom _{\mathsf {C}}(A,B)\) is a \({\mathbb {K}}\)-vector space. A monoidal structure on \({\mathsf {C}}\) is a bilinear bifunctor \(\otimes :{\mathsf {C}}\times {\mathsf {C}}\rightarrow {\mathsf {C}}\) with associativity and unit natural isomorphisms which are assumed to be identities in this paper. Thus we always consider strictly monoidal categories. The unit object for \(\otimes \) is denoted by \({\mathbf {1}}\). A braiding on \(({\mathsf {C}},\otimes )\) is a natural isomorphism \(\beta _{A,B}:A\otimes B\rightarrow B\otimes A\). In the graphical calculus about to be introduced, all diagrams run from bottom to top. Graphically \(\beta _{A,B}\) is depicted by (Figs. 2, 3)
Besides a braiding, \({\mathsf {C}}\) is required to have dualities. For \(A\in {\mathsf {C}}\) a right (left) dual is a triple \((A^*, \mathrm {ev}_A,\mathrm {coev}_A)\) \((^*A,\widetilde{\mathrm {ev}_A},\widetilde{\mathrm {coev}_A})\) of an object \(A^*\) \((^*A)\) with morphisms
The morphisms satisfy straightening properties
with similar pictures for left duality. A monoidal category for which every object has right and left duals is called rigid. In a rigid category there is the obvious isomorphism \(^*\left( A^*\right) \simeq A \simeq \left( ^*A\right) ^*\). A pivotal structure in \(({\mathsf {C}},\otimes )\) is a natural isomorphism \(\pi :\mathrm {Id}_{\mathsf {C}}\rightarrow \left( \bullet \right) ^{**}\). In fact any pivotal category is equivalent to a strict pivotal category, i.e. \(\pi =\mathrm {Id}_{\mathrm {Id}_{\mathsf {C}}}\). It easily follows that for a strict pivotal category left and right dualities coincide. In a rigid, strictly pivotal category there are left and right traces for endomorphisms
If \(\mathrm {tr}(f)=\mathrm {tr}_r(f)=\mathrm {tr}_l(f)\) holds in \({\mathsf {C}}\), \({\mathsf {C}}\) is called spherical. We introduce the notation \(d_A=\mathrm {tr}(\mathrm {Id}_A)\). A twist on \(({\mathsf {C}},\otimes ,\beta )\) is a natural isomorphism \(\theta :\mathrm {Id}_{\mathsf {C}}\Rightarrow \mathrm {Id}_{\mathsf {C}}\) satisfying \(\theta _{A\otimes B}=\left( \theta _A\otimes \theta _B\right) \circ \beta _{B,A}\circ \beta _{A,B}\). The twist isomorphism is depicted as
A rigid, pivotal, braided tensor category is ribbon if it has twist. Having defined all the necessary structure on \({\mathsf {C}}\) we also want to control its size. Thus we require morphism vector spaces to be finite dimensional. Recall that an object \(A\in {\mathsf {C}}\) is simple if \(\hom _{\mathsf {C}}(A,A)\simeq {\mathbb {K}}\, \mathrm {Id}_{\mathsf {C}}\). If the set of isomorphism classes of simple objects is finite and every object is isomorphic to a direct sum of finitely many simple objects, the category is called semisimple. A ribbon category \({\mathsf {C}}\) is fusion if it is semisimple and \({\mathbf {1}}\) is simple. Let \(\left\{ U_i \right\} _{i\in {\mathsf {I}}({\mathsf {C}})}\), \(U_i\in {\mathsf {C}}\), be the simple objects of \({\mathsf {C}}\). In string-diagrams, a label by a simple object \(U_i\) will be abbreviated by just labeling the edge with i. Being semisimple has far reaching consequences, e.g. for any object there are maps \(b_i^\alpha :A\overset{\simeq }{\rightarrow } \bigoplus _{i\in {\mathsf {I}}({\mathsf {C}})}U_i^{\oplus n_i}\rightarrow U_i\), with \(\alpha \in \left\{ 1,\dots , n_i\right\} \), where the second map is the projection to the \(\alpha \)’s \(U_i\) summand and a dual map \(b^j_\beta :U_i\rightarrow \bigoplus _{i\in {\mathsf {I}}({\mathsf {C}})} U_i^{\oplus n_i}\overset{\simeq }{\rightarrow }A\). These maps are dual in the following sense
Graphically we represent the duality as
and
In addition, for a semisimple category, \(d_i=\mathrm {tr}\left( U_i\right) \ne 0\), and the global dimension is defined as \({\mathsf {D}}^2=\sum _{i\in {\mathsf {I}}({\mathsf {C}})} d_i\). Besides that, we introduce a basis \(\left\{ \theta _{(ij);k}^\alpha \right\} _{\alpha =1,\dots , N^k_{ij}}\) for \(\hom (U_i\otimes U_j,U_k)\), where \(N_{ij}^k=\dim \hom (U_i\otimes U_j,U_k)\) are the fusion coefficients. There is a dual basis \(\left\{ \theta ^{k;(ij)}_{\beta }\right\} _{\beta =1,\dots , N_{ij}^k}\), s.th. in graphical notation we have
and
One more ingredient for a modular tensor is needed, namely the S-isomorphism
Definition 2.1
A modular tensor category is a spherical, ribbon fusion category, s.th. \((s_{ij})\) is an invertible \(|I|\times |I|\)-matrix.
We state one more relation, which will be used in the proof of Theorem 6.4. A proof can be found in e.g. [Bak01, Corollary 3.1.11].
Lemma 2.2
For \({\mathsf {C}}\) a modular tensor category and \(l\in {\mathsf {I}}({\mathsf {C}})\) it holds
In \({\mathsf {C}}\) there exists a pairing
which, for \({\mathsf {C}}\) semisimple, is non-degenerate. We are mainly interested in morphism spaces \(\hom _{\mathsf {C}}({\mathbf {1}},\bullet )\) for which we introduce some notation.
Definition 2.3
Let \(A_1,\dots , A_n\in {\mathsf {C}}\), then we define
Lemma 2.4
There is a functorial isomorphism of vector spaces \(\left\langle A_1,\dots , A_n \right\rangle \simeq \)\(\left\langle A_n,A_1,\dots , A_{n+1}\right\rangle \).
Proof
A functorial isomorphism is given by
which clearly has an inverse given by composing inverses of braiding and twist. \(\square \)
As only the cyclic order of \(\left\langle A_1,\dots , A_n \right\rangle \) matters, instead of rectangular boxes for morphisms \(\phi \in \left\langle A_1,\dots , A_n \right\rangle \), we introduce coupons in the graphical calculus
For an arrow oriented towards the coupon with label A, the respective element gets replaced by \(A^*\). Coupons can be composed with the help of the evaluation morphisms
The following lemma can be found in [BK10]
Lemma 2.5
For any \(A\in {\mathsf {C}}\) there are isomorphisms
- a)
-
b)
For \(\left\{ b_\alpha ^i\right\} \) a basis in \(\left\langle i ,A^*_n,\dots A^*_1\right\rangle \) with dual basis \(\left\{ b^\alpha _i\right\} \) in \(\left\langle i,A_1,\dots A_n\right\rangle \) in the sense that \((b_\alpha ^i,b^\beta _j)=\delta _{ij}\delta _{\alpha \beta }\) it holds
where the b-b cupons stand for a summation
The second relation is called completeness property and will be used several times.
2.2 Frobenius algebras in tensor categories
Frobenius algebras are usually defined as associative algebras on finite dimensional vector spaces having a non-degenerate bilinear form, compatible with the algebra multiplication. In this form Frobenius algebras correspond to two dimensional TFTs, see e.g. [LP08]. The notion of a Frobenius algebra has an enhancement to categories and the above notion corresponds to a Frobenius algebra in \(\mathsf {Vect}\), the category of finite dimensional vector spaces.
Definition 2.6
Let \(({\mathsf {A}},\otimes , {\mathbf {1}})\) be a tensor category. A Frobenius algebra in \({\mathsf {A}}\) with underlying object A consists of morphisms
where all strands are colored with A. These have to satisfy:
-
I)
\((m,\eta )\) define an associative algebra on A:
-
II)
\((\Delta ,\epsilon )\) define a coassociative coalgebra on A:
-
III)
The Frobenius properties hold
If \({\mathsf {A}}\) is in addition pivotal, we can ask for \((A,m,\eta ,\Delta ,\epsilon )\) to be symmetric, i.e. there is an equality of morphisms
For \({\mathsf {A}}\) braided, we can require \((A,m,\eta ,\Delta ,\epsilon )\) to be (co-)commutative, i.e.
For a morphism \(f\in \hom _{\mathsf {C}}(A,B)\), if A and B are Frobenius algebras, one can define a Frobenius adjoint \(f^\dagger \in \hom _{\mathsf {C}}(B,A)\).
Definition 2.7
[KR09, Definition 2.17]. Let \((A,m_A,\eta _A,\Delta _A,\epsilon _A)\) and \((B,m_B,\eta _B,\Delta _B,\epsilon _B)\) be Frobenius algebras in a monoidal category \({\mathsf {C}}\) and \(f\in \hom _{\mathsf {C}}(A,B)\). The morphism \(f^\dagger \in \hom _{\mathsf {C}}(B,A)\) is defined as
We will use Frobenius algebras in modular tensor categories. If the category in question is the representation category of a rational vertex operator algebra, this corresponds to RCFTs very much like commutative Frobenius algebras in \(\mathsf {Vect}\) correspond to oriented TFTs.
2.3 Drinfeld-center
For \({\mathsf {B}}\) a strictly monoidal category, its Drinfeld center \({\mathsf {Z}}({\mathsf {B}})\) has objects \((B,\beta _{B,\bullet })\), where \(\beta _{B,\bullet }:B\otimes \bullet \Rightarrow \bullet \otimes B\) is a natural isomorphism called half braiding s.th.
Morphisms in \({\mathsf {Z}}({\mathsf {B}})\) are morphisms \(f\in \hom _{\mathsf {B}}(A,B)\) s.th.
The Drinfeld center becomes a monoidal category with tensor product
Note that \({\mathsf {B}}\) does not need to be braided. But \({\mathsf {Z}}({\mathsf {B}})\) is naturally braided with braiding given by
There exists an obvious forgetful functor \(F:{\mathsf {Z}}({\mathsf {B}})\rightarrow {\mathsf {B}}\) forgetting the half braiding. For \({\mathsf {B}}\) a modular tensor category it is shown in [KR09] that the adjoint of the forgetful functor reads
with over-under half braiding
which has graphical representation
On morphisms the functor is defined as \(L(f)=\bigoplus _{i\in {\mathsf {I}}({\mathsf {C}})} f\otimes \mathrm {Id}_{{U_i^*}\otimes U_i}\). Note that this is a faithful functor [KR09, Lemma 2.22], but not a tensor functor, since it doesn’t map the identity on \({\mathsf {B}}\) to the identity of \({\mathsf {Z}}({\mathsf {B}})\). Nevertheless, it transports Frobenius algebras from one category to the other preserving symmetry.
Proposition 2.8
[KR09, Proposition 2.25]. For A a Frobenius algebra in \({\mathsf {B}}\), the object L(A) has the structure of a Frobenius algebra in \({\mathsf {Z}}({\mathsf {B}})\). In addition, A is symmetric, if and only if L(A) is symmetric.
For finite categories \({\mathsf {A}}\), \({\mathsf {B}}\) there exist a tensor product of categories.
Definition 2.9
The Deligne tensor product \({\mathsf {A}}\boxtimes {\mathsf {B}}\) has objects finite sums
and morphism spaces
If \({\mathsf {A}},{\mathsf {B}}\) are fusion, their tensor product is also fusion with representatives for simple objects given by \(U_i\boxtimes V_j\) where \(U_i\) (\(V_j\)) are representatives of simple objects in \({\mathsf {A}}\) (\({\mathsf {B}}\)). For \({\mathsf {A}},{\mathsf {B}}\) braided tensor categories, \({\mathsf {A}}\boxtimes {\mathsf {B}}\) is also a braided tensor category with tensor product
and braiding
For a finitie ribbon category \({\mathsf {C}}\), let \(\overline{{\mathsf {C}}}\) be the category with the same objects and morphisms, but with inverse braiding and twist. In its most general form (even dropping semisimplicity) the following theorem is proven in [Shi19]. For semisimple categories, a proof is given in [M03].
Theorem 2.10
[Shi19, Theorem 3.3] [M03]. Let \({\mathsf {C}}\) be a finite ribbon category. If \({\mathsf {C}}\) is modular, there is a braided equivalence
Conversely, if \({\mathsf {C}}\boxtimes \overline{{\mathsf {C}}}\simeq {\mathsf {Z}}({\mathsf {C}})\) are braided equivalent, \({\mathsf {C}}\) is modular.
This implies in particular that the finite set of simple objects in \({\mathsf {Z}}({\mathsf {C}})\) is given by \((U_i\otimes U_j,\beta ^{ou}_{ij,\bullet })\), for \(i,j\in {\mathsf {I}}({\mathsf {C}})\).
3 Cardy Algebras
3.1 Motivation from physics
In a series of paper [HK07, Kon08b, HK10, Hua91, Hua97a, Hua03, Hua05a, HK04] Huang and Kong gave a rigorous formulation of genus 0,1 two dimensional open-close conformal field theory in the language of partial operads. A textbook account of the results appeared in [Hua97b]. The major outcome can be described in purely categorical terms and is given by the notion of a Cardy algebra. The abstract formulation and its relation to sewing constraints was developed in [KR09, KLR14]. Though we don’t need it in the core of the paper, we still spend the next paragraph giving some intuition from CFT for the abstract formulation about to come.
One way of formalizing two dimensional CFT is given by vertex operator algebras (VOA) which describe the chiral and antichiral symmetry algebras in full CFT. Roughly speaking, a VOA encodes the operator-state correspondence and operator product expansions (OPEs). It has an underlying graded state space V and a vertex operator map \(Y:V\rightarrow \mathrm {End}(V)[\![z^{-1},z]\!]\), where z is a (formal) coordinate on the complex plane. There is a well studied notion of representations of VOAs, including fully reducible and irreducible representations. Under the assumption that V is a rational VOA,Footnote 1 its representation category \({\mathcal {R}}_V\) is a modular tensor category. Assuming that a CFT at hand has chiral symmetry algebra \(V^L\) and antichiral symmetry algebra \(V^R\), both of which are rational, the closed state space decomposes into a sum \({\mathcal {H}}_{cl}=\bigoplus _{ij} N_{ij} H^L_i\times H^R_j\), where \(H^L_i\), \(H^R_j\) are the simple representations in \({\mathcal {R}}_{V^L}\) and \({\mathcal {R}}_{V^R}\), respectively. Hence it is naturally an object in \({\mathcal {R}}_{V^L}\boxtimes {\mathcal {R}}_{V^R}\). From a physics perspective the crucial object to compute are correlation functions, which in our situation split into products of chrial and antichiral correlation functions. It is well know that chiral correlation functions have an expansion in terms of so called conformal blocks which contain all the information about conformal weights and insertion points of the chiral insertions. For a vector space V and a complex number z we denote
for the space of fractional power series with coefficients in V. Three point conformal blocks \({\mathcal {B}}(v_1,v_2,v_3)\) on the sphere for field insertions \(v_i\in H_i^L\) at \((z_3,z_2,z_1)=(\infty ,z,0)\) can be described in terms of intertwining operators
satisfying
where \(\left\langle \, \bullet \, ,\, \bullet \, \right\rangle _{H_3}\) is a well defined invariant inner product on \(H_3\).Footnote 2 The map \({\mathcal {Y}}_{12}^3(\bullet , z)\) is said to be of type \(\left( {\begin{array}{c}H_3\\ H_1 H_2\end{array}}\right) \) and the dimension of the vector space of intertwiners of type \(\left( {\begin{array}{c}H_k\\ H_i\, H_j\end{array}}\right) \) are precisely the fusion rules \(N_{ij}^k\). Intertwining operators have an algebra structure, the so called intertwining operator algebra (IOA). The upshot is that the OPE algebra in the CFT can be conveniently casted in the form of intertwining operators and the state space \({\mathcal {H}}_{cl}\) inherits an algebra structure in \({\mathcal {R}}_{V^L}\boxtimes {\mathcal {R}}_{V^R}\) from the tensor product of chiral and antichiral IOAs. Under the assumption that \({\mathcal {H}}_{cl}\) carries a non degenerate invariant bilinear form (which we assume in the presentation of intertwiners above already) \({\mathcal {H}}_{cl}\) becomes a commutative Frobenius algebra with trivial twist in \({\mathcal {R}}_{V^L}\boxtimes {\mathcal {R}}_{V^R}\). The genus one enhancement is possible if it is in fact a modular invariant Frobenius algebra, a notion we discuss shortly in categorical terms. So far the discussion was solely for closed states.
Including boundaries one also has to consider open states, which due to their localization on some boundary, have only half of the symmetry of closed states. Hence a boundary CFT with symmetry algebra V has an open state space \({\mathcal {H}}_{op}=\bigoplus _i N_i\, H_i\). Following the same lines as in the closed case, the open state space becomes a symmetric Frobenius algebra in \({\mathcal {R}}_V\). Note that it will in general not be commutative owing to the fact that field insertions on an interval can’t be interchanged along the interval.
Lastly boundary and bulk fields should interact, i.e. there are bulk-boundary OPEs for bulk fields approaching the boundary. This should correspond to a map \(\iota _{cl-op}:{\mathcal {H}}_{cl}\rightarrow {\mathcal {H}}_{op}\) satisfying certain compatibility relations. For this to work, we have to assume that left and right symmetry algebra of the closed theory agree. First of all, \(\iota _{cl-op}\) should be an algebra map, since taking first bulk OPEs and then approaching the boundary and taking bulk-boundary OPEs better give the same as first approaching the boundary and taking bulk-boundary OPEs followed by taking boundary OPEs. Next it should be compatible with boundary OPEs and lastly it should commute with boundary OPEs as bulk fields can be transported along the bulk as shown in Fig. 4.
Dually we could consider a map \(\iota ^*_{cl-op}:{\mathcal {H}}_{op}\rightarrow {\mathcal {H}}_{cl}\) mapping open field insertions to boundary states in the closed theory. Though only discussed heuristically we note that this can be made entirely concrete. It is shown e.g. in [Kon08a, Proposition 2.8] that modulo technicalities \(\iota ^*_{cl-op}\) constructs Ishibashi states. It is well known that Ishibashi states in general don’t correspond to true boundary states. Only linear combinations of Ishibashi states satisfying the Cardy condition are valid boundary states due to open-close duality.
3.2 Categorical definition of Cardy algebras
As stated in Sect. 2, for a modular tensor category \({\mathsf {C}}\), there is a braided equivalence \({\mathsf {C}}\boxtimes \overline{{\mathsf {C}}}\simeq {\mathsf {Z}}({\mathsf {C}})\). As an open-closed CFT necessarily has coincident left and right symmetry algebras, the appropriate representation category for the closed theory to take place, is \({\mathcal {R}}_{V\otimes V}\simeq {\mathcal {R}}_V\boxtimes \overline{{\mathcal {R}}_V}\). To match the description for string-net spaces we formulate Cardy algebras in terms of \({\mathsf {Z}}({\mathcal {R}}_V)\) instead of \({\mathcal {R}}_V\boxtimes \overline{{\mathcal {R}}_V}\).
Definition 3.1
[KR09, Definition 3.7]. Let \({\mathsf {C}}\) be a modular tensor category. A \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra \(({\mathcal {H}}_{cl},{\mathcal {H}}_{op},\iota _{cl-op})\) is the data of
-
A)
a commutative symmetric Frobenius algebra \(({\mathcal {H}}_{cl},m_{cl},\eta _{cl},\Delta _{cl},\epsilon _{cl})\) in \({\mathsf {Z}}({\mathsf {C}})\).
-
B)
a symmetric Frobenius algebra \(({\mathcal {H}}_{op},m_{op},\eta _{op},\Delta _{op},\epsilon _{op})\) in \({\mathsf {C}}\).
-
C)
a morphism \(\iota _{cl-op}\in \hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathcal {H}}_{cl},L({\mathcal {H}}_{op}))\).
This has to satisfy the following conditions
-
I)
\({\mathcal {H}}_{cl}\) has to be modular, i.e. there is the equality
-
II)
\(\iota _{cl-op}\) is an algebra homomorphism.
-
III)
The center condition holds:
-
IV)
The Cardy condition holds:
Definition 3.2
A morphism between \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebras \(({\mathcal {H}}_{cl},{\mathcal {H}}_{op},\iota _{cl-op})\) and \(({\mathcal {G}}_{cl},{\mathcal {G}}_{op},\iota _{cl-op}^\prime )\) is a pair of maps \(f_{cl}\in \hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathcal {H}}_{cl},{\mathcal {G}}_{cl})\), \(f_{op}\in \hom _{\mathsf {C}}({\mathcal {H}}_{op},{\mathcal {G}}_{op})\) s.th.:
-
I)
Both, \(f_{cl}\) and \(f_{op}\), are homomorphisms of Frobenius algebras.
-
II)
The following diagram commutes
Using the map \((\bullet )^\dagger \), it is not hard to show that any morphism of Frobenius algebras has an inverse (see [KR09, Lemma 2.18]). Thus, any morphism of Cardy algebras is in fact an isomorphism.
4 String-Net Spaces
String-net spaces can be seen as a higher genus enhancement of graphical calculus for spherical categories which reduces to the usual graphical calculus on every embedded disk. For a surface S with boundary \(\partial S\), let \(\Gamma \subset S\) be an embedded, finite, oriented graph, which we always consider up to isotopy. Intersection points of \(\Gamma \) with \(\partial S\) are required to be vertices of valence one of \(\Gamma \). For an oriented edge \({\mathbf {e}}\) the same edge with reversed orientation is denoted by \(\overline{{\mathbf {e}}}\).
Definition 4.1
Let \({\mathsf {C}}\) be a spherical fusion category. A \({\mathsf {C}}\)-coloring of \(\Gamma \) consists of two parts: First, an assignment of an object \(A({\mathbf {e}})\in {\mathsf {C}}\) to any oriented edge \({\mathbf {e}}\) s.th. \(A(\overline{{\mathbf {e}}})=A({\mathbf {e}})^*\). Second, to a vertex v with incident edges \({\mathbf {e}}_1,\dots , {\mathbf {e}}_n\), taken in counterclockwise order, the \({\mathsf {C}}\)-coloring assigns an element
where \({\mathbf {o}}_i\) is the edge \({\mathbf {e}}_i\) oriented away from v. Hence, if an edge is oriented towards a vertex and colored with A, the morphism corresponding to the vertex is an element in \(\left\langle \cdots A^*\cdots \right\rangle \). As an example, consider a vertex v with 6 incident edges \(\left\{ {\mathbf {e}}_1,\cdots , {\mathbf {e}}_6\right\} \), two of which are incoming, the rest outgoing. A \({\mathsf {C}}\)-coloring is then given by
An isomorphism of \({\mathsf {C}}\)-colorings is a collection of isomorphisms \(f_{\mathbf {e}}:A({\mathbf {e}})\rightarrow B({\mathbf {e}})\) respecting orientations and mapping \(\phi _v=f\circ \phi ^\prime _v\). Here, \(\phi _v\), \(\phi ^\prime _v\) are the maps assigned to the vertex v by the two \({\mathsf {C}}\)-colorings. The boundary value for a \({\mathsf {C}}\)-colored graph is a tuple \(\left( \left\{ p_1,\cdots , p_n\right\} ,\, \left\{ A_1,\cdots , A_n\right\} \right) \), with \(\left\{ p_1,\cdots , p_n\right\} \simeq \left\{ \Gamma \cap \partial S\right\} \), and \(A_i\) is the \({\mathsf {C}}\)-color of the edge incident to the boundary vertex \(v_i\), which corresponds to the intersection point \(p_i\).
Colored vertices have the graphical representation as coupons introduced in Sect. 2. Let \(\Gamma \) be an embedded graph as above and \(D\subset S\) be an embedded closed disk whose boundary \(\partial D\) is transversal to \(\Gamma \). Let \(\left\{ A({\mathbf {e}}_1),\dots , A({\mathbf {e}}_n)\right\} \) be the colors of edges of \(\Gamma \) intersecting \(\partial D\), taken in counterclockwise order. Then there is a unique surjective evaluation map [Kir11, Theorem 2.3]
satisfying a list of natural properties explicitly given in [Kir11, Theorem 2.3]. Here, similar to the definition of a \({\mathsf {C}}\)-coloring, we use the notation \({\mathbf {o}}_i\) for the edge \({\mathbf {e}}_i\) with orientation towards the boundary \(\partial D\). The properties stated in [Kir11, Theorem 2.3] include local relations \(\Gamma _1\cap D= \Gamma _2\cap D\), which have to be understood in the sense that \(\left\langle \Gamma _1\cap D \right\rangle _D=\left\langle \Gamma _2\cap D\right\rangle _D\). One of these relations is e.g.
Another property is e.g. the fact, that vertices lying in a disk can always be merged into a single coupon.
Definition 4.2
To any surface S there is an associated vector space
Definition 4.3
Let \(\Gamma _i\) be \({\mathsf {C}}\)-colored graphs and \(x_i\in {\mathbb {K}}\), let \(\mathbf {\Gamma }=\sum x_i \Gamma _i \in V\mathrm {Graph}(S,{\mathbf {A}})\). The vector \(\mathbf {\Gamma }\) is called a null graph, if there exists an embedded disk \(D\subset S\) intersecting \(\mathbf {\Gamma }\) transversally, s.th. \(\Gamma _i|_{S\backslash D}=\Gamma _j|_{S\backslash D}\) and
The vector space of all null graphs with fixed boundary value will be denoted \(N\mathrm {Graph}(S,{\mathbf {A}})\).
Definition 4.4
The string-net space on a surface with boundary value \({\mathbf {A}}\) is defined to be
So far boundary conditions are just sets of points on the boundary labeled by objects of \({\mathsf {C}}\). Of course boundary conditions should be subject to some natural relation as described in [Kir11, section 6], which turn them into a category of boundary conditions. Let N be an oriented one dimensional manifold and \(\left\{ p_1,\dots , p_n\right\} \subset N\) a finite subset of points. Let \({\mathsf {B}}(N)\) be the category with objects \(\left( \left\{ p_1,\dots , p_n\right\} , \left\{ B_1,\dots , B_n\right\} \right) \equiv {\mathbf {B}}\), where \(B_i\in {\mathsf {C}}\) and morphism spaces are given by
where we denote \({\mathbf {B}}^*=\left( \left\{ p_1,\dots , p_n\right\} , \left\{ B_1^*,\dots , B_n^*\right\} \right) \). Composition of morphisms is given by stacking cylinders on top of each other and concatenating string-nets across the internal copy of N, followed by a rescaling of the cylinder to unit length. The category of boundary values is defined to be the Karoubi envelope of \({\mathsf {B}}(N)\), which by abuse of notation will be denoted by the same symbol. This category has all the nice properties to be expected, e.g. \({\mathsf {B}}(N)\simeq {\mathsf {B}}(N^\prime )\) for \(N\simeq N^\prime \) and \({\mathsf {B}}(N\sqcup N^\prime )\simeq {\mathsf {B}}(N)\boxtimes {\mathsf {B}}(N^\prime )\).
Lemma 4.5
[Kir11, Theorem 6.4]. There are equivalences of categories \({\mathsf {B}}(S^1)\simeq {\mathsf {Z}}({\mathsf {C}})\) and \({\mathsf {B}}({\mathbb {R}})\simeq {\mathsf {C}}\).
Using this, one can give an enhancement of string-net spaces taking excited statesFootnote 3 on the boundary of a surface into account. Let S be a surface with boundary \(\partial S\) and \({\mathbf {B}}\in {\mathsf {B}}(\partial S)\). The extended string-net space is defined as the quotient
where
and
The following is a result of a series of papers [BK10, Bal10b, Bal10b] and [Kir11, Theorem 7.3].
Theorem 4.6
Let S be a compact oriented surface of genus g with boundary parameterized circles and objects \({\mathbf {A}}=\left\{ A_1,\dots , A_{|\pi _0(\partial S)|}=A_n\right\} \) objects in \({\mathsf {Z}}({\mathsf {C}})\). Then there are isomorphisms
where in the last vector space \(L=\bigotimes _{i\in {\mathsf {I}}({\mathsf {Z}}({\mathsf {C}}))} U_i\otimes U_i^*\).
The following lemma is straightforward.
Lemma 4.7
Let D be a closed disk and \(A\in {\mathsf {C}}\). Then \({\hat{H}}^s(D,L(A))=\hom _{\mathsf {C}}({\mathbf {1}},A)\).
Let \(P\in \hom _{{\mathsf {B}}(S^1)}(A,A)\) be the string-net
which we call the projector and the circle winding around the circumference we call the projector circle. In [Kir11] it is shown, that the extended string-net space is the image of the projector P in the string-net space. Graphically this means, that elements of the extended string-net spaces are represented by string-nets with additional projectors P placed at each boundary component, as shown in Fig. 6.
5 World Sheets, Sewing Constraints and the Block Functor
5.1 The category of open-closed world sheets
In order to define a consistent system of correlators we have to give an appropriate category of open-closed world sheets for which our construction computes correlators. Since we are considering open-closed world sheets, this needs a fair bit of data. Luckily an appropriate category is defined in [Fje08, KLR14] and the first part of this section recalls this definition as well as the notion of sewing constraints given in [KLR14, section 3.2]. Most of the problems concerning open-closed world sheets is caused by properly disentangling open and closed boundaries, which leads to the orientation double.
Definition 5.1
An open-closed world sheet is the data
where
-
A)
\({\tilde{S}}\) is an oriented topological surface with boundary \(\partial {\tilde{S}}\).
-
B)
\(\iota _S\) is an orientation reversing involution whose fixed point set is a submanifold. The quotient \(S={\tilde{S}}/\left\{ x\sim \iota _S(x)\right\} \) is a manifold and \(\pi _S:{\tilde{S}}\rightarrow S \) is a \({\mathbb {Z}}_2\)-bundle. Thus, \({\tilde{S}}\) is the orientation double of S.
-
C)
\(B^i_S\), \(B^o_S\) is a disjoint partition of \(\pi _0(\partial {\tilde{S}})\) in incoming and outgoing boundary components which is fixed by \(\iota _S\). Fixed points of the induced map \(\iota _S:\pi _0(\partial {\tilde{S}})\rightarrow \pi _0(\partial {\tilde{S}})\) are called open boundaries. The set of open boundaries is denoted \(B_{op}\) and its complement in \(\pi _0(\partial {\tilde{S}})\) is \(B_{cl}\).
-
D)
\(\mathrm {or}_S:S\rightarrow {\tilde{S}}\) is a global section of \(\pi _S\).
-
E)
\(\delta _S:\partial {\tilde{S}}\rightarrow S^1\) is a boundary parameterization being a homeomorphism on every connected component s.th. \(\delta _S\circ \iota _S(y)=\overline{\delta _S(y)}\), where \(\overline{\bullet }\) denotes complex conjugation and \(y\in \partial {\tilde{S}}\). For a fixed point \(b\in \pi _0({\tilde{S}})\) of \(\iota _S\), it has to hold \(\delta |_b^{-1}(S^1\cap {\mathbb {H}})=\mathrm {Im}(\mathrm {or})|_b\).
-
F)
\(\mathrm {ord}:\pi _0(\partial {\tilde{S}})\rightarrow \left\{ 1, \dots , |\pi _0({\tilde{S}})|\right\} \) is an ordering function of boundary components for which we first demand that \(\mathrm {ord}(o)<\mathrm {ord}(c)\) for \(o\in B_{op}\) and \(c\in B_{cl}\). Second, for a connected set \(P\subset \partial S\) having non-trivial intersection with a physical boundary (see the next paragraph) and \({\tilde{P}}\subset \partial {\tilde{S}}_{op}\) with \(\pi _S({\tilde{P}})\subset P\) there has to exist an \(n\in \left\{ 1,\dots , |\pi _0({\tilde{S}})|\right\} \) s.th. \(\mathrm {ord}({\tilde{P}})=\left\{ n,n+1,\dots , n+|{\tilde{P}}|-1\right\} \) where the ordering of components is cyclically along the orientation of P.
Definition 5.2
A sewing of a world sheet \({\hat{S}}\) has data
-
A)
a subset \(S_B\subset B_S^i\times B^o_S\) s.th. if \((i,o)\in S_B\) there are no elements \((i,o^\prime )\) or \((i^\prime ,o)\) in \(S_B\).
-
B)
for \((i,o)\in S_B\) it follows that \((\iota _S(i),\iota _S(o))\in S_B\).
-
C)
either \((i,o)\in B^i_{op}\times B^0_{op}\) or \((i,o)\in B_{cl}^{i;l,r}\times B_{cl}^{o;l,r}\).
The sewn world sheet \(\widehat{{\mathcal {S}}(S)}\) has
-
I)
\(\widetilde{{\mathcal {S}}(S)}={\tilde{S}}/\sim \), where \(\delta |_i^{-1}(z)\sim \delta ^{-1}|_o\left( \overline{-z}\right) \). Let \(p_{\mathcal {S}}:{\tilde{S}}\rightarrow \widetilde{{\mathcal {S}}(S)}\) be the projection.
-
II)
condition B) ensures that there is a well defined involution \(\iota _{{\mathcal {S}}(S)}\), defined via \(\iota _{{\mathcal {S}}(S)}\circ p_{\mathcal {S}}=p_{\mathcal {S}}\circ \iota _S\).
-
III)
\(B^i_{{\mathcal {S}}(S)}=\left\{ i\in B_S^i| (i,\bullet )\notin S_B\right\} \) and \(B^o_{{\mathcal {S}}(S)}=\left\{ o\in B_S^o| (\bullet ,o)\notin S_B\right\} \)
-
IV)
\(\mathrm {or}_{{\mathcal {S}}(S)}\) is the unique section whose image in \(\widetilde{{\mathcal {S}}(S)}\) is the image of \(\pi _{{\mathcal {S}}(S)}\circ \mathrm {or}_S\).
There is an additional requirement on the ordering function. For the details we refer to [KLR14]. Note that the glueing defined above gives in addition a glueing projection \({\mathcal {S}}_S:S\rightarrow {\mathcal {S}}(S)\) given by \({\mathcal {S}}_S=\pi _{{\mathcal {S}}(S)}\circ \pi _{\mathcal {S}}\circ \mathrm {or}_S\). We will be mainly concerned with S instead of its orientation double \({\tilde{S}}\). Its boundary components decompose into three different types: open, closed and physical (Fig. 7).
-
i)
Closed boundaries: A point \(p\in \partial S\) is on a closed boundary if its preimages under \(\pi _S\) lie on different connected components of \(\partial {\tilde{S}}\). This implies that connected components of closed state boundaries are homeomorphic to \(S^1\). Their preimages are pairs \((b_{cl},\iota _S(b_{cl}))\) of connected components of boundaries in \({\tilde{S}}\) and \(\mathrm {or}_S\) identifies them with one of the two boundaries.
-
ii)
Open boundaries: A point \(p\in \partial S\) is on an open boundary if its preimages under \(\pi _S\) are on the same connected component in \(\partial {\tilde{S}}\). Hence its preimage is on a component \(b_{op}\in B_{op}\). Since \(\iota _S\) was orientation reversing it acts on \(b_{op}\) as a reflection. A reflection on \(S^1\) has two fixed points and connected components of open boundaries map to one of the open intervals stretching between the fixed points.
-
iii)
Physical boundaries: \(p\in \partial S\) is on a physical boundary if its preimage is on the fixed point set of \(\iota _S\). In particular, preimages of physical boundaries aren’t boundary components of \({\tilde{S}}\) except for the fixed points of \(\iota _S\) on open components of \(\pi _0({\tilde{S}})\). Rather they correspond to curves on \({\tilde{S}}\) s.th. cutting \({\tilde{S}}\) along the curves results in two copies of S mapped to each other by the involution.
Definition 5.3
A homeomorphism of world sheets is a homeomorphism \(F:{\tilde{S}}\rightarrow {\tilde{T}}\) s.th.
The last point implies in particular, that f steps down to a homeomorphism \(f:S\rightarrow T\) preserving all types of boundaries.
Definition 5.4
The category of world sheets \(\mathsf {WS}\) has objects world sheets and morphisms \(\hom _\mathsf {WS}({\hat{S}},{\hat{T}})\) are given by pairs \(({\mathcal {S}},F)\) where \({\mathcal {S}}\) is a sewing of \({\hat{S}}\) and \(F:\widetilde{{\mathcal {S}}(S)}\rightarrow {\tilde{T}}\) is a homeomorphism of world sheets. For the definition of the composition we refer to [KLR14].
\(\mathsf {WS}\) is a symmetric monoidal category with the usual tensor product given by disjoint union. In addition two morphisms \(({\mathcal {S}}_1,F_1)\), \(({\mathcal {S}}_2,F_2)\) in \(\mathsf {WS}\) are homotopic if \({\mathcal {S}}_1={\mathcal {S}}_2\) and \(F_1\), \(F_2\) are isotopic maps.
Definition 5.5
Let \(\mathsf {Fun}_\otimes (\mathsf {WS},\mathsf {Vect})\) be the category of symmetric monoidal functors assigning the same map to homotopic sewings. Morphisms are monoidal natural transformations.
5.2 Generating set and sewing constraint relations
The category \(\mathsf {WS}\) has a set of generating world sheets \(\left\{ S_i\, |\, i\in G\right\} \) which we give in appendix A. It is generating in the sense that for any other world sheet S, there exists a list of generating world sheets \(S_1,\dots , S_n\) and a morphism \(({\mathcal {S}},F):S_1\otimes \dots \otimes S_n\rightarrow S\). None of this data needs to be unique. The generating set allows to reduce the discussion of functors and natural transformations almost completely to the generating set and a set of relations among them. To be precise, consider triples of generating data \((S,\left\{ S_i,\right\} ,({\mathcal {S}},F))\) and functors \(\Phi ,\Psi \in \mathsf {Fun}_\otimes (\mathsf {WS},\mathsf {Vect})\). In addition assume that \(\Psi (({\mathcal {S}},F))\) is an invertible linear map. Consider a collection of linear maps
defined for the generating set. To any world sheet S one can associate the map
where \(({\mathcal {S}},F):S_{i_1}\otimes \dots \otimes S_{i_r}\rightarrow S\) is the morphism from the generating property. Next, there are 32 important different glueings of world sheets. We present them in terms of 32 relations \(\left\{ R_i\right\} \), where the lhs \(R_{i,l}\), and rhs \(R_{i,r}\), of the i-th relation are different glueings of the same underlying manifold, or together indicate an action of the mapping class group (R24, R25 and R32). In the following we present the relations in terms of the corresponding quotient surfaces of world sheets (cf. [KLR14]). Red curves indicate how the world sheet displayed is glued from easier parts. The blue flag on glueing curves indicates the direction of glueing. For the part containing the flag, an incoming boundary is glued. In the figures blue boundaries denote in-boundaries and green ones correspond to out-boundaries.
-
(I)
Open Relations
-
(II)
Closed Relations
In the picture of the Dehn-twist and braid move, the red dashed lines are not glueing lines, but auxiliary curves to display the action of the elements of the mapping class group corresponding to the moves.
-
III)
Open-Closed Relations
-
IV)
Genus 1 Relation The genus one move takes place on a torus with one boundary component and interchanges a- and b-cycle of the torus as indicated by the colors.
The following theorem is the crucial simplification for the discussion of natural transformations.
Theorem 5.6
[KLR14, Theorem 2.8]. Let \(\Phi ,\Psi \in \mathsf {Fun}_\otimes (\mathsf {WS},\mathsf {Vect})\), \({\mathcal {G}}_i\) and \({\mathcal {G}}\) as above. Then \({\mathcal {G}}\) is a monoidal natural transformation if
for \(\left\{ R_i\right\} \) the 32 fundamental world sheet sewings given above.
There is an obvious symmetric monoidal functor \({\mathbf {1}}:\mathsf {WS}\rightarrow \mathsf {Vect}\) called the trivial functor. It maps any world sheet to \({\mathbb {K}}\) and any morphism to the identity on \({\mathbb {K}}\). The following definition of a solution to the sewing constraints is originally due to [Fje08].
Definition 5.7
A symmetric monoidal functor \(\Theta \in \mathsf {Fun}_\otimes (\mathsf {WS},\mathsf {Vect})\) satisfies the sewing constraints if there is a monoidal natural transformation
We briefly explain why this is a sensible definition for a solution of the sewing constraints. First of all, the monoidal natural transformation \(\Delta \) picks a vector in \(\Theta ({\hat{S}})\) for any world sheet \({\hat{S}}\). In physics terms, one may call this the correlator of the surface. Recall, that correlators in CFT on any surface should be invariant under the action of the mapping class group. An element of the mapping class group gives a morphism \((\emptyset ,f)\) and the functor \({\mathbf {1}}\) assignes the identity to it. Thus \(\Theta (\emptyset ,f)\) has to map the correlator onto itself by naturality. By the same argument of triviality for \({\mathbf {1}}\) and naturality, correlators on lower genus surfaces are sewn to correlators on higher genus surfaces. Hence this definition nicely captures all the features expected from a consistent set of correlators.
6 Consistent Correlators from String-Nets
6.1 Functor of conformal blocks
For a consistent set of correlators we need a functor of open-closed conformal blocks \({\mathcal {B}}\in Fun_\otimes (\mathsf {WS},\mathsf {Vect})\). This is achieved with the help of string-nets spaces. Let \(({\mathcal {H}}_{cl},{\mathcal {H}}_{op},\iota _{cl-op})\) be a \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra. For a compact surface \(\Sigma \) with non empty boundary we write \(g_\Sigma \) for the genus of the corresponding closed surface \(\Sigma ^\prime \) obtained from \(\Sigma \) by glueing disks to all boundary components.
-
I)
Let \({\hat{S}}\) be a world sheet s.th. for \(b_i\in \pi _0\left( \partial {\tilde{S}}\right) \) it holds \(\iota _ S(b_i)=b_i\) and \(g_{{\tilde{S}}}=0\). Hence \(B_{cl}=\emptyset \) and we denote \(n=|B_{op}^i|\), \(m=|B_{op}^o|\). The associated quotient surface \(S_{n,m}\) is just a disk with n incoming and m outgoing open boundary components. We set
$$\begin{aligned} {\mathcal {B}}({\hat{S}})={\hat{H}}^s\left( S,\overline{{\mathcal {H}}_{op}}\right) \end{aligned}$$(6.1)where
$$\begin{aligned} \begin{aligned} \overline{{\mathcal {H}}_{op}}=\underbrace{{\widetilde{{\mathcal {H}}_{op}}}\otimes {\widetilde{{\mathcal {H}}_{op}}}}_{n+m}, \, \quad {\widetilde{{\mathcal {H}}_{op}}}={\left\{ \begin{array}{ll} &{}{\mathcal {H}}_{op}, \, \text {for outgoing boundary}\\ &{}{\mathcal {H}}_{op}^*,\, \text {for incoming boundary}\end{array}\right. }\quad . \end{aligned} \end{aligned}$$(6.2)The tensor product \(\overline{{\mathcal {H}}_{op}}\) is ordered according to the ordering function \(\mathrm {ord}\).
-
II)
Next we consider world sheets \({\hat{S}}\) with \(B_{cl}\ne \emptyset \), \(g_S=0\), with all open boundary components on a single boundary circle and no connected component of the boundary of the quotient surface is a physical boundary. These are world sheets, whose quotient surfaces are of the form
In Fig. 8, there are three closed boundary components, shown in purple. In addition, there are three open boundary components, sitting on the same connected component of the boundary. These are colored red. The green part of the boundary shows physical boundary components. We label closed boundary components with \({\mathcal {H}}_{cl}\) and open boundary components with \(L({\mathcal {H}}_{op})\). The string-net space on the quotient surface is then given by \({\hat{H}}^s(S,\overline{{\mathcal {H}}_{cl}},\overline{L({\mathcal {H}}_{op})})=\hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathbf {1}},\overline{{\mathcal {H}}_{cl}}\otimes \overline{L({\mathcal {H}}_{op})})\). In this case a subspace of the string-net space has to be chosen in order to get a well defined functor for composition of morphisms. This is due to the fact that L, though being a Frobenius functor, is not a tensor functor, hence . But L is lax and colax tensor functor thus there are morphisms \(\phi ^L_{\mathbf {1}}:{\mathbf {1}}_{{\mathsf {Z}}({\mathsf {C}})}\rightarrow L({\mathbf {1}}_{\mathsf {C}})\), \(\phi ^L:L(A)\otimes L(B)\rightarrow L(A\otimes B)\) and \(\psi ^l_{\mathbf {1}}:L({\mathbf {1}})\rightarrow {\mathbf {1}}_{{\mathsf {Z}}({\mathsf {C}})}\), \(\psi ^L:L(A\otimes B)\rightarrow L(A)\otimes L(B)\). They are given explicitly by [Kon08a]
and
where we depict the monoidal unit by a dashed line. Since we don’t need it in the following we just give the formula for \(\psi ^L_{\mathbf {1}}={\mathsf {D}}^2\,\mathrm {Id}_{{\mathbf {1}}_{{\mathsf {Z}}({\mathsf {C}})}}\) and not its explicit graphical representation. We define linear maps
where \({\mathsf {d}}\) is the map
The map Y is a left inverse to Z.
Lemma 6.1
\(Y\circ Z=\mathrm {Id}_{\hom _{{\mathsf {Z}}({\mathsf {C}})}\left( {\mathbf {1}},\overline{{\mathcal {H}}_{op}}\right) }\).
Proof
First note that
thus by induction it holds
where red strands are labeled \({\mathcal {H}}_{op}\) or \({\mathcal {H}}_{op}^*\). Next it holds
and composing with \((\mathrm {Id}\otimes {\mathsf {d}})\circ (\psi ^L\otimes \mathrm {Id})\) gives
We dropped and will drop red strands in the next picture as they are irrelevant to the argument and clutter pictures. Applying \((\mathrm {Id}\otimes {\mathsf {d}})\circ (\psi ^L\otimes \mathrm {Id})\) again gives
By induction we get
The dots in the first and second row indicate further applications of \(\psi ^L\), hence we have written a summation in the second row indicating summing over basis elements \(\left\{ b_\alpha \right\} \) similar to the summation in the first row. In addition all prefactors from \(\psi ^L\) are collected in the coefficients \(C_1\), \(C_2\). \(\square \)
The vector space \({\mathcal {B}}({\hat{S}})\) can now be defined as follows. Denote \(\overline{{\mathcal {H}}_{cl}^*}\) for the object dual to \(\overline{{\mathcal {H}}_{cl}}\) (the closed labels of \({\hat{S}}\)). Let \(f\in \hom _{{\mathsf {Z}}({\mathsf {C}})}\left( {\mathbf {1}},\overline{{\mathcal {H}}_{cl}^*}\right) \), using evaluation morphisms, there is a map
We define
-
III)
To any other world sheet \({\hat{S}}\) with \(n_{op}=|B_{op}^i|\), \(n_{cl}=|B_{cl}^i|\) incoming open/ closed boundaries and \(m_{op}=|B_{op}^o|\), \(m_{cl}=|B_{cl}^o|\) outgoing open / closed boundaries we associate the vector space
$$\begin{aligned} {\mathcal {B}}({\hat{S}})={\hat{H}}^s\left( S,\overline{L({\mathcal {H}}_{op})},\overline{{\mathcal {H}}_{cl}}\right) \end{aligned}$$(6.7)Factors of incoming and outgoing insertions in the tensor product are inserted in the order given by the ordering function on the world sheet.
Hence, modulo minor technicalities we assign to a world sheet the string-net space on its quotient surface decorated by the ingredients of the Cardy algebra. Tree level open world sheets (case I)) are singled out to properly disentangle the open and closed theory. We have to treat the case II) separetly, as the adjoint functor L is not a tensor functor, but only a Frobenius functor. Hence, if one simply concatenates string-nets, one doesn’t land in the right vector space, when glueing disks to the closed boundary components of a type II) world sheet. This is cured by choosing the restricted vector space for world sheets of type II). This defines \({\mathcal {B}}\) on objects. To define it on morphisms, we first note that any homeomorphism of world sheets gives a homeomorphism of the quotient surfaces. This induces a linear map in string-net spaces. Thus we really only have to define \({\mathcal {B}}\) for the sewing part of a morphism \(({\mathcal {S}},F)\) in \(\mathsf {WS}\). To define the gluing we need a small lemma.
Lemma 6.2
\(L(A^*)\simeq L(A)^*\).
Proof
Evaluation and coevaluation morphisms are defined by
and their graphical representation reads
One easily checks that the straightening relations hold. \(\square \)
We have to distinguish five cases when defining sewing in terms of string-nets.
-
i)
Gluing two world sheets of type I) such that the resulting world sheet is again of type I). Then the linear map is just concatenation of string-nets.
-
ii)
Gluing two world sheets of type I) s.th. the result is of type III). In this case we first apply the map Z to the string-nets on the surfaces, then concatenate and add projector circles to new boundary components.
-
iii)
Gluing a world sheet of type III) and type II) s.th. the resulting world sheet is of type I). This is the case if the quotient surface of the first world sheet is a sphere with closed boundary components, open boundary components sitting on a single connected component of the boundary and no connected component of the boundary is a physical boundary. The other world sheet is a disjoint union of disks with a single closed boundary. Gluing the disks to the sphere gives a disk. In this case, string-nets are concatenated and the result is post-composed with Y.
-
iv)
Gluing a world sheet of type I) and II) s.th. the result is of type II). Again we first replace the string-net on the type I) surface by applying Z followed by stacking string-nets. The same definition applies to the case where we replace Type II) with type III) world sheets.
-
v)
Any other gluing is just concatenation of string-nets across glued boundaries (see e.g. Fig. 1).
This defines \({\mathcal {B}}\) on morphisms of \(\mathsf {WS}\).
Proposition 6.3
\({\mathcal {B}}:\mathsf {WS}\rightarrow \mathsf {Vect}\) is a symmetric monoidal functor.
Proof
We only need to check that the linear maps for gluings respect compositions. Firstly we check that first gluing of type i) and then applying Z in fact gives the same as applying Z and then stacking. Recall from Sect. 2 that concatenation of string-nets is defined using the evaluation morphism. Let \(f\in \hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathbf {1}},\overline{{\mathcal {H}}_{op}}\otimes {\mathcal {H}}_{op})\) and \(g\in \hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathbf {1}},{\mathcal {H}}_{op}^*\otimes \overline{{\mathcal {H}}_{op}})\), then it holds \(Z(f)\in \hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathbf {1}},\overline{L({\mathcal {H}}_{op})}\otimes L({\mathcal {H}}_{op})^*)\), \(Z(g)\in \hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathbf {1}},L({\mathcal {H}}_{op})\otimes \overline{L({\mathcal {H}}_{op})})\). For the gluing of \(Z(f),\, Z(g)\) we compute
Red strands are colored with A or \(A^*\), depending on the orientation. In the first equality we use the definition of the basis elements \(\left\{ \theta _\alpha ^{(ij);k}\right\} \) and their duals. But the final picture is nothing else than Z applied to the gluing of f and g. Next, we note that compositions of gluing disks to closed boundary components of type II) world sheets and gluing along open boundary components of the same world sheet is well defined due to Lemma 6.1. Hence, compositions including open boundary components are well defined. Compositions of gluing along closed boundary compositions are obviously well defined. Finally, a disjoint union of world sheets \(\coprod {\hat{S}}\) gets mapped to \(\bigotimes {\mathcal {B}}\left( {\hat{S}}\right) \). Thus, \({\mathcal {B}}\) is a symmetric monoidal functor. \(\square \)
Note that \({\mathcal {B}}({\hat{S}})\) for type II) world sheets is non-zero and contains all interesting cases. Since \(\hom _{{\mathsf {Z}}({\mathsf {C}})}\left( {\mathbf {1}},L({\mathcal {H}}_{op})\right) \simeq \hom _{{\mathsf {C}}}\left( {\mathbf {1}}, {\mathcal {H}}_{op}\right) \), \({\mathcal {B}}({\hat{S}})\) contains all string-nets obtained from gluing type I) world sheets to a type II) world sheet with a single open boundary component. It is worthwhile analyzing which vector spaces the functor assigns to generating world sheets.
-
I)
Open World Sheets The quotient surfaces of open generating world sheets are all homeomorphic to a disk, though with different numbers of incoming and outgoing open boundaries. For a disk \(D(n_i,n_o)\) with \(n_i\) incoming open boundaries and \(n_o\) outgoing open boundaries we get the vector space
$$\begin{aligned} {\mathcal {B}}(D(n_i,n_0))={\hat{H}}^s(D,\overline{{\mathcal {H}}_{op}})=\hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathbf {1}},{\mathcal {H}}_{op})\simeq \hom _{\mathsf {C}}({\mathbf {1}},\overline{{\mathcal {H}}_{op}})\quad . \end{aligned}$$(6.9) -
II)
Closed World Sheets In this case the quotient surface is topologically a sphere with \(n_i\) incoming closed boundaries and \(n_o\) outgoing closed boundaries. With the same notation as in the open case we get the vector space
$$\begin{aligned} {\mathcal {B}}(S^2(n_i,n_o))={\hat{H}}^s(S^2,\overline{{\mathcal {H}}_{cl}}) =\hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathbf {1}},\overline{{\mathcal {H}}_{cl}})\quad . \end{aligned}$$(6.10) -
III)
Open-Closed World Sheets Finally open-closed generating world sheets get mapped
$$\begin{aligned} \begin{aligned} {\mathcal {B}}(I)&={\hat{H}}^s(I,L_{op}({\mathcal {H}}_{op})\otimes {\mathcal {H}}_{cl}^*)\simeq \hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathbf {1}},L_{op}({\mathcal {H}}_{op})\otimes {\mathcal {H}}_{cl}^*)\\ {\mathcal {B}}(I^\dagger )&={\hat{H}}^s(I^\dagger ,L_{op}({\mathcal {H}}_{op})^*\otimes {\mathcal {H}}_{cl})=\simeq \hom _{{\mathsf {Z}}({\mathsf {C}})}({\mathbf {1}},L_{op}({\mathcal {H}}_{op})^*\otimes {\mathcal {H}}_{cl})\quad . \end{aligned} \end{aligned}$$(6.11)
Thus \({\mathcal {B}}\) associates to generating world sheets the vector spaces expected from the categorical description of RCFTs.
6.2 Fundamental correlators on generating world sheets
For a consistent system of correlators we have to give fundamental correlators on generating world sheets and show the sewing constraints for this set of correlators. We start by defining fundamental correlators for Cardy algebra \(({\mathcal {H}}_{cl},{\mathcal {H}}_{op},\iota _{cl-op})\). In the following red curves correspond to edges colored with \({\mathcal {H}}_{op}\), purple curves always denote edges of graphs colored by \(L({\mathcal {H}}_{op})\) and orange curves are edges colored by \({\mathcal {H}}_{cl}\). Incoming and outgoing boundaries should be clear from the orientation of edges. Trivalent disk-shaped vertices either denote multiplication or comultiplication in Frobenius algebras \({\mathcal {H}}_{cl},\,L({\mathcal {H}}_{op}),\, {\mathcal {H}}_{op}\). Similarly one-valent disk-shaped vertices are either unit or counit. In both cases orientation of edges fix the kind of morphism assigned, so we suppress another graphical distinction between the two.
-
I)
Open World Sheets
Note that for these world sheets the inserted projector P (see Fig. 5) is absent as it can be isotoped to a point and therefore vanishes.
-
II)
Closed World Sheets
-
III)
Open-Closed World Sheets
World sheets I, \(I^\dagger \) are topologically cylinders and a single projector line is inserted. Boxes denote the morphisms \(\iota _{cl-op}\) or \(\iota _{cl-op}^\dagger \), where again the orientation of edges displayed fixes the type of morphism.
We are now ready to state and prove the first main result of the paper.
Theorem 6.4
The correlators
satisfy the sewing constraints.
In order to show the theorem, we have to show that the correlators on both world sheets for all 32 relations in Sect. 5.2 agree. We split the proof in several lemmas.
Lemma 6.5
The correlators
satisfy all open relations.
Proof
This is the easiest part of the theorem as string-nets on disks can be manipulated according to the graphical calculus of its coloring category. It is immediate that the relations directly follow from the fact that \({\mathcal {H}}_{op}\) is a symmetric Frobenius algebra in \({\mathsf {C}}\), which is fully faithfully embedded in \({\mathsf {Z}}({\mathsf {C}})\). Relations R1)-R4) are unit and counit properties. R5) is satisfied as \({\mathcal {H}}_{op}\) is a symmetric Frobenius algebra. Relations R6) and R7) are (co-)associativity for (co-)multiplications. Next, R8) and R9) are the Frobenius property and finally the last four relations R10)-R13) are just the fact that composing with \(\mathsf {corr}_{prop}^{op}\) leaves any morphism invariant in the graphical calculus. \(\square \)
Lemma 6.6
[SY21, Lemma 3.8]. The correlators
satisfy all closed relations.
Lemma 6.7
All open-closed relations are satisfied.
Proof
We start with relation R26). As the picture suggests this will follow from the center condition of \(\iota _{cl-op}\).
Where we again use completeness followed by the center condition.
Next we prove relation R27):
where we see the obvious equality from \(\iota _{cl-op}\) being an algebra homomorphism. Form the same reasoning it follows that relation R30) is satisfied. Relations R29) and R28) are consistency checks for the definition of \(\iota _{cl-op}\) and \(\iota _{cl-op}^\dagger \). We show R28), the other one goes exactly the same.
In the first picture red dashed lines indicate where we glued world sheets. In the second equality we used the projector property and in the third equality we inserted the definition of the morphism \(\iota ^\dagger \). For the Cardy condition R31) we again have to drag along projection circles:
\(\square \)
Lemma 6.8
The genus one one point correlator is invariant under the S-move.
Proof
The proof of R32) is again graphical and given by the following steps.
The first equality uses the complete basis for elements in the Drinfeld-center but in a different normalization. Graphically this is indicated by using squares instead of round coupons. Note that there is no extra factor for the quantum dimension in this case. The second step is the modular property for \({\mathcal {H}}_{cl}\). In the third step we transported the projector circle along the torus and inserted the completeness relation in order to drag the \({\mathcal {H}}_{cl}\)-colored curve along the circle in the fourth step. Using again completeness and finally Lemma 2.2 yields the result. \(\square \)
This completes the proof of Theorem 6.4.
6.3 From sewing constraints on string-net spaces to Cardy algebras
In the previous section we defined a fixed set of fundamental correlators and showed that the properties of a Cardy algebra leads to a solution of the sewing constraints for these fundamental correlators. In this section we go the other way round, i.e. we assume that a solution to the sewing constraints for the functor \({\mathcal {B}}\) exists and show that this gives in fact a \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra. A string-net on a surface of genus g with n boundary components can have finitely many connected components winding non-contractible 1-cycles on the surface. However, on projector decorated surfaces things simplify considerably. Recall that the first homology group of a compact surface \(S_{g,n}\) of genus g with n boundary components has \(2g+n\) generators. The first 2g-generators are the usual a- and b-cycle running around holes of tori. The other n generators are simple closed curves homotopic to the boundary (see Fig. 12.).
Proposition 6.9
Let \(S_{g,n}\) be a compact surface of genus g with n boundary components and \(A_1,\dots ,A_n\in {\mathsf {Z}}({\mathsf {C}})\). Any element in \({\hat{H}}^s(S_{g,n},A_1,\dots , A_n)\) is equivalent to a string-net with trivial winding around boundary generators of \(H_1(S_{g,n})\).
Corollary 6.10
For \(S_{0,n}\) a sphere with n boundary components any string-net in \({\hat{H}}^{s}(S_{0,n},A_1,\dots , A_n)\) is equivalent to a string-net with a single coupon.
Proof
This is the same argument as [SY21, Lemma 3.7]. Assume a string-net has non-trivial winding along a boundary component. In an annular neighborhood of the boundary the string-net can be manipulated as follows
Orientation of curves is chosen arbitrarily in the picture. For any other orientation the computation is exactly the same. \(\square \)
The proposition and its corollary imply that any string-net on a generating world sheet is of the form shown in Figs. 9, 10 and 11 where disk-shaped vertices are now fixed morphisms of the right type. Assume a boundary coloring by the closed object \({\widehat{{\mathcal {G}}_{cl}}}\) and open objects \({\widehat{{\mathcal {G}}_{op}}},\, L({\widehat{{\mathcal {G}}_{op}}})\), i.e. closed boundaries of a world sheet have boundary value \({\widehat{{\mathcal {G}}_{cl}}}\) and open ones \({\widehat{{\mathcal {G}}_{op}}},\, L({\widehat{{\mathcal {G}}_{op}}})\), depending on the type of world sheet. For example, on the world sheet \(C_m\) the vertex corresponds to a morphism \({\widehat{m}}_{cl}:{\widehat{{\mathcal {G}}_{cl}}}\otimes {\widehat{{\mathcal {G}}_{cl}}}\rightarrow {\widehat{{\mathcal {G}}_{cl}}}\) in \({\mathsf {Z}}({\mathsf {C}})\). On \(C_\Delta \) the vertex is a morphism \({\widehat{\Delta }}_{cl}:{\widehat{{\mathcal {G}}_{cl}}}\rightarrow {\widehat{{\mathcal {G}}_{cl}}}\otimes {\widehat{{\mathcal {G}}_{cl}}}\) and so on. We have to take special care of world sheets \(O_{prop}\) and \(C_{prop}\). Those give rise to maps
Assuming the sewing constraints hold it readily follows that \({\hat{p}}_{op}\) and \({\hat{p}}_{cl}\) are idempotent maps. In the previous discussion these maps were fixed to be the identity maps. Thus we may make the additional assumption that \({\hat{p}}_{op}\), \({\hat{p}}_{cl}\) are invertible, which by finiteness of the morphism spaces implies that \({\hat{p}}_{op}=\mathrm {Id}\) and \({\hat{p}}_{cl}=\mathrm {Id}\). But we don’t have to. Since \({\mathsf {Z}}({\mathsf {C}})\) is abelian we can choose a retract \(({\mathcal {G}}_{cl},e_{cl},r_{cl})\) for \({\hat{p}}_{cl}\), i.e.
and similar a retract \(({\mathcal {G}}_{op},e_o,r_o)\) for \(p_o\) in \({\mathsf {C}}\). On their images \({\mathcal {G}}_{cl}\), \({\mathcal {G}}_{op}\) the propagator morphisms act as the identity and sewing constraints realize a \((C|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra on \({\mathcal {G}}_{cl}\), \({\mathcal {G}}_{op}\) rather than on \({\widehat{{\mathcal {G}}_{cl}}}\), \({\widehat{{\mathcal {G}}_{op}}}\).
Theorem 6.11
Any set of fundamental string-nets on generating world sheets with closed boundary values \({\widehat{{\mathcal {G}}_{cl}}}\), open boundary values \({\widehat{{\mathcal {G}}_{op}}}\) and \( L({\widehat{{\mathcal {G}}_{op}}})\), respectively, which satisfy the sewing constraints, define a \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra \(({\mathcal {G}}_{cl},{\mathcal {G}}_{op},\iota _{cl-op})\), which is unique up to isomorphism.
Proof
As discussed above from fundamental world sheets we get the following ten maps (Table 1)
where the morphisms are
The hatted morphisms are the maps appearing in the coupons for the string-nets. Since the graphical representation of fundamental correlators stays the same, the proofs in Sect. 6.2 can be just run backwards giving the defining relations of a \(({\mathsf {C}}|{\mathsf {Z}}({\mathsf {C}}))\)-Cardy algebra for these morphisms. In order to show that this carries over to a Cardy algebra on \(({\mathcal {G}}_{cl},{\mathcal {G}}_{op}, \iota _{cl-op})\), we first note that relations R3), R8) and R10) give
Similar relations hold for \(\widehat{\Delta _{op}}\), \(\widehat{\eta _{op}}\), \(\widehat{\epsilon _{op}}\), \(\widehat{m_{cl}}\), \(\widehat{\Delta _{cl}}\), \(\widehat{\eta _{cl}}\) and \(\widehat{\epsilon _{cl}}\). Furthermore sewing relation R29) and the preceding discussion yields
Using these relations one readily checks that \(({\mathcal {G}}_{op},m_{op},\Delta _{op},\eta _{op},\epsilon _{op})\) is symmetric Frobenius algebra, \(({\mathcal {G}}_{cl}, m_{cl},\Delta _{cl},\eta _{cl},\epsilon _{cl})\) is a symmetric, commutative Frobenius algebra and \(\iota _{cl-op}\) is an algebra homomorphism. To check modularity we introduce the graphical notation
and note that similar to [KLR14, Lemma 4.4] we have
Using this we compute
which shows modularity.
The center and Cardy condition follow by similar computations. For the uniqueness part suppose we have chosen another set of retracts \(({\mathcal {G}}_{cl}^\prime ,e_{cl}^\prime ,r_{cl}^\prime )\) and \(({\mathcal {G}}_{op}^\prime ,e^\prime _o,r^\prime _o)\), then it is easy to see that \(f_o=r_o\circ e_o^\prime :{\mathcal {G}}_{op}^\prime \rightarrow {\mathcal {G}}_{op}\) and \(f_{cl}=r_{cl}\circ e_{cl}^\prime :{\mathcal {G}}_{cl}^\prime \rightarrow {\mathcal {G}}_{cl}\) are isomorphisms of Frobenius algebras and in addition the diagram
commutes. \(\square \)
7 Conclusion
In this paper we have shown how string-nets on topological surfaces generate solutions to open-closed sewing relations. The major advantage of string-nets is the transportation of categorical graphical calculus onto surfaces, which allows to use the defining conditions for Cardy algebras directly when solving the sewing constraints. There are some open ends related to this work. First of all, as noted in [SY21] one could further generalize the results including defects. This seems likely to be possible using the description of defect world sheets given in [Fje12]. Furthermore the qualifyer "rational" may be given up, leading to a more general notion of modular tensor categories, which are not fusion. As shown in [Fuc17, Fuc18] many of the categorical description can be transported to this situation by replacing sums over simple objects by coends. Since dragging curves along projector circles was the crucial point in manipulating string-nets for fusion categories there should be an appropriate procedure for string-nets with non-fusion colorings.
Constructions of open-closed interactions using curves on surfaces have appeared in [Kau03, Kau06] in the form of the \(\mathsf {Arc}\)-operad. Since the graphical representation of the construction very much resembles string-nets, there may be a connection between the two approaches. In general one may wonder about a (wheeled) PROP-description of string-nets, since null graphs give a pasting scheme for string-net diagrams. We plan to address some of these questions in future work.
References
Bakalov, B., Kirillov, A.A.: Lectures on tensor categories and modular functors. Am. Math. Soc. Univ. Lect. Ser. 21, 221 (2001)
Balsam, B.: Turaev–Viro invariants as an extended TQFT II (2010). arXiv:1010.1222
Balsam, B.: Turaev–Viro invariants as an extended TQFT III (2010). arXiv:1012.0560
Balsam, B., Alexander, K., Jr.: Turaev–Viro invariants as an extended TQFT (2010). arXiv:1004.1533
Etingof, P., Gelaki, S., Nikshych, D., Ostrik, V.: Tensor Categories, vol. 205. American Mathematical Soc, Providence (2016)
Fjelstad, J., Fuchs, J., Runkel, I., Schweigert, C.: TFT construction of RCFT correlators. V. Proof of modular invariance and factorisation. Theory Appl. Categ. 16, 342–433 (2006)
Fjelstad, J., Fuchs, J., Runkel, I., Schweigert, C.: Uniqueness of open/closed rational CFT with given algebra of open states. Adv. Theor. Math. Phys. 12(6), 1283–1375 (2008)
Fjelstad, J., Fuchs, J., Stigner, C.: RCFT with defects: factorization and fundamental world sheets. Nucl. Phys. B 863, 213–259 (2012)
Fuchs, J., Runkel, I., Schweigert, C.: TFT construction of RCFT correlators I. Partition functions. Nucl. Phys. B 646, 353–497 (2002)
Fuchs, J., Runkel, I., Schweigert, C.: TFT construction of RCFT correlators. II. Unoriented world sheets. Nucl. Phys. B 678, 511–637 (2004)
Fuchs, J., Runkel, I., Schweigert, C.: TFT construction of RCFT correlators. III. Simple currents. Nucl. Phys. B 694, 277–353 (2004)
Fuchs, J., Runkel, I., Schweigert, C.: TFT construction of RCFT correlators IV: structure constants and correlation functions. Nucl. Phys. B 715, 539–638 (2005)
Fuchs, J., Schweigert, C.: Consistent systems of correlators in non-semisimple conformal field theory. Adv. Math. 307, 598–639 (2017)
Fuchs, J., Gannon, T., Schaumann, G., Schweigert, C.: The logarithmic Cardy case: boundary states and annuli. Nucl. Phys. B 930, 287–327 (2018)
Hardiman, L.: A graphical approach to the Drinfeld centre (2019). arXiv:1911.07271
Huang, Y.-Z., Kong, L.: Open-string vertex algebras, tensor categories and operads. Commun. Math. Phys. 250(3), 433–471 (2004)
Huang, Y.-Z., Kong, L.: Full field algebras. Commun. Math. Phys. 272, 345–396 (2007)
Huang, Y.-Z., Kong, L.: Modular invariance for conformal full field algebras. Trans. Am. Math. Soc. 362, 3027–3067 (2010)
Hardiman, L., King, A.: Decomposing the tube category. Glasg. Math. J. 62(2), 441–458 (2019)
Huang, Y.-Z.: Geometric interpretation of vertex operator algebras. Proc. Natl. Acad. Sci. 88(22), 9964–9968 (1991)
Huang, Y.-Z.: Intertwining operator algebras, genus-zero modular functors and genus-zero conformal. In: Operads: Proceedings of Renaissance Conferences: Proceedings of Renaissance Conferences, vol. 202, p. 335. American Mathematical Soc. (1997)
Huang, Y.-Z.: Two-dimensional Conformal Geometry and Vertex Operator Algebras, volume 148 of Progress in Mathematics. Birkäuser, Boston (1997)
Huang, Y.-Z.: Riemann surfaces with boundaries and the theory of vertex operator algebras. Fields Inst. Commun. 39, 109 (2003)
Huang, Y.-Z.: Differential equations and intertwining operators. Commun. Contemp. Math. 7(03), 375–400 (2005)
Huang, Y.-Z.: Differential equations and intertwining operators. Commun. Contemp. Math. 07(03), 375–400 (2005)
Kaufmann, R.M., Livernet, M., Penner, R.C.: Arc operads and arc algebras. Geom. Topol. 7(1), 511–568 (2003)
Kaufmann, R.M., Penner, R.C.: Closed/open string diagrammatics. Nucl. Phys. B 748(3), 335–379 (2006)
Kirillov, A., Jr.: String-net model of Turaev–Viro invariants (2011). arXiv:1106.6033
König, R., Kuperberg, G., Reichardt, B.W.: Quantum computation with Turaev–Viro codes. Ann. Phys. 325(12), 2707–2749 (2010)
Kong, L., Li, Q., Runkel, I.: Cardy algebras and sewing constraints II. Adv. Math. 262, 604–681 (2014)
Kadar, Z., Marzuoli, A., Rasetti, M.: Microscopic description of 2d topological phases, duality and 3d state sums. Adv. Math. Phys. 2010, 671039 (2010)
Kong, L.: Cardy condition for open-closed field algebras. Commun. Math. Phys. 283(1), 25–92 (2008)
Kong, L.: Open-closed field algebras. Commun. Math. Phys. 280, 207–261 (2008)
Kong, L., Runkel, I.: Cardy algebras and sewing constraints I. Commun. Math. Phys. 292(3), 871–912 (2009)
Lauda, A.D., Pfeiffer, H.: Open-closed strings: two-dimensional extended TQFTs and Frobenius algebras. Topol. Appl. 155(7), 623–666 (2008)
Levin, M.A., Wen, X.-G.: String net condensation: a physical mechanism for topological phases. Phys. Rev. B 71, 045110 (2005)
Müger, M.: On the structure of modular categories. Proc. Lond. Math. Soc. 87(2), 291–308 (2003)
Shimizu, K.: Non-degeneracy conditions for braided finite tensor categories. Adv. Math. 355, 106778 (2019)
Schweigert, C., Yang, Y.: CFT Correlators for Cardy bulk fields via string-net models. SIGMA 17 040 (2021), 22 pages
Acknowledgements
The author thanks Ralph Blumenhagen, Ilka Brunner and Ingmar Saberi for valuable discussions and Ralph Blumenhagen for having a look on a first draft of this paper.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by C.Schweigert.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Generating World Sheets
Appendix A. Generating World Sheets
In this appendix we give all the generating world sheets in \(\mathsf {WS}\). The following figures display the quotients of the orientation double for generating world sheets.
-
I)
Open World Sheets
Purple colored parts of the boundary correspond to open boundaries. Black boundaries are physical boundaries.
-
II)
Closed World Sheets
-
III)
Open-Closed World Sheets
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Traube, M. Cardy Algebras, Sewing Constraints and String-Nets. Commun. Math. Phys. 390, 67–111 (2022). https://doi.org/10.1007/s00220-021-04286-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-021-04286-6