{"id":"be1e6f5d-b322-4a01-aeed-14985dd3d90a","arxiv_id":"2506.15210","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Loday-Quillen-Tsygan map is extended from A∞-algebras to A∞-categories and shown to fit into a commutative square with ribbon and ordinary graph complexes, both classically and after quantization.","lead":"Two old tools, one comparing cyclic homology with matrix Lie algebra homology and one drawing cocycles from ribbon graphs, are fitted into one large commutative diagram. The paper extends this from single algebras to categories with many objects and adds a quantized version with formal variables, a step toward unifying enumerative geometry and large N gauge theories.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.1.3 invokes a unital LQT theorem for A_C, but for an infinite-object category A_C has no unit; the large-N statement for categories is not proved as stated.","rationale":"The reader's weakest assumption concerns the quasi-isomorphism ι^*: Cyc_+^*(A_C) → Cyc_+^*(C). My concern is independent and upstream: even if that quasi-isomorphism is correct, the proof of Theorem 4.1.3 requires the one-object LQT theorem for A_C, and the paper explicitly calls A_C unital. Construction 3.2.21/3.2.22 defines A_C as a direct sum over all pairs of objects; for an infinite object set the sum of identity morphisms is not an element of that direct sum, so A_C is not unital in the sense of Definition 3.1.4. Since Theorem B and Theorem 4.1.3 are stated for arbitrary small unital categories, the large-N claim rests on an unproven reduction. This does not refute the main commutative cube (Theorem 7.0.1) for essentially finite cyclic categories, because there one passes to a finite skeleton, but it does mean the categorical LQT theorem is not established at the advertised level of generality. The reader's CONDITIONAL verdict already asks for additional proof detail; my concern specifies where the missing proof must go. I therefore do not change the verdict.","tokens_in":61942,"tokens_out":19080,"duration_ms":209117,"concrete_test":"Take C to be the unital A8-category with countably many objects and only identity morphisms. Compute A_C via Construction 3.2.21: it is ⊕_i k·1_i, and the only candidate two-sided unit is the infinite sum Σ_i 1_i, which is not an element of the direct sum. This settles that A_C is non-unital. Then check whether the one-object LQT theorem quoted in the proof of Theorem 4.1.3 (Theorem 2.11 of [GGHZ22]) applies to non-unital A8-algebras. If it does not, the proof requires either a finiteness hypothesis on Ob(C) or a separate non-unital/quiver LQT statement (for instance from [Zen23]); without one, Theorem 4.1.3 as stated lacks a valid proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 4.1.3 (and the Theorem B it supports) has a two-step structure: first reduce to the one-object LQT theorem for the A8-algebra A_C, then prove that the induced map on cyclic chains is a quasi-isomorphism. The first reduction is not justified as written. Construction 3.2.21 defines A_C as the direct sum A_C := ⊕_{(λ,μ)∈Ob(C)^2} Hom_C(λ,μ) (equation 3.2.22). A two-sided unit for the induced A8-algebra structure would have to be the sum Σ_{λ} 1_λ of the categorical units (Definition 3.1.4). When Ob(C) is infinite, this sum is not an element of the direct sum, so A_C is not unital. The proof of Theorem 4.1.3 nevertheless says: 'The one object LQT theorem applied to the unital A8-algebra AC implies...'. If the cited one-object theorem in [GGHZ22] requires unitality, it does not apply to A_C. The paper restricts to finite skeletons only later, for the cyclic and quantized statements; Theorem 4.1.3 and Theorem B are stated for arbitrary small unital A8-categories. Thus the large-N quasi-isomorphism for categories is not established at the stated level of generality, independently of the separate unit-insertion argument for the quasi-isomorphism of ι^*. The acknowledgment that [Zen23] 'deals with closely related phenomena' does not repair the proof as written, because that reference is not invoked in the proof.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a categorical generalization of the Loday-Quillen-Tsygan theorem. It assigns to an A∞-category C an A∞-algebra A_C by taking the direct sum of all Hom-spaces, defines an LQT map Sym(Cyc_+^*(C)[-1]) → C^*(gl_N A_C), and claims that for unital C this map becomes a quasi-isomorphism in the limit N → ∞. It then builds (d-2)-shifted Poisson and twisted Beilinson-Drinfeld structures on cyclic cochains and on Lie algebra cochains of the commutator L∞-algebra, introduces ribbon and ordinary graph complexes with explicit Maurer-Cartan elements, and proves a compatibility cube relating the LQT map to generalized Kontsevich and Penkava cocycle maps. The main compatibilities are stated for essentially finite cyclic A∞-categories of odd degree d, with a quantized version using formal variables ℏ and γ.","tokens_in":62212,"tokens_out":31810,"duration_ms":339787,"significance":"If the central claims are correct, the paper provides a unifying framework: it extends the LQT theorem to A∞-categories, explains Kontsevich's cocycle construction as a morphism from graph complexes, and packages the classical and quantized compatibilities in a commutative cube of shifted Poisson and twisted BD algebras. The explicit treatment of weighted BD maps, dequantization maps, and the Maurer-Cartan element in the stable graph complex are useful technical contributions. However, the current manuscript has load-bearing gaps in the proof of the large-N statement and in the definition of the graph-complex Maurer-Cartan elements; the significance will be realized only after these are fixed.","major_comments":[{"comment":"The proof applies the one-object LQT theorem to the 'unital A8-algebra AC'. By Construction 3.2.21, AC is the direct sum ⊕_{(λ,μ)∈Ob(C)^2} Hom_C(λ,μ). If Ob(C) is infinite, the candidate unit Σ_λ 1_λ is not an element of the direct sum, so AC is not unital. Since Theorem 4.1.3 is stated for arbitrary small unital A∞-categories, the large-N quasi-isomorphism is not established at the stated level of generality. Please either restrict the statement to categories with finite skeleton (or finite object set) or provide a proof via filtered colimits that avoids the unitality assumption on AC.","section":"§4.1, Theorem 4.1.3"},{"comment":"The acyclicity argument for ker(ι) is not complete. The element \\tilde{x} = Σ_k Σ_{λ≠μ} e_μ ⊗_k x|_{V^k_{λμ}} is an infinite sum whenever Ob(C) is infinite, and the displayed identity B\\tilde{x} = x is asserted without a full derivation of signs, positions, and the multiple terms coming from the inserted units. In particular, equation (4.1.4) does not by itself imply the claimed cancellation. Please give a complete proof, for example via a filtration on Hochschild chains or a contracting homotopy, at least for finite skeleta.","section":"§4.1, proof of Theorem 4.1.3"},{"comment":"The Maurer-Cartan elements G, S, D, and T are defined as infinite sums over corollas and graphs (e.g. G := Σ_{n>0,g≥0} G_{n,g}). The underlying vector spaces are free vector spaces or symmetric algebras with finite linear combinations; no completion or convergence convention is stated, so these sums are not elements as written. Additionally, the cohomological degree of a graph generator should be stated explicitly. As written, a corolla appears to have degree d-3, whereas a Maurer-Cartan element in a (d-2)-shifted dg Lie algebra must have degree 3-d (see Lemma 3.1.37 and Definition 2.0.3); the shifts in Definitions 5.1.16 and 5.2.7 therefore need to be reconciled with the claimed MC degrees. Since twisting by D, S, T, and G is essential for the compatibility theorems, these grading and convergence questions are load-bearing.","section":"§5.1–§5.2, Definitions 5.1.14/5.2.5 and Theorems 5.2.20/5.1.32/5.1.22"},{"comment":"Several load-bearing statements are deferred rather than proved. Theorem 5.1.22 is proved via Remark 5.1.33 and Theorem 5.1.32; the proof of Theorem 5.1.32 relies on Theorem 5.3.11, which is only sketched ('can prove in the same way'). Lemmas 6.1.20, 6.1.21, 6.2.21, and 6.2.22 are declared 'straightforward to prove'. These lemmas give the identities ρ_{I^q}(S)=I^q, ρ_I(D)=I, θ_{I^q}(G)=I^q, and θ_I(T)=T, which are exactly what make the twisting in Theorems 6.1.22, 6.2.23, and 7.0.1 compatible. Please supply full proofs or precise references for these evaluations, including the signs and automorphism factors in the sums.","section":"§5.3 and §6.1–§6.2"}],"minor_comments":[{"comment":"There are numerous typos and OCR artifacts, for example 'commutative squar e' in the abstract, 'Conidition' in Remark 2.0.14, 'acute.ts1' in the proof of Lemma 5.3.5, and 'A8' for A∞ throughout. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The statement uses gl_N A_C while the right-hand objects are constructed from a chosen finite skeleton A_{SkC}; please state explicitly whether A_C is meant to be replaced by A_{SkC} or explain why the choice of skeleton does not affect the notation.","section":"Theorem 7.0.1"},{"comment":"The definition of a dequantization map does not explicitly say whether it is required to commute with differentials; Remark 2.0.17 clarifies that products need not be preserved, so it would be clearer to state the differential part inside the definition.","section":"Definition 2.0.16"},{"comment":"The 'Claim (‘Conjecture’)' about the map Ftot is explicitly not checked and is not used in the main theorems; it would be helpful to mark it clearly as a conjecture and not as a theorem in the introduction.","section":"§1.3.1"}],"recommendation":"major_revision","confidential_remarks":"For the editor: the paper is ambitious and contains several useful explicit constructions, but the main gap in Theorem 4.1.3 and the missing completion/grading conventions for graph-complex MC elements need to be resolved before the central claims are established. The author's reliance on GGHZ22 and Hamilton's work is appropriate, and I see no citation or novelty issue; the concerns are purely technical and fixable in principle."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper is a serious attempt to put the LQT theorem, Kontsevich's cocycle construction, and graph complexes into one categorical framework. The main new content is the categorical LQT map and the compatibility cube with ribbon and ordinary graph complexes, including a quantized Beilinson-Drinfeld deformation. The structural ambition is justified, and the author has done a lot of work anchoring the constructions in GGHZ22, Hamilton, and related literature.\n\nThat said, the paper as written has a load-bearing gap in the large-N categorical theorem. The stress-test note is correct. Theorem 4.1.3 and Theorem B claim that for any unital A-infinity category C, Sym(Cyc_+^*(C)[-1]) is quasi-isomorphic to lim_N C^*(gl_N A_C). The proof applies the one-object LQT theorem to A_C as a \"unital A-infinity algebra\". But A_C = direct sum over Hom-spaces has a unit only when the object set is finite; for infinitely many objects, the sum of identities is not an element of the direct sum. So the reduction to the one-object theorem is not justified at the stated level of generality. The paper later restricts to essentially finite categories and finite skeletons for the cyclic and quantized statements, and there the argument can probably be repaired by applying the theorem to the skeleton. But Theorem B and Theorem 4.1.3 need to be restated and reproved, and the large-N limit for genuinely infinite categories remains open.\n\nThere are also smaller, fixable issues. The elements S and D used as Maurer-Cartan elements are infinite sums, while the graph complexes are defined via direct-sum symmetric algebras without a completion; this needs to be addressed before the twisting arguments are fully formal. Several compatibility lemmas (6.1.20-21, 6.2.21-22) are called straightforward but are load-bearing, and the unit-insertion acyclicity proof in Theorem 4.1.3 is really a sketch. The quantized theorems are conditional on existence of quantizations, which the author explicitly defers; that is honest, but it limits what is established.\n\nThe reader's conditional verdict is fair. The central idea is not shaky: the essentially finite version is likely sound and well anchored. The proof of the Maurer-Cartan property of G in Theorem 5.2.20, for instance, is an explicit calculation and gives real credit. The paper deserves a serious referee, but it needs a major revision before the stated theorems are reliable. If I were handling it, I would send it to peer review with a clear instruction that the infinite-object issue and the completion issue be resolved.","headline":"A genuine categorical extension of LQT with a real unit gap in the infinite-object case; the essentially finite version is likely repairable.","tokens_in":62824,"tokens_out":4646,"would_cite":true,"duration_ms":52218,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19D55","16E40","17B63","53D55"],"pacs":[],"model":"deepseek-v4-flash","headline":"The LQT map extends from $A_\\infty$-algebras to $A_\\infty$-categories and joins the generalized Kontsevich cocycle construction in a commutative cube of shifted Poisson and Beilinson–Drinfeld algebras built over tree, ribbon tree, graph…","keywords":["Loday-Quillen-Tsygan theorem","A-infinity categories","cyclic A-infinity categories","cyclic cohomology","graph complexes","Kontsevich cocycle construction","shifted Poisson algebras","Beilinson-Drinfeld algebras"],"falsifier":"Compute the Hochschild homology of the non-composable part of a small unital $A_\\infty$-category (for instance the category with two objects and the identity morphisms only, or the path category of a finite quiver with units) and check whether the unit-insertion map in the proof of Theorem 4.1.3 really defines a contracting homotopy; any nonzero homology class in that component disproves the quasi-isomorphism $\\iota^*$ and with it the large-$N$ statement. As a second check, specialize the cube of Theorem 7.0.1 to a one-object category and require it to reproduce the one-algebra diagram of [GGHZ22] exactly, including the $\\gamma \\mapsto \\hbar^2$ weighting.","tokens_in":61641,"feed_emoji":"🕸️","tokens_out":17907,"duration_ms":148657,"temperature":0.7,"pith_summary":"This paper argues that the Loday–Quillen–Tsygan (LQT) theorem, a classical bridge from cyclic cohomology to the Lie algebra cohomology of matrix algebras, survives two generalizations at once: from algebras to $A_\\infty$-categories, and from one map to a whole commutative cube of algebraic structures. The categorical LQT map $\\operatorname{Sym}(\\mathrm{Cyc}_+^*(C)[-1]) \\to C^*(\\mathrm{gl}_N A_C)$ is a map of dg algebras, functorial in $C$, and becomes a quasi-isomorphism as $N \\to \\infty$ when $C$ is unital. For an essentially finite cyclic $A_\\infty$-category of odd degree $d$, the same map is an edge of a commutative cube whose other corners are ribbon tree, tree, stable ribbon graph, and stable graph complexes carrying compatible $(d-2)$-shifted Poisson and twisted Beilinson–Drinfeld structures, with a quantized companion built from solutions of the open quantum master equation. A sympathetic reader should care because the cube makes precise, at the level of chain complexes, the slogan that Calabi–Yau categories produce large-$N$ gauge theories: the route from enumerative mirror symmetry and the technology of Feynman-style graph complexes are two faces of the same structure. The load-bearing bridge is a construction that gathers all Hom-spaces of a category into a single algebra $A_C$.","feed_headline":"One commutative cube unites LQT, cocycle maps, and graph complexes","feed_subtitle":"Extending the LQT map to cyclic A∞-categories ties enumerative mirror symmetry to large-N gauge theory.","key_machinery":"The central object is the category-to-algebra bridge $A_C$ (Construction 3.2.21), which packages all Hom-spaces of an $A_\\infty$-category into one $A_\\infty$-algebra and induces a map on cyclic chains $\\iota^*: \\mathrm{Cyc}_+^*(A_C) \\to \\mathrm{Cyc}_+^*(C)$; the large-$N$ statement rests on the claim, proved by a unit-insertion contraction, that $\\iota^*$ is a quasi-isomorphism for unital $C$. The rest of the machinery consists of: the commutator $L_\\infty$-algebra $\\mathrm{gl}_N A_C$ of matrices with values in $A_C$; the graph complexes of ribbon trees, ribbon graphs, stable ribbon graphs, trees, graphs, and stable graphs, whose shifted Poisson and twisted BD structures come from gluing leaves; the compatible Maurer–Cartan elements $I$, $I^q$, $D$, $S$, $T$, and $G$; and the two vertical maps — the generalized Kontsevich cocycle construction $\\rho$ and its 'commutative' analogue $\\theta$ — joined by the map $\\pi$ that forgets the ribbon structure. Compatibility of the cube reduces to lemmas showing that $\\rho$, $\\theta$, and $\\pi$ intertwine differentials, brackets, and the quantum operators, with the proof of the key square using tensor identities for matrix coefficients.","core_discovery":"The central claim, in the paper's own terms, is Theorem B: for every small $A_\\infty$-category $C$ the LQT map extends to a functorial map of dg algebras $\\operatorname{LQT}_C: \\operatorname{Sym}(\\mathrm{Cyc}_+^*(C)[-1]) \\to C^*(\\mathrm{gl}_N A_C)$, where $A_C$ is the one-object algebra obtained by summing all Hom-spaces of $C$ and $\\mathrm{gl}_N A_C$ is the commutator $L_\\infty$-algebra of $N \\times N$ matrices with values in it; when $C$ is unital this map is a quasi-isomorphism for $N \\to \\infty$. The structural claim is Theorem 7.0.1: for an essentially finite cyclic $A_\\infty$-category of odd degree $d$, the classical and quantized LQT maps fit into a commutative cube together with the generalized Kontsevich cocycle construction and its commutative analogue, whose lower corners are the ribbon tree, tree, stable ribbon graph, and stable graph complexes with their $(d-2)$-shifted Poisson and twisted Beilinson–Drinfeld structures, related by dequantization maps. Quantization input is a Maurer–Cartan element, i.e. a solution of the open quantum master equation, and the quantized map is a $2$-weighted map of twisted BD algebras, again a quasi-isomorphism for $N \\to \\infty$.","pith_inferences":["If the unitality quasi-isomorphism holds, it is a self-standing statement about $A_\\infty$-categories ('composable and non-composable Hochschild chains compute the same homology') that the author proves by hand; extending it to homotopically unital or dg-enriched settings would make the categorical LQT map available for geometric categories such as Fukaya categories, a use the paper does not itsel","The cube is strongly reminiscent of a modular-operad statement, which the paper floats explicitly: if the ribbon side is the totalization of the Feynman transform of an $S_t$-type operad and an analogous commutative operad exists whose Feynman transform is the stable graph complex, then the whole cube, including the compatibility of the four Maurer–Cartan elements, would follow from a single opera","One testable consequence of the $2$-weighted quantized map ($\\gamma \\mapsto \\hbar^2$) is a concrete normalization prediction for explicit examples; the paper cites combinatorial quantum $A_\\infty$-structures on the elliptic curve Fukaya category, where the induced large-$N$ partition function could in principle be computed term by term and checked against the graph-complex coefficients."],"forward_implications":["Categorical large-$N$ theorem: for every unital $A_\\infty$-category, the free commutative algebra on cyclic cochains is quasi-isomorphic to the inverse limit of the Lie algebra cochain complexes of $\\mathrm{gl}_N A_C$, so cyclic cohomology of categories is a large-$N$ phenomenon just as for algebras.","The classical cube: for an essentially finite cyclic $A_\\infty$-category of odd degree, the LQT map preserves the $(d-2)$-shifted Poisson brackets, and the tree and ribbon tree complexes become universal sources for the Lie algebra cochains of cyclic $L_\\infty$-algebras.","The quantized cube: a quantization of the category, given by a solution of the open quantum master equation, produces a $2$-weighted map of twisted BD algebras between the quantized observables and the twisted stable graph complexes, and this map is a quasi-isomorphism as $N \\to \\infty$.","Dequantization: setting the formal variable to zero and projecting to symmetric words of length one turns the quantized cube into the classical one, so the classical statement is the semiclassical limit of the quantized theorem.","Recovering the original construction: restricting the ribbon-side map to connected graphs without leaves and setting $\\nu$ and $\\gamma$ to $1$ reproduces Kontsevich's original construction of cocycles on moduli spaces of Riemann surfaces, up to a genus weighting by $\\gamma$."],"supporting_citations":[{"why":"Supplies the one-object LQT theorem for $A_\\infty$-algebras, the trace map with matrix tensors, the cyclic structure on matrix algebras, and the spectral-sequence arguments the paper reuses for the large-$N$ and quantized statements.","marker":"[GGHZ22]"},{"why":"The original LQT theorem for associative algebras; the paper's categorical LQT map is built so that, for a one-object category, it specializes to this statement.","marker":"[LQ84]"},{"why":"Independent source of the LQT theorem, cited alongside Loday–Quillen as the classical result being generalized to categories.","marker":"[Tsy83]"},{"why":"Kontsevich's original cocycle construction; the paper's ribbon-side vertical map $\\rho$ is its generalization, and restricting $\\rho$ recovers it with an extra genus weight $\\gamma^g$.","marker":"[Kon94]"},{"why":"The commutative analogue of the cocycle construction on graph complexes; the paper's graph-side vertical map $\\theta$ generalizes it to graphs with leaves.","marker":"[Pen96]"},{"why":"Provides the open TCFT viewpoint on cyclic $A_\\infty$-categories and the invariance of Hochschild and cyclic homology under $A_\\infty$-equivalence, used for independence of the choice of skeleton.","marker":"[Cos07b]"},{"why":"Background for 'cyclic words' computing cyclic homology and the corollary used in showing $\\iota^*$ is a quasi-isomorphism on Hochschild chains.","marker":"[Lod13]"},{"why":"Source of the shifted Poisson and BD structures on (stable) ribbon graph complexes and the link of stable ribbon graphs to moduli spaces of curves.","marker":"[Ham10]"},{"why":"Provides the tensor identities $\\mu^{g,b}$ for matrix coefficients used in the proof that the prequantum LQT map commutes with $\\rho$ and $\\theta$ in the rightmost square of Theorem 7.0.2.","marker":"[Ham13]"}],"fun_headline_variants":["LQT map extends to A∞-categories via cocycle cube","Graph complexes unify LQT and cocycle quantization","Kontsevich cocycle builds LQT for A∞ categories","Quantized LQT square ties geometry to gauge theory","Cocycle cube lifts LQT to A∞ categories"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that, for a unital $A_\\infty$-category, the map from cyclic chains of the assembled one-object algebra $A_C$ to cyclic chains of the category itself is a quasi-isomorphism — a fact argued here by a hand-written unit-insertion contraction rather than by a cited theorem, and if it fails, the categorical large-$N$ statement together with the categorical sides of the cube collapse.","fun_headline_variants_meta":{"raw":{"variants":["LQT map extends to A∞-categories via cocycle cube","Graph complexes unify LQT and cocycle quantization","Kontsevich cocycle builds LQT for A∞ categories","Quantized LQT square ties geometry to gauge theory","Cocycle cube lifts LQT to A∞ categories"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000171,"raw_usage":{"total_tokens":1271,"prompt_tokens":945,"completion_tokens":326,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":561,"completion_tokens_details":{"reasoning_tokens":240}},"tokens_in":561,"tokens_out":326,"duration_ms":3747,"temperature":1.0,"reasoning_tokens":240,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:41:25.361105+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Hochschild homology of the non-composable part of a small unital $A_\\infty$-category (for instance the category with two objects and the identity morphisms only, or the path category of a finite quiver with units) and check whether the unit-insertion map in the proof of Theorem 4.1.3 really defines a contracting homotopy; any nonzero homology class in that component disproves the quasi-isomorphism $\\iota^*$ and with it the large-$N$ statement. As a second check, specialize the cube of Theorem 7.0.1 to a one-object category and require it to reproduce the one-algebra diagram of [GGHZ22] exactly, including the $\\gamma \\mapsto \\hbar^2$ weighting.","supporting_citations":[],"review_version":1}