Conventions & Algebra
Abstract
This paper fixes the algebraic conventions used throughout the D8 program.
1. Introduction
This paper establishes the definitive notation for the D8 program. It contains no physical claims and derives no new results; rather, its goal is to provide a single, unambiguous reference for the algebra, basis, generators, and charge conventions. Laying this groundwork here ensures that subsequent papers do not need to restate these definitions or risk drifting into inconsistent notation.
The core setting is the Clifford algebra . Crucially, we make one foundational architectural commitment that holds throughout this entire body of work: the algebra is treated as a three-complex-dimensional fiber over a four-dimensional spacetime base, rather than a single eight-dimensional manifold. This is a matter of interpretation rather than a theorem, but it is the interpretation that dictates the meaning of every symbol below. It specifies which generators belong to spacetime and which belong to the fiber, elevates the relationship between them from a trivial identity to an object in its own right, and ultimately allows a soldering between them to exist.
If one instead views as a single eight-dimensional space with one metric and one set of tetrads, the definitions from §3 onward will not function as intended. We define this soldering structurally in §3.3 and address its dynamics in Paper 2; in the present paper, it serves primarily as the conceptual reason to maintain the base/fiber distinction.
Two consequences of this interpretation directly shape how this material is presented:
- Split indices: We separate indices throughout the text, using greek letters (ex: ) for the base, and latin letters (ex: ) for the fiber, and capital letters (ex: ) when referring to both.
- Distinct actions: Left and right actions on an algebra element represent physically distinct operations and are never interchanged. Consequently, the generators introduced in §7 are stated twice—once acting from the right and once from the left—because the difference between them is a physical reality, not a convention.
To outline the organization, §2 details the algebra, its grade structure, and the conventions for reversion and conjugation. §3 introduces the base/fiber split alongside the fiber Hermitian metric. In §4, we provide the Wick-rotated oscillator basis and its explicit dictionary to the generators . §5 constructs the sixteen primitive idempotents, the resulting block decomposition of a general element , and the conjugation relations that tie these blocks together. Following this, §6 introduces the four commuting ladder bivectors that generate the decomposition, while §7 defines the basis in its right, left, and coset forms alongside its closure relations. Finally, §8 fixes the charge operators, §9 collects the necessary normalizations, and §10 aggregates the reference tables.
We conclude with three conventions applied silently throughout the text. First, reversion is always meant in the algebraic sense as a grade-dependent sign; when verifying claims via matrix realization, the intertwiner remains a property of that specific realization rather than the algebra itself. Second, the numbering of the generators is defined strictly by §7.1 and does not follow external literature conventions. Third, the relative signs in the block table of §5.3 are determined by the ladder construction in §6 rather than chosen arbitrarily; §5.5 clarifies exactly which signs are structurally fixed and which remain free up to a global sign.
2. The Algebra
2.1 Definition and dimension
We work within the real Clifford algebra , which is generated by the elements for . These generators satisfy the defining relation:
where the metric is , meaning and for . This relation spans the entire eight-dimensional range. Consequently, the base and fiber generators introduced in §3 are components of a single, unified algebra, rather than two separate algebras placed side by side.
An ordered basis is formed by the products where , corresponding to each subset of . The algebra therefore has a dimension of over , which breaks down by grade as follows:
| grade | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
|---|---|---|---|---|---|---|---|---|---|
| 1 | 8 | 28 | 56 | 70 | 56 | 28 | 8 | 1 |
Two structural properties will be essential later. First, , meaning it maps directly to the algebra of real matrices. The fact that this representation space is strictly real explains why conjugate partners naturally emerge in the block decomposition of §5. Second, the even subalgebra is -dimensional, with . Its center is spanned by , where is the pseudoscalar defined in §2.4.
Throughout this work, we treat any field as an actual element of the algebra, rather than as an external column spinor. As a result, gauge and frame transformations act on it from both sides via , and these two actions remain completely independent.
2.2 Grade projection and the scalar part
For write for the projection onto grade , and for the scalar part. The bilinear form used throughout is , with reversion defined in §2.3.
Lemma (cyclicity). For all ,
Proof. In the faithful realization the scalar part is proportional to the matrix trace, , since every non-scalar basis blade is traceless. Cyclicity of the trace gives the result, and extends to any number of factors. Equivalently, and without leaving the algebra: for basis blades the scalar part vanishes unless , and on that support the coefficient is symmetric under exchange of the two factors.
This lemma is what permits the cyclic rearrangement of the fermion bilinear in Paper 5; it is stated here so that no later argument relies on it implicitly.
2.3 Reversion, grade involution, and conjugation
Reversion, written , reverses the order of the generators in each blade and therefore acts on grade by the sign . Grade involution acts by , and Clifford conjugation is their composition, acting by :
| grade | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
|---|---|---|---|---|---|---|---|---|---|
| reversion | |||||||||
| grade involution | |||||||||
| Clifford conjugation |
The reversion row is used repeatedly and is worth reading off explicitly. The reversion-even grades are , spanning dimensions, and the reversion-odd grades are , spanning . In particular bivectors are reversion-odd, which is what makes a rotor satisfying for a bivector; and grade is reversion-even, which is why is not a rotor in this sense.
Reversion is always meant algebraically, as the grade-dependent sign above. Where a matrix realization is used for verification, reversion is implemented there by an intertwiner whose form depends on the realization chosen and carries no algebraic content.
2.4 The pseudoscalar
The pseudoscalar is
For generators of which square to , ; here and , giving
This sign is not a convention and is used in Paper 3, where it forces the anti-de Sitter sign of the vacuum.
Since is even, commutes with elements of even grade and anticommutes with those of odd grade; it is central in but not in the full algebra. It is reversion-even, , so does not satisfy . Multiplication by maps grade to grade and implements Hodge duality on the algebra.
3. Fiber and base
3.1 The split
The eight generators partition into two distinct sets. The first four, where , span the four-dimensional spacetime base and inherit the signature from :
The remaining four generators, for , span the fiber and are strictly spacelike. To keep notation clean across this program, we use for base directions, for fiber directions, and for the complete eight-dimensional range. Because base and fiber generators anticommute via the defining relation in §2.1, this split simply divides the generators of a single, unified algebra rather than breaking it apart into a product of two independent systems.
This assignment is permanent; no convention allows us to swap or relabel the two sets. The physical distinction between base and fiber is rigidly locked by the soldering mechanism discussed in §3.3, and the structural integrity of the entire framework relies on this layout.
3.2 The fiber Hermitian metric
The fiber carries a complex structure that organizes its six real directions into three complex directions. If we denote the generators adapted to this structure as and , the Clifford relations become:
Here, serves as a Hermitian metric on the fiber. In a canonical frame, this metric reduces to , recovering the standard fermionic oscillator algebra used in §4.
We retain this metric explicitly because it does not have to remain flat. A non-trivial deforms both the oscillator relations and the resulting projector construction in §5 (which we initially define in the canonical frame). To handle a non-flat fiber metric smoothly, our overarching convention is to execute computations in a local frame where the generators obey canonical relations, allowing any geometric variations of to manifest elsewhere in the machinery rather than warping the underlying algebra.
Additionally, the rotations of the operators that preserve this complex structure form a group, whose generators are derived in §7.
3.3 Soldering
The base and fiber link together via a soldering mechanism - a structural identification that maps a specific direction in the fiber directly to the base. This relationship ensures the partitioning in §3.1 is physically meaningful rather than an arbitrary choice. Crucially, this mechanism behaves as a field rather than a rigid background, meaning its value can vary from point to point.
This spatial variation yields three immediate structural consequences:
- Inherent connection terms: Keeping the frame aligned as the soldering fluctuates requires a local rotor, generating a non-removable connection term.
- Symmetry breaking: Choosing a specific soldering direction breaks the fiber's symmetry down to a subgroup, isolating the broken directions as a coset.
- Geometric anisotropy: Because the soldering singles out one fiber direction over the others, it naturally induces an anisotropic geometry.
We do not develop these dynamics here. Paper 2 provides the full dynamic framework for the soldering field, constructing the rotor, the coset, and the resulting field content. For the scope of this paper, the mechanism serves strictly as the structural justification for maintaining the base/fiber split and fixing the assignments in §3.1.
The oscillator base
Wick rotated generators
Generator dictionary
Projectors and block decomposition
The ladder
The basis
Charges
Normalization registry
Summary tables
Reviews of this version
All reviews →https://fusis.org/projects/d8/papers/conventions-algebra