2-tangles

From MaRDI portal



Abstract: Just as links may be algebraically described as certain morphisms in the category of tangles, compact surfaces smoothly embedded in R^4 may be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. In this announcement we give a purely algebraic characterization of the 2-category of unframed unoriented 2-tangles in 4 dimensions as the `free semistrict braided monoidal 2-category with duals on one unframed self-dual object'. A forthcoming paper will contain a proof of this result using the movie moves of Carter, Rieger and Saito. We comment on how one might use this result to construct invariants of 2-tangles.


In the note under review, by semistrict braided monoidal \(2\)-categories are meant those defined by \textit{J. C. Baez} and \textit{M. Neuchl} [Adv. Math. 121, No. 2, 196-244 (1996; Zbl 0855.18008)], but satisfying certain extra axioms introduced by \textit{S. Crans} [Generalized centers of braided and sylleptic monoidal \(2\)-categories. To appear in Adv. Math.]. The note is in fact an announcement of a theorem claiming that the \(2\)-category of unframed unoriented \(2\)-tangles in four dimensions can be characterized as the ``free semistrict braided monoidal \(2\)-category with duals on one unframed self-dual object. A proof using the movie moves of Carter, Rieger, and Saito is promised to be given in a forthcoming paper. The authors have hopes that there are interesting examples of semistrict braided monoidal \(2\)-categories. They comment on how the above mentioned characterization might be used to construct invariants of \(2\)-tangles in four dimensions.











This page was built for publication: 2-tangles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1386540)