Recognition: no theorem link
Functoriality of logarithmic Hochschild homology of log smooth pairs
Pith reviewed 2026-05-13 02:18 UTC · model grok-4.3
The pith
Logarithmic Hochschild homology is functorial under strong log Fourier-Mukai transforms for smooth proper log pairs.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For smooth proper log pairs the authors construct strong log Fourier-Mukai kernels supported on canonical blow-up compactifications and prove that the induced transforms make logarithmic Hochschild homology functorial. They achieve this by building explicit unit- and counit-type morphisms that supply the required adjunction data directly, without relying on an ambient dg category of logarithmic sheaves.
What carries the argument
strong log Fourier-Mukai kernels supported on canonical blow-up compactifications, which carry the induced transforms and supply explicit adjunction morphisms
If this is right
- Logarithmic Hochschild homology and cohomology become categorical invariants of the dg bicategory of logarithmic correspondences.
- Logarithmic Chern characters can be defined so that they are compatible with the logarithmic Fourier-Mukai formalism.
- A logarithmic Euler pairing exists that is compatible with the same formalism.
- The approach supplies an alternative to a full dg category of logarithmic coherent sheaves by working directly with correspondences.
Where Pith is reading between the lines
- The same kernel construction might be tested on log pairs that are not proper, once suitable compactifications are chosen.
- The bicategory of log correspondences could be compared with existing categories of log motives or log derived categories.
- The explicit adjunction maps may serve as a model for restoring functoriality in other logarithmic invariants that currently lack ambient categories.
Load-bearing premise
Explicit unit- and counit-type morphisms can always be constructed to give the necessary adjunction data for these kernels.
What would settle it
A concrete smooth proper log pair together with two composable log correspondences for which the induced map on logarithmic Hochschild homology fails to equal the composition of the individual transforms, or for which the constructed unit or counit maps do not satisfy the triangle identities.
Figures
read the original abstract
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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes an alternative correspondence-theoretic approach to the open problem of constructing a dg category of logarithmic coherent sheaves. For smooth proper log pairs, it introduces strong log Fourier-Mukai kernels supported on canonical blow-up compactifications and proves that logarithmic Hochschild homology is functorial with respect to the induced transforms. Standard adjunction fails due to blow-up discrepancies, so the authors construct explicit unit- and counit-type morphisms to supply the necessary adjunction data without an ambient dg category of logarithmic sheaves. Applications include a dg bicategory of logarithmic correspondences in which log HH and HC become categorical invariants, plus definitions of logarithmic Chern characters and a compatible logarithmic Euler pairing.
Significance. If the explicit constructions and functoriality hold, the work would be a foundational contribution to logarithmic algebraic geometry and homological algebra. It circumvents the missing ambient category by providing concrete adjunction data for log FM transforms, enabling categorical invariants and log versions of classical invariants like Chern characters. The approach of using blow-up compactifications and explicit morphisms could serve as a template for other settings where standard formalism breaks.
major comments (1)
- [Construction of unit and counit morphisms for strong log Fourier-Mukai kernels] The central claim rests on the explicit unit- and counit-type morphisms (described in the abstract and the section on adjunction data for strong log FM kernels) satisfying the triangle identities and naturality conditions with respect to the log structures. The manuscript notes that standard adjunction fails due to blow-up discrepancies but does not provide a detailed verification that counit ∘ unit equals the identity on the relevant Hom spaces in the log setting; this verification is load-bearing for the functoriality of logarithmic Hochschild homology.
minor comments (1)
- The abstract and introduction could include a brief diagram or table contrasting the classical FM adjunction with the logarithmic version to clarify the role of the blow-up compactifications.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting the need for greater explicitness in the verification of the adjunction data. We address the major comment below and will incorporate the suggested expansion in the revised version.
read point-by-point responses
-
Referee: [Construction of unit and counit morphisms for strong log Fourier-Mukai kernels] The central claim rests on the explicit unit- and counit-type morphisms (described in the abstract and the section on adjunction data for strong log FM kernels) satisfying the triangle identities and naturality conditions with respect to the log structures. The manuscript notes that standard adjunction fails due to blow-up discrepancies but does not provide a detailed verification that counit ∘ unit equals the identity on the relevant Hom spaces in the log setting; this verification is load-bearing for the functoriality of logarithmic Hochschild homology.
Authors: We agree that a more detailed verification is required. The manuscript constructs the explicit unit- and counit-type morphisms in the section on adjunction data for strong log FM kernels and uses them to establish functoriality of logarithmic Hochschild homology, noting the failure of standard adjunction due to blow-up discrepancies. However, the step-by-step check that counit ∘ unit equals the identity on the relevant Hom spaces, together with naturality under the log structures, is presented at a level of detail that could be expanded. In the revised manuscript we will add an expanded subsection containing explicit computations of the compositions on Hom spaces, including the necessary diagrams and checks that account for the logarithmic structures and the discrepancies arising from the canonical blow-up compactifications. revision: yes
Circularity Check
No circularity: functoriality derived from explicit new morphisms on blow-up compactifications
full rationale
The paper's central derivation introduces strong log Fourier-Mukai kernels supported on canonical blow-up compactifications for smooth proper log pairs and constructs explicit unit- and counit-type morphisms to supply adjunction data, bypassing the absent ambient dg category of logarithmic sheaves. This construction is used to prove that logarithmic Hochschild homology is functorial with respect to the induced transforms, yielding a dg bicategory of logarithmic correspondences. No quoted step reduces the functoriality claim to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain; the explicit morphisms are presented as novel and independent of the target result. The derivation remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Existence of canonical blow-up compactifications for smooth proper log pairs that support the strong log kernels
- standard math Standard properties of Hochschild homology and adjunctions in dg categories extend to the logarithmic setting once unit and counit maps are supplied
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
Documenta Mathematica , volume=
Formality of derived intersections , author=. Documenta Mathematica , volume=
-
[4]
Vaintrob, Dmitry , journal=
-
[5]
EMS Surveys in Mathematical Sciences , volume=
Derived algebraic geometry , author=. EMS Surveys in Mathematical Sciences , volume=
-
[8]
Caldararu, Andrei , journal=
- [9]
- [10]
-
[11]
Ferrand, Daniel and Gabber, Ofer , URL =. 2022 , MONTH = Jul, DOI =
work page 2022
-
[12]
Composantes connexes et irréductibles en familles , volume =
Romagny, Matthieu , year =. Composantes connexes et irréductibles en familles , volume =. Manuscripta Mathematica , doi =
-
[13]
Geometry & Topology , number =
Ravi Vakil and Aleksey Zinger , title =. Geometry & Topology , number =. 2008 , doi =
work page 2008
-
[14]
Costello's pushforward formula: errata and generalization. arXiv e-prints , keywords =
-
[15]
Uniformisierung log-abelscher Variet\"aten , author =. 2005 , Language =
work page 2005
-
[16]
Logarithmic étale cohomology, II , volume =
Nakayama, Chikara , year =. Logarithmic étale cohomology, II , volume =. Advances in Mathematics , doi =
-
[17]
Chou, You–Cheng and Herr, Leo and Lee, Yuan–Pin , year=. The Log Product Formula in. doi:10.1017/S0305004123000063 , journal=
-
[18]
ArXiv e-prints , archivePrefix = "arXiv", eprint =
On log motives. ArXiv e-prints , archivePrefix = "arXiv", eprint =
- [19]
-
[20]
Abramovich, Dan and Chen, Qile and Wise, Jonathan and Marcus, Steffen , title =. J. Eur. Math. Soc. , doi =. 2017 , issue =
work page 2017
-
[21]
Wies. J. Algebraic Geom. , title =. 2006 , volume =
work page 2006
-
[22]
final functor , howpublished =
-
[23]
Shokurov, V. V. , title=. Journal of Mathematical Sciences , year=. doi:10.1007/BF02362335 , url=
-
[24]
The Hodge bundle, the universal 0-section, and the log Chow ring of the moduli space of curves. arXiv e-prints , keywords =
-
[25]
Holmes, David and Pixton, Aaron and Schmitt, Johannes , year =
- [26]
-
[27]
Communications in Algebra , volume =
Dan Abramovich and Alessio Corti and Angelo Vistoli , title =. Communications in Algebra , volume =. 2003 , publisher =. doi:10.1081/AGB-120022434 , URL =
-
[28]
Regular differentials and equidimensional scheme-maps , volume =
Lipman, Joseph and Sastry, Pramathanath , year =. Regular differentials and equidimensional scheme-maps , volume =
-
[29]
Semistable reduction in characteristic 0. arXiv e-prints , keywords =
-
[30]
Using Stacks to Impose Tangency Conditions on Curves , volume =
Charles Cadman , journal =. Using Stacks to Impose Tangency Conditions on Curves , volume =
-
[31]
Logarithmic Gromov-Witten theory with expansions , author=. 2019 , eprint=
work page 2019
-
[32]
Logarithmic Pandharipande--Thomas Spaces and the Secondary Polytope. arXiv e-prints , keywords =
-
[33]
A case study of intersections on blowups of the moduli of curves. arXiv e-prints , keywords =
-
[34]
A note on cycles of curves in a product of pairs. arXiv e-prints , keywords =
- [35]
-
[36]
Lectures on Logarithmic Algebraic Geometry , DOI=
Ogus, Arthur , year=. Lectures on Logarithmic Algebraic Geometry , DOI=
-
[37]
Logarithmic Gromov-Witten invariants , volume =
Gross, Mark and Siebert, Bernd , year =. Logarithmic Gromov-Witten invariants , volume =. Journal of the American Mathematical Society , doi =
-
[38]
Schlank, T. M. and Skorobogatov, A. N. , editor=. A very brief introduction to étale homotopy , DOI=. Torsors, Étale Homotopy and Applications to Rational Points , publisher=. 2013 , pages=
work page 2013
-
[39]
Boundedness of the space of stable logarithmic maps , volume =
Abramovich, Dan and Chen, Qile and Marcus, Steffen and Wise, Jonathan , year =. Boundedness of the space of stable logarithmic maps , volume =. Journal of the European Mathematical Society , doi =
-
[40]
eprint arXiv:alg-geom/9710014 , year = 1997, month = oct, adsurl =
The product formula for Gromov-Witten invariants. eprint arXiv:alg-geom/9710014 , year = 1997, month = oct, adsurl =
work page internal anchor Pith review arXiv 1997
-
[41]
Introduction to tropical algebraic geometry. arXiv e-prints , keywords =. doi:10.48550/arXiv.1207.1925 , archivePrefix =. 1207.1925 , primaryClass =
-
[42]
Virtual Cartier divisors and blow-ups. arXiv e-prints , keywords =. doi:10.48550/arXiv.1802.05702 , archivePrefix =. 1802.05702 , primaryClass =
-
[43]
Transactions of the American Mathematical Society , year=
Intersection theory of moduli space of stable N-pointed curves of genus zero , author=. Transactions of the American Mathematical Society , year=
-
[44]
Khan, Adeel A. , keywords =. Virtual fundamental classes of derived stacks I , publisher =. 2019 , copyright =. doi:10.48550/ARXIV.1909.01332 , url =
-
[45]
The log tangent space of the log jet space , publisher =
Herr, Leo , keywords =. The log tangent space of the log jet space , publisher =. 2022 , copyright =. doi:10.48550/ARXIV.2210.08505 , url =
-
[46]
Relative and orbifold Gromov-Witten invariants , journal =
Abramovich, Dan and Cadman, Charles and Wise, Jonathan , year =. Relative and orbifold Gromov-Witten invariants , journal =
-
[47]
Geometry & Topology , number =
Dhruv Ranganathan and Keli Santos-Parker and Jonathan Wise , title =. Geometry & Topology , number =. 2019 , doi =
work page 2019
-
[48]
The logarithmic Picard group and its tropicalization. arXiv e-prints , keywords =
-
[49]
Documenta Mathematica , volume =
Multiplicativity of the Double Ramification Cycle , year =. Documenta Mathematica , volume =. doi:10.25537/dm.2019v24.545-562 , pages =
- [50]
-
[51]
and Fantechi, Barbara , year =
Behrend, K. and Fantechi, Barbara , year =. The Intrinsic Normal Cone , volume =. Inventiones Mathematicae , doi =
-
[52]
Gromov-Witten invariants in algebraic geometry , volume =
Behrend, K , year =. Gromov-Witten invariants in algebraic geometry , volume =. Inventiones mathematicae , doi =
-
[53]
A tale of two moduli spaces: logarithmic and multi-scale differentials
A tale of two moduli spaces: logarithmic and multi-scale differentials. arXiv e-prints , keywords =. doi:10.48550/arXiv.2212.04704 , archivePrefix =. 2212.04704 , primaryClass =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2212.04704
-
[54]
Compactifying the space of stable maps , volume =
Abramovich, Dan and Vistoli, Angelo , year =. Compactifying the space of stable maps , volume =. Journal of the American Mathematical Society , doi =
-
[55]
Logarithmic compactification of the Abel-Jacobi section. arXiv e-prints , keywords =. 2017
work page 2017
- [56]
-
[57]
Orbifold techniques in degeneration formulas. arXiv e-prints , keywords =. 2011
work page 2011
-
[58]
arXiv Mathematics e-prints , keywords =
The moduli space of curves and Gromov-Witten theory. arXiv Mathematics e-prints , keywords =. 2006
work page 2006
-
[59]
Advanced Studies in Pure Mathematics , doi =
Kim, Bumsig , title =. Advanced Studies in Pure Mathematics , doi =. 2010 , month =
work page 2010
-
[60]
Jarvis, Tyler and Kaufmann, Ralph and Kimura, Takashi , year =. Pointed Admissible G-Covers and G-equivariant Cohomological Field Theories, preprint math.AG/0302316 , volume =. Compositio Mathematica , doi =
-
[61]
R \'e duction stable en dimension sup \'e rieure [d'apr \`e s Koll \'a r, Hacon-Xu...]. arXiv e-prints , keywords =
-
[62]
Decomposition of degenerate Gromov-Witten invariants. arXiv e-prints , keywords =
-
[63]
https://mathoverflow.net/q/366308 , URL =
Extending rational maps of nodal curves , AUTHOR =. https://mathoverflow.net/q/366308 , URL =
-
[64]
Logarithmic structures of Fontaine-Illusie, in Algebraic Analysis, Geometry, and Number Theory, Proceedings of the JAMI Inaugural Conference , author=. Supplement to Aner. J. Math. , pages=. 1989 , publisher=
work page 1989
-
[65]
Nagoya Mathematical Journal , number =
Takeshi Kajiwara and Kazuya Kato and Chikara Nakayama , title =. Nagoya Mathematical Journal , number =. 2015 , doi =
work page 2015
-
[66]
Logarithmic Structures of Fontaine-Illusie
Kato, Kazuya. Logarithmic Structures of Fontaine-Illusie. II ---Logarithmic Flat Topology. Tokyo J. Math. 2021. doi:10.3836/tjm/1502179316
-
[67]
Li, A.M. and Ruan, Yongbin , title =. Inventiones Mathematicae , volume =. 2001 , issue =
work page 2001
-
[68]
Skeletons and fans of logarithmic structures. arXiv e-prints , keywords =
- [69]
-
[70]
Log Smooth Deformation and Moduli of Log Smooth Curves , volume =
Kato, Fumiharu , year =. Log Smooth Deformation and Moduli of Log Smooth Curves , volume =
-
[71]
Gromov-Witten theory of root gerbes I: structure of genus 0 moduli spaces. arXiv e-prints , keywords =. 2009
work page 2009
-
[72]
Annales de l'Institut Fourier , publisher =
Abramovich, Dan and Marcus, Steffen and Wise, Jonathan , title =. Annales de l'Institut Fourier , publisher =. 2014 , pages =. doi:10.5802/aif.2892 , mrnumber =
-
[73]
Expanded Degenerations and Pairs , volume =
Abramovich, Dan and Cadman, Charles and Fantechi, Barbara and Wise, Jonathan , year =. Expanded Degenerations and Pairs , volume =. Communications in Algebra , doi =
-
[74]
Gromov-Witten theory of banded gerbes over schemes. arXiv e-prints , keywords =. 2011
work page 2011
-
[75]
The degeneration formula for logarithmic expanded degenerations , volume =
Chen, Qile , year =. The degeneration formula for logarithmic expanded degenerations , volume =. Journal of Algebraic Geometry , doi =
-
[76]
Birational invariance in logarithmic Gromov–Witten theory , volume=
Abramovich, Dan and Wise, Jonathan , year=. Birational invariance in logarithmic Gromov–Witten theory , volume=. Compositio Mathematica , publisher=. doi:10.1112/S0010437X17007667 , number=
-
[77]
The Cohomological Crepant Resolution Conjecture for the Hilbert-Chow morphisms , volume =
Li, Wei-Ping and Qin, Zhenbo , year =. The Cohomological Crepant Resolution Conjecture for the Hilbert-Chow morphisms , volume =. Journal of Differential Geometry , doi =
-
[78]
Universal Weak Semistable Reduction. arXiv e-prints , keywords =
-
[79]
Marcus, Steffen and Wise, Jonathan , year =
-
[80]
Relative virtual localization and vanishing of tautological classes on moduli spaces of curves
Graber, Tom and Vakil, Ravi. Relative virtual localization and vanishing of tautological classes on moduli spaces of curves. Duke Math. J. 2005. doi:10.1215/S0012-7094-05-13011-3
-
[81]
A Moduli Stack of Tropical Curves , volume=
CAVALIERI, RENZO and CHAN, MELODY and ULIRSCH, MARTIN and WISE, JONATHAN , year=. A Moduli Stack of Tropical Curves , volume=. doi:10.1017/fms.2020.16 , journal=
-
[82]
Generating Functions for Hurwitz-Hodge Integrals , volume =
Cavalieri, Renzo , year =. Generating Functions for Hurwitz-Hodge Integrals , volume =. Advances in Mathematics , doi =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.