HKR-type invariants of 4–thickenings of 2–dimensional CW complexes
Algebraic and Geometric Topology, Tome 3 (2003) no. 1, pp. 33-87
Cet article a éte moissonné depuis la source Mathematical Sciences Publishers

Voir la notice de l'article

The HKR (Hennings–Kauffman–Radford) framework is used to construct invariants of 4–thickenings of 2–dimensional CW complexes under 2–deformations (1– and 2– handle slides and creations and cancellations of 1–2 handle pairs). The input of the invariant is a finite dimensional unimodular ribbon Hopf algebra A and an element in a quotient of its center, which determines a trace function on A. We study the subset T4 of trace elements which define invariants of 4–thickenings under 2–deformations. In T4 two subsets are identified : T3 ⊂T4, which produces invariants of 4–thickenings normalizable to invariants of the boundary, and T2 ⊂T4, which produces invariants of 4–thickenings depending only on the 2–dimensional spine and the second Whitney number of the 4–thickening. The case of the quantum sl(2) is studied in details. We conjecture that sl(2) leads to four HKR–type invariants and describe the corresponding trace elements. Moreover, the fusion algebra of the semisimple quotient of the category of representations of the quantum sl(2) is identified as a subalgebra of a quotient of its center.

DOI : 10.2140/agt.2003.3.33
Keywords: Hennings' invariant, Hopf algebras, CW complexes, 4–thickenings

Bobtcheva, Ivelina  1   ; Messia, Maria Grazia  1

1 Dipartimento di Scienze Matematiche, Università di Ancona, Via Brece Bianche 1, 60131, Ancona, Italy
@article{10_2140_agt_2003_3_33,
     author = {Bobtcheva, Ivelina and Messia, Maria Grazia},
     title = {HKR-type invariants of 4{\textendash}thickenings of 2{\textendash}dimensional {CW} complexes},
     journal = {Algebraic and Geometric Topology},
     pages = {33--87},
     year = {2003},
     volume = {3},
     number = {1},
     doi = {10.2140/agt.2003.3.33},
     url = {http://geodesic.mathdoc.fr/articles/10.2140/agt.2003.3.33/}
}
TY  - JOUR
AU  - Bobtcheva, Ivelina
AU  - Messia, Maria Grazia
TI  - HKR-type invariants of 4–thickenings of 2–dimensional CW complexes
JO  - Algebraic and Geometric Topology
PY  - 2003
SP  - 33
EP  - 87
VL  - 3
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.2140/agt.2003.3.33/
DO  - 10.2140/agt.2003.3.33
ID  - 10_2140_agt_2003_3_33
ER  - 
%0 Journal Article
%A Bobtcheva, Ivelina
%A Messia, Maria Grazia
%T HKR-type invariants of 4–thickenings of 2–dimensional CW complexes
%J Algebraic and Geometric Topology
%D 2003
%P 33-87
%V 3
%N 1
%U http://geodesic.mathdoc.fr/articles/10.2140/agt.2003.3.33/
%R 10.2140/agt.2003.3.33
%F 10_2140_agt_2003_3_33
Bobtcheva, Ivelina; Messia, Maria Grazia. HKR-type invariants of 4–thickenings of 2–dimensional CW complexes. Algebraic and Geometric Topology, Tome 3 (2003) no. 1, pp. 33-87. doi: 10.2140/agt.2003.3.33

[1] J J Andrews, M L Curtis, Free groups and handlebodies, Proc. Amer. Math. Soc. 16 (1965) 192

[2] I Bobtcheva, On Quinn's invariants of 2–dimensional CW-complexes, from: "Low-dimensional topology (Funchal, 1998)", Contemp. Math. 233, Amer. Math. Soc. (1999) 69

[3] S Garoufalidis, On some aspects of Chern–Simons gauge theory, PhD thesis, University of Chicago (1992)

[4] S Gelfand, D Kazhdan, Examples of tensor categories, Invent. Math. 109 (1992) 595

[5] M Hennings, Invariants of links and 3–manifolds obtained from Hopf algebras, J. London Math. Soc. $(2)$ 54 (1996) 594

[6] C Hog-Angeloni, W Metzler, A J Sieradski, Two-dimensional homotopy and combinatorial group theory, London Mathematical Society Lecture Note Series 197, Cambridge University Press (1993)

[7] T Kerler, Genealogy of nonperturbative quantum invariants of 3–manifolds — the surgical family

[8] T Kerler, Mapping class group actions on quantum doubles, Comm. Math. Phys. 168 (1995) 353

[9] T Kerler, V V Lyubashenko, Non-semisimple topological quantum field theories for 3–manifolds with corners, Lecture Notes in Mathematics 1765, Springer (2001)

[10] L H Kauffman, D E Radford, Invariants of 3–manifolds derived from finite-dimensional Hopf algebras, J. Knot Theory Ramifications 4 (1995) 131

[11] L H Kauffman, D Radford, S Sawin, Centrality and the KRH invariant, J. Knot Theory Ramifications 7 (1998) 571

[12] R C Kirby, The topology of 4–manifolds, Lecture Notes in Mathematics 1374, Springer (1989)

[13] R E Gompf, A I Stipsicz, 4–manifolds and Kirby calculus, Graduate Studies in Mathematics 20, American Mathematical Society (1999)

[14] K Mueller, Probleme des einfachen Homotopietyps in niederen Dimensionen und ihre Behandlung mit Hilfsmitteln der topologischen Quantenfeldtheorie, dissertation, Johann Wolfgang Goethe Universitat (2000)

[15] G Lusztig, Introduction to quantum groups, Progress in Mathematics 110, Birkhäuser (1993)

[16] F Quinn, Lectures on axiomatic topological quantum field theory, from: "Geometry and quantum field theory (Park City, UT, 1991)", IAS/Park City Math. Ser. 1, Amer. Math. Soc. (1995) 323

[17] F Quinn, Dual 2–complexes in 4–manifolds

[18] D E Radford, The order of the antipode of a finite dimensional Hopf algebra is finite, Amer. J. Math. 98 (1976) 333

[19] D E Radford, The trace function and Hopf algebras, J. Algebra 163 (1994) 583

[20] N Reshetikhin, V G Turaev, Invariants of 3–manifolds via link polynomials and quantum groups, Invent. Math. 103 (1991) 547

[21] M C Shum, Tortile tensor categories, J. Pure Appl. Algebra 93 (1994) 57

[22] M E Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, New York (1969)

[23] K Walker, On Witten's 3–manifold invariants, preprint (1991)

Cité par Sources :