🔢 mathematics

A short construction of the Lie algebra $G_2(K)$ over fields $K$ of characteristic $2$

This paper presents an explicit and elementary construction of the 14-dimensional Lie algebra of type $G_2(K)$ over a field $K$ of characteristic 2, relying solely on basic linear algebra concepts.

Original authors: Mashhour Bani-Ata, Abdulkareem Alhuraiji

Published 2026-02-19

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Mashhour Bani-Ata, Abdulkareem Alhuraiji

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 very specific, complex structure called G2. In the world of mathematics, this structure is a "Lie algebra," which is essentially a set of rules for how shapes and directions can twist, turn, and interact with each other.

Usually, building G2 is like trying to assemble a 14-piece puzzle using instructions written in a language only a few experts speak. It's complicated, abstract, and often requires advanced theory to understand.

This paper, however, is like finding a simple, DIY instruction manual for building that same 14-piece puzzle, but specifically for a weird, tricky version of reality where the rules of arithmetic are different (called "characteristic 2"). In this world, $1 + 1 = 0$ . It's a place where things behave in counter-intuitive ways, making the usual blueprints fail.

Here is how the authors, Mashhour and Abdulkareem, built their G2 structure using a "naive" (simple) approach:

1. The Playground: A Geometric Game Board

Instead of starting with abstract equations, the authors start with a game board.

The Points and Lines: Imagine a board with 27 special dots (points) and 45 connecting lines. This isn't just any board; it's a "Generalized Quadrangle." Think of it like a very strict game of Connect-Four where the rules are: "If you pick a line, you can only connect to specific dots, and if you are outside a line, there is exactly one way to connect to it."
The Rules: They use a special kind of geometry (quadratic forms) to define which dots are "friends" (connected) and which are "strangers."

2. The "Root Bases": The Building Blocks

To build their structure, they need specific sets of dots called Root Bases.

Analogy: Think of a Root Base as a "starter kit" of 6 specific dots.
The Rule: In a starter kit, every dot must be connected to every other dot in the kit, but in a very specific way (mathematically, their "dot product" is 1).
There are exactly 72 of these starter kits on the board. The authors treat these kits as the fundamental "atoms" of their Lie algebra.

3. The Big Machine: The E6 Factory

Before they can build the small G2 structure, they build a massive machine called E6.

Imagine a giant factory (the Lie algebra $E_6$ ) that takes all 72 starter kits and the 27 dots and turns them into a 78-dimensional machine.
This machine is huge and complex. It's like a massive, 78-room mansion.
Inside this mansion, there are smaller wings. One of these wings is a 28-room section called D4.

4. The Magic Trick: Finding G2 inside D4

This is the core of the paper. The authors want to find the 14-room G2 structure inside the 28-room D4 wing.

The Problem: How do you isolate the G2 part from the rest of the D4 wing?
The Solution: They use a "rotator" (an element called d).
- Imagine the D4 wing has a spinning carousel in the middle.
- The rotator spins the room around in groups of three. Some rooms stay still (fixed points), while others spin in circles of three.
- The authors look for the Centralizer. In plain English, this means they are looking for the parts of the machine that do not move when the rotator spins.
The Result: When they filter out everything that moves, they are left with exactly the 14 dimensions they needed. The spinning action naturally "cancels out" the extra complexity, leaving behind the perfect G2 structure.

5. Why This Matters

Usually, building these "Exceptional Lie Algebras" (like G2, F4, E6) is like trying to bake a soufflé using a recipe that requires you to understand quantum physics first.

The Old Way: "Use deep theory, advanced topology, and complex numbers."
This Paper's Way: "Grab a game board, pick some dots, draw some lines, and use a simple spinning trick."

They proved that even in the tricky "characteristic 2" world (where math behaves strangely), you don't need a PhD in rocket science to build G2. You just need a little bit of "naive linear algebra" (basic high school math concepts) and a good geometric game board.

Summary

The paper is a guide on how to construct a complex mathematical object (G2) by:

Setting up a geometric game with dots and lines.
Building a large, complex machine (E6) from those dots.
Finding a smaller machine (D4) inside it.
Using a simple "spin" to filter out the noise, leaving behind the perfect, 14-dimensional G2 structure.

It turns a mysterious, high-level mathematical concept into a tangible, step-by-step construction project that anyone with a basic understanding of geometry can follow.

1. Problem Statement

The paper addresses the construction of the exceptional Lie algebra of type $G_2$ over a field $K$ of characteristic 2.

Context: While the construction of exceptional Lie algebras ( $G_2, F_4, E_6, E_7, E_8$ ) is well-established for fields of characteristic 0 or $p > 3$ , the case of characteristic 2 is notoriously difficult due to the failure of standard root system properties and the degeneracy of certain bilinear forms.
Goal: To provide an explicit, elementary, and short construction of the 14-dimensional Lie algebra $G_2(K)$ and demonstrate its embedding within the 28-dimensional Lie algebra of type $D_4(K)$ , which itself is embedded in the 56-dimensional $F_4(K)$ .
Constraint: The authors aim to achieve this using "naive linear algebra notions" rather than heavy machinery from general Lie theory.

2. Methodology

The authors employ a geometric approach based on the theory of generalized quadrangles and root bases.

A. Geometric Foundation

Vector Space: They start with a 6-dimensional vector space $V$ over $\mathbb{F}_2$ equipped with a non-degenerate quadratic form $Q$ of minimal Witt-index (maximal totally singular subspace dimension is 2).
Generalized Quadrangle: They define a generalized quadrangle $(P, L)$ $(P, L)$ of type $O^-_6(2)$ $O_{6}^{-} (2)$ :
- $P$ : The set of 27 singular points (non-zero vectors where $Q(x)=0$ ).
- $L$ : The set of 45 lines (2-dimensional subspaces where $Q$ vanishes).
Weyl Group: The orthogonal group $O(V, Q)$ , isomorphic to $U_4(2):2$ , acts as the Weyl group $W$ of type $E_6$ . It is generated by 36 reflections (3-transpositions).

B. Algebraic Construction

Root Bases ( $\Phi$ ): A subset $\Delta \subset P$ is a "root base" if it forms a basis for $V$ over $\mathbb{F}_2$ and any two distinct elements have a bilinear form value of 1. There are 72 such root bases.
Lie Roots ( $R_\Delta$ ): They construct a 27-dimensional vector space $A$ over $K$ with basis $\{e_x \mid x \in P\}$ . For each root base $\Delta$ , they define a linear operator $R_\Delta$ (a "Lie root") on $A$ that acts as a permutation on the basis elements corresponding to $\Delta$ .
Lie Algebra $E_6$ : The Lie algebra generated by the Cartan elements $H_v$ and the 72 Lie roots $R_\Delta$ forms a subalgebra of $\text{End}_K(A)$ of dimension 78, identified as type $E_6$ .
Subalgebra $D_4$ : By selecting a line $L \in \mathcal{L}$ , they define a subalgebra $D_L$ generated by Lie roots associated with root bases orthogonal to $L$ . This forms a 28-dimensional Lie algebra of type $D_4$ .

C. The $G_2$ Construction via Centralizers

The core of the paper is the derivation of $G_2$ from $D_4$ :

Selection of Element $d$ : Choose an element $d$ in the normalizer of the line $L$ within the Weyl group $W$ ( $d \in N_W(L)$ ) such that $d$ has order 3.
Centralizer: The authors construct the centralizer $C_{D_L}(d)$ of $d$ within the $D_4$ algebra.
Orbit Decomposition: They analyze the action of $d$ $d$ on the set of Lie roots. The 24 Lie roots in $D_L$ $D_{L}$ decompose into:
- 6 fixed roots.
- 6 orbits of length 3.
New Generators: They define new generators $S_\Delta$ by summing the Lie roots in the orbits of length 3 (i.e., $S_\Delta = R_\Delta + R_{\Delta}^d + R_{\Delta}^{d^2}$ ).
Resulting Algebra: The algebra generated by the centralizer of the Cartan subalgebra and these new $S_\Delta$ elements forms the target Lie algebra.

3. Key Contributions

Explicit Construction: The paper provides a concrete matrix/operator-based construction of $G_2(K)$ in characteristic 2, avoiding abstract existence proofs.
Elementary Approach: The construction relies on basic linear algebra (vector spaces, bilinear forms, permutations) and the combinatorics of the generalized quadrangle, making the theory more accessible.
Embedding Proof: It rigorously proves that $G_2(K)$ is a Lie subalgebra of $D_4(K)$ (specifically, the centralizer of an order-3 element in the Weyl group acting on $D_4$ ).
Dimensional Verification: The authors explicitly calculate the dimensions:
- $D_4(K)$ : Dimension 28.
- $G_2(K)$ : Dimension 14 (derived from a 12-dimensional root space plus a 2-dimensional Cartan subalgebra).

4. Main Results

Theorem 11: The centralizer $C_{D_L}(d)$ of an element $d$ of order 3 (where $d \in N_W(L)$ ) in the Lie algebra $D_L$ (type $D_4$ ) is a Lie algebra of type $G_2$ with dimension 14.
Decomposition Formula: The paper establishes the direct sum decomposition:
$G_2(K) = C_{H_L}(d) \oplus \langle S_X \rangle$
Where $C_{H_L}(d)$ is the centralizer of $d$ in the Cartan subalgebra (dimension 2), and $\langle S_X \rangle$ is the space spanned by the 12 constructed Lie roots (6 fixed + 6 orbit-sums).
Closure under Commutator: The authors verify that the set of generators $\{S_X\}$ is closed under the Lie bracket operation $[S_X, S_Y]$ , ensuring the structure forms a valid Lie algebra. The commutators result in either 0, elements in the Cartan subalgebra, or other Lie roots $S_Z$ .

5. Significance

Resolution of a "Notorious" Case: Characteristic 2 is often excluded from standard Lie algebra classifications due to technical pathologies. This paper fills a gap by providing a robust construction for the smallest exceptional algebra, $G_2$ , in this specific characteristic.
Geometric Insight: It reinforces the deep connection between exceptional Lie algebras and finite geometries (specifically generalized quadrangles), offering a geometric intuition for the algebraic structure.
Foundation for Further Study: By embedding $G_2$ in $D_4$ and $D_4$ in $F_4$ , the paper contributes to the understanding of the chain of embeddings $G_2 \subset D_4 \subset F_4 \subset E_6$ in characteristic 2, which is crucial for the classification of finite groups of Lie type and modular representation theory.
Pedagogical Value: The "naive" nature of the construction makes it a valuable resource for understanding the mechanics of exceptional Lie algebras without requiring advanced prerequisites in algebraic groups or cohomology.