(Co)Homology of Lie Algebras via Algebraic Morse Theory

Abstract

E. Sköldberg's Morse Theory from an Algebraic Viewpoint and M. Jöllenbeck's Algebraic Discrete Morse Theory and Applications to Commutative Algebra, which is the algebraic generalization of R. Forman's discrete Morse Theory for Cell Complexes, is discussed in the context of general chain complexes of free modules. Using this, we compute the Chevalley-Eilenberg (co)homology of the Lie algebra of all triangular matrices ${\mathfrak{sol}}_n$ over $\mathbb{Q}$ or ${\mathbb{Z}}_p$ for large enough prime $p$. We determine the column and row in the table of $H_k({\mathfrak{sol}}_n;\mathbb{Z})$ where the $p$-torsion first appears. Every ${\mathbb{Z}}_{p^k}$ appears as a direct summand of some $H_k({\mathfrak{sol}}_n;\mathbb{Z})$. Module $H_k({\mathfrak{sol}}_n;{\mathbb{Z}}_p)$ is expressed by the homology of a chain subcomplex for the Lie algebra of all strictly triangular matrices ${\mathfrak{nil}}_n$, using the Künneth formula. All conclusions are accompanied by computer experiments. Then we generalize some results to the more general Lie algebras of (strictly) triangular matrices ${\mathfrak{gl}}_n^{\prec }$ and ${\mathfrak{gl}}_n^{⪯}$ with respect to any partial ordering $⪯$ on $[n]$. Furthermore, the matchings used can be analogously defined for other Lie algebra families and are useful for theoretical as well as computational purposes.

19 pages, 2 homology tables, 5 figures

References in corpus (1)

• (Co)Homology of Poset Lie Algebras

Cited by in corpus (5)

• Graph magnitude homology via algebraic Morse theory
• Chain complex reduction via fast digraph traversal
• (Co)Homology of Poset Lie Algebras
• Hochschild (Co)Homology of Exterior Algebras using AMT
• Torsion table for the Lie algebra ${\mathfrak{nil}}_n$