🔢 mathematics

Affine cohomology classes for filiform Lie algebras

This paper classifies the second cohomology spaces for filiform nilpotent Lie algebras up to dimension 11 and certain higher dimensions, demonstrating how the existence or absence of affine cohomology classes determines the presence of canonical or any affine structures on the corresponding Lie groups, with a specific focus on algebras having minimal Betti numbers.

Original authors: Dietrich Burde

Published 2026-01-15

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Dietrich Burde

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 build a house. In mathematics, the "house" is a Lie group (a smooth, continuous shape with a specific symmetry), and the "blueprint" is its Lie algebra (the set of rules that define how the house behaves locally).

For a long time, mathematicians wondered: Can every solvable house be built with a specific type of "affine" blueprint? An affine structure is like a special set of instructions that allows you to tile the entire house with flat, straight tiles without any gaps or overlaps, while keeping the pattern consistent everywhere.

For a while, everyone thought the answer was "Yes." But then, mathematicians discovered some very strange, twisted houses (called filiform nilpotent Lie algebras) that simply cannot be tiled this way. They are the "impossible houses" of this mathematical world.

This paper, written by Dietrich Burde, is a massive detective story trying to figure out exactly which of these twisted houses are impossible to tile and why.

Here is the breakdown of the investigation using simple analogies:

1. The "Twisted" Houses (Filiform Algebras)

The paper focuses on a specific family of twisted houses called filiform algebras. Think of these as long, thread-like structures (the name comes from the Latin for "thread"). They are built in a very specific, step-by-step way.

The Problem: Some of these threads are so twisted that you can't lay down a flat, consistent floor plan (an affine structure) for them.
The Goal: The author wants to classify these threads to see which ones are "impossible" and which ones can still be built.

2. The "Magic Key" (Affine Cohomology Classes)

How do you know if a house can be tiled? You don't have to try building it; you just need to find a Magic Key.

In this paper, the "Magic Key" is called an affine cohomology class.
The Rule: If you can find this specific key (a mathematical object called a 2-cocycle) for a twisted house, then you are guaranteed that the house can be tiled (it has an affine structure).
The Twist: If a house doesn't have this key, it might still be impossible to tile, but it's not a guarantee. However, for the specific "thread-like" houses in this paper, the absence of the key is a very strong warning sign.

3. The Detective Work (Computing the Keys)

The author spent a lot of time doing heavy math (and using a computer program called REDUCE) to check every possible twisted house up to a certain size (dimension 11) and some larger ones.

Think of the "size" of the house as the number of rooms (dimensions).

Small Houses (Dimensions 3–11): The author checked every single variation of these small twisted houses. They created a giant checklist (a table in the paper).
- Green Checkmark (✓): This house has the Magic Key. It can be tiled.
- Red Minus Sign (−): This house does not have the Magic Key.
The Surprise: They found that for many of these small houses, the absence of the key means the house is truly impossible to tile.

4. The "Minimal" Houses (The Most Twisted Ones)

The most interesting suspects are the houses with the minimal Betti numbers.

Analogy: Imagine "Betti numbers" as a measure of how "knotted" or "complex" the house is. The author found a specific group of houses that are the least complex they can possibly be while still being twisted.
The Finding: These "minimal" houses (specifically those with a complexity score of 2) are the ones most likely to be impossible to tile.
The Big Discovery: For houses of size 13 and larger, the author proved that if they belong to a specific "minimal" class and lack the Magic Key, they definitely cannot be tiled. They are the confirmed "impossible houses."

5. The "Ado's Theorem" Connection

The paper mentions a famous rule called Ado's Theorem, which says every Lie algebra can be represented as a set of matrices (like a grid of numbers).

The Catch: If a house has an affine structure, it needs a "faithful" matrix representation that is only slightly bigger than the house itself (specifically, size $n+1$ ).
The Counter-Examples: The "impossible houses" found in this paper are so twisted that they require a matrix representation that is much bigger than the house itself. They break the rule of being "efficient."

Summary of the Conclusion

The Good News: For most small twisted houses (up to size 11), we now have a complete map. We know exactly which ones have the "Magic Key" and which ones don't.
The Bad News: There is a specific family of "minimal" twisted houses (starting at size 13) that do not have the Magic Key.
The Verdict: For these specific minimal houses of size 13, the author proved they cannot have an affine structure. They are the definitive counter-examples to the old idea that "all solvable houses can be tiled."

In a nutshell: The author built a catalog of "impossible" mathematical shapes. They found that if a shape is too twisted in a specific, minimal way, it simply cannot be flattened out into a consistent, tileable pattern. This solves a long-standing puzzle about the limits of these mathematical structures.

Technical Summary: Affine Cohomology Classes for Filiform Lie Algebras

Problem Statement
The paper addresses the algebraic formulation of Milnor's question regarding the existence of complete left-invariant affine structures on solvable Lie groups. While Auslander proved that such groups must be solvable, the converse was disproven by the discovery of nilpotent Lie groups (specifically filiform algebras of dimensions $10 \le n \le 13$ ) that admit no affine structures. The central problem is to determine which nilpotent Lie algebras admit affine structures. This is linked to the existence of faithful modules of dimension $n+1$ for a Lie algebra of dimension $n$ . The paper focuses specifically on filiform nilpotent Lie algebras, which are known to produce lower bounds for Betti numbers and are the primary candidates for counterexamples to the existence of affine structures. The specific goal is to classify the second cohomology spaces $H^2(\mathfrak{g}, K)$ and determine the existence of "affine cohomology classes" within them.

Methodology
The author employs the classification of filiform Lie algebras via adapted bases and structure constants.

Adapted Bases and Structure Constants: Using Vergne's result, any $n$ -dimensional filiform Lie algebra is isomorphic to a deformation $L_\psi$ of the standard graded filiform algebra $L(n)$ . The Lie brackets are determined by a 2-cocycle $\psi = \sum \alpha_{k,s} \psi_{k,s}$ , where $\alpha_{k,s}$ are structure constants.
Classification into Subclasses: The paper divides filiform algebras into specific subclasses ( $A_{n,i}(K)$ ) based on equalities and inequalities of these structure constants (e.g., $\alpha_{3,6} \neq 0$ ). This avoids the need for a full classification of all filiform algebras.
Cohomology Computation: The author computes the space of 2-cocycles $Z^2(\mathfrak{g}, K)$ and the second cohomology group $H^2(\mathfrak{g}, K) = Z^2/B^2$ . This involves solving the cocycle condition equations derived from the Lie bracket relations. Computations for dimensions $n \le 11$ were performed using the computer algebra package REDUCE.
Definition of Affine Classes: A 2-cocycle $\omega$ is defined as "affine" if it is non-zero on the wedge product of the center $z(\mathfrak{g})$ and the algebra $\mathfrak{g}$ . A cohomology class is affine if it contains an affine representative.

Key Contributions and Results

Classification of $H^2(\mathfrak{g}, K)$ for $n \le 11$ : The paper provides a complete table of the cohomology spaces $H^2(\mathfrak{g}, K)$ for all filiform Lie algebras of dimension $3 \le n \le 11$ . For each subclass, the basis of the cohomology space is explicitly described in terms of specific 2-cocycles ( $\omega_1, \omega_2, \dots$ ) and indicates whether an affine cohomology class exists.
Relation between Affine Cohomology and Affine Structures:
- Theorem 3.5: Proves that if a filiform Lie algebra $\mathfrak{g}$ admits an extension $0 \to \mathfrak{a} \to \mathfrak{h} \to \mathfrak{g} \to 0$ where $\mathfrak{a}$ is the center of $\mathfrak{h}$ , then $\mathfrak{g}$ admits an affine structure.
- Proposition 3.4: As a corollary, the existence of an affine cohomology class $[\omega] \in H^2(\mathfrak{g}, K)$ implies the existence of an affine structure of "canonical type" on $\mathfrak{g}$ .
Minimal Betti Numbers and Non-Existence:
- Proposition 4.4: Filiform algebras with minimal second Betti number $b_2(\mathfrak{g}) = 2$ do not admit an affine cohomology class.
- Theorem 4.11: For dimension $n=13$ , the paper proves that no Lie algebra in the class $A^2_{13}(K)$ (which has $b_2(\mathfrak{g})=2$ ) admits any affine structure. This is demonstrated by showing that the minimal dimension of a faithful module $\mu(\mathfrak{g}) \ge 15$ , whereas an affine structure would require $\mu(\mathfrak{g}) \le 14$ .
Results for Higher Dimensions ( $n \ge 12$ ):
- Theorem 4.8: For algebras in class $A^1_n(K)$ ( $n \ge 12$ ), $b_2(\mathfrak{g}) \ge 3$ , and an affine cohomology class always exists; thus, they admit a canonical affine structure.
- Theorem 4.10: For class $A^2_n(K)$ ( $n \ge 13$ ), the existence of an affine cohomology class depends on a specific polynomial condition $P_n \equiv 0$ on the structure constants. If the condition is not met, $b_2(\mathfrak{g}) = 2$ and no affine cohomology class exists.

Significance and Claims
The paper establishes a direct link between the cohomological property of having an "affine 2-cocycle" and the geometric property of admitting a canonical affine structure. It confirms that for filiform algebras with minimal second Betti numbers ( $b_2=2$ ), the absence of an affine cohomology class is a strong indicator of the non-existence of affine structures.

The author explicitly states that for certain filiform algebras (specifically those in $A^2_{13}(K)$ ), the absence of an affine cohomology class implies the nonexistence of any affine structure, not just the canonical type. This provides a concrete set of counterexamples to Milnor's question in dimension 13.

The paper modestly notes that while it proves the non-existence of affine structures for $n=13$ in the specific subclass $A^2_{13}(K)$ , the general question of whether counterexamples exist in every dimension $n \ge 10$ remains open. It also poses an open problem: whether the condition $\mu(\mathfrak{g}) \ge n+2$ is equivalent to the non-existence of an affine cohomology class for algebras in $A^2_n(K)$ for $n \ge 13$ . The results presented are partial, with some proofs deferred to an extended version of the article.