pith. sign in

arxiv: 2511.16866 · v2 · submitted 2025-11-21 · 🧮 math.RA · math.AT

On the abelianization of the special derivation Lie algebras of free Lie algebras

Naoya Enomoto , Takao Satoh This is my paper

Pith reviewed 2026-05-17 21:12 UTC · model grok-4.3

classification 🧮 math.RA math.AT
keywords abelianizationspecial derivationsfree Lie algebrasMorita tracesderivation Lie algebraslinear independence
0
0 comments X

The pith

The abelianization of the special derivation Lie algebra of a free Lie algebra has infinitely many linearly independent elements and also non-trivial elements killed by Morita traces.

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

The paper seeks to understand the abelianization of the Lie algebra consisting of special derivations on a free Lie algebra. Using Morita traces, it constructs infinitely many elements that remain linearly independent after abelianization. It further identifies elements in this abelianization that vanish under all such traces, indicating structure not visible through these invariants alone. Readers care about this because derivations of free Lie algebras encode automorphisms and deformations central to noncommutative algebra.

Core claim

There are infinitely many linearly independent elements in the abelianization of the Lie algebra of special derivations of a free Lie algebra by using the Morita traces. Furthermore, the abelianization contains non-trivial elements which are killed by the Morita traces.

What carries the argument

Morita traces on the derivation algebra, which induce maps on the abelianization used both to exhibit independent elements and to identify those they kill.

If this is right

  • The abelianization is infinite-dimensional.
  • Some classes in the abelianization lie in the kernel of every Morita trace.
  • The Morita traces do not provide a complete set of invariants for the abelianization.

Where Pith is reading between the lines

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

  • The result indicates that computing the full abelianization requires invariants other than or in addition to the Morita traces.
  • These constructions may generalize to derivation Lie algebras of free objects in other algebraic categories.

Load-bearing premise

The free Lie algebra satisfies its usual universal properties and the Morita traces are well-defined linear maps on the special derivation Lie algebra that do not introduce unexpected dependencies among the constructed elements.

What would settle it

An explicit low-degree calculation for the free Lie algebra on a small number of generators that shows linear dependence among the claimed independent elements in the abelianization would refute the main claim.

read the original abstract

In this paper, we show that there are infinitely many linearly independent elements in the abelianization of the Lie algebra of special derivations of a free Lie algebra by using the Morita traces. Furthermore, we show that the abelianization contains non-trivial elements which are killed by the Morita traces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that the abelianization of the Lie algebra of special derivations of a free Lie algebra contains infinitely many linearly independent elements, constructed via Morita traces. It further shows that this abelianization contains non-trivial elements annihilated by all such traces.

Significance. If the claims hold, the work supplies concrete structural information on the abelianization of special derivation Lie algebras of free Lie algebras, a topic of interest in the study of free objects and their automorphism groups. The explicit constructions and independence arguments using Morita traces constitute a clear strength, as does the identification of a non-trivial kernel for the trace maps; these features provide falsifiable, graded-level predictions that can be checked in low degrees.

major comments (2)
  1. [§3.2] §3.2, construction of the family {d_n}: the proof that the images in the abelianization are linearly independent over the base field assumes that the Morita traces descend without additional kernel relations induced by the free Lie bracket; an explicit check that no non-trivial linear combination lies in the commutator ideal of the derivation algebra would make the independence argument fully self-contained.
  2. [§4] §4, Theorem 4.1 on trace-annihilated elements: the non-vanishing claim for the constructed class in the abelianization is verified only modulo the action of the special derivation condition; it is not immediately clear whether the same element remains non-zero after imposing the trace-zero condition that defines the special subalgebra, which is load-bearing for the second main result.
minor comments (2)
  1. [§2] The grading conventions on the free Lie algebra (Hall basis versus Lyndon words) are used interchangeably in the independence arguments; a single consistent reference would improve readability.
  2. [§3] Several displayed equations in §3 lack equation numbers, making cross-references in the proofs harder to follow.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments, which help clarify the presentation of our results on the abelianization of the special derivation Lie algebra. We address each major comment below and indicate the corresponding revisions.

read point-by-point responses

  1. Referee: [§3.2] §3.2, construction of the family {d_n}: the proof that the images in the abelianization are linearly independent over the base field assumes that the Morita traces descend without additional kernel relations induced by the free Lie bracket; an explicit check that no non-trivial linear combination lies in the commutator ideal of the derivation algebra would make the independence argument fully self-contained.

    Authors: We appreciate the referee's suggestion for strengthening the independence argument. The Morita traces are Lie algebra homomorphisms from the derivation algebra to the base field and therefore vanish on the commutator ideal by construction. To make this fully explicit and self-contained for the family {d_n}, we will add a short paragraph in the revised §3.2 that directly verifies no nontrivial linear combination lies in the commutator ideal: if ∑ c_i d_i belonged to the commutator ideal, then every Morita trace would evaluate to zero on it, but the explicit action of the traces on the generators of the free Lie algebra yields a nonzero value for any nonzero coefficient vector (c_i). This computation uses only the defining properties already present in the manuscript and does not alter the main theorem. revision: yes

  2. Referee: [§4] §4, Theorem 4.1 on trace-annihilated elements: the non-vanishing claim for the constructed class in the abelianization is verified only modulo the action of the special derivation condition; it is not immediately clear whether the same element remains non-zero after imposing the trace-zero condition that defines the special subalgebra, which is load-bearing for the second main result.

    Authors: We thank the referee for this observation. The element whose class is shown to be nontrivial in the abelianization is constructed explicitly as an element of the special derivation Lie algebra (i.e., it satisfies the trace-zero condition by definition, as stated in the paragraph immediately preceding Theorem 4.1). Because the commutator ideal of the special subalgebra is the intersection of the full commutator ideal with the special subalgebra, any element that is nonzero in the abelianization of the ambient derivation algebra remains nonzero when restricted to the special subalgebra. In the revised manuscript we will insert a clarifying sentence in the proof of Theorem 4.1 that recalls this containment and confirms the element lies in the special subalgebra before invoking the non-vanishing argument. This is an expository clarification that leaves the proof strategy unchanged. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes the existence of infinitely many linearly independent classes in the abelianization of the special derivation Lie algebra of a free Lie algebra, together with additional classes annihilated by the Morita traces. These results are obtained by explicit graded constructions that invoke the standard Hall basis or Lyndon words of free Lie algebras and the fact that Morita traces descend to the abelianization. No step reduces a claimed prediction or independence statement to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose content is itself unverified within the paper. The argument therefore remains self-contained against external benchmarks and receives a circularity score of zero.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard properties of free Lie algebras and Morita traces from prior literature; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • standard math Free Lie algebras satisfy the standard Lie identities and universal property with respect to derivations.
    Invoked implicitly when defining special derivations and their abelianization.
  • domain assumption Morita traces are well-defined linear maps on the derivation algebra compatible with the grading.
    Used to detect linear independence and kernel elements.

pith-pipeline@v0.9.0 · 5331 in / 1304 out tokens · 49669 ms · 2026-05-17T21:12:58.099818+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    Alekseev and C

    A. Alekseev and C. Torossian; Kontsevich deformation quantization and flat connections, Comm. Math. Phys. 300 (2010), 47–64

    work page 2010

  2. [2]

    Alekseev and C

    A. Alekseev and C. Torossian; The Kashiwara-Vergne conjecture and Drinfeld’s associators, Ann. Math. (2) 175 (2012), 415–463

    work page 2012

  3. [3]

    Andreadakis; On the automorphisms of free groups and free nilpotent groups, Proc

    S. Andreadakis; On the automorphisms of free groups and free nilpotent groups, Proc. London Math. Soc. (3) 15 (1965), 239–268

    work page 1965

  4. [4]

    Artin; Theorie der Z¨ opfe, Abh

    E. Artin; Theorie der Z¨ opfe, Abh. Math. Sem. Univ. Hamburg 4 (1925), no. 1, 47–72

    work page 1925

  5. [5]

    J. S. Birman; Braids, Links and Mapping Class Groups, Princeton University Press, (1974). 27

    work page 1974

  6. [6]

    Damiani; A journey through loop braid groups, Expositiones Mathematicae, 35 (2017), 252– 285

    C. Damiani; A journey through loop braid groups, Expositiones Mathematicae, 35 (2017), 252– 285

    work page 2017

  7. [7]

    Darn´ e; On the stable Andreadakis Problem, Journal of Pure and Applied Algebra, 223 (2019), 5484–5525

    J. Darn´ e; On the stable Andreadakis Problem, Journal of Pure and Applied Algebra, 223 (2019), 5484–5525

    work page 2019

  8. [8]

    Darn´ e; On the Andreadakis problem for subgroups ofIA n, Int.l Math

    J. Darn´ e; On the Andreadakis problem for subgroups ofIA n, Int.l Math. Res. Not., 19 (2021) 14720–14742

    work page 2021

  9. [9]

    Darn´ e; Braids, inner automorphisms and the Andreadakis problem, Annales de l’Institut Fourier 75 (2025), 185-227

    J. Darn´ e; Braids, inner automorphisms and the Andreadakis problem, Annales de l’Institut Fourier 75 (2025), 185-227

    work page 2025

  10. [10]

    Enomoto, Y

    N. Enomoto, Y. Kuno and T. Satoh; A comparison with structures in the Johnson cokernels for the mapping class groups of surfaces, Top. and its Appl. 271 (2020), 107052, 14 pp

    work page 2020

  11. [11]

    Enomoto and T

    N. Enomoto and T. Satoh; On the derivation algebra of the free Lie algebra and trace maps., Alg. and Geom. Top., 11 (2011) 2861–2901

    work page 2011

  12. [12]

    Enomoto and T

    N. Enomoto and T. Satoh; On the structures of the Johnson cokernels of the basis-conjugating automorphism groups of free groups, Glasgow Mathematical Journal, to appear

    work page

  13. [13]

    Falk and R

    M. Falk and R. Randell; The lower central series of a fiber-type arrangement, Invent. Math. 82 (1985), 77–88

    work page 1985

  14. [14]

    Felder; Internally connected graphs and the Kashiwara-Vergne Lie algebra, Lett

    M. Felder; Internally connected graphs and the Kashiwara-Vergne Lie algebra, Lett. Math. Phys. 108 (2018), 1407–1441

    work page 2018

  15. [15]

    R. Fenn, R. Rim´ anyi and C. Rourke; The braid-permutation group, Topology, 36, no. 1 (1997), 123–135

    work page 1997

  16. [16]

    D. L. Goldsmith; The theory of motion groups, The Michigan Mathematical Journal, 28 (1981), 3–17

    work page 1981

  17. [17]

    Hain; Johnson homomorphisms, EMS Surv

    R. Hain; Johnson homomorphisms, EMS Surv. Math. Sci. 7 (2020), 33–116

    work page 2020

  18. [18]

    Hall; A basis for free Lie rings and higher commutators in free groups, Proc

    M. Hall; A basis for free Lie rings and higher commutators in free groups, Proc. Amer. Math. Soc., 1 (1950), 575–581

    work page 1950

  19. [19]

    Hall; The theory of groups, second edition, AMS Chelsea Publishing 1999

    M. Hall; The theory of groups, second edition, AMS Chelsea Publishing 1999

    work page 1999

  20. [20]

    Ihara; The Galois representation arising fromP 1 \ {0,1,∞}and Tate twists of even degree, in Galois Groups overQ, Publ

    Y. Ihara; The Galois representation arising fromP 1 \ {0,1,∞}and Tate twists of even degree, in Galois Groups overQ, Publ. MSRI 16 (1989), 299–313

    work page 1989

  21. [21]

    Kassabov; On the automorphism tower of free nilpotent groups, thesis, Yale University, (2003)

    M. Kassabov; On the automorphism tower of free nilpotent groups, thesis, Yale University, (2003)

    work page 2003

  22. [22]

    Kohno; S´ erie de Poincar´ e-Koszul associ´ ee aux groupes de tresses pures, Invent

    T. Kohno; S´ erie de Poincar´ e-Koszul associ´ ee aux groupes de tresses pures, Invent. Math. 82 (1985), 57–75

    work page 1985

  23. [23]

    Massuyeau and T

    G. Massuyeau and T. Sakasai; Morit’s trace maps on the group of homology cobordisms, J. Topol. Anal. 12 (2020), 775-818

    work page 2020

  24. [24]

    McCool; On basis-conjugating automorphisms of free groups, Can

    J. McCool; On basis-conjugating automorphisms of free groups, Can. J. Math., XXXVIII, No. 6 (1986), 1525–1529

    work page 1986

  25. [25]

    Magnus, A

    W. Magnus, A. Karras and D. Solitar; Combinatorial group theory, Interscience Publ., New York (1966)

    work page 1966

  26. [26]

    Morita; Abelian quotients of subgroups of the mapping class group of surfaces, Duke Mathe- matical Journal 70 (1993), 699–726

    S. Morita; Abelian quotients of subgroups of the mapping class group of surfaces, Duke Mathe- matical Journal 70 (1993), 699–726

    work page 1993

  27. [27]

    Morita; Cohomological structure of the mapping class group and beyond, Proc

    S. Morita; Cohomological structure of the mapping class group and beyond, Proc. of Symposia in Pure Math. 74 (2006), 329–354

    work page 2006

  28. [28]

    Morita, T

    S. Morita, T. Sakasai and M. Suzuki; Abelianizations of derivation Lie algebras of the free asso- ciative algebra and the free Lie algebra, Duke Math. J., 162 (2013), 965–1002

    work page 2013

  29. [29]

    K. E. Orr; Homotopy invariants of links, Invent. Math. 95 (1989), 379–394

    work page 1989

  30. [30]

    Reutenauer; Free Lie Algebras, London Mathematical Society monographs, new series, no

    C. Reutenauer; Free Lie Algebras, London Mathematical Society monographs, new series, no. 7, Oxford University Press (1993)

    work page 1993

  31. [31]

    T. Satoh; New obstructions for the surjectivity of the Johnson homomorphism of the automor- phism group of a free group, Journal of the London Mathematical Society, (2) 74 (2006) 341–360

    work page 2006

  32. [32]

    Satoh; On the lower central series of the IA-automorphism group of a free group, J

    T. Satoh; On the lower central series of the IA-automorphism group of a free group, J. of Pure and Appl. Alg., 216 (2012), 709–717

    work page 2012

  33. [33]

    Satoh; On the basis-conjugating automorphism groups of free groups and free metabelian groups, Math

    T. Satoh; On the basis-conjugating automorphism groups of free groups and free metabelian groups, Math. Proc. Camb. Phil. Soc. 158 (2015), 83–109. 28

    work page 2015

  34. [34]

    Satoh; A survey of the Johnson homomorphisms of the automorphism groups of free groups and related topics, IRMA Lect

    T. Satoh; A survey of the Johnson homomorphisms of the automorphism groups of free groups and related topics, IRMA Lect. Math. Theor. Phys., 26, European Mathematical Society (2016), 167–209

    work page 2016

  35. [35]

    ˇSevera and T

    P. ˇSevera and T. Willwacher; Equivalence of formalities of the little discs operad, Duke Math. J. 160 (2011), 175–206

    work page 2011

  36. [36]

    Witt; Treue Darstellung Liescher Ringe, Journal f¨ ur die Reine und Angewandte Mathematik, 177 (1937), 152–160

    E. Witt; Treue Darstellung Liescher Ringe, Journal f¨ ur die Reine und Angewandte Mathematik, 177 (1937), 152–160. Naoya Enomoto; The University of Electro-Communications, 1-5-1, Chofugaoka, Chofu city, Tokyo 182-8585, Japan. Email address:enomoto-naoya@uec.ac.jp Takao Satoh; Department of Mathematics, F aculty of Science Division II, Tokyo University of ...

    work page 1937