Spin from defects in 2d QFT

Spin from defects in two-dimensional
quantum field theory

Sebastian Novak Sebastian Novak
Fachbereich Mathematik
Universität Hamburg
Bundesstraße 55
20146 Hamburg
Germany
sebastian.novak@mailbox.org
 and  Ingo Runkel Ingo Runkel
Fachbereich Mathematik
Universität Hamburg
Bundesstraße 55
20146 Hamburg
Germany
ingo.runkel@uni-hamburg.de
Abstract.

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.

1. Introduction

Consider a two-dimensional quantum field theory Q which is defined on oriented surfaces with metric, and which allows for the presence of line defects. We will be interested in topological line defects, that is, line defects that can be deformed on the surface without changing the amplitude which Q assigns to the surface. Line defects can meet in junction points, and also here we will be interested only in topological junctions. Altogether, the QFT Q assigns amplitudes to surfaces with defect networks, and these amplitudes are invariant under deformations which move the defect lines and junctions without generating new intersections. We will briefly review this framework in Section 3.

In this paper we show how given a topological line defect of the QFT Q, together with 1- and 3-valent topological junctions for this defect – all subject to conditions we list below – one can construct a new QFT Q_{\text{spin}} which is defined on surfaces with metric and with spin structure.

Quite generally, to construct new n-dimensional QFTs from a given n-dimensional QFT, one can try to implement the following idea:

Carry out a state sum construction of an n-dimensional topological field theory inside an n-dimensional QFT with defects.

That is, try to model the cell decomposition of the n-dimensional manifolds used in the state sum construction with defects of dimensions 0,1,\dots,n{-}1 in the QFT with defects, and translate the invariance conditions of the state sum construction into requirements on these defects. This idea generalises the state sum construction of topological field theories in the sense that the latter can be thought of as being internal to the trivial QFT.

So far the above idea has been applied only in two dimensions, and we will describe this case in more detail now.

The topological line defects and topological junctions of an oriented two-dimensional QFT Q form a \mathbb{C}-linear monoidal category \mathcal{D}_{Q} [DKR]. The objects in \mathcal{D}_{Q} are the possible line defects, the tensor product amounts to fusion of line defects, and the morphisms are given by junctions. Since junctions can be thought of as fields inserted at the point were the defect lines meet, they form a \mathbb{C}-vector space. In addition, \mathcal{D}_{Q} has two-sided duals (given by orientation reversal of the defect line) and is pivotal.

The category \mathcal{D}_{Q} contains much interesting information about the QFT Q. For example, given a \Delta-separable symmetric Frobenius algebra A in \mathcal{D}_{Q} (we will explain these notions in the table below), one can construct a new QFT Q_{\text{orb}}, the orbifold of Q by A, which is again defined on oriented surfaces with metric [FrFRS, CRu]. This amounts to applying the above idea to the state sum construction of oriented two-dimensional topological field theories [BP, FHK]. The name “orbifold” is justified since the construction of Q_{\text{orb}} reduces to the standard orbifold construction if A comes from a group symmetry of Q. But there are A’s which do not come from group symmetries (e.g. the exceptional cases in [FRS1, CRCR]), so in this sense Q_{\text{orb}} could be called a generalised orbifold.

Another example is given by the main result of this paper: a \Delta-separable Frobenius algebra A\in\mathcal{D}_{Q} whose Nakayama automorphism (see table below) squares to the identity allows one to define a QFT Q_{\text{spin}} on spin surfaces starting from the QFT Q, which was defined on oriented surfaces with defects. This is again an instance of the above idea, applied now to the state sum construction of 2d spin TFTs given in [NR]. Let us describe the resulting construction in more detail.

To evaluate Q_{\text{spin}} on a spin surface \Sigma, one first encodes the spin structure in terms of

  • a triangulation of the underlying oriented surface \underline{\Sigma},

  • a choice of an orientation for each edge of the triangulation and of a preferred edge for each triangle (a marking),

  • a sign \{\pm 1\} for each edge (the edge signs).

This combinatorial model for spin structures was introduced in [NR] and will be reviewed in Section 2. Other closely related combinatorial models can be found in [Ku, CRe, Bu]. An extension of the work in [NR] to r-spin surfaces can be found in [No].

Next, one places a network of line defects A and junctions labelled by the structure maps of the Frobenius algebra on the graph dual to the triangulation. The precise type of the junctions depends on the marking and the edge signs. The amplitude Q_{\text{spin}}(\Sigma) is defined as the amplitude that Q assigns to \underline{\Sigma} with the above defect network. This is described in detail in Section 4.

Frobenius algebras as above also appear in another state sum construction of two-dimensional spin topological field theory in [BT] and in the description of “generalised twisted sectors” in orbifolds in [BCP] (there without restriction on the order of the Nakayama automorphism).

The following table gives the definitions of the various algebraic notions above, as well as their meaning in the context of topological defects. More details can be found in Section 4. The identities of topological defect networks in the table are to be understood as follows. Given two surfaces with metric, \Sigma and \Sigma^{\prime}, equipped with defect networks such that the defect networks only differ in a small patch as shown in the table, the amplitudes of \Sigma and \Sigma^{\prime} agree, i.e. Q(\Sigma)=Q(\Sigma^{\prime}).

concept algebraic description description in QFT with defects
A object in the pivotal monoidal category \mathcal{D}_{Q} topological defect of Q
algebra morphisms \eta:\mathbf{1}\to A and \mu:A\otimes A\to A such that \eta is a unit for \mu and \mu is associative. a 1-valent and a 3-valent topological defect junction,

    ,            ,

such that we have the identities

\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic31b1.pdf}}~{}=~{}\raisebox{-% 0.5pt}{\includegraphics[scale=0.4]{cpic31b2.pdf}}~{}=~{}\raisebox{-0.5pt}{% \includegraphics[scale=0.4]{cpic31b3.pdf}}     ,

\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic31b4.pdf}}=\raisebox{-0.5pt}% {\includegraphics[scale=0.4]{cpic31b5.pdf}}

Frobenius
algebra An algebra and a coalgebra (with counit \varepsilon:A\to\mathbf{1} and coproduct \Delta:A\to A\otimes A) such that the Frobenius condition holds: (\text{id}\otimes\mu)\circ(\Delta\otimes\text{id})=\Delta\circ\mu =(\mu\otimes\text{id})\circ(\text{id}\otimes\Delta). Additional 1- and 3-valent defect junctions,

    ,            ,

such that \varepsilon and \Delta satisfy the same identities as \eta and \mu but with reversed orientations on the defect lines, as well as

\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic31d1.pdf}}\quad=~{}\raisebox% {-0.5pt}{\includegraphics[scale=0.4]{cpic31d2.pdf}}~{}=\quad\raisebox{-0.5pt}{% \includegraphics[scale=0.4]{cpic31d3.pdf}}.

\Delta-separable The product and coproduct of the Frobenius algebra satisfy \mu\circ\Delta=\text{id}. The defect junctions \Delta and \mu satisfy

\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic31e1.pdf}}\hskip 10.0pt=% \hskip 10.0pt\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic31e2.pdf}}.

symmetric The pairing b:=\varepsilon\circ\mu satisfies (\text{id}\otimes b)\circ(\widetilde{\mathrm{coev}}_{A}\otimes\text{id})=(b% \otimes\text{id})\circ(\text{id}\otimes\mathrm{coev}_{A}). The defect junctions \mu and \varepsilon satisfy

\raisebox{0.0pt}{\includegraphics[scale=0.4]{cpic31f1.pdf}}\hskip 10.0pt=% \hskip 10.0pt\raisebox{-0.8pt}{\includegraphics[scale=0.4]{cpic31f2.pdf}}.

Nakayama
autom. N Let b be as above and set c=\Delta\circ\eta. Then N:A\to A is given by N=(\text{id}\otimes\widetilde{\mathrm{ev}}_{A})\circ(c\otimes\text{id})\circ(b% \otimes\text{id})\circ(\text{id}\otimes\mathrm{coev}_{A}). N is an automorphism of the Frobenius algebra A. N abbreviates the following combination of defect lines and junctions

.

N squares to
the identity N^{2}=\text{id}.

\raisebox{-0.1pt}{\includegraphics[scale=0.4]{cpic31h1.pdf}}~{}=~{}\raisebox{-% 0.2pt}{\includegraphics[scale=0.4]{cpic31e2.pdf}}.

We remark that a Frobenius algebra is symmetric if and only if its Nakayama automorphism is the identity.

The description of QFTs Q_{\text{spin}} on spin surfaces in terms of QFTs Q on oriented surfaces with defect networks is useful if one has good control over the defect category \mathcal{D}_{Q}. One class of theories where this is the case are rational two-dimensional conformal field theories. In fact, the study of rational CFTs on spin surfaces is one of the main motivations for us to develop the present formalism. Let us have a closer look at this case, which we also discuss in detail in Section 5.

Fix a vertex operator algebra \mathcal{V} with the property that its category of representations, \mathrm{Rep}\mathcal{V}, is a modular tensor category. We will call such vertex operator algebras rational. Rational CFTs are then those with left/right symmetry given by a rational \mathcal{V}. The simplest rational CFT with a given symmetry \mathcal{V} is called the charge-conjugate theory, or the “Cardy case”. In the Cardy case CFT for \mathcal{V}, the category of topological defects, which are in addition transparent to the left/right symmetry \mathcal{V}, is given by \mathrm{Rep}\mathcal{V} itself.

In the free fermion examples which we investigate in Sections 5.3 and 5.4, it turns out that instead of the CFT on its own, one should consider the product of the CFT with the trivial 2d TFT that takes values in super vector spaces (see Section 3.2). The relevant category of topological defects is then \mathrm{Rep}\mathcal{V}\boxtimes\mathbf{SVect}, and it is this category in which we need to find \Delta-separable Frobenius algebras whose Nakayama automorphism squares to the identity.

There are many questions still unanswered in the present paper. For example, in the context of rational CFTs: Can every 2d spin CFT be obtained from a suitable oriented CFT in this way? Can one explicitly classify all \Delta-separable Frobenius algebras A with N^{2}=\text{id} (or suitable Morita classes thereof) in \mathrm{Rep}\mathcal{V}\boxtimes\mathbf{SVect} in interesting examples? For supersymmetric CFTs, what characterises those A which give world sheet and/or spacetime supersymmetric theories?

Finally, it should be straightforward to extend the constructions in this paper to spin surfaces with boundaries and defects, as well as to r-spin surfaces (following [No]). We hope to return to these points in the future.


Acknowledgments: The authors would like to thank Nils Carqueville for helpful discussions and comments on a draft version of this paper. IR thanks the Erwin-Schrödinger Institute in Vienna for hospitality during the programme “Modern trends in topological quantum field theory” (February and March 2014) where part of this work was completed. SN was supported by the DFG funded Research Training Group 1670 “Mathematics inspired by string theory and quantum field theory”. IR is supported in part by the DFG funded Collaborative Research Center 676 “Particles, Strings, and the Early Universe”.

2. A combinatorial model for spin surfaces

In this section we briefly review the combinatorial model for spin surfaces introduced in [NR].

By a surface \underline{\Sigma} we mean an oriented two-dimensional smooth compact real manifold with parametrised boundary. The boundary parametrisation consists of, firstly, an ordering \{1,\dots,B\} of the connected components of \partial\underline{\Sigma}, and, secondly, for each i\in\{1,\dots,B\} an orientation preserving smooth embedding \varphi_{i}:\underline{U_{i}}\to\underline{\Sigma}. Here, \underline{U_{i}} is a half-open annulus \{z\in\mathbb{C}|1\leq|z|<r\} for some r>1 and \varphi_{i} maps the unit circle to the i’th boundary component.

Denote by GL_{2}^{+} the 2{\times}2-matrices with positive determinant. Let {\widetilde{GL}^{+}}_{2} be the connected double cover of GL_{2}^{+}. A spin surface \Sigma is a surface \underline{\Sigma} together with a {\widetilde{GL}^{+}}_{2}-principal bundle, which is a double cover of the oriented frame bundle such that the {\widetilde{GL}^{+}}_{2} action is compatible with the GL_{2}^{+} action on the frame bundle. Furthermore, \Sigma is equipped with a lift \tilde{\varphi}_{i} of the boundary parametrisation maps to the spin bundle. In more detail, \underline{U_{i}} allows for two non-isomorphic spin structures: the Neveu-Schwarz-type (NS-type) spin structure extends to the disc, the Ramond-type (R-type) spin structure does not. Write U_{i} for \underline{U_{i}}, equipped with one of these two spin structures. Then \tilde{\varphi}_{i}:U_{i}\to\Sigma is a map of spin surfaces. We say the i’th boundary component of \Sigma is of NS-type (R-type) if the spin structure of U_{i} is of NS-type (R-type). More details can be found in [NR, Sect. 2], see in particular [NR, Def. 2.14].

Let \underline{\Sigma} be a surface. Fix the standard triangulation of the unit circle to be given by the three arcs between the points 1, e^{2\pi i/3} and e^{-2\pi i/3}. Via the boundary parametrisations \varphi_{i}, this gives a triangulation of the boundary of \underline{\Sigma}. Choose an extension of this triangulation from the boundary to the interior. A marking on this triangulation is an assignment of a preferred edge to each triangle and of an orientation to each edge. The orientation of the boundary edges is defined to be that induced by the counter-clockwise orientation of the unit circle.

By a choice of edge signs we mean a map s from the set of edges of the triangulation to \{\pm 1\}. For a given choice of edge signs on a marked triangulation of \underline{\Sigma} one obtains a spin structure on \underline{\Sigma} minus the vertices of the triangulation [NR, Sect. 3.7]. The spin structure extends to the vertices if and only if the following condition holds at each vertex v [NR, Cor. 3.14 & Lem. 3.15]:

  • v is an inner vertex: Let D be the number of triangles \sigma containing v such that the preferred edge of \sigma is the first one, counting the edges of \sigma counter-clockwise starting from the vertex v. Let K be the number of edges containing v and pointing away from v. The edge signs must satisfy

    (2.1) \prod_{e:v\in e}s(e)=(-1)^{D+K+1}\ ,

    where the product is over all edges containing the vertex v.

  • v is a boundary vertex: Let D and K be as above. For K include the boundary edge pointing away from v. If the boundary component containing v is of NS-type, and if the vertex v is the image of the point 1 under the corresponding parametrisation map \varphi_{i}:U_{i}\to\underline{\Sigma}, set D^{\prime}=D+1. Otherwise set D^{\prime}=D. The edge signs must satisfy

    (2.2) \prod_{e:v\in e}s(e)=(-1)^{D^{\prime}+K+1}\ ,

    where again the product is over all edges containing the vertex v, including the two boundary edges adjacent to v.

If this condition holds at each vertex, we call the edge signs admissible. By definition, admissible edge signs turn the surface \underline{\Sigma} into a spin surface \Sigma. This combinatorial model for spin structures is the first main ingredient in this paper.

Given a spin surface, one can ask whether or not a given closed path in the frame bundle lifts to the spin bundle. Since we are working in two dimensions, we can turn a smooth closed path \gamma:S^{1}\to\underline{\Sigma} with nowhere vanishing derivative into an – up to homotopy unique – path \hat{\gamma} in the frame bundle. Namely, at each point of the path pick a second vector, which together with the velocity vector of the path is an oriented frame, and which depends continuously on the parametrisation of the path. Thus, given \gamma we can ask whether or not \hat{\gamma} lifts to a closed path in \Sigma. We now explain how the lifting property can be read off from the edge signs.

a)    \Bigg{\}}+1 \Bigg{\}}-1    b)    \Bigg{\}}+1 \Bigg{\}}-1

Figure 2.1. a) The six configurations a path can transverse a triangle relative to the marked edge of the triangle, together with the sign used to determine the lifting property of the path. b) The two configurations the oriented path (horizontal, solid blue) can cross an oriented edge (vertical, dashed black), again with corresponding signs.

Assume that in each triangle of the triangulation, the path \gamma looks as in one of the six configurations shown in Figure 2.1 a. Now multiply together the signs given in Figure 2.1 a for all triangles transversed by \gamma, and the signs given in Figure 2.1 b for all edges crossed by \gamma. Let S\in\{\pm 1\} be the result. Then the corresponding path \hat{\gamma} in the frame bundle has a closed lift if and only if

(2.3) \prod_{e}s(e)=S\ ,

where the product is over all edges crossed by \gamma [NR, Lem. 3.13].

Suppose the path \gamma is the boundary of a small disc containing a vertex v of the triangulation. Then the spin structure extends to the vertex if and only if \hat{\gamma} does not have a closed lift. One quickly checks that in this way (2.3) reproduces the admissibility condition for edge signs at an inner vertex as given in (2.1).

3. Two-dimensional QFT with defects

The second ingredient in our construction are surfaces with defects and field theories on such surfaces. We collect some material from [DKR] to fix our conventions.

3.1. Surfaces with defects, state spaces, amplitudes

A surface with defects \Sigma^{d} is a surface \underline{\Sigma} together with a compact oriented one-dimensional submanifold \Delta, such that \partial\Delta\subset\partial\underline{\Sigma} and \Delta meets \partial\underline{\Sigma} transversally. We also fix a set D of defect conditions. Each connected component of \Delta is labelled by an element of D.

So far the underlying surface \underline{\Sigma} was an oriented smooth manifold. To discuss non-topological quantum field theories, we equip \underline{\Sigma} with a metric or a conformal structure. For the purpose of this paper, by a quantum field theory on surfaces with defects we shall mean the following:

  • For each surface with defects \Sigma^{d} and for all boundary components i=1,\dots,B of \Sigma^{d}, an assignment of a \mathbb{C}-super vector space \mathcal{H}_{i} (the state space).

  • For each surface with defects \Sigma^{d} an even linear map Q(\Sigma^{d}):\mathcal{H}_{1}\otimes\cdots\otimes\mathcal{H}_{B}\to\mathbb{C} (the amplitude).

  • For a permutation \sigma of \{1,\dots,B\}, let \Sigma^{d}_{\sigma} be identical to \Sigma^{d} except that the ordering of the boundary components of \Sigma^{d} is changed: The i’th boundary of \Sigma^{d}_{\sigma} is the \sigma(i)’th boundary component of \Sigma^{d}. Then

    (3.1) Q(\Sigma^{d})(\psi_{1}\otimes\cdots\otimes\psi_{n})=(-1)^{P}Q(\Sigma_{\sigma}^% {d})(\psi_{\sigma(1)}\otimes\cdots\otimes\psi_{\sigma(n)})\ ,

    where (-1)^{P} is the parity sign arising from applying the permutation \sigma to the vectors \psi_{1},\dots,\psi_{n}. (For example, a transposition of two adjacent arguments gives a sign if and only if both are odd.)

  • Compatibility with glueing. Since we will not use the glueing property explicitly in this paper, we will omit its description and refer to [DKR].111 In [DKR] the usual functorial formulation of the glueing conditions is employed. When translating this into the present situation with only “in-going” boundary components one should add cylinders with two “out-going” boundaries and the corresponding copairing on state spaces to the setup.

Consider a surface C with defects which is diffeomorphic to S^{1}\times[0,1] such that each connected component of the defect submanifold in C gets mapped to an interval [0,1]. That is, up to diffeomorphism C is a cylinder with parallel defect lines connecting the two boundary circles. We will say Q is non-degenerate if for all such cylinders C the pairing Q(C):\mathcal{H}_{1}\otimes\mathcal{H}_{2}\to\mathbb{C} is non-degenerate in the sense that for all \psi_{i}\in\mathcal{H}_{1} there exists a \psi_{2}\in\mathcal{H}_{2} such that Q(C)(\psi_{1}\otimes\psi_{2})\neq 0, and vice versa.222 We remark already here that the term “non-degenerate” is used in two different ways in this paper. Here it refers to the pairing Q(C) having zero orthogonal subspaces. In Section 4, when talking about pivotal monoidal categories, it will mean that there exists a copairing for a given pairing. Since \mathcal{H}_{1} and \mathcal{H}_{2} will typically be infinite-dimensional, even if Q(C) is non-degenerate there need not exist a corresponding copairing. Hence the second notion of “non-degenerate” is stronger.

We assume that all defect conditions in B describe topological defects. This is a requirement on the state spaces \mathcal{H} and amplitudes Q:

  • \mathcal{H}: Consider the i’th boundary component of a surface with defects with parametrisation map \varphi_{i}. For each defect ending on that boundary component write (d,\varepsilon), where d\in D is the defect condition and \varepsilon=+ if the defect is oriented away from the boundary, and \varepsilon=- otherwise. Starting from \varphi_{i}(-1) let \underline{d}=((d_{1},\pm),\dots,(d_{n},\pm)) be the sequence of defects encountered when following \varphi(S^{1}) clockwise. Then \mathcal{H}_{i} depends on the defects only through the ordered list \underline{d}, but not on where and how precisely the defect lines end on the boundary component.

  • Q: Let \Sigma^{d}_{1} and \Sigma^{d}_{2} be two surfaces with defects with the same underlying surface \underline{\Sigma}, such that the defect submanifold of \Sigma_{1}^{d} (with its orientation and defect condition for each component) can be isotoped to that of \Sigma^{d}_{2}. The isotopy is allowed to move the endpoints of defect lines as long as no such endpoint crosses the points \varphi_{i}(-1), i=1,\dots,B. Then Q(\Sigma^{d}_{1})=Q(\Sigma^{d}_{2}).

Each state space \mathcal{H}_{i} contains a subspace \mathcal{H}^{\mathrm{top}}_{i} of topological junction fields (which may be 0). When inserting a topological junction field \psi in the i’th argument (corresponding to the i’th boundary component) the map Q(\Sigma^{d}) does not change when changing the position or size of the i’th boundary component (by glueing on appropriate cylinders, see [DKR] for more details). We also demand that topological junction fields are parity-even.333The condition that topological junction fields are parity-even does not appear in [DKR] since the quantum field theories with defects discussed there take values in \mathbf{Vect}, not \mathbf{SVect}. This means that if we apply condition Q3 to a transposition of two adjacent arguments, one of which is a topological junction field, then no parity sign is produced.

Below we will consider surfaces with defect networks. In such a network, the junction points are labelled by a topological junction field and it is understood that such a junction point represents a small circular hole, parametrised in a way compatible with the linear order of the defect lines attached to the junction point. Let \Sigma^{d} be such a surface, and let p be a junction point labelled by a topological junction field \psi. When evaluating Q on \Sigma^{d} it is understood that the argument corresponding to the boundary component replacing the point p is taken to be \psi. Since \psi is a topological junction field, the precise shape of the small circular hole and the choice of parametrisation map are irrelevant. Since a topological junction field is parity-even, we do not need to remember the ordering of topological junction fields on surfaces with defect networks.

The topological junction fields can be used to turn the set D of defect fields into a \mathbb{C}-linear pivotal monoidal category \mathcal{D}. The objects are sequences of defect conditions with orientations, \underline{d}=((d_{1},\varepsilon_{1}),\dots(d_{n},\varepsilon_{n})) and morphisms \underline{d}\to\underline{d}^{\prime} are topological junction fields on a boundary circle to which the defects from \underline{d} and \underline{d}^{\prime} are attached. The tensor product is concatenation of sequences; duality is orientation reversal (d,\varepsilon)\mapsto(d,-\varepsilon) and reversion of the order of the sequence. Pivotality follows from rotation invariance of topological junction fields. For details we refer to [DKR, Sect. 2.4] and to [CRu, Thm. 3.3].

We will assume the category \mathcal{D} to be additive. This amounts to completing the set of (sequences of) defect conditions with respect to taking finite sums. The \mathbb{C}-linear additive pivotal monoidal category \mathcal{D} of defect conditions and topological junction fields is the second central ingredient in this paper.

Below, we will often draw parts of defect surfaces to illustrate a configuration of defect lines and junction labels. We will use a notation for junction fields that is close to string diagram notation for morphisms in monoidal categories. Namely, we draw a topological junction field \psi:\underline{d}\to\underline{d}^{\prime} inserted on the surface as

(3.2) \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic01.pdf}}\qquad,

here in the example \underline{d}=((d_{1},+),(d_{2},-),(d_{3},+)), etc. To turn this into a surface with defects, the box has to be replaced by a circular boundary, parametrised such that the image of -1 lies on the left vertical side of the box. Again, the precise way in which this replacement is done does not matter as \psi is topological.

3.2. The trivial defect TFT and products of defect theories

Let \mathbf{SVect} be the category of \mathbb{C}-super vector spaces. This is a symmetric monoidal category with symmetric braiding given by exchange of factors with a parity sign: For U,V\in\mathbf{SVect} and u\in U, v\in V homogeneous elements of degrees |u|,|v|\in\mathbb{Z}_{2}:

(3.3) \sigma_{U,V}(u\otimes v)=(-1)^{|u||v|}\,v\otimes u\ .

We will denote by Q^{SV} the trivial two-dimensional topological field theory with defects which takes values in \mathbf{SVect}. By this we mean the lattice TFT with defects constructed from the trivial algebra \mathbb{C} via the procedure in [DKR, Sect. 3].444The formalism in [DKR, Sect. 3] is developed for vector spaces as target category, but the same procedure works for any symmetric monoidal category. Its defect category is \mathcal{D}^{SV}=\mathbf{SVect}^{fd}, the category of finite-dimensional \mathbb{C}-super vector spaces. Let \underline{V}=((V_{1},\varepsilon_{1}),\cdots,(V_{n},\varepsilon_{n})), with V_{i}\in\mathbf{SVect}^{fd}, be a sequence of defect conditions on a boundary component. The state space only depends on \underline{V} and is given by \mathcal{H}^{SV}(\underline{V})=V_{1}^{\varepsilon_{1}}\otimes\cdots\otimes V_% {n}^{\varepsilon_{n}}, where V^{+}=V, V^{-}=V^{*}. The topological junction fields therein are given by the even subspace, that is, \mathcal{H}^{SV,top}(\underline{V})=\mathrm{Hom}_{0}(\mathbb{C}^{1|0},V_{1}^{% \varepsilon_{1}}\otimes\cdots\otimes V_{n}^{\varepsilon_{n}}), where \mathbb{C}^{1|0} is \mathbb{C} concentrated in even degree and \mathrm{Hom}_{0} denotes the ungraded \mathbb{C}-vector space of even linear maps.

Let us stress this point again: since the morphisms in \mathcal{D}^{SV} are topological junctions, they are given by even linear maps (i.e. by morphisms in \mathbf{SVect}^{fd}). The state space assigned to a boundary circle, on the other hand, may contain even and odd elements.

We will make use of Q^{SV} to introduce a \mathbb{Z}_{2}-grading on the state spaces of ungraded defect theories Q in Sections 5.25.4. This will be done by defining a product theory Q\boxtimes Q^{SV}. The necessity of such products will be illustrated in the free fermion example in Section 5.3.

Let Q^{1}, Q^{2} be two QFTs on surfaces with defects. The product theory Q^{1}\boxtimes Q^{2}=:Q^{12} is defined as follows:

  • The defect category is \mathcal{D}^{12}=\mathcal{D}^{1}\boxtimes\mathcal{D}^{2}. Here “\boxtimes” is the product of \mathbb{C}-linear additive categories: the objects are direct sums of pairs (\underline{d}_{1},\underline{d}_{2}) of objects \underline{d}_{1}\in\mathcal{D}^{1} and \underline{d}_{2}\in\mathcal{D}^{2}. The morphism space between two such pairs (\underline{d}_{1},\underline{d}_{2})\to(\underline{d}_{1}^{\prime},\underline% {d}_{2}^{\prime}) is \mathcal{D}^{1}(\underline{d}_{1},\underline{d}_{1}^{\prime})\otimes_{\mathbb{% C}}\mathcal{D}^{2}(\underline{d}_{2},\underline{d}_{2}^{\prime}). For direct sums of such pairs, the morphism spaces are the corresponding direct sums.

  • The state space \mathcal{H}^{12}_{i} of the product theory for the i’th boundary component of a defect surface \Sigma^{d} is given by \mathcal{H}^{1}_{i}\otimes\mathcal{H}^{2}_{i} (tensor product of \mathbb{C}-super vector spaces).

  • The amplitudes Q^{12} of the product theory are Q^{12}(\Sigma^{d})=(Q^{1}(\Sigma^{d})\otimes Q^{2}(\Sigma^{d}))\circ P, where P is the permutation in \mathbf{SVect} (i.e. the permutation with parity signs) which reorders the argument from \mathcal{H}^{1}_{1}\otimes\mathcal{H}^{2}_{1}\otimes\cdots\otimes\mathcal{H}^{% 1}_{B}\otimes\mathcal{H}^{2}_{B} to \mathcal{H}^{1}_{1}\otimes\cdots\otimes\mathcal{H}^{1}_{B}\otimes\mathcal{H}^{% 2}_{1}\otimes\cdots\otimes\mathcal{H}^{2}_{B}.

We will only apply the product construction in the case that all state spaces of Q^{1}=Q are purely even and Q^{2}=Q^{SV} is the trivial theory with values in \mathbf{SVect} defined above. In this situation there are no parity signs in the permutation map P above. The topological theory Q^{SV} has two fundamental defects, labelled by the one-dimensional even and odd super vector spaces \mathbb{C}^{1|0} and \mathbb{C}^{0|1}. The state spaces of Q\boxtimes Q^{SV} for a boundary circle with a defect line X\boxtimes\mathbb{C}^{1|0} or X\boxtimes\mathbb{C}^{0|1} starting at it are

(3.4) \displaystyle\mathcal{H}^{Q\boxtimes SV}((X\boxtimes\mathbb{C}^{1|0},+)) \displaystyle=\mathcal{H}^{Q}((X,+))\otimes\mathcal{H}^{SV}((\mathbb{C}^{1|0},% +))\cong\mathcal{H}^{Q}((X,+))\ ,
\displaystyle\mathcal{H}^{Q\boxtimes SV}((X\boxtimes\mathbb{C}^{0|1},+)) \displaystyle=\mathcal{H}^{Q}((X,+))\otimes\mathcal{H}^{SV}((\mathbb{C}^{0|1},% +))\cong\Pi\mathcal{H}^{Q}((X,+))\ ,

where for a super vector space V, \Pi V denotes the parity shifted super vector space, i.e. (\Pi V)_{0}=V_{1} and (\Pi V)_{1}=V_{0}. The last isomorphism in the two sets of identities above holds because by definition \mathcal{H}^{SV}((\mathbb{C}^{1|0},+))=\mathbb{C}^{1|0} and \mathcal{H}^{SV}((\mathbb{C}^{0|1},+))=\mathbb{C}^{0|1}.

4. Amplitudes on spin surfaces from amplitudes on defect surfaces

Fix a QFT Q on surfaces with defects, possibly equipped with a metric or a conformal structure. Let \mathcal{D} be the corresponding monoidal category of topological defects and topological junction fields. Fix furthermore a defect condition A\in\mathcal{D} and topological junction fields t,c_{\pm 1} which are morphisms

(4.1) t:A\otimes A\otimes A\to\mathbf{1}\quad,\qquad c_{+1},c_{-1}:\mathbf{1}\to A\otimes A

in \mathcal{D}. The aim of this section is to explain how to obtain from the data Q,A,t,c_{\pm 1}, subject to certain conditions, a QFT Q_{\mathrm{spin}} which assigns amplitudes to spin surfaces.

4.1. From spin structures to defect networks

a)            b)    

[2em] c)

Figure 4.1. a) Insertion of the topological junction field c_{s(e)} on an oriented edge e with edge sign s(e). b) On a triangle t is inserted such that the left-most A-line entering t comes from the marked edge of the triangle. c) The defect network inserted at each boundary component. Here the boundary triangulation with edges e_{0}, e_{1}, e_{2} has been moved into the surface to make the defect network easier to draw.

Let \Sigma be a spin surface. Our first task is to produce from \Sigma a surface with defects \Sigma^{d}. The construction is as follows:

  • Pick a triangulation of \underline{\Sigma}. Equip the triangulation with a marking and with edge signs encoding the spin structure of \Sigma.

  • On each inner edge insert the topological junction field c_{s(e)}, aligned with the orientation of the edge as shown in Figure 4.1 a. In each triangle place the field t, aligned with the marked edge of that triangle as shown in Figure 4.1 b.

  • At each boundary component of \underline{\Sigma}, the slightly more complicated looking defect network shown in Figure 4.1 c is inserted.

We now need to make sure that the amplitude Q(\Sigma^{d}) does not depend on the choices made in (a). This is guaranteed by a number of identities on t,c_{\pm 1}. We will write these as identities of morphisms in the defect category \mathcal{D}, using string diagram notation. By definition of \mathcal{D}, we may then as well think of these string diagrams as identities satisfied by amplitudes of surfaces with defects which only differ locally as indicated in the string diagram.

The derivation of the identities below is essentially the same as in [NR] with one important exception: In [NR] we worked with a symmetric monoidal category, and so one is allowed to use the symmetric braiding but no duals; here we work in a pivotal non-braided category, so one is allowed to use duals but no braiding. We omit the calculations and just state the results, using the same ordering of the conditions as in [NR, Sect. 4.2].

  1. Edge orientation change. For \varepsilon\in\{\pm 1\},

    (4.2) \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic03a.pdf}}\quad=\quad% \raisebox{-0.2pt}{\includegraphics[scale=0.4]{cpic03b.pdf}}\quad=\quad% \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic03c.pdf}}

    (The first and second equality are equivalent by pivotality.)

  2. Leaf exchange automorphism on a single triangle. For \alpha,\beta,\gamma\in\{\pm 1\},

    (4.3) \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic04a.pdf}}\quad=\quad% \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic04b.pdf}}
  3. Cyclic permutation of boundary edges for a single triangle. For \alpha,\beta,\gamma\in\{\pm 1\},

    (4.4) \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic04a.pdf}}\quad=\quad% \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic05.pdf}}
  4. Pachner 2-2 move. For \alpha,\beta,\gamma,\delta,s\in\{\pm 1\},

    (4.5) \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic06a.pdf}}\quad=\quad% \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic06b.pdf}}
  5. Pachner 3-1 move and its inverse. For \alpha,\beta,\gamma,s_{12},s_{23},s_{31}\in\{\pm 1\} subject to s_{12}s_{23}s_{31}=-1,

    (4.6) \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic07a.pdf}}\quad=\quad% \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic07b.pdf}}

Using these conditions, we can now state:

Proposition 4.1.

Suppose Q and A,t,c_{\pm 1} satisfy conditions (1)–(5) above. Let \Sigma be a spin surface and \Sigma^{d}_{1}, \Sigma^{d}_{2} surfaces with defects obtained by steps (a)–(c) above. Then Q(\Sigma^{d}_{1})=Q(\Sigma^{d}_{2}).

The proof is analogous to that of [NR, Prop. 4.1] and we omit it here.

4.2. Algebraic description

\mathrm{ev}_{U}\,=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic09b.pdf}} \widetilde{\mathrm{ev}}_{U}\,=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]% {cpic09a.pdf}} \mathrm{coev}_{U}\,=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic09d.% pdf}} \widetilde{\mathrm{coev}}_{U}\,=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.% 4]{cpic09c.pdf}}
\mu\,=\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic09f.pdf}} \eta\,=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic09g.pdf}} \Delta\,=\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic09j.pdf}} \varepsilon\,=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic09k.pdf}}
b\,=\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic09e.pdf}} c_{-1}\,=\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic09h.pdf}} N\,=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic09i.pdf}}
Figure 4.2. Graphical notation for duality maps and shorthand graphical notation for frequently used morphisms.

A Frobenius algebra in a monoidal category is an object A together with a unital algebra and counital coalgebra structure, such that the coproduct is a bimodule map. We denote the structure morphisms as

(4.7) \mu:A\otimes A\to A~{},\quad\eta:\mathbf{1}\to A~{},\quad\Delta:A\to A\otimes A% ~{},\quad\varepsilon:A\to\mathbf{1}\ .

A Frobenius algebra is called \Delta-separable if \mu\circ\Delta=\text{id}_{A}. In a pivotal monoidal category, the Nakayama automorphism N of a Frobenius algebra A takes the form

(4.8) N~{}=~{}~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic08.pdf}}\quad,

where in the above string diagram we use the graphical shorthands for morphisms as collected in Figure 4.2. One checks that N is an algebra and coalgebra automorphism.

After these preliminaries, we formulate the data t,c_{\pm 1} subject to conditions (1)–(5) above in terms of a Frobenius algebra with extra properties. This is done by the same procedure as [NR, Sect. 4.3] and we state the following results without proof.

Define the product \mu:A\otimes A\to A as

(4.9) \mu~{}=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic40.pdf}}\quad.

As in [NR, Sect. 4.3] we make the

Assumptions: 1) The coparing c_{-1} is non-degenerate. 2) The product \mu has a unit \eta:\mathbf{1}\to A.

We denote the pairing dual to the copairing c_{-1} by b:A\otimes A\to\mathbf{1}. Using the graphical shorthands in Figure 4.2, we set

(4.10) \Delta~{}=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic41a.pdf}}~{}=~{% }\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic41b.pdf}}\quad,\qquad% \varepsilon~{}=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic41c.pdf}}~% {}=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic41d.pdf}}\quad.

That the two distinct expressions for \Delta and \varepsilon are indeed equal is straightforward to check, see e.g. [NR, Sect. 4.3]. We have the following theorem, the proof of which is easily adapted from [NR, Sect. 4.3].

Theorem 4.2.
  1. Let t,c_{\pm 1} fulfil relations (1)–(5) in Section 4.1. Under assumpions 1,2 and defining \mu,\eta,\Delta,\varepsilon as above, A is a \Delta-separable Forbenius algebra satisfying N\circ N=\text{id}_{A}.

  2. Let conversely A be a \Delta-separable Forbenius algebra satisfying N\circ N=\text{id}_{A}. Then

    t=\varepsilon\circ\mu\circ(\mu\otimes\text{id}_{A})~{},\quad c_{-1}=\Delta% \circ\eta~{},\quad c_{1}=(N\otimes\text{id})\circ\Delta\circ\eta\ .

    satisfy relations (1)–(5) in Section 4.1, as well as assumpions 1,2.

4.3. State spaces

Consider a surface with defects C which is diffeomorphic to a cylinder with one A-defect connecting the two parametrised boundaries. Let \mathcal{H}_{A} be the state space assigned to the boundary component from which the A-defect points away. In this section we will define two subspaces \mathcal{H}^{NS}\subset\mathcal{H}_{A} and \mathcal{H}^{R}\subset\mathcal{H}_{A} and investigate their properties.

To start with, we will need two more assumption on the behaviour of Q. The first is easy:

Assumption: 3) The QFT Q is non-degenerate.

The second additional assumption is slightly more elaborate. Let X,Y,Z\in\mathcal{D} and f:Z\otimes X\to Y\otimes Z a morphism in \mathcal{D}, i.e. a topological junction field. Consider the two cylinders

(4.11) C_{X,Y,Z}^{f}~{}=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.3]{cpic32a.pdf}% }\qquad,\qquad C_{Y}~{}=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.3]{cpic3% 2b.pdf}}\ .

Here we suppose that the underlying surface of both cylinders is the same, and that the defect graph (but not the labelling) agrees in a neighbourhood of both boundary components. Note that we can then write C_{Y}=C_{Y,Y,\mathbf{1}}^{\text{id}_{Y}}.

Let \mathcal{K}_{Y} be the state space assigned to boundary component 2 of C_{X,Y,Z}^{f} and C_{Y}, and let \mathcal{H}_{X} (resp. \mathcal{H}_{Y}) be that assigned to boundary component 1 of C_{X,Y,Z}^{f} (resp. C_{Y}). We would like to encode the difference between the value of Q on the two cylinders in a linear map T[f]:\mathcal{H}_{X}\to\mathcal{H}_{Y}. That is, we assume:

Assumption: 4) In the situation (4.11) there exists a linear map T[f]:\mathcal{H}_{X}\to\mathcal{H}_{Y} such that for all \phi\in\mathcal{H}_{X} and \psi\in\mathcal{K}_{Y} we have

(4.12) Q(C_{X,Y,Z}^{f})(\phi\otimes\psi)=Q(C_{Y})(T[f](\phi)\otimes\psi)\ .

The linear map T[f] is unique by non-degeneracy in Assumption 3. The symbol “T” is chosen as T[f] behaves like a partial trace:

Lemma 4.3.

Let U,V,W,Z,Z^{\prime}\in\mathcal{D}. Then

  1. for all f:Z^{\prime}\otimes U\to V\otimes Z and h:Z\to Z^{\prime} we have

    T\big{[}\,(\text{id}_{V}\otimes h)\circ f\,\big{]}~{}=~{}T\big{[}\,f\circ(h% \otimes\text{id}_{U})\,\big{]}\ ,
  2. for all f:Z\otimes U\to V\otimes Z and g:Z^{\prime}\times V\to W\otimes Z^{\prime} we have

    T[g]\circ T[f]~{}=~{}T\big{[}\,(g\otimes\text{id}_{Z})\circ(id_{Z^{\prime}}% \otimes f)\,\big{]}\ .
Proof.

For part 1 consider the equalities

(4.13) \displaystyle Q(C_{V})\circ\big{(}T\big{[}\,(\text{id}_{V}\otimes h)\circ f\,% \big{]}\otimes\text{id}\big{)}~{}\overset{(1)}{=}~{}Q\Bigg{(}~{}\raisebox{-0.5% pt}{\includegraphics[scale=0.3]{cpic33a.pdf}}~{}\Bigg{)}
\displaystyle\overset{(2)}{=}~{}Q\Bigg{(}~{}\raisebox{-0.5pt}{\includegraphics% [scale=0.3]{cpic33b.pdf}}~{}\Bigg{)}~{}\overset{(3)}{=}~{}Q(C_{V})\circ\big{(}% T\big{[}\,f\circ(h\otimes\text{id}_{U})\,\big{]}\otimes\text{id}\big{)}\ .

Step 1 is the definition of T, step 2 uses invariance of topological defects and junctions under isotopies, and step 3 is again the definition of T. Non-degeneracy of Q(C_{V}) (Assumption 3) implies the identity in part 1. Part 2 works along the same lines:

(4.14) \displaystyle Q(C_{V})\circ\big{(}(T[g]\circ T[f])\otimes\text{id}\big{)}~{}=~% {}Q\Bigg{(}~{}\raisebox{-0.5pt}{\includegraphics[scale=0.3]{cpic34.pdf}}~{}% \Bigg{)}
\displaystyle=Q(C_{V})\circ\big{(}T\big{[}\,(g\otimes\text{id}_{Z})\circ(id_{Z% ^{\prime}}\otimes f)\,\big{]}\otimes\text{id}\big{)}\ .

In the following computation we fix an underlying cylinder C as in (4.11) and just vary the defect network and junction fields. In all cases a defect of type A will emanate from boundary 1 (the “inner” boundary in the picture), and we denote by \mathcal{H}_{A} the corresponding state space. Using Assumption 4, we define the following endomorphisms of \mathcal{H}_{A}:

(4.15) N_{\mathcal{H_{A}}}:=T[N]~{}~{},\quad P^{NS}:=T[\Delta\circ\mu\circ(N\otimes% \text{id}_{A})]~{}~{},\quad P^{R}:=T[\Delta\circ\mu]\ .

Here, in the first definition N is understood as a morphism \mathbf{1}\otimes A\to A\otimes\mathbf{1}. In terms of cylinders C with defect networks, in the case of P^{NS} for example, we have

(4.16) Q\Bigg{(}~{}\raisebox{-0.5pt}{\includegraphics[scale=0.3]{cpic10.pdf}}~{}\Bigg% {)}~{}=~{}Q(C_{A})\circ(P^{NS}\otimes\text{id})~{}~{}.
Lemma 4.4.
  1. N_{\mathcal{H}} is an involution.

  2. P^{NS} and P^{R} are projectors.

  3. For \delta\in\{NS,R\}, N_{\mathcal{H_{A}}}\circ P^{\delta}=P^{\delta}\circ N_{\mathcal{H_{A}}}.

Proof.

Part 1 is immediate from Lemma 4.3 (2). For part 2 compute

(4.17) P^{NS}\circ P^{NS}~{}\overset{(1)}{=}~{}T\!\left[~{}\raisebox{-0.5pt}{% \includegraphics[scale=0.4]{cpic35a.pdf}}~{}\right]~{}\overset{(2)}{=}~{}T\!% \left[~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic35b.pdf}}~{}\right]% ~{}\overset{(3)}{=}~{}T\!\left[~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4% ]{cpic35c.pdf}}~{}\right]~{}\overset{(4)}{=}~{}P^{NS}\ .

Step 1 is Lemma 4.3 (2), step 2 is associativity, coassociativity and the Frobenius property of A, step 3 is Lemma 4.3 (1) applied to the coproduct, and in step 4 \Delta-separability of A is used and the definition of P^{NS} is substituted. The calculation for P^{R} is similar. Part 3 for \delta=NS follows from

(4.18) \displaystyle N_{\mathcal{H_{A}}}\circ P^{NS} \displaystyle\overset{(1)}{=}T\big{[}\,(N\otimes\text{id})\circ\Delta\circ\mu% \circ(N\otimes\text{id})\,\big{]}\overset{(2)}{=}T\big{[}\,(N\otimes N)\circ% \Delta\circ\mu\,\big{]}
\displaystyle\overset{(3)}{=}T\big{[}\,\Delta\circ\mu\circ(N\otimes N)\,\big{]% }\overset{(4)}{=}P^{NS}\circ N_{\mathcal{H_{A}}}

Steps 1 and 2 are Lemma 4.3, parts (2) and (1), respectively. Step 3 follows as N is an automorphism of the Frobenius algebra A, and step 4 is as step 1. The argument for P^{R} is the same. ∎

We can now define the quantum field theory on spin surfaces Q_{\mathrm{spin}} in terms of Q. Let \Sigma be a spin surface and \Sigma^{d} a corresponding defect surface obtained by steps (a)–(c) in Section 4.1. We set

(4.19) Q_{\mathrm{spin}}(\Sigma):=Q(\Sigma^{d})\ .

By Theorem 4.2 (2) and Proposition 4.1, Q_{\mathrm{spin}}(\Sigma) is independent of the choices made in obtaining \Sigma^{d}.

Lemma 4.5.

Let \Sigma be a spin surface and let \delta_{i}\in\{NS,R\} be the type of the i’th boundary component of \Sigma. Then, for \psi_{i}\in\mathcal{H}_{i}, i=1,\dots,B, we have

(4.20) Q_{\mathrm{spin}}(\Sigma)(\psi_{1}\otimes\cdots\otimes\psi_{B})=Q_{\mathrm{% spin}}(\Sigma)(P^{\delta_{1}}(\psi_{1})\otimes\cdots\otimes P^{\delta_{B}}(% \psi_{B}))

The proof uses invariance of Q_{\mathrm{spin}} under the choice of triangulation and is analogous to that of [NR, Prop. 4.14]; we omit the details.

The above lemma shows that Q_{\mathrm{spin}} will in general be degenerate, but that it can easily be made non-degenerate by restricting to the image of P^{NS/R}. In more detail, one proceeds as follows. Define

(4.21) \mathcal{H}^{\delta}:=\mathrm{im}(P^{\delta})\subset\mathcal{H}\quad\text{% where}\quad\delta\in\{NS,R\}\ .
Lemma 4.6.

Let \delta\in\{NS,R\} and let \Lambda^{\delta} be a spin cylinder with boundary components of type \delta. Then Q_{\mathrm{spin}}(\Lambda^{\delta}):\mathcal{H}^{\delta}_{1}\otimes\mathcal{H}% ^{\delta}_{2}\to\mathbb{C} is non-degenerate.

Proof.

Let C be a surface with defects such that \underline{C}=\underline{\Lambda}^{\delta}. On C place the following defect network:

(4.22) C=\raisebox{-0.5pt}{\includegraphics[scale=0.3]{cpic24.pdf}}

By Assumption 4 we can write Q(C)(\phi\otimes\psi)=Q(C_{(A,-)})(T[f]\phi\otimes\psi) for an appropriate f:\mathbf{1}\otimes A\to A\otimes\mathbf{1}. Using (b\otimes\text{id}_{A})\circ(\text{id}_{A}\otimes c)=\text{id}_{A}=(\text{id}_% {A}\otimes c)\circ(b\otimes\text{id}_{A}) together with Lemma 4.3 (2), one checks that there is a g:\mathbf{1}\otimes A\to A\otimes\mathbf{1} such that T[f]\circ T[g]=\text{id}_{\mathcal{H}_{A}}=T[g]\circ T[f]. Since Q(C_{(A,-)}) is a non-degenerate pairing (Assumption 3) and T[f] is invertible, also (\phi,\psi):=Q(C)(\phi\otimes\psi) is non-degenerate.

Now proceed via steps (a)–(c) in Section 4.1 to construct a cylinder with defect network encoding the spin structure of \Lambda^{\delta}. An analogous calculation has been carried out in [NR, Sect. 4.5]. One finds that the resulting defect network can be simplified as shown in the first equality below – we omit the details:

(4.23) Q_{\mathrm{spin}}(\Lambda^{\delta})(\phi\otimes\psi)=Q\Bigg{(}~{}\raisebox{-0.% 5pt}{\includegraphics[scale=0.3]{cpic25.pdf}}~{}\Bigg{)}(\phi\otimes\psi)=(P^{% \delta}\phi,\psi)\ ,

where \nu=-1 for \delta=NS and \nu=1 for \delta=R. A short calculation shows that (P^{\delta}\phi,\psi)=(\phi,P^{\delta}\psi) for all \phi,\psi, and so the pairing (-,-) remains non-degenerate when restricted to \mathcal{H}^{\delta}. But for \phi,\psi\in\mathcal{H}^{\delta} one has Q_{\mathrm{spin}}(\Lambda^{\delta})(\phi\otimes\psi)=(\phi,\psi), which is therefore non-degenerate. ∎

Lemmas 4.5 and 4.6 show that, apart from the glueing property Q4 which was not discussed,555 Q4 for Q_{\mathrm{spin}} would follow from Q4 for Q and the behaviour of the combinatorial model for the spin structure under glueing as described in [NR, Sect. 3.5] see also [NR, Sect. 4.4], where the glueing procedure is described for the spin state sum TFT. ,

(4.24) Q_{\mathrm{spin}}(\Sigma):\mathcal{H}_{1}^{\delta_{1}}\otimes\cdots\otimes% \mathcal{H}_{B}^{\delta_{B}}\to\mathbb{C}

is a non-degenerate QFT and that one does not loose any information by restricting the arguments from \mathcal{H}_{i} to \mathcal{H}^{NS/R}_{i}.

In the context of 2d TFTs, state spaces defined in terms of projectors similar to P^{NS/R} from (4.15) appear in [BCP, BT, NR].

By Lemma 4.4 (3), the involution N_{\mathcal{H}} maps \mathcal{H}^{NS} to itself, and dito for \mathcal{H}^{R}. We denote these restrictions of N_{\mathcal{H}} by N|_{NS} and N|_{R}, respectively. We stress that we have not required the Nakayama automorphism of A to be parity involution. Accordingly, also the involutions N|_{NS} and N|_{R} do not have to be the parity involution. For theories with fermions, the parity involution is usually denoted by (-1)^{F}, so that in other words, in the formalism developed here it is not imposed that N|_{NS} and N|_{R} act as (-1)^{F}. (Of course, the free fermion example discussed in Sections 5.3 and 5.4 will have this property.)

Finally, we consider the action of Dehn twists on the state spaces \mathcal{H}^{NS/R}. We will need

Assumption: 5) Let \underline{d} be a sequence of defect conditions and let \mathcal{H}_{\underline{d}} be the state space assigned to a boundary component with rotationally symmetric parametrisation (i.e. the metric on the parametrising annulus in \mathbb{C} is invariant under rotations). Then there is an action J of infinitesimal rotations on \mathcal{H}_{\underline{d}} such that

(4.25) Q\Bigg{(}~{}\raisebox{-0.5pt}{\includegraphics[scale=0.3]{cpic26a.pdf}}~{}% \Bigg{)}((e^{2\pi iJ}\psi)\otimes\xi)=Q\Bigg{(}~{}\raisebox{-0.5pt}{% \includegraphics[scale=0.3]{cpic26b.pdf}}~{}\Bigg{)}(\psi\otimes\xi)\ .

In particular, if \underline{d}=(), i.e. if \underline{d} is the trivial defect, then e^{2\pi iJ} is the identity map. Furthermore, e^{2\pi iJ}=\text{id} on the subspace of topological junctions – this relates to pivotality of \mathcal{D}. In terms of the assignment T from Assumption 4, (4.25) can be written as

(4.26) T[\text{id}_{\underline{d}\otimes\underline{d}}]=e^{2\pi iJ}\ .
Lemma 4.7.

On \mathcal{H}^{NS} we have e^{2\pi iJ}=N|_{NS}. On \mathcal{H}^{R} we have e^{2\pi iJ}=\text{id}.

Proof.

Geometrically, this is just the statement that a full rotation amounts to sheet exchange in the boundary parametrisation for an NS-type boundary and to the identity for an R-type boundary. In terms of the combinatorial model, this is described as follows.

Consider the marked triangulation with edge signs of a cylinder as in [NR, Sect. 4.5],

(4.27)

Here, the top and bottom edges are identified, and \nu=-1 if both boundaries are of NS-type and \nu=1 if both boundaries are of R-type. According to Assumption 5, acting with e^{2\pi iJ} on the state space amounts to deforming (the defect network corresponding to) the triangulation above to (the defect network corresponding to) the triangulation below:

(4.28)

The triangulation can be brought back to the form (4.27) via the moves (1)–(5) listed in Section 4.1. One way to do this explicitly is to iterate the following transformation three times:

(4.29) \raisebox{-0.5pt}{\includegraphics[scale=0.3]{cpic29a.pdf}}\overset{\text{$% \frac{1}{3}$ shift}}{\longmapsto}\raisebox{-0.5pt}{\includegraphics[scale=0.3]% {cpic29b.pdf}}\overset{(*)}{\cong}\raisebox{-0.5pt}{\includegraphics[scale=0.3% ]{cpic29c.pdf}}\ .

By “\frac{1}{3} shift” we mean rotating the boundary circle by 2\pi/3, which deforms the triangulation as shown. In (*) the variant of the 2-2 Pachner move from [NR, Prop. 3.19] shown below is used three times, and move (2) “leave exchange” is applied to one of the triangles:

(4.30) \raisebox{-0.5pt}{\includegraphics[scale=0.3]{cpic30a.pdf}}\quad% \longleftrightarrow\quad\raisebox{-0.5pt}{\includegraphics[scale=0.3]{cpic30b.% pdf}}\ .

The overall effect of iterating the above step three times is to replace \varepsilon by \nu\varepsilon. This proves the statement of the lemma. ∎

5. Application to two-dimensional rational conformal field theory

In this section we apply the general considerations above to two-dimensional rational conformal field theories (CFTs). In these theories one has good control over the monoidal category of topological defects which preserve the rational symmetry. This allows one to make the constructions of Section 4 explicit.

5.1. Topological defects in rational conformal field theory

Fix a chiral symmetry algebra, that is, a vertex operator algebra \mathcal{V} (which is not \mathbb{Z}_{2}-graded, i.e. not a vertex operator super algebra). We require \mathcal{V} to be rational in the sense that its representation category \text{Rep}\,\mathcal{V} is modular [MSb, Hu]. This means that \text{Rep}\,\mathcal{V} is a \mathbb{C}-linear finitely semi-simple abelian ribbon category with simple tensor unit and with a non-degeneracy condition on the braiding, see e.g. [BK] for details.

We will say that a CFT has symmetry \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}} if a copy of \mathcal{V} is contained in the holomorphic fields and in the anti-holomorphic fields of the CFT. The overline in the notation \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}} signifies that one copy of \mathcal{V} is embedded in the anti-holomorphic fields.

One approach to study the properties of rational CFT is via the relation to three-dimensional topological field theories [FFFS, FRS1]. In this approach, CFTs with symmetry \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}} which contain the vacuum representation with multiplicity one are classified by Morita classes of simple symmetric \Delta-separable Frobenius algebras in \text{Rep}\,\mathcal{V}, see [FjFRS] and [KR1, Thm. 1.1], [KR2, Thm. 3.22].

The three-dimensional TFT approach to CFT with defects has been developed in detail in [FrFRS, FFS]. Let F be an algebra as above. Topological defects of the CFT described by F which are transparent not only to the stress tensor, but to all fields in \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}}, have an easy representation theoretic interpretation: the defect category \mathcal{D} for such defects is the monoidal category of F-F-bimodules in \text{Rep}\,\mathcal{V} together with bimodule intertwiners.

The situation simplifies significantly if one chooses F=\mathbf{1}:=\mathcal{V}, the monoidal unit in \text{Rep}\,\mathcal{V}. This is known as the Cardy case. Then simply \mathcal{D}=\text{Rep}\,\mathcal{V}, so that in this special case \mathcal{D} is equipped with a braiding and a twist, i.e. it is a ribbon category. Let us describe the state spaces in this simplified setting (see [FrFRS] for the general case). Denote by \{S_{i}\,|\,i\,{\in}\,\mathcal{I}\} a choice of representatives of the isomorphism classes of simple objects in \text{Rep}\,\mathcal{V}. For X\in\mathcal{D} we have

(5.1) \mathcal{H}_{X}\equiv\mathcal{H}_{(X,+)}=\bigoplus_{i,j\in\mathcal{I}}\mathcal% {D}(S_{i}\otimes S_{j},X)\otimes_{\mathbb{C}}S_{i}\otimes_{\mathbb{C}}\bar{S}_% {j}\ .

Let us explain this equation in more detail. The left hand side, as always, stands for the state space of a boundary circle with a defect line labelled X which is oriented away from the boundary circle. On the right hand side, S_{i}\otimes_{\mathbb{C}}\bar{S}_{j} is an irreducible representation of the holomorphic and anti-holomorphic symmetry algebra \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}}. Finally, \mathcal{D}(S_{i}\otimes S_{j},X) is the \mathbb{C}-vector space of intertwiners from S_{i}\otimes S_{j} to X in \mathcal{D}=\text{Rep}\,\mathcal{V}; the “\otimes” in S_{i}\otimes S_{j} stands from the fusion tensor product of \mathcal{V}-modules.

As a special case, consider the defect labelled by the monoidal unit \mathbf{1}. This is the trivial defect, and so \mathcal{H}_{\mathbf{1}} is the space of bulk fields. Indeed, inserting X=\mathbf{1} in the above formula produces \bigoplus_{i\in\mathcal{I}}S_{i}\otimes_{\mathbb{C}}\bar{S}_{i^{*}}, where i^{*}\in\mathcal{I} is the unique index such that S_{i^{*}} is isomorphic to the dual (S_{i})^{*}. This is the space of bulk fields in the Cardy case.

We will write Q_{\mathcal{V}} for the Cardy case conformal field theory for the symmetry \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}}, and \mathcal{D}_{\mathcal{V}}=\text{Rep}\,\mathcal{V} for its symmetry-preserving topological defects. The QFT Q_{\mathcal{V}} satisfies Q1Q3, and Q4 for surfaces of genus 0 and 1,666 More precisely, these results should follow by extending the methods of [HK, Ko] to the present setting with defects by combining it with the TFT description in [FrFRS]. However, the details have so far not been worked out. and for all surfaces if suitable factorisation and monodromy properties of the conformal blocks are assumed [FrFRS, FFS]. Q_{\mathcal{V}} also satisfies Assumptions 3 and 4.

The assignment T from Assumption 4 can easily be given explicitly. Recall the cylinders in (4.11) and the definition of T[f]:\mathcal{H}_{X}\to\mathcal{H}_{Y} in (4.12). Since the defect conditions in \mathcal{D}_{\mathcal{V}} describe defects transparent to \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}}, T[f] must be of the form

(5.2) T[f]=\bigoplus_{i,j\in\mathcal{I}}T[f]_{ij}\otimes_{\mathbb{C}}\text{id}_{S_{i% }\otimes_{\mathbb{C}}\bar{S}_{j}}\ ,

where T[f]_{ij} is a linear map from \mathcal{D}_{\mathcal{V}}(S_{i}\otimes S_{j},X) to \mathcal{D}_{\mathcal{V}}(S_{i}\otimes S_{j},Y). The map T[f]_{ij} can be computed via the methods in [FrFRS] to be, for h\in\mathcal{D}_{\mathcal{V}}(S_{i}\otimes S_{j},X),

(5.3) T[f]_{ij}(h)=\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic37.pdf}}\quad.

The diagram describes the morphism T[f]_{ij}(h):S_{i}\otimes S_{j}\to Y via the standard graphical notation in ribbon categories, see e.g. [BK] or see [FRS1, Sect. 2.1] for our precise conventions.

5.2. Spin theories from defects in the graded case

We will now describe conformal field theories on spin surfaces starting from the product defect category \mathcal{D}\boxtimes\mathcal{D}^{SV}. Here, \mathcal{D} is the category of F-F-bimodules in \text{Rep}\,\mathcal{V}, as described above. According to Section 4.2, to describe a (\mathbb{Z}_{2}-graded) CFT on spin surfaces we need to identify a \Delta-separable Frobenius algebra A in \mathcal{D}\boxtimes\mathcal{D}^{SV} whose Nakayama automorphism is an involution.

By an argument similar to the “orbifolding twice can be combined into a single orbifold” statement in [CRu, Sect. 4.2], one can check that without loss of generality one may choose F=\mathbf{1}, since the choice of F can be absorbed into the choice of A. Thus we choose as our starting point the product of Q_{\mathcal{V}}, the Cardy case conformal field theory for the symmetry \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}}, with the topological theory Q^{SV}. We write \hat{Q} and \hat{\mathcal{H}} for the amplitudes and state spaces of the product theory. The defect category of the product theory is

(5.4) \hat{\mathcal{D}}:=\mathcal{D}_{\mathcal{V}}\boxtimes\mathcal{D}^{SV}=\text{% Rep}\,\mathcal{V}\boxtimes\mathbf{SVect}^{fd}\ .

The category \hat{\mathcal{D}} is a \mathbb{C}-linear additive pivotal monoidal category as we required in Section 3.1. Since we are in the Cardy case, \hat{\mathcal{D}} is in addition ribbon (i.e. braided with a twist). Our choice of ribbon structure on \mathbf{SVect}^{fd} is such that \theta_{V}=\text{id}_{V} for all V\in\mathbf{SVect}^{fd}.

For the simple objects in \mathbf{SVect}^{fd} we choose the representatives

(5.5) K_{+}:=\mathbb{C}^{1|0}\quad,\qquad K_{-}:=\mathbb{C}^{0|1}\ .

We will use the following notations for objects in \hat{\mathcal{D}}: An object which is just the product of two factors (rather than a direct sum of such) is written as U\boxtimes V, U\in\text{Rep}\,\mathcal{V}, V\in\mathbf{SVect}^{fd}; for V being K_{\pm} we use the shorthands U:=U\boxtimes K_{+} and \Pi U:=U\boxtimes K_{-}. We will also write K_{\pm}:=\mathbf{1}\boxtimes K_{\pm}. We choose \{S_{i},\Pi S_{i}|i\in\mathcal{I}\} as representatives of the isomorphism classes of simple objects in \hat{\mathcal{D}}.

As before, \Pi also denotes the parity flip on \mathbf{SVect}. For example, in the following lemma “\Pi(S_{i}\otimes S_{j})” stands for the object (S_{i}\otimes S_{j})\boxtimes K_{-} of \hat{\mathcal{D}}, while \Pi(S_{i}\otimes_{\mathbb{C}}\bar{S}_{j}) stands for the super vector space with \{0\} as even component and the irreducible \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}}-module S_{i}\otimes_{\mathbb{C}}\bar{S}_{j} as odd component.

Lemma 5.1.

Given the state spaces (5.1) of the Cardy case CFT, the state spaces of the product theory are, for X\in\hat{\mathcal{D}},

(5.6) \displaystyle\hat{\mathcal{H}}_{X}\cong\bigoplus_{i,j\in\mathcal{I}}\Big{(} \displaystyle\hat{\mathcal{D}}(S_{i}\otimes S_{j},X)\otimes_{\mathbb{C}}S_{i}% \otimes_{\mathbb{C}}\bar{S}_{j}
\displaystyle   \oplus~{}\hat{\mathcal{D}}(\Pi(S_{i}\otimes S_{j}),X)\otimes_{% \mathbb{C}}\Pi(S_{i}\otimes_{\mathbb{C}}\bar{S}_{j})\Big{)}\ .
Proof.

Any X\in\hat{\mathcal{D}} is isomorphic to U\oplus\Pi V for some U,V\in\mathcal{D}_{\mathcal{V}}. Then also \hat{\mathcal{H}}_{X}\cong\hat{\mathcal{H}}_{U}\oplus\hat{\mathcal{H}}_{\Pi V}. By definition of the product theory, \hat{\mathcal{H}}_{U}=\mathcal{H}_{U}\otimes_{\mathbb{C}}\mathbb{C}^{1|0} and \hat{\mathcal{H}}_{\Pi V}=\mathcal{H}_{V}\otimes_{\mathbb{C}}\mathbb{C}^{0|1}. Since for X=U\oplus\Pi V we have \hat{\mathcal{D}}(S_{i}\otimes S_{j},X)=\mathcal{D}_{\mathcal{V}}(S_{i}\otimes S% _{j},U) and \hat{\mathcal{D}}(\Pi(S_{i}\otimes S_{j}),X)=\mathcal{D}_{\mathcal{V}}(S_{i}% \otimes S_{j},V) we obtain the statement of the lemma. ∎

The action (5.2) of defects on state spaces is transported to the graded case as follows.

Lemma 5.2.

Let X,Y,Z\in\hat{\mathcal{D}} and f:Z\otimes X\to Y\otimes Z. Then T[f]:\hat{\mathcal{H}}_{X}\to\hat{\mathcal{H}}_{Y} is given by

(5.7) T[f]=\bigoplus_{i,j\in\mathcal{I}}\Big{(}T[f]^{+}_{ij}\!\otimes_{\mathbb{C}}% \text{id}_{S_{i}\otimes_{\mathbb{C}}\bar{S}_{j}}~{}\oplus~{}T[f]^{-}_{ij}\!% \otimes_{\mathbb{C}}\text{id}_{\Pi(S_{i}\otimes_{\mathbb{C}}\bar{S}_{j})}\Big{% )}\ ,

where T[f]^{\alpha}_{ij}:\hat{\mathcal{D}}\big{(}(S_{i}\otimes S_{j})\boxtimes K_{% \alpha},X\big{)}\to\hat{\mathcal{D}}\big{(}(S_{i}\otimes S_{j})\boxtimes K_{% \alpha},Y\big{)} is

(5.8) T[f]^{\alpha}_{ij}(h)=\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic38.pdf% }}\qquad;~{}~{}\alpha=\pm 1\ .

Since K_{\pm} is transparent in \hat{\mathcal{D}}, we do not distinguish over- and under-crossings for strings labelled K_{\pm}.

Proof.

It is sufficient to prove the formula for T[f] in the case that all objects and morphisms factorise. That is, X=X^{(1)}\boxtimes X^{(2)}, with X^{(1)}\in\text{Rep}\,\mathcal{V} and X^{(2)}\in\mathbf{SVect}^{fd}, etc. By definition of the product theory in Section 3.2, in this case \hat{\mathcal{H}}_{X}=\mathcal{H}_{X^{(1)}}\otimes_{\mathbb{C}}X^{(2)} and dito for \hat{\mathcal{H}}_{Y}. Let C:=C_{X,Y,Z}^{f} be the cylinder with defect network in (4.11) (with all labels from \hat{\mathcal{D}}), and let C^{(1)} and C^{(2)} be the corresponding cylinders with labels X^{(1)},f^{(1)},\dots and X^{(2)},f^{(2)},\dots, respectively. Then, again by definition of the product theory, \hat{Q}(C)=Q_{\mathcal{V}}(C^{(1)})\otimes_{\mathbb{C}}Q^{SV}(C^{(2)}). The induced map T[f] is then equally a tensor product, T[f]=T[f^{(1)}]\otimes_{\mathbb{C}}T[f^{(2)}], where T[f^{(1)}] is as in (5.2) (with all labels of the form (-)^{(1)}). To make contact with (5.7), we need to rewrite T[f^{(2)}] as an even linear map from \bigoplus_{\alpha\in\{\pm\}}\mathrm{Hom}_{\mathbf{SVect}}(K_{\alpha},X^{(2)})% \otimes_{\mathbb{C}}K_{\alpha} to \bigoplus_{\alpha\in\{\pm\}}\mathrm{Hom}_{\mathbf{SVect}}(K_{\alpha},Y^{(2)})% \otimes_{\mathbb{C}}K_{\alpha}. That is, we set

(5.9) T[f^{(2)}]=\bigoplus_{\alpha\in\{\pm\}}T[f^{(2)}]_{\alpha}\otimes_{\mathbb{C}}% \text{id}_{K_{\alpha}}\ ,

where, for u\in\mathrm{Hom}_{\mathbf{SVect}}(K_{\alpha},X^{(2)}),

(5.10) T[f^{(2)}]_{\alpha}(u)~{}=~{}\raisebox{-0.5pt}{\includegraphics[scale=0.4]{% cpic39.pdf}}\ .

Altogether, for h\in\hat{\mathcal{D}}\big{(}(S_{i}\otimes S_{j})\boxtimes K_{\alpha},X\big{)} of the form h=h^{(1)}\boxtimes h^{(2)},

(5.11) \displaystyle T[f](h^{(1)}\boxtimes h^{(2)}) \displaystyle=\bigoplus_{i,j\in\mathcal{I},\alpha\in\{\pm\}}T[f^{(1)}]_{ij}(h^% {(1)})\boxtimes T[f^{(2)}]_{\alpha}(h^{(2)})\otimes_{\mathbb{C}}\text{id}_{S_{% i}\otimes_{\mathbb{C}}\overline{S}_{j}\otimes_{\mathbb{C}}K_{\alpha}}
\displaystyle=\bigoplus_{i,j\in\mathcal{I},\alpha\in\{\pm\}}T[f]^{\alpha}_{ij}% (h^{(1)}\boxtimes h^{(2)})\otimes_{\mathbb{C}}\text{id}_{S_{i}\otimes_{\mathbb% {C}}\overline{S}_{j}\otimes_{\mathbb{C}}K_{\alpha}}\ .

After these preliminaries, we turn to the analysis of state spaces in the spin theory. Let in the following A be a \Delta-separable Frobenius algebra in \hat{\mathcal{D}} whose Nakayama automorphism N is an involution. For \alpha,\nu\in\{\pm 1\} and i,j\in\mathcal{I}, define the linear endomorphism Q_{\nu}^{i,j,\alpha} of \hat{\mathcal{D}}(S_{i}\otimes S_{j}\otimes K_{\alpha},A) as

(5.12) Q_{\nu}^{i,j,\alpha}=\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic15.pdf}% }\quad.

One checks in a calculation analogous to (4.17) that Q_{\nu}^{i,j,\alpha} is a projector, \big{(}Q_{\nu}^{i,j,\alpha}\big{)}^{2}=Q_{\nu}^{i,j,\alpha}. Applying Lemma 5.2 to the projectors P^{NS/R} on \hat{\mathcal{H}}_{A} defined in Section 4.3 shows that

(5.13) P^{NS/R}=\bigoplus_{i,j\in\mathcal{I}}\Big{(}Q_{\nu}^{i,j,+}\!\otimes_{\mathbb% {C}}\text{id}_{S_{i}\otimes_{\mathbb{C}}\bar{S}_{j}}~{}\oplus~{}Q_{\nu}^{i,j,-% }\!\otimes_{\mathbb{C}}\text{id}_{\Pi(S_{i}\otimes_{\mathbb{C}}\bar{S}_{j})}% \Big{)}\ ,

where \nu=+1 for P^{NS} and \nu=-1 for P^{R}. Recall that the state spaces in the NS- and R-sector were defined as \mathcal{H}^{NS/R}=\mathrm{im}(P^{NS/R})\subset\hat{\mathcal{H}}_{A}. The decomposition of \mathcal{H}^{NS/R} as \mathbb{Z}_{2}-graded \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}}-representations is therefore described by the images of the projectors Q_{\nu}^{i,j,\alpha}. The next lemma will give an alternative description of these images. But first we need some notation.

Given two A-A-bimodules M,N in \hat{\mathcal{D}}, denote by \mathrm{Hom}_{AA}(M,N) the subspace of \hat{\mathcal{D}}(M,N) that intertwines the left and right A-action.

Denote by \lambda^{M}:A\otimes M\to M and \rho^{M}:M\otimes A\to M the left and right A-action on M. Given an object X\in\hat{\mathcal{D}}, write M\otimes^{+}X and M\otimes^{-}X for the A-A-bimodules with left/right action

(5.14) \displaystyle\lambda^{M\otimes^{+}X} \displaystyle=\lambda^{M}\otimes\text{id}_{X}~{}~{}, \displaystyle\rho^{M\otimes^{+}X} \displaystyle=(\rho^{M}\otimes\text{id}_{X})\circ(\text{id}_{M}\otimes c_{A,X}% ^{-1})\ ,
\displaystyle\lambda^{M\otimes^{-}X} \displaystyle=\lambda^{M}\otimes\text{id}_{X}~{}~{}, \displaystyle\rho^{M\otimes^{-}X} \displaystyle=(\rho^{M}\otimes\text{id}_{X})\circ(\text{id}_{M}\otimes c_{X,A}% )\ .

Since K_{\alpha} is transparent, we have M\otimes^{+}K_{\alpha}=M\otimes^{-}K_{\alpha}, and we will just write M\otimes K_{\alpha}.

By {}_{N}A we mean the A-A-bimodule whose left action is twisted by N. Let N_{+}=\text{id}_{A} and N_{-}=N. We will be interested in the A-A-bimodule {}_{N_{\nu}}A\otimes^{+}S_{i}\otimes^{-}S_{j}\otimes K_{\alpha}. Diagramatically, the left and right action are

(5.15)
Lemma 5.3.

The map \varphi:\mathrm{Hom}_{AA}({}_{N_{\nu}}A\otimes^{+}S_{i}\otimes^{-}S_{j}\otimes K% _{\alpha},A)\to\hat{\mathcal{D}}(S_{i}\otimes S_{j}\otimes K_{\alpha},A), \varphi(h)=h\circ(\eta\otimes\text{id}_{S_{i}\otimes S_{j}\otimes K_{\alpha}}) is injective and has image \mathrm{im}(Q_{\nu}^{i,j,\alpha}).

Proof.

That \varphi(h)\in\mathrm{im}(Q_{\nu}^{i,j,\alpha}) for all h can be seen as follows:

(5.16) \displaystyle Q_{\nu}^{i,j,\alpha}(\varphi(h)) \displaystyle\overset{(1)}{=}~{}~{}\raisebox{-0.5pt}{\includegraphics[scale=0.% 4]{cpic17a.pdf}}\quad\overset{(2)}{=}~{}~{}\raisebox{-0.5pt}{\includegraphics[% scale=0.4]{cpic17b.pdf}}
\displaystyle\overset{(3)}{=}\quad\raisebox{-0.5pt}{\includegraphics[scale=0.4% ]{cpic17c.pdf}}\quad\overset{(4)}{=}\quad\raisebox{-0.5pt}{\includegraphics[sc% ale=0.4]{cpic17d.pdf}}\overset{(5)}{=}~{}~{}\varphi(h)\ .

In step 1 the definition (5.12) of Q_{\nu}^{i,j,\alpha} as well as that of \varphi(h) are inserted, and the coproduct is traded for a product and a copairing \Delta\circ\varepsilon via the Frobenius property. Step 2 is compatibility of f with the right action. In step 3 first the unit property is used to remove one of the units. Then one sees that the left-most expression in (4.2) (with c_{-1}) appears. By Theorem 4.2, this can be replaced by c_{1}. Step 4 uses that h intertwines the left action on A and on {}_{N_{\nu}}A (and that N_{\nu}^{\,2}=\text{id}_{A}). Step 5 follows from \Delta-separability of A.

Next, consider the map \psi:\mathrm{im}(Q_{\nu}^{i,j,\alpha})\to\mathrm{Hom}_{AA}({}_{N_{\nu}}A% \otimes^{+}S_{i}\otimes^{-}S_{j}\otimes K_{\alpha},A) given by \psi(f)=\mu\circ(N_{\nu}\otimes f). To check that \psi(f) is indeed an A-A-bimodule morphism, one uses f=Q_{\nu}^{i,j,\alpha}(f) to move the right-A-action to the left:

(5.17) \displaystyle\mu\circ(f\otimes\text{id}_{A}) \displaystyle=\mu\circ(Q_{\nu}^{i,j,\alpha}(f)\otimes\text{id}_{A})=\dots
\displaystyle=\mu\circ(N_{\nu}\otimes f)\circ(c_{S_{i},A}\otimes\text{id}_{S_{% j}}\otimes\text{id}_{K_{\alpha}})
\displaystyle\qquad\circ(\text{id}_{S_{i}}\otimes c_{A,S_{j}}^{-1}\otimes\text% {id}_{K_{\alpha}})\circ(\text{id}_{S_{i}}\otimes\text{id}_{S_{j}}\otimes c_{K_% {\alpha},A})

The intermediate steps abbreviated by “…” can for example be carried out in string diagram notation as we did in (5.16), we omit the details.

It is immediate that \psi satisfies \varphi(\psi(f))=f for all f\in\mathrm{im}(Q_{\nu}^{i,j,\alpha}), as well as \psi(\varphi(h))=h for all h\in\mathrm{Hom}_{AA}({}_{N_{\nu}}A\otimes^{+}S_{i}\otimes^{-}S_{j}\otimes K_{% \alpha},A). ∎

The explicit form (5.13) of the projectors P^{NS/R} and Lemma 5.3 provide the proof of the following theorem, which summarises the discussion of the state spaces in the spin theory.

Theorem 5.4.

Let A\in\hat{\mathcal{D}} be a \Delta-separable Frobenius algebra whose Nakayama automorphism is an involution. Let \mathcal{H}^{NS} and \mathcal{H}^{R} be the Neuveu-Schwarz and Ramond state spaces of the spin theory defined by A as in Section 4. The decomposition of \mathcal{H}^{NS/R} as \mathbb{Z}_{2}-graded \mathcal{V}\otimes_{\mathbb{C}}\bar{\mathcal{V}}-representations is given by

(5.18) \displaystyle\mathcal{H}^{NS} \displaystyle=\bigoplus_{i,j\in\mathcal{I}}\Big{(}\mathrm{Hom}_{AA}(A\otimes^{% +}S_{i}\otimes^{-}S_{j},A)\otimes_{\mathbb{C}}S_{i}\otimes_{\mathbb{C}}\bar{S}% _{j}
\displaystyle            ~{}\oplus~{}\mathrm{Hom}_{AA}(A\otimes^{+}S_{i}% \otimes^{-}S_{j}\otimes K_{-},A)\otimes_{\mathbb{C}}\Pi(S_{i}\otimes_{\mathbb{% C}}\bar{S}_{j})\Big{)}\ ,
\displaystyle\mathcal{H}^{R} \displaystyle=\bigoplus_{i,j\in\mathcal{I}}\Big{(}\mathrm{Hom}_{AA}({}_{N}A% \otimes^{+}S_{i}\otimes^{-}S_{j},A)\otimes_{\mathbb{C}}S_{i}\otimes_{\mathbb{C% }}\bar{S}_{j}
\displaystyle            ~{}\oplus~{}\mathrm{Hom}_{AA}({}_{N}A\otimes^{+}S_{i}% \otimes^{-}S_{j}\otimes K_{-},A)\otimes_{\mathbb{C}}\Pi(S_{i}\otimes_{\mathbb{% C}}\bar{S}_{j})\Big{)}\ .

Variants of the isomorphism in Lemma 5.3 and the description of the state spaces in Theorem 5.4 also appear in [FRS1, Sect. 5.4] (for symmetric Frobenius algebras, so without distinguishing NS- and R-state spaces) and in [BCP, Sect. 3.2] (when Q_{\mathcal{V}} is also topological, so that S_{i}=S_{j}=\mathbf{1}).

5.3. Example: Ising model

Here we will start from the two-dimensional critical Ising model – the Virasoro minimal model conformal field theory of central charge \tfrac{1}{2} – and will show how in the graded setup one can recover the theory of a free fermion.

Let \mathcal{V} be the simple Virasoro vertex operator algebra at c=\frac{1}{2} and let \mathbf{Is}=\text{Rep}\,\mathcal{V} be its representation category. Then \mathbf{Is} has three simple objects, which we denote as follows (here, h is the conformal weight of the ground state)

(5.19) \mathbf{1}\quad(h=0)~{}~{},\qquad\epsilon\quad(h=\tfrac{1}{2})~{}~{},\qquad% \sigma\quad(h=\tfrac{1}{16})\ .

The non-trivial fusion rules are \epsilon\otimes\sigma\cong\sigma\otimes\epsilon\cong\sigma and \sigma\otimes\sigma\cong\mathbf{1}\oplus\epsilon. We hope that there will be no confusion between the simple object \epsilon and the counit \varepsilon of the algebra A we will define shortly.

A full description of the ribbon structure of \mathbf{Is} can be found in many places, for example in [FRS2, Sect. 4.2]. Here we just need to know the following properties. Firstly, the braiding, twist and quantum-dimension of \epsilon satisfy

(5.20) c_{\epsilon,\epsilon}=-\text{id}_{\epsilon\otimes\epsilon}\quad,\qquad\theta_{% \epsilon}=-\text{id}_{\epsilon}\quad,\qquad\dim(\epsilon)=1\ .

Secondly, we can reconnect \epsilon-lines as follows

(5.21) \raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic18a.pdf}}~{}=~{}\raisebox{-0% .5pt}{\includegraphics[scale=0.4]{cpic18b.pdf}}\quad.

Finally, if S is one of the simple objects, S\in\{\mathbf{1},\epsilon,\sigma\}, then

(5.22) c_{\epsilon,S}=q_{S}\cdot c_{S,\epsilon}^{-1}\ ,

where q_{\mathbf{1}}=q_{\epsilon}=1 and q_{\sigma}=-1 (the quantity q_{S} is called the monodromy charge of S with respect to \epsilon).

We could now look for a suitable algebra in \mathbf{Is}, for example \mathbf{1}\oplus\epsilon. But the unique-up-to-isomorphism \Delta-separable Frobenius algebra structure on \mathbf{1}\oplus\epsilon is symmetric, i.e. N=\text{id}. The theory on spin surfaces constructed from a symmetric A will be insensitive to the spin structure, since c_{+1}=c_{-1} in the symmetric case and so the theory does not depend on the edge signs.

This outcome is maybe not too surprising since a holomorphic free fermion forms a vertex operator super algebra, whose even component is \mathbf{1} and whose odd component is \epsilon. Hence we will now pass to the graded case.

Define

(5.23) \widehat{\mathbf{Is}}:=\mathbf{Is}\boxtimes\mathbf{SVect}^{fd}\ .

and in \widehat{\mathbf{Is}} consider the object A:=\mathbf{1}\oplus\Pi\epsilon. For simplicity we replace \widehat{\mathbf{Is}} by an equivalent strict category. We recall our convention for the ribbon structure on \mathbf{SVect}^{fd}:

(5.24) \displaystyle c_{K_{-},K_{-}}=-\text{id}_{K_{-}\otimes K_{-}}~{}~{},\quad% \theta_{K_{-}}=\text{id}_{K_{-}}~{}~{},\quad\dim(K_{-})=-1\ ,
\displaystyle\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic18c.pdf}}~{}=~{% }-\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic18d.pdf}}

To give the algebra and coalgebra structure, pick a nonzero element

(5.25) \lambda^{(\Pi\epsilon,\Pi\epsilon),\mathbf{1}}\in\widehat{\mathbf{Is}}(\Pi% \epsilon\otimes\Pi\epsilon,\mathbf{1})\ .

Define furthermore

(5.26) \lambda^{(\mathbf{1},\mathbf{1}),\mathbf{1}}=\text{id}_{\mathbf{1}}~{}~{},% \quad\lambda^{(\Pi\epsilon,\mathbf{1}),\Pi\epsilon}=\text{id}_{\Pi\epsilon}~{}% ~{},\quad\lambda^{(\mathbf{1},\Pi\epsilon),\Pi\epsilon}=\text{id}_{\Pi\epsilon% }\ ,

and let us agree that all \lambda^{(a,b)c} for which the corresponding morphism space in \widehat{\mathbf{Is}} is zero-dimensional are set to zero. Then the multiplication on A is

(5.27) \mu:=\sum_{a,b,c\in\{\mathbf{1},\Pi\epsilon\}}\lambda^{(a,b)c}\ .

One verifies that this is an associative product (for example by using the explicit fusing matrices given in [FRS2, Sect. 4.2]). The unit \eta of \mu is the embedding e_{\mathbf{1}}:\mathbf{1}\to A of the monoidal unit. With (5.20) and (5.24) it is straightforward to check that A is commutative:

(5.28) \mu\circ c_{A,A}=\mu\ .

To define the comultiplication, choose basis morphisms \lambda^{c(a,b)}:c\to a\otimes b dual to the \lambda^{(a,b)c} in the sense that \lambda^{(a,b)c}\circ\lambda^{c(a,b)}=\text{id}_{c} whenever \lambda^{(a,b)c}\neq 0 (otherwise set \lambda^{c(a,b)}=0). Then we define the comultiplication on A to be

(5.29) \Delta:=\tfrac{1}{2}\hskip-10.0pt\sum_{a,b,c\in\{\mathbf{1},\Pi\epsilon\}}% \hskip-10.0pt\lambda^{c(a,b)}

with counit \varepsilon=2p_{\mathbf{1}}:A\to\mathbf{1}, and where p_{\mathbf{1}} is the projection on the summand \mathbf{1} of A. A short calculation shows that A is \Delta-separable (this is the reason for the factors of 2).

The Nakayama automorphism N of A can be computed as follows:

(5.30) N~{}\overset{\text{deform \eqref{eq:Nakayama-def}}}{=}\quad\raisebox{-0.5pt}{% \includegraphics[scale=0.4]{cpic19a.pdf}}\quad\overset{(*)}{=}\quad\raisebox{-% 0.5pt}{\includegraphics[scale=0.4]{cpic19b.pdf}}\quad\overset{\text{Frob.}}{=}% ~{}\theta_{A}=\text{id}_{\mathbf{1}}-\text{id}_{\Pi\epsilon}\ ,

where (*) is commutativity of A and naturality of the twist \theta_{A}. In the last step we used (5.20) and (5.24) to conclude \theta_{A}=\text{id}_{\mathbf{1}}-\text{id}_{\Pi\epsilon}. In particular, N^{2}=id_{A}. Thus, altogether,

A is a \Delta-separable Frobenius algebra whose Nakayama automorphism is an involution.

In fact, A has another property which we will use below, namely

(5.31) \mu\circ(N\otimes\text{id}_{A})\circ\Delta=0\ ,

which one again checks by direct calculation. This property was investigated for 2d TFTs in [NR, Sect. 4.9] and was found to enforce the admissibility conditions (2.1) and (2.2) for edge signs by setting amplitudes with non-admissible configurations to zero.

Next we compute the NS- and R-state spaces. To do so we need one more ingredient, which is that for S\in\{\mathbf{1},\epsilon,\sigma\} we have

(5.32) c_{A,S}=c_{S,A}^{-1}\circ(\omega_{S}\otimes\text{id}_{S})\ ,

where \omega_{\mathbf{1}}=\text{id}_{A}=\omega_{\epsilon} and \omega_{\sigma}=N. This follows directly from (5.22). Using this, we compute the action of Q_{\nu}^{S,S^{\prime},\alpha} on \widehat{\mathbf{Is}}(S\otimes S^{\prime}\otimes K_{\alpha},A) to be:

(5.33) Q_{\nu}^{S,S^{\prime},\alpha}(h)~{}\overset{\text{\eqref{eq:S-through-A-omegaS% }}}{=}\quad\raisebox{-0.5pt}{\includegraphics[scale=0.4]{cpic20a.pdf}}\quad% \overset{\text{$A$ comm.}}{=}\quad\raisebox{-0.5pt}{\includegraphics[scale=0.4% ]{cpic20b.pdf}}\quad\overset{(*)}{=}~{}\delta_{N_{\nu},\omega_{S}}\cdot h\ ,

where (*) uses \theta_{A}=N and the fact that by \Delta-separability and by (5.31), \mu\circ(\text{id}_{A}\otimes(N_{\nu}\circ\omega_{S}))\circ\Delta is either \text{id}_{A} or 0, depending on whether N_{\nu}\circ\omega_{S} equals \text{id}_{A} or N. This result for the image of Q can be plugged into (5.13) to read off the state spaces.

We also observe that because of the fusion rules of \mathbf{Is} and for parity reasons, \widehat{\mathbf{Is}}(S\otimes S^{\prime}\otimes K_{\alpha},A) is at most one-dimensional. Non-zero elements of this morphism space have image in \mathbf{1}\subset A if \alpha=+ and in \Pi\epsilon\subset A if \alpha=-. It follows that N|_{NS/R} acts as the parity involution, that is, it acts as id on S\otimes_{\mathbb{C}}S^{\prime} and as -\text{id} on \Pi(S\otimes_{\mathbb{C}}S^{\prime}).

Let us collect the results of the above discussion in two tables, whose entries give the multiplicity super vector space of the corresponding representation S\otimes_{\mathbb{C}}S^{\prime} in \hat{\mathcal{H}}^{NS/R}:

(5.34) \hat{\mathcal{H}}^{NS}~{}:~{}\begin{tabular}[]{c|ccc}&$\mathbf{1}$&$\epsilon$&% $\sigma$\\ \hline$\mathbf{1}$&$\mathbb{C}^{1|0}$&$\mathbb{C}^{0|1}$&$0$\\ $\epsilon$&$\mathbb{C}^{0|1}$&$\mathbb{C}^{1|0}$&$0$\\ $\sigma$&$0$&$0$&$0$\end{tabular}\quad,\qquad\hat{\mathcal{H}}^{R}~{}:~{}% \begin{tabular}[]{c|ccc}&$\mathbf{1}$&$\epsilon$&$\sigma$\\ \hline$\mathbf{1}$&$0$&$0$&$0$\\ $\epsilon$&$0$&$0$&$0$\\ $\sigma$&$0$&$0$&$\mathbb{C}^{1|1}$\end{tabular}\qquad,

and N|_{NS/R} acts by parity involution on the multiplicity space.

This is the expected result for free fermions: the NS-sector consists of a holomorphic and an anti-holomorphic free fermion with \mathbb{Z}_{2}-grading given by fermion number. The R-sector contains two twist fields of weight (\frac{1}{16},\frac{1}{16}) due to the two-dimensional representation of the fermion zero mode algebra. The statement of Lemma 4.7 in the present case is as follows. In CFT we have J=L_{0}-\bar{L}_{0}, and so \exp(2\pi i(L_{0}-\bar{L}_{0})) acts as N|_{NS} on \mathcal{H}^{NS} and as the identity on \mathcal{H}^{R}. This can of course also be read off directly from the conformal weights in above table.

5.4. Example: affine so(n) at level 1

The WZW model with symmetry \widehat{so}(n)_{1} (n\geq 3) has a description in terms of n free fermions. This example hence extends the previous one and we will be brief. Let \mathbf{S}_{n} be the modular tensor category of integrable highest weight representations of \widehat{so}(n)_{1}. The simple objects of \mathbf{S}_{n} together with the conformal weight of their ground states are:

n even

[.6em] symbol 1 v s c weight h 0 \frac{1}{2} \frac{n}{16} \frac{n}{16}

n odd

[.6em] symbol 1 v \sigma weight h 0 \frac{1}{2} \frac{n}{16}

Here, 1 is the vacuum representation, and v, s, c stands for “vector”, “spinor”, and “conjugate spinor”. The fusion rules are (we omit the “\otimes” for brevity)

n odd vv\cong 1~{},~{}~{}v\sigma\cong\sigma~{},~{}~{}\sigma\sigma\cong 1\oplus v
n\equiv 0\mod 4 vv\cong ss\cong cc\cong 1~{},~{}~{}sc\cong v
n\equiv 2\mod 4 vv\cong sc\cong 1~{},~{}~{}ss\cong cc\cong v

The monodromy charges are given by c_{v,S}\,c_{S,v}=q_{S}\,\text{id}_{S\otimes V}, where q_{S}=\theta_{v\otimes S}/(\theta_{v}\theta_{S}). Explicitly,

S 1 v s c \sigma
q_{S} 1 1 -1 -1 -1

.

As in the Ising case, we consider \hat{\mathbf{S}}_{n}:=\mathbf{S}_{n}\boxtimes\mathbf{SVect}^{fd} and therein the algebra A=1\oplus\Pi v. Again, the NS-sector is build from representations with q_{S}=1 and the R-sector from representations with q_{S}=-1. For the NS-state space one finds:

\displaystyle\qquad n\text{ even} \displaystyle\qquad n\text{ odd}
(5.35) \displaystyle\hat{\mathcal{H}}^{NS}~{}:
\mathbf{1} v s c
\mathbf{1} \mathbb{C}^{1|0} \mathbb{C}^{0|1} 0 0
v \mathbb{C}^{0|1} \mathbb{C}^{1|0} 0 0
s 0 0 0 0
c 0 0 0 0
\displaystyle\begin{tabular}[]{c|ccc}&$\mathbf{1}$&$v$&$\sigma$\\ \hline$\mathbf{1}$&$\mathbb{C}^{1|0}$&$\mathbb{C}^{0|1}$&$0$\\ $v$&$\mathbb{C}^{0|1}$&$\mathbb{C}^{1|0}$&$0$\\ $s$&$0$&$0$&$0$\end{tabular}\quad.

For the R-state space one has to distinguish three cases:

\displaystyle n\equiv 0\!\!\mod 4 \displaystyle n\equiv 2\!\!\mod 4
(5.36) \displaystyle\hat{\mathcal{H}}^{R}~{}:
\mathbf{1} v s c
\mathbf{1} 0 0 0 0
v 0 0 0 0
s 0 0 \mathbb{C}^{1|0} \mathbb{C}^{0|1}
c 0 0 \mathbb{C}^{0|1} \mathbb{C}^{1|0}
\displaystyle\qquad n\text{ odd}
\displaystyle\begin{tabular}[]{c|ccc}&$\mathbf{1}$&$v$&$\sigma$\\ \hline$\mathbf{1}$&$0$&$0$&$0$\\ $v$&$0$&$0$&$0$\\ $s$&$0$&$0$&$\mathbb{C}^{1|1}$\end{tabular}\quad.

References

Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
100999
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description