---
title: Filiform Lie Algebras
url: https://www.emergentmind.com/topics/filiform-lie-algebra
type: topic
---

# Filiform Lie Algebras

A filiform Lie algebra is a finite-dimensional nilpotent Lie algebra with maximal nilindex, meaning that its lower central series attains the maximal possible length permitted by its dimension. Filiform Lie algebras constitute a key subclass within the theory of nilpotent Lie algebras, central both for the structural analysis of nilpotent algebras and for their roles in deformation theory, geometric structures, cohomology, and representation theory.

## 1. Structural Definition and Canonical Forms

Let $\mathfrak{g}$ be an $n$-dimensional Lie algebra over a field $\mathbb{K}$. The lower central series is defined recursively by $\mathfrak{g}^1 = \mathfrak{g}$, $\mathfrak{g}^{k+1} = [\mathfrak{g}, \mathfrak{g}^k]$ for $k \geq 1$. $\mathfrak{g}$ is nilpotent if $\mathfrak{g}^s = 0$ for some $s$, with the smallest such $s$ called the nilindex. $\mathfrak{g}$ is filiform if
\[
\dim \mathfrak{g}^k = n - k,\qquad 1 \leq k \leq n-1,
\]
thus reaching maximal nilindex $s = n-1$ [1712.00318], [1212.1650]. This property is equivalent to having a one-dimensional descending chain of subfactors in the lower central series except at the initial quotient, which is two-dimensional. In every dimension $n$, there exists a unique model ("the naturally graded model", often denoted $L_n$ or $\mathfrak{m}_0(n)$), characterized (up to isomorphism) by the multiplication
\[
[e_0, e_i] = e_{i+1},\quad 1 \leq i \leq n-2,
\]
with all other brackets determined by skew-symmetry and vanishing outside the prescribed indices [1212.1650], [1001.1702], [1712.00318].

This model is important both as a basepoint for deformation theory and as the limit point toward which the varieties of filiform Lie algebras degenerate [1403.5793].

## 2. Classification in Low Dimensions

The isomorphism classes of filiform Lie algebras are well understood up to dimension $n=8$, with explicit classifications available. For $n=5$, there is a single isomorphism class; for $n=6$, two classes; for $n=7$, there are both rigid and 1-parameter families; $n=8$ presents a mixture of rigid and continuous families [1510.07066], [1712.00318], [1212.1650]. The table below summarizes the structure in low dimensions:

| Dimension | Number of Classes                      | Description                                            |
|-----------|---------------------------------------|--------------------------------------------------------|
| 5         | 1                                     | $[e_1,e_2]=e_3$, $[e_1,e_3]=e_4$, $[e_1,e_4]=e_5$      |
| 6         | 2                                     | Model + $[e_1,e_2]=a e_5$ (parametric, $a\in\{0,1\}$)  |
| 7         | 8 (over $\mathbb{C}$, char$\neq2$)    | 7 rigid + 1 one-parameter family                       |
| 8         | Multiple rigid and 1-parameter families| See [1510.07066], [1001.1702], [1312.4028]             |

For arbitrary $n \geq 5$, the description becomes more involved as the number of structural and cohomological invariants increases, but fundamental invariants such as the so-called type $(z_1, z_2, n)$, as well as polynomial invariants in the structure constants, continue to stratify the moduli space [1907.05656], [2505.01241].

## 3. Key Structural Invariants and Filtration Theory

Two critical isomorphism invariants are:

- **$z_1$ (centralizer-invariant):** $z_1 = \min\{k\geq 4 \mid [e_k,e_n]\neq 0\}$,
- **$z_2$ (abelian-ideal-invariant):** $z_2 = \min\{k\geq 4 \mid [e_k,e_{k+1}]\neq 0\}$,

where $\{e_i\}$ is an adapted basis. These invariants determine the first "non-model" nontrivial brackets and stratify the space of filiform laws [1907.05656], [2505.01241]. Other important invariants include the dimensions of the cohomology spaces, polynomial ratios of structure constants, and bifiltration data (e.g., the Hilbert polynomial $H_{\mathfrak{g}}(t,s)$ that encodes the dimensions of all mixed bracket ideals $[C^k\mathfrak{g},C^\ell\mathfrak{g}]$) [2505.01241].

For classification, isomorphism and isotopism classes can sometimes differ, particularly as dimension increases and richer families (e.g., those defined by parametric deformations up to basis change) emerge [1510.07066], [1312.4028].

## 4. Cohomology, Central Extensions, and Deformations

The low-degree cohomology of filiform Lie algebras is highly constrained, reflecting the rigidity of these structures. In characteristic zero (and for $p$ large enough in positive characteristic), $H^1$ has dimension 2, $H^2$ has dimension 3, while restricted (Frobenius) cohomology in characteristic $p$ picks up extra classes (dimension $p$), parameterizing restricted one-dimensional central extensions [1901.07532].

One-dimensional central and restricted central extensions play a role in the classification and deformation theory of filiform Lie algebras and their Leibniz analogues. Classification in low dimensions can be effected by normalizing structure constants and identifying invariants under adapted change-of-basis [1001.1702], [1901.07532]. Explicit structures for the central and invariant rings of universal enveloping algebras have also been characterized, including explicit generators and Hilbert series [2209.11897].

Deformation theory of filiform Lie algebras shows both rigid (isolated) and non-rigid orbits, with concrete examples of nontrivial deformations established, including 1-parameter families in dimension 13 [1802.09432].

## 5. Geometric Structures and Representation Theory

Certain geometric structures are uniquely adapted to filiform algebras. In odd dimension, necessary and sufficient conditions for the existence of a contact form are strict, and in even dimension, the existence of symplectic structures is linked to contact structures on their central extensions [1712.00318]. These structures impose nonvanishing conditions on "top-level" structure constants in an adapted basis.

Minimal faithful representations of filiform Lie algebras are realized by strictly upper-triangular matrices, with dimension matching the algebra's dimension [1605.06259]. These representations underpin the construction of associated Leibniz algebras and contribute to the study of coadjoint orbits, index theory, and associated invariant theory [1212.1650].

## 6. Varieties, Bifiltration, and Moduli Geometry

The set of $n$-dimensional filiform Lie algebra laws forms a closed algebraic subvariety (Fil$_n$) within the variety of all Lie algebra laws of dimension $n$, cut out by the Jacobi, antisymmetry, and rank equations controlling the nilindex [1712.00318]. Projective and combinatorial methods are utilized to describe these varieties, as in the explicit equations of Millionshchikov and geometrical stratifications into orbits parameterizing isomorphism classes [1403.5793]. For instance, in small dimension, the moduli space is a smooth conic or higher-dimensional analogue, while for large $n$ the moduli exhibit intricate cell and orbit decomposition [1403.5793].

The bivariate Hilbert polynomial $H_{\mathfrak{g}}(t,s)$ encodes combinatorial invariants capturing the full bracket bifiltration, yielding invariants strictly finer than previously used numeric invariants and distinguishing isomorphism classes invisible to coarser filtration types [2505.01241].

## 7. Positive Characteristic and Restricted Structures

For fields of characteristic $p>0$ (typically $p\geq 5$), restricted Lie algebra structures on filiform Lie algebras such as $\mathfrak{m}_2^\lambda(p)$ can be parameterized by $p$-tuples, with explicit $p$-mappings, isomorphism classification up to scaling, and combinatorial computation of (restricted) cohomology. These structures show deep analogies and differences compared to characteristic zero, with families such as $m_0^\lambda(p)$, $m_2^\lambda(p)$, and $W(p)$ exhausting the graded restricted filiform algebras for large $p$ [1901.07532].

The center of the universal enveloping algebra and the ring of invariants also shift with positive characteristic, requiring integral and $p$-power closure techniques for the integral description of the center and invariant rings [2209.11897].

---

**References:**  
[1901.07532], [2209.11897], [2505.01241], [1510.07066], [1907.05656], [1403.5793], [1712.00318], [1212.1650], [1411.6508], [1802.09432], [1605.06259], [1001.1702], [1312.4028]

Source: https://www.emergentmind.com/topics/filiform-lie-algebra