Boundary conditions and defects of any codimension are natural parts of any quantum field theory. Surface defects in three-dimensional topological field theories of Turaev-Reshetikhin type have applications to two-dimensional conformal field theories, in solid state physics and in quantum computing. We explain an obstruction to the existence of surface defects that takes values in a Witt group. We then turn to surface defects in Dijkgraaf-Witten theories and their construction in terms of relative bundles; this allows one to exhibit Brauer-Picard groups as symmetry groups of three-dimensional topological field theories.
We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor categories. It is defined by a universal property that is a categorification of Hochschild homology of bimodules over an algebra. We present several equivalent realizations of this 2-functor and show that it has a coherent cyclic invariance. Our results have applications to categories associated to circles in three-dimensional topological field theories with defects. This is made explicit for the subclass of Dijkgraaf-Witten topological field theories.
