Compatibility of logarithmic and ordinary Hochschild functoriality

Less than 1 year old · traced to

Let (X,D)(X,D) and (X′,D′)(X',D') be log smooth pairs, and let EE be a strong Fourier–Mukai kernel on X×log⁡X′X\times^{\log}X'. Let π:X×log⁡X′→X×X′\pi:X\times^{\log}X'\to X\times X' be the projection and regard the proper pushforward π∗E\pi_*E as a Fourier–Mukai kernel. The kernel EE induces a map ϕEHH\phi^{HH}_E on logarithmic Hochschild homology, while π∗E\pi_*E induces a map ϕπ∗EHH\phi^{HH}_{\pi_*E} on ordinary Hochschild homology. Compatibility conjecture. The diagram

HH∗(X′)→ϕπ∗EHHHH∗(X)↓↓HH∗log⁡(X′)→ϕEHHHH∗log⁡(X)\begin{CD} {\rm HH}_*(X') @>{\phi^{HH}_{\pi_*E}}>> {\rm HH}_*(X) \\ @VVV @VVV \\ {\rm HH}^{\log}_*(X') @>{\phi^{HH}_E}>> {\rm HH}^{\log}_*(X) \end{CD}

commutes, where the vertical maps are induced by the counit map Δ∗Δ∗⇒i∗i∗\Delta^*\Delta_*\Rightarrow i^*i_* from the self-intersection of the diagonal to the self-intersection of the log diagonal. This would relate ordinary and logarithmic Fourier–Mukai actions through the natural comparison maps.

References

Primary source

Ádám Gyenge, Márton Hablicsek and Leo Herr, “Functoriality of logarithmic Hochschild homology of log smooth pairs”, arXiv:2605.11156 (2026).

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.