Pith. sign in

REVIEW 4 major objections 4 minor 58 references

Kontsevich's Cocycle Construction and Quantization of the Loday-Quillen-Tsygan Theorem

T0 review · 4 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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…

desk verdict A genuine categorical extension of LQT with a real unit gap in the infinite-object case; the essentially finite version is likely repairable. read the letter →

arxiv 2506.15210 v1 pith:NR2L3AUQ submitted 2025-06-18 math.QA math-phmath.ATmath.MP

Jakob Ulmer This is my paper · ORCID
classification math.QAmath-phmath.ATmath.MP MSC 19D5516E4017B6353D55
keywords Loday-Quillen-TsygantheoremA-infinitycategoriescycliccohomologygraphcomplexesKontsevichcocycleconstructionshiftedPoissonalgebrasBeilinson-Drinfeld
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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$.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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$.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

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 γ.

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 (4)
  1. [§4.1, Theorem 4.1.3] 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.
  2. [§4.1, proof of Theorem 4.1.3] 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.
  3. [§5.1–§5.2, Definitions 5.1.14/5.2.5 and Theorems 5.2.20/5.1.32/5.1.22] 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.
  4. [§5.3 and §6.1–§6.2] 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.
minor comments (4)
  1. [Throughout] 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.
  2. [Theorem 7.0.1] 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.
  3. [Definition 2.0.16] 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.
  4. [§1.3.1] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the categorical LQT and cocycle constructions are checked against explicit maps and external theorems.

full rationale

The central derivation is not circular. The categorical LQT map is explicitly defined as the composition of the induced map on cyclic cochains with the classical one-object LQT map for the associated algebra A_C (Definition 4.1.1), and the large-N statement in Theorem 4.1.3 is supported by an independent unit-insertion argument meant to prove that the map ι^*_C is a quasi-isomorphism. The graph-complex BD structures in Section 5 and the generalized Kontsevich/Penkava maps in Section 6 are introduced by explicit gluing formulas, and their intertwining properties are verified by direct computation rather than assumed. The identities ρ(D)=I and θ(T)=I are compatibility checks that follow immediately from the definitions of the corolla elements D and T, not conclusions that are fed back into the construction. The one-object LQT theorem and trace-map lemmas are cited from [GGHZ22] as an external benchmark; even though those authors are the author's advisors or close collaborators, the cited theorem is independent support rather than a self-citation chain that forces the result. No fitted parameter is renamed as a prediction, and no equation reduces to its own input by construction. A separate correctness concern, noted in the skeptical reading, is that the algebra A_C is a direct sum and hence is unital only when Ob(C) is finite, while Theorem 4.1.3 is stated for arbitrary small unital categories; this is a proof gap about the stated level of generality, not a circularity in the derivation.

Assumptions & free parameters 0 free parameters · 7 assumptions · 3 invented entities

No numerical parameters are fitted; the formal variables γ and ℏ are bookkeeping devices, not degrees of freedom tuned to data. The central claim rests on standard theorems from the cited literature plus the explicit input hypothesis that quantizations of the input categories exist. The main background assumptions are characteristic zero, unitality for the large N statement, and essential finiteness for the central extension and skeleton arguments.

assumptions (7)
  • domain assumption Ground field k has characteristic zero and all Hom-complexes are chain complexes over k.
    Used throughout to identify invariants with coinvariants, to pass between cyclic homology variants, and for spectral sequence arguments (Sections 2, 3.1.1, 3.2).
  • domain assumption A∞-category structures can be assumed with m_1 = 0 by absorbing m_1 into the internal differential.
    Remark 3.1.5; standard but imposes a normalization on all later constructions.
  • domain assumption Existence of quantizations I^q in MCE(F^pq(V_B)) with p(I^q)=I for a given cyclic A∞-category.
    Input hypothesis for Theorem C; the paper explicitly defers existence criteria to work in preparation [AT25] and [Ulm25].
  • standard math The Loday-Quillen-Tsygan theorem for unital A∞-algebras (GGHZ22, Theorems 2.11 and 4.7).
    Used in Theorems 4.1.3 and 4.2.17(iii) to reduce the categorical statement to the one-object case.
  • standard math Involutive Lie bialgebra and Beilinson-Drinfeld algebra results from Che10, Ham10, and GGHZ22 extend to the central extension with ν-variables.
    Basis for Theorems 3.1.50 and 5.1.28; the text says the extensions 'remain true' but does not carry out the check.
  • standard math Eilenberg-Moore comparison theorem for complete exhaustive filtrations (Weibel 5.5.11).
    Used to turn page-one quasi-isomorphisms into quasi-isomorphisms in (3.1.74), 4.2.10, and 4.2.17(iii).
  • standard math Properties (1)-(5) of the tensors μ^{g,b}_m from Ham13, Lemma 3.10, hold when applied to the Frobenius algebra M_N(k).
    Used without proof in the key commutativity check of Lemma 7.0.5 for the prequantum LQT map.
invented entities (3)
  • d-twisted Beilinson-Drinfeld algebra
    purpose: Package the differential d + ∇ + γδ and the bracket into a quantized algebraic structure.
    Definition 2.0.3; a variant of standard BD/BV algebras. It is a formalism, not an independently testable object.
  • t-weighted map of BD algebras
    purpose: Allow the quantized LQT map to send γ to ℏ^t and respect products only up to ℏ factors.
    Definition 2.0.8, needed for LQT^pq_N and Theorem C; no external confirmation.
  • dequantization map
    purpose: Compare twisted BD algebras with shifted Poisson algebras by forgetting ℏ, γ, and the product.
    Definition 2.0.16; appears throughout as the link between classical and quantum diagrams.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Kontsevich's Cocycle Construction and Quantization of the Loday-Quillen-Tsygan Theorem." pith.science (2026). https://pith.science/paper/NR2L3AUQ

@misc{pith2026250615210,
  author       = {Pith},
  title        = {Pith review of: Kontsevich's Cocycle Construction and Quantization of the Loday-Quillen-Tsygan Theorem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NR2L3AUQ}},
  note         = {Machine review of arXiv:2506.15210}
}
abstract

We relate graph complexes, Calabi-Yau $A_\infty$-categories and Kontsevich's cocycle construction. Our main result produces a commutative square of shifted Poisson algebras; one of its edges is the Loday-Quillen-Tsygan map, generalized to $A_\infty$-categories. We describe a quantized version via Beilinson-Drinfeld algebras. The larger context is to provide categorical methods which relate enumerative geometry (as in mirror symmetry) and large $N$ gauge theories.

Figures

Figures reproduced from arXiv: 2506.15210 by the authors.

Figure 1
Figure 1. An example of composition in OB, from [Cos07b] In loc.cit. Costello proved that a cyclic A8-category C of odd dimension with set of objects B is the same as an open TCFT, that is a symmetric monoidal functor F : pOB, Yq Ñ pCh, bq. Further we have that F ` pλ a 1 , λb 1 q Y ¨ ¨ ¨ Y pλ a n , λb n q ˘ “ HomCpλ a 1 , λb 1 q b ¨ ¨ ¨ b HomCpλ a n , λb n q (1.3.7) Let us denote by T ot`pOBq :“ à nPN,px1,¨¨¨ ,xnqPObO ˆn B H… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

58 extracted references · 28 canonical work pages

  1. [1]

    Tensor product of cyclic A_ -algebras and their Kontsevich classes

    Lino Amorim and Junwu Tu. Tensor product of cyclic A_ -algebras and their Kontsevich classes . Transactions of the American Mathematical Society , 371(2):1029--1061, 2019

    work page 2019

  2. [2]

    On the Morita invariance of Categorical Enumerative Invariants , 2022

    Lino Amorim and Junwu Tu. On the Morita invariance of Categorical Enumerative Invariants , 2022

    2022

  3. [3]

    In Preparation , 2025

    Lino Amorim and Junwu Tu. In Preparation , 2025

    2025

  4. [4]

    Barannikov

    S. Barannikov. Modular Operads and Batalin-Vilkovisky Geometry . International Mathematics Research Notices , July 2010

    work page 2010

  5. [5]

    Noncommutative Batalin–Vilkovisky geometry and matrix integrals

    Serguei Barannikov. Noncommutative Batalin–Vilkovisky geometry and matrix integrals . Comptes Rendus. Mathématique , 348(7–8):359–362, March 2010

    2010

  6. [6]

    Topological recursion for generalised Kontsevich graphs and r-spin intersection numbers , 2023

    Raphaël Belliard, Séverin Charbonnier, Bertrand Eynard, and Elba Garcia-Failde. Topological recursion for generalised Kontsevich graphs and r-spin intersection numbers , 2023

    2023

  7. [7]

    Relative Calabi–Yau structures

    Christopher Brav and Tobias Dyckerhoff. Relative Calabi–Yau structures . Compositio Mathematica , 155(2):372–412, February 2019

    work page 2019

  8. [8]

    Operads and moduli spaces , 2012

    Christopher Braun. Operads and moduli spaces , 2012

    work page 2012

Show all 58 references
  1. [9]

    Homological algebra related to surfaces with boundary

    Kai Cieliebak, Kenji Fukaya, and Janko Latschev. Homological algebra related to surfaces with boundary . Quantum Topology , 11(4):691–837, December 2020

    2020

  2. [10]

    Twisted holography, 2021

    Kevin Costello and Davide Gaiotto. Twisted holography, 2021

    2021

  3. [11]

    Lie bialgebras and the cyclic homology of A_ structures in topology , 2010

    Xiaojun Chen. Lie bialgebras and the cyclic homology of A_ structures in topology , 2010

    2010

  4. [12]

    Notes on Kontsevich--Soibelman’s theorem about cyclic A_ -algebras

    Cheol-Hyun Cho and Sangwook Lee. Notes on Kontsevich--Soibelman’s theorem about cyclic A_ -algebras . International Mathematics Research Notices , 2011(14):3095--3140, 2011

    2011

  5. [13]

    Quantization of open-closed BCOV theory, I

    Kevin Costello and Si Li. Quantization of open-closed BCOV theory, I . https://arxiv.org/abs/1505.06703, 5 2015

    2015 arXiv

  6. [14]

    Categorical primitive forms and Gromov--Witten invariants of An singularities

    Andrei C a ld a raru, Si Li, and Junwu Tu. Categorical primitive forms and Gromov--Witten invariants of An singularities . International Mathematics Research Notices , 2021(24):18489--18519, 2021

    2021

  7. [15]

    The Frobenius properad is Koszul

    Ricardo Campos, Sergei Merkulov, and Thomas Willwacher. The Frobenius properad is Koszul . Duke Mathematical Journal , 165(15), October 2016

    2016

  8. [16]

    Non-commutative differential geometry

    Alain Connes. Non-commutative differential geometry. Publications Mathematiques de l'IHES , 62:41--144, 1985

    1985

  9. [17]

    The A_ operad and the moduli space of curves , 2004

    Kevin Costello. The A_ operad and the moduli space of curves , 2004

    2004

  10. [18]

    A dual version of the ribbon graph decomposition of moduli space

    Kevin Costello. A dual version of the ribbon graph decomposition of moduli space. Geom. Topol. , 11:1637--1652, 2007

    2007

  11. [19]

    Topological conformal field theories and C alabi- Y au categories

    Kevin Costello. Topological conformal field theories and C alabi- Y au categories . Adv. Math. , 210(1):165--214, 2007

    2007

  12. [20]

    The partition function of a topological field theory

    Kevin Costello. The partition function of a topological field theory . Journal of Topology , 2(4):779--822, 2009

    2009

  13. [21]

    Costello

    K. Costello. Renormalization and Effective Field Theory . Mathematical surveys and monographs. American Mathematical Society, 2011

    2011

  14. [22]

    Shifted Poisson structures and deformation quantization

    Damien Calaque, Tony Pantev, Bertrand Toën, Michel Vaquié, and Gabriele Vezzosi. Shifted Poisson structures and deformation quantization . Journal of Topology , 10(2):483–584, April 2017

    2017

  15. [23]

    Effective Categorical Enumerative Invariants , 2024

    Andrei Caldararu and Junwu Tu. Effective Categorical Enumerative Invariants , 2024

    2024

  16. [24]

    Chern-Simons theory and string topology , 2023

    Kai Cieliebak and Evgeny Volkov. Chern-Simons theory and string topology , 2023

    2023

  17. [25]

    A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory

    Philip Candelas, C Xenia, Paul S Green, and Linda Parkes. A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory . Nuclear Physics B , 359(1):21--74, 1991

    1991

  18. [26]

    Purity and 2-Calabi--Yau categories

    Ben Davison. Purity and 2-Calabi--Yau categories . Inventiones mathematicae , 238(1):69--173, 2024

    2024

  19. [27]

    Connected sum for modular operads and Beilinson--Drinfeld algebras

    Martin Doubek, Branislav Jur c o, Lada Peksov \'a , and J \'a n Pulmann. Connected sum for modular operads and Beilinson--Drinfeld algebras . Journal of Noncommutative Geometry , 19(1):1--28, 2024

    2024

  20. [28]

    Deformation theory of cohomological field theories

    Vladimir Dotsenko, Sergey Shadrin, Arkady Vaintrob, and Bruno Vallette. Deformation theory of cohomological field theories . Journal für die reine und angewandte Mathematik (Crelles Journal) , 2024(809):91--157, 2024

    2024

  21. [29]

    Skeins on Branes , 2025

    Tobias Ekholm and Vivek Shende. Skeins on Branes , 2025

    2025

  22. [30]

    Automatically generating Fukaya categories and computing quantum cohomology , 2019

    Sheel Ganatra. Automatically generating Fukaya categories and computing quantum cohomology , 2019

    2019

  23. [31]

    Cyclic homology, S^1 –equivariant Floer cohomology and Calabi–Yau structures

    Sheel Ganatra. Cyclic homology, S^1 –equivariant Floer cohomology and Calabi–Yau structures . Geometry; Topology , 27(9):3461–3584, December 2023

    2023

  24. [32]

    L-infinity spaces and derived loop spaces , 2015

    Ryan Grady and Owen Gwilliam. L-infinity spaces and derived loop spaces , 2015

    2015

  25. [33]

    Large N phenomena and quantization of the Loday-Quillen-Tsygan theorem

    Gr \'e gory Ginot, Owen Gwilliam, Alastair Hamilton, and Mahmoud Zeinalian. Large N phenomena and quantization of the Loday-Quillen-Tsygan theorem . Advances in Mathematics , 409:108631, 2022

    2022

  26. [34]

    Modular operads

    Ezra Getzler and Mikhail M Kapranov. Modular operads . Compositio Mathematica , 110(1):65--125, 1998

    1998

  27. [35]

    On the gauge theory/geometry correspondence

    Rajesh Gopakumar and Cumrun Vafa. On the gauge theory/geometry correspondence. Adv. Theor. Math. Phys. , 3(arXiv: hep-th/9811131):1415--1443, 1999

    1999 arXiv

  28. [36]

    Noncommutative geometry and compactifications of the moduli space of curves

    Alastair Hamilton. Noncommutative geometry and compactifications of the moduli space of curves . Journal of Noncommutative Geometry , 4(2):157--188, 2010

    2010

  29. [37]

    Classes on the moduli space of Riemann surfaces through a noncommutative Batalin--Vilkovisky formalism

    Alastair Hamilton. Classes on the moduli space of Riemann surfaces through a noncommutative Batalin--Vilkovisky formalism . Advances in Mathematics , 243:67--101, 2013

    2013

  30. [38]

    Noncommutative effective field theories and the large N correspondence , 2025

    Alastair Hamilton. Noncommutative effective field theories and the large N correspondence , 2025

    2025

  31. [39]

    The Batalin-Vilkovisky formalism in noncommutative effective field theory , 2025

    Alastair Hamilton. The Batalin-Vilkovisky formalism in noncommutative effective field theory , 2025

    2025

  32. [40]

    Characteristic classes of A_ -algebras , 2008

    Alastair Hamilton and Andrey Lazarev. Characteristic classes of A_ -algebras , 2008

    2008

  33. [41]

    Open-closed moduli spaces and related algebraic structures

    Eric Harrelson, Alexander A Voronov, and J Javier Z \'u niga. Open-closed moduli spaces and related algebraic structures . Letters in Mathematical Physics , 94:1--26, 2010

    2010

  34. [42]

    Intersection theory on the moduli space of curves and the matrix A iry function

    Maxim Kontsevich. Intersection theory on the moduli space of curves and the matrix A iry function . Comm. Math. Phys. , 147(1):1--23, 1992

    1992

  35. [43]

    Feynman diagrams and low-dimensional topology

    Maxim Kontsevich. Feynman diagrams and low-dimensional topology . 120:97--121, 1994

    1994

  36. [44]

    Homological algebra of mirror symmetry

    Maxim Kontsevich. Homological algebra of mirror symmetry . In Proceedings of the International Congress of Mathematicians: August 3--11, 1994 Z \"u rich, Switzerland , pages 120--139. Springer, 1995

    1994

  37. [45]

    Notes on A-infinity algebras, A-infinity categories and non-commutative geometry

    Maxim Kontsevich and Yan Soibelman. Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. I , 2024

    2024

  38. [46]

    J.L. Loday. Cyclic Homology . Grundlehren der mathematischen Wissenschaften. Springer Berlin Heidelberg, 2013

    2013

  39. [47]

    Cyclic homology and the L ie algebra homology of matrices

    Jean-Louis Loday and Daniel Quillen. Cyclic homology and the L ie algebra homology of matrices . Comment. Math. Helv. , 59(4):569--591, 1984

    1984

  40. [48]

    The large-N limit of superconformal field theories and supergravity

    Juan Maldacena. The large-N limit of superconformal field theories and supergravity . International journal of theoretical physics , 38(4):1113--1133, 1999

    1999

  41. [49]

    String topology and configuration spaces of two points , 2019

    Florian Naef and Thomas Willwacher. String topology and configuration spaces of two points , 2019

    2019

  42. [50]

    Infinity Algebras and the Homology of Graph Complexes , 1996

    Michael Penkava. Infinity Algebras and the Homology of Graph Complexes , 1996

    1996

  43. [51]

    Formulae in noncommutative Hodge theory

    Nick Sheridan. Formulae in noncommutative Hodge theory . Journal of Homotopy and Related Structures , 15(1):249–299, November 2019

    2019

  44. [52]

    The Quantum A_ -relations on the elliptic curve

    Michael Slawinski. The Quantum A_ -relations on the elliptic curve . Journal of Geometry and Physics , 203:105262, 2024

    2024

  45. [53]

    B. L. Tsygan. Homology of matrix L ie algebras over rings and the H ochschild homology . Uspekhi Mat. Nauk , 38(2(230)):217--218, 1983

    1983

  46. [54]

    Categorical enumerative invariants of the ground field, 2021

    Junwu Tu. Categorical enumerative invariants of the ground field, 2021

    2021

  47. [55]

    Open-Closed Trivialization of Circle Action, in preparation , 2025

    Jakob Ulmer. Open-Closed Trivialization of Circle Action, in preparation , 2025

    2025

  48. [56]

    An introduction to homological algebra

    Charles A Weibel. An introduction to homological algebra . Number 38. Cambridge university press, 1994

    1994

  49. [57]

    Loday-Quillen-Tsygan theorem on Quivers , 2023

    Keyou Zeng. Loday-Quillen-Tsygan theorem on Quivers , 2023

    2023

  50. [58]

    Oriented Open-Closed String Theory Revisited

    Barton Zwiebach. Oriented Open-Closed String Theory Revisited. Annals of Physics , 267(2):193–248, August 1998

    1998

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.