{"id":"32f88cd3-0e35-4607-be1c-cc03d3e5c2d8","arxiv_id":"2505.09378","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Koszul Calabi-Yau algebras, the Loday-Quillen-Tsygan isomorphism deforms to a co-Poisson bialgebra isomorphism and quantizes to a Hopf algebra isomorphism, induced from the Lie bialgebra on the cyclic homology of the Koszul dual coalgebra.","lead":"For a class of noncommutative spaces called Koszul Calabi-Yau algebras, this paper constructs both a deformation and a quantization of the classic Loday-Quillen-Tsygan isomorphism between matrix Lie algebra homology and cyclic homology. The result turns a highly symmetric abelian isomorphism into a co-Poisson bialgebra and a Hopf algebra isomorphism, linking noncommutative Poincaré duality with K-theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The deformation rests entirely on Proposition 5.1, quoted from [13] with only a sketch; if the claimed DG Lie bialgebra compatibility fails there, Theorems 5.5 and 6.13 collapse.","rationale":"The central claim, Theorem 1.2, has two parts: a co-Poisson deformation of H•(gl(A)) and a Hopf algebra quantization lifting the LQT isomorphism. Both parts are built on the same input: the DG Lie bialgebra structure on CCλ•(A¡)[1] asserted in Proposition 5.1. The bracket and cobracket are defined in (27)-(28) using only the co-Frobenius pairing, and the proof of compatibility with the cyclic differential is delegated to [13] with a one-sentence indication. This is the unique structural input from outside the present paper; the Koszul duality and LQT isomorphisms that transport it are standard and referenced to published sources. The quantization in Section 6 is intricate and partly delegated to [45], and the categorical applications are stated without proof, but these are downstream of Proposition 5.1: if the Lie bialgebra does not exist, there is no deformation to quantize. The reader's weakest-assumption analysis identified exactly this premise, and I agree. The proposed test, an explicit verification on the exterior coalgebra model, is concrete and could settle the question without access to the full text of [13]. I therefore recommend keeping the reader's CONDITIONAL verdict: the central construction is plausible, but the most load-bearing premise is not independently established in the paper.","tokens_in":37099,"tokens_out":4782,"duration_ms":50444,"concrete_test":"Independently verify Proposition 5.1 for a small nontrivial model: take A = k[x1,x2,x3] (Koszul Calabi-Yau of dimension 3), whose Koszul dual A¡ is the exterior coalgebra Λ(V) with its co-Frobenius pairing. Using a computer algebra system, compute the cyclic complex CCλ•(A¡)[1] in total degrees ≤ 4 and check explicitly that (i) b{α,β} = {bα,β} + (−1)^|α|{α,bβ} and bδ(α) = δ(bα) for all basis chains; (ii) the co-Jacobi identity holds; (iii) the involutivity condition δ∘{−,−}=0 holds. If any identity fails, Proposition 5.1 is false; if all pass for this nontrivial example, the deformation premise is materially supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 5.1 is the unique source of the bracket {−,−} and cobracket δ on CCλ•(A¡)[1]; every deformation in Theorem 5.5 and every quantization in Theorem 6.13 is transported from this DG Lie bialgebra. The proof in the present text is a sketch: 'straightforward to check ... key point ... holds due to the co-Frobenius coalgebra structure on A¡ (see (11)),' with the full verification deferred to [13, Theorem 9]. Since [13] is not reproduced and the signs in (27)-(28) are delicate, a hidden failure of b-compatibility, co-Jacobi, or the cocycle condition would remove the co-Poisson deformation entirely, and the Hopf algebra of Section 6 would not quantize a Lie bialgebra. The manuscript itself flags the overlap with [13] (Remark 1.4) and does not supply the missing computation. This is not an accusation of error; it is the load-bearing premise that is least secure.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a deformation and quantization of the classical Loday–Quillen–Tsygan isomorphism for Koszul Calabi–Yau algebras. After reviewing Koszul duality for algebras and coalgebras, the authors recall (Theorem 3.12) the isomorphism between the Lie algebra homology of gl(A) and the symmetric algebra on the cyclic homology of the Koszul dual coalgebra A^¡. The main new claims are Theorem 5.5, which deforms H_•(gl(A)) into a co-Poisson bialgebra using a Lie bialgebra on CC^λ_•(A^¡)[1] constructed from the co-Frobenius structure of A^¡, and Theorem 6.13, which constructs an explicit Hopf algebra A(A^¡) quantizing this co-Poisson structure and lifting the LQT isomorphism to the quantum level. The authors also connect the result to Hennion's tangent map to K-theory and give examples involving preprojective algebras and Fukaya categories.","tokens_in":37218,"tokens_out":7444,"duration_ms":70572,"significance":"If the main theorems are correct, this is a substantial contribution: it provides the first deformation-quantization of the LQT isomorphism in the presence of Calabi–Yau structure, it relates Poincaré duality to Lie bialgebra structures on cyclic homology, and it gives an explicit combinatorial quantization with a PBW basis argument. The paper also makes a credible bridge to Hennion's work on tangent complexes of K-theory and to geometric examples. The strengths include explicit formulas (27)–(28), a detailed construction of the Hopf algebra in Section 6, and a definite mathematical statement (Theorem 6.13) that can be checked by the community. The main weakness is that the central input, Proposition 5.1, is quoted from the authors' earlier paper [13] with only a sketch, and several other key verifications in Section 6 are delegated to analogies with [45] and [13].","major_comments":[{"comment":"This proposition is the unique source of the Lie bracket {−,−} and cobracket δ on CC^λ_•(A^¡)[1], and therefore of every deformation in Theorem 5.5 and every quantization in Theorem 6.13. Its proof in the present text is only a sketch: the statement says 'It is straightforward to check Lie bialgebra structure, their compatibility and involutivity. The key point here is to check that they are compatible with the boundary map, which holds due to the co-Frobenius coalgebra structure on A^¡ (see (11))', with the full verification deferred to [13, Theorem 9]. This is a load-bearing point: if the compatibility with the differential, the co-Jacobi identity, or the cocycle condition fails, then the co-Poisson deformation of H_•(gl(A)) and its Hopf algebra quantization do not exist. The authors should either reproduce the complete proof in the present paper, or state the precise signs in (27)–(28) and give a direct verification of all Lie bialgebra axioms and their compatibility with the cyclic differential.","section":"§5.1, Proposition 5.1"},{"comment":"The passage from the DG Lie bialgebra on the cyclic complex CC^λ_•(A^¡)[1] to a co-Poisson bialgebra structure on the homology H_•(gl(A)) is asserted rather than proved. In particular, the text does not prove that the bracket and cobracket descend to HC_•(A^¡)[1], nor that the isomorphisms in the commutative diagram (23) are compatible with the deformed bracket and cobracket. Since Theorem 5.5 is a statement about H_•(gl(A)), this descent and compatibility are essential; the one-paragraph discussion after Proposition 5.4 is insufficient. Please provide a proof that the isomorphisms of Theorem 3.12 are isomorphisms of DG Lie bialgebras (or at least that the homology-level operations are well defined and natural).","section":"§5.3, Theorem 5.5"},{"comment":"The construction of the Hopf algebra A is intricate and the proof that it is a DG Hopf algebra is only partially carried out. Proposition 6.5 is settled by a case analysis whose main assertions are of the form 'One may straightforwardly check' and 'we may check that ... belongs to eB'. Proposition 6.6 relies on 'The proof is similar to [45, 3.8]' for the bialgebra identity and on 'similarly to [13, Lemma 14]' for compatibility with the differential. Because the current setting involves graded co-Frobenius coalgebras, cyclically ordered components, and two formal parameters h and ℏ, these are not routine citations to Schedler's quiver case. A failure of associativity, coassociativity, or the bialgebra identity would invalidate Theorem 6.13. Please give full proofs of Propositions 6.5 and 6.6, or provide a precise dictionary that reduces them theorem-by-theorem to the corresponding statements in [45] and [13].","section":"§6.1–§6.2, Propositions 6.5 and 6.6"},{"comment":"The claim that the constructed quantization also 'gives a quantization of Hennion's tangent map' is not made precise. Hennion's Theorem 4.10 states that the tangent map from gl_∞(A)[1] to θ(CC_•(A)[1]) is homotopic to the LQT trace map, but the paper does not define a quantized version of this tangent map as a morphism of the Hopf algebras QH_•(gl(A)) and A(A), nor does it prove that the diagram in Corollary 4.11 survives quantization. If the quantization of the tangent map is intended as a separate contribution, the compatibility statement and its proof should be stated explicitly; otherwise, the abstract and Theorem 1.2(2) overstate the result.","section":"§6.4, Theorem 6.13"},{"comment":"The applications to preprojective algebras and Fukaya categories go beyond the hypotheses of the main theorems. Corollary 7.2 concerns an algebra over the semisimple ring ⊕_{e∈Q_0} ke, while the main theorems are stated for algebras over a field, and Corollary 7.5 concerns A_∞ categories rather than Koszul algebras. The paper says only that 'the main results of the paper remain valid' or are 'Koszul dual' in these settings, without proof. These extensions should either be proved or explicitly labeled as conjectural.","section":"§7, Corollaries 7.2 and 7.5"}],"minor_comments":[{"comment":"The two diagrams use the same labels b, b′, N, and 1−t for the algebra and coalgebra complexes even though the signs are different in the two cases; please either draw the diagrams separately or add a sentence explaining which boundary operator is used in each diagram.","section":"§2.3, diagrams (6)"},{"comment":"There is a typo: 'cylic homologies' should be 'cyclic homologies'.","section":"§2.2, Definition 2.3(3)"},{"comment":"The word 'involutative' appears twice; it should be 'involutive'.","section":"§5.1, definition of involutive Lie bialgebra"},{"comment":"The notation CE•(glc(C)) gl is ambiguous; the superscript should be attached to the invariant subcomplex, e.g., CE•(glc(C))^{gl(k)}, and the acyclic complement L∗ should be defined explicitly.","section":"§3.2.2, Lemma 3.6"},{"comment":"There is a typo: 'categogry' should be 'category'.","section":"§4.1"},{"comment":"The paper repeatedly refers to [13] and [45] for key structural facts. Please state precisely which results in those papers apply to the present graded co-Frobenius setting, especially because the present construction introduces an additional formal parameter ℏ and degrees shifts that are not literally present in the cited statements.","section":"§1, Remark 1.4 and §6.2"}],"recommendation":"major_revision","confidential_remarks":"The central structural input, Proposition 5.1, is quoted from the authors' own earlier paper [13] with only a sketch in the present text. Since all later results are transported from this DG Lie bialgebra, the editor may wish to ensure that [13, Theorem 9] indeed proves the statement in the exact graded co-Frobenius form used here, with the signs and degree conventions matching (27)–(28). The applications in Section 7 are broader than the theorems and may need to be either proved or carefully delimited."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou should know right away: this paper has a real, nontrivial result in it, but the keystone of the argument is imported from the authors' own earlier work with only a sketch. I'd send it to a serious referee, but I'd also insist that referee scrutinize Proposition 5.1 before signing off.\n\nWhat's actually new: for a Koszul Calabi-Yau algebra A, the paper deforms the LQT isomorphism into an isomorphism of co-Poisson bialgebras and then quantizes it to a Hopf algebra isomorphism. The main construction is Section 6, where they build an explicit combinatorial Hopf algebra quantizing the Lie bialgebra on the cyclic complex of the Koszul dual coalgebra. The PBW basis argument via Schedler's diamond lemma is real work, and they're careful to distinguish their result from the Poisson-only quantization of Ginot et al. They also flag the overlap with their own [13] honestly.\n\nThe soft spot is exactly where the stress-test lands. Proposition 5.1 is the unique source of the bracket and cobracket on CC^λ_•(A^¡)[1]. Everything else—Theorem 5.5, Theorem 6.13—rides on it. The proof here is two sentences and a reference to [13, Theorem 9]. That's not automatically fatal, since [13] is published, but the signs in (27)–(28) are delicate, and the compatibility with the cyclic differential is the whole game. I'd want the referee to either verify the sign convention matches [13] or ask the authors to reproduce the proof in an appendix.\n\nThe quantization of Section 6 also leans on arguments 'similar to' [45] and [13, Lemma 14] at a few points. The overall architecture is clear and I don't see a circular step, but it's not fully self-contained. The claim about quantizing Hennion's tangent map is a fair slogan once the Hopf algebra isomorphism is in place, but the paper doesn't construct a map on K-theory spectra; it's an interpretation of the isomorphism, not a theorem about K-theory. The Fukaya category discussion is explicitly conditional on Koszul duality between F(X) and W(X), which is a real hypothesis and not proved here.\n\nWho gets value: people working on cyclic homology, Koszul duality, and deformation quantization. If the Lie-bialgebra input is solid, this is a nice structural result. I'd bring it to our reading group as an example of a serious explicit quantization.\n\nRecommendation: peer review, yes—but with a referee who can check the signs in Proposition 5.1. If that proposition fails, the paper collapses; if it holds, the paper is a solid contribution.","headline":"A credible explicit deformation-quantization of the LQT isomorphism for Koszul Calabi-Yau algebras, with the main risk sitting in a quoted Lie-bialgebra compatibility whose proof is only sketched.","tokens_in":37837,"tokens_out":2678,"would_cite":false,"duration_ms":26602,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16E40","19D55"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a Koszul Calabi-Yau algebra, the Loday-Quillen-Tsygan isomorphism between Lie algebra homology of infinite matrices and cyclic homology deforms into an isomorphism of co-Poisson bialgebras and quantizes to an isomorphism of Hopf…","keywords":["Loday-Quillen-Tsygan isomorphism","cyclic homology","Calabi-Yau algebra","Koszul duality","Lie bialgebra","co-Poisson bialgebra","deformation quantization","algebraic K-theory"],"falsifier":"Take a concrete Koszul Calabi-Yau algebra, such as the preprojective algebra $\\Pi_0(Q)$ of a non-Dynkin quiver or the Yang-Mills algebra $\\mathrm{YM}(n)$, write out the low-degree cyclic classes, and compute the bracket (27) and cobracket (28) from the explicit co-Frobenius coproduct. If for any classes $\\alpha, \\beta$ one finds $b\\{\\alpha, \\beta\\} \\neq \\{b\\alpha, \\beta\\} + (-1)^{|\\alpha|}\\{\\alpha, b\\beta\\}$, or if $\\delta$ fails the analogous compatibility, then Proposition 5.1—and with it the deformation—collapses. A more algebraic check is to test $b^2 = 0$ directly on one generator of the quantized algebra $\\mathcal{A}$ in §6.1, whose differential is defined by (37); the paper asserts this follows from the cyclic complex and the relations (33)–(35), so a counterexample there would falsify the quantization step.","tokens_in":36831,"feed_emoji":"🌀","tokens_out":18938,"duration_ms":167173,"temperature":0.7,"pith_summary":"The paper tries to prove that the classical Loday-Quillen-Tsygan isomorphism—the identification of the Lie algebra homology of the infinite matrix algebra $\\mathfrak{gl}(A)$ with the graded symmetric algebra on the cyclic homology of $A$—can be deformed, provided $A$ is a Koszul Calabi-Yau algebra (a graded algebra with a quadratic resolution and Poincaré duality in Hochschild homology). The source of the deformation is Poincaré duality: the Koszul dual coalgebra $A^¡$ is co-Frobenius, and its non-degenerate pairing puts a Lie bracket and a Lie cobracket on the cyclic complex $CC_\\bullet(A^¡)[1]$. Through Koszul duality and the Loday-Quillen-Tsygan isomorphism, these operations deform $H_\\bullet(\\mathfrak{gl}(A))$ into a co-Poisson bialgebra, and the paper constructs an explicit Hopf algebra—an algebra with compatible product, coproduct, and antipode—that quantizes this deformed structure, so the deformed isomorphism becomes an isomorphism of Hopf algebras. If the paper is right, a purely formal homology isomorphism is upgraded to a deformation-quantization statement, and the tangent map from $BGL$ to algebraic K-theory is quantized for these algebras.","feed_headline":"The Loday-Quillen-Tsygan map deforms in the Calabi-Yau case","feed_subtitle":"Poincaré duality puts a Lie bialgebra on cyclic homology, and the classical isomorphism quantizes to a Hopf-algebra map.","key_machinery":"The load-bearing object is the co-Frobenius coalgebra $A^¡$ obtained by Koszul duality from a Koszul Calabi-Yau algebra: its non-degenerate pairing (the Poincaré-duality pairing, equivalently the Frobenius pairing of the Koszul dual algebra) induces on the cyclic complex $CC_\\bullet(A^¡)[1]$ a bracket $\\{-, -\\}$ and a cobracket $\\delta$, given by formulas (27) and (28), making it an involutive differential graded Lie bialgebra of degree $(2-n, 2-n)$—that is, the bracket and cobracket are compatible with the differential and annihilate each other (Proposition 5.1, quoted from the authors' earlier work). This Lie bialgebra is what deforms the symmetric algebra. The quantization is carried by the combinatorial Hopf algebra $\\mathcal{A}$ of §6.1, built from cyclic words labelled by integer heights and quotienting by the relations (33)–(35), with coproduct defined through $m$-colorings and a PBW-type (Poincaré-Birkhoff-Witt) basis obtained via the Diamond Lemma (Proposition 6.8). The machinery transports the pairing data of the Calabi-Yau structure all the way to the homology of $\\mathfrak{gl}(A)$ and makes the deformation explicit enough to quantize.","core_discovery":"The central claim is Theorem 1.2: for a Koszul Calabi-Yau algebra $A$ of dimension $n$, the abelian Hopf algebra $H_\\bullet(\\mathfrak{gl}(A)) \\cong \\Lambda^\\bullet(HC_\\bullet(A)[1])$ admits a deformation to a co-Poisson bialgebra (Theorem 5.5), and this co-Poisson bialgebra admits a Hopf-algebra quantization (Theorem 6.13). The deformation is induced from the involutive differential graded Lie bialgebra on $CC_\\bullet(A^¡)[1]$ built from the co-Frobenius pairing of the Koszul dual coalgebra, transported through the Loday-Quillen-Tsygan isomorphism and Koszul duality; the quantization is the explicitly presented algebra $\\mathcal{A} = \\widetilde{\\mathcal{A}}/\\mathcal{I}$ whose generators are cyclic words with integer heights and whose coproduct is defined through $m$-colorings. The paper claims that the commutative diagram relating $\\mathfrak{gl}$-homology, cyclic homology, and their Koszul duals survives both the deformation and the quantization, as a diagram of co-Poisson bialgebras and then of Hopf algebras. A direct corollary is that the tangent map from the tangent complex of $BGL$ to the tangent complex of K-theory is quantized for such algebras.","pith_inferences":["The quantization is combinatorial enough to be checked by machine: for a fixed quiver, say the preprojective algebra of a small non-Dynkin quiver, the generators are cyclic words with integer heights and the coproduct is a finite sum over colorings, so the bialgebra identities of §6.2 become finite linear-algebra computations; a low-degree computer check would be a direct test of the theorem.","The two formal parameters $h$ and $\\hbar$ appear independently, so one can specialize one of them to zero and obtain separately a Poisson deformation (from the bracket alone) and a co-Poisson deformation (from the cobracket alone); the paper quantizes them simultaneously but does not discuss these one-sided limits.","Transported through the standard identification of the cyclic cohomology of a singular cochain complex with the $S^1$-equivariant homology of a free loop space used in §7.2, the resulting quantum Hopf algebra should refine or recover the skein-module quantization of string topology; that comparison is not made in the paper."],"forward_implications":["The classical isomorphism $H_\\bullet(\\mathfrak{gl}(A)) \\cong \\Lambda^\\bullet(HC_\\bullet(A)[1])$ is upgraded, for Koszul Calabi-Yau $A$, to an isomorphism of co-Poisson bialgebras whose bracket and cobracket come from Poincaré duality.","The same isomorphism lifts to an isomorphism of explicit Hopf algebras (Theorem 6.13), so the deformation is not only infinitesimal: there is a flat family over $k[h, \\hbar]$ whose fiber at $h = \\hbar = 0$ is the classical abelian Hopf algebra.","The identification of the tangent complex of K-theory with cyclic homology, quoted from §4, implies that this Hopf-algebra isomorphism quantizes the tangent map from $BGL$ to K-theory.","For preprojective algebras of non-Dynkin quivers and for Fukaya categories of cotangent bundles, the Calabi-Yau condition is known, so Corollaries 7.2 and 7.5 give the deformation and quantization in those concrete settings."],"supporting_citations":[{"why":"states the Loday-Quillen-Tsygan theorem for algebras, identifying $H_\\bullet(\\mathfrak{gl}(A))$ with $\\Lambda^\\bullet(HC_\\bullet(A)[1])$; this is the isomorphism the paper deforms and quantizes.","marker":"[36]"},{"why":"supplies the independent proof of the same matrix-Lie-algebra homology isomorphism cited alongside [36].","marker":"[46]"},{"why":"provides Proposition 5.1, the involutive DG Lie bialgebra structure on $CC_\\bullet(A^¡)[1]$ that carries the entire deformation.","marker":"[13]"},{"why":"supplies the necklace Lie bialgebra quantization and the height-and-coproduct combinatorics on which the Hopf algebra of §6.1 is modelled.","marker":"[45]"},{"why":"identifies the tangent complex of K-theory with cyclic homology and shows the Loday-Quillen-Tsygan trace is homotopic to the tangent map, making the quantization a quantization of that map.","marker":"[27]"},{"why":"introduces co-Poisson bialgebras and proves the tensor-algebra construction used in Theorem 5.3 to deform the symmetric algebra.","marker":"[47]"},{"why":"is the reference for cyclic homology, the Connes complex, and the Hopf algebra structure on the Chevalley-Eilenberg complex of $\\mathfrak{gl}(A)$ used throughout §3.","marker":"[35]"},{"why":"supplies the coalgebra version of the Loday-Quillen-Tsygan isomorphism used to identify homology of $\\mathfrak{gl}^c(A^¡)$ in Theorem 3.7.","marker":"[31]"},{"why":"proves the quasi-isomorphism between the cyclic complexes of a Koszul algebra and its Koszul dual coalgebra used in Proposition 2.4.","marker":"[14]"},{"why":"introduces Calabi-Yau algebras and shows the Koszul dual of a Koszul Calabi-Yau algebra is a graded Frobenius algebra, which yields the co-Frobenius coalgebra.","marker":"[24]"}],"fun_headline_variants":["Loday-Quillen-Tsygan isomorphism deforms and quantizes for CY algebras","Calabi-Yau algebras deform and quantize the Loday-Quillen-Tsygan map","LQT map gets Lie bialgebra and Hopf quantization in Calabi-Yau","For Calabi-Yau algebras, the LQT isomorphism deforms and quantizes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is a quoted theorem: the co-Frobenius pairing on the Koszul dual coalgebra makes the cyclic complex $CC_\\bullet(A^¡)[1]$ an involutive differential graded Lie bialgebra, meaning the bracket and cobracket respect the differential; the paper relies on this theorem without proving it in detail.","fun_headline_variants_meta":{"raw":{"variants":["Loday-Quillen-Tsygan isomorphism deforms and quantizes for CY algebras","Calabi-Yau algebras deform and quantize the Loday-Quillen-Tsygan map","LQT map gets Lie bialgebra and Hopf quantization in Calabi-Yau","For Calabi-Yau algebras, the LQT isomorphism deforms and quantizes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000658,"raw_usage":{"total_tokens":3068,"prompt_tokens":1063,"completion_tokens":2005,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":679,"completion_tokens_details":{"reasoning_tokens":1913}},"tokens_in":679,"tokens_out":2005,"duration_ms":14986,"temperature":1.0,"reasoning_tokens":1913,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:33:58.609742+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete Koszul Calabi-Yau algebra, such as the preprojective algebra $\\Pi_0(Q)$ of a non-Dynkin quiver or the Yang-Mills algebra $\\mathrm{YM}(n)$, write out the low-degree cyclic classes, and compute the bracket (27) and cobracket (28) from the explicit co-Frobenius coproduct. If for any classes $\\alpha, \\beta$ one finds $b\\{\\alpha, \\beta\\} \\neq \\{b\\alpha, \\beta\\} + (-1)^{|\\alpha|}\\{\\alpha, b\\beta\\}$, or if $\\delta$ fails the analogous compatibility, then Proposition 5.1—and with it the deformation—collapses. A more algebraic check is to test $b^2 = 0$ directly on one generator of the quantized algebra $\\mathcal{A}$ in §6.1, whose differential is defined by (37); the paper asserts this follows from the cyclic complex and the relations (33)–(35), so a counterexample there would falsify the quantization step.","supporting_citations":[{"cited_title":"Loday and D","cited_arxiv_id":null,"evidence_quote":"states the Loday-Quillen-Tsygan theorem for algebras, identifying $H_\\bullet(\\mathfrak{gl}(A))$ with $\\Lambda^\\bullet(HC_\\bullet(A)[1])$; this is the isomorphism the paper deforms and quantizes."},{"cited_title":"Tsygan, Homology of matrix Lie algebras over rings and the Hochschild homology","cited_arxiv_id":null,"evidence_quote":"supplies the independent proof of the same matrix-Lie-algebra homology isomorphism cited alongside [36]."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides Proposition 5.1, the involutive DG Lie bialgebra structure on $CC_\\bullet(A^¡)[1]$ that carries the entire deformation."},{"cited_title":"Schedler, A Hopf algebra quantizing a necklace Lie algebra canonically associated to a quiver.Int","cited_arxiv_id":null,"evidence_quote":"supplies the necklace Lie bialgebra quantization and the height-and-coproduct combinatorics on which the Hopf algebra of §6.1 is modelled."},{"cited_title":"Hennion, The tangent complex of K-theory,J","cited_arxiv_id":null,"evidence_quote":"identifies the tangent complex of K-theory with cyclic homology and shows the Loday-Quillen-Tsygan trace is homotopic to the tangent map, making the quantization a quantization of that map."},{"cited_title":"Turaev, Skein quantization of Poisson algebras of loops on surfaces,Ann","cited_arxiv_id":null,"evidence_quote":"introduces co-Poisson bialgebras and proves the tensor-algebra construction used in Theorem 5.3 to deform the symmetric algebra."},{"cited_title":"Loday,Cyclic homology, Grundlehren Math","cited_arxiv_id":null,"evidence_quote":"is the reference for cyclic homology, the Connes complex, and the Hopf algebra structure on the Chevalley-Eilenberg complex of $\\mathfrak{gl}(A)$ used throughout §3."},{"cited_title":"Loday--Quillen--Tsygan Theorem for Coalgebras","cited_arxiv_id":"math/0411661","evidence_quote":"supplies the coalgebra version of the Loday-Quillen-Tsygan isomorphism used to identify homology of $\\mathfrak{gl}^c(A^¡)$ in Theorem 3.7."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"proves the quasi-isomorphism between the cyclic complexes of a Koszul algebra and its Koszul dual coalgebra used in Proposition 2.4."}],"review_version":1}