Pith. sign in

REVIEW 2 major objections 2 minor 3 cited by

Global Homotopies for Differential Hochschild Cohomologies

T0 review · 2 major / 2 minor · reviewed 2026-05-23 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Explicit global homotopies upgrade the Hochschild-Kostant-Rosenberg map to a deformation retract for differential Hochschild cochains.

desk verdict The paper gives an explicit global homotopy construction for differential Hochschild cochains that upgrades the HKR map to a deformation retract using symbol calculus plus coalgebraic van Est. read the letter →

arxiv 2410.15903 v2 submitted 2024-10-21 math.DG math.QA

Marvin Dippell , Chiara Esposito , Jonas Schnitzer , Stefan Waldmann This is my paper · ORCID
classification math.DGmath.QA
keywords differentialHochschildcohomologyglobalhomotopiesdeformationretractHochschild-Kostant-RosenbergmapsymbolcalculusvanEsttheoremprincipalbundles
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper constructs explicit global homotopies for differential Hochschild cochains in differential geometry. These homotopies upgrade the classical Hochschild-Kostant-Rosenberg map from a quasi-isomorphism to a deformation retract. The construction pairs a symbol calculus drawn from differential geometry with a coalgebraic version of the van Est theorem. The same method produces deformation retracts on principal bundles and in invariant settings. This recovers the classical Hochschild-Kostant-Rosenberg theorem and makes certain previously inaccessible Hochschild cohomologies computable.

What carries the argument

The combination of symbol calculus and coalgebraic van Est theorem that produces the explicit global homotopies without local-to-global obstructions.

What would settle it

An explicit manifold or principal bundle on which the constructed maps fail to satisfy the deformation retract identities globally would disprove the claim.

Watch

Extended reading notes

Core claim

The authors construct explicit global homotopies for differential Hochschild cochains, thereby upgrading the classical Hochschild-Kostant-Rosenberg map to a deformation retract. The approach combines a symbol calculus from differential geometry and a coalgebraic version of the van Est theorem. Deformation retracts are developed in several related settings including principal bundles and invariant contexts. As a byproduct the classical Hochschild-Kostant-Rosenberg theorem is recovered and previously inaccessible Hochschild cohomologies are computed.

Load-bearing premise

The symbol calculus and coalgebraic van Est theorem can be combined to produce global homotopies without additional obstructions in the differential geometric setting.

Editorial extensions

If this is right

  • The classical Hochschild-Kostant-Rosenberg theorem follows directly as a special case.
  • Certain Hochschild cohomology groups that were previously inaccessible become computable.
  • Deformation retracts exist for the differential Hochschild complex on principal bundles.
  • The same global homotopy construction applies in invariant contexts.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The global character of the homotopies may simplify explicit calculations in deformation quantization on general manifolds.
  • Similar pairings of symbol calculus with coalgebraic theorems could address global questions in other differential cohomology theories.
  • The method might extend to settings with additional geometric structures such as foliations or group actions.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The paper constructs explicit global homotopies for differential Hochschild cochains on manifolds by combining a symbol calculus with a coalgebraic version of the van Est theorem. This upgrades the classical Hochschild-Kostant-Rosenberg (HKR) map to a deformation retract. The construction is extended to principal bundles and invariant settings; as a byproduct the classical HKR theorem is recovered and certain previously inaccessible Hochschild cohomologies are computed.

Significance. If the explicit global homotopies are correctly constructed without hidden obstructions, the result supplies a concrete deformation-retract structure on differential Hochschild cochains that is unavailable from local or formal methods alone. This would strengthen the link between differential geometry and Hochschild cohomology, potentially enabling new computations in deformation theory and equivariant settings. The use of symbol calculus and coalgebraic van Est is a strength if the combination is carried through rigorously.

major comments (2)
  1. [§3] §3 (main construction): the claim that the symbol calculus plus coalgebraic van Est produces global (rather than merely local) homotopies without additional curvature or obstruction terms needs an explicit verification that the resulting homotopy operators satisfy the deformation-retract identities on the nose; the abstract states the combination succeeds but the derivation steps are not visible in the provided summary.
  2. [Theorem 4.2] Theorem 4.2 (recovery of classical HKR): the statement that the new global homotopy recovers the classical HKR theorem as a special case requires a precise comparison of the induced maps on cohomology; it is unclear whether the global homotopy restricts to the standard HKR quasi-isomorphism or merely induces the same map on cohomology.
minor comments (2)
  1. Notation for the differential Hochschild cochain complex is introduced without a dedicated preliminary section; a short subsection recalling the precise definition of the differential would improve readability.
  2. The extensions to principal bundles and invariant contexts are announced but the precise statements of the corresponding theorems are not listed in the abstract; adding a numbered list of main theorems would clarify the scope.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the opportunity to respond to the referee's report. We address each major comment below and will revise the manuscript accordingly to improve clarity.

read point-by-point responses

  1. Referee: [§3] §3 (main construction): the claim that the symbol calculus plus coalgebraic van Est produces global (rather than merely local) homotopies without additional curvature or obstruction terms needs an explicit verification that the resulting homotopy operators satisfy the deformation-retract identities on the nose; the abstract states the combination succeeds but the derivation steps are not visible in the provided summary.

    Authors: We thank the referee for highlighting this point. In the full manuscript, Section 3 provides the explicit construction of the homotopy operators H via the symbol calculus applied to the coalgebraic van Est map. The verification that these satisfy the deformation retract relations (id - HKR ∘ projection = dH + Hd, etc.) is carried out by direct computation in local frames, where the symbol map ensures that curvature terms cancel globally due to the properties of the connection. However, to address the concern about visibility, we will add a dedicated subsection or appendix outlining the key steps of this verification without hidden obstructions. revision: yes

  2. Referee: [Theorem 4.2] Theorem 4.2 (recovery of classical HKR): the statement that the new global homotopy recovers the classical HKR theorem as a special case requires a precise comparison of the induced maps on cohomology; it is unclear whether the global homotopy restricts to the standard HKR quasi-isomorphism or merely induces the same map on cohomology.

    Authors: In Theorem 4.2, we demonstrate that the global construction specializes to the classical HKR by showing that the homotopy operators vanish or reduce to zero in the formal power series setting or when the manifold is affine, and the induced map on cochains is exactly the standard HKR map, not merely cohomologically equivalent. This is achieved by comparing the symbol expansion with the usual antisymmetrization. We agree that a more precise statement is beneficial and will include a corollary or remark explicitly stating that the restriction yields the standard quasi-isomorphism on the cochain level. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; construction rests on external theorems

full rationale

The paper's central claim is an explicit construction of global homotopies via the combination of symbol calculus (from differential geometry) and the coalgebraic van Est theorem, which upgrades the classical HKR map to a deformation retract without reducing any derived object to a fitted parameter or self-defined input. The abstract and description present this as a synthesis that recovers the classical HKR theorem as a byproduct and extends to bundles/invariants, with no equations or steps shown to be equivalent to their own inputs by construction. No self-citation chains, ansatzes smuggled via prior work, or renaming of known results are indicated in the provided material; the derivation is self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The work relies on standard background results in differential geometry and coalgebra theory.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Global Homotopies for Differential Hochschild Cohomologies." pith.science (2026). https://pith.science/paper/2410.15903

@misc{pith2026241015903,
  author       = {Pith},
  title        = {Pith review of: Global Homotopies for Differential Hochschild Cohomologies},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2410.15903}},
  note         = {Machine review of arXiv:2410.15903}
}
read the original abstract

We construct explicit global homotopies for differential Hochschild cochains in differential geometry, thereby upgrading the classical Hochschild-Kostant-Rosenberg map to a deformation retract. Our approach combines two key techniques: a symbol calculus from differential geometry and a coalgebraic version of the van Est theorem. To demonstrate its effectiveness, we develop deformation retracts in several related settings, including principal bundles and invariant contexts. As a byproduct, we recover the classical Hochschild-Kostant-Rosenberg theorem and compute previously inaccessible Hochschild cohomologies.

Figures

Figures reproduced from arXiv: 2410.15903 by the authors.

Figure 1
Figure 1. The augmentation of the columns of the van Est double complex [PITH_FULL_IMAGE:figures/full_fig_p019_1.png] view at source ↗
Figure 2
Figure 2. The augmentation of the rows of the van Est double complex. [PITH_FULL_IMAGE:figures/full_fig_p021_2.png] view at source ↗
Figure 3
Figure 3. The double complex with the augmentation maps and the homotopies. [PITH_FULL_IMAGE:figures/full_fig_p025_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Homotopy retract (C • , dC) and (D• , dD). Proposition B.2 (Composition of homotopy retracts) Let (C • , dC) (D• , dD) i1 p1 h1 (B.3) and (D• , dD) (E• , dE) i2 p2 h2 (B.4) be homotopy retracts. Then (C • , dC) (E• , dE) i p h (B.5) with i = i2i1, p = p1p2, h = h2 + i2…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Classification and Reduction of Homogeneous Star Products

    math.QA 2025-07 conditional novelty 7.0 of 10

    Homogeneous star products on duals of Lie algebroids are classified by second Lie algebroid cohomology, and projectable reductions commute with this classification.

  2. Infinitesimal Star Products Compatible with Coisotropic Reduction

    math.QA 2025-01 conditional novelty 7.0 of 10

    Infinitesimal reduction-compatible star products are exactly bivector fields plus symmetric differential operators built from the characteristic distribution and the normal bundle, up to constraint equivalence.

  3. Duflo--Kontsevich-type isomorphisms for Tamarkin--Tsygan calculi of dg manifolds

    math.QA 2026-08 conditional novelty 6.0 of 10

    Hochschild-Kostant-Rosenberg maps twisted by the square root of the Todd class produce an isomorphism of calculi between Tamarkin-Tsygan and Cartan calculi on every dg manifold.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages · cited by 3 Pith papers

  1. [1]

    „Invariant Hochschild Cohomology of Smooth Functions“

    [Mia21] Lukas Miaskiwskyi. „Invariant Hochschild Cohomology of Smooth Functions“. In:J. Lie Theory 31.2(2021),pp.557–574. url: www.heldermann.de/JLT/JLT31/JLT312/jlt31030. htm. [Mic80] W. Michaelis. „Lie coalgebras“. In:Adv. in Math.38.1 (1980), pp. 1–54. [Mic85] W. Michaelis. „The Dual Poincaré-Birkhoff-Witt Theorem“. In:Adv. in Math.57.2 (1985), pp. 93–...

    work page doi:10.1007/s00208-019-01917-1 2021

  2. [2]

    Ann. Math. Stud. With contributions by M. F. Atiyah, A. Borel, E. E. Floyd, R. T Seeley, W. Shih and R. Solovay. Princeton, NJ: Princeton University Press, 1965.doi: 10.1515/9781400882045. [Pee59] J. Peetre. „Une Charactérisation abstraite des opérateurs différentiels“. In:Math. Skand. 7 (1959), pp. 211–218. [Pee60] J.Peetre.„Réctificational’article ≪UneC...

    work page doi:10.1515/9781400882045 1965

Pith tools

Reviewed May 23, 2026 · model on record in the stance chip above.