Hochschild functor conjecture for enriched categories and bimodules

Let (V,,I)(\mathscr{V},\otimes,I) be a presentably symmetric monoidal (,1)(\infty,1)-category. Let ModV\mathscr{M}\mathrm{od}_{\mathscr{V}} be the (,2)(\infty,2)-category whose objects are V\mathscr{V}-enriched categories and whose morphisms are bimodules. There is a Hochschild construction biHH(ModV)\mathrm{biHH}_\infty(\mathscr{M}\mathrm{od}_{\mathscr{V}}). Hochschild functor conjecture. There exists a functor of (,1)(\infty,1)-categories

HHV:biHH(ModV)V.\mathrm{HH}_{\mathscr{V}}:\mathrm{biHH}_\infty(\mathscr{M}\mathrm{od}_{\mathscr{V}})\to\mathscr{V}.

Moreover, if V\mathscr{V} is closed symmetric monoidal, then HHV\mathrm{HH}_{\mathscr{V}} is a V\mathscr{V}-enriched functor of V\mathscr{V}-enriched (,1)(\infty,1)-categories. This would supply the Hochschild shadow in the important case of enriched categories and bimodules; the source does not state whether the claim has been proved or remains open.

Sources & referencesView supporting material

Primary source

Kathryn Hess and Nima Rasekh, “Shadows are Bicategorical Traces”, arXiv:2109.02144 (2025).

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.