🔢 mathematics

8-dimensional 2-step nilpotent Lie algebras over algebraically closed fields of char $\ne 2, 3$

This paper presents a self-contained, elementary, and geometrically motivated classification of 8-dimensional 2-step nilpotent Lie algebras over algebraically closed fields of characteristic not equal to 2 or 3, utilizing algebro-geometric arguments and linear algebra.

Original authors: Giovanni Bazzoni, Juan Rojo

Published 2026-02-06

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Giovanni Bazzoni, Juan Rojo

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect trying to catalog every possible way to build a specific type of 8-story tower. But there's a catch: these aren't ordinary towers. They are built according to very strict, rigid rules of "balance" and "connection." In the world of mathematics, these towers are called 8-dimensional 2-step nilpotent Lie algebras.

This paper by Giovanni Bazzoni and Juan Rojo is essentially a master catalog. It says: "If you are building these specific 8-story towers using rules from a 'perfect' mathematical universe (an algebraically closed field where numbers behave nicely), there are exactly 35 unique designs."

Here is a breakdown of how they found these 35 designs, using simple analogies.

1. The Building Blocks: The "Dual" View

Usually, mathematicians study these structures by looking at how the "floors" (vectors) connect to each other via a "bracket" (a rule for combining them).

The authors decided to look at the problem from the backwards perspective. Instead of looking at the floors, they looked at the blueprints (the dual space).

The Analogy: Imagine you have a set of blueprints where the lines represent the connections. Instead of asking "How do these two beams connect?", they asked, "What does the blueprint look like if we draw the connections as shapes?"
They turned the connection rules into bivectors. Think of a bivector as a flat, 2D sheet floating in space. The "rank" of this sheet tells you how "spread out" it is.
- Rank 2: A simple, flat sheet (like a single piece of paper).
- Rank 4: A more complex, crumpled sheet (like two pieces of paper glued together).
- Rank 6: A very complex, multi-layered structure.

2. The Sorting Game: The "Stratification"

The authors realized that to find all 35 designs, they didn't need to build every tower from scratch. They just needed to sort the blueprints based on how these "sheets" (bivectors) were arranged.

They used a concept called stratification, which is like sorting a pile of mixed-up puzzle pieces into different boxes based on their shape.

The Boxes: They looked at how many "sheets" they had and how they intersected with a giant, invisible geometric shape called the Klein Quadric (think of this as a giant, curved wall in the mathematical space).
The Rules: They asked questions like:
- "Do all our sheets lie flat against this wall?"
- "Do they cross the wall at a single point?"
- "Do they miss the wall entirely?"

3. The Three Main Scenarios

The paper breaks the problem down into three main scenarios based on the dimensions of the "base" of the tower (the part that doesn't move) versus the "top" (the part that moves).

Scenario A: The "Easy" Cases (7,1 and 8,0)
- Imagine a tower where almost everything is fixed, and only one or zero parts are moving. These are the simplest designs. There are only a few ways to arrange the sheets here, resulting in just a handful of basic towers.
Scenario B: The "Line" Cases (6,2)
- Here, you have two moving parts. In the blueprint, this looks like a line connecting two points in a giant 14-dimensional space.
- The authors studied how this line interacts with the "Klein Quadric" wall.
- The Discovery: They found that this line could intersect the wall in different ways:
  - It could lie entirely inside the wall.
  - It could touch the wall at one point, two points, or three points.
  - It could miss the wall completely.
- Each of these geometric interactions corresponds to a unique algebraic design. They found 11 unique designs just in this category.
Scenario C: The "Plane" Cases (5,3 and 4,4)
- Here, you have three or four moving parts. In the blueprint, this looks like a flat plane (a 2D sheet) floating in space.
- They studied how this plane intersects the "Klein Quadric" wall.
- The Discovery: The plane could slice through the wall to create a circle, a cone, two intersecting planes, or miss it entirely.
- Each geometric shape created by this intersection led to a new, unique tower design. This category yielded the most variety, with 21 unique designs.

4. The Final Result: The Master List

By combining all these geometric scenarios, the authors produced a complete list of 35 distinct isomorphism classes.

"Isomorphism Classes" is a fancy way of saying "Unique Shapes." Two towers might look different at first glance, but if you can rotate or stretch one to look exactly like the other, they are the same design. The authors proved there are exactly 35 ways to make these towers that cannot be transformed into one another.
They provided a Table 7 (the "Menu") that lists every single one of these 35 designs. For each design, they wrote down the exact "recipe" (the structure equations) so that anyone can build it.

Why Does This Matter? (According to the Paper)

The paper mentions that these mathematical structures are closely related to nilmanifolds.

The Analogy: Think of a nilmanifold as a complex, curved surface (like a donut or a pretzel) that is built by gluing together copies of these algebraic towers.
Because the algebra is "nilpotent" (it has a specific kind of simplicity), mathematicians can translate difficult problems about the shape of these surfaces into simple linear algebra problems (just adding and multiplying numbers).
This paper provides the "periodic table" of these building blocks. Now, if a mathematician wants to build a specific type of curved surface with certain properties, they can look at this list of 35, pick the right "block," and know exactly what they are working with.

Summary

The authors took a very hard, abstract problem (classifying 8-dimensional algebraic structures) and turned it into a geometric sorting game. By looking at how lines and planes interact with a specific curved wall in a high-dimensional space, they proved there are exactly 35 unique ways to build these structures. They then wrote down the blueprints for all 35, creating a definitive guide for anyone working in this field.

Technical Summary: Classification of 8-Dimensional 2-Step Nilpotent Lie Algebras

Problem Statement
The classification of finite-dimensional Lie algebras remains a central challenge in algebra. While semisimple Lie algebras are well-understood, the classification of solvable and, more specifically, nilpotent Lie algebras in arbitrary dimensions is considered a "wild" problem, implying no feasible algorithm exists for a general solution. However, low-dimensional classifications are tractable and hold significant value in differential geometry, particularly for the study of nilmanifolds (compact quotients of nilpotent Lie groups). This paper addresses the specific problem of classifying 8-dimensional 2-step nilpotent Lie algebras over an algebraically closed field $k$ of characteristic $\neq 2, 3$ . A 2-step nilpotent Lie algebra is defined as one where the commutator ideal is contained within the center.

Methodology
The authors employ a self-contained, elementary, and geometric approach that avoids the heavy machinery of Lie theory used in previous complex classifications (e.g., minimal systems of generators and semi-simple derivations). Instead, the methodology relies on the correspondence between nilpotent Lie algebras and minimal commutative differential graded algebras (CDGAs).

Dualization: The Lie algebra structure is dualized to a minimal CDGA $(\Lambda V, d)$ generated in degree 1. The Lie bracket corresponds to a differential $d$ mapping degree-1 elements to degree-2 elements (bivectors).
Characteristic Filtration: The 2-step nilpotency condition translates to the characteristic filtration of the minimal algebra having length 2. This implies $V = W_0 \oplus F_1$ , where $W_0 = \ker(d)$ and $d$ maps $F_1$ injectively into $\Lambda^2 W_0$ .
Geometric Stratification: The classification problem is reduced to finding the orbits of the subspace $\text{Im}(d) \subset \Lambda^2 W_0$ $Im (d) \subset Λ^{2} W_{0}$ under the action of $GL(W_0)$ $G L (W_{0})$ . The authors analyze the relative positions of these subspaces with respect to algebraic varieties defined by the rank of bivectors:
- Rank 2: Corresponds to the Grassmannian $G(1, n-1)$ (via the Plücker embedding).
- Rank 4 and 6: Defined by the vanishing of specific polynomial invariants (Pfaffians).
Case Analysis: The classification is performed by partitioning the problem based on the dimensions of $W_0$ $W_{0}$ ( $f_0$ $f_{0}$ ) and $F_1$ $F_{1}$ ( $f_1$ $f_{1}$ ), where $f_0 + f_1 = 8$ $f_{0} + f_{1} = 8$ . The possible pairs are $(8,0)$ $(8, 0)$ , $(7,1)$ $(7, 1)$ , $(6,2)$ $(6, 2)$ , $(5,3)$ $(5, 3)$ , and $(4,4)$ $(4, 4)$ .
- For the $(6,2)$ case, the image of $d$ is a line in $\mathbb{P}^{14}$ . The authors classify lines based on their intersection with the cubic hypersurface $C$ (rank $\leq 4$ ) and the Grassmannian $G$ (rank 2).
- For the $(5,3)$ case, the image is a plane in $\mathbb{P}^9$ . The classification involves analyzing the intersection of this plane with the Grassmannian $G(1,4)$ , utilizing scheme-theoretic intersections and rational maps of degree 2.
- For the $(4,4)$ case, the image is a 3-plane in $\mathbb{P}^5$ , and the analysis focuses on the intersection with the Klein quadric.

Key Contributions and Results
The primary result is the complete classification of 8-dimensional 2-step nilpotent Lie algebras over any algebraically closed field of characteristic $\neq 2, 3$ .

Total Count: There are exactly 35 isomorphism classes of such algebras.
Explicit Models: The paper provides explicit structure equations (differentials) for a representative of each isomorphism class in Table 7. These models are derived through constructive changes of basis.
Generality: Unlike previous classifications restricted to the complex numbers or specific irreducibility conditions, this result holds for any algebraically closed field of the specified characteristic. It unifies the treatment of both irreducible and reducible algebras.
Irreducibility: The paper identifies which of the 35 classes are irreducible (not sums of lower-dimensional algebras) and cross-references them with existing lists in the literature (specifically [20] and [25]), confirming consistency where overlaps exist.
Invariants: For each class, the authors compute the dimension of the center and the Betti numbers ( $b_2, b_3, b_4$ ), utilizing Poincaré duality and computational tools (SageMath).

Significance and Claims
The authors position this work as a novel contribution to the classification of nilpotent Lie algebras, extending known results over $\mathbb{C}$ to arbitrary algebraically closed fields of characteristic $\neq 2, 3$ .

Methodological Shift: The paper claims that its approach is "self-contained" and "elementary," relying on linear algebra and algebro-geometric arguments rather than complex Lie-theoretic invariants. This makes the classification accessible and constructive.
Utility for Geometry: The authors note that collecting all 2-step nilpotent algebras (both reducible and irreducible) in a single table is particularly useful for differential geometers constructing nilmanifolds with specific geometric structures (e.g., complex structures, Hermitian metrics, Spin(7)-structures). By providing a unified list, the paper facilitates the reduction of differential geometry problems on these manifolds to linear algebra problems on the Lie algebras.
Modesty on Scope: The authors explicitly state that the classification of 8-dimensional 2-step algebras over the real numbers ( $\mathbb{R}$ ) is a separate problem to be addressed in a forthcoming paper, noting that the current work is specific to algebraically closed fields. They also acknowledge that while the classification likely holds for characteristic 3, technical difficulties regarding the rank-3 bivector condition ( $\phi^3=0$ ) would require separate handling.

In summary, the paper provides a definitive, constructive list of 35 isomorphism classes for 8-dimensional 2-step nilpotent Lie algebras, validated through geometric stratification of bivector spaces, and serves as a foundational reference for further applications in the geometry of nilmanifolds.