Pith. sign in

REVIEW 5 major objections 6 minor 49 references

Deformation and quantization of the Loday-Quillen-Tsygan isomorphism for Calabi-Yau categories

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

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

desk verdict 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. read the letter →

arxiv 2505.09378 v1 pith:SCEKLDXJ submitted 2025-05-14 math.RA

classification math.RA MSC 16E4019D55
keywords Loday-Quillen-TsyganisomorphismcyclichomologyCalabi-YaualgebraKoszuldualityLiebialgebraco-PoissondeformationquantizationalgebraicK-theory
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

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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

Reading between the lines

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

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

5 major / 6 minor

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.

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 (5)
  1. [§5.1, Proposition 5.1] 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.
  2. [§5.3, Theorem 5.5] 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).
  3. [§6.1–§6.2, Propositions 6.5 and 6.6] 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].
  4. [§6.4, Theorem 6.13] 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.
  5. [§7, Corollaries 7.2 and 7.5] 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.
minor comments (6)
  1. [§2.3, diagrams (6)] 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.
  2. [§2.2, Definition 2.3(3)] There is a typo: 'cylic homologies' should be 'cyclic homologies'.
  3. [§5.1, definition of involutive Lie bialgebra] The word 'involutative' appears twice; it should be 'involutive'.
  4. [§3.2.2, Lemma 3.6] 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.
  5. [§4.1] There is a typo: 'categogry' should be 'category'.
  6. [§1, Remark 1.4 and §6.2] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the deformation and quantization are transported from an explicit Lie bialgebra through standard LQT and Koszul-duality isomorphisms, and the self-citations are independent published results rather than definitional reductions.

full rationale

The derivation chain is non-circular. For a Koszul Calabi-Yau algebra A, the Koszul dual coalgebra A^¡ is co-Frobenius (Proposition 2.8); Proposition 5.1, quoted from the authors' earlier work [13, Theorem 9], supplies an explicit DG Lie bialgebra on CC_λ(A^¡)[1] with bracket and cobracket given by equations (27) and (28); Turaev's theorem turns any Lie bialgebra into a co-Poisson bialgebra V_{hℏ}; and the coalgebra Loday-Quillen-Tsygan isomorphism (Theorem 3.7) together with Koszul duality (Theorem 3.12) identifies H_•(gl(A)) with Λ(HC_•(A^¡)[1]), so the co-Poisson structure is transported to H_•(gl(A)). Each step has independent content. In particular, Proposition 5.1 is a parameter-free theorem whose assumptions (co-Frobenius coalgebra) do not include the target conclusion of the present paper; the fact that it is cited from the authors' own published work is legitimate evidence, not circularity under the stated rules. The quantization in Section 6 is likewise a construction, not a fitted input called a prediction: the relations (34) and (35) deliberately encode the semiclassical bracket and cobracket, but the paper independently proves that the quotient A is a DG Hopf algebra (Proposition 6.6), that its PBW-type basis B_A exists (Proposition 6.8 via the Diamond lemma), and that A/(h,ℏ)A is isomorphic to Λ(L) (Lemma 6.11). No step reduces by construction to its own input, and no empirical quantity is fitted and then renamed as a prediction. The manuscript itself flags the overlap with [13] in Remark 1.4, and the proof of Proposition 5.1 is only sketched with the full verification deferred to [13, Theorem 9]; that is a completeness or verification risk, not a circularity, because the cited theorem is independent and does not presuppose the main theorem of this paper.

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

The paper introduces no fitted parameters and no new physical or mathematical entities. It relies on the standing hypothesis of Koszul Calabi-Yau algebras, on the classical LQT and Koszul duality theorems, and on the Lie bialgebra and quantization constructions from the authors' prior work [13] and from Turaev and Schedler. The main structural input that is not fully reproved in this paper is Proposition 5.1, the DG Lie bialgebra structure on the cyclic complex of a co-Frobenius coalgebra.

assumptions (7)
  • domain assumption A is a Koszul Calabi-Yau algebra of dimension n over a field k of characteristic zero.
    This is the standing hypothesis of Theorem 1.2, introduced in Section 2.1 and Definition 2.7.
  • domain assumption The Koszul dual algebra A^! of a Koszul Calabi-Yau algebra is a graded Frobenius algebra of degree n.
    Proposition 2.8, cited from Ginzburg [24]; this is the origin of the non-degenerate pairing needed for the Lie bialgebra structure.
  • domain assumption The cyclic complex of a co-Frobenius coalgebra carries a DG Lie bialgebra structure of degree (2-n, 2-n) given by formulas (27) and (28).
    Proposition 5.1, quoted from the authors' earlier paper [13]; the deformation of H_•(gl(A)) is induced from this structure.
  • standard math The Loday-Quillen-Tsygan isomorphisms for algebras and coalgebras hold.
    Theorems 3.3 and 3.7, classical results of Loday-Quillen [36], Tsygan [46] and Kaygun [31].
  • standard math Koszul duality gives quasi-isomorphisms of cyclic complexes and of Chevalley-Eilenberg complexes between A and A^¡.
    Propositions 2.4, 2.5 and Theorem 3.12, built on [14], [29] and [37].
  • standard math Turaev's theorem constructs the co-Poisson bialgebra V_hℏ(g) from a Lie bialgebra g.
    Theorem 5.3, from Turaev [47]; used to deform the symmetric algebra in the direction of the Lie bracket.
  • standard math Schedler's Diamond lemma result gives a PBW basis for the quantization.
    Lemma 6.9, from Schedler [45]; used to prove flatness of the quantization A over k[h,ℏ].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Deformation and quantization of the Loday-Quillen-Tsygan isomorphism for Calabi-Yau categories." pith.science (2026). https://pith.science/paper/SCEKLDXJ

@misc{pith2026250509378,
  author       = {Pith},
  title        = {Pith review of: Deformation and quantization of the Loday-Quillen-Tsygan isomorphism for Calabi-Yau categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SCEKLDXJ}},
  note         = {Machine review of arXiv:2505.09378}
}
abstract

For an associative algebra $A$, the famous theorem of Loday, Quillen and Tsygan says that there is an isomorphism between the graded symmetric product of the cyclic homology of $A$ and the Lie algebra homology of the infinite matrices $\mathfrak{gl}(A)$, as commutative and cocommutative Hopf algebras. This paper aims to study a deformation and quantization of this isomorphism. We show that if $A$ is a Koszul Calabi-Yau algebra, then the primitive part of the Lie algebra homology $\mathrm{H}_\bullet (\mathfrak{gl}(A))$ has a Lie bialgebra structure which is induced from the Poincar\'e duality of $A$ and deforms $\mathrm{H}_\bullet (\mathfrak{gl}(A))$ to a co-Poisson bialgebra. Moreover, there is a Hopf algebra which quantizes such a co-Poisson bialgebra, and the Loday-Quillen-Tsygan isomorphism lifts to the quantum level, which can be interpreted as a quantization of the tangent map from the tangent complex of $\mathrm{BGL}$ to the tangent complex of K-theory.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

49 extracted references · 45 canonical work pages

  1. [13]

    X. Chen, F. Eshmatov, and W.L. Gan, Quantization of the Lie bialgebra of string topology,Comm. Math. Phys.301 (2011), no. 1, 37-53

  2. [1]

    Abouzaid, On the wrapped Fukaya category and based loops,J

    M. Abouzaid, On the wrapped Fukaya category and based loops,J. Symplectic Geom. 10 (2012), 27-79

  3. [45]

    Schedler, A Hopf algebra quantizing a necklace Lie algebra canonically associated to a quiver.Int

    T. Schedler, A Hopf algebra quantizing a necklace Lie algebra canonically associated to a quiver.Int. Math. Res. Notices2005 (12), 725-760 (2005)

  4. [2]

    Berger and R

    R. Berger and R. Taillefer,Poincar´ e-Birkhoff-Witt deformations of Calabi-Yau alge- bras, J. Noncommut. Geom.1(2007), 241-270

  5. [3]

    Berest, G

    Y. Berest, G. Khachatryan and A. Ramadoss, Derived representation schemes and cyclic homology.Adv. Math. 245 (2013), 625-689

  6. [4]

    Berest and A

    Y. Berest and A. Ramadoss, Stable representation homology and Koszul duality.J. Reine Angew. Math.715, 143–187 (2016)

  7. [5]

    Bloch, On the tangent space to Quillen K-theory, inAlgebraic K-theory, I: Higher K-theories

    S. Bloch, On the tangent space to Quillen K-theory, inAlgebraic K-theory, I: Higher K-theories. Lecture Notes in Math., Vol. 341 Springer-Verlag, Berlin-New York, 1973, pp. 205-210

  8. [6]

    Bocklandt, Graded Calabi Yau algebras of dimension 3,J

    R. Bocklandt, Graded Calabi Yau algebras of dimension 3,J. Pure Appl. Algebra212 (2008) 14-32

Show all 49 references
  1. [7]

    Brav and T

    C. Brav and T. Dyckerhoff, Relative Calabi-Yau structures,Compos. Math.155 (2019), no. 2, 372-412

  2. [8]

    Calaque, T

    D. Calaque, T. Pantev, B. To¨ en, M. Vaqui´ e and G. Vezzosi, Shifted Poisson structures and deformation quantization,J. Topol.10 (2017), no. 2, 483-584

  3. [9]

    Carter,Lie algebras of finite and affine type, Cambridge Stud

    R.W. Carter,Lie algebras of finite and affine type, Cambridge Stud. Adv. Math., 96 Cambridge University Press, Cambridge, 2005, xviii+632 pp

  4. [10]

    Chas and D

    M. Chas and D. Sullivan, String topology, arXiv:math/9911159

  5. [11]

    Chas and D

    M. Chas and D. Sullivan, Closed string operators in topology leading to Lie bialgebras and higher string algebra, inThe legacy of Niels Henrik Abel, Berlin: Springer, 2004, pp. 771-784

  6. [12]

    Chen and F

    X. Chen and F. Eshmatov, Calabi-Yau algebras and the noncommutative shifted sym- plectic structure.Adv. Math.367 (2020) 107126

  7. [14]

    X. Chen, S. Yang and G. Zhou, Batalin-Vilkovisky algebras and the noncommutative Poincar´ e duality of Koszul Calabi-Yau algebras,J. Pure Appl. Algebra220 (2016), no. 7, 2500-2532

  8. [15]

    Costello, Topological conformal field theories and Calabi-Yau categories,Adv

    K. Costello, Topological conformal field theories and Calabi-Yau categories,Adv. Math.210 (2007), no. 1, 165-214

  9. [16]

    Connes and M

    A. Connes and M. Dubois-Violette, Yang-Mills Algebra,Lett. Math. Phys. 61 (2002), 149-158

  10. [17]

    Crawley-Boevey, P

    W. Crawley-Boevey, P. Etingof and V. Ginzburg, Non-commutative geometry and quiver algebras,Adv. Math.209 (2007), 274-336

  11. [18]

    Crawley-Boevey and M.P

    W. Crawley-Boevey and M.P. Holland, Noncommutative deformations of Kleinian singularities,Duke Math. Journal, Vol. 92, No. 3, (1998) 605-635

  12. [19]

    Crawley-Boevey and Y

    W. Crawley-Boevey and Y. Kimura, On deformed preprojective algebras,Journal of Pure and Applied Algebra, Volume 226, Issue 12, 2022, 107130, 40

  13. [20]

    Etg¨ u and Y

    T. Etg¨ u and Y. Lekili, Koszul duality patterns in Floer theory,Geometry and Topology 21 (2017) 3313-3389

  14. [21]

    Fukaya, P

    K. Fukaya, P. Seidel and I. Smith, Exact Lagrangian submanifolds in simply-connected cotangent bundles.Invent. math.172, 1-27 (2008)

  15. [22]

    Ganatra, Cyclic homology,S 1-equivariant Floer cohomology, and Calabi-Yau struc- tures,Geom

    S. Ganatra, Cyclic homology,S 1-equivariant Floer cohomology, and Calabi-Yau struc- tures,Geom. Topol.27 (2023), no. 9, 3461-3584

  16. [23]

    Ginot, O

    G. Ginot, O. Gwilliam, A. Hamilton and M. Zeinalian, LargeNphenomena and quantization of the Loday-Quillen-Tsygan theorem,Adv. Math.409 (2022), Paper No. 108631

  17. [24]

    Ginzburg, Calabi-Yau algebras, arXiv:0612139

    V. Ginzburg, Calabi-Yau algebras, arXiv:0612139

  18. [25]

    Goldman, Invariant functions on Lie groups and Hamiltonian flows of surface group representations.Invent

    W. Goldman, Invariant functions on Lie groups and Hamiltonian flows of surface group representations.Invent. Math.85(2), 263-302 (1986)

  19. [26]

    Goodwillie, Relative K-theory and cyclic homology.Ann

    T.G. Goodwillie, Relative K-theory and cyclic homology.Ann. of Math.(2) 124 (1986), no. 2, 347-402

  20. [27]

    Hennion, The tangent complex of K-theory,J

    B. Hennion, The tangent complex of K-theory,J. ´Ec. polytech. Math.8 (2021), 895- 932

  21. [28]

    J.-W. He, F. Van Oystaeyen and Y. Zhang, Cocommutative Calabi-Yau Hopf algebras and deformations,J. Algebra324 (2010), 1921-1939

  22. [29]

    Holstein and A

    J. Holstein and A. Lazarev, Categorical Koszul duality,Adv. Math., Vol. 409, Part B, 2022, 108644

  23. [30]

    Jones and J

    J. Jones and J. McCleary, Hochschild homology, cyclic homology, and the cobar con- struction, inAdams Memorial Symposium on Algebraic Topology,Cambridge Univer- sity Press 1 (1992) 53-65

  24. [31]

    Kaygun, Loday–Quillen–Tsygan Theorem for Coalgebras, arXiv:math/0411661

    A. Kaygun, Loday–Quillen–Tsygan Theorem for Coalgebras, arXiv:math/0411661

  25. [32]

    Kontsevich, Homological algebra of mirror symmetry, inProceedings of the Inter- national Congress of Mathematicians, Vol

    M. Kontsevich, Homological algebra of mirror symmetry, inProceedings of the Inter- national Congress of Mathematicians, Vol. 1, 2 (Z¨ urich, 1994), 1995, pp. 120-139

  26. [33]

    Kontsevich, A

    M. Kontsevich, A. Takeda, and Y. Vlassopoulos, Pre-Calabi–Yau algebras and topo- logical quantum field theories,Eur. J. Math.11 (2025), no. 1, Paper No. 15

  27. [34]

    Li, Koszul duality via suspending Lefschetz fibrations,J

    Y. Li, Koszul duality via suspending Lefschetz fibrations,J. Topology, Vol. 12, Issue 4 Dec. 2019, 1174-1245

  28. [35]

    Loday,Cyclic homology, Grundlehren Math

    J.-L. Loday,Cyclic homology, Grundlehren Math. Wiss., 301, Springer-Verlag, Berlin, 1992, xviii+454 pp

  29. [36]

    Loday and D

    J.-L. Loday and D. Quillen, Cyclic homology and the Lie algebra homology of matrices. Comment. Math. Helv.59, 565-591 (1984)

  30. [37]

    Loday and B

    J.-L. Loday and B. Vallette.Algebraic operads, Grundlehren Math. Wiss., 346 Springer, Heidelberg, 2012. xxiv+634 pp

  31. [38]

    Lurie,Derived algebraic geometry X: Formal moduli problems, available at https://www.math.ias.edu/∼lurie/papers/DAG-X.pdf

    J. Lurie,Derived algebraic geometry X: Formal moduli problems, available at https://www.math.ias.edu/∼lurie/papers/DAG-X.pdf

  32. [39]

    Mart´ ınez-Villa, Applications to Koszul algebras: the preprojective algebra, inRep- resentation theory of algebras(Cocoyoc, 1994), 487-504, CMS Conf

    R. Mart´ ınez-Villa, Applications to Koszul algebras: the preprojective algebra, inRep- resentation theory of algebras(Cocoyoc, 1994), 487-504, CMS Conf. Proc. 18, Amer. Math. Soc., Providence RI, 1996

  33. [40]

    Mathoverflow, What is Known about the K-theory of Fukaya Categories? 41

  34. [41]

    Milne,Algebraic groups: The Theory of Group Schemes of Finite Type over a Field

    J. Milne,Algebraic groups: The Theory of Group Schemes of Finite Type over a Field. Cambridge University Press, 2017

  35. [42]

    Pantev, B

    T. Pantev, B. Toen, M. Vaquie and G. Vezzosi, Shifted symplectic structure,Publ. Math. Inst. Hautes ´Etudes Sci.117 (2013), 271-328

  36. [43]

    Pridham, Unifying derived deformation theories,Adv

    J.P. Pridham, Unifying derived deformation theories,Adv. Math.224 (2010), no. 3, 772-826

  37. [44]

    Pridham, Shifted bisymplectic and double Poisson structures on non-commutative derived prestacks, arXiv:2008.11698

    J.P. Pridham, Shifted bisymplectic and double Poisson structures on non-commutative derived prestacks, arXiv:2008.11698

  38. [46]

    Tsygan, Homology of matrix Lie algebras over rings and the Hochschild homology

    B.L. Tsygan, Homology of matrix Lie algebras over rings and the Hochschild homology. Uspehi Mat. Nauk38 (1983), no. 2 (230), p. 217-218

  39. [47]

    Turaev, Skein quantization of Poisson algebras of loops on surfaces,Ann

    V.G. Turaev, Skein quantization of Poisson algebras of loops on surfaces,Ann. Sci. ´Ecole Norm. Sup.(4) 24 (1991), no. 6, 635–704

  40. [48]

    Van den Bergh, Double Poisson algebras,Trans

    M. Van den Bergh, Double Poisson algebras,Trans. Amer. Math. Soc.360 (2008), no. 11, 5711–5769

  41. [49]

    Yeung, Pre-Calabi–Yau structures and moduli of representations, arXiv: 1802.05398

    W.-K. Yeung, Pre-Calabi–Yau structures and moduli of representations, arXiv: 1802.05398. 42

Pith tools

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