Pith. sign in

REVIEW 3 major objections 6 minor 35 references

A finite-dimensional graded Lie algebra's dualizing complex is a one-dimensional module on which the algebra acts by the supertrace of its adjoint representation.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-03 08:35 UTC pith:PGJKGFJ3

load-bearing objection Graded Lie algebra dualizing modules: a real new result, technically serious, with a load-bearing coordinate computation that needs an independent sign check. the 3 major comments →

arxiv 2601.16375 v2 pith:PGJKGFJ3 submitted 2026-01-23 math.QA math.ATmath.KT

Duality for graded Lie algebras

Andrey Lazarev , Rong Tang This is my paper
classification math.QA math.ATmath.KT MSC 17B5618N40
keywords graded Lie algebrasdualizing complexCalabi–Yau structureChevalley–Eilenberg cohomologyBerezinianhomological perturbationPoincaré dualityGorenstein algebras
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper extends the classical Lie-algebra analogue of Poincaré duality from ordinary Lie algebras to graded (super) Lie algebras and, partly, to differential graded Lie algebras. It proves that for a finite-dimensional graded Lie algebra g, the cohomology of g with coefficients in its universal enveloping algebra U(g), viewed as a one-sided module, is one-dimensional; the action of g on that line is through the supertrace of the adjoint representation. This one-dimensional module is the dualizing module, and when g is unimodular – meaning all adjoint-super-traces vanish – U(g) becomes a Gorenstein algebra and its derived category acquires a Calabi–Yau structure. The paper also recovers the ungraded duality theorem as a special case and uses the result to show that the category of rational infinity local systems on a simply connected space with finite-dimensional rational homotopy groups is Calabi–Yau.

Core claim

The paper's central result (Theorem 5.11) is that the right dg U(g)-module CE^•(g,U(g)) is quasi-isomorphic to the one-dimensional module k[-|g|] with action k.u = str(ad u) k. That is, the dualizing complex of a finite-dimensional graded Lie algebra is a single line, and the algebra acts on it through the supertrace of the adjoint representation. The cohomology class is represented by a deformed Berezinian, produced by homological perturbation theory. For unimodular g this makes U(g) a |g|-Gorenstein algebra and gives the derived category a |g|-Calabi–Yau structure, extending classical Poincaré duality for Lie algebra cohomology.

What carries the argument

The central object is the Chevalley–Eilenberg complex CE^•(g,U(g)) and the Berezinian (superdeterminant) class inside it. The proof uses an abstract Hodge decomposition built on the identity [Δ,d](P⊗Q) = (m+n+deg P − deg Q)P⊗Q, transfers the module structure via the Homological Perturbation Lemma, and deforms the Berezinian to a cocycle α(x_1...x_n ε_1...ε_m). Higher A∞-correction terms vanish because the target is one-dimensional and all perturbation trees lower the CE-degree. The supertrace of the adjoint action emerges from the lowest-weight term; the star product on the symmetric algebra Sp(g) identifies U(g) with Sp(g).

Load-bearing premise

The main proof rests on a specific coordinate identity and on the assertion that when the module structure is transferred to its one-dimensional cohomology piece, all higher correction terms vanish; if either step fails, the action on the dualizing line would not be the supertrace of the adjoint action.

What would settle it

For the two-dimensional graded Lie algebra with even generator e and odd generator ε and bracket [e, ε] = ε, compute the cohomology with coefficients in its universal enveloping algebra; the theorem predicts the unique cohomology class is multiplied by −1 under e and annihilated by ε, so any different action would falsify it.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • For a unimodular graded Lie algebra g, U(g) is a |g|-Gorenstein algebra, so the derived category D(U(g)) has a |g|-Calabi–Yau structure pairing perfect and proper modules.
  • The derived linear dual of the CE-comodule CE^•(g, M) is weakly equivalent to CE^•(g, M^*[−|g|]^tw), with the twist given by the supertrace of the adjoint action.
  • For ordinary ungraded Lie algebras, the result recovers the classical Lie algebra cohomology duality theorem.
  • The category of rational infinity local systems on a simply connected, finite-type space with finite rational Postnikov tower is Calabi–Yau, generalizing Poincaré duality for elliptic spaces.
  • For proper dg Lie algebras the dualizing complex is one-dimensional; for connective dg Lie algebras the action factors through H^0(g) and the supertrace.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The theorem suggests a modular-class interpretation: the failure of the dualizing module to be trivial is measured exactly by the supertrace of the adjoint action, so the unimodular condition is the vanishing of the modular class, a phenomenon familiar from Poisson geometry.
  • If the paper's conjecture for L∞-algebras is true, the dualizing module should be the twist by the divergence of the representing derivation; the paper proves this under a strong hypothesis, and its CP^n example suggests the conjecture may hold more broadly.
  • One can test the formula directly in low-dimensional examples; for instance, for the graded Lie algebra with even generator e and odd generator ε satisfying [e, ε] = ε, the cohomology class should be multiplied by −1 under e and annihilated by ε.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 6 minor

Summary. The paper studies duality functors for dg algebras and coalgebras, specializing to the universal enveloping algebra U(g) of a finite-dimensional graded Lie algebra g. The central result, Theorem 5.11, identifies the dualizing complex CE^•(g,U(g)) with a one-dimensional right U(g)-module k[-|g|] on which u ∈ g acts by multiplication by str(ad u). From this the authors derive Gorenstein and Calabi-Yau properties for U(g) when g is unimodular (Corollary 5.12), a Koszul-dual comodule duality theorem (Theorem 5.15 and Corollary 5.17), recovery of Hazewinkel–Koszul duality for ordinary Lie algebras (Corollary 5.18), extensions to connective dg Lie algebras (Corollary 5.20), and CY structures for categories of infinity local systems on generalized elliptic spaces (Corollary 5.22). The paper also formulates a conjectural L∞-version (Conjecture 5.25) and proves partial results under Hypothesis (H).

Significance. If the main theorem is correct, it gives a clean and widely applicable duality theorem: the dualizing module of any finite-dimensional graded Lie algebra is one-dimensional with adjoint-supertrace action, unifying and generalizing classical results of Hazewinkel and Koszul. The paper contains substantial technical work: an explicit deformed Berezinian, a homological perturbation transfer, coordinate computations for even and odd generators (Lemmas 5.9 and 5.10), and honest discussions of limitations, including Remark 5.26 and the strong Hypothesis (H) in Section 7. The applications to Calabi-Yau structures in derived categories of enveloping algebras and to rational homotopy theory are significant and likely to be influential. The main caveat is that the proof of the action formula in Theorem 5.11 rests on two steps that are not fully verified in the manuscript: an external eigenvalue identity and the vanishing of higher A∞-correction terms.

major comments (3)
  1. [§5, Prop. 5.2 and Eq. (5.13)] The action computation in Theorem 5.11 depends on the eigenvalue identity [Δ,d](P⊗Q) = (m+n+deg P − deg Q)P⊗Q, which is imported verbatim from [9, Prop 4.2] with no proof or convention check. This identity determines the Hodge homotopy s in (5.14), and through it the scalar r in (5.20), which ultimately gives the supertrace formula. Since the paper’s grading, shift, and sign conventions are elaborate, an unnoticed convention mismatch in the external lemma would change the scalar r and invalidate the main formula. Please include a proof of (5.13) in the notation of this paper, or state explicitly how the conventions of [9] translate to the present setting.
  2. [§5, after Eq. (5.18)] The vanishing of all higher A∞-action maps is asserted with the remark that tree decorations reduce the CE-degree and that the target is one-dimensional. This is load-bearing: it is the step that turns the homological perturbation retract into an actual U(g)-module structure without higher corrections. The degree bookkeeping should be written out explicitly, especially because the paper allows graded Lie algebras with elements in negative cohomological degree. As written, the claim that all higher A∞-maps vanish is a verification gap rather than a demonstrated proof. The same kind of assertion recurs in Proposition 5.19 and Corollary 5.20, and would benefit from the same explicit treatment.
  3. [§5.3, Conjecture 5.25 and Hypothesis (H)] The L∞ results in Section 7 are conditional on the strong Hypothesis (H) that all higher L∞ brackets land in the even component of g. This is explicitly acknowledged, and Examples 8.2 and 8.3 show natural cases outside it. This is not a defect, but the paper should make clearer in the introduction and in the statement of Proposition 7.12 that general Conjecture 5.25 remains open; the current text is clear enough, but a short remark to this effect would help readers gauge the scope of the partial results.
minor comments (6)
  1. [Cor. 5.12 proof] The proof refers to 'Theorem 3.6'; the Calabi-Yau statement is Corollary 3.6, not Theorem 3.6.
  2. [Cor. 5.17 proof] The proof refers to 'Theorem 5.13' for twisting of comodules; this should be Proposition 5.13.
  3. [Prop. 5.19 proof] The proof refers to 'Theorem 5.24' for the supertrace action; the relevant statement is Theorem 5.11.
  4. [Remark 5.23] The text says 'Remark 5.22' but refers to Corollary 5.22.
  5. [Introduction, §1] The sentence 'We show (5.24) that the dualizing complex...' should refer to Theorem 5.11; (5.24) is an equation inside Theorem 5.15.
  6. [§5.2, Theorem 5.24] The proof of the Lie superalgebra version is described only as 'a calculation, similar to that of Z-graded Lie algebras'. For a statement that is presented as a theorem, it would be helpful to include the few sign differences or point to the exact lines of the Z-graded proof that carry over.

Circularity Check

0 steps flagged

No circularity: the supertrace action in Theorem 5.11 is derived from an external eigenvalue identity and a homological perturbation transfer, not assumed.

full rationale

Walking the claimed derivation chain, Theorem 5.11's supertrace action is not an input. The paper starts from the concrete complex CE^•(g,U(g)) ≅ Ŝ(g*[−1])⊗U(g), defines d and Δ, imports the eigenvalue identity [Δ,d](P⊗Q) = (m+n+deg P − deg Q)P⊗Q from [9, Prop 4.2], constructs the abstract Hodge decomposition (Prop 5.4), applies the Homological Perturbation Lemma to obtain the deformed retract k{rB} (Prop 5.6–5.7), transfers the right module structure, and then computes the scalar r by evaluating the lowest weight term in Lemmas 5.8–5.10. The supertrace emerges from the structure constants a^k_{1k} and b^k_{1k}, i.e. from a direct computation, not from a pre-imposed answer. The citations to the authors' earlier papers [3], [5], [8] supply general Koszul-duality/Serre-duality language, the unimodular terminology, and the HPT tree formulas; none of these states Theorem 5.11 or the supertrace action. The genuinely external load-bearing input is [9, Prop 4.2]; it is not self-citational and is not equivalent to the target result. The places where the proof is compressed—the vanishing of higher A∞-correction terms by CE-degree counting and the collapse of spectral sequences (Prop 5.19)—are verification gaps, not reductions of the conclusion to the hypothesis, and the paper explicitly flags open cases (Conjecture 5.25, Hypothesis (H), Example 8.3). Therefore no circular step can be exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 7 axioms · 0 invented entities

Central theorem has no fitted parameters. It uses standard Quillen equivalences, the homological perturbation lemma, and a cited coordinate commutator formula; the only ad hoc assumption is Hypothesis (H) for partial L∞ results, which the paper labels as strong. The deformed Berezinian is a constructed representative, not an unexplained entity.

axioms (7)
  • standard math Quillen equivalence between DGC_* and DGA_* (Theorem 2.1, cited to [31, 27])
    Used throughout to identify module and comodule categories under Koszul duality.
  • standard math Quillen equivalence between DGCC and DGL (Theorem 2.2, cited to [16])
    Used to pass between dg Lie algebras and cocommutative coalgebras.
  • standard math Homological Perturbation Lemma (cited to [8, Cor 3.7])
    Basis for Proposition 5.6 transferring the Hodge decomposition to the perturbed differential and for the A∞ module structure transfer.
  • standard math [9, Proposition 4.2]: [Δ,d](P⊗Q) = (m+n+deg P − deg Q) P⊗Q
    Used in Proposition 5.2 to define s and obtain the abstract Hodge decomposition; load-bearing for the main computation.
  • domain assumption Spectral sequence HCE(H^*(g), U(H^*(g))) ⇒ HCE(g, U(g)) converges and collapses
    Theorem 4.1 reduces one-dimensionality to the graded case; relies on properness and strong convergence of the weight filtration.
  • standard math PBW isomorphism and Gutt star product on S(g) (Section 5)
    Used to transfer the right U(g)-module structure to S(g) and define the perturbed differential B=d+x.
  • ad hoc to paper Hypothesis (H): images of higher L∞ brackets lie in even component (Section 7)
    Strong assumption enabling Propositions 7.10 and 7.12; explicitly flagged as strong and not needed for the main graded theorem.

pith-pipeline@v1.3.0-alltime-deepseek · 34234 in / 15511 out tokens · 142617 ms · 2026-08-03T08:35:01.929761+00:00 · methodology

0 comments
read the original abstract

A well-known and old result of Hazewinkel and Koszul states that the cohomology of a finite-dimensional Lie algebra is isomorphic, up to a suitable shift, to its twisted homology, a Lie-theoretical version of Poincare duality. This paper establishes an analogue of this result for graded (or super) Lie algebras and, more generally, differential graded Lie algebras. Closely related to this result is a calculation of the cohomology of a graded Lie algebra g with coefficients in its universal enveloping algebra U(g) as a one-sided module. This cohomology turns out to be one-dimensional and serves as a dualizing module for the cohomology of g. Moreover, it is shown that for a unimodular graded Lie algebra g, the derived category of U(g) has a Calabi-Yau structure. As a consequence, the category of rational infinity local systems on a simply connected topological space with totally finite-dimensional rational homotopy groups, has a Calabi-Yau structure, a generalization of Poincare duality for elliptic spaces.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

35 extracted references · 4 linked inside Pith

  1. [1]

    Baranovsky, A universal enveloping forL 8-algebras,Math

    V. Baranovsky, A universal enveloping forL 8-algebras,Math. Res. Lett.15 (2008), 1073–1089

    2008

  2. [2]

    Braun, J

    C. Braun, J. Chuang and A. Lazarev, Derived localisation of algebras and modules,Adv. Math.328 (2018), 555–622

    2018

  3. [3]

    Booth, J

    M. Booth, J. Chuang and A. Lazarev, Nonsmooth Calabi-Yau structures for algebras and coalgebras, arXiv:2502.12162

    Pith/arXiv arXiv

  4. [4]

    Booth and A

    M. Booth and A. Lazarev, Global Koszul duality,arXiv:2304.08409v3

    arXiv

  5. [5]

    Braun and A

    C. Braun and A. Lazarev, Unimodular homotopy algebras and Chern-Simons theory,J. Pure Appl. Algebra 219 (2015), 5158–5194

    2015

  6. [6]

    Brown and J

    K. Brown and J. Zhang, Dualising complexes and twisted Hochschild (co)homology for Noetherian Hopf algebras,J. Algebra320 (2008), 1814–1850

    2008

  7. [7]

    Chuang, J

    J. Chuang, J. Holstein and A. Lazarev, Homotopy theory of monoids and derived localization,J. Homotopy Relat. Struct.16 (2021), 175–189

    2021

  8. [8]

    Chuang and A

    J. Chuang and A. Lazarev, On the perturbation algebra,J. Algebra519 (2019), 130–148

    2019

  9. [9]

    Covolo, Cohomological approach to the graded Berezinian,J

    T. Covolo, Cohomological approach to the graded Berezinian,J. Noncommut. Geom.9 (2015), 543–565

    2015

  10. [10]

    Deligne and J

    P. Deligne and J. W. Morgan, Notes on supersymmetry (following Joseph Bernstein), Quantum fields and strings: a course for mathematicians, Vol. 1, 2 (Princeton, NJ, 1996/1997), 41–97

    1996

  11. [11]

    Evens, Jiang-Hua Lu and A

    S. Evens, Jiang-Hua Lu and A. Weinstein. Transverse measures, the modular class and a cohomology pairing for Lie algebroids,Quart. J. Math. Oxford Ser. (2)50 (1999), 417–436. 31

    1999

  12. [12]

    F´ elix, S

    Y. F´ elix, S. Halperin and J.-C.Thomas, Rational homotopy theory, Grad. Texts in Math., 205 Springer- Verlag, New York, 2001

    2001

  13. [13]

    Gutt, An explicit˚-product on the cotangent bundle of a Lie group,Lett

    S. Gutt, An explicit˚-product on the cotangent bundle of a Lie group,Lett. Math. Phys.7 (1983), 249–258

    1983

  14. [14]

    Hamilton and A

    A. Hamilton and A. Lazarev, Graph cohomology classes in the Batalin-Vilkovisky formalism,J. Geom. Phys. 59 (2009), 555–575

    2009

  15. [15]

    Hazewinkel, A duality theorem for cohomology of Lie algebras,Mat

    M. Hazewinkel, A duality theorem for cohomology of Lie algebras,Mat. Sb. (N.S.)83 (1970), 639–644

    1970

  16. [16]

    Hinich, DG coalgebras as formal stacks,J

    V. Hinich, DG coalgebras as formal stacks,J. Pure Appl. Algebra162 (2001), 209–250

    2001

  17. [17]

    Holstein and M

    J. Holstein and M. Rivera, Koszul duality and Calabi-Yau structures,arXiv:2410.03604

    Pith/arXiv arXiv

  18. [18]

    Huebschmann, Duality for Lie-Rinehart algebras and the modular class,J

    J. Huebschmann, Duality for Lie-Rinehart algebras and the modular class,J. Reine Angew. Math.510 (1999), 103–159

    1999

  19. [19]

    Keller, Deformed Calabi-Yau completions,J

    B. Keller, Deformed Calabi-Yau completions,J. Reine Angew. Math.654 (2011), 125–180. With an appendix by Michel Van den Bergh

    2011

  20. [20]

    Khoroshkin and P

    A. Khoroshkin and P. Tamaroff, Derived Poincar´ e-Birkhoff-Witt theorems,Lett. Math. Phys.113 (2023), Paper No. 15, 20 pp. With appendix by Vladimir Dotsenko

    2023

  21. [21]

    Koszul, Homologie et cohomologie des alg` ebres de Lie,Bull

    J.-L. Koszul, Homologie et cohomologie des alg` ebres de Lie,Bull. Soc. Math. France78 (1950), 65–127

    1950

  22. [22]

    Kontsevich, Homological algebra of Mirror Symmetry, Proceedings of the International Congress of Mathematicians, Z¨ urich 1994, vol

    M. Kontsevich, Homological algebra of Mirror Symmetry, Proceedings of the International Congress of Mathematicians, Z¨ urich 1994, vol. I, Birkh¨ auser 1995, 120–139

    1994

  23. [23]

    Kontsevich, Deformation Quantization of Poisson Manifolds,Lett

    M. Kontsevich, Deformation Quantization of Poisson Manifolds,Lett. Math. Phys.66 (2003), 157–216

    2003

  24. [24]

    Lada and J

    T. Lada and J. Stasheff, Introduction to sh Lie algebras for physicists,Internat. J. Theoret. Phys.32 (1993), 1087–1103

    1993

  25. [25]

    Lada and M

    T. Lada and M. Markl, Strongly homotopy Lie algebras,Comm. Algebra23 (1995), 2147–2161

    1995

  26. [26]

    Lazarev, Maurer-Cartan moduli and models for function spaces,Adv

    A. Lazarev, Maurer-Cartan moduli and models for function spaces,Adv. Math.235 (2013), 296–320

    2013

  27. [27]

    Lef´ evre-Hasegawa

    K. Lef´ evre-Hasegawa. Sur les A-infini cat´ egories,arXiv:math/0310337

    Pith/arXiv arXiv

  28. [28]

    Manin, Gauge field theory and complex geometry, Grundlehren Math

    Y. Manin, Gauge field theory and complex geometry, Grundlehren Math. Wiss., 289 Springer-Verlag, Berlin, 1997, xii+346 pp

    1997

  29. [29]

    J. M. Moreno-Fern´ andez, The Milnor-Moore theorem forL 8-algebras in rational homotopy theory,Math. Z.300 (2022), 2147–2165

    2022

  30. [30]

    Neisendorfer, Lie algebras, coalgebras and rational homotopy theory for nilpotent spaces,Pacific J

    J. Neisendorfer, Lie algebras, coalgebras and rational homotopy theory for nilpotent spaces,Pacific J. Math. 74 (1978), 429–460

    1978

  31. [31]

    Positselski, Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence, Mem

    L. Positselski, Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence, Mem. Amer. Math. Soc212 (2011), vi+133 pp

    2011

  32. [32]

    Pridham, Unifying derived deformation theories,Adv

    J. Pridham, Unifying derived deformation theories,Adv. Math.224 (2010), 772–826

    2010

  33. [33]

    Voronov, Q-manifolds and Mackenzie theory: An overview,arXiv:0709.4232v1

    T. Voronov, Q-manifolds and Mackenzie theory: An overview,arXiv:0709.4232v1

    Pith/arXiv arXiv

  34. [34]

    Witherspoon, Hochschild cohomology for algebras, Grad

    S. Witherspoon, Hochschild cohomology for algebras, Grad. Stud. Math., 204 AMS, Providence, RI, 2019

    2019

  35. [35]

    Zwiebach, Closed string field theory: Quantum action and the Batalin-Vilkovisky master equation,Nu- clear Phys

    B. Zwiebach, Closed string field theory: Quantum action and the Batalin-Vilkovisky master equation,Nu- clear Phys. B390 (1993), 33–152. Department of Mathematics and Statistics, Lancaster University, Lancaster LA1 4YF, UK Email address:a.lazarev@lancaster.ac.uk Department of Mathematics, Jilin University, Changchun 130012, Jilin, China, and Department of ...

    1993