Bar-Natan theory and tunneling between incompressible surfaces in 3-manifolds

In [16] the author defined for each commutative Frobenius algebra a skein module of surfaces in a 3-manifold M bounding a closed 1-manifold α⊂∂M. The surface components are colored by elements of the Frobenius algebra. The modules are called the Bar-Natan modules of (M,α). In this article we show that Bar-Natan modules are colimit modules of functors associated to Frobenius algebras, decoupling topology from algebra. The functors are defined on a category of 3-dimensional compression bordisms embedded in cylinders over M and take values in a linear category defined from the Frobenius algebra. The relation with the 1+1-dimensional topological quantum field theory functor associated to the Frobenius algebra is studied. We show that the geometric content of the skein modules is contained in a tunneling graph of (M,α), providing a natural presentation of the Bar-Natan module by application of the functor defined from the algebra. Such presentations have essentially been stated in [16] and [2] using ad-hoc arguments. But they appear naturally on the background of the Bar-Natan functor and associated categorical considerations. We discuss in general how to deduce presentations of colimit modules for functors into module categories in terms of minimal terminal sets of objects of the category in the categorical setting. We also sketch the construction of a bicategory version of the Bar-Natan functor.