Bracket ideals and Hilbert polynomial of filiform Lie algebras
F. J. Castro-Jiménez, M. Ceballos
TL;DR
This work studies the bracket bifiltration and the bivariate Hilbert polynomial ${\rm HP}_{\frak g}(t,s)$ of complex filiform Lie algebras, linking the polynomial to invariants $z_1,z_2$ and to the $\theta$-vector that encodes when bracket ideals collapse. It proves a homogeneous behavior of the structure constants under adapted-basis scalings, derives detailed descriptions of algebras with $z_2(\frak g)=n-2$, and shows that ${\rm HP}_{\frak g}$ can distinguish among isomorphism classes not separable by the invariants $z_1,z_2$ or the $\theta$-vector. The paper then computes explicit HPs for several families, including sporadic cases: for $(4,5,8)$ HP distinguishes two classes, for $(5,6,9)$ HP does not distinguish, and for $(5,7,10)$ HP separates six classes across three subfamilies. Overall, ${\rm HP}$ provides finer, constructive invariants for classifying filiform Lie algebras and reveals growth in distinguishable classes as the dimension increases relative to the invariants.
Abstract
For a complex finite-dimensional filiform Lie algebra $\mathfrak g$, we first study the bifiltration given by the bracket ideals $[C^k\mathfrak g,C^\ell\mathfrak g]$ and then the behavior of its associated bivariate Hilbert polynomial. This behavior depends in particular on two numerical invariants that measure, on one hand, certain properties of the centralizers in $\mathfrak g$ of the ideals in the lower central sequence and, on the other hand, the dimension of the largest abelian ideal that appears in the lower central series. We give examples proving that the Hilbert polynomial can distinguish isomorphism classes of filiform Lie algebras that cannot be distinguished by the two aforementioned invariants.
