Fully faithful functor conjecture for Hochschild cohomology of fully dualizable objects

Let C\mathcal{C} be a fully dualizable object, and let Z(C)=HH(C)Z(\mathcal{C})=HH^\bullet(\mathcal{C}) denote its Hochschild cohomology. Consider a category of fully dualizable objects and a target category constructed using a system of cospans. Fully faithful Hochschild-cohomology conjecture. The assignment Z()Z(-) defines a functor from the category of fully dualizable objects to this target category, and it is fully faithful after restricting to 00-morphisms and equivalence classes of invertible 11-morphisms in the domain while ignoring higher morphisms. In particular, for fully dualizable objects C\mathcal{C} and D\mathcal{D}, Z(C)Z(\mathcal{C}) is isomorphic to Z(D)Z(\mathcal{D}) as, for example, EnE_n-categories when appropriate, if and only if C\mathcal{C} and D\mathcal{D} are Morita equivalent; moreover, there is a group isomorphism

Pic(C)Aut(Z(C)).\operatorname{Pic}(\mathcal{C})\simeq\operatorname{Aut}(Z(\mathcal{C})).

This proposes an extension of the analogous properties observed for Levin–Wen models and rational conformal field theories to general extended topological quantum field theories. The claim is presented as a mathematical conjecture, and no resolution is supplied in the source.

Sources & referencesView supporting material

Primary source

Liang Kong, “Some universal properties of Levin-Wen models”, arXiv:1211.4644 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.