{"id":"8a327769-cf18-4d6e-b503-6bddab1533f9","arxiv_id":"2607.25438","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A Calabi-Yau version of Kontsevich's formality morphism is recorded, yielding canonical closed deformation quantizations for unimodular holomorphic Poisson Calabi-Yau manifolds.","lead":"This paper records a Calabi-Yau version of a known deep equivalence (Kontsevich's formality morphism) between Poisson structures and noncommutative deformations. If correct, it gives canonical closed deformation quantizations for unimodular holomorphic Poisson Calabi-Yau manifolds, linking deformation quantization to string-theoretic B-model invariants.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem A's globalization assumes a Ricci-flat Kähler connection (Yau's theorem), unproved and unavailable for non-Kähler compact CY manifolds as defined.","rationale":"The reader's weakest assumption identifies the same load-bearing concern: the globalization step relies on a torsion-free connection compatible with the complex structure and the CY volume form, and the paper neither proves its existence nor cites the necessary theorem (Yau for compact Kähler CY). My analysis sharpens this: the paper's own definition of CY (Section 2) is broader than compact Kähler, and for non-Kähler compact complex manifolds with trivial canonical bundle (e.g. the Iwasawa manifold), the asserted Chern/Levi-Civita connection does not exist because no Kähler metric exists. Thus the validity of Theorem A as stated, and of the Fedosov resolution in Theorem 3.6, depends on an unstated hypothesis. This is a genuine correctness gap, but it is repairable by adding 'compact Kähler' to the definition and citing Yau's theorem, in which case the rest of the argument, being a combination of known results [WC12, CDH05], likely goes through. The reader's CONDITIONAL verdict already accounts for this; my stress test does not change the verdict, and I agree with the reader's identification of the weak point. The novelty concern (self-described as 'no new arguments', anticipated in [CL15]) is separate and does not affect correctness. No internal inconsistency or fatal flaw was found beyond the missing geometric hypothesis.","tokens_in":11533,"tokens_out":7786,"duration_ms":85449,"concrete_test":"Test Theorem 3.6 on the Iwasawa manifold I, a compact complex 3-manifold with trivial canonical bundle but no Kähler metric. Determine whether there exists any torsion-free connection ∇ on T^{1,0}I satisfying ∇J=0 and ∇ω=0 for its holomorphic volume form ω. Since the paper specifically invokes the Chern connection, first note that a Hermitian metric whose Chern connection has ∇ω=0 is Ricci-flat Kähler, and I admits no Kähler metric; then check whether a non-metric torsion-free connection with these properties can be constructed. If none exists, Theorem A fails for the class of manifolds covered by the paper's definition of CY, and the needed fix is to add the Kähler hypothesis and cite Yau's theorem.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem A rests on an unexamined assertion, just before Theorem 3.6 and in the globalization paragraph, that a Calabi-Yau manifold admits a torsion-free connection ∇ compatible with both the complex structure and the holomorphic volume form ω, and that this connection is the Chern/Levi-Civita connection. This is not automatic from the paper's definition of CY (Section 2: complex manifold with nowhere-vanishing (d,0)-form). For a Hermitian metric, the Chern connection satisfies ∇ω=0 if and only if the metric is Ricci-flat and Kähler. For compact Kähler CY manifolds, existence is Yau's theorem, which is not cited. For the stated definition, the assertion is false in general: compact non-Kähler complex manifolds with trivial canonical bundle, e.g. the Iwasawa manifold, admit no Kähler metric, so the 'Chern connection of the CY manifold' is not defined. Theorem 3.6 uses ∇ω=0 to prove commutativity of diagram (3.8) and to ensure the Fedosov differential preserves ω-cyclic cochains (div Q=0). Without this, the Fedosov resolutions in Theorems 3.6 and 3.11, and hence Theorem 4.9, do not go through. The paper must either restrict 'Calabi-Yau' to compact Kähler manifolds with trivial canonical bundle and cite Yau, or prove existence of a non-metric torsion-free connection with ∇J=0 and ∇ω=0 for its broader definition.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a Calabi–Yau analogue of Kontsevich's formality theorem. For a d-dimensional compact Calabi–Yau manifold X, it states (Theorem A/Theorem 4.9) an L∞ quasi-isomorphism U_CY from the Calabi–Yau polyvector field dg Lie algebra (PV^{*,*}(X)[[t]], \\bar∂+t∂, Schouten bracket) to the dg Lie algebra of cyclic local functionals on Dolbeault forms, with cyclic differential and (d−2)-shifted open-string bracket; in the noncompact case a subalgebra of ω-cyclic Hochschild cochains is used. The author infers that every unimodular holomorphic Poisson Calabi–Yau manifold has a canonical closed deformation quantization of its Dolbeault-resolved function algebra, coinciding with Kontsevich's quantization. The proof is presented as a combination of Willwacher–Calaque cyclic formality, Calaque–Dolgushev–Halbout Lie-algebroid formality, and Dolgushev–Fedosov globalization via a connection compatible with the complex structure and the Calabi–Yau form.","tokens_in":11914,"tokens_out":14767,"duration_ms":137632,"significance":"Should the result hold as stated, it would provide a conceptual bridge from Kontsevich's deformation quantization to cyclic/Calabi–Yau structures and would formalize a statement anticipated in Costello–Li. The compact case is plausible because it follows from known theorems once the right geometric hypotheses are imposed; the paper is transparent about relying on [WC12] and [CDH05] as black boxes, and there is no hidden data fitting. Its value is mainly as a recorded theorem/announcement rather than as a new proof. The main correctness risk is the globalization hypothesis: the connection required for Theorems 3.6 and 3.11 is not automatic from the paper's definition of Calabi–Yau. Thus the central claim is currently unsupported for the stated class, though fixable by restricting to compact Kähler Calabi–Yau manifolds and citing Yau's theorem.","major_comments":[{"comment":"The proof assumes a torsion-free connection ∇ with ∇J=0 and ∇ω=0, called the Chern/Levi-Civita connection. Under the paper's definition of CY as a complex manifold with a nowhere vanishing (d,0)-form, such a connection need not exist. For a Hermitian metric, the Chern connection satisfies ∇ω=0 only in the Ricci-flat Kähler case; on compact Kähler CY manifolds existence is Yau's theorem, which is not cited, and on compact non-Kähler manifolds with trivial canonical bundle (e.g. the Iwasawa manifold) no such connection exists. Since Theorem 3.6 uses ∇ω=0 for diagram (3.8) and Theorem 3.11 uses div Q=0 to preserve cyclic cochains, Theorems 3.6, 3.11, 4.9 and Corollaries B/C are unproved for the stated class. Fix: restrict to compact Kähler CYs and cite Yau, or prove existence for the broader class.","section":"§2, Theorem 3.6, §4"},{"comment":"The proof states: 'This follows from combining theorem 4.9 above, theorem 3.11 and theorem 3.6...' Since theorem 4.9 is the statement being proved, this is circular as written. The intended citation is presumably theorem 4.7 (or corollary 4.3 plus theorem 4.7). The correction is trivial, but the published proof must not reference the theorem it establishes.","section":"§4.2, proof of Theorem 4.9"},{"comment":"The noncompact statement is overreaching on two counts. First, it inherits the connection-existence problem of the first major comment; a noncompact complex manifold with trivial canonical bundle need not admit a torsion-free connection preserving J and ω. Second, (1.4) integrates over X with compactly supported forms, but the Maurer–Cartan construction produces A∞ multiplications on all Dolbeault forms; the paper does not justify that the relevant outputs are compactly supported or that the integrals converge. Finally, 'canonical' is stronger than shown: the Fedosov/connection data depend on a choice of metric/Kähler class, and independence is not established.","section":"§1, Corollary C and noncompact generalization; (1.3)–(1.5)"}],"minor_comments":[{"comment":"The shift of the cyclic dg Lie algebra is written [2−d] in Definition 2.4 and [d−2] in (4.11), while Theorem A in the Introduction omits it; since the bracket is (d−2)-shifted, use [d−2] consistently.","section":"Definition 2.4 and Theorem 4.9"},{"comment":"The bracket on Hochschild cochains is denoted {,}_S, but it is the Gerstenhaber bracket {,}_G; the Schouten bracket is used only for polyvector fields.","section":"Theorem 3.11 and Theorem 4.9(4.10)"},{"comment":"The proof by 'unraveling the definitions' is too terse for a central isomorphism; either give the bijection on cochains or cite the exact statements in [WC12].","section":"Lemma 2.12"},{"comment":"The claim that ∇ω=0 makes all higher y-adic terms vanish is only sketched; please indicate the iterative definition and cite the relevant part of [CDH05].","section":"Theorem 3.6, (3.9)"},{"comment":"'Proper CYA_∞-algebra' is not defined in the note; provide a definition or reference.","section":"Corollary B"},{"comment":"The assertion that Cyc^*_{loc}(Ω^{0,*}(X)) computes cyclic cohomology of Coh(X) is stated without proof or citation; add a reference or a one-line argument.","section":"§2.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is a short announcement assembling known theorems. The main correctness issue is the unproved connection hypothesis for the stated class of Calabi–Yau manifolds; with a restriction to compact Kähler CYs and a citation of Yau's theorem the central claim would likely be sound. The manuscript also needs a careful pass for self-references and sign/shift typos before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear X,\n\nThis is a short note that records the Calabi-Yau version of Kontsevich's formality morphism by combining Willwacher-Calaque's cyclic formality with Calaque-Dolgushev-Halbout's Lie algebroid formality. The author is explicit that no new arguments are needed and that Costello-Li anticipated the result, so the novelty is in the packaging, not the proof.\n\nCredit where due: the statement itself is missing from the literature, and the paper does a service by writing it down in one place. Proposition 4.12, relating the CY morphism to the original Kontsevich morphism on divergence-free polyvector fields, is a useful clarification. The proof strategy is sound for the setting where the inputs are valid.\n\nThe soft spots are real, though fixable. There are minor inconsistencies in shifts ([2−d] vs [d−2]) and bracket notation ({,}_S vs {,}_G), and several lemmas are dismissed as \"unraveling definitions.\" More substantially, the paper defines a CY manifold as a complex manifold with a nowhere vanishing (d,0)-form. For that definition, the claim that there is a unique torsion-free connection ∇ compatible with both the complex structure and the CY form, the Chern/Levi-Civita connection, is simply false. Non-Kähler compact complex manifolds with trivial canonical bundle (e.g. Iwasawa) admit no such connection. The proof of Theorem 3.6 uses ∇ω=0 to make the Fedosov differential commute with the t∂ differential, and Theorem 3.11 uses div(Q)=0; both depend on the existence of this connection. To make the argument run, the paper must restrict \"Calabi-Yau\" to compact Kähler manifolds with trivial canonical bundle and cite Yau's theorem, or prove a non-metric connection exists in its broader setting. As written, the main theorem is conditional on an unstated geometric existence theorem. The non-compact corollary inherits the same issue.\n\nThis is not a fatal flaw in the central idea—for compact Kähler CY manifolds the theorem very likely follows from the cited black boxes. But the paper as written overreaches its own definition, and the gaps sit in the load-bearing part of the globalization.\n\nWho is this for? Someone who wants the precise statement of the CY formality quasi-isomorphism and its relation to Kontsevich, and who is comfortable filling in the Yau-theorem step. It deserves a serious referee, but the author should be asked to fix the definition of CY, cite Yau, and clean up the shifts before publication. I'd send it back for revision rather than desk-reject.\n\nBest","headline":"A note that packages known results into the CY formality statement; probably right for compact Kähler CYs, but the globalization quietly assumes Yau's theorem under a definition of CY that doesn't guarantee it.","tokens_in":12397,"tokens_out":2273,"would_cite":false,"duration_ms":24226,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D55","16E40","32Q25"],"pacs":[],"model":"deepseek-v4-flash","headline":"On a compact Calabi-Yau manifold, the differential graded Lie algebra of polyvector fields is quasi-isomorphic to the cyclic Hochschild cochain complex, so every unimodular holomorphic Poisson structure determines a canonical closed deforma","keywords":["Calabi-Yau manifold","deformation quantization","formality morphism","cyclic cohomology","holomorphic Poisson structure","Dolgushev-Fedosov resolution","A∞-algebra","closed string open string duality"],"falsifier":"Take a compact Calabi-Yau surface with a nonzero divergence-free holomorphic Poisson bivector, apply $U_{CY}$ to compute the deformation to order $\\hbar^2$, and check the closedness identity (1.4) for $n=3$; if it fails, or if the result differs from the standard deformation quantization in a way that is not gauge-equivalent, the theorem is false.","tokens_in":11427,"feed_emoji":"🌌","tokens_out":6821,"duration_ms":62922,"temperature":0.7,"texified_at":"2026-08-05T21:46:28.696388+00:00","pith_summary":"This paper establishes the Calabi-Yau analogue of the classical formality theorem that underlies deformation quantization. It proves that, for any compact Calabi-Yau manifold, the differential graded Lie algebra of polyvector fields is quasi-isomorphic to a cyclic version of the Hochschild cochain complex, so that Maurer-Cartan elements—holomorphic Poisson structures—correspond to noncommutative deformations of the Dolbeault-resolved algebra of functions. A direct consequence is that any unimodular (divergence-free) holomorphic Poisson structure on a compact Calabi-Yau manifold has a canonical closed deformation quantization, and this quantization agrees with the complex version of the standard deformation quantization. The author's stated motivation is to reinterpret deformation quantization from the perspective of Calabi-Yau categories and open-closed string vertices; the theorem provides a concrete closed-string/open-string duality statement in this setting.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":5382,"prompt_tokens":811,"completion_tokens":4571,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":811,"completion_tokens_details":{"reasoning_tokens":3837}},"feed_headline":"Calabi-Yau formality yields canonical closed deformation quantization","feed_subtitle":"For compact Calabi-Yau manifolds, unimodular holomorphic Poisson structures get a canonical noncommutative deformation.","key_machinery":"The argument is carried by the Calabi-Yau cyclic formality morphism $U_{CY}$, built in three stages: (1) the local cyclic formality theorem over the formal disk, obtained by base change from $R$ to $C$ from the known real cyclic formality theorem; (2) a globalization step using Dolgushev-Fedosov resolutions, which embed the nonlinear differential graded Lie algebras into linear formal ones using a torsion-free connection compatible with both the complex structure and the Calabi-Yau volume form (for compact Calabi-Yau manifolds this is the unique connection associated with a Ricci-flat Kähler metric); and (3) the observation that the Fedosov differential preserves the $\\omega$-cyclic invariant subcomplex be","core_discovery":"The central claim is Theorem A: for a $d$-dimensional compact Calabi-Yau manifold $X$, there is a quasi-isomorphism of differential graded Lie algebras $U_{CY}: (PV^{*,*}(X)[[t]], \\bar\\partial + t\\partial, \\{,\\}_S) \\to (Cyc^*_{\\mathrm{loc}}(\\Omega^{0,*}(X))[d-2], d_{\\mathrm{cyc}}, \\{,\\}_o)$, where the left side is the Calabi-Yau polyvector field algebra (Dolbeault forms with coefficients in polyvector fields, with differential $\\bar\\partial + t\\partial$ and Schouten bracket) and the right side is the cyclic local functional algebra on Dolbeault forms with the open-string bracket and Hochschild-type differential. The underlying chain complexes compute the cyclic cohomology of the abelian category of coherent sheaves $Coh(X)$.","pith_inferences":["One can test the strength of the theorem by checking whether the closedness condition (1.4) is equivalent to the unimodularity of the Poisson structure; if non-unimodular Poisson structures also admit closed quantizations, then Corollary C is not sharp.","The tadpole-vanishing mechanism suggests that the difference between the Calabi-Yau morphism and the ordinary formality morphism is controlled by a graph-complex class; a natural next step is to compute the first nontrivial graph and see whether it matches the divergence operator.","If the string-field-theory motivation is correct, Theorem A should extend from manifolds to arbitrary Calabi-Yau categories, with the cyclic Hochschild complex replacing the manifold's Dolbeault complex; the paper sets up but does not prove that extension."],"forward_implications":["If Theorem A holds, every unimodular holomorphic Poisson structure on a compact Calabi-Yau manifold has a canonical closed deformation quantization (Corollary C), removing any choice in the quantization.","The Maurer-Cartan space of the Calabi-Yau polyvector field Lie algebra parametrizes a family of proper cyclic A∞-algebras on the Dolbeault complex, giving a Calabi-Yau version of the deformation quantization moduli problem (Corollary B).","The quasi-isomorphism exhibits a closed-string/open-string duality: the left side is the algebra underlying B-model variations of Hodge structure and BCOV theory, the right side describes observables of holomorphic Chern-Simons theory; the paper argues they are the same formal moduli problem.","For non-compact Calabi-Yau manifolds, the theorem has a variant using ω-cyclically invariant Hochschild cochains, which is isomorphic to the compact version when X is compact."],"fun_headline_variants":["Canonical closed quantization for unimodular Calabi-Yau","Calabi-Yau formality gives canonical closed quantization","Unimodular Calabi-Yau gets canonical quantization","Calabi-Yau formality morphism yields canonical quantization","Calabi-Yau manifolds have canonical closed deformations"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The globalization step assumes a torsion-free connection that is compatible with both the complex structure and the Calabi-Yau volume form; on compact Calabi-Yau manifolds such a connection exists only by a nontrivial theorem of Kähler geometry, and on general non-compact Calabi-Yau manifolds it may not exist at all.","fun_headline_variants_meta":{"raw":{"variants":["Canonical closed quantization for unimodular Calabi-Yau","Calabi-Yau formality gives canonical closed quantization","Unimodular Calabi-Yau gets canonical quantization","Calabi-Yau formality morphism yields canonical quantization","Calabi-Yau manifolds have canonical closed deformations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00104,"raw_usage":{"total_tokens":4154,"prompt_tokens":625,"completion_tokens":3529,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":369,"completion_tokens_details":{"reasoning_tokens":3461}},"tokens_in":369,"tokens_out":3529,"duration_ms":25274,"temperature":1.0,"reasoning_tokens":3461,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T02:31:47.993121+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a compact Calabi-Yau surface with a nonzero divergence-free holomorphic Poisson bivector, apply $U_{CY}$ to compute the deformation to order $\\hbar^2$, and check the closedness identity (1.4) for $n=3$; if it fails, or if the result differs from the standard deformation quantization in a way that is not gauge-equivalent, the theorem is false.","supporting_citations":[],"review_version":1}