Frobenius-Schur Indicators and the Mapping Class Group of the Torus

The Turaev-Viro state sum invariant can be extended to 3-manifolds with free boundaries. We use this fact to describe generalized Frobenius-Schur indicators as Turaev-Viro invariants of solid tori. This provides a geometric understanding of the $\mathrm{SL}(2,\mathbb{Z})$-equivariance of these indicators.


Introduction
Let K be an algebraically closed field.The Frobenius-Schur indicator assigns a scalar ν(V ) ∈ K to a finite-dimensional K-linear representation V of a finite group G.The concept of a Frobenius-Schur indicator has found its natural conceptual home in the context of spherical fusion categories [KSZ06; SZ07] [NS07b; NS10].In full generality, given a fixed spherical fusion category C over K, the Frobenius-Schur indicator ν X n,r (V ) ∈ K is a scalar assigned to an object V ∈ C, with an additional argument in the Drinfeld center X ∈ Z(C), and (n, r) ∈ Z × Z. Specializing to the case C = G-rep, X = 1, n = 2, r = 1, one obtains the classical indicator ν(V ) = ν 1 2,1 (V ).We recall the definition in Section 2 (Definition 10).
In the upper argument X, the Frobenius-Schur indicator is additive with respect to direct sums.This allows us to extend the range of this argument from objects X ∈ Z(C) in the Drinfeld center to elements of the Grothendieck algebra of the Drinfeld center, K 0 (Z(C)) ⊗ Z K.The Drinfeld center Z(C) is a modular fusion category, hence the K-vector space K 0 (Z(C)) ⊗ Z K comes with the structure of a left action of the modular group SL(2, Z), see [NS10,Sec. 1.4].The group SL(2, Z) also acts on the lower argument (n, r) of the indicator via right matrix multiplication.
In this general form, Frobenius-Schur indicators have found several applications.
Application 1. Kashina, Sommerhäuser and Zhu extensively study higher Frobenius-Schur indicators in representation categories of semisimple Hopf algebras in [KSZ06].(Note that the representation category of a semisimple Hopf algebra has a canonical pivotal structure.)In their work, three distinct formulae for the indicators are presented.Their results include a generalization of the classical theorem on Frobenius-Schur indicators [KSZ06, Thm.2.4], as well as relations to other invariants, among them the following (previously conjectured) result: If p ∈ K is a prime in an algebraically closed field of characteristic zero, and p divides dim H (where H is a semisimple finite-dimensional Hopf algebra over K), then p also divides the so-called exponent exp H of H [KSZ06, Thm.3.4].
Application 2. In [NS08], Ng and Schauenburg apply the definition of higher Frobenius-Schur indicators for X = 1 to the case of semisimple quasi-Hopf algebras.They present four quasi-Hopf algebras whose representation categories share the same number of (isomorphism classes of) simple objects and the same fusion rules, and use the indicators to show that nevertheless, these categories are inequivalent as monoidal categories.Before their work, it had been known that precisely four inequivalent fusion categories of this type exist, but an explicit construction in terms of representation categories had not been presented.
Different quasi-Hopf algebras with tensor-equivalent representation categories share the same (higher) Frobenius-Schur indicators.Ng and Schauenburg establish inequivalence by finding a family of representations -one for each of the four quasi-Hopf algebras -that are necessarily identified by any tensor equivalence.They then explicitly compute some indicators and show that they do not agree [NS08, Thm.6.1].To this end, the second (classical) Frobenius-Schur indicator is not sufficient and higher indicators are needed.
Application 3. Finally, we remark that the full generality of Definition 10 has been used to prove the congruence subgroup conjecture, in [SZ07, Thms.9.3 and 9.4] for semisimple Hopf algebras, and in [NS10, Thms.6.7 and 6.8] in the context of spherical fusion categories, along with some conjectures about rational conformal field theory [NS10,Sec. 8].In this application, it is important to consider for X ∈ Z(C) also objects different from the monoidal unit.
While the equivariance (1.1) has proven to be useful, its algebraic proofs in [SZ07] and [NS10] only provide limited insight into its conceptual origin.The purpose of this note is to provide such an understanding in topological terms.
The basic idea is to obtain the Frobenius-Schur indicator from the evaluation of a topological field theory (TFT) associated to the spherical fusion category C on a suitable 3-manifold.Concretely, we build on the construction of a state-sum theory in the formulation of Turaev and Virelizier [TV17].An important algebraic feature of the Frobenius-Schur indicator is the fact that both the category C and its Drinfeld center Z(C) appear.The Drinfeld center naturally appears in Turaev-Viro invariants of closed oriented 3-manifolds.To see also objects in C itself, we extend the notion of Turaev-Viro invariants to 3-manifolds with boundary.Note that in contrast to the manifolds with boundary that most commonly appear in this context (e.g. in [TV17]), our boundaries are not "gluing" boundaries that arise when cutting a larger 3-manifold into pieces, but "physical" or free boundaries.Consequently, a scalar (not a linear map, as one might expect) is assigned to a 3-manifold with free boundary.As usual for state-sum constructions, auxiliary structure is needed.Following [TV17], we use a skeleton embedded in the manifold (similar to a triangulation).We describe this construction in Section 3. In Section 4, we show that the Frobenius-Schur indicator is obtained for a specific skeleton from a solid torus with additional structure, namely embedded links (Wilson lines) in the interior and on the boundary.This is the content of Proposition 14.An example for such a solid torus is given in picture (4.2), the skeleton we use in (4.3).
In this setup, the SL(2, Z)-equivariance can be related to geometry: SL(2, Z) is the mapping class group of the two-dimensional torus.Using standard techniques from topological field theory, we can cut the solid torus along an embedded torus into two connected components, and glue them together again along an element of the mapping class group.This is illustrated in the picture (5.1) in Section 5. We show that this operation amounts to acting with the corresponding element of SL(2, Z) on the upper argument of the Frobenius-Schur indicator; it also amounts to acting on the lower argument.This fact implies the equivariance (1.1).
Our construction uses explicit skeleta.The arguments can be extended to an alternative proof of SL(2, Z)-equivariance.However, such a proof requires a lot of elaboration and technical arguments, in particular about skeleta, that do not add to the conceptual understanding of the well-established equivariance property (see Remark 17).It is therefore much more attractive to complete a proof by showing that our construction of assigning scalars to 3-manifolds with boundary, together with the usual Turaev-Viro theory, assemble into a TFT defined on a cobordism category with free boundaries.Such a proof, unfortunately, is beyond the scope of this note and is relegated to future work.From this perspective, the construction in this note may be seen as a consistency check that it makes sense to generalize the Turaev-Viro TFT to cobordisms with free boundary.

Preliminaries
Throughout this work, let C denote a spherical fusion category over an algebraically closed field K of characteristic 0. We follow the conventions in [EGNO15], and proceed to make some definitions more explicit and introduce some notation.
We write the data of a monoidal category as (C, ⊗, 1), or simply as C, consistently suppressing associativity and unitality constraints in notation.
For a monoidal category C, we use the following notion of duality: A right dual of an object X ∈ C is an object X ∨ ∈ C, together with morphisms ev X : X ∨ ⊗ X → 1 and coev X : 1 → X ⊗ X ∨ , satisfying zig-zag relations.In the same situation, X together with these morphisms is called a left dual of X ∨ .
A basic example for a category with duals, which we recall in order to introduce a notational convention, is the category vect of finite-dimensional K-vector spaces.A right dual of a (finitedimensional) vector space V is given by the linear dual V * , with the evaluation given by the standard pairing.In terms of a basis (α i ) and the corresponding dual basis (α * i ) the coevaluation in V is defined by We here introduced a form of the Einstein summation convention, dropping the sum from the notation, or even the summation index.This convention will in particular be applied to hom-spaces.
A pivotal structure on a rigid monoidal category C is a monoidal natural isomorphism j : id C → (−) ∨∨ .In a pivotal category C, that is, a rigid monoidal category with pivotal structure, we can define left and right traces of endomorphisms f , tr l (f ) and tr r (f ).These are morphisms 1 → 1, which, if C is a K-linear category with simple unit 1, correspond under the canonical identification Hom C (1, 1) ∼ = K to a scalar.The left and right (pivotal) dimensions dim l (X) and dim r (X) of an object X ∈ C are given by the corresponding traces of the identity.A pivotal structure is said to be spherical if tr r (f ) = tr l (f ) for any endomorphism f of any object X.In this case, we drop the subscripts r and l from the expressions for traces and dimensions, and abbreviate further d X = dim(X).
There is a coherence theorem for pivotal monoidal categories [NS07b, Thm.2.2], which states that any pivotal monoidal category is equivalent (under a suitable notion of pivotal monoidal equivalence) to a strict pivotal monoidal category, in which the tensor product is strict and j is the identity.This justifies omitting the pivotal constraint j from our notation when we work with these categories.Moreover, we do not distinguish right duals and left duals, and write in pivotal categories X * for the two-sided dual of an object X.
In a spherical fusion category C, the dimensions of simple objects are non-zero [EGNO15, Prop.4.8.4].We will always denote by I a complete set of representatives of simple objects, and assume that the representative of [1] is 1.We define the dimension of the category as Note that some authors [BK10] define the dimension to be the square root of this quantity instead.
Moreover, the pairing is non-degenerate (semisimplicity is essential for this), inducing an isomorphism (2.3) We will make heavy use of the graphical calculus of string diagrams appropriate for spherical fusion categories, with conventions similar to those in e.g.[BK10].Recall that the principal feature of string diagrams in spherical fusion categories is that closed diagrams on the sphere S 2 can be evaluated to a scalar in K (see [TV17, Lem.2.9]).
We will often consider pairs of dual bases of a hom-space.These will be denoted by lowercase greek letters α, β, . . . .We adopt the summation conventions from (2.1) to the graphical calculus: Whenever we draw a string diagram in which a coupon is labeled by α (or β, . . .), and another coupon is labeled by α * , we evaluate it as follows.Choose a basis (α i ) of a hom-set appropriate for the α-labeled coupon, and denote by (α * i ) the image of the dual basis under the isomorphism (2.3).We require that the adjacent strands of the α * -coupon are such that the the coupon is allowed to be labeled by the elements α * i .Then we replace the labels α and α * by α i and α * i , and take the sum over i.As an example, the following lemma uses this convention: Lemma 4. Let X, Y ∈ C, and F : Hom C (X, Y ) → Hom C (X, Y ) a linear map.Then the following equality holds for the trace Tr of linear endomorphisms of vector spaces: Proof.The string diagram depicted involves a choice of basis (α i ) of Hom C (X, Y ) (but we will see that its value in K is independent of this choice).The identification (2.3) determines a dual basis (α * i ) of Hom C (Y, X).The basis (α i ) also determines a matrix representing F , whose components we denote by F ij .The diagram is then evaluated as We recall some more rules for string diagrams in spherical fusion categories.In the lemmata below, single strands labeled by capital letters X, Y, . . .can be replaced by a collection of parallel strands.Γ-labeled coupons are always meant to be a suitable morphism.
In particular, string diagrams with coupons labeled by pairs of dual bases come with useful rules that allow us to simplify them.The following lemma shows that we can dissolve strands.A detailed proof can be found in [Pas18, Lem.1.8].It is clear that finiteness of the category C is necessary to state the lemma, and semisimplicity is required in the proof.
In other instances, disconnected subgraphs can be glued together along a pair of dual coupons: Note that the coupons Γ 1 , Γ 2 can themselves be replaced by string diagrams, making this a statement about two disconnected closed diagrams, each having a coupon labeled by one of two bases that are dual to one another.
Proof.This is a corollary of Lemma 5.By Schur's Lemma, any morphism 1 → i, for i = 1 simple, is zero.Since C is a fusion category, 1 is simple, so in the sum
Lemma 7. Let X, Y ∈ C and let (ϕ i,α ) α=1...[i:X] be, for each i ∈ I, a basis of Hom C (i, X), and similarly (ψ i,α ) α=1...[i:Y ] be a basis of Hom C (i, Y ).Denote by ϕ α i , ψ α i the elements of the dual bases.Then the maps form a basis of Hom C (X, Y ), and the dual basis of Hom C (Y, X) is given by This implies the following rule for string diagrams, for any morphism Γ: Proof.This follows by a direct computation using Schur's lemma.
Lemma 8. Similarly, we have the following rule for all endomorphisms Γ of any object X ∈ C.
Proof.By Lemma 6, the left-hand side is equal to We again use Lemma 6 to eliminate the vertices labeled by α.In this way, the strands labeled by i form a circle, which brings an additional factor d i to the term: After applying Lemma 6 once more to dissolve the coupons labeled by β, we obtain the right-hand side in Lemma 8.
Coupons labeled by a pair of dual bases will appear excessively in the string diagrams we consider, so we will employ the following convention: Convention 9. When drawing a string diagram with some unlabeled vertices, we implicitly label each pair of dual vertices by a pair of dual bases and sum over basis elements, as in the following example, where a sum over α is implied: Of course, this only makes sense if the labeling of the strands uniquely determines which vertices are labeled by dual morphisms.
The equivariant Frobenius-Schur indicators in the sense of Kashina, Sommerhäuser and Zhu [KSZ06; SZ07] and Ng and Schauenburg [NS07b; NS07a; NS08; NS10], can be conveniently expressed using the graphical calculus in C: Definition 10 ([NS10, Def.2.1]).Let C be a spherical fusion category, and let X ∈ Z(C) be an object in the Drinfeld center of C. Then for n ∈ N, r ∈ {0, . . ., n}, the r-twisted n-th (generalized) Frobenius-Schur indicator of an object V ∈ C is given by the scalar The Frobenius-Schur indicator is thus the trace over an automorphism E X,V n,r : Hom C X, V ⊗n → Hom C X, V ⊗n , where we suppressed the forgetful functor Z(C) → C, applied to X, in the notation.These pictures establish the use of double-stroke green lines for objects in the Drinfeld center.Crossings of strands are then to be interpreted using the half-braiding of X ∈ Z(C).For an arbitrary pair (n, r) ∈ Z × Z, E X,V n,r is given by where we use the convention V ⊗−1 ∼ = V * , and by β − , we denote the half-braiding X ⊗ − → − ⊗ X of X.
Remark 11.In the definition of E X,V n,r , we omitted the pivotal structure, as well as half-braidings and associativity morphisms.Ng and Schauenburg had to be much more careful with their definition, but they showed that the so-defined indicators are preserved under (pivotal) tensor-equivalence (in detail in [NS07b] for the case X = 1).Once this has been done, we may write down the definition in the setting of a strict pivotal monoidal category (as we effectively did) and need not worry about the ambiguities of where to insert the structure maps.
The definition in terms of traces of endomorphisms of hom-spaces can be awkward to work with.
Lemma 4 shows that we can express the indicator as the value of the string diagram which involves a sum over dual bases α, α * .

A State-Sum Model for Manifolds with Free Boundaries
In this section, we describe a procedure, based on the Turaev-Viro state sum construction in the formulation of [TV17], to associate a number |M| ∈ K to a (compact oriented) 3-manifold M, possibly with boundary, with additional data: • A framed link embedded in the interior of M, whose components are labeled by objects in Z(C).
• A link embedded on the boundary surface of M, whose components are labeled by objects in C. (By a link we here mean an embedding (S 1 ) n → ∂M, i.e. there are no crossings.) In contrast to the usual setting of the Turaev-Viro construction, the boundary ∂M does not get assigned a vector space, and it does not make sense to glue together manifolds along boundary components.We refer to the type of boundary we consider here as a free or physical boundary -as opposed to a gluing boundary.
In order to compute the scalar |M| ∈ K, an auxiliary structure called a skeleton is embedded into the 3-manifold M [TV17, Sec.11.5.1].The skeleton comes with a decomposition into finitely many oriented 2-cells, edges between them, and vertices.The picture (3.9) illustrates how a skeleton may locally look around a vertex.We moreover require that the boundary of M is a subset of the skeleton, and that the 3-cells (the connected components of the complement of the skeleton in M) are open balls.
If the manifold M comes equipped with embedded links, we call a skeleton of M a graph skeleton if the embedded links restrict to the skeleton, and only meet the skeleton's edges transversely, at special vertices called switches.Locally, the neighborhood of a switch looks as follows: We further require that the orientations of the two 2-cells which a graph intersects in the neighborhood of a switch are compatible (in that they define an orientation on the union of the cells).The embedded links split some 2-cells into several faces: In the picture of the switch above, there are six 2-cells, but eight faces.
We now describe how the number |M| is obtained as a state-sum, recalling and slightly extending the construction in [TV17, Chap.15].
1. Given a 3-manifold M with embedded links, pick a graph skeleton P .For now, fix a coloring c, that is, a map of sets c : Fac(P ) → I, where Fac(P ) denotes the set of faces of the skeleton P and I is the chosen set of representatives of simple objects of the spherical fusion category C. The objects c(f ) are often called state-sum variables, as we will later sum over all possible colorings c.
2. By a half-rim we mean a vertex or a switch of P together with a germ of an adjacent edge of P (in this case we speak of a half-edge) or an adjacent component of an embedded link.To each half-rim e, we associate a vector space H c (e) as follows.If e is a half-edge, the vector space is constructed from the value of the coloring c on the faces adjacent to e, their cyclic order around e, their orientations, and the orientation of e.The following example makes the construction clear.(Here, Y 1 , . . ., Y 4 ∈ C are the objects assigned to the faces by the coloring c.) If e is a switch together with a germ of a link segment, then e has precisely two adjacent faces b l and b r .So locally, a neighborhood of e looks as follows.
b l b r e The notation b l and b r for the faces is not arbitrary: We can always draw a neighborhood of the half-rim e such that the link segment of e points upwards, and such that both faces are oriented positively on the paper, as is done in the picture above.This is possible because the two faces come from a single oriented 2-cell, and thus their orientations are compatible.Then it is clear that there is a well-defined notion of a left face (this we denote by b l ) and a right face (this we denote by b r ).The associated vector space is if the half-rim e is oriented away from the switch and if it is oriented towards the switch.
We may also assign a vector space to a vertex or switch v in P : We set H c (e). (3.4) Here, e runs over half-rims adjacent to v, and ⊗ denotes the (unordered) tensor product of vector spaces.
Finally, we assign a vector space to the 3-manifold M (together with the chosen graph skeleton) as a whole.
where the product runs over all half-rims.

3.
There is yet another way to decompose the space H c (M).Note that every rim r (this is an edge of P or a segment of an embedded graph) gives rise to precisely two half-rims e, e , which are opposite to one another, so we may rewrite the product over half-rims as a product over internal rims: With the definitions above, the vector spaces associated to opposite half-rims are in duality: (3.8) 4. We now assign, to every internal vertex or switch v of P , a linear map using the evaluation of string diagrams on spheres.(In the notation of [TV17], Γ c (v) is written as F C (Γ c v ).)This requires different treatments for vertices and switches.The discussion follows [TV17, Sec.15.5.1]closely, the formalism is not changed by the presence of free boundaries.
• If v is a vertex of the skeleton P , draw a small sphere B ∼ = S 2 in M around v. If v lies on the boundary, embed a small neighborhood of v into R 3 and draw the sphere there.The intersection P ∩ B is a graph on B: The faces adjacent to V become lines in P ∩ B, these are the edges of the graph (which we also call Γ c (v)).The end points of the edges are vertices, and each vertex is located at an intersection point between a rim of P and B.
The orientations of the faces induce orientations of the edges of Γ c (v), and, since the graph skeleton is colored, the edges also inherit colors.This is best illustrated in an example: In the picture, A, B, C, D, E and F are elements of I that form a coloring of faces adjacent to the vertex v of a graph skeleton.Drawn in red is the graph Γ c (v), which is located on the surface of a small ball around v.
Consider a vertex x of Γ c (v) with adjacent edges colored by objects Y 1 , . . ., Y l .Let i = − if the i-th edge is oriented towards the vertex and i = + otherwise.We want to read the graph Γ c (v) as a string diagram, so x has to be labeled by a morphism in , where e is the half-rim adjacent to v that corresponds to the vertex x.
In other words: A choice of vector in H c (e) for each half-rim e adjacent to v corresponds to a labeling of vertices in the graph Γ c (v) by appropriate morphisms.We can then interpret Γ c (v) as a string diagram drawn on a sphere -which can be evaluated to a scalar in the graphical calculus for the spherical fusion category C. All together, this yields a map A more detailed discussion is presented in [TV17, Sec.13.1.1].
• If v is a switch as in Figure (3.10), then the procedure is the same, except that we add another line (in green) to the graph we evaluate.Since we know the neighbor-hoods of switches explicitly, we can make this concrete: Assume, for the moment, that v does not lie in the boundary of M. A neighborhood of v looks as follows, where where again, we interpret a string diagram with unlabeled vertices as a linear map from H c (v) to K. The crossings in the diagram are evaluated using the half-braiding associated with X ∈ Z(C).Of course, the orientations of adjacent faces can be different from those indicated in the picture (3.10).In this case, the orientations of the corresponding edges in the graph (3.11) change accordingly.
If v does lie on the free boundary, then the defect line is labeled by an object V ∈ C rather than in the Drinfeld center of C and in the above picture (3.10), we necessarily have µ = 0.This means that in (3.11), there are no crossings in the diagram, which is important because V does not come with a half-braiding.
5. We now define the scalar |M| associated to the manifold M. The sum over c is a sum over all possible colorings.
Here, K denotes the number of 3-cells in M, that is, the number of connected components of M \ P .The dimension of the coloring c is defined as where χ(f ) denotes the Euler characteristic of the face f .In the example we will consider, all faces are topologically disks, so χ(f ) is always 1.
Remark 12.A priori, the quantity |M| depends not only on the manifold data, but also on the choice of graph skeleton P .We do not make this explicit in the notation, and posit that it is indeed independent of P (see Hypothesis 16).For ∂M = ∅, this is well-known.
Remark 13.The formula (3.12) makes clear why we need to work with a finite category C: If there were an infinite number of isomorphism classes of simple objects in C, there would also be infinitely many possible colorings, rendering the sum over c ill-defined.

Computing Frobenius-Schur Indicators from decorated Manifolds
In this section, we will show by direct computation that for a suitable manifold T X,V n,r with V ∈ C, X ∈ Z(C), the state-sum |T X,V n,r | from Section 3 is equal to the Frobenius-Schur indicator ν X n,r (V ) from Definition 10.The manifold T X,V n,r is a solid torus D 2 × S 1 , with an embedded X-labeled non-contractible untwisted loop (− , ) × {0} × S 1 ⊂ D 2 × S 1 , and n V -labeled lines on the boundary, which revolve around the torus in such a way that after a full rotation, they connect to the starting point of the line which is r positions away from their own starting point.For the sake of simplicity, we will here only consider the case r = 1, where an explicit parametrization of the line labeled by V embedded on the torus surface is given by ϕ → (ϕ, −nϕ) ∈ S 1 × S 1 , (4.1) for ϕ ∈ [0, 2π).The picture below illustrates T X,V n,r for the case n = 4, r = 1.
We now apply the construction from Section 3. As a first step, we endow T X,V n,1 with a graph skeleton P .For drawing purposes, we view the solid torus as a solid cylinder D 2 × [0, 1] with top and bottom disks identified via (ξ, 0) ∼ (ξ, 1) for ξ ∈ D 2 .
We describe the skeletal structure of P in words: There are n + 5 vertices and switches in total, among them two black vertices x, y (located on the boundary away from embedded lines), one green switch a (situated on the X-labeled line) and n + 2 blue switches u 1 , . . ., u n , v, w (situated on the n embedded lines on the boundary).
The graph skeleton P has n + 8 faces.Four of them lie in the interior and are drawn in red, labeled A, B, C, D. The horizontal face A is the flat polygon spanned by the vertices and switches (a, x, u 1 , . . ., u n−1 , y).Similarly, the other horizontal face B is spanned by (a, y, u n , x).The faces C and D are perpendicular to A and B. They are oriented as indicated by the circular arrows.On the boundary, the faces J 1 , J n , N n−1 , N n and M i , i = 1, . . ., n, are drawn in black and oriented in accordance with the boundary.
Finally, we note that there are two 3-cells.
Similar graph skeleta P exist for all integer values of n and r.
Proposition 14.The 3-manifold T X,V n,r with embedded links labeled by objects X ∈ Z(C) and V ∈ C, endowed with the graph skeleton P described above, evaluates under the state-sum model described in Section 3 to the Frobenius-Schur indicator from Definition 10: The remainder of this section comprises the proof of Proposition 14.As mentioned above, we restrict to the case r = 1.This is, however, only a matter of convenience; indeed, Proposition 14 holds for general values of (n, r) ∈ Z × Z.
According to Section 3, we assign a closed graph to each vertex or switch.These graphs are evaluated on the canonical vector * c , weighted by the dimensions of the colors for all faces, and summed over, as dictated by (3.12).Here, c denotes a coloring.In the following we will use the same letters for colors of faces as for the faces themselves, writing e.g.A for c(A).As a consequence, the sum over c in (3.12) turns into a sum over colors for all faces.
As a first step, we read off all the n + 5 graphs for the n + 5 vertices and switches involved from figure (4.3).This is done using the procedure from (3.9) for the vertices.The graphs associated to switches are obtained using (3.11).The vertices of these graphs come in dual pairs, and they have to be labeled by elements of dual bases of the appropriate hom-spaces.(This constructs the vector * c .)We make use of Convention 9 and do not label the vertices.The calculations below are easier to follow in color.With the same order of factors as in (4.4), we obtain Next, we repeatedly use Lemma 6 to glue together the graphs for the vertices u i , x and y.
Lemma 6 can also be used to glue in the remaining graphs associated v and w.
Finally, we use Lemma 6 one last time to obtain a connected graph.
We now use Lemma 5 to dissolve the strand labeled by N n−1 .In the process, the sum over N n−1 (together with the factor d N n−1 ) disappears.
The next step is merely a deformation of the previous graph. (4.10) We eliminate the strand labeled by A using Lemma 5.
Using the spherical structure, we can flip the D-labeled strand from the top to the bottom of the We can now apply Lemma 7 to the pair of lines labeled by J 1 .The summation over J 1 leads to a pair of dual vertices, which we draw as a box.where "•" denotes the gluing of manifolds, which is the composition in Cob C 3 .It is well-known [TV17, Sec.17.4] that the vector space associated to a torus is the Grothendieck algebra, The gluing of manifolds in Figure (5.1) to a solid torus can be realized as a composition of three cobordisms: By a standard construction, an element of the mapping class group g ∈ SL(2, Z) ∼ = MCG(S 1 × S 1 ) defines a cobordism T g : S 1 × S 1 → S 1 × S 1 .The gluing of manifolds along g as in Figure (5.1) can then be written as a composition of cobordisms |T V n,r • T g • T X |.Our argument relies on the following two equalities of cobordisms: The second equality is well known [BK01, Ex. 4.5.5 and Exc.4.5.6],[Tur16, Sec.5.4].
To see the first equality, we push the action of the homeomorphism g all the way to the boundary, and check that it changes the configuration of the V -labeled lines on the boundary accordingly.It suffices to show this for the two generators s and t of SL(2, Z).If we draw the surface S 1 × S 1 as a rectangle with opposite sides identified, s acts as a 90 • clockwise rotation.The following picture shows how the boundary defect lines transform under the s-transformation: H c (e ) * .(3.6) Using the duality (3.6), this allows us to define a distinguished non-zero vector * r = coev(1) ∈ H c (e) ⊗ H c (e ), (3.7) associated to a rim r whose half-rims are denoted e and e , and hence a distinguished vector in H c (M): * c = ⊗ r * r ∈ H c (M).
Lemma 8 to eliminate the line labeled by M n , together with the sum over M n .Note that we obtain a factor of dim(more with respect to D, we obtain the following graph. .2) and that under the identificationHom vect K, K(Z(C)) ⊗ Z K ∼ = K(Z(C)) ⊗ Z K, the manifold T X is assigned the vector |T X | = [X].Due to the additivity property of the TFT with respect to labels of the embedded loops, |T X | + |T X | = |T X⊕X |, it makes sense to label the embedded line in T X not only by an object X ∈ Z(C), but by a vector ξ ∈ K(Z(C)) ⊗ Z K. We then obtain |T ξ | = ξ.