×

HKR-type invariants of \(4\)-thickenings of \(2\)-dimensional CW complexes. (English) Zbl 1031.57019

The well-known Andrews-Curtis conjecture of combinatorial group theory asks if any finite presentation of the trivial group can be changed into the empty presentation using only “Andrews-Curtis” moves, namely inversion and permutation of generators and of relations, conjugation of relators by generators, multiplication of one generator (or relator) by another one, and the addition or removal of a generator together with a relator equal to that generator. This conjecture has strong ties to low-dimensional topology, since any finite presentation can be translated into a topological object, such as a CW-complex or handlebody, whose fundamental group has the given presentation. Although there are many potential counterexamples, often with topological origins, invariants to detect them as counterexamples have been elusive.
In this paper, the authors consider \(4\)-dimensional handlebodies obtained as thickenings of \(2\)-dimensional CW complexes, and construct invariants of these under 1- and 2-handle slides, and the birth and death of canceling 1-handle/2-handle pairs, operations which alter the presentation of the fundamental group of the handlebody by Andrews-Curtis moves. Based on the “HKR framework” of Hennings, Kauffman, and D. E. Radford [M. Hennings, J. Lond. Math. Soc. (2) 54, 594-624 (1996; Zbl 0882.57002) and L. H. Kauffmann and D. E. Radford, J. Knot Theory Ramifications 4, 131-162 (1995; Zbl 0843.57007)], the invariant uses a presentation of a \(4\)-dimensional thickening by a framed link in \(S^3\), and takes as its input data a finite dimensional unimodular ribbon Hopf algebra and an element in a quotient of its center which determines a trace function on the algebra. The authors determine a subset \({\mathcal{T}}^4\) of trace elements which yield invariants of \(4\)-thickenings under \(2\)-handle slides and 1-handle/2-handle cancellations. In \({\mathcal{T}}^4\), two subsets are identified and studied: \({\mathcal{T}}^3\subset {\mathcal{T}}^4,\) a subset of elements which factor as a product of a \(3\)-manifold invariant of the boundary and an invariant which depends only on the Euler characteristic and signature of the thickening; and \({\mathcal{T}}^2\subset {\mathcal{T}}^4,\) a subset of elements which give invariants depending on the \(2\)-dimensional spine and the second Whitney number of the thickening.

MSC:

57N13 Topology of the Euclidean \(4\)-space, \(4\)-manifolds (MSC2010)
57M20 Two-dimensional complexes (manifolds) (MSC2010)
57N10 Topology of general \(3\)-manifolds (MSC2010)
16W30 Hopf algebras (associative rings and algebras) (MSC2000)
PDFBibTeX XMLCite
Full Text: DOI arXiv EuDML EMIS

References:

[1] J J Andrews, M L Curtis, Free groups and handlebodies, Proc. Amer. Math. Soc. 16 (1965) 192 · Zbl 0131.38301 · doi:10.2307/2033843
[2] I Bobtcheva, On Quinn’s invariants of 2-dimensional CW-complexes, Contemp. Math. 233, Amer. Math. Soc. (1999) 69 · Zbl 0936.57003
[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 · Zbl 0784.18003 · doi:10.1007/BF01232042
[5] M Hennings, Invariants of links and 3-manifolds obtained from Hopf algebras, J. London Math. Soc. \((2)\) 54 (1996) 594 · Zbl 0882.57002 · doi:10.1112/jlms/54.3.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) · Zbl 0788.00031
[7] T Kerler, Genealogy of nonperturbative quantum invariants of 3-manifolds - the surgical family · Zbl 0869.57014
[8] T Kerler, Mapping class group actions on quantum doubles, Comm. Math. Phys. 168 (1995) 353 · Zbl 0833.16039 · doi:10.1007/BF02101554
[9] T Kerler, V V Lyubashenko, Non-semisimple topological quantum field theories for 3-manifolds with corners, Lecture Notes in Mathematics 1765, Springer (2001) · Zbl 0982.57013 · doi:10.1007/b82618
[10] L H Kauffman, D E Radford, Invariants of 3-manifolds derived from finite-dimensional Hopf algebras, J. Knot Theory Ramifications 4 (1995) 131 · Zbl 0843.57007 · doi:10.1142/S0218216595000077
[11] L H Kauffman, D Radford, S Sawin, Centrality and the KRH invariant, J. Knot Theory Ramifications 7 (1998) 571 · Zbl 0927.57005 · doi:10.1142/S0218216598000310
[12] R C Kirby, The topology of 4-manifolds, Lecture Notes in Mathematics 1374, Springer (1989) · Zbl 0668.57001 · doi:10.1007/BFb0089031
[13] R E Gompf, A I Stipsicz, 4-manifolds and Kirby calculus, Graduate Studies in Mathematics 20, American Mathematical Society (1999) · Zbl 0933.57020
[14] K Mueller, Probleme des einfachen Homotopietyps in niederen Dimensionen und ihre Behandlung mit Hilfsmitteln der topologischen Quantenfeldtheorie, dissertation, Johann Wolfgang Goethe Universitat (2000) · Zbl 0967.57023
[15] G Lusztig, Introduction to quantum groups, Progress in Mathematics 110, Birkhäuser (1993) · Zbl 0788.17010
[16] F Quinn, Lectures on axiomatic topological quantum field theory, IAS/Park City Math. Ser. 1, Amer. Math. Soc. (1995) 323 · Zbl 0901.18002
[17] F Quinn, Dual 2-complexes in 4-manifolds · Zbl 0993.57017 · doi:10.1090/S0002-9947-01-02940-3
[18] D E Radford, The order of the antipode of a finite dimensional Hopf algebra is finite, Amer. J. Math. 98 (1976) 333 · Zbl 0332.16007 · doi:10.2307/2373888
[19] D E Radford, The trace function and Hopf algebras, J. Algebra 163 (1994) 583 · Zbl 0801.16039 · doi:10.1006/jabr.1994.1033
[20] N Reshetikhin, V G Turaev, Invariants of 3-manifolds via link polynomials and quantum groups, Invent. Math. 103 (1991) 547 · Zbl 0725.57007 · doi:10.1007/BF01239527
[21] M C Shum, Tortile tensor categories, J. Pure Appl. Algebra 93 (1994) 57 · Zbl 0803.18004 · doi:10.1016/0022-4049(92)00039-T
[22] M E Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, New York (1969) · Zbl 0194.32901
[23] K Walker, On Witten’s 3-manifold invariants, preprint (1991)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.