Filiform Nilpotent Lie Algebras

• Filiform nilpotent Lie algebras are finite-dimensional Lie algebras with maximal nilpotency class (n-1) defined by an adapted basis and a strictly descending central series.
• Their classification reveals canonical models like Lₙ and Qₙ, with explicit bracket relations that underscore rigidity and degeneration phenomena.
• Cohomological and grading properties, including minimal Betti numbers and toral gradings, provide deep insights into invariant theory, affine structures, and solvable extensions.

A filiform nilpotent Lie algebra is a finite-dimensional nilpotent Lie algebra over a field of characteristic zero with maximal nilpotency class—that is, its lower central series attains the largest possible length relative to its dimension. More precisely, an $n$-dimensional Lie algebra $\mathfrak{g}$ is called filiform if its nilpotency class is $n-1$, equivalently, if

$\dim \mathfrak{g}^k = n - k$

for $k = 1, \dots, n-1$, where $$\mathfrak{g}^{k+1} = [\mathfrak{g}, \mathfrak{g}^k]$$. Filiform algebras occupy an extremal position among nilpotent Lie algebras, and provide a central organizing framework for understanding both the degeneration and deformation theory, as well as finer geometric and cohomological properties of nilpotent Lie structures (Burde et al., 13 May 2025, Adimi et al., 2012, Remm, 2017).

1. Structural Characterization and Adapted Bases

A foundational result, due to Vergne, asserts that any filiform nilpotent Lie algebra of dimension $n$ admits an adapted basis $\{e_1, e_2, \ldots, e_n\}$ such that

$[e_1, e_i] = e_{i+1} \quad (2 \leq i \leq n-1)$

and all other basic brackets, except those forced by skew-symmetry or the Jacobi identity, are zero or of higher order. More generally, for $i + j \leq n$, $[e_i, e_j]$ lies in $\langle e_{i+j}, e_{i+j+1}, \dots, e_n \rangle$, with possible “antidiagonal” terms $[e_i, e_{n+1-i}] = (-1)^i\,\alpha\,e_n$ for $2 \leq i \leq n-1$ (with $\alpha=0$ if $n$ is odd) (Burde et al., 13 May 2025, Remm, 2017). This adapted basis reflects the rigid hierarchy of the lower central series and enables explicit deformation and cohomological computations.

The filiform condition $\dim \mathfrak{g}^k = n - k$ implies that, for $i \geq 3$, one has $\mathfrak{g}_i = \mathfrak{g}^{i-1}$ and constructs a unique adapted descending filtration. The center $Z(\mathfrak{g})$ of such an algebra is always one-dimensional, generated by $e_n$ in the adapted basis.

2. Classification and Prototypical Filiform Lie Algebras

The classification of filiform Lie algebras, especially in low dimensions, shows considerable rigidity: In dimensions $n \leq 5$, all filiform algebras are isomorphic to the “standard” model $L_n$ with only $[e_1, e_i]=e_{i+1}$ nonzero for $i \geq 2$. For even dimensions $n=2k$, an alternative is the $Q_n$ family, characterized by

$$[e_1, e_i] = e_{i+1} \quad (2 \leq i \leq n-1), \qquad [e_i, e_{n+1-i}] = (-1)^i\,e_n \quad (2 \leq i \leq k)$$

and all other brackets zero (Adimi et al., 2012, Burde et al., 13 May 2025). Millionshchikov’s classification of $\mathbb{N}$-graded filiform algebras in any dimension $n$ identifies six “standard” infinite sequences, including $L_n$, $Q_n$, and others, each defined by explicit bracket relations, plus a finite set of exceptional families in dimensions $7$ to $11$ (Cairns et al., 2011).

For each dimension, the variety of filiform algebras forms a Zariski-locally closed subset of the variety of all nilpotent Lie laws, cut out by polynomial Jacobi constraints on the structure constants in the adapted (Vergne) basis (Remm, 2017).

3. Cohomology, Deformations, and Index

The cohomological structure of filiform nilpotent Lie algebras is tightly constrained. The first Betti number $b_1(\mathfrak{g})=2$ for any filiform algebra; the second Betti number $b_2(\mathfrak{g})$ varies by dimension and algebra, but achieves its minimum value (2) in certain rigid cases (Burde, 14 Jan 2026). The second cohomology is generated by explicit universal cocycles $\omega_1, \omega_2, \ldots$, which correspond to certain “antidiagonal” basis pairs. The existence of an affine cohomology class $[\omega]\in H^2(\mathfrak{g},K)$—that is, one pairing nontrivially with the center—is both necessary and sufficient for the existence of a canonical left-symmetric product (affine structure), thereby equipping the associated simply connected nilpotent Lie group with a left-invariant affine connection (Burde, 14 Jan 2026).

Rigidity is rare: generic filiform algebras are not rigid, and nontrivial deformations exist even for strong characteristically nilpotent cases, such as the 13-dimensional example $f_{13}$ with all codimension-1 ideals characteristically nilpotent yet admitting a nontrivial linear filiform deformation (Herrera-Granada et al., 2018).

The index $\chi(\mathfrak{g})$ plays a key role in orbit and invariant theory. For the standard filiform $L_n$, $\chi(L_n) = n-2$; for $Q_n$ ($n$ even), $\chi(Q_n)=2$ (Adimi et al., 2012, Burde et al., 13 May 2025). More generally, the possible index values for filiforms in dimension $n$ are

$$\{1,3,5,\ldots,n-2\} \quad \textrm{if}~n~\textrm{odd}; \quad \{2,4,6,\ldots,n-2\} \quad \textrm{if}~n~\textrm{even}$$

where the minimal index is achieved precisely when all antidiagonal brackets $[e_i,e_{n-i}]$ are nonzero (Burde et al., 13 May 2025). The index determines the generic codimension of coadjoint orbits and controls the number and degrees of algebraic invariants.

4. Grading, Automorphism Groups, and Characteristically Nilpotent Cases

Filiform Lie algebras may admit toral gradings by abelian groups. For type $L_n$ and $Q_n$ (rank 2), all abelian-group gradings are isomorphic to coarsenings of their standard $\mathbb{Z}^2$-gradings, and are classified explicitly: for $L_n$, there are four inequivalent families; for $Q_n$, six infinite families (Bahturin et al., 2013). In the rank 0 (characteristically nilpotent) case, a nontrivial $\mathbb{Z}_k$-grading exists if and only if all nonzero extension cocycles present in the algebra obey a specific parity congruence. Explicit constructions of such gradings are given, including for the Dixmier–Lister and other classical examples.

The automorphism group of a generic filiform algebra has a maximal torus whose eigenspace decomposition provides the finest grading, and the absence of semisimple derivations characterizes the so-called characteristically nilpotent filiform algebras. In particular, there exist sequences of filiform algebras, notably in dimension 8 and 13, with all codimension-1 ideals characteristically nilpotent (Herrera-Granada et al., 2018, Herrera-Granada et al., 2013).

5. Geometric and Homological Properties

Filiform algebras exhibit distinctive geometric structures:

• Contact structures in odd dimension and symplectic structures in even dimension arise under explicit, nonvanishing conditions on “last-line” structure constants in an adapted Vergne basis. Specifically, a contact form exists in dimension $2p+1$ iff all antidiagonal structure constants $a_{i,2p-1-i}$ are nonzero. In even dimensions $2p$, the existence of a symplectic form is equivalent to the central extension to a $2p+1$-dimensional filiform admitting a contact structure (Remm, 2017).
• Commutative post-Lie algebra structures (CPA-structures) on complex, non-metabelian filiform Lie algebras are fully classified: every CPA-structure is associative and Poisson-admissible, and all nonzero products are supported on the central terms of the adapted basis. The induced Poisson algebra consists of the commutative associative subalgebra together with the original Lie bracket; the only nonzero multiplication components appear in the center $Z([g,g])$ (Burde et al., 2019).

Filiform nilpotent Lie groups (nilmanifolds) admit highly constrained totally geodesic submanifolds. In the standard model $L_n$, the maximal dimension of a totally geodesic subalgebra is $n-2$; in twisted families such as $Q_n$, it drops further, and generically is at most $\lfloor n/2 \rfloor$ (Cairns et al., 2011). These constraints are sharp, with explicit metrics and subalgebras achieving the bounds.

6. Degeneration Theory and Solvable Extensions

Filiform algebras form the apex of the nilpotent Lie algebra degeneration poset—in particular, any nilpotent Lie algebra is a degeneration of some filiform, but a filiform can only degenerate to another filiform. For every complex 8-dimensional filiform, including all characteristically nilpotent ones, there exists a non-isomorphic solvable or nilpotent Lie algebra that degenerates to it. This is constructed via contracting one-parameter families along directions defined by semisimple derivations on codimension-1 ideals (Herrera-Granada et al., 2013).

Solvable Lie algebras with filiform nilradical $Q_{2m+1}$ are fully classified. The space of outer derivations is at most two-dimensional under nil-independence constraints, implying that the ambient solvable algebra has dimension at most $2m+3$. For each scenario (one or two outer derivations), the explicit extension structure is given, with a finite number of non-isomorphic indecomposable algebras in each dimension. The maximal dimensions are realized only by precisely described extensions, fully classified up to isomorphism (0809.3581).

7. Significance and Open Problems

Filiform nilpotent Lie algebras constitute the most non-abelian among finite-dimensional nilpotent Lie algebras, with maximal nilpotency length, minimally possible Betti numbers, and a rigid yet versatile deformation theory. Their role as degeneracy endpoints, their controlling influence over the entire nilpotent variety, and the explicit nature of their structure constants in an adapted basis make them central to the structure theory, cohomology, and geometry of Lie algebras (Remm, 2017, Burde et al., 13 May 2025).

Despite their rigidity, notable open questions remain—for example, the existence and classification of “strong characteristically nilpotent” filiform algebras, the possible existence of rigid nilpotent Lie algebras, and the detailed cohomology and deformation theory in higher dimensions. Filiforms, by virtue of their explicit structure and extremality, remain fundamental test-cases for invariant and cohomological phenomena throughout nilpotent Lie theory (Herrera-Granada et al., 2018, Burde, 14 Jan 2026).