Logarithmic Hochschild (co)homology of logarithmic orbifolds
Pith reviewed 2026-05-10 13:48 UTC · model grok-4.3
The pith
The decomposition theorem for logarithmic Hochschild (co)homology extends from firm to general logarithmic orbifolds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors extend the decomposition theorem for the logarithmic Hochschild (co)homology of logarithmic orbifolds to the general case by showing that the geometric construction via formality of derived intersections continues to hold. They then apply the theorem in two ways: they compute the logarithmic Hochschild homology of two versions of symmetric products, and they establish that the homology is invariant under root stack operations.
What carries the argument
The geometric construction of logarithmic Hochschild (co)homology via formality of derived intersections, which supports the decomposition into simpler summands for general logarithmic orbifolds.
If this is right
- The logarithmic Hochschild homology of symmetric products admits explicit calculations via the decomposition.
- The homology remains unchanged when the logarithmic orbifold is replaced by a root stack.
- The decomposition theorem applies to a wider class of logarithmic orbifolds than previously known, breaking the homology into contributions from the base and the logarithmic structure.
Where Pith is reading between the lines
- The invariance under root stacks may allow these homologies to serve as invariants that ignore certain stacky refinements in moduli problems.
- Similar extensions could be tested in related logarithmic invariants such as K-theory or cyclic homology for the same classes of orbifolds.
- The result opens the possibility of computing the homology explicitly for families of logarithmic orbifolds that arise in degeneration problems.
Load-bearing premise
The geometric construction via formality of derived intersections used for firm orbifolds continues to hold without modification for general logarithmic orbifolds.
What would settle it
A concrete counterexample would be a specific general logarithmic orbifold in which the logarithmic Hochschild homology fails to decompose according to the theorem or changes its value after a root stack operation.
read the original abstract
Recently, the authors of this paper introduced logarithmic Hochschild (co)homology of logarithmic spaces in a geometric way using formality of derived intersections. In this paper, the authors extend the decomposition theorem for the logarithmic Hochschild (co)homology of firm orbifolds to general logarithmic orbifolds and consider two applications of the decomposition theorem. First, we consider two versions of a symmetric product and compute the logarithmic Hochschild homology of them. Second, we show that logarithmic Hochschild homology is invariant under root stack operations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends the authors' prior decomposition theorem for logarithmic Hochschild (co)homology, previously established for firm orbifolds, to the setting of general logarithmic orbifolds. The extension is achieved by showing that the geometric construction based on the formality of derived intersections carries over directly. Two applications are developed: explicit computations of logarithmic Hochschild homology for two versions of symmetric products of logarithmic orbifolds, and a proof that logarithmic Hochschild homology is invariant under root stack operations.
Significance. If the central extension holds, the result supplies a practical computational tool in logarithmic algebraic geometry and orbifold theory. The invariance under root stacks is a notable strength, indicating robustness of the invariant under stacky modifications that frequently arise in moduli problems. The explicit calculations for symmetric products provide concrete examples that may serve as test cases for further developments in the area.
minor comments (3)
- The introduction would benefit from a brief comparison table or explicit statement contrasting the firm-orbifold case with the general case, to make the scope of the extension immediately visible to readers.
- Notation for the two versions of symmetric products (e.g., in the section developing the applications) should be introduced with a short clarifying sentence to avoid potential confusion between the two constructions.
- A sentence or two in the final section summarizing how the root-stack invariance interacts with the decomposition theorem would strengthen the narrative flow between the main result and the second application.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of our manuscript, including the recognition of the extension of the decomposition theorem to general logarithmic orbifolds and the applications to symmetric products and root stack invariance. We appreciate the recommendation for minor revision. No specific major comments were provided in the report, so we have no individual points to address point-by-point at this stage. We will incorporate any minor editorial or clarification changes in the revised version as appropriate.
Circularity Check
No significant circularity; extension is independent of prior inputs
full rationale
The paper introduces no self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the central claims to their own assumptions by construction. The extension of the decomposition theorem from firm orbifolds to general logarithmic orbifolds is presented as a direct generalization of a prior geometric construction (formality of derived intersections), with the construction treated as carrying over without modification. Applications to symmetric products and root stacks are computed from this extension rather than presupposing the results. The prior work by the same authors is cited as foundational background but does not force the new claims; the derivation chain remains self-contained against external geometric benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Formality of derived intersections holds for logarithmic spaces
Forward citations
Cited by 1 Pith paper
-
Functoriality of logarithmic Hochschild homology of log smooth pairs
Logarithmic Hochschild homology is functorial for strong log Fourier-Mukai transforms on smooth proper log pairs, yielding a dg bicategory of logarithmic correspondences with compatible Chern characters and Euler pairings.
Reference graph
Works this paper leans on
-
[1]
The H ochschild homology of a noncommutative symmetric quotient stack
Rina Anno, Vladimir Baranovsky, and Timothy Logvinenko. The H ochschild homology of a noncommutative symmetric quotient stack. arXiv preprint arXiv:2512.25039 , 2025
-
[2]
Dima Arinkin and Andrei C a ld a raru. When is the self-intersection of a subvariety a fibration? Advances in Mathematics , 231(2):815--842, 2012
work page 2012
-
[3]
Formality of derived intersections and the orbifold HKR isomorphism
Dima Arinkin , Andrei Caldararu , and Márton Hablicsek . Formality of derived intersections and the orbifold HKR isomorphism. Journal of Algebra , 540:100--120, 2019
work page 2019
-
[4]
Root stacks and periodic decompositions
Agnieszka Bodzenta and Will Donovan. Root stacks and periodic decompositions. Manuscripta Mathematica , 175(1):53--73, 2024
work page 2024
-
[5]
Pieter Belmans, Lie Fu, and Andreas Krug. Hochschild cohomology of H ilbert schemes of points on surfaces. arXiv preprint:2309.06244 , 2023
-
[6]
Hochschild- K ostant- R osenberg isomorphism for derived D eligne- M umford stacks
Lie Fu, Mauro Porta, Sarah Scherotzke, and Nicol \`o Sibilla. Hochschild- K ostant- R osenberg isomorphism for derived D eligne- M umford stacks. arXiv preprint arXiv:2509.00501 , 2025
-
[7]
The H eisenberg category of a category
\'Ad\'am Gyenge, Clemens Koppensteiner, and Timothy Logvinenko. The H eisenberg category of a category. Memoirs of the American Mathematical Society , 2025
work page 2025
-
[8]
The Hochschild -- Kostant -- Rosenberg isomorphism for quantized analytic cycles
Julien Grivaux. The Hochschild -- Kostant -- Rosenberg isomorphism for quantized analytic cycles. International Mathematics Research Notices , 2014(4):865--913, 2014
work page 2014
-
[9]
Logarithmic H ochschild co/homology via formality of derived intersections
Márton Hablicsek, Leo Herr, and Francesca Leonardi. Logarithmic H ochschild co/homology via formality of derived intersections. Journal of Algebra , 686:127--175, 2026
work page 2026
-
[10]
Patrick Kennedy-Hunt . The Logarithmic Quot space: foundations and tropicalisation . arXiv preprint arXiv:2308.14470 , 2023
-
[11]
Logarithmic H ochschild homology and cohomology
Francesca Leonardi. Logarithmic H ochschild homology and cohomology . PhD thesis, Leiden University, 2025
work page 2025
-
[12]
A decomposition theorem for the H ochschild homology of symmetric powers of a dg category
Ville Nordstrom. A decomposition theorem for the H ochschild homology of symmetric powers of a dg category. arXiv preprint arXiv:2511.03269 , 2025
-
[13]
Hochschild homology for log schemes
Martin Olsson . Hochschild homology for log schemes. arXiv preprint arXiv:2406.08629 , 2024
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[14]
Infinite root stacks and quasi-coherent sheaves on logarithmic schemes
Mattia Talpo and Angelo Vistoli. Infinite root stacks and quasi-coherent sheaves on logarithmic schemes. Proceedings of the London Mathematical Society , 116(5):1187--1243, 2018
work page 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.