{"id":"407149ef-f235-451f-9aa8-e8f2b1fd738c","arxiv_id":"2410.15903","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Constructs explicit global homotopies for differential Hochschild cochains, upgrading the HKR map to a deformation retract and recovering the classical theorem via symbol calculus and coalgebraic van Est methods.","lead":"The paper constructs explicit global homotopies for differential Hochschild cochains in differential geometry by combining symbol calculus with a coalgebraic van Est theorem, upgrading the classical HKR map to a deformation retract. A smart generalist might read it to see how advanced algebraic tools are adapted to geometric settings for cohomology computations.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption is precisely the point the paper claims to resolve. Because the full text is asserted to contain the explicit construction and the abstract gives no indication of an unhandled obstruction, the load-bearing step appears to be addressed by the work itself. No further adjustment to the UNVERDICTED verdict is warranted on the basis of an internal flaw.","tokens_in":1572,"tokens_out":261,"duration_ms":13491,"concrete_test":"Extract the explicit formulas for the homotopy operators from the principal-bundle case in the manuscript and substitute a concrete non-trivial example (e.g., the Hopf fibration S^3 → S^2) to check whether the deformation-retract identities hold identically on overlapping charts without extra curvature correction terms.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract states that symbol calculus and the coalgebraic van Est theorem are combined to produce explicit global homotopies making the HKR map a deformation retract, with extensions to principal bundles and invariant settings. No internal inconsistency or missing step is visible in the stated construction; the claim is that the combination succeeds without additional obstructions, and the paper asserts it recovers the classical HKR theorem as a byproduct.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","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.","tokens_in":1626,"tokens_out":492,"duration_ms":11919,"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":[{"comment":"§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.","section":"§3"},{"comment":"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.","section":"Theorem 4.2"}],"minor_comments":[{"comment":"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.","section":null},{"comment":"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.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"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.","responses":[{"response":"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_made":"yes","referee_comment":"[§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."},{"response":"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_made":"yes","referee_comment":"[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."}],"tokens_in":1250,"tokens_out":444,"duration_ms":26530,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that the authors build explicit global homotopies for differential Hochschild cochains by combining symbol calculus with a coalgebraic van Est theorem. This makes the classical HKR map a deformation retract, and they extend the same method to principal bundles and invariant settings while recovering the usual HKR theorem as a check and claiming some new cohomology calculations. The global character of the construction is the concrete advance; most prior work on these homotopies stayed local or required extra data. The approach looks technically sound on the stated terms and gives a usable tool for settings where locality was previously a barrier. The recovery of the classical result serves as a reasonable internal consistency test. A minor soft spot is that the abstract gives no derivation steps or error estimates, so it is not yet clear how cleanly the two techniques mesh in every claimed case or whether extra correction terms appear in some geometries. That said, the stress-test found no internal contradictions in the claim. This paper is for people already working on Hochschild cohomology in differential geometry or on deformation retracts for cochain complexes on manifolds. A reader who needs explicit global maps for computations will find the method useful. It deserves a serious referee because the construction is specific, the claim is falsifiable in principle, and the literature engagement is direct.","headline":"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.","tokens_in":2093,"tokens_out":338,"would_cite":false,"duration_ms":23957,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Pure algebraic topology computation; no RS structures or claims","alignment":"orthogonal","rationale":"The paper constructs global homotopies for differential Hochschild cochains via symbol calculus (Op_∇) and a coalgebraic van Est double complex D^{•,•}_vE(V) with deformation retracts (VE, VE^{-1}, Θ) obtained by homological perturbation, yielding an HKR deformation retract between multivector fields and the differential Hochschild complex. None of its central objects (shuffle coproduct Δ_sh, coalgebra differential δ_ca, infinitesimal Lie coaction ρ, van Est maps) involve the RS cost J(x) = ½(x + x^{-1}) − 1, golden-ratio fixed points, 8-tick periodicity, or parameter-free derivation of constants. The domain (Hochschild cohomology of C^∞(M) and related bundles) lies outside the forcing chain of reality_from_one_distinction.","tokens_in":66470,"confidence":"high","tokens_out":216,"duration_ms":8923,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Explicit global homotopies upgrade the Hochschild-Kostant-Rosenberg map to a deformation retract for differential Hochschild cochains.","keywords":["differential Hochschild cohomology","global homotopies","deformation retract","Hochschild-Kostant-Rosenberg map","symbol calculus","van Est theorem","principal bundles"],"falsifier":"An explicit manifold or principal bundle on which the constructed maps fail to satisfy the deformation retract identities globally would disprove the claim.","tokens_in":2473,"feed_emoji":"","tokens_out":625,"duration_ms":21213,"temperature":0.7,"pith_summary":"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.","feed_headline":"Global homotopies turn HKR map into deformation retract","feed_subtitle":"Symbol calculus and coalgebraic van Est theorem produce explicit global constructions on manifolds and bundles, recovering the classical HKR","key_machinery":"The combination of symbol calculus and coalgebraic van Est theorem that produces the explicit global homotopies without local-to-global obstructions.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Global homotopies upgrade HKR map to deformation retract","Symbol calculus and van Est theorem yield global homotopies","Explicit homotopies turn HKR into deformation retract","Global homotopies recover HKR on manifolds and bundles"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The symbol calculus and coalgebraic van Est theorem can be combined to produce global homotopies without additional obstructions in the differential geometric setting.","fun_headline_variants_meta":{"raw":{"variants":["Global homotopies upgrade HKR map to deformation retract","Symbol calculus and van Est theorem yield global homotopies","Explicit homotopies turn HKR into deformation retract","Global homotopies recover HKR on manifolds and bundles"]},"model":"grok-4.3","cost_usd":0.003695,"raw_usage":{"total_tokens":1862,"prompt_tokens":553,"num_sources_used":0,"completion_tokens":64,"cost_in_usd_ticks":36949500,"prompt_tokens_details":{"text_tokens":553,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1245,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":553,"tokens_out":64,"duration_ms":8968,"temperature":1.0,"reasoning_tokens":1245,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-23T19:42:12.382282+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit manifold or principal bundle on which the constructed maps fail to satisfy the deformation retract identities globally would disprove the claim.","supporting_citations":[],"review_version":1}