Compatibility of logarithmic and ordinary Hochschild functoriality

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×logXX\times^{\log}X'. Let π:X×logXX×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)HHlog(X)ϕEHHHHlog(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 ΔΔii\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.

Sources & referencesView supporting material

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.