Kerler-Lyubashenko Functors on 4-Dimensional 2-Handlebodies

DOI10.1093/IMRN/RNAC039arXiv2105.02789MaRDI QIDQ6367018FDOQ6367018

Authors: Anna Beliakova, Marco De Renzi 

Publication date: 6 May 2021

Abstract: We construct a braided monoidal functor $J_4$ from Bobtcheva and Piergallini's category $4mathrmHB$ of connected 4-dimensional 2-handlebodies (up to 2-deformations) to an arbitrary unimodular ribbon category $mathcalC$, which is not required to be semisimple. The main example of target category is provided by $H$-mod, the category of left modules over a unimodular ribbon Hopf algebra $H$. The source category $4mathrmHB$ is freely generated, as a braided monoidal category, by a BPH algebra (short for Bobtcheva-Piergallini Hopf algebra), and this is sent by the Kerler-Lyubashenko functor $J_4$ to the end $in{t}_{XinmathcalC}Xotimes{X}^{*}$ in $mathcalC$, which is given by the adjoint representation in the case of $H$-mod. When $mathcalC$ is factorizable, we show that the construction only depends on the boundary and signature of handlebodies, and thus projects to a functor $J_3^{s}igma$ defined on Kerler's category $3mathrm{Cob}^{s}igma$ of connected framed 3-dimensional cobordisms. When $H^{*}$ is not semisimple and $H$ is not factorizable, our functor $J_4$ has the potential of detecting diffeomorphisms that are not 2-deformations.

This page was built for publication: Kerler-Lyubashenko Functors on 4-Dimensional 2-Handlebodies

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