Malcev Lie algebra

In mathematics, a Malcev Lie algebra, or Mal'tsev Lie algebra, is a generalization of a rational nilpotent Lie algebra, and Malcev groups are similar. Both were introduced by (Quillen 1969), based on the work of (Mal'cev 1949).

Definition

According to (Papadima Suciu) a Malcev Lie algebra is a rational Lie algebra [math]\displaystyle{ L }[/math] together with a complete, descending [math]\displaystyle{ {\mathbb Q} }[/math]-vector space filtration [math]\displaystyle{ \{F_r L\}_{r\ge 1} }[/math], such that:

• [math]\displaystyle{ F_1 L = L }[/math]
• [math]\displaystyle{ [F_rL, F_sL]\subset F_{r+s}L }[/math]
• the associated graded Lie algebra [math]\displaystyle{ \oplus_{r\ge 1} F_rL/F_{r+1}L }[/math] is generated by elements of degree one.

Applications

Relation to Hopf algebras

(Quillen 1969) showed that Malcev Lie algebras and Malcev groups are both equivalent to complete Hopf algebras, i.e., Hopf algebras H endowed with a filtration so that H is isomorphic to [math]\displaystyle{ \varprojlim H / F_n H }[/math]. The functors involved in these equivalences are as follows: a Malcev group G is mapped to the completion (with respect to the augmentation ideal) of its group ring QG, with inverse given by the group of grouplike elements of a Hopf algebra H, essentially those elements 1 + x such that [math]\displaystyle{ \Delta (x) = x \otimes x }[/math]. From complete Hopf algebras to Malcev Lie algebras one gets by taking the (completion of) primitive elements, with inverse functor given by the completion of the universal enveloping algebra.

This equivalence of categories was used by (Goodwillie 1986) to prove that, after tensoring with Q, relative K-theory K(A, I), for a nilpotent ideal I, is isomorphic to relative cyclic homology HC(A, I). This theorem was a pioneering result in the area of trace methods.

Hodge theory

Malcev Lie algebras also arise in the theory of mixed Hodge structures.

References

• Goodwillie, Thomas G. (1986), "Relative algebraic K-theory and cyclic homology", Annals of Mathematics, Second Series 124 (2): 347–402, doi:10.2307/1971283 
• Mal'cev, A. I. (1949), "Nilpotent torsion-free groups", Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 13: 201–212, ISSN 0373-2436 
• Papadima, Stefan; Suciu, Alexander I. (2004), "Chen Lie algebras", International Mathematics Research Notices 2004 (21): 1057–1086, doi:10.1155/S1073792804132017, ISSN 1073-7928 
• Quillen, Daniel (1969), "Rational homotopy theory", Annals of Mathematics, Second Series 90 (2): 205–295, doi:10.2307/1970725, ISSN 0003-486X