Pith. sign in

REVIEW 1 major objections 5 minor 28 references

Some examples of DG-Lie formality transfer

T0 review · 1 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read Formality transfers along a DG-Lie morphism whenever the induced map on second Chevalley–Eilenberg cohomology is injective.

desk verdict New backward formality-transfer criterion, but the proof leans on an imported spectral-sequence lemma that deserves scrutiny. read the letter →

arxiv 2601.19698 v2 pith:KGF6V7O4 submitted 2026-01-27 math.RA math.AGmath.AT

Marco Manetti , Gabriele Rossetti This is my paper · ORCID
classification math.RAmath.AGmath.AT MSC 17B5617B7016T15
keywords DG-LiealgebrasformalityChevalley–EilenbergcohomologyEulerclassspectralsequenceuniversalenvelopingalgebraKodaira–Spencerdeformationtheory
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 proves a two-directional formality transfer theorem for differential graded Lie algebras. Given a morphism f:L→M, if the target M is formal and the induced map on a specific second cohomology group (Chevalley–Eilenberg cohomology of the cohomology algebras) is injective, then the source L is also formal; symmetrically, if L is formal and the analogous map is injective, then M is formal. Formality means a DG-Lie algebra is quasi-isomorphic to its cohomology, a property tied to unobstructed deformation theory. The result yields a practical cohomological criterion that recovers and extends earlier partial results, and it supports applications to universal enveloping algebras, invariant subalgebras, and quotients of smooth projective manifolds.

What carries the argument

The central object is the Chevalley–Eilenberg double complex CE(L,M) built from a DG-Lie algebra L and an L-module M, together with its spectral sequence. The Euler class e_f of a morphism f:L→M is a class in E(L,M)^{1,0}_2 representing the induced map on cohomology; it is the obstruction whose survival controls collapse. Lemma 2.4, imported from the authors' earlier work, states that if d_2(e_f)=...=d_{r-1}(e_f)=0, then all those differentials vanish globally, so the spectral sequence collapses at E2. The injectivity hypotheses in Theorem 2.5 ensure that the Euler class survives from page to page, forcing the collapse that makes the source or target formal.

What would settle it

Compute the induced map H^2_CE(H^*(L),H^*(L))→H^2_CE(H^*(L),H^*(M)) for the non-example in Section 3.4, where L is a non-formal subalgebra of a formal DG-Lie algebra M and H^*(L)→H^*(M) is injective. The theorem predicts this H^2_CE map is not injective; a direct calculation should exhibit a nonzero class in the kernel. More decisively, any pair (f:L→M) with M formal, H^2_CE injectivity, and L non-formal would refute Theorem 2.5(1).

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.5: for a morphism f:L→M of DG-Lie algebras over a field of characteristic zero, formality transfers from M to L when the map f^*:H^2_CE(H^*(L),H^*(L))→H^2_CE(H^*(L),H^*(M)) is injective and M is formal, and from L to M when the map f^*:H^2_CE(H^*(M),H^*(M))→H^2_CE(H^*(L),H^*(M)) is injective and L is formal. The proof runs through the Chevalley–Eilenberg spectral sequence associated to the morphism and the Euler class e_f. The key step is a cited lemma saying that once the Euler class survives the first differentials, the spectral sequence collapses at the second page; the injectivity hypotheses guarantee that survival page by page. The paper also constructs a

Load-bearing premise

The proof depends on a lemma from the authors' earlier work, not proved in this paper, asserting that if the Euler class of a DG-Lie morphism survives the early differentials in the Chevalley–Eilenberg spectral sequence, then the whole spectral sequence collapses at the second page; without that lemma Theorem 2.5 does not follow.

Editorial extensions

If this is right

  • To certify formality of a DG-Lie algebra L, it suffices to embed it via a morphism into some formal DG-Lie algebra M in such a way that the induced H^2_CE map is injective.
  • For any DG-Lie algebra L, Lie formality of L is equivalent to associativity of its universal enveloping algebra U(L), and also equivalent to Lie formality of U(L).
  • If a formal DG-Lie algebra admits a retraction of modules onto a DG-Lie subalgebra, that subalgebra is formal; this covers fixed-point subalgebras under finite group actions and linearly reductive actions.
  • Kodaira–Spencer formality is preserved under finite free quotients: if a smooth projective manifold X is Kodaira–Spencer formal and a finite group acts freely on X, then X/G is Kodaira–Spencer formal.
  • The non-example shows that the naive transfer statement with merely injective f:H^*(L)→H^*(M) is false, so the stronger H^2_CE injectivity is essential.

Reading between the lines

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

  • The injectivity condition on H^2_CE can be read as saying the Euler class is a non-degenerate obstruction: any potential obstruction to formality in L would have to show up in the formal target M, which is impossible, forcing L to be formal.
  • The same spectral-sequence strategy might transfer other properties characterized by vanishing of higher Chevalley–Eilenberg differentials, but the paper's non-example suggests the cohomological injectivity must be tuned to the specific property.
  • Since Lemma 2.4 is cited rather than proved here, an independent verification of that collapse lemma for the Euler class would put Theorem 2.5 on a fully self-contained footing; the paper's proof is conditional on it.
  • One could test whether the H^2_CE injectivity is also necessary for transfer to hold in general, not just sufficient, by searching for morphisms with non-injective H^2 maps that still exhibit transfer.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 5 minor

Summary. The paper studies transfer of formality along morphisms of DG-Lie algebras over a field of characteristic zero. The main result, Theorem 2.5, states that for a morphism f:L→M, if the induced map on second Chevalley–Eilenberg cohomology of the cohomology algebras is injective in the appropriate direction, then formality transfers from M to L (item 1) and from L to M (item 2). The proof uses the Chevalley–Eilenberg spectral sequence and the Euler class e_f. Item 1 was already proved in [19], and the paper provides a new proof; item 2 is new. The paper also gives applications: Theorem 3.1 proves the equivalence of Lie formality and associative formality for universal enveloping algebras via Corollary 1.4; Theorem 3.3 shows that Kodaira–Spencer formality persists under finite free quotients of smooth projective varieties; Section 3.4 gives a counterexample to naive formality transfer for subalgebras.

Significance. If Theorem 2.5 is correct, it provides a clean, purely cohomological criterion for formality transfer in both directions, with the backward direction (item 2) being a genuine extension beyond [19]. The applications are nontrivial and useful: Theorem 3.1 completes a circle of equivalences for universal enveloping algebras, and Theorem 3.3 is a geometric consequence applicable to quotient varieties. The paper is clearly written and the explicit non-example in Section 3.4 helpfully illustrates the limitations of naive transfer. The main body is concise, and the reliance on the Chevalley–Eilenberg spectral sequence is natural for the subject.

major comments (1)
  1. [Section 2, Lemma 2.4] The proof of Lemma 2.4 is a one-line citation to [19, Lemma 5.3 and Proposition 5.5] together with 'existence of minimal L∞ models.' This lemma is stated for an arbitrary morphism f:L→M, but the cited results in [19] appear to be formulated for a single DG-Lie algebra (the identity morphism). Both items of Theorem 2.5 rely on Lemma 2.4 for the morphism f, and item 2 would collapse if the lemma fails for non-identity maps. The paper must either prove Lemma 2.4 in this manuscript or provide a precise reference and a detailed explanation of how minimal L∞ models extend the identity case to arbitrary morphisms. Without this, the central claim is not self-contained and the new direction (item 2) lacks independent support.
minor comments (5)
  1. [Section 2, proof of Theorem 2.5] The induction over the pages of the spectral sequence is sketched rather than written out. In particular, the step 'if E(L,L)_2 = E(L,L)_r ... then d_r(e_L) = 0' is stated as immediate, but the base case and the induction hypothesis are not made explicit. The argument is recoverable, but the authors should expand it to a fully rigorous induction, especially since the interplay between Lemma 2.4 and the injectivity hypothesis is the core of the proof.
  2. [Section 3.4] There is a typo: 'y = y_2(e_1 + e_1) + y_3 e_3' should read 'y = y_2(e_1 + e_2) + y_3 e_3'.
  3. [References] References [10] and [13] are missing publication years; the entries end with a comma before the MR number. Please add the years for completeness.
  4. [Section 2, equivalence of H^2_CE injectivity and page-2 injectivity] The proof of Theorem 2.5 uses the fact that injectivity of f^* on H^2_CE(H^*(L),H^*(M)) is equivalent to injectivity of f^* on each E_2^{p,2-p}. This follows from the displayed product isomorphism, but the equivalence is not explicitly stated. A brief remark would help the reader.
  5. [Introduction (typo)] In the fourth paragraph, 'generalizes in a obvious way' should be 'in an obvious way'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 2.5 is derived from external lemmas and explicit spectral-sequence arguments, not from its own conclusion.

full rationale

The paper's central claim, Theorem 2.5, is a mathematically derived transfer criterion. It is not obtained by defining the criterion in terms of formality, by fitting parameters to the desired conclusion, or by renaming a known result without new content. The proof defines the Chevalley–Eilenberg spectral sequence and the Euler class e_f independently, then uses two imported results from [19]: Lemma 2.3 (formality is equivalent to degeneration of the CE spectral sequence) and Lemma 2.4 (vanishing of the Euler-class differentials forces degeneration of the whole spectral sequence). These are published, parameter-free theorems whose statements do not include Theorem 2.5 as an assumption; they are external support rather than restatements of the target. The injectivity hypotheses in Theorem 2.5 are not notational variants of the conclusion, and the proof of item 2 is a genuine symmetric extension of item 1. The applications in Section 3 (Theorems 3.1 and 3.3) are independent uses of the transfer theorem rather than disguised inputs. The only caveat is that Lemma 2.4 is imported with a one-line citation and would be a correctness risk if it failed to extend to arbitrary morphisms; that is a mathematical-dependency concern, not circularity. Hence a score of 0 is appropriate.

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

The main theorem depends on the spectral-sequence machinery imported from [19] rather than on fitted parameters or new entities. No parameters are fitted to data; the only hand-made constants occur in the illustrative counterexample of Section 3.4, which is not load-bearing.

assumptions (6)
  • domain assumption The Chevalley-Eilenberg spectral sequence degenerates at E2 if and only if the DG-Lie algebra is formal.
    Lemma 2.3, cited from [19]. This is load-bearing: Theorem 2.5 translates formality of L and M into degeneration of E(L,L) and E(M,M).
  • domain assumption If all differentials up to r-1 vanish on the Euler class e_f, then the whole CE spectral sequence E(L,M) collapses at E2.
    Lemma 2.4, cited from [19]. This is the key engine that lets the authors conclude formality from vanishing of Euler-class differentials; without it the transfer proof stops.
  • domain assumption Existence and functoriality of minimal L-infinity models over characteristic-0 fields.
    Invoked in the proof of Lemma 2.4 as a consequence of [19, Proposition 5.5]; the paper does not prove it.
  • standard math PBW theorem: the symmetrization map e:S(L)->U(L) is an isomorphism of DG-vector spaces and intertwines the derivation r_x with the adjoint action.
    Used in the proof of Theorem 3.1 to obtain the direct sum decomposition U(L)=i(L)+H of L-modules.
  • standard math For a finite or linearly reductive group acting on a DG-Lie algebra, averaging over the group is a retraction of L-modules satisfying p([x,y])=[x,p(y)].
    Used in Corollary 3.2 and Theorem 3.3 to apply the formality-transfer criterion to invariant subalgebras and Kodaira-Spencer algebras.
  • standard math H^*(U(L)) is naturally isomorphic to U(H^*(L)).
    Used for the implication 1-to-2 in Theorem 3.1, cited from Quillen [25, B.2.1].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Some examples of DG-Lie formality transfer." pith.science (2026). https://pith.science/paper/KGF6V7O4

@misc{pith2026260119698,
  author       = {Pith},
  title        = {Pith review of: Some examples of DG-Lie formality transfer},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KGF6V7O4}},
  note         = {Machine review of arXiv:2601.19698}
}
read the original abstract

We give a convenient reformulation, a slight generalization and some applications of the formality transfer theorem for DG-Lie algebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 11 linked inside Pith

  1. [19]

    Manetti, On some formality criteria for DG-Lie algebras, J

    M. Manetti, On some formality criteria for DG-Lie algebras, J. Algebra438(2015), 90–118; MR3353026;arXiv:1310.3048v2 [math.QA]

    arXiv 2015

  2. [1]

    Bandiera and M

    R. Bandiera and M. Manetti, On coisotropic deformations of holomorphic submanifolds, J. Math. Sci. Univ. Tokyo22(2015), no. 1, 1–37; MR3329189,arXiv:1301.6000v2

    arXiv 2015

  3. [2]

    Bandiera, M

    R. Bandiera, M. Manetti and F. Meazzini, Formality conjecture for minimal surfaces of Ko- daira dimension 0, Compos. Math.157(2021), no. 2, 215–235; MR4219218

    2021

  4. [3]

    Bandiera, M

    R. Bandiera, M. Manetti and F. Meazzini, Deformations of polystable sheaves on sur- faces: quadraticity implies formality, Mosc. Math. J.22(2022), no. 2, 239–263; MR4435758; arXiv:1902.06486

    arXiv 2022

  5. [4]

    C. C. Chevalley and S. Eilenberg, Cohomology theory of Lie groups and Lie algebras, Trans. Amer. Math. Soc.63(1948), 85–124; MR0024908

    1948

  6. [5]

    Fiorenza and M

    D. Fiorenza and M. Manetti, Formality of Koszul brackets and deformations of holomor- phic Poisson manifolds, Homology Homotopy Appl.14(2012), no. 2, 63–75; MR3007085; arXiv:1109.4309v3 [math.QA]

    arXiv 2012

  7. [6]

    W. M. Goldman and J. J. Millson, The deformation theory of representations of fundamental groups of compact K¨ ahler manifolds, Inst. Hautes ´Etudes Sci. Publ. Math. No. 67 (1988), 43–96; MR0972343

    1988

  8. [7]

    Halperin and J

    S. Halperin and J. D. Stasheff, Obstructions to homotopy equivalences, Adv. in Math.32 (1979), no. 3, 233–279; MR0539532

    1979

Show all 28 references
  1. [8]

    Hinich, Tamarkin’s proof of Kontsevich formality theorem, Forum Math.15(2003), no

    V. Hinich, Tamarkin’s proof of Kontsevich formality theorem, Forum Math.15(2003), no. 4, 591–614; MR1978336;arXiv:math/0003052

    2003 arXiv

  2. [9]

    G. P. Hochschild and J.-P. Serre, Cohomology of Lie algebras, Ann. of Math. (2)57(1953), 591–603; MR0054581. SOME EXAMPLES OF DG-LIE FORMALITY TRANSFER 9

    1953

  3. [10]

    Iacono and M

    D. Iacono and M. Manetti, An algebraic proof of Bogomolov–Tian–Todorov theorem, inDeformation spaces, 113–133, Aspects Math., E40, Vieweg + Teubner, Wiesbaden, ; MR2648584;arXiv:0902.0732

    arXiv

  4. [11]

    Jacobson,Lie algebras, Interscience Tracts in Pure and Applied Mathematics, No

    N. Jacobson,Lie algebras, Interscience Tracts in Pure and Applied Mathematics, No. 10, Interscience Publishers (a division of John Wiley & Sons, Inc.), New York-London, 1962; MR0143793

    1962

  5. [12]

    D. B. Kaledin, Some remarks on formality in families, Mosc. Math. J.7(2007), no. 4, 643–652, 766; MR2372207;arXiv:math/0509699v4 [math.AG]

    2007 arXiv

  6. [13]

    Katzarkov, M

    L. Katzarkov, M. Kontsevich and T. G. Pantev, Hodge theoretic aspects of mirror symmetry, inFrom Hodge theory to integrability and TQFT tt*-geometry, 87–174, Proc. Sympos. Pure Math., 78, Amer. Math. Soc., Providence, RI, ; MR2483750.arXiv:0806.0107v1 [math.AG]

    arXiv

  7. [14]

    Kodaira and D

    K. Kodaira and D. C. Spencer, On deformations of complex analytic structures. I, II, Ann. of Math. (2)67(1958), 328–466; MR0112154

    1958

  8. [15]

    Loday,Cyclic homology, second edition, Grundlehren der mathematischen Wis- senschaften, 301, Springer, Berlin, 1998; MR1600246

    J.-L. Loday,Cyclic homology, second edition, Grundlehren der mathematischen Wis- senschaften, 301, Springer, Berlin, 1998; MR1600246

    1998

  9. [16]

    V. A. Lunts, Formality of DG algebras (after Kaledin), J. Algebra323(2010), no. 4, 878–898; MR2578584;arXiv:0712.0996 [math.AG]

    2010 arXiv

  10. [17]

    Manetti, On some examples of obstructed irregular surfaces, Sci

    M. Manetti, On some examples of obstructed irregular surfaces, Sci. China Math.54(2011), no. 8, 1713–1724

    2011

  11. [18]

    Manetti, Cohomological constraint on deformations of compact K¨ ahler manifolds, Adv

    M. Manetti, Cohomological constraint on deformations of compact K¨ ahler manifolds, Adv. Math.186(2004), no. 1, 125–142; MR2065509

    2004

  12. [20]

    Manetti, Kodaira–Spencer formality of products of complex manifolds, inTrends in con- temporary mathematics, 85–95, Springer INdAM Ser., 8, Springer, Cham, ; MR3586392

    M. Manetti, Kodaira–Spencer formality of products of complex manifolds, inTrends in con- temporary mathematics, 85–95, Springer INdAM Ser., 8, Springer, Cham, ; MR3586392

  13. [21]

    Manetti,Lie methods in deformation theory, Springer Monographs in Mathematics, Springer, Singapore, [2022]©2022; MR4485797

    M. Manetti,Lie methods in deformation theory, Springer Monographs in Mathematics, Springer, Singapore, [2022]©2022; MR4485797

    2022

  14. [22]

    Martinengo, Local structure of Brill-Noether strata in the moduli space of flat stable bun- dles, Rend

    E. Martinengo, Local structure of Brill-Noether strata in the moduli space of flat stable bun- dles, Rend. Semin. Mat. Univ. Padova121(2009), 259–280; MR2542146;arXiv:0806.2056 [math.AG]

    2009 arXiv

  15. [23]

    Nijenhuis and R

    A. Nijenhuis and R. W. Richardson, Deformations of Lie algebra structures, J. Math. Mech. 17(1967), 89–105; MR0214636

    1967

  16. [24]

    Penkava:L-infinity algebras and their cohomology.arXiv:q-alg/9512014

    M. Penkava:L-infinity algebras and their cohomology.arXiv:q-alg/9512014

    arXiv

  17. [25]

    D. G. Quillen, Rational homotopy theory, Ann. of Math. (2)90(1969), 205–295; MR0258031

    1969

  18. [26]

    Saleh, Noncommutative formality implies commutative and Lie formality, Algebr

    B. Saleh, Noncommutative formality implies commutative and Lie formality, Algebr. Geom. Topol.17(2017), no. 4, 2523–2542; MR3686405

    2017

  19. [27]

    Simi, Higher Structures in Deformation Theory, PhD thesis, Sapienza University, (2019), iris.uniroma1.it/retrieve/handle/11573/1220497/

    L. Simi, Higher Structures in Deformation Theory, PhD thesis, Sapienza University, (2019), iris.uniroma1.it/retrieve/handle/11573/1220497/

    2019

  20. [28]

    C. A. Weibel,An Introduction to Homological Algebra, Cambridge Studies in Advanced Math- ematics, vol. 38, Cambridge University Press, Cambridge, 1994. Universit`a degli studi di Roma La Sapienza, Dipartimento di Matematica Guido Castelnuovo, P.le Aldo Moro 5, I-00185 Roma, It...

    1994

Pith tools

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