On the homology of free 2-step nilpotent Lie algebras.
type: Item
instance of: scholarly article
title: On the homology of free 2-step nilpotent Lie algebras.
zbMATH Open document ID: 1041.17024
DOI: 10.1016/S0021-8693(02)00090-X
author: Johannes Grassberger
author: A. D. King
author: Paulo Tirao
published in: Journal of Algebra
publication date: 2003-02-12T00:00:00Z
review text: The paper under review offers an explicit formula for the total homology, i.e., the sum of the ranks of the homology groups, of a 2-step nilpotent Lie algebra of a finite dimensional vector space \(V\) over the complex numbers \(\mathbb{C}\). For \(\dim_{\mathbb{C}}(V) = r\), the 2-step nilpotent Lie algebra of \(V\) is \[ N_r = V \oplus \Lambda^2 V , \] where, for \(v\), \(w \in V\), \([v , w] = v \wedge w\), and the bracket is zero otherwise. Using work of \textit{S. Sigg} [J. Algebra 185, No. 1, 144--161 (1996; Zbl 0868.17015)], the Lie algebra homology \(H_*( N_r )\) can be computed in terms of irreducible components of \(GL(V)\) representations. The total homology (as a function of \(r\)) is then \[ T(r) = \sum_{k \geq 0} \dim H_k ( N_r ). \] A key result of the paper is that for \(n \geq 0\), \[ \begin{aligned} T(2n + 1) & = 2^{n+1} \beta (n)^2, \\ T(2n + 2) & = 2^{n+1} \beta (n) \beta (n+1), \\ \beta (n) &= \prod_{1 \leq k \leq n} \frac{(4k)! (k!)^2}{(2k)!^3} . \end{aligned} \] This result is derived by realizing the Poincaré polynomial \[ P(N_r ; t) = \sum_{k \geq 0} \dim H_k (N_r) t^k \] as the determinant of the \(r \times r\) matrix \(G_3\), \[ P(N_r ; t) = {\text{det}} \, G_3(r ; t) , \] where \[ G_3 (r ; t)_{ij} = \binom{r}{j-i} - (-t)^i \binom{r}{j+i-1} \, , \] and relies on the Giambelli formula for the dimension of the irreducible tensor representations corresponding to self-conjugate partitions of Young diagrams. See \textit{W. Fulton} and \textit{J. Harris} [Representation Theory. A First Course. New York: Springer (1991; Zbl 0744.22001)]. Furthermore, the determinant of \(G_3\) is related to \(SO(V)\) characters. By using Stirling's asymptotic series for \(n!\), the authors prove that \[ T(r) \sim 2^{({r^2}/{2})} r^{1/8} k \, , \] where \(k \simeq 1.3814\), which improves the previous lower bound for \(T(r)\) given by \(2^{({r^2}/{2})}\).
reviewed by: Jerry M. Lodder
Mathematics Subject Classification ID: 17B55
Mathematics Subject Classification ID: 18G20
Mathematics Subject Classification ID: 17B56
zbMATH DE Number: 1867976
zbMATH Keywords: 2-step nilpotent Lie algebra
zbMATH Keywords: Poincaré polynomial
zbMATH Keywords: irreducible representations
Wikidata QID: Q115340536
MaRDI profile type: Publication
cites work: Q4002278
cites work: Varieties of nilpotent Lie algebras of dimension less than six
cites work: Lie algebra cohomology and the generalized Borel-Weil theorem
cites work: Laplacian and homology of free two-step nilpotent Lie algebras
cites work: A refinement of the toral rank conjecture for 2-step nilpotent Lie algebras
description: scientific article; zbMATH DE number 1867976