Compatibility of logarithmic and ordinary Hochschild functoriality
Let and be log smooth pairs, and let be a strong Fourier–Mukai kernel on . Let be the projection and regard the proper pushforward as a Fourier–Mukai kernel. The kernel induces a map on logarithmic Hochschild homology, while induces a map on ordinary Hochschild homology. Compatibility conjecture. The diagram
commutes, where the vertical maps are induced by the counit map 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
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.