Colour algebras over rings

This paper generalizes colour algebras from fields of odd characteristic to unital commutative associative rings containing $\frac{1}{2}$, demonstrating their canonical construction via nondegenerate ternary hermitian forms with trivial determinant and exploring their structural properties, automorphism groups, derivations, and close relationship with octonion algebras.

The Gist

Imagine you are an architect designing buildings. Usually, you work with a standard set of blueprints and materials (like wood or brick) that behave predictably. In mathematics, these "standard materials" are often fields (like the real numbers or complex numbers).

This paper is about taking a very specific, exotic type of building material called a "Colour Algebra" and asking: "What happens if we try to build these structures not just on a flat, simple foundation, but on a more complex, flexible landscape called a 'Ring'?"

Here is a breakdown of the paper's journey, translated into everyday language.

1. The Original "Colour" Building (The Field)

First, let's look at the original design. In the 1970s, physicists discovered that particles called quarks (the building blocks of protons and neutrons) come in three "flavours" or "colours" (Red, Green, Blue). To describe how these quarks interact, mathematicians created a special 7-dimensional algebra called a Colour Algebra.

Think of this algebra as a 7-story skyscraper.

• It has a solid ground floor (the number 1).
• It has three "up" floors ($u_1, u_2, u_3$) and three "down" floors ($v_1, v_2, v_3$).
• The rules for moving between floors are strict and non-commutative (going Up-1 then Up-2 gets you to a different spot than Up-2 then Up-1).

For a long time, mathematicians only studied these skyscrapers when the ground was perfectly flat and uniform (a Field).

2. The Challenge: Building on "Rings"

The author, S. Pumpluën, asks: What if the ground isn't flat?

In math, a Ring is like a landscape that might have hills, valleys, or different types of soil in different places. It's more complex than a simple field.

• The Problem: You can't just copy-paste the old blueprints. The rules that worked on flat ground might break on a hill.
• The Goal: Define what a "Colour Algebra" looks like when built on this complex, bumpy ground (a Ring).

3. The Construction Kit: The "Vector Product"

How do you build this new algebra? The author uses a clever construction kit involving 3D vectors.

Imagine you have a magical 3D space (like a cube of space).

• In this space, you can take two arrows and combine them to make a third arrow that points in a completely new direction (this is the Vector Product, like in physics).
• The paper shows that you can build the entire 7-story Colour Algebra by taking a 3D space and its "mirror image" (its dual), and then gluing them together with a special rule.

The Analogy:
Think of the Colour Algebra as a sandwich.

• The top and bottom buns are the numbers (the Ring).
• The filling is a 3D space and its mirror image.
• The "special sauce" that holds it together is a Hermitian Form (a fancy way of measuring distance and angles in this 3D space).

The paper proves that if you have a 3D space with a specific kind of "perfect balance" (trivial determinant), you can automatically construct a Colour Algebra. It's like saying, "If you have a perfectly balanced 3D gyroscope, you can automatically build a 7-story skyscraper around it."

4. The Twin Brothers: Octonions and Colour Algebras

One of the most exciting discoveries in the paper is the relationship between Colour Algebras and Octonions.

• Octonions are a famous, weird 8-dimensional number system used in advanced physics.
• Colour Algebras are 7-dimensional.

The paper reveals that Colour Algebras are essentially the "shadow" or the "core" of Octonions.

• The Metaphor: Imagine an Octonion is a 8-dimensional sphere. If you slice off a specific 1-dimensional piece (the "ground floor"), you are left with a 7-dimensional object: the Colour Algebra.
• The author shows that over complex rings, these two are so tightly linked that understanding one helps you understand the other. They are like Siamese twins; you can't really separate them without losing part of the story.

5. The "Big Radical" Surprise

In the final section, the author builds a specific example using polynomials (equations with variables like $x, y, z$).

• The Setup: They build a Colour Algebra over a "projective space" (think of this as a giant, curved canvas where lines wrap around).
• The Result: When they look at the "global" structure (the whole building), they find something strange. The algebra has a Huge Radical.

What is a Radical?
In algebra, a "radical" is like a structural weakness or a "dead zone" where the rules don't really do anything. It's a part of the building that is hollow.

• In simple fields, these buildings are solid and strong.
• In these complex ring settings, the author finds that the buildings have massive hollow cores. The "solid" part of the algebra is tiny compared to the "hollow" part.

Why does this matter?
It shows that when you move from simple fields to complex rings, the math becomes much "flabbier" and more degenerate. The structures lose their tightness. This is a crucial warning for physicists and mathematicians: Don't assume the rules work the same way just because they worked on a simple field.

Summary: The Big Picture

This paper is a bridge.

1. It takes a known concept (Colour Algebras) from the simple world of Fields.
2. It successfully transports it to the complex world of Rings (using 3D vector spaces as the bridge).
3. It proves that these new structures are deeply connected to Octonions (the 8D cousins).
4. It discovers that in this complex world, these algebras can become "hollow" or "degenerate" in surprising ways.

In one sentence: The paper shows how to build complex, 7-dimensional mathematical structures on bumpy, complex ground, revealing that they are secretly twins of 8-dimensional number systems, but often come with a massive "hollow core" that doesn't exist on flat ground.

Technical Summary

1. Problem Statement and Context

The paper addresses the generalization of colour algebras from fields to unital commutative associative rings $R$ (where $2 \in R^\times$).

• Background: Over fields of odd characteristic, colour algebras are well-known noncommutative Jordan algebras closely related to octonion algebras and the "colour symmetry" of the Gell-Mann quark model. They are typically defined as forms of a "split" colour algebra with a 7-dimensional basis.
• The Gap: While the structure of octonion algebras over rings is known to be richer and more complex than over fields, a systematic theory of colour algebras over rings was lacking. Specifically, the paper seeks to:
  1. Define colour algebras over general rings.
  2. Establish a canonical construction method using hermitian forms (analogous to the construction of octonion algebras).
  3. Investigate their structural properties (isomorphisms, automorphisms, derivations).
  4. Construct new examples of noncommutative Jordan algebras with large radicals using projective schemes.

2. Methodology

The author employs a combination of algebraic geometry, module theory, and nonassociative algebra techniques:

• Local-Global Principle: The definition of a colour algebra over a ring $R$ is given via localization. An algebra $A$ over $R$ is a colour algebra if $A \otimes_R k(P)$ is a colour algebra over the residue field $k(P)$ for all prime ideals $P \in \text{Spec}(R)$.
• Functorial Construction (Split Case): The paper introduces split colour algebras $Col(T, \alpha)$ constructed from a projective $R$-module $T$ of rank 3 with a trivialized determinant ($\det T \cong R$) and an isomorphism $\alpha$. This generalizes the classical split colour algebra defined on free modules.
• Hermitian Form Construction: The author adapts the construction of octonion algebras (Petersson, Racine, Thakur) to colour algebras. By utilizing a nondegenerate ternary hermitian form with trivial determinant over a quadratic étale algebra $S$, the paper constructs colour algebras $Col(S, P, h, \alpha)$.
• Vector Algebra Projection: A key technique involves projecting the multiplication of the colour algebra onto a 6-dimensional subspace (the "vector part") to form a vector colour algebra $W$, which serves as a bridge to octonion algebras (specifically Zorn algebras).
• Scheme-Theoretic Examples: The paper utilizes the projective space $X = \mathbb{P}^n_R$ and line bundles $\mathcal{O}_X(k)$ to construct global sections that form noncommutative Jordan subalgebras with specific rank and radical properties.

3. Key Contributions and Results

A. Definition and Split Construction

• General Definition: A colour algebra over $R$ is a unital, finitely generated projective $R$-module of constant rank 7 with full support, such that its localizations are colour algebras over fields.
• Split Colour Algebras: The paper defines $Col(T, \alpha) = R \oplus T \oplus \check{T}$ with a specific multiplication rule involving a vector product $\times$ derived from $\alpha$.
  • It is proven that $Col(T, \alpha)$ is a flexible and quadratic noncommutative Jordan algebra.
  • The norm is given by $n(\begin{smallmatrix} a & u & \check{u} \\ & & a \end{smallmatrix}) = a^2 - \langle u, \check{u} \rangle$.
• Relation to Zorn Algebras: The split colour algebra is shown to be the "vector part" of a split octonion algebra (Zorn algebra) $Zor(T, \alpha)$. This establishes a tight structural link: $Col(T, \alpha)$ can be reconstructed from the vector part of $Zor(T, \alpha)$.

B. Construction via Hermitian Forms

• The paper constructs colour algebras $Col(S, P, h, \alpha)$ using a rank-3 nondegenerate hermitian space $(P, h)$ over a quadratic étale algebra $S$ with trivial determinant.
• Multiplication: Defined on $R \oplus P$ as $(a, u)(b, v) = (ab - \frac{1}{2}(h(u,v) + \overline{h(u,v)}), va + ub + u \times_\alpha v)$.
• Properties: These algebras are flexible, quadratic, and possess a canonical involution.
• Isomorphism Theorems: The paper generalizes results from fields to rings, proving that isometries of the underlying hermitian spaces induce isomorphisms of the resulting colour algebras, vector algebras, and associated octonion algebras.

C. Automorphisms and Derivations

• Automorphism Groups: The automorphism group of a colour algebra $Col(S, P, h, \alpha)$ is identified with the Special Unitary Group $SU(P, h)$ (when $R$ is a field) or its ring-theoretic analogue.
  • Specifically, $\text{Aut}_R(Col(S, P, h, \alpha)) \cong \text{Aut}(W(S, P, h, \alpha))$, where $W$ is the associated vector algebra.
• Derivations: The Lie algebra of derivations $\text{Der}(Col(S, P, h, \alpha))$ is shown to be isomorphic to the Lie algebra of derivations of the associated vector algebra and the special unitary Lie algebra $\mathfrak{su}(P, h)$.
• Functoriality: The construction is shown to be functorial with respect to morphisms of the underlying modules and isomorphisms of the determinant.

D. New Examples with Large Radicals

• The paper constructs a family of noncommutative Jordan algebras over the polynomial ring $R[t_0, \dots, t_n]$ by taking global sections of split colour algebras over projective space $\mathbb{P}^n_R$.
• Rank: These algebras are free $R$-modules of rank $1 + \binom{l+n}{n} + \binom{m+n}{n} + \binom{l+m+n}{n}$.
• Degeneracy: When $R$ is a field, the norm of these algebras is highly degenerate.
• Radical: The algebras possess a large radical (the kernel of the norm), with dimension $\binom{l+n}{n} + \binom{m+n}{n} + \binom{l+m+n}{n}$. This parallels similar constructions using Zorn algebras but highlights the richness of colour algebras over schemes.

4. Significance

• Unification: The paper unifies the theory of colour algebras with the theory of octonion algebras over rings, showing that colour algebras are the natural "vector" counterparts to octonions in the context of noncommutative Jordan algebras.
• Structural Insight: It clarifies that the intricate structure of octonion algebras over rings (which cannot always be constructed via standard composition methods) is reflected in the structure of colour algebras.
• New Class of Algebras: The construction of noncommutative Jordan algebras with large radicals over polynomial rings provides new examples for the classification of finite-dimensional central simple noncommutative Jordan algebras and their generalizations.
• Physical Relevance: By formalizing the algebraic structure over rings, the work potentially offers a more robust mathematical framework for the "colour symmetry" in quantum physics, extending beyond the field-based models.

In summary, S. Pumplu successfully extends the theory of colour algebras from fields to rings, providing a canonical construction via hermitian forms, establishing their relationship with Zorn algebras, and generating new classes of noncommutative Jordan algebras with significant structural properties.