{"id":"f3922bd0-e5f5-40c2-b9f5-92d643218f59","arxiv_id":"2506.14069","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Hochschild complex of an algebra or scheme is exhibited as the E1-operadic center of the structure sheaf, and the induced E2-algebra structure recovers the classical Gerstenhaber bracket and cup product.","lead":"The paper shows that the Hochschild cochain complex of an algebra or scheme is the universal higher center of its structure sheaf, which gives it a canonical E2-algebra structure. A smart generalist should care because this ties Lurie's infinity-category machinery to deformation quantization and may provide a canonical route to Grothendieck-Teichmuller actions on Hochschild cohomology.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem C rests on the unverified applicability of Rectification Theorem 4.38 to the local projective model structure on dgPSh(X); if lax symmetric monoidal fibrant replacement or well-pointedness fails, the identification Dpoly(X) ≃ Z_{E1}(OX) is unsupported.","rationale":"The reader's weakest assumption identifies the rectification theorem Theorem 4.38 as the foundation for the identification of the center with Dpoly(X). My stress-test agrees with this choice and sharpens it to the single most likely missing hypothesis: the local projective model structure on dgPSh(X) needs a lax symmetric monoidal fibrant replacement, and the operad C_X(C*(E1)) needs to be well-pointed in that structure. These are explicitly listed in Theorem 4.38 but never checked in Sections 5.1–5.3; Lemma 5.59 only covers admissibility and strong admissibility. The affine case is on firmer ground because Ch(k) is a symmetric monoidal dg model category in which every object is fibrant, so the corresponding hypotheses are easier to satisfy. The global case is where the gap is load-bearing: without Theorem 4.38, the E1-algebra structure on OX in Sh∞(X) is not known to come from a strict C*(E1)-algebra, so the module-category computations leading to Dpoly(X) ≃ Z_{E1}(OX) lose their justification. I do not claim the theorem is false; rather, the proof as written is incomplete at a crucial transfer step. A conditional verdict is therefore appropriate, and my read does not move the reader's CONDITIONAL verdict. If the missing verifications are supplied and pass, the paper's central claim would be substantially supported; if they fail, Theorem C would need to be restricted to settings where the rectification hypotheses are known to hold.","tokens_in":44892,"tokens_out":17958,"duration_ms":186151,"concrete_test":"Re-derive step (e) of the proof of Theorem 4.38 for C = dgPSh(X) with the local projective model structure: following [Hin15, Lemma 4.3.4] and [PS18a, Proposition 7.9], construct a lax symmetric monoidal fibrant replacement R for this model structure and check whether the free C_X(C*(E1))-algebra on a cofibrant object maps to the free N⊗(Sing•E1)-algebra under the dg nerve. If no such R exists, or if the free-algebra comparison fails, Theorem 4.38 is inapplicable and Theorem C is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 4.38 is the bridge from strict C*(E1)-algebras in dgPSh(X) to E1-algebras in Sh∞(X). Its hypotheses require the ambient symmetric monoidal dg model category to be cofibrantly generated and symmetrically flat, C*(O) to be admissible and well-pointed, and C to admit a lax symmetric monoidal fibrant replacement. Proposition 5.56 provides the symmetric monoidal model structure on dgPSh(X), and Lemma 5.59 verifies admissibility and strong admissibility of C_X(C*(E1)), but the paper never verifies well-pointedness in the sense of [PS18a, Definition 6.1] nor the existence of a lax symmetric monoidal fibrant replacement for the local projective model structure. Because this structure is a left Bousfield localization of the projective model structure, its fibrant replacement is not the identity and is not automatically lax symmetric monoidal. Since Theorem 5.69 and Corollary 5.73 identify Dpoly(X) with the center and transport the Gerstenhaber comparison through Φ, failure of either condition would break the chain Dpoly(X) ≃ Z_{E1}(OX) and the E2-algebra comparison. This is a gap in proof detail rather than a known counterexample, but it is exactly the load-bearing point for the global construction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a comparison between Lurie's higher-center construction and classical Hochschild cohomology. In the affine case, it identifies the Hochschild complex of an associative k-algebra with the E1-center of the algebra in the derived ∞-category, thereby obtaining an E2-algebra structure, and it proves that the induced Gerstenhaber bracket and cup product agree with the classical ones. In the global case, the paper defines the Hochschild complex of a quasi-compact separated scheme as the E1-center of its structure sheaf in the ∞-category of dg sheaves, proves a locality theorem for affine opens (Theorem 5.61), and, for smooth schemes, identifies the resulting object with the sheaf of polydifferential operators Dpoly(X) (Theorem 5.69, Corollary 5.73). A separate technical result (Corollary 3.33) describes how to extract the bracket operation of an E2-algebra obtained via Lurie's Dunn Additivity from the underlying 2-algebra.","tokens_in":45166,"tokens_out":4047,"duration_ms":43000,"significance":"If correct, the paper provides a conceptual, canonical framework for Deligne's conjecture and extends it to schemes without smoothness assumptions. The affine part appears well-motivated and largely sound, and the extraction of the Gerstenhaber bracket from the higher Eckmann-Hilton argument is a useful contribution. The paper makes explicit and productive use of Lurie's Higher Algebra, Hinich's rectification, and Yekutieli's identification of the bar complex of a scheme; it does not fit parameters or tune structures to force agreement. However, the global results, especially Theorem C, rest on the applicability of a rectification theorem whose hypotheses are not verified for the local projective model structure on presheaves, and this is the main correctness risk.","major_comments":[{"comment":"The global construction of the center of OX uses Theorem 4.38 with C equal to dgPSh(X) equipped with the local projective model structure. The hypotheses of Theorem 4.38 require that C be cofibrantly generated and symmetrically flat, that C*(O) be admissible and well-pointed in the sense of [PS18a, Definition 6.1], and that C admit a lax symmetric monoidal fibrant replacement. Proposition 5.56 establishes that dgPSh(X) is a closed symmetric monoidal dg model category, and Lemma 5.59 proves admissibility and strong admissibility of CX(C*(E1)), but the paper never verifies symmetrically flatness, well-pointedness of C*(E1), or the existence of a lax symmetric monoidal fibrant replacement for the local projective model structure. Since the local projective structure is a left Bousfield localization of the projective structure, its fibrant replacement is not the identity and is not automatically lax symmetric monoidal. As Theorem 5.69 and Corollary 5.73 depend on the equivalence Φ of Theorem 4.38, this is a load-bearing gap in the proof of the main global claims.","section":"§5.1 and §4.2"},{"comment":"The proof of Theorem 4.38 is not carried out to the standard required for a central result. Steps (a)-(c) of [Lur17, Theorem 4.5.4.7] are said to be proven 'exactly like' in the reference, step (d) uses [PS18a, Proposition 7.9], and step (e) is delegated to Hinich's Lemma 4.3.4 with the comment that 'one readily sees that all his arguments still work for any symmetric monoidal dg model category C.' Since the theorem is used both to make OX into an E1-algebra in Sh∞(X) and to strictify the resulting E2-algebra, the manuscript should either provide the full verification of the hypotheses of [Lur17, Corollary 4.7.3.16] and the conservativity of the forgetful functor, or cite a precise theorem from the literature that applies verbatim to the local projective model structure on dgPSh(X).","section":"§4.2, proof of Theorem 4.38"},{"comment":"The comparison between the center E2-algebra structure and the classical Gerstenhaber structure on Dpoly(X) is not fully justified. Lemma 5.72 says that a homotopy H defined locally on B(A) 'glues together to yield a global homotopy', but the gluing of these chain homotopies across affine opens, and their compatibility with the equivalence Dpoly(X) ≃ ZE1(OX), is asserted rather than proven. Corollary 5.73 then invokes Corollary 4.43 to conclude that the bracket is the classical one, but Corollary 4.43 applies to a 2-algebra in the dg nerve of a symmetric monoidal dg model category, and the proof does not identify the global homotopy class in the mapping complex of Dpoly(X) with the image of the double twist under the E2-algebra structure. This is a gap in the proof of the agreement of Gerstenhaber structures, which is part of the statement of Theorem C.","section":"§5.4, Lemma 5.72 and Corollary 5.73"}],"minor_comments":[{"comment":"The phrase 'Bordmann-Vogt tensor products' should read 'Boardman-Vogt tensor products'.","section":"§2.2"},{"comment":"The sentence 'If X is a quasi-compact seperable scheme over k' contains a typo: 'seperable' should be 'separated'.","section":"§5.1"},{"comment":"The phrase 'changing the Dulfo element' should be 'changing the Duflo element'.","section":"Introduction"},{"comment":"The reference to [Yek02, Corollary 2.9] should be stated explicitly, since the quoted result is the key input that identifies ∆∗Dpoly(X) with RHomOX×kX(∆∗OX, ∆∗OX); the reader should not have to locate the precise corollary in Yekutieli's paper.","section":"§5.3, proof of Theorem 5.69"},{"comment":"The phrase 'naturally carries the structure of a C∗(E2)-algebra' is imprecise: what is constructed is an E2-algebra in the derived ∞-category, and the strictification via Theorem 4.38 is not explicitly written down on the level of the concrete complex Homk(A⊗∗, A). A precise statement of which model is strictified would help.","section":"§4.5, Corollary 4.50"}],"recommendation":"major_revision","confidential_remarks":"The paper is ambitious and, in its affine part, appears to give a coherent and useful account of the higher center as a solution to Deligne's conjecture. The main risk is the global part, where a central rectification theorem is invoked for a model structure whose relevant properties are not verified. This is a gap in proof detail rather than a known counterexample, so a major revision that supplies the missing verifications, or replaces the invocation with a theorem whose hypotheses are explicitly satisfied, would be appropriate. A referee with expertise in both ∞-operads and dg sheaf model categories should be consulted on this point."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Sonja Farr's paper is worth a serious referee. The genuine new content is Corollary 3.33, which extracts the Gerstenhaber bracket of an E2-algebra obtained from a 2-algebra via Dunn additivity, and Theorem C, which identifies the sheaf of polydifferential operators of a smooth scheme with the E1-center of the structure sheaf and compares the resulting Gerstenhaber structure with the classical one from Braces. The affine theorem is mostly a repackaging of known results, but it is cleanly proved and the explicit chain homotopy computations in Corollary 4.50 are detailed enough to check.\n\nThe main soft spot is Theorem 4.38, the rectification bridge from strict C*-algebras in dgPSh(X) to E1-algebras in Sh∞(X). The hypotheses require the local projective model structure to be symmetrically flat, the C*(O)-operads to be well-pointed, and the model category to admit a lax symmetric monoidal fibrant replacement. The paper verifies admissibility but never checks well-pointedness or the lax symmetric monoidal fibrant replacement. Since that model structure is a left Bousfield localization of the projective structure, the fibrant replacement is not the identity and the latter property is not automatic. If either condition fails, the identification Dpoly(X) ≃ Z_{E1}(OX) loses its foundation. This is a proof gap, not a counterexample, but it is exactly the load-bearing point. The stress-test note got this right.\n\nA second, smaller issue: the abstract says the construction works for singular schemes, and Theorem B does give locality of the center, but the paper does not compare that center to any pre-existing notion of Hochschild complex for singular schemes. So the singular claim is more modest than the abstract suggests.\n\nEverything else looks sound. The citation pattern is fair and external: Lurie, Hinich, Pavlov-Scholbach, and Yekutieli are used properly, and self-citation is not an issue. The writing is dense but readable for the intended audience.\n\nRecommendation: send to peer review. The referee should be someone who can check the model-categorical hypotheses of Theorem 4.38 on dgPSh(X). If those check out, the paper is a solid contribution.","headline":"A genuinely useful paper on centers and Deligne's conjecture, held back by one unverified rectification hypothesis in the global section that a referee should check.","tokens_in":637,"tokens_out":1309,"would_cite":true,"duration_ms":30423,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18N70","14F08"],"pacs":[],"model":"deepseek-v4-flash","headline":"The Hochschild complex of an associative algebra or smooth scheme is the operadic center of its structure sheaf, hence a canonical $E_2$-algebra whose bracket and cup product agree with the classical Gerstenhaber algebra.","keywords":["Hochschild cohomology","operadic center","E2-algebra","Deligne conjecture","Gerstenhaber algebra","polydifferential operators","dg sheaves","Dunn additivity"],"falsifier":"Find one affine open $U=\\mathrm{Spec}(A)$ where the local projective model structure on dg presheaves fails to admit a lax symmetric monoidal fibrant replacement, or where the rectification theorem does not apply; then the equivalence $R\\Gamma_U(Z(\\tilde{\\mathcal{O}}_X))\\simeq Z(\\tilde{A})$ would not follow from the stated machinery. Alternatively, compute directly from the center action the $E_2$-bracket on $C^*(A,A)$ for a small algebra such as $k[\\varepsilon]/\\varepsilon^2$ and compare it with the signed Gerstenhaber bracket; any mismatch would disprove Corollary 4.50.","tokens_in":44667,"feed_emoji":"🧩","tokens_out":6984,"duration_ms":69360,"temperature":0.7,"pith_summary":"This paper tries to establish that the Hochschild cochain complex of an associative algebra, and more generally of the structure sheaf of an algebraic scheme, is the universal object acting on that algebra: its operadic center. Because the center of an $E_1$-algebra is automatically an $E_2$-algebra, every Hochschild complex thereby carries an $E_2$-algebra structure in a canonical way, without choices. The paper further claims that in the affine and smooth cases this universal structure specializes on cohomology to the classical Gerstenhaber cup product and bracket, matching the known Braces-algebra solutions to Deligne's conjecture. The construction is also local, so it gives a definition of Hochschild cohomology for quasi-compact separated schemes, even singular ones, by gluing the affine centers.","feed_headline":"Hochschild cochains form a canonical E2-algebra","feed_subtitle":"For any algebra or smooth scheme, the classical cup product and Gerstenhaber bracket come from this universal structure.","key_machinery":"The load-bearing object is the $\\infty$-operadic center $Z_{E_1}(A)$: the universal associative algebra acting on $A$, defined as a final object in the $\\infty$-category of algebra actions. By the Dunn additivity theorem, the center of an $E_1$-algebra is an $E_2$-algebra, so the center automatically carries the higher structure sought by Deligne's conjecture. The paper identifies this center, in the dg setting, with the derived endomorphism object of $A$ as an $A$-bimodule, and then proves a rectification theorem comparing strict algebras over the dg operad of little 1-cubes with algebras over the corresponding $\\infty$-operad. This allows the author to compute the $E_2$-bracket as a chain homotopy built from composition and convolution products, and yields a technical corollary that extracts the Gerstenhaber bracket of any $E_2$-algebra obtained from a 2-algebra via Dunn additivity.","core_discovery":"The central claim is Theorem C: for a smooth quasi-compact separated finite-type scheme $X$ over a characteristic-zero field $k$, the sheaf of polydifferential operators $D_{\\mathrm{poly}}(X)$ is equivalent to the $E_1$-center $Z_{E_1}(\\mathcal{O}_X)$ of the structure sheaf in the $\\infty$-category of dg sheaves. Since the center of an $E_1$-algebra is an $E_2$-algebra by the Dunn additivity theorem, this equips $D_{\\mathrm{poly}}(X)$ with an $E_2$-algebra structure whose underlying Gerstenhaber algebra in the homotopy category is the classical one coming from the Braces-algebra structure. In the affine case (Theorem A), the same statement holds for the Hochschild complex $C^*(A,A)$ of any associative $k$-algebra $A$, viewed as the center of $A$ in the derived $\\infty$-category of chain complexes. The construction is local: for an affine open $U = \\mathrm{Spec}(A)$ of a quasi-compact separated scheme, $R\\Gamma_U(Z(\\tilde{\\mathcal{O}}_X)) \\simeq Z(\\tilde{A})$ (Theorem B), so singularities do not obstruct the definition.","pith_inferences":["If the identification is correct, the Hochschild complex of any algebra over a characteristic-zero field is equipped with an essentially universal $E_2$-structure; this suggests a route to lifting known group actions on formality isomorphisms to an action on centers.","The locality result suggests that the derived center of the structure sheaf is the right global Hochschild complex even for singular schemes, where the sheaf of polydifferential operators is not available; one could test this by computing the center for a singular affine variety and comparing with known Hochschild cohomology.","One could extend the comparison beyond cohomology: the paper compares the Gerstenhaber algebra in the homotopy category, but the full chain-level $E_2$-structure may differ from any chosen Braces-algebra solution by a non-trivial homotopy, and quantifying that difference could connect to associator dependence.","The bracket-extraction corollary may give a practical formula for computing $E_2$ brackets in any symmetric monoidal dg model category, since the bracket is expressed as a sum of four explicit chain homotopies."],"forward_implications":["Deligne's conjecture is recovered as a formal consequence: the Hochschild complex of any associative $k$-algebra is an $E_2$-algebra by construction, because it is a center.","For smooth schemes, the sheaf of polydifferential operators inherits the universal $E_2$-structure, so the classical Gerstenhaber bracket used in deformation quantization is the shadow of a canonical $\\infty$-categorical structure.","The definition of Hochschild cohomology as the center of $\\mathcal{O}_X$ works without smoothness; for a quasi-compact separated scheme the center is local and restricts to the affine Hochschild complex on affine opens.","The comparison to the Braces-algebra structure means the new structure is not a different exotic structure but the same Gerstenhaber algebra in cohomology, so existing deformation-quantization results can be reinterpreted in terms of centers.","The main technical corollary about extracting the bracket of an $E_2$-algebra applies to any $E_2$-algebra obtained via Dunn additivity, not only to Hochschild complexes."],"supporting_citations":[{"why":"Supplies the definitions of higher centers, centralizers, and the Dunn additivity theorem for $\\infty$-operads that make the center an $E_2$-algebra.","marker":"[Lur17]"},{"why":"Provides the rectification theorem for algebras and modules over dg operads that identifies strict algebras with $\\infty$-operad algebras in the dg nerve setting.","marker":"[Hin15]"},{"why":"Gives the admissibility and rectification criteria for symmetric operads used as hypotheses in the paper's adapted rectification theorem.","marker":"[PS18a]"},{"why":"Constructs the local projective model structure on dg presheaves and properties of module categories, which underpin the $\\infty$-category of dg sheaves on a scheme.","marker":"[Hin05]"},{"why":"Identifies the sheaf of polydifferential operators with the continuous Hochschild cochain complex, the key classical object compared to the center.","marker":"[Yek02]"},{"why":"Gives the Braces-algebra structure on Hochschild cochains that produces the classical homotopy Gerstenhaber algebra structure being compared.","marker":"[VG95]"},{"why":"Supplies the sign conventions for the circle product and the signed Gerstenhaber bracket used in the explicit comparison in Corollary 4.50.","marker":"[Wit19]"},{"why":"Provides the model structure on modules over an operad algebra, used to identify $E_1$-modules with modules over the enveloping algebra.","marker":"[BM09]"}],"fun_headline_variants":["Hochschild cochains form a canonical E2-algebra","Derived center gives E2-algebra with classical Gerstenhaber structure","Singular schemes included: E2-algebra on Hochschild complex","Universal E2-algebra from derived center recovers classical operations","No smoothness needed: E2-algebra on Hochschild cochains"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the model category of dg presheaves with the local projective structure satisfies the technical hypotheses of the rectification theorem, including a lax symmetric monoidal fibrant replacement, and the paper mostly cites earlier work for these checks rather than verifying them directly.","fun_headline_variants_meta":{"raw":{"variants":["Hochschild cochains form a canonical E2-algebra","Derived center gives E2-algebra with classical Gerstenhaber structure","Singular schemes included: E2-algebra on Hochschild complex","Universal E2-algebra from derived center recovers classical operations","No smoothness needed: E2-algebra on Hochschild cochains"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000237,"raw_usage":{"total_tokens":1510,"prompt_tokens":954,"completion_tokens":556,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":570,"completion_tokens_details":{"reasoning_tokens":464}},"tokens_in":570,"tokens_out":556,"duration_ms":5076,"temperature":1.0,"reasoning_tokens":464,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T00:18:35.213786+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find one affine open $U=\\mathrm{Spec}(A)$ where the local projective model structure on dg presheaves fails to admit a lax symmetric monoidal fibrant replacement, or where the rectification theorem does not apply; then the equivalence $R\\Gamma_U(Z(\\tilde{\\mathcal{O}}_X))\\simeq Z(\\tilde{A})$ would not follow from the stated machinery. Alternatively, compute directly from the center action the $E_2$-bracket on $C^*(A,A)$ for a small algebra such as $k[\\varepsilon]/\\varepsilon^2$ and compare it with the signed Gerstenhaber bracket; any mismatch would disprove Corollary 4.50.","supporting_citations":[],"review_version":1}