Functoriality of logarithmic Hochschild homology of log smooth pairs

@misc{gyenge2026functoriality,
  title = {{Functoriality of logarithmic Hochschild homology of log smooth pairs}},
  author = {Ádám Gyenge and Márton Hablicsek and Leo Herr},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2605.11156},
  eprint = {2605.11156},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.11156},
}

TY  - UNPB
TI  - Functoriality of logarithmic Hochschild homology of log smooth pairs
AU  - Ádám Gyenge
AU  - Márton Hablicsek
AU  - Leo Herr
PY  - 2026
DA  - 2026/10/12
PB  - arXiv
DO  - 10.48550/arxiv.2605.11156
UR  - https://arxiv.org/abs/2605.11156
AB  - The construction of a satisfactory dg category of logarithmic coherent sheaves remains a central open problem in logarithmic geometry. In this paper, we propose an alternative correspondence-theoretic approach based on logarithmic Fourier--Mukai transforms. For smooth proper log pairs, we introduce strong log Fourier--Mukai kernels supported on canonical blow-up compactifications and prove that logarithmic Hochschild homology is functorial with respect to the induced transforms. Unlike the classical setting, logarithmic correspondences do not naturally live on ordinary products, and the standard adjunction formalism fails because of blow-up discrepancies. We overcome these difficulties by constructing explicit unit- and counit-type morphisms that provide the necessary adjunction data without requiring an ambient dg category of logarithmic sheaves. As applications, we construct a dg bicategory of logarithmic correspondences in which logarithmic Hochschild homology and cohomology become categorical invariants. We also define logarithmic Chern characters and a logarithmic Euler pairing compatible with the logarithmic Fourier--Mukai formalism.
ER  -