{"id":"e7621c3e-6517-4b7b-ba0a-c8ee74953569","arxiv_id":"2512.21090","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A continuous contraderived-category framework and formality theorems are proposed, but the foundational product/tensor-product lemma is false and the de Rham formality claim has a counterexample.","lead":"The paper builds a continuous Hochschild-cohomology framework for topological dg-algebras and claims formality theorems for smooth functions, de Rham, and Dolbeault algebras. The framework rests on a false tensor-product lemma, and the de Rham formality theorem is contradicted by derivations on the real line.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.3.1 (de Rham formality) is false: the derivation ∂/∂t on Ω(R) is a non-exact continuous Hochschild 1-cocycle, so HH^1_cont(Ω(R)) is larger than claimed.","rationale":"The reader's verdict of REJECT is correct, and the paper has multiple serious issues. The most load-bearing single concern is that Theorem 2.3.1 is directly falsified by the derivation ∂/∂t on Ω(R). This is not a technical lemma requiring an extra hypothesis; it is an internal contradiction in one of the headline formality theorems. The proof of Theorem 2.3.1 says it follows by the same method as Theorem 2.2.2, so the reliability of that method for the Dolbeault HKR claim is also called into question. The reader's identified Lemma A.2 is a genuine foundational gap as well—products do not generally commute with the completed projective tensor product—and it would undermine the globalization step of Theorem 2.2.2. However, the de Rham counterexample is more decisive because it can be verified by direct computation and does not rely on subtle functional-analytic failures. The recommendation remains REJECT.","tokens_in":25113,"tokens_out":18855,"duration_ms":180750,"concrete_test":"Set A = Ω(R) with coordinate t, and let D = ∂/∂t. (1) Verify D is a continuous linear map A→A commuting with d, hence a 1-cocycle in HC_cont(A,A) (Definition 1.5.4 / 1.7.6). (2) Show that for every c ∈ A^0 ∪ A^1, the coboundary δc = 0 because A is graded commutative; therefore [D] ≠ 0 in HH^1_cont(A,A). (3) Compute H^1(Ω(R)[-1]) = H^0(Ω(R)) = R and compare with the nonzero class [D], which lies outside the image of the cohomology map induced by the inclusion. This directly refutes Theorem 2.3.1.","verdict_should_be":"REJECT","load_bearing_attack":"The paper's central claims include Theorem 2.3.1, which asserts that for a smooth manifold M the inclusion i: Ω(M)[-1] → HC_cont(Ω(M)) is a quasi-isomorphism of dg-Lie algebras. This is contradicted by the continuous derivation D = ∂/∂t on A = Ω(R). D is a degree-0 derivation and commutes with the de Rham differential, so it is a cocycle in the continuous Hochschild complex of total degree 1: the Hochschild differential δD = 0 because D is a derivation, and the internal differential d_*D = [d,D] = 0 because Lie derivatives commute with d. Since A is graded commutative, for any 0-cochain c ∈ A (in particular c ∈ A^0 or A^1), the coboundary δc is zero; hence D cannot be exact. Its class [D] is nonzero in HH^1_cont(Ω(R)). But the cohomology of Ω(R)[-1] in degree 1 is H^0(Ω(R)) = R, the constants. The claimed quasi-isomorphism would force HH^1_cont(Ω(R)) ≅ R, contradicting the existence of the nonzero class [D]. This is an internal inconsistency, not a matter of outside consensus; it indicates that the continuous Hochschild complex defined in §1.5/§1.7 does not behave as claimed for the de Rham algebra.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a contraderived category for complete locally convex dg-algebras, defines continuous Hochschild cohomology inside this framework, and claims formality theorems for three Fréchet dg-algebras: smooth functions, the Dolbeault algebra of a complex manifold, and the de Rham algebra of a smooth manifold. It also states computations for matrix factorisations and announces applications to generalized complex geometry and derived categories. The central novelty is the claim that continuous Hochschild cochains admit a natural homological interpretation and that HKR-type maps are quasi-isomorphisms in the continuous setting.","tokens_in":25477,"tokens_out":44081,"duration_ms":454012,"significance":"If the results were correct, the paper would give a useful framework for deformation theory of complete locally convex dg-algebras and would connect continuous Hochschild cohomology to generalized complex geometry. The paper has some genuinely useful features: it attempts to build on Positselski's contraderived categories, it gives an explicit local Koszul-type resolution in the Dolbeault case, and it identifies the continuous Hochschild complex as a B∞-algebra. However, the de Rham formality theorem is false by an explicit internal counterexample, and a number of the headline claims are only announced, not proved. The falsity of a main theorem is not a local presentation issue, so the paper cannot be accepted in its present form.","major_comments":[{"comment":"The de Rham formality statement is false. Take A=Ω(R), the de Rham algebra of the real line, and let D=∂/∂t. Then D is a continuous degree-0 derivation, so δD=0 in the Hochschild complex, and D commutes with the de Rham differential, so d_*D=[d,D]=0. Thus D is a closed Hochschild 1-cocycle. Since Ω(R) is graded commutative, for every 0-cochain c the Hochschild differential δc vanishes; d_*c is still a 0-cochain, so D is not a coboundary. Hence [D] is a nonzero class in HH^1_cont(Ω(R)). On the other hand, the cohomology of Ω(R)[-1] in degree 1 is trivial under the standard shift (H^2_dR(R)=0), and under the alternate convention it is only H^0_dR(R)=R. The class [D] cannot correspond to either. The one-sentence proof 'similar to Theorem 2.2.2 but easier' gives no argument that would exclude this cocycle.","section":"§2.3, Theorem 2.3.1"},{"comment":"Several load-bearing results are explicitly deferred to a follow-up paper. Theorem 1.5.5 proves only the dg-Lie structure and says the full B∞-structure 'will be dealt with in more general cases in the follow-up paper.' Section 2.5 states an invariance result for the continuous Hochschild complex of enhanced dg-categories and Theorem 2.5.1, but the proof is entirely in the follow-up paper. Since the abstract and introduction present these as results, the manuscript as written is an extended announcement rather than a proof of its main claims.","section":"§2.5 and §1.5"},{"comment":"The globalisation argument for the Dolbeault formality theorem relies on Lemma 2.2.4, whose proof is only a sketch. The lemma concerns a possibly unbounded complex of soft sheaves and uses two spectral sequences for the Cech totalization. No argument is given for convergence of these spectral sequences in the unbounded case, and the statement 'one can show' in the proof is doing essential work. Since Theorem 2.2.2 is the main geometric application, this needs a complete proof.","section":"§2.2, Lemma 2.2.4"}],"minor_comments":[{"comment":"The definition of HC_cont(A,M) as Hom_Ae(Bar_red(A),M)[-1] is stated to be neither the product nor the sum totalization of the associated double complex. The intended subspace condition should be spelled out explicitly; as written, the reader must infer the topology from Corollary A.7.","section":"§1.5, Definition 1.5.4"},{"comment":"The symbol Acabs is used before being defined through 'totalizations of short exact sequences'; the minimality and closure conditions are clear, but the notation is easy to confuse with Acctr.","section":"§1.2, Definition 1.2.1"},{"comment":"There are several typos and missing accents: 'straightfoward', 'colagebra', 'comology' in the Pflaum reference, and inconsistent use of 'Fréchet' vs 'Frechet'. None of these affect the mathematics.","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The stress-test objection to Lemma A.2 does not, on my reading, land: the claimed non-commutation of products with the completed projective tensor product is not substantiated by the manuscript, and the standard compatibility result in Jarchow's Section 15.4 supports the opposite reading. The decisive problem is Theorem 2.3.1: the continuous derivation ∂/∂t on Ω(R) is a genuine closed non-exact Hochschild 1-cocycle, giving an internal contradiction with the stated de Rham formality. Combined with the substantial amount of deferred material, the paper is not viable for publication in its current form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper is not ready for publication. The central framework rests on Lemma A.2, which says products commute with the completed projective tensor product. The lemma is false in general, and the contraderived category machinery in Section 1 uses it at many critical points. The second serious problem is Theorem 2.3.1. On Ω(R), the derivation ∂/∂t is a continuous degree-0 derivation that commutes with d, so it is a 1-cocycle in the continuous Hochschild complex. Since Ω(R) is graded commutative, no 0-cochain has non-zero Hochschild boundary, so this cocycle is not a coboundary. Thus HH^1_cont(Ω(R)) contains a class beyond the constants, contradicting the claimed quasi-isomorphism Ω(R)[-1] → HC_cont(Ω(R)). The theorem is genuinely false, not merely unproved.\n\nThat said, the paper is not without merit. The idea of defining continuous Hochschild cohomology via contraderived categories of complete locally convex dg-algebras is new and addresses a real need: a homological interpretation of continuous Hochschild complexes. The sheaf-theoretic globalization for smooth functions in §2.1 is clean, and the Dolbeault HKR statement in §2.2 is a plausible and interesting target. If the Dolbeault theorem could be established on a correct foundation, it would be a useful result.\n\nThe soft spots are in proportion. A large number of central statements are deferred to a follow-up paper: the full B∞ structure, the derived-category enhancement underlying Theorem 2.5.1, and the L∞ part of the twisted Dolbeault theorem. The proof of Theorem 2.2.5 relies on gauge transformations that are only sketched. The citation pattern is fine — Pflaum, Kontsevich, Positselski, CDH07 are the right inputs — but the author leans on them without providing the missing details.\n\nFor a reader in deformation theory, the framework is worth knowing about, but in its current form it cannot be used as reference. I would not cite it, and I would not send it to peer review until the foundation and the de Rham claim are sorted out.","headline":"Interesting framework and a plausible Dolbeault formality, but the foundation is false and the de Rham theorem has a concrete counterexample; this paper is not ready.","tokens_in":25946,"tokens_out":9665,"would_cite":false,"duration_ms":100779,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16E40","18G80","53D18","32G05","53D55"],"pacs":[],"model":"deepseek-v4-flash","headline":"The continuous Hochschild cohomology of the Dolbeault algebra of any complex manifold is computed by the HKR map, and its degree-2 part is the generalized-complex deformation complex.","keywords":["continuous Hochschild cohomology","contraderived categories","complete locally convex dg-algebras","formality","Dolbeault algebra","generalized complex geometry","matrix factorisations","deformation theory"],"falsifier":"Take X = C^n and compute the degree-2 cohomology of the continuous Hochschild complex of the Dolbeault algebra A(C^n) directly from continuous multilinear cochains, following the paper's explicit local resolution; the theorem predicts the HKR map induces an isomorphism onto ΛT^{1,0}C^n⊗A(C^n), so any extra 2-cocycle modulo coboundaries would refute the main claim. Alternatively, test Lemma A.2 on the natural map (∏_k E_k) ⊗̂ N → ∏_k(E_k ⊗̂ N) by comparing continuous duals; if the duals differ, a lemma used throughout the framework is false.","tokens_in":24965,"feed_emoji":"∞","tokens_out":18121,"duration_ms":164640,"temperature":0.7,"pith_summary":"The paper builds a homological setting for complete locally convex (curved) dg-algebras—contraderived categories, in which products rather than sums are the primitive operation—and shows that in this setting the Hochschild cohomology of algebras of smooth functions, forms, and Dolbeault forms is computed by an explicit continuous Hochschild complex. Its central result is a formality theorem for the Dolbeault algebra of a complex manifold: the HKR map from holomorphic polyvector fields with Dolbeault-form coefficients to continuous Hochschild cochains is a quasi-isomorphism, and it extends to an L∞-quasi-isomorphism of dg-Lie algebras. Consequently, the second continuous Hochschild cohomology of the Dolbeault algebra is the deformation complex that controls deformations of the manifold as a generalized complex manifold, namely H^0(X,Λ^2 T_X) ⊕ H^1(X,T_X) ⊕ H^2(X,O_X). The same machinery yields formality for smooth functions and the de Rham algebra, and computes continuous Hochschild cohomology for several families of matrix factorisations.","feed_headline":"HKR map is an L∞ quasi-isomorphism for complex manifolds","feed_subtitle":"For complex manifolds, this cohomology is the deformation complex of generalized complex geometry.","key_machinery":"The carrier of the argument is the continuous contraderived category of a complete locally convex dg-algebra A: the Verdier quotient of the dg-category of all dg-modules by the class of contraacyclic modules, equivalently the homotopy category of graded-projective dg-modules. The key identity is that the completed projective tensor product commutes with arbitrary products of complete locally convex spaces, so arbitrary products of graded-free modules remain graded-free; this makes the two-sided bar construction a graded-projective resolution of A over its enveloping algebra. The continuous Hochschild complex obtained by taking Hom out of that resolution carries a canonical B∞-algebra structu","core_discovery":"The paper's central claim is that for every complex manifold X, the continuous Hochschild complex of the Fréchet Dolbeault dg-algebra A(X) is L∞-quasi-isomorphic—a homotopy-coherent equivalence of dg-Lie algebras—to the complex ΛT^{1,0}X ⊗ A(X)[-1], whose sections are holomorphic polyvector fields with coefficients in Dolbeault forms. The comparison is the HKR map, which sends a polyvector field to the continuous Hochschild cochain obtained by contraction and multiplication. The proof is local first: an explicit graded-free resolution of A(U) as a bimodule over A(U×U) is constructed for open U⊂C^n, and the HKR map is shown to be a quasi-isomorphism after applying Hom. The local statement is","pith_inferences":["A closer look at the paper's Lemma A.2 suggests that the product–tensor commutation may fail for arbitrary complete locally convex spaces; if so, the contraderived-category model should be restricted to settings where the identity does hold—Fréchet spaces with countable products, for instance—which still covers the manifolds treated here.","The B∞-structure on the continuous Hochschild complex is announced, but only the dg-Lie part is shown in detail; checking that the higher operations satisfy the homotopy Gerstenhaber relations is a concrete test of the deformation-theoretic conclusions.","The same sheaf-theoretic globalization is likely to prove formality for other fine sheaves of complete locally convex dg-algebras admitting local Koszul resolutions, including twisted Dolbeault algebras with a closed B-field, possibly producing L∞-quasi-isomorphisms where the paper only proves a quasi-isomorphism.","If the twisted case can be upgraded from compact Kähler to arbitrary complex manifolds, the continuous Hochschild complex becomes a deformation complex for generalized complex structures with B-fields, linking the algebraic formality theorem to integrability of those structures."],"forward_implications":["For a complex manifold X, continuous Hochschild cohomology in degree 2 is H^0(X,Λ^2T_X)⊕H^1(X,T_X)⊕H^2(X,O_X); this makes HH_cont^2(A(X)) a single algebraic object containing both deformations of the complex structure and the extra directions that lead to generalized complex geometry.","The L∞-quasi-isomorphism turns the continuous Hochschild complex into a dg-Lie model for the deformation theory of the Dolbeault algebra, so formal deformations of the algebra correspond to Maurer–Cartan elements in ΛT^{1,0}X⊗A(X)[-1].","For smooth functions on a real manifold, the sheaf-theoretic proof replaces analytic globalization by a short descent argument, recovering the result that continuous Hochschild cohomology is the space of polyvector fields and upgrading it to an L∞-quasi-isomorphism.","For the de Rham algebra, the inclusion of the shifted de Rham complex into the continuous Hochschild complex is a quasi-isomorphism of dg-Lie algebras, identifying the Hochschild deformation complex of the dg-category of ∞-local systems.","For matrix factorisations attached to a function f, continuous Hochschild cohomology is the Koszul-type complex with differential ι_df, with explicit answers for smooth functions, formal power series, polynomial algebras, and holomorphic functions on a complex manifold."],"fun_headline_variants":["HKR map: L∞ quasi-isomorphism for complex manifolds","Complex manifolds: HKR map is L∞ quasi-isomorphism","L∞ quasi-isomorphism via HKR for Dolbeault dg-algebra","HKR L∞ quasi-isomorphism on complex manifolds","HKR map: L∞ equivalence for Dolbeault complex"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The argument rests on Lemma A.2, the claim that the completed projective tensor product commutes with arbitrary direct products of complete locally convex spaces; if that identity fails in general, the graded-projective model of the contraderived category, and with it the sheaf-theoretic formality proofs, no longer go through.","fun_headline_variants_meta":{"raw":{"variants":["HKR map: L∞ quasi-isomorphism for complex manifolds","Complex manifolds: HKR map is L∞ quasi-isomorphism","L∞ quasi-isomorphism via HKR for Dolbeault dg-algebra","HKR L∞ quasi-isomorphism on complex manifolds","HKR map: L∞ equivalence for Dolbeault complex"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000459,"raw_usage":{"total_tokens":2109,"prompt_tokens":686,"completion_tokens":1423,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":430,"completion_tokens_details":{"reasoning_tokens":1346}},"tokens_in":430,"tokens_out":1423,"duration_ms":9013,"temperature":1.0,"reasoning_tokens":1346,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T14:18:20.288697+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take X = C^n and compute the degree-2 cohomology of the continuous Hochschild complex of the Dolbeault algebra A(C^n) directly from continuous multilinear cochains, following the paper's explicit local resolution; the theorem predicts the HKR map induces an isomorphism onto ΛT^{1,0}C^n⊗A(C^n), so any extra 2-cocycle modulo coboundaries would refute the main claim. Alternatively, test Lemma A.2 on the natural map (∏_k E_k) ⊗̂ N → ∏_k(E_k ⊗̂ N) by comparing continuous duals; if the duals differ, a lemma used throughout the framework is false.","supporting_citations":[],"review_version":1}