arxiv:math/ v1 [math.gt] 13 Jun 2005
|
|
- Alyson Sanders
- 5 years ago
- Views:
Transcription
1 arxiv:math/ v1 [math.gt] 13 Jun 2005 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY VLADIMIR TURAEV AND PAUL TURNER ABSTRACT. We investigate Khovanov homology of stable equivalence classes of link diagrams on oriented surfaces. We apply Bar-Natan s geometric formalism to this setting and using unoriented 1+1-dimensional topological quantum field theories we define new link homology theories for stable equivalences classes. 1. INTRODUCTION In this paper we consider link diagrams on oriented surfaces up to the relation of stable equivalence, that is up to homeomorphisms of surfaces, Reidemeister moves, the addition or subtraction of handles or surface components disjoint from the diagram. Stable equivalence classes of link diagrams have an equivalent formulation in terms of so called virtual link diagrams pioneered by Kauffman (see for example the review articles [6] and [4] and references therein). Many constructions for link diagrams on R 2 can be reproduced for stable equivalence classes of link diagrams on surfaces, for example, one can define the Jones polynomial. In his seminal work [7] Khovanov provided a new way to look at the Jones polynomial interpreting it as the Euler characteristic of a homology theory for links in R 3. This approach provides an invariant that is not only stronger than the Jones polynomial but also has nice functorial properties with respect to link cobordisms. The Jones polynomial may be viewed as a state sum over the 2 n smoothings of an n-crossing link diagram on R 2, with each state making a contribution to the polynomial. Each smoothing is a collection of circles being the result of resolving each crossing in one of two possible ways (indicated in Figure 3). Khovanov s insight was to associate a graded vector space to each smoothing and arrange these in such a way that by using a certain topological quantum field theory a differential may be defined leading to a chain complex associated to the link diagram. Remarkably the homotopy type of this complex is independent of the chosen diagram so its homology is an invariant. Bar-Natan has written a wonderful exposition of all this in [3]. The functorial properties of this construction were conjectured by Khovanov [7], proven by Jacobsson [5] and later re-proved in more generality by Bar-Natan [2]. Khovanov s work does not immediately extend to link diagrams on arbitrary oriented surfaces. The main difficulty arising is the following. For classical links Khovanov s complex is constructed by organising the 2 n smoothings into a cube with each edge making a contribution to the differential. These edges join smoothings with different numbers of circles and the corresponding term of the differential may be seen as fusing two circles into one circle or splitting one circle into two. For links on surfaces this is no longer the case and there may be edges joining smoothings with the same number of circles. This difficulty arises when the surface is part of the structure (as in the work of by Asaeda, Przytycki and Sikora [1]) and also for stable equivalence classes. In the latter case Manturov [10] solves this problem over the two element field F 2 by setting the differential corresponding to such 1
2 2 VLADIMIR TURAEV AND PAUL TURNER cube edges to be zero. The motivation for the current work was to find other possibilities for stable equivalence classes. We work geometrically following Bar-Natan [2]. The key new idea is to extend the category of cobordisms to allow unoriented cobordisms, and then to apply an unoriented topological quantum field theory to this geometric picture to obtain a link homology theory for stable equivalence classes of diagrams on surfaces. The reason for this is that now we can use projective plane minus two discs as a non-trivial cobordism from one circle to one circle extending the definition of the differential in the Khovanov picture. Here is an outline of the paper. In Section 2 we define the category of unoriented cobordisms UCob and a quotient of this, UCob /m where we quotient by a certain relation on cobordisms which we call the Möbius relation. In the manner of Bar-Natan s complex of cobordisms associated to a link diagram on R 2 (see [2]) we then define a complex of cobordisms [D] associated to a link diagram D on a closed oriented surface. In Section 3 we take a further quotient of the cobordism category, UCob /r quotienting this time by Bar-Natan s sphere, torus and 4-Tu relations. Defining Kom /h (Mat(UCob /r )) to be the associated homotopy category of complexes our first result is as follows. Theorem 3.2 Let D be a link diagram on a closed oriented surface. The isomorphism class of [D] in Kom /h (Mat(UCob /r )) is an invariant of the stable equivalence class of D. In Section 4 we introduce the notion of a 1+1-dimensional unoriented topological quantum field theory and show that such a thing is equivalent to a Frobenius algebra with one additional piece of information. Finally in Section 5 we apply an unoriented topological quantum field theory to the complex of cobordisms defined in Section 2 to obtain a complex of modules. Taking homology yields a link homology. Our main theorem is the following. Theorem 5.1 Let R be a commutative ring with unit. Let (λ, µ, t) be a solution in R to the equation 2λµ λ 2 µ 2 µ 4 t = 2. Then the triple (λ, µ, t) defines a link homology theory for stable equivalence classes of diagrams on oriented surfaces. Over a field one obtains a two parameter family of solutions (λ, µ) with µ 0. Over F 2 there are also solutions for µ = 0 and the solution (λ, µ, t) = (0, 0, 0) is Manturov s theory. In this case he obtains a bigraded theory and, as he points out, the graded Euler characteristic of this is the unnormalised Jones polynomial. Often theories will be only singly graded. For example over Q all theories from the above theorem are singly graded. One can see in this case that for any (λ, µ), µ 0 the resulting theory has Euler characteristic (now an integer) equal to the reduced Jones polynomial evaluated at q = 1. Each singly graded theory possesses a filtration and it is this that may contain interesting information. We end the paper by discussing a number of examples. 2. THE COMPLEX OF COBORDISMS FOR A LINK DIAGRAM ON A SURFACE We consider oriented link diagrams on closed oriented surfaces and define an equivalence relation on such diagrams as follows. Two diagrams are said to be stably equivalent if they are related by (1) surface homeomorphisms (2) Reidemeister moves
3 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY 3 (3) addition or subtraction of handles to the surface (when no part of the diagram is on the handle) (4) addition or subtraction of a surface component disjoint from the diagram. As mentioned above there is an equivalent formulation in terms of link diagrams on R 2 with an additional type of virtual crossing and new virtual and semi-virtual Reidemeister moves for determining equivalence of diagrams. Given a link diagram on a closed oriented surface we wish to define a complex of cobordisms along the lines of Bar-Natan s complex for link diagrams given in [2]. First we need to establish the category of cobordisms in which we will work. Definition 2.1. UCob is the category whose objects are closed 1-manifolds and whose morphism set Mor(Γ 0, Γ 1 ) consists of triples (γ 0,, γ 1 ) where is a (possibly nonorientable) compact surface, γ i : Γ i are injective, Im(γ 0 ) Im(γ 1 ) = and Im(γ 0 ) Im(γ 1 ) =. Two such triples (γ 0,, γ 1 ) and (γ 0,, γ 1 ) are identified if there exists a homeomorphism T : such that γ i = T γ i. For a morphism (γ 0,, γ 1 ) we refer to Im(γ 0 ) as the input of and to Im(γ 1 ) as the output. The composition ( γ 0,, γ 1 ) (γ 0,, γ 1 ) is formed from the disjoint union by identifying the output of with the input of via γ 0 γ1 1. Let M be the real projective plane with two discs removed. Alternatively this can be viewed as a Möbius strip with a disc removed or a cylinder with a Möbius strip attached. Either way we think of this (non-orientable) surface as having one input and one output (up to homeomorphism it makes no difference which we choose) and refer to it as the Möbius cobordism, see Figure 1. M = FIGURE 1. The Möbius cobordism In order to obtain a complex of cobordisms for a link diagram on a surface à la Bar- Natan we need to introduce a relation among cobordisms. The Möbius relation says that the composition of M with itself is the same thing as a torus with two discs removed (see Figure 2). FIGURE 2. The Möbius relation Throughout we will follow the notational convention that cobordisms are to be read down the page. Thus G F = GF = GF.
4 4 VLADIMIR TURAEV AND PAUL TURNER Definition 2.2. UCob /m is the category obtained from UCob by quotienting morphisms by the equivalence relation generated by the Möbius relation. Given an additive category C the additive category Mat(C) is that as defined by Bar- Natan in [2]. Its objects are finite families {C i } i of objects C i C which for convenience will be denoted C i. A morphism F : C i C j j is a matrix F = [Fi ] of morphisms F j i : C i C j j in C. We will refer to the Fi as the matrix elements of the morphism F. Composition is defined in terms of matrix elements by the rule [F G] k i = j F j k Gj i and addition of morphisms given by matrix addition. If C is not additive then it is made so by allowing formal Z-linear combinations of morphisms. Given an oriented link diagram D on a surface we now define a complex [D] in Mat(UCob /m ), which is a generalisation of Bar-Natan s complex. Number the crossings of the diagram 1,...,n. 0-smoothing 1-smoothing FIGURE 3. A resolution of each of the n crossings of D as in Figure 3 will be called a smoothing. There are 2 n such smoothings and each is indexed by a sequence s of n 0 s and 1 s, the i th entry informing us whether the i th crossing is a 0- or 1-smoothing. The smoothing itself consists of a number of circles Γ s which we regard as an object in UCob /m. Smoothings form a poset via s < t iff all 1-smoothings in s are 1-smoothings in t. Let r(s) = number of 1-smoothings in s and k(s) = number of circles in s. If s and t are smoothings such that r(t) = r(s) + 1 and s < t then t must be identical to s outside a small disc around a 1-smoothing in t. We refer to this disc as the changing disc. In this situation we define s, t to be the number of 1-smoothings among the first j 1 crossings of t where the j th crossing is the one in the changing disc. Set [D] i = Γ s Ob(Mat(UCob /m )) where the sum is over all smoothings s with r(s) = i + n. Here n is the number of negative crossings in D. We now define a morphism d i : [D] i [D] i+1 in Mat(UCob /m )). In order to define d i we define its matrix elements (d i ) t s : Γ s Γ t where s and t are smoothings such that r(s) = i + n and r(t) = i n. If s < t then define t s to be the surface made of cylinders except for the circle(s) making an appearance in the changing disc for which we take the cobordism M if k(s) = k(t) and a saddle cobordism (pair-of-pants) if k(s) k(t).
5 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY 5 Now set { (d i ) t s = ( 1) s,t t s if s < t 0 else. Figure 5 gives an example of the complex [D] for the diagram D shown in Figure 4. Each smoothing has been projected onto the plane, thus revealing a virtual crossing. This is simply a by-product of the projection from the surface to the plane. Dotted arrows in the complex are zero FIGURE 4. A knot diagram on the torus FIGURE 5. The complex of the diagram in Figure 4 It remains to show that d is indeed a differential. The situation is somewhat more complicated than in Bar-Natan s cobordism complex since we now have cobordisms formed both from saddles and from Möbius cobordisms. It is here that the Möbius relation is needed. We denote the category of complexes in the additive category Mat(UCob /m ) by Kom(Mat(UCob /m )).
6 6 VLADIMIR TURAEV AND PAUL TURNER Proposition 2.3. Given a diagram D, the morphism d defined above satisfies d 2 = 0 i.e. ([D], d) is an object of Kom(Mat(UCob /m )). Proof. The formula for d 2 in terms of matrix elements is (d i+1 d i ) t s = (d i+1 ) t u (d i ) u s. u This can only be non-zero when s < t in which case the sum on the right has only two non-zero terms corresponding to smoothings u and u each having exactly one of the additional 1-smoothings in t. This situation is illustrated in Figure 6, where we only show the changing disks around crossings of the additional two 1-smoothings in t. The condition that (d i+1 d i ) t s = 0 is equivalent to the anti-commutativity of this diagram. (d i ) u s (d i+1 ) t u u s (d i ) u s t (d i+1 ) t u u FIGURE 6. To show d 2 = 0 it is enough to show that all such squares anti-commute. Staring at the way the matrix elements were given a sign ±1 reveals that each square has an odd number of minus signs. Hence to show the squares above anti-commute it is equivalent to show t u u s = t u u s. One may show this by considering the corresponding planar pictures to Figure 6 in a case by case manner depending on the strands appearing in the changing circle (see [1] for a similar situation). However a slightly more abstract point of view has fewer cases and simplifies the argument. All possibilities arise in the following way. We form the cobordism of cylinders Γ s [0, 1] and to Γ s {1} we then sew on two strips. The two possible orders in which we sew these on determine the two sides of the the equation t u u s = t u u s. We can orient Γ s {1} in an arbitrary way and then each strip is compatible with this orientation or not. Three cases now arise (we write M for the Möbius cobordism and S for a saddle). Case I: both strips are compatible. In this case all cobordisms are formed from saddles and as saddles can always be re-ordered up to diffeomorphism the required equality holds. Case II: one strip compatible the other not. If the compatible strip connects two different circles then we either obtain a triviality when three circles are involved or the equality M S = M S when the non-compatible strip joins a circle to itself, or M S = S (M id) when the non-compatible strip joins the two circles. Each of these equalities is evidently true. If, on the other hand, the compatible strip connects a circle to itself we get a triviality if the non-compatible strip involves another circle, and S M = (M id) S or M M = S S if the non-compatible strip connects the same circle. For the latter case the Möbius relation ensures we have the desired equality. Case III: both strips incompatible. If there are at least three circles involved we can change orientation of one of the circles in Γ s {1} to reduce everything to Case II. If two
7 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY 7 circles are involved we either have a triviality or M S = S (M id). When both strips are attached to the same circle then we have M M = M M or S M = S M. 3. INVARIANCE Given a diagram D on a closed oriented surface, the complex [D] defined above is clearly invariant under surface homeomorphisms. Moreover, the underlying surface of the diagram plays no role in the construction so [D] is also independent of the addition and subtraction of handles and addition and subtraction of disjoint components. It is clear that [D] cannot be invariant under Reidemeister moves and so [D] is not an invariant of stable equivalence classes of diagrams, but as in [2] by further quotienting the category UCob /m and moving to the homotopy category we obtain an invariant. We quotient UCob /m further by the relations introduced by Bar-Natan. Theses are the relations S,T, 4-Tu (Sphere, Torus and 4-Tube) as illustrated below in Figure 7. = 0 = 2 + = + S T FIGURE 7. Bar-Natan s relations 4-Tu Definition 3.1. Let UCob /r be the category obtained from UCob /m by quotienting by the equivalence relation generated by relations S,T,4-Tu. We will write Kom /h (Mat(UCob /r )) for the homotopy category of complexes in Mat(UCob /r ). Recall that two chain maps f, g: C1 C 2 are homotopic if there is a map h: C2 C1 1 so that f g = dh+hd. In Kom /h (Mat(UCob /r )) two chain maps are identified if they are homotopic. Theorem 3.2. Let D be a link diagram on a closed oriented surface. The isomorphism class of [D] in Kom /h (Mat(UCob /r )) is an invariant of the stable equivalence class of D. The remainder of this subsection is devoted to the proof of this theorem. We have already noted that the only thing requiring proof is invariance under Reidemeister moves. We examine these in the order RII, RIII and RI. An important difference with the work of Bar-Natan arises here in that we do not have the nice locality properties enjoyed by classical links. Also, the fact that we now have Möbius cobordisms as well as saddles in the definition of the differential creates additional difficulties. None the less, the proofs below can be seen as elaborations of those in [2] Reidemeister II. Let D and D be link diagrams on a surface that are identical everywhere except within a small disc within which they are as depicted in Figure 8. We will define maps of complexes F : [D ] [D] and G: [D] [D ] and a map h: [D] [D] such that GF = I and FG I = dh + hd i.e. h is a homotopy between FG and I. Once we have such F,G and h we know that [D] and [D ] are homotopy equivalent and hence in Kom /h (Mat(UCob /r )) the isomorphism class of [D] is invariant under the second Reidemeister move.
8 8 VLADIMIR TURAEV AND PAUL TURNER D D FIGURE 8. Suppose D has n crossings which have been numbered 1,..., n such the that the crossings in the disc above are numbered (left to right) with n 1 and n. As usual for a, b {0, 1} we let D( ab) denote the diagram where the last two crossings have been resolved to an a-smoothing and b-smoothing respectively. There is a decomposition of objects in Mat(UCob /r ) [D] = [D( 00)] [D( 10)] [D( 01)] [D( 11)] = [ ] [ ] [ ] [ ] Note that here and throughout each pictorial representation is showing only a small part of an implicitly assumed whole diagram. In Bar-Natan s paper this is different: for him such a diagram means the tangle as you see it - later the planar algebra structure is used to extend this to bigger diagrams. Here we have no such planar algebra structure, so the picture shows a small piece of a full diagram. We have also suppressed any shifts. In terms of this decomposition the differential on [D] is given by the matrix d d d d d d d d 11 This presents a notational convention to be used throughout: given a decomposition like the above the components of a map will have the source as a subscript and the target as a superscript. The absence of superscript implies target = source. Thus in the above matrix d : [D( 00)] [D( 10)] and d 00 : [D( 00)] [D( 00)]. We now define a morphism F : [D ] [D] in terms of four components using the above decomposition of [D]. Set F 00 = 0, F 11 = 0, F 10 = Id. For the component [D ] [D( 01)] we describe F in terms of its matrix elements. Let s and t be smoothings of D and set { (F 01 ) t01 s11 s10 s = t = s 0 otherwise. Here s10 means the sequence of n 0 s and 1 s given on the first n 2 entries by s followed by 10 (and similarly for s11 and s01). Recall that s11 s10 is the (unsigned) cobordism of d (at the smoothing given by s10) and is a disc with one output. Here is the picture that summarises the definition of F.
9 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY 9 0 d d Id 0 d d In what follows we will need to show that certain apparently different cobordisms are in fact homeomorphic. It is convenient to use pictures for this and thus we need a pictorial representation of s11 s01. We will use the picture in Figure 9. FIGURE 9. Lemma 3.3. F is a chain map, i.e., Fd = df. [ ] i d=d 10 [ ] i+1 Id Id [ ] i d 10 [ ] d i+1 [ ] i d [ ] i d 01 [ ] i+1 FIGURE 10.
10 10 VLADIMIR TURAEV AND PAUL TURNER Proof. Referring to Figure 10 the statement Fd = df is equivalent to three things: (i) the back square commutes, (ii) the sub-diagram anti-commutes and (iii) the front square commutes. There is nothing to show for (i). For (ii) let be the sign (±1) of d (so d11 10 = ). From the way such signs were defined it is clear that the sign of d is. Note that the cobordism of d is a saddle as it has no option but to join the circle seen in the middle to the left hand strand. The anti-clockwise route gives the left-hand picture in Figure 11 and the clockwise route the right-hand picture. Up to homeomorphism one is evidently the negative of the other. FIGURE 11. For (iii) we first observe that there is an anti-commutative diagram as follows. [ ] i d=d 10 [ ] i+1 d d [ ] i d 11 [ ] i+1. This anti-commutes because it is part of the bigger complex ([ ], d) for which d 2 = 0. Noticing that the signs of d on the left and on the right are opposite (on the right we are in the i + 1 st group so there is one more 1-smoothing) we see that the following diagram commutes: [ ] i d 10 [ ] i+1 [ ] i d 11 [ ] i+1. Combining this with the (obviously commutative) diagram [ ] i d 11 [ ] i+1 shows the front face of Figure 10 commutes. [ ] i d 01 [ ] i+1
11 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY 11 Now we define a map G: [D] [D ] as follows. Let s and t be smoothings of [D ]. Set G 11 = G 00 = 0, G 10 = Id { (G 01 ) t s01 = s10 s11 t = s 0 otherwise. The overline on is to remind us that the input and output of have been exchanged: if s11 s10 = (γ 0,, γ 1 ) is the cobordism of d then s10 s11 is the cobordism (γ 1,, γ 0 ). The symbol is a disc with one input circle. Similar arguments to the above show that Gd = dg so G is a chain map. We now wish to show that F and G are homotopy inverse to one another. Lemma 3.4. (i) GF = Id (ii) FG Id. Proof. Part (i) follows immediately from the S relation. For (ii) we first need to define a homotopy. For this we need to define morphisms h i : [ ] i [ ] i 1. As above let be the sign of d (this of course depends on the particular smoothing we are dealing with i.e. is really a collection of signs). Set h = Id : [ ] [ ] h = Id : [ ] [ ] All other components of h are zero. Figure 12 summarises the situation, where h is indicated from right to left, F from top to bottom and G from bottom to top. Components of h,f and G that are zero have been omitted from the diagram. d d (Id ) Id Id d d (Id ) FIGURE 12. We now claim FG I = dh + hd, i.e., h is a homotopy from FG to Id. It suffices to show this individually for the four components of [D]. We will only do this for the case of [D( 01)] which is the hardest of the four. Pictorially, starting in [D( 01)], we see that FG I is given in Figure 13 (as always reading down the page)
12 12 VLADIMIR TURAEV AND PAUL TURNER FIGURE 13. FG I FIGURE 14. dh + hd Now dh + hd = d h d10 00 h h01 11 d11 01 which is given pictorially in Figure 14. Note that the signs of the cobordisms of d 01 00, d and d are all. It is clear that the middle term of Figure 13 is homeomorphic to the middle term of Figure 14 and so to show FG I = dh + hd it remains to show the equality in Figure 15. FIGURE 15. Now is either a saddle in which case the left hand term is given in Figure 16 or it is a Möbius cobordism in which case the Möbius relation shows that the left hand term is again given in Figure 16. The required equality now follows by applying the 4-Tu relation Reidemeister III. Let D and D be link diagrams on a surface identical everywhere except in a small disc within which they are depicted in Figure 17 We recall from [2] that for complexes B and D, a morphism G: B D is a strong deformation retraction with inclusion F : D B when GF = I and there exists a homotopy h: B B such that FG I = dh +hd and hf = 0. Proof of following lemma can be found in Bar-Natan [2] (cf. his Lemma 4.5).
13 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY 13 FIGURE 16. The left hand term D D FIGURE 17. ( ) db 0 Lemma 3.5. If A = B C is a complex with differential d C B d and G: B D ( C ) dd 0 is a strong deformation retraction with inclusion F : D B then d C B F d defines C a differential on D C and moreover the resulting complex is homotopy equivalent to B C. We number the vertices in D and D such that the three vertices in the changing disc are from left to right n 2, n, n 1. We have ( d0 0 with differential d 1 0 d 1 ). [D] = [D( 0)] [D( 1)] [ ] = [ ] [ ] It is easy to see that map G of the previous subsection is a strong deformation retraction with inclusion F. This induces a strong deformation retraction G: [ ] [ ] with inclusion F : [ ] [ ]. By Lemma 3.5 we have (1) [ ] [ ] [ ] ( ) d100 0 where the differential on the right is d 1 0 F d (here d 100 is the differential in [ ]). 1 Similarly we have [D ] = [D ( 0)] [D ( 1)] [ ] = [ ] [ ] ( ) d with differential 0 0 d 1 0 d. Again we have a strong deformation retraction G: [ ] 1 [ ] with inclusion F : [ ] [ ] and again by Lemma 3.5 (2) [ ] [ ] [ ]
14 14 VLADIMIR TURAEV AND PAUL TURNER ( ) d where the differential on the right is d 1 0 F. d 1 Lemma 3.6. d 1 0F = d 1 0F Proof. The map d 1 0F is given by the following diagram. 0 Id Id 0 d d d d From this we can see that d 1 0F is given by the cobordisms in Figure 18. FIGURE 18. d 1 0F In a similar way d 1 0F is described in Figure 19. It is not hard to see that the signs of these cobordisms are equal as indicated in the pictures. The left (resp. right) hand term in Figure 18 is homeomorphic to the right (resp. left) hand figure in Figure 19.
15 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY 15 FIGURE 19. d 1 0F Since ([ ], d 1 ) = ([ ], d 1 ) and ([ ], d 100 ) = ([ ], d 100 ) the above lemma implies that the complex on the right hand side of (1) is the same as the complex on the right hand side of (2). Thus proving invariance under Reidemeister III. [ ] [ ] [ ] [ ] 3.3. Reidemeister I. For this move, Bar-Natan s proof works without further modification. As above we must interpret his pictures as part of a full diagram rather than a one crossing tangle (which is unproblematic) and then it is not hard to see that the Möbius cobordism never appears here so Bar-Natan s proof remains valid. 4. UNORIENTED 1+1-DIMENSIONAL TQFTS Let R be a commutative ring with unit and let Mod R be the category of projective R-modules of finite type. Definition 4.1. An unoriented 1+1-dimensional topological quantum field theory (TQFT) over R is a functor F : UCob Mod R satisfying the following conditions. (1) F( ) = R. (2) For any disjoint closed 1-manifolds Γ and Γ there is a natural identification F(Γ Γ ) = F(Γ) R F(Γ ). (3) If a cobordism is a disjoint union of two cobordisms 1 and 2 then F() = F( 1 ) R F( 2 ). Isomorphism classes of unoriented 1+1-dimensional TQFTs can be described in terms of commutative Frobenius algebras over R together with one additional piece of information. We recall that a commutative Frobenius algebra over R is a unital, commutative R-algebra V which as an R-module is projective of finite type together together with module homomorphisms ǫ: V R and : V V V such that and (Id m) ( Id) = m = (m Id) (Id ) (Id ǫ) = Id = (ǫ Id) where m: V V V is the multiplication in V and i: R V is the unit map.
16 16 VLADIMIR TURAEV AND PAUL TURNER Definition 4.2. If V is a commutative Frobenius algebra over R and θ V, we say that θ is a Möbius element if (3) θ 3 = m( (θ)) where m and are the multiplication and comultiplication in V. Two pairs (V, θ) and (V, θ ) are equivalent if there exists an isomorphism of Frobenius algebras f : V V such that f(θ) = θ. An unoriented 1+1-dimensional TQFT F : UCob Mod R has an underlying pair (V, θ) where V is a commutative Frobenius algebra over R and θ is a Möbius element. We take V = F(circle) and θ = F(Möbius strip)(1), where we consider the Möbius strip as a cobordism with empty input and one output circle so F(Möbius strip): R V. To see that V is a commutative Frobenius algebra it suffices to note that there is a functor Cob UCob where Cob is the category of oriented cobordisms. Then the usual discussion of (oriented) TQFTs tells us that V is a commutative Frobenius algebra. To see that θ is a Möbius element note that in UCob we have the relation RP 2 RP 2 RP 2 = T 2 RP 2 By removing a disc (an output) from each of these and noting that connected sum with RP 2 is equivalent to attaching a Möbius band we have the picture in Figure 20 from which it follows that θ 3 = m( (θ)). FIGURE 20. We note also that if M is the Möbius cobordism of the previous sections and F then F(M): V V is multiplication by θ. The (hardly necessary) proof of this fact is contained in Figure 21. FIGURE 21. In fact the above association of a pair (V, θ) to an unoriented TQFT induces a bijection between such TQFTs and commutative Frobenius algebras over R with Möbius element. Proposition 4.3. Isomorphism classes of unoriented 1+1-dimensional TQFTs over R are in bijective correspondence with equivalence classes of pairs (V, θ) where V is a commutative Frobenius algebra over R and θ is a Möbius element.
17 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY 17 Proof. We have already shown that an unoriented 1+1-dimensional TQFT has an underlying commutative Frobenius algebra over R and it is clear that the equivalence class of this depends only on the isomorphism class of the TQFT. We now show that every pair (V, θ) gives rise to an unoriented TQFT. By standard arguments we can produce from V a functor F : Cob Mod R satisfying (1),(2) and (3) above, where Cob is the oriented 1+1-dimensional cobordism category. Given any oriented cobordism there is always an orientation reversing homeomorphism and it follows that F quotients through the subcategory UCob 0 UCob of orientable cobordisms. As a non-orientable surface can be decomposed as an orientable surface with several Möbius strips attached, to extend F : UCob 0 Mod R to UCob it suffices to define F on the Möbius strip viewed as a cobordism between and S 1. We do this by defining F(Möbius strip): R V by 1 θ. There is only one additional relation to consider, namely that the connected sum of a surface with three projective planes is homeomorphic to the connected sum of the surface with a torus and a projective plane. As θ is a Möbius element it satisfies by definition the relation in Figure 20 and hence the functor defined above satisfies F( RP 2 RP 2 RP 2 ) = F( T 2 RP 2 ) as required. Moreover, since multiplication in V is commutative it is clear that our definition of F on cobordisms is independent of the way we decompose our surface. Standard arguments now show that the isomorphism class of the resulting unoriented TQFT depends only on the equivalence class of the pair (V, θ) and moreover that this construction provides the inverse to the above. 5. APPLYING AN UNORIENTED TQFT TO GET LINK HOMOLOGY Suppose we have a 1+1-dimensional unoriented TQFT F : UCob Mod R which satisfies relations S,T, 4-Tu and the Möbius relation. This gives rise to a functor UCob /r Mod R which can be extended (by taking formal direct sums to genuine direct sums) to a functor and hence to a functor Mat(UCob /r ) Mod R F : Kom(Mat(UCob /r )) Kom(Mod R ). It is clear that the composition of this with taking homology factors through the homotopy category on the left. So given a link diagram D on a closed oriented surface, Theorem 3.2 above implies that the homology of F ([D]) is an invariant of the stable equivalence class of D. Thus, F gives a link homology theory for stable equivalence classes of diagrams on surfaces. The task is now to find unoriented 1+1-dimensional TQFTs which satisfy relations S,T,4-Tu and the Möbius relation. In terms of the underlying Frobenius algebra V with Möbius element θ, the relation T says that dimv = 2 and the Möbius relation (see Figure 2) is equivalent to (4) θ 2 = m( (1)). In fact the Möbius relation says θ 2 v = m( (v)) for all v in V, but this is equivalent to (4). Figure 22 shows that m( (v)) = m( (1))v = θ 2 v for all v V. Let V be a commutative Frobenius algebra over R which satisfies relations S,T,4-Tu. Each θ V satisfying equation (4) is a Möbius element and hence by Proposition 4.3 (V, θ) defines an unoriented TQFT. This TQFT satisfies relations S,T,4-Tu and the Möbius
18 18 VLADIMIR TURAEV AND PAUL TURNER FIGURE 22. relation and hence by the discussion above gives a link homology theory for stable equivalence classes of diagrams on surfaces. We now present our main result. Theorem 5.1. Let R be a commutative ring with unit. Let (λ, µ, t) be a solution in R to the equation (5) 2λµ λ 2 µ 2 µ 4 t = 2. Then the triple (λ, µ, t) defines a link homology theory for stable equivalence classes of diagrams on oriented surfaces. Proof. Consider the polynomial ring Z[h, t]. In [8] Khovanov defined a commutative Frobenius algebra over Z[h, t] as follows. Let V be the rank two free module over Z[h, t] on basis 1 and x and define multiplication by and comultiplication by 11 = 1, 1x = x1 = x, xx = hx + t1 (1) = 1 x + x 1 h1 1, (x) = x x + t1 1. The unit and counit are given by ǫ(1) = 0, ǫ(x) = 1, i(1) = 1. This is a Frobenius algebra which satisfies the S,T and 4-Tu relation and hence gives rise to a link homology theory. Let ψ: Z[h, t] R be a homomorphism of rings such that ψ(1) = 1. This turns R into a Z[h, t]-module and we can define V ψ = V Z[h,t] R with comultiplication and counit defined by 1 and ǫ 1. The resulting algebra V ψ is a commutative Frobenius algebra over R. Now let R and (λ, µ, t) be as in the statement of the theorem. Define ψ: Z[h, t] R by t t, h λ 2 µ 2 t Consider the Frobenius algebra V ψ obtained as above, which again satisfies relations S,T and 4-Tu. Now define An easy computation shows θ = λ1 + µx V. m( (1)) = 2x h1 = 2x + (λ 2 + µ 2 t)1.
19 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY 19 Furthermore θ 2 = λ λµx + µ 2 x 2 = λ λµx + µ 2 (hx + t1) = λ λµx + µ 2 ( λ 2 µ 2 t)x + µ 2 t1 = (λ 2 + µ 2 t)1 + (2λµ µ 2 λ 2 µ 4 t)x = (λ 2 + µ 2 t)1 + 2x. Thus θ 2 = m( (1)) which finishes the proof because we have a commutative Frobenius algebra V ψ satisfying relations S,T and 4-Tu and an element θ satisfying (4). If R is a field the above result can be stated more simply. Corollary 5.2. If R is a field then each pair (λ, µ) with µ 0 defines a link homology. Proof. Since R is a field and µ 0 then t is determined by λ and µ. Notice that over F 2 there are also solutions corresponding to µ = 0 giving a total of six theories: (0, 0, 0), (0, 0, 1), (1, 0, 0), (1, 0, 1), (0, 1, 0) and (1, 1, 1). Khovanov s original link homology is bi-graded which allows him to recover the Jones polynomial. If, following Khovanov, we take deg(1) = 1 and deg(x) = 1 then the ring Z[h, t] should be graded with deg(h) = 2 and deg(t) = 4. To be consistent with this R above must be a graded ring and deg(λ) = 1, deg(µ) = 1 and deg(t) = 4. Over Q the resulting theories are all singly graded. For each of these the Euler characteristic, χ, is the unnormalised Jones polynomial evaluated at q = 1. To see this recall that the Euler characteristic of the homology of a complex is the same as the Euler characteristic of the complex itself and so χ = i ( 1) i dim(h i (D)) = ( 1) i dim(f ([D] i )) i = ( 1) i dim(f(γ s )) = ( 1) i i s smoothings r(s)=i+n s smoothings r(s)=i+n 2 k(s). Comparing with the definition of the Jones polynomial we see that the right hand side is the unnormalised Jones polynomial evaluated at 1. Example 5.3. The most general theory from the above is the theory obtained by taking R = Z[λ, µ, t]/ 2λµ λ 2 µ 2 µ 4 t 2. For convenience we record the structure of the Frobenius algebra for this theory. As an R-module it is free on generators 1 and x and has multiplication and comultiplication 11 = 1, 1x = x1 = x, xx = ( λ 2 µ 2 t)x + t1 (1) = 1 x + x 1 + (λ 2 + µ 2 t)1 1 (x) = x x + t1 1. The counit is ǫ(1) = 0, ǫ(x) = 1 and the Möbius element is θ = λ1 + µx. To get a bigraded theory we must graded R with with deg(λ) = 1, deg(µ) = 1 and deg(t) = 4. We end by discussing the relevance of the above theorem to certain well known link homology theories.
20 20 VLADIMIR TURAEV AND PAUL TURNER Example 5.4. Khovanov s original link homology (see [7] and [3]). Khovanov s original link homology with coefficients in R can be defined from the universal theory over Z[h, t] via the map ψ: Z[h, t] R taking 1 1, h 0 and t 0. Thus in order to extend this to stable equivalence classes on surfaces we must find a solution to equation (5) with t = 0 also satisfying h = λ 2 µ 2 t = 0 i.e. λ = 0. For R = Z there is no µ making (0, µ, 0) a solution to (5) which shows there is no extension of Khovanov s original theory over Z to stable equivalence classes of links on surfaces (at least using the methods of this paper). Similar comments hold using Q and F p for p 2 a prime. For R = F 2 both (0, 0, 0) and (0, 1, 0) are solutions of (5) and thus over F 2 Khovanov s theory does extend. The first of these corresponding to θ = 0 is bi-graded and was investigated by Manturov [10]. He observes that the graded Euler characteristic (which can be computed from the graded Euler characteristic of the chain complex) is the unnormalised Jones polynomial of the link. For the second solution one can also formulate a bi-graded theory by working over F 2 [u] where deg(u) = 1 and considering the solution of (5) given by (0, u, 0) which corresponds to θ = ux. Example 5.5. Lee theory (see [9]). Lee theory over R is defined by taking h = 0 and t = 1. In order to extend to stable equivalence classes we must find a solution to equation (5) with t = 1 also satisfying h = λ 2 µ 2 t = 0 i.e. we must find λ, µ R such that λ 2 = µ 2 and 2λµ = 2. Over Z there are no such λ and µ, so Lee theory over Z does not extend to stable equivalence classes on surfaces. Over a field the solutions are given by (λ, λ 1, 1) where λ 4 = 1. Over Q there are no solutions and over C there are four solutions corresponding to the four 4 th roots of 1. Over fields of finite characteristic one finds interesting solutions e.g. over F 17 one has the solution (2, 9, 1). In these cases Lee theory extends to stable equivalence classes on surfaces. Over F 2 there are two solutions (0, 0, 1) and (1, 1, 1). These are isomorphic to the two theories arising from Khovanov s original theory over F 2 described above. Example 5.6. Bar-Natan theory (see [2]). Bar-Natan theory over R is obtained by taking h = 1 and t = 0. The equation h = 1 becomes λ 2 µ 2 t = 1 i.e. λ 2 = 1 and equation (5) becomes 2λµ + µ 2 = 2. Over Z or Q there is no solution to these two equations and over F 2 there is a unique solution (1, 0, 0). Over other finite fields there are interesting non-trivial solutions e.g. over F 5 there is the solution (3, 1, 0). In the bigraded setting one can take R = F 2 [v] with v in degree 1. Then (v, 0, 0) gives a theory whose Frobenius algebra has multiplication 11 = 1, 1x = x1 = x, xx = v 2 x and comultiplication (1) = 1 x + x 1 + v 2 1 1, (x) = x x. The counit is ǫ(1) = 0, ǫ(x) = 1 and the Möbius element is θ = v1. This theory is related to Manturov s theory: one can filter the chain complex by powers of v to produce a spectral sequence (similar to that in [11]) whose E 2 -page is Manturov s theory and which converges to this bigraded Bar-Natan theory.
21 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY 21 As a final remark we note that Khovanov has interpreted some of the algebras defining link homologies in terms of the equivariant cohomology of S 2 and we can do the same here. Let G = Z/2 act on S 2 by a rotation through π about a fixed axis. In this case we have H G(pt; F 2 ) = H (RP ; F 2 ) = F 2 [v]. and H G (S2 ; F 2 ) = F 2 [v, x]/ x 2 = v 2 x = F 2 [v][x]/ x 2 = v 2 x. We see that this is the algebra of bigraded Bar-Natan link homology above and the Möbius element is the image of the generator of H G (pt; F 2) under homomorphism induced from S 2 pt. Acknowledgments The second author was supported by the European Commission through a Marie Curie fellowship and thanks the Institut de Recherche Mathématiques Avancée in Strasbourg for their hospitality. REFERENCES [1] M. Asaeda, J. Przytycki and A. Sikora, Categorification of the Kauffman bracket skein module of I-bundles over surfaces, Alg. Geom. Top., 4 (2004), [2] D. Bar-Natan, Khovanov s homology for tangles and cobordisms, math.gt/ , [3] D. Bar-Natan, On Khovanov s categorification of the Jones polynomial, Alg. Geom. Top., 2 (2002), [4] R. Fenn, L. Kauffman and V. Manturov, Virtual Knot Theory, math.gt/ [5] M. Jacobsson, An invariant of link cobordisms from Khovanov homology, Alg. Geom. Top., 4 (2004), [6] L. Kauffman and V. Manturov, Virtual Knots and Links, math.gt/ [7] M. Khovanov, A categorification of the Jones polynomial, Duke Math J., 101 (2000), [8] M. Khovanov, Link homology and Frobenius extensions, math.qa/ , [9] E. Lee, An endomorphism of the Khovanov invariant, math.gt/ , [10] V. Manturov, The Khovanov complex for virtual links, math.gt/ [11] P. Turner, Calculating Bar-Natan s characteristic two Khovanov homology, math.gt/ , INSTITUT DE RECHERCHE MATHÉMATIQUE AVANCÉE, 7 RUE RENÉ DESCARTES, STRASBOURG, FRANCE address: turaev@math.u-strasbg.fr SCHOOL OF MATHEMATICAL AND COMPUTER SCIENCES, HERIOT-WATT UNIVERSITY, EDINBURGH EH14 4AS, SCOTLAND address: paul@ma.hw.ac.uk
arxiv: v1 [math.gt] 22 Oct 2017
THE BAR-NATAN HOMOLOGY AND UNKNOTTING NUMBER arxiv:1710.07874v1 [math.gt] 22 Oct 2017 AKRAM ALISHAHI Abstract. We show that the order of torsion homology classes in Bar- Natan deformation of Khovanov homology
More informationarxiv:math/ v1 [math.at] 5 Oct 1999
arxiv:math/990026v [math.at] 5 Oct 999 REPRESENTATIONS OF THE HOMOTOPY SURFACE CATEGORY OF A SIMPLY CONNECTED SPACE MARK BRIGHTWELL AND PAUL TURNER. Introduction At the heart of the axiomatic formulation
More informationAlgebraic and topological perspectives on the Khovanov homology
Algebraic and topological perspectives on the Khovanov homology Jānis Lazovskis April 26, 213 Abstract We investigate the Khovanov homology, introduced in [4], of an embedded link. A detailed computation
More informationCategorification and (virtual) knots
Categorification and (virtual) knots Daniel Tubbenhauer If you really want to understand something - (try to) categorify it! 13.02.2013 = = Daniel Tubbenhauer Categorification and (virtual) knots 13.02.2013
More informationarxiv: v1 [math.gt] 7 Nov 2017
Additional gradings on generalisations of Khovanov homology and invariants of embedded surfaces Vassily Olegovich Manturov and William Rushworth Bauman Moscow State Technical University and Chelyabinsk
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationHyperbolic Knots and the Volume Conjecture II: Khov. II: Khovanov Homology
Hyperbolic Knots and the Volume Conjecture II: Khovanov Homology Mathematics REU at Rutgers University 2013 July 19 Advisor: Professor Feng Luo, Department of Mathematics, Rutgers University Overview 1
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationarxiv:math/ v1 [math.gt] 16 Aug 2000
arxiv:math/0008118v1 [math.gt] 16 Aug 2000 Stable Equivalence of Knots on Surfaces and Virtual Knot Cobordisms J. Scott Carter University of South Alabama Mobile, AL 36688 cartermathstat.usouthal.edu Masahico
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationMatrix factorizations and link homology II
arxiv:math/0505056v2 [math.qa] 31 Jan 2006 Matrix factorizations and link homology II Mikhail Khovanov and Lev Rozansky May 4, 2005 Abstract To a presentation of an oriented link as the closure of a braid
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationKHOVANOV S HOMOLOGY FOR TANGLES AND COBORDISMS
KHOVANOV S HOMOLOGY FOR TANGLES AND COBORDISMS DROR BAR-NATAN Modified from a paper in Geometry & Topology 9-33 (2005) 465 499. Abstract. We give a fresh introduction to the Khovanov Homology theory for
More informationA REMARK ON RASMUSSEN S INVARIANT OF KNOTS
Journal of Knot Theory and Its Ramifications Vol. 16, No. 3 (2007) 333 344 c World Scientific Publishing Company A REMARK ON RASMUSSEN S INVARIANT OF KNOTS MARCO MACKAAY Departamento de Matemática, Universidade
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationKnight move in chromatic cohomology
Knight move in chromatic cohomology arxiv:math/0511598v2 [math.co] 5 Sep 2006 Michael Chmutov Department of Mathematics, The Ohio State University, 231 W. 18th Avenue, Columbus, Ohio 43210 chmutov@mps.ohio-state.edu
More informationCategorifying quantum knot invariants
Categorifying quantum knot invariants Ben Webster U. of Oregon November 26, 2010 Ben Webster (U. of Oregon) Categorifying quantum knot invariants November 26, 2010 1 / 26 This talk is online at http://pages.uoregon.edu/bwebster/rims-iii.pdf.
More informationTHE CATEGORIFICATION OF THE KAUFFMAN BRACKET SKEIN MODULE OF RP 3
Bull. Aust. Math. Soc. 88 (2013), 407 422 doi:10.1017/s0004972713000105 THE CATEGORIFICATION OF THE KAUFFMAN BRACKET SKEIN MODULE OF RP 3 BOŠTJAN GABROVŠEK (Received 25 September 2012; accepted 9 January
More informationMORE ON KHOVANOV HOMOLOGY
MORE ON KHOVANOV HOMOLOGY Radmila Sazdanović NC State Summer School on Modern Knot Theory Freiburg 6 June 2017 WHERE WERE WE? Classification of knots- using knot invariants! Q How can we get better invariants?
More informationMath 440 Problem Set 2
Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.
More informationSMSTC Geometry & Topology 1 Assignment 1 Matt Booth
SMSTC Geometry & Topology 1 Assignment 1 Matt Booth Question 1 i) Let be the space with one point. Suppose X is contractible. Then by definition we have maps f : X and g : X such that gf id X and fg id.
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationAn introduction to calculus of functors
An introduction to calculus of functors Ismar Volić Wellesley College International University of Sarajevo May 28, 2012 Plan of talk Main point: One can use calculus of functors to answer questions about
More informationLecture 17: Invertible Topological Quantum Field Theories
Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More informationCategorification of the Colored Jones Polynomial and Rasmussen Invariant of Links
Syracuse University SURFACE Mathematics Faculty Scholarship Mathematics 8-18-2006 Categorification of the Colored Jones Polynomial and Rasmussen Invariant of Links Anna Beliakova Universitat Zurich, Stephan
More informationDivision Algebras and Parallelizable Spheres, Part II
Division Algebras and Parallelizable Spheres, Part II Seminartalk by Jerome Wettstein April 5, 2018 1 A quick Recap of Part I We are working on proving the following Theorem: Theorem 1.1. The following
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More information2-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS. Contents 1. The main theorem 1
2-DIMENSIONL TOPOLOGICL QUNTUM FIELD THEORIES ND FROBENIUS LGEBRS CROLINE TERRY bstract. Category theory provides a more abstract and thus more general setting for considering the structure of mathematical
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationarxiv: v1 [math.gt] 23 Apr 2014
THE NUMBER OF FRAMINGS OF A KNOT IN A 3-MANIFOLD PATRICIA CAHN, VLADIMIR CHERNOV, AND RUSTAM SADYKOV arxiv:1404.5851v1 [math.gt] 23 Apr 2014 Abstract. In view of the self-linking invariant, the number
More informationarxiv: v2 [math.gt] 19 Oct 2014
VIRTUAL LEGENDRIAN ISOTOPY VLADIMIR CHERNOV AND RUSTAM SADYKOV arxiv:1406.0875v2 [math.gt] 19 Oct 2014 Abstract. An elementary stabilization of a Legendrian knot L in the spherical cotangent bundle ST
More informationON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES
ON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES THANG T. Q. LÊ Abstract. We show that the Chebyshev polynomials form a basic block of any positive basis of the Kauffman bracket skein algebras
More informationKHOVANOV HOMOLOGY, ITS DEFINITIONS AND RAMIFICATIONS OLEG VIRO. Uppsala University, Uppsala, Sweden POMI, St. Petersburg, Russia
KHOVANOV HOMOLOGY, ITS DEFINITIONS AND RAMIFICATIONS OLEG VIRO Uppsala University, Uppsala, Sweden POMI, St. Petersburg, Russia Abstract. Mikhail Khovanov defined, for a diagram of an oriented classical
More informationLecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.
Lecture 15: Duality We ended the last lecture by introducing one of the main characters in the remainder of the course, a topological quantum field theory (TQFT). At this point we should, of course, elaborate
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationGauge theory and Rasmussen's invariant
Gauge theory and Rasmussen's invariant The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Kronheimer,
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationCutting and pasting. 2 in R. 3 which are not even topologically
Cutting and pasting We begin by quoting the following description appearing on page 55 of C. T. C. Wall s 1960 1961 Differential Topology notes, which available are online at http://www.maths.ed.ac.uk/~aar/surgery/wall.pdf.
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationExercises for Algebraic Topology
Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via
More informationDraft: November 3, 2012 MUTATION AND THE CHARACTERISTIC-2 RASMUSSEN INVARIANT
MUTATION AND THE CHARACTERISTIC-2 RASMUSSEN INVARIANT THOMAS C. JAEGER Abstract. We show that Khovanov s universal sl(2) homology with coefficients in F 2 is invariant under component-preserving mutation.
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More informationLecture 4: Knot Complements
Lecture 4: Knot Complements Notes by Zach Haney January 26, 2016 1 Introduction Here we discuss properties of the knot complement, S 3 \ K, for a knot K. Definition 1.1. A tubular neighborhood V k S 3
More informationarxiv: v2 [math.gt] 27 Mar 2009
ODD KHOVANOV HOMOLOGY IS MUTATION INVARIANT JONATHAN M. BLOOM arxiv:0903.3746v2 [math.gt] 27 Mar 2009 Abstract. We define a link homology theory that is readily seen to be both isomorphic to reduced odd
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationUC San Diego UC San Diego Electronic Theses and Dissertations
UC San Diego UC San Diego Electronic Theses and Dissertations Title Topics in Khovanov homology Permalink https://escholarship.org/uc/item/4sg5g6ct Author Wilson, Benjamin Edward Publication Date 2012-01-01
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationM ath. Res. Lett. 17 (2010), no. 1, 1 10 c International Press 2010 ODD KHOVANOV HOMOLOGY IS MUTATION INVARIANT. Jonathan M. Bloom
M ath. Res. Lett. 17 (2010), no. 1, 1 10 c International Press 2010 ODD KHOVANOV HOMOLOGY IS MUTATION INVARIANT Jonathan M. Bloom Abstract. We prove that odd Khovanov homology is mutation invariant over
More information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More informationTORSION IN KHOVANOV LINK HOMOLOGY
TORSION IN KHOVANOV LINK HOMOLOGY Radmila Sazdanović NC State Summer School on Modern Knot Theory Freiburg 7 June 2017 TORSION IN KHOVANOV HOMOLOGY CONJECTURE (SHUMAKOVITCH) Let L be any prime link other
More informationarxiv: v1 [math.gt] 22 Jan 2019
A parity for 2-colourable links William Rushworth Department of Mathematics and Statistics, McMaster University E-mail address: will.rushworth@math.mcmaster.ca arxiv:1901.07406v1 [math.gt] 22 Jan 2019
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
More informationDo Super Cats Make Odd Knots?
Do Super Cats Make Odd Knots? Sean Clark MPIM Oberseminar November 5, 2015 Sean Clark Do Super Cats Make Odd Knots? November 5, 2015 1 / 10 ODD KNOT INVARIANTS Knots WHAT IS A KNOT? (The unknot) (The Trefoil
More informationMath 210B. The bar resolution
Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial
More informationSurface invariants of finite type
Surface invariants of finite type Michael Eisermann Institut Fourier, UJF Grenoble 17 September 2008 i f INSTITUT FOURIER Michael Eisermann www-fourier.ujf-grenoble.fr/ eiserm Summary 1 Definitions and
More informationTHE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER
THE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER Abstract. The fundamental group is an invariant of topological spaces that measures the contractibility of loops. This project studies
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationTHEp 1 -CENTRALEXTENSIONOF THE MAPPING CLASS GROUP OF ORIENTABLE SURFACES
KNOT THEORY BANACH CENTER PUBLICATIONS, VOLUME 42 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1998 THEp 1 -CENTRALEXTENSIONOF THE MAPPING CLASS GROUP OF ORIENTABLE SURFACES SYLVAIN GERVAIS
More informationEXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY
EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital
More informationMA3002 Generell Topologi Revision Checklist
MA3002 Generell Topologi Revision Checklist Richard Williamson May 21, 2013 Contents 1 Overview 2 2 Fundamentals 3 2.1 Must know................................... 3 2.2 Very important.................................
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
More information2.5 Excision implies Simplicial = Singular homology
2.5 Excision implies Simplicial = Singular homology 1300Y Geometry and Topology 2.5 Excision implies Simplicial = Singular homology Recall that simplicial homology was defined in terms of a -complex decomposition
More informationFor Ramin. From Jonathan December 9, 2014
For Ramin From Jonathan December 9, 2014 1 Foundations. 1.0 Overview. Traditionally, knot diagrams are employed as a device which converts a topological object into a combinatorial one. One begins with
More informationSurface invariants of finite type
Surface invariants of finite type Michael Eisermann Institut Fourier, UJF Grenoble 17 September 2008 i f INSTITUT FOURIER Michael Eisermann www-fourier.ujf-grenoble.fr/ eiserm 1/24 Summary 1 Definitions
More informationAlgebraic Topology Homework 4 Solutions
Algebraic Topology Homework 4 Solutions Here are a few solutions to some of the trickier problems... Recall: Let X be a topological space, A X a subspace of X. Suppose f, g : X X are maps restricting to
More informationBEN KNUDSEN. Conf k (f) Conf k (Y )
CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationKnot Theory and Khovanov Homology
Knot Theory and Khovanov Homology Juan Ariel Ortiz Navarro juorna@gmail.com Departamento de Ciencias Matemáticas Universidad de Puerto Rico - Mayagüez JAON-SACNAS, Dallas, TX p.1/15 Knot Theory Motivated
More informationQuantum Groups and Link Invariants
Quantum Groups and Link Invariants Jenny August April 22, 2016 1 Introduction These notes are part of a seminar on topological field theories at the University of Edinburgh. In particular, this lecture
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationLecture 7: Etale Fundamental Group - Examples
Lecture 7: Etale Fundamental Group - Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of
More informationKEVIN WALKER ON TQFTS
KEVIN WALKER ON TQFTS 1. Introduction Today we ll talk about stuff related to skein modules. Eventually we ll need something more general, but these will do for now. Next, if we want to think about TQFTs
More informationGEOMETRY HW 12 CLAY SHONKWILER
GEOMETRY HW 12 CLAY SHONKWILER 1 Let M 3 be a compact 3-manifold with no boundary, and let H 1 (M, Z) = Z r T where T is torsion. Show that H 2 (M, Z) = Z r if M is orientable, and H 2 (M, Z) = Z r 1 Z/2
More informationDualization and deformations of the Bar-Natan Russell skein module. Andrea Heyman
Dualization and deformations of the Bar-Natan Russell skein module Andrea Heyman Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationGeometry and Topology, Lecture 4 The fundamental group and covering spaces
1 Geometry and Topology, Lecture 4 The fundamental group and covering spaces Text: Andrew Ranicki (Edinburgh) Pictures: Julia Collins (Edinburgh) 8th November, 2007 The method of algebraic topology 2 Algebraic
More information10. The subgroup subalgebra correspondence. Homogeneous spaces.
10. The subgroup subalgebra correspondence. Homogeneous spaces. 10.1. The concept of a Lie subgroup of a Lie group. We have seen that if G is a Lie group and H G a subgroup which is at the same time a
More informationCambridge University Press Frobenius Algebras and 2D Topological Quantum Field Theories Joachim Kock Excerpt More information
Introduction In this introduction we briefly explain the words of the title of these notes, give a sketch of what we are going to do with these notions, and outline the viewpoint we will take in order
More informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
More informationVassiliev Invariants, Chord Diagrams, and Jacobi Diagrams
Vassiliev Invariants, Chord Diagrams, and Jacobi Diagrams By John Dougherty X Abstract: The goal of this paper is to understand the topological meaning of Jacobi diagrams in relation to knot theory and
More informationBRAID GROUPS ALLEN YUAN. 1. Introduction. groups. Furthermore, the study of these braid groups is also both important to mathematics
BRAID GROUPS ALLEN YUAN 1. Introduction In the first lecture of our tutorial, the knot group of the trefoil was remarked to be the braid group B 3. There are, in general, many more connections between
More informationGRAPHS, LINKS, AND DUALITY ON SURFACES
GRAPHS, LINKS, AND DUALITY ON SURFACES VYACHESLAV KRUSHKAL Abstract. We introduce a polynomial invariant of graphs on surfaces, P G, generalizing the classical Tutte polynomial. Topological duality on
More informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationOn Constructions of Generalized Skein Modules
Boise State University ScholarWorks Mathematics Faculty Publications and Presentations Department of Mathematics 1-1-2014 On Constructions of Generalized Skein Modules Uwe Kaiser Boise State University
More information1 Hochschild Cohomology and A : Jeff Hicks
1 Hochschild Cohomology and A : Jeff Hicks Here s the general strategy of what we would like to do. ˆ From the previous two talks, we have some hope of understanding the triangulated envelope of the Fukaya
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationMath 215B: Solutions 3
Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More information