Bott type periodicity for the higher octonions

arXiv:1405.6521v1 [] 26 May 2014

Marie Kreusch

Abstract
We study the series of complex nonassociative algebras On and real nonassociative
algebras Op,q introduced in [10]. These algebras generalize the classical algebras of octonions and Clifford algebras. The algebras On and Op,q with p + q = n have a natural
Zn2 -grading, and they are characterized by cubic forms over the field Z2 . We establish
a periodicity for the algebras On and Op,q similar to that of the Clifford algebras Cln
and Clp,q .

1

Introduction

A series of noncommutative and nonassociative algebras Op,q over R and their complexification On (where n = p + q) was recently introduced [10] and studied in [9, 11, 8]. The
algebras On and Op,q generalize the classical algebras of octonions and split octonions in the
same way as the Clifford algebras generalize the quaternions. Note that the algebra of octonions O appears in the series as O0,3 , whereas the algebra of split octonions is isomorphic
to O3,0 , O1,2 and O2,1 . The properties of the algebras On and Op,q are very different from
those of the classical Cayley-Dickson algebras.
The series of algebras On and Op,q can be illustrated by the following diagram.
R

C

H

O

Cl0,3

O0,4

Cl0,4

O0,5

..
.

..
.

Clifford

algebras

algebras

Op,q

...

Cayley-Dickson
algebras

Figure 1: Families of Zn2 -graded algebras
The complex algebras On and especially the real algebras O0,n have applications to the
classical Hurwitz problem of sum of square identities and related problems; see [9, 11]. An
application of On to additive combinatorics was suggested in [12].
1

The idea to understand the classical algebra of the octonions O as a graded algebra was
suggested in [5], where, in particular, a Z32 -grading was considered1 . In [1], the algebra O was
understood as a twisted group algebra over Z32 which has a graded commutative and graded
associative structure.
The algebras On and Op,q are graded algebras over the abelian group Zn2 ; the algebra O0,3
is isomorphic to O. Moreover, they are characterized by a cubic form
α : Zn2 → Z2 ,
where Zn2 is understood as a vector space of dimension n over the field Z2 of two elements;
see [10]. This is the main property of the algebras On and Op,q that distinguish them from
other series of algebras generalizing the octonions, such as the Cayley-Dickson algebras.
The problem of classification of the real algebras Op,q with fixed n = p + q depending on
the signature (p, q), was formulated in [10]. This problem was solved in [8], the result is as
follows. The classification table of Op,q for p and q 6= 0, coincides with the well known table
of the real Clifford algebras; the algebras O0,n and On,0 are exceptional.
The present paper answers the following problem: how do the algebras On and Op,q
with p + q = n depend on the parameter n? Similarity with the Clifford algebras allows
one to expect properties of periodicity, in particular it is natural to look for analogs of socalled Bott periodicity; see [3].
We consider the problem of periodicity in the complex and in the real cases separately.
We establish a periodicity modulo 4. In the complex case, we link together the algebras On
and On+4 . Note that for the complex Clifford algebras there is a simple periodicity modulo 2.
In the real case, for the algebras Op,q (provided p > 0 and q > 0) we establish two different
results about periodicity modulo 4. The situation for the exceptional algebras O0,n and On,0
is different. The results are compared to the well-known results for the Clifford algebras Clp,q .

2

The algebras On and Op,q

In this section, we recall definitions of the complex algebras On and of the real algebras Op,q ,
as twisted group algebras over Zn2 characterized by a cubic form. We then give an equivalent
definition of On and Op,q in term of generators and relations. Finally, we recall the main
results of classification from [8].

2.1

On and Op,q as twisted group algebras over Zn2

We denote by K the ground field assumed to be R or C. Let f be an arbitrary function in
two arguments
f : Zn2 × Zn2 → Z2 .
The twisted group algebra A = (K [Zn2 ] , f ) (for more detail see [4] and [10]) is defined as the
2n -dimensional vector space with the basis {ux , x ∈ Zn2 }, and equipped with the product
ux · uy = (−1)f (x,y) ux+y ,
for all x, y ∈ Zn2 .
1
Throughout the paper we denote by Z2 the quotient Z/2Z understood as abelian group, and also as a
field of two elements {0, 1}.

2

Example 2.1. (a) Recall that the real Clifford algebra denoted by Clp,q is the associative
algebra with n = p + q generators v1 , . . . , vn satisfying the relations
®

vi2 =

1, 1 ≤ i ≤ p,
−1, p + 1 ≤ i ≤ p + q,

(2.1)

vi · vj = −vj · vi ,
for all i 6= j ≤ n. Obviously, dim Clp,q = 2n , and a natural basis is
{vi1 · · · vik | 1 ≤ i1 < . . . < ik ≤ n} .
The (real) algebra of quaternions H ( ≃ Cl0,2 ), and more generally every complex or real
Clifford algebra with n generators can be realized as twisted group algebras over Zn2 ; see [2].
Denote by x = (x1 , . . . , xn ) and y = (y1 , . . . , yn ) the elements in Zn2 (where the components
xi and yi are equal to 0 or 1) and defined two functions given by
fCln (x, y) :=

X

xi y j ,

1≤i≤j≤n

fClp,q (x, y) := fCln (x, y) +

X

xi y i

(n = p + q).

1≤i≤p

Then the defined twisted group algebras are isomorphic to Cln in the complex case, and to Clp,q
in the real case. In particular, fH (x, y) = x1 y1 + x1 y2 + x2 y2 corresponds to the algebra of
quaternions.
(b) The (real) algebra of octonions O is a twisted group algebra over Z32 ; see [1]. The
twisting function is cubic:
fO (x, y) = (x1 x2 y3 + x1 y2 x3 + y1 x2 x3 ) +

X

xi y j .

1≤i≤j≤3

The next definition is the main object of the present paper.
Definition 2.2. [10] The complex algebra On and the real algebra Op,q with p + q = n ≥ 3
are the twisted group algebras with the twisting functions
fOn (x, y) =

X

(xi xj yk + xi yj xk + yi xj xk ) +

xi y j ,

1≤i≤j≤n

1≤i<j<k≤n

fOp,q (x, y) = fOn (x, y) +

X

X

xi y i ,

1≤i≤p

respectively. Note that the element 1 := u(0,...,0) is the unit of the algebra.
The real algebra O0,3 is nothing but the classical algebra O of octonions.
Definition 2.3. For both series of algebras Clp,q and Op,q the index (p, q) is called the signature, and throughout the paper we assume p + q = n.

3

2.2

Graded-commutative and graded-associative algebras

Every twisted algebra (K[Zn2 ], f ) is a graded algebra over the group Zn2 . In general, a
twisted group algebra is neither commutative nor associative. The defect of commutativity and associativity is measured by a symmetric function β : Zn2 × Zn2 → Z2 , and a function
φ : Zn2 × Zn2 × Zn2 → Z2 , respectively:
ux · uy = (−1)β(x,y) uy · ux ,

(2.2)

ux · (uy · uz ) = (−1)φ(x,y,z) (ux · uy ) · uz ,

(2.3)

where β and φ are given by
β(x, y) = f (x, y) + f (y, x),
φ(x, y, z) = f (x, y) + f (x, y + z) + f (x + y, z) + f (y, z).

(2.4)
(2.5)

Note that the second formula reads φ = δf where δ is the coboundary operator. Therefore,
the function φ is a trivial 3-cocycle on Zn2 with coefficients in Z2 .
Algebras satisfying the relations (2.2) and (2.3) are called graded-commutative and gradedassociative, respectively. In particular, the algebras On and Op,q are graded-commutative and
graded-associative.
Remark 2.4. Note also that the algebras On and Op,q are graded-alternative, i.e.,
u · (u · v) = u2 · v,
for all homogeneous elements u, v.

2.3

The algebras On and Op,q : generators and relations

We give here another, equivalent definition of the algebras On and Op,q with the help of
generators and relations.
Let denote the basis elements of the abelian group Zn2 ,
ei = (0, . . . , 0, 1, 0, . . . , 0)

(2.6)

where 1 stands at the ith position. The homogeneous elements ui := uei , 1 ≤ i ≤ n form a set
of generators of the group algebra K[Zn2 ].
Let u = ui1 · · · uik be a monomial in the generators, the degree of u is the element of Zn2
given by
ū := ūi1 + . . . + ūik ,
where the degree of the generator ui is ūi = ei . The monomials form a basis of the group
algebra K[Zn2 ].
It was shown in [10] that the exists a unique trilinear form φ : Zn2 × Zn2 × Zn2 → Z2 such
that
φ(ei , ej , ek ) = 1,
(2.7)
for all distinct i, j and k in {1, . . . , n}. The algebras Op,q can be equivalently defined as follows.

4

Definition 2.5. (a) The algebra Op,q is the unique real unital algebra, generated by n
elements u1 , . . . , un (p + q = n), subject to the relations
u2i

=

®

1, 1 ≤ i ≤ p,
−1, p + 1 ≤ i ≤ p + q,

ui · uj = −uj · ui ,
for all i 6= j ≤ n, together with the graded associativity
u · (v · w) = (−1)φ(ū,v̄,w̄) (u · v) · w,
where u, v, w are monomials, and where φ is the unique trilinear form satisfying (2.7).
(b) The algebra On is the complexification of Op,q , its generators satisfy the same relations.
Clearly, the complexifications of Op,q and Op′ ,q′ with p + q = p′ + q ′ = n are isomorphic.
The following observation is important.
Remark 2.6. The trilinear form φ is symmetric in three arguments, i.e.,
φ(x, y, z) = φ(x, z, y) = · · · = φ(z, y, x),

(2.8)

for all x, y, z ∈ Zn2 .

2.4

Classification of Op,q

Classification of Op,q as Zn2 -graded algebras was obtained in [8]. It consists in the list of
isomorphisms between these algebras that preserve the structure of Zn2 -graded algebra (i.e.,
isomorphisms sending homogeneous elements into homogeneous) are as follows.
Proposition 2.7. If pq 6= 0, then there are the following isomorphisms of graded algebras:
(i) Op,q ≃ Oq,p ;
(ii) Op,q+4 ≃ Op+4,q ;
(iii) For n ≥ 5, the algebras On,0 and O0,n are not isomorphic, and are not isomorphic to
any other algebras Op,q with p + q = n.
All the isomorphisms between the algebras Op,q are as above.
Note that, apart for the algebras On,0 and O0,n which are exceptional, the above classification is quite similar to the classification of Clp,q .
A kind of degeneracy occurs in the small dimensions, since for n = 3, one has :
O3,0 ≃ O2,1 ≃ O1,2 6≃ O0,3 ,
and for n = 4, one has :
O4,0 ≃ O2,2 6≃ O1,3 ≃ O3,1 6≃ O0,4 .
Let us also mention the following criterion of simplicity from [10].
Proposition 2.8. The algebra Op,q is simple if and only if p + q 6≡ 0 mod 4, or p + q ≡ 0
mod 4 and p, q are odd.
5

3

The generating cubic form

We will be needing a theory, developed in [10], about a class of twisted algebras over Zn2 that
are characterized by a cubic form; this is the case for the algebras On and Op,q . The structure
of twisted group algebras that can be equipped with generating function is much simpler than
that of arbitrary twisted group algebras. Note that this class contains such interesting algebras
as the code loops [6] (see [10]), whereas the Cayley-Dickson algebras higher that the octonions
do not belong to this class.

3.1

The notion of generating function

Definition 3.1. Given a twisted group algebra (K [Zn2 ] , f ), a function α : Zn2 −→ Z2 is called
a generating function if
(i)

f (x, x)

= α(x),

(ii)

β(x, y)

= α(x + y) + α(x) + α(y),

(iii) φ(x, y, z) = α(x + y + z) + α(x + y) + α(x + z) + α(y + z) + α(x) + α(y) + α(z),
where x, y, z ∈ Zn2 and where β and φ are as in (2.4) and (2.5).
The following statements were proved in [10].
1. A twisted group algebra (K [Zn2 ] , f ) has a generating function if and only if the function φ := δf is symmetric as in (2.8).
2. The generating function α is a polynomial on Zn2 of degree ≤ 3.
3. Given any polynomial α on Zn2 of degree ≤ 3, there exists a unique (up to isomorphism)
twisted group algebra (K [Zn2 ] , f ) having α as a generating function.
It follows that if a twisted group algebra has a generating function then it is completely
characterized by this function.

3.2

Cubic forms on Zn2 and twisted group algebras

Every cubic form α : Zn2 → Z2 is as follows:
α(x) =

X

Aijk xi xj xk ,

(3.1)

1≤i≤j≤k≤n

where the coefficients Aijk = 0 or 1. Note that over Z2 one has x3i = x2i = xi , and therefore,
every polynomial of degree ≤ 3 is a homogeneous cubic form. The general theory of such
cubic forms is not developed, and the classification is unknown; see [7].
One can define a twisting function fα associated with a cubic form α according to the
following explicit procedure. To every monomial one associates:
xi xj xk 7−→ xi xj yk + xi yj xk + yi xj xk ,
xi xj 7−→ xi yj ,

(3.2)

xi 7−→ xi yi ,
where 1 ≤ i < j < k ≤ n. Then one extends the above map to the cubic polynomial α by
linearity in monomials.
6

Proposition 3.2. Given a cubic function α, the corresponding function fα satisfies Properties 1, 2 and 3 above.
Remark 3.3. Note that the procedure (3.2) is not the unique way to associate the twisting
function to a cubic form. However, any other procedure would lead to an isomorphic algebra;
see [10].

3.3

The generating functions of On and Op,q

The algebras On and Op,q have the following generating functions:
αn (x) =

X

xi xj xk +

xi xj +

X

X

xi ,

1≤i≤n

1≤i<j≤n

1≤i<j<k≤n

αp,q (x) = αn (x) +

X

xi .

1≤i≤p

The cubic form αn of On is invariant under the action of the group of permutations of the
coordinates. The value αn (x) depends only on the weight (i.e. the number of nonzero components) of x. More precisely, αn (x) = 0 if and only if the weight of x is congruent to 0
modulo 4.
Remark 3.4. In the case of Clifford algebra Cln or Clp,q , the generating functions are the
following quadratic form:
αCln (x) =

X

xi xj +

xi ,

1≤i≤n

1≤i<j≤n

αClp,q (x) = αCln (x) +

X

X

xi .

1≤i≤p

This was also noticed in [10].

3.4

The problem of equivalence

Definition 3.5. Two cubic forms α and α′ on Zn2 are equivalent if there exists a linear
transformation G ∈ GLn (Z2 ) such that
α(x) = α′ (Gx).
The main method that we use to establish isomorphisms between twisted group algebras
with generating functions is based on the fact that two equivalent cubic forms give rise to
isomorphic algebras. More precisely, one has the following statement which is an obvious
corollary of the uniqueness of the generating function.
Proposition 3.6. Given two twisted group algebras, (K [Zn2 ] , f ) and (K [Zn2 ] , f ′ ) with equivalent generating functions α and α′ , then these algebras are isomorphic as Zn2 -graded algebras.
Let us mention that the general problem of classification of cubic forms on Zn2 is an old
open problem; see [7].

7

4

Periodicity

In this section, we formulate our main results in comparison with the classical results about
the Clifford algebras. The proofs will be given in Section 6. The main difference between the
periodicity theorems that we obtain and the classical ones is that all the periodicities for the
algebras On and Op,q are modulo 4, whereas in the case of Clifford algebras the simplest way
to formulate the periodicity properties is modulo 2.

4.1

Statement of the main theorem in the complex case

Let us recall that for the complex Clifford algebras, one has the following simple statement:
Cln+2 ≃ Cln ⊗C Cl2 .
Note also that Cl2 is isomorphic to the algebra of complex 2 × 2-matrices. Our first goal is to
establish a similar result for the algebras On .
Theorem 1. If n ≥ 3, there is an isomorphism:
On+4 ≃ On ⊗C2 O5 .

(4.1)

Let us explain the tensor product over the algebra C2 ≃ C ⊕ C. We fix a subalgebra of
both above algebras, On and O5 , isomorphic to C2 :
C2 ⊂ On

and

C2 ⊂ O5 .

For this end, we chose the generator u1 = ue1 , see formula (2.6), and consider the subalgebra C2
with basis {1, u1 }. Abusing the notation, we call the same name the generator u1 ∈ On and
the generator u1 ∈ O5 . We then identify the right action of C2 on On and the left action of C2
on O5 . In other words, we introduce the ideal I of the algebra On ⊗C O5 generated by the
elements
{a · u1 ⊗C b − a ⊗C u1 · b | a ∈ On , b ∈ O5 } .
The tensor product (4.1) is then defined as the quotient by this ideal:
On ⊗C2 O5 := (On ⊗C O5 ) /I .
Let us stress on the fact that the defined tensor product is the common notion of tensor
product over a subalgebra.

4.2

Statement of the main theorem in the real case

In the real case, the result is different in the case of algebras Op,q , where p, q > 0, and in the
case of the exceptional algebras On,0 and O0,n .
Theorem 2. If n = p + q ≥ 3 and if p > 0 and q > 0 (except for (p, q) = (1, 4) and
(p, q) = (4, 1)) then there are the following isomorphisms of graded algebras:
O0,n+4 ≃ O0,n ⊗C O0,5 ;
On+4,0 ≃ On,0 ⊗R2 O5,0 ;
Op+2,q+2 ≃ Op,q ⊗C O2,3 ≃ Op,q ⊗R2 O3,2 .
8

To describe the above tensor products, chose the generator u1 and consider a 2-dimensional
subalgebra with basis {1, u1 }. If p = 0, then u21 = −1, and therefore this (real) subalgebra is
isomorphic to C. If q = 0, then u21 = 1, and the chosen subalgebra is isomorphic to R2 ≃ R⊕R.
If p > 0 and q > 0, then one can chose u21 = −1 or u21 = 1, the corresponding subalgebra is
then isomorphic to C or R2 , respectively.
In order to compare the above theorem with the classical results for the Clifford algebras,
we recall following periodicities:
Clp+2,q ≃ Clq,p ⊗R Cl2,0 ,
Clp,q+2 ≃ Clq,p ⊗R Cl0,2 ,
Clp+1,q+1 ≃ Clp,q ⊗R Cl1,1 .
This in particular implies
Clp+8,q ≃ Clp+4,q+4 ≃ Clp,q+8 ≃ Clp,q ⊗R Mat16 (R),
known as the Bott periodicity.

4.3

How to use the generating function

In order to illustrate our method and the role of generating functions, let us give two simple
proofs of the classical isomorphisms Clp+2,q ≃ Cl2,0 ⊗R Clq,p and Clp,q+2 ≃ Clq,p ⊗R Cl0,2 .
The algebras Cl2,0 ⊗R Clq,p and Clq,p ⊗R Cl0,2 have respectively the following generating
functions:
X
X
α(x) = x1 x2 +
xi xj +
xi ,
3≤i≤j≤n+2

and
α′ (x) =

X

xi xj +

1≤i≤j≤n

X

p+3≤i≤n+2

xi + xn+1 xn+2 + xn+1 + xn+2 .

p+1≤i≤n

It is easy to check that the coordinate transformations
x′1 = x1 + x3 + . . . + xn+2 ,
x′2 = x2 + x3 + . . . + xn+2 ,
x′i

x′i = xi , i ≤ n,
and

x′n+1 = x1 + . . . + xn+1 ,
x′n+2

= xi , i > 2,

(4.2)

= x1 + . . . + xn + xn+2 .

send respectively α and α′ to the generating quadratic form of Clp+2,q and of Clp,q+2 . The last
periodicity statement for the Clifford algebras, i.e. Clp+1,q+1 ≃ Cl1,1 ⊗R Clq,p can be proved
in a similar way.

5

Triangulated graphs

In this section, we present a way to interpret a cubic form on Zn2 in term of a triangulated
graph2 and reformulate our main results. This will allow us to find the simplest equivalent
normal forms for the cubic forms αp,q , for which the periodicity statements are very transparent.
2

I am grateful to V. Ovsienko who explained me this method.

9

5.1

The definition

Consider an arbitrary cubic form on Zn2 :
α(x) =

X

Aijk xi xj xk +

X

Bij xi xj +

1≤i<j≤n

1≤i<j<k≤n

X

Ci xi .

1≤i≤n

Note that this is precisely the form (3.1) by we separate the terms for which some of the
indices coincide. We will associate a triangulated graph to every such function. The definition
is as follows.
Definition 5.1. Given a cubic form α, the corresponding triangulated graph is as follows.
1. The set vertices of the graph coincides with the set {x1 , x2 , . . . , xn }. Write • if Ci = 1
and ◦ if Ci = 0.
2. Two distinct vertices, i and j, are joined by an edge if Bij = 1.
3. Join by a triangle

those (distinct) vertices i, j, k for which Aijk = 1.

Note that the defined triangulated graph completely characterizes the cubic form.
Example 5.2. Let us give elementary examples in the 2-dimensional case.
1. The first interesting case is that of the classical algebra of quaternions H. The quadratic
form and the corresponding graph are as follows.
αCl
0,2 (x1 , x2 ) = x1 x2 + x1 + x2 ,

←→

x1 •

• x2

2. The other interesting case is that the Clifford algebra Cl2,0 . The quadratic form and the
corresponding graph are as follows.
αCl
2,0 (x1 , x2 ) = x1 x2 ,

←→

x1

x2

Example 5.3. Let us give several examples in the 3-dimensional case.
1. The first interesting case is that of the classical algebra of octonions O. The cubic form
and the corresponding graph are as follows.
• x2
x1 •
←→
α0,3 (x1 , x2 , x3 ) = x1 x2 x3 + x1 x2 + x1 x3 + x2 x3
• x3
+x + x + x ,
1

2

3

Amazingly, the above triangle contains the full information about the cubic form α0,3
and therefore about the algebra O.
2. The algebra of split octonions has the following cubic form:
• x2
α1,2 (x1 , x2 , x3 ) = x1 x2 x3 + x1 x2 + x1 x3 + x2 x3

←→

x1

• x3

+x2 + x3 ,
3. The “trivial example”:

x2

α(x1 , x2 , x3 ) ≡ 0
10

←→

x1
x3

5.2

The forms α̃0,n and α̃n,0

Let us now introduce a series of cubic forms α̃p,q . We will prove in Section 6 that they are
equivalent to the forms αp,q . The advantage of this new way to represent the cubic forms αp,q
consists in the fact that the corresponding graphs are very simple. The periodicity properties
of the algebras On and Op,q can be seen directly from the graphs.
Let us start with the case of signature (0, n).
Definition 5.4. The cubic forms α̃0,n are defined as follows.
1. α̃0,3 = α0,3 .
2. The next cases are:
α̃0,4 (x1 , x2 , x3 , x4 ) = x1 x3 x4 + x1 x3 + x1 x4 + x3 x4

←→

x2

• x4
x1 •

• x3

+x1 + x3 + x4 ,
x3

α̃0,5 (x1 , . . . , x5 ) = x1 x2 x3 + x1 x4 x5 + x2 x3 + x1 x4

←→

+x1 x5 + x4 x5 + x1 + x4 + x5 ,
α̃0,6 (x1 , . . . , x6 ) = x1 x3 x4 + x1 x5 x6 + x1 x2 + x3 x4 + x1 x5 ←→
+x1 x6 + x5 x6 + x1 + x2 + x5 + x6 .

x2

• x5
x1
x2

x4

•

k
X

x3

x1

(x1 + α̃0,5 (x1 , x4i , . . . , x4i+3 )) ,

i=1
k−1
X

α̃0,4k (x1 , . . . , x4k ) = α̃0,4 (x1 , . . . , x4 ) +
α̃0,4k+1 (x1 , . . . , x4k+1 ) = α̃0,5 (x1 , . . . , x5 ) +
α̃0,4k+2 (x1 , . . . , x4k+2 ) = α̃0,6 (x1 , . . . , x6 ) +

i=1
k−1
X

i=1
k−1
X

(x1 + α̃0,5 (x1 , x4i+1 , . . . , x4i+4 )) ,
(x1 + α̃0,5 (x1 , x4i+2 , . . . , x4i+5 )) ,
(x1 + α̃0,5 (x1 , x4i+3 , . . . , x4i+6 )) .

i=1

The table below gives a series of examples of defined cubic forms.

11

• x6

•

3. In general, we have the following.
α̃0,4k+3 (x1 , . . . , x4+3k ) = α̃0,3 (x1 , x2 , x3 ) +

• x4

• x5

•
α̃0,7

•
α̃0,3

•

•

•

•

α̃0,11

•

•

•
•

α̃0,8

•

•

•

•

•

•

α̃0,12

•

•

•

•
•

•

•
•

•
•
α̃0,5

•
•

•

α̃0,4

•

•

α̃0,9

•

•
α̃0,13

•

•
•

•

•

•
•

•

•

•

• •
•

•
•
•
α̃0,6

•

α̃0,10

•
•

•
•

•
α̃0,14

•

•

•
•

•

•

• •

Figure 2. Examples of the cubic form α̃0,n for n ∈ {3, . . . , 14}.
The property of periodicity modulo 4 is quite obvious.
Definition 5.5. The forms α̃n,0 are defined according the following simple rule:
α̃n,0 (x1 , . . . , xn ) := α̃0,n (x1 , . . . , xn ) + x1 .

5.3

The forms α̃p,q

The cubic forms α̃p,q with signature (p, q) such that p > 0 and q > 0 are defined as follows.
Definition 5.6.

1. The first eleven cases are defined as follows.

12

x2

x2

α̃1,2

x3

x3

α̃2,3

x1 •
x3
x3 •

x5

•

x1

x2

x4

α̃1,4

x1

x1

α̃2,5

x5

x1
•
x4

x4
x2

• x6

•

x4 •

α̃2,4

x3 •

x1

x4

x2

α̃2,6

x5

x5

x5

α̃1,5

• x7

• x6
•

x1

x3
x3

• x8

x1
•

x3

x4

x6

•

• x7

x3

x3

x2

•

x2

x1 •

x5

x2 •

x6

x3

• x4

α̃1,3

•

x2
x4

α̃3,3

x2 •

x4

α̃2,2

x1 •

x2

x4

α̃3,6

x6

• x5

•

• x9

x1

• x8

x5
x6

x7

The coordinate formulas follow directly from the above graphs.
2. We define the forms α̃p,q with arbitrary p > 0 and q > 0, except for (p, q) = (1, 4) and
(p, q) = (4, 1) in the last equation, using the following rules:
α̃q,p := α̃p,q ;
α̃p,q+4 := α̃p+4,q ;
α̃p+2,q+2 (x1 , . . . , xn+4 ) := α̃p,q (x1 , . . . , xn ) + α̃2,3 (x1 , xn+1 , xn+2 , xn+3 , xn+4 ) + x1 .
It is easy to check that the first eleven forms suffice to determine the rest.

5.4

An equivalent formulation of the main result

Let us give a different way to formulate our main result.
Theorem 3. The cubic forms αp,q and α̃p,q are equivalent for all p, q.
Theorems 1 and 2 will follow from Theorem 3 since the forms α̃p,q have the required periodicity.

6

Proof of Theorem 3

In this section, we give explicitly step by step the coordinate transformations that intertwine
the cubic forms αp,q and α̃p,q . According to the number of generators modulo 4, different cases
appear. The cases where the number of generators is even will be deduced from cases where
the number of generators is odd. This is explained in Sections 6.1 and 6.2. In Section 6.3,
we focus on the two cases with odd number of variables. Finally, we finish the proof of the
Theorem 3 in Section 6.4.

13

6.1

The case (p, q) with n = 4k

This first lemma shows that the case n = 4k can be deduced from the case n = 4k − 1.
The cubic form αp,q with p + q = 4k is equivalent to a cubic form where the last generator
completely disappears or is only present in the linear part.
We introduce the following notation. Consider the projection Zn2 → Z2n−1 defined by
“forgetting” the last coordinate, xn . The cubic form on Zn2 obtained by the pull-back of a
b In other words,
cubic form α on Z2n−1 will be denoted by α.
b (x1 , . . . , xn ) = α(x1 , . . . , xn−1 ).
α

Lemma 6.1. If n = p + q = 4k with k ∈ N\{0} then, one has the equivalent forms
b 0,n−1
α0,n ≃ α

αp,q ≃

(

and

b n−1,0 ,
αn,0 ≃ α

if p, q > 0 are even,

b p,q−1
α

if p, q ≥ 1 are odd.

b p,q−1 + xn
α

Proof. To establish the equivalence in the cases (n, 0), (0, n) and (p, q) where p, q ≥ 1 are odd,
we choose the following coordinate transformation:
x′1 = x1 + x4k ,
x′2 = x1 + x2 + x4k ,
··· = ···
x′i = x1 + xi + x4k ,
··· = ···
x′2k+1
x′2k+2

= x1 + x2k+1 + x4k ,

(6.1)

÷
= x2 + . . . + x2k+1 + x
2k+2 + . . . + x4k ,

··· = ···

x′i = x2 + . . . + xi−1 + x“i + xi+1 + . . . + x4k ,

··· = ···
x′4k−1
x′4k

÷
= x2 + . . . + x4k−2 + x
4k−1 + x4k ,

= x4k ,

where b· denotes removed terms.
In the case where p, q > 0 are even, it suffices to consider the particular case p ≤ q.
Indeed, it was proved in [8] that αp,q ≃ αq,p for every p, q > 0, and that αq−1,p ≃ αq,p−1
for every p, q > 0 if p and q are even and p + q = 4k + 3. If 0 < p ≤ q are even, the
coordinate transformation considered in this case is the same as (6.1) for every elements x′i
where i ∈ {2, . . . , n − 1} together with
x′1 = x4k ,
x′4k = x1 + x4k .
Hence the lemma.

14

6.2

The case (p, q) with n = 4k + 2

This second lemma allows us to reduce the case n = 4k + 2 to the case n = 4k + 1. The cubic
form αp,q with p + q = 4k + 2 is equivalent to a cubic form where the last coordinate is only
present in the quadratic part and sometimes in the linear part.
Lemma 6.2. If n = p + q = 4k + 2 with k ∈ N\{0} then, one has the equivalent forms
b 0,n−1 + xn + xn
α0,n ≃ α

b n−1,0 + xn + xn
αn,0 ≃ α

αp,q ≃


n−1
X



b
xi
α
+
x

p−1,q
n


n−1
X

xi ,

i=1
n−1
X

xi ,

(6.2)
(6.3)

i=1

if p, q ≥ 1 are odd,

i=1

n−1

X



b
xi
α
+
x
+
x
p−1,q
n
n


(6.4)
if p, q > 0 are even.

i=1

Proof. To establish the equivalence, we choose the following coordinate transformation:
x′1 = x4k+2 ,
x′2 = x1 + x4k+2 ,
··· = ···
x′i = xi−1 + x4k+2 ,
··· = ···
x′2k+1
x′2k+2

(6.5)

= x2k + x4k+2 ,
÷
= x1 + . . . + x4k + x
4k+1 + x4k+2 ,

··· = ···

ÿ
x′i = x2 + . . . + x6k+2−i + x
6k+3−i + x6k+4−i + . . . + x4k+2 ,

··· = ···
x′4k+2

÷
= x2 + . . . + x2k + x
2k+1 + x2k+2 + . . . + x4k+2 .

If the signature is (n, 0) and (0, n), the equivalence is given by the above transformation.
If the signature is (p, q) with p, q > 0, the transformation (6.5) is taking into account only in
the case p ≤ q. The case q < p is then deduced from the case p ≤ q since it was proven in [8]
that
αp,q ≃ αq,p

if p, q > 0,

αp−1,q ≃ αp,q−1

if p + q = 4k + 1 and p − 1 is even,

αq,p−1 ≃ αq−1,p

if p + q = 4k + 1 and q is odd.

Lemma 6.2 is proved.

15

6.3

The case n = 4k + 3 and n = 4k + 1

If n = p + q is odd, there exist exactly four distinct algebras Op,q with p, q ≥ 0 up to graded
isomorphism; see [8]. We will treat each of these four cases independently.
Lemma 6.3. If n = 4k + 3 and k is odd, then
1. the form α0,n is equivalent to
Ä

ä

Cl
x1 + (x1 + 1) αCl
2k+2,0 (x2 , . . . , x2k+3 ) + α0,2k (x2k+4 , . . . , x4k+3 ) ,

2. the form αn,0 is equivalent to
ä

Ä

Cl
(x1 + 1) αCl
2k+2,0 (x2 , . . . , x2k+3 ) + α0,2k (x2k+4 , . . . , x4k+3 ) ,

3. the form α2k+1,2k+2 is equivalent to
x1 + (x1 + 1)

Ä

αCl
2k+2,0 (x2 , . . . , x2k+3 )

+

ä

αCl
0,2k (x2k+4 , . . . , x4k+3 )

2k+3
X

+

xi ,

i=2

4. the form α2k,2k+3 is equivalent to
x1 + (x1 + 1)

Ä

αCl
2k+2,0 (x2 , . . . , x2k+3 ) +

ä

αCl
0,2k (x2k+4 , . . . , x4k+3 )

+

2k
X

xi + x2k+3 .

i=2

If n = 4k + 3 and k is even, then
1. the form α0,n is equivalent to
Ä

ä

Cl
x1 + (x1 + 1) αCl
2k,0 (x2 , . . . , x2k+1 ) + α0,2k+2 (x2k+2 , . . . , x4k+3 ) ,

2. the form αn,0 is equivalent to
Ä

ä

Cl
(x1 + 1) αCl
2k,0 (x2 , . . . , x2k+1 ) + α0,2k+2 (x2k+2 , . . . , x4k+3 ) ,

3. the form α2k+1,2k+2 is equivalent to
x1 + (x1 + 1)

Ä

αCl
2k,0 (x2 , . . . , x2k+1 ) +

ä

αCl
0,2k+2 (x2k+2 , . . . , x4k+3 )

+

4k+3
X

xi ,

i=2k+2

4. the form α2k,2k+3 is equivalent to
Ä

ä

Cl
x1 + (x1 + 1) αCl
2k,0 (x2 , . . . , x2k+1 ) + α0,2k+2 (x2k+2 , . . . , x4k+3 ) +

16

4k+1
X

i=2k+3

xi + x4k+3 .

Proof. If k is odd, chose the following coordinate transformation:
x′1 = x2k+2 + x2k+3 ,
x′2 = x2 + x2k+2 ,
··· = ···
x′i = xi + x2k+2 ,
··· = ···
x′2k+1
x′2k+2
x′2k+3

= x2k+1 + x2k+2 ,
= x2k+2 ,
÷
= x1 + . . . + x2k+1 + x2k+3 + . . . + x4k+1 + x
4k+2 + x4k+3 ,

··· = ···

ÿ
x′i = x1 + . . . + x2k+1 + x2k+3 + . . . + x6k+4−i + x
6k+5−i + x6k+6−i + . . . + x4k+3 ,

··· = ···
x′4k+1
x′4k+2
x′4k+3

÷
= x1 + . . . + x2k+1 + x2k+3 + x
2k+4 + x2k+5 + . . . + x4k+3 ,

= x1 + . . . + x2k+1 + x2k+3 + . . . + x4k+2 ,

= x1 + . . . + x2k+1 + x2k+3 + . . . + x4k+3 .

If k is even and k ≥ 2, chose the following coordinate transformation:
x′1 = x2k+2 + x4k+3 ,
x′2 = x2k+2 + x2k+3 ,
··· = ···
x′i = x2k+2 + x2k+1+i ,
··· = ···
x′2k+1
x′2k+2
x′2k+3

= x2k+2 + x4k+2 ,
= x2k+2 ,
c2 + x3 . . . + x2k+1 + x2k+3 + . . . + x4k+3 ,
= x1 + x

··· = ···

x′i = x1 + . . . + xi−2k−2 + xÿ
i−2k−1 + xi−2k + . . . + x2k+1 + x2k+3 + . . . + x4k+3 ,

··· = ···
x′4k+2
x′4k+3

÷
= x1 + . . . + x2k + x
2k+1 + x2k+3 + . . . + x4k+3 ,

= x1 + . . . + x2k+1 + x2k+3 + . . . + x4k+3 .

These coordinate transformation provide the desired equivalence.
Lemma 6.4. If n = 4k + 1, then
1. the form α0,n is equivalent to
Ä

ä

Cl
x1 + (x1 + 1) αCl
2k,0 (x2 , . . . , x2k+1 ) + α0,2k (x2k+2 , . . . , x4k+1 ) ,

17

2. the form αn,0 is equivalent to
Ä

ä

Cl
(x1 + 1) αCl
2k,0 (x2 , . . . , x2k+1 ) + α0,2k (x2k+2 , . . . , x4k+1 ) ,

3. the form α2k,2k+1 is equivalent to
Ä

ä

4k+1
X

xi ,

i=2k+2

ä

4k+1
X

xi ,

Cl
x1 + (x1 + 1) αCl
2k,0 (x2 , . . . , x2k+1 ) + α0,2k (x2k+2 , . . . , x4k+1 ) +

4. If n = 4k + 1 and k is even, then α2k−2,2k+3 is equivalent to
x1 + (x1 + 1)

Ä

αCl
2k,0 (x2 , . . . , x2k+1 ) +

αCl
0,2k (x2k+2 , . . . , x4k+1 )

+

i=2k+2

If n = 4k + 1 and k is odd, then α2k−2,2k+3 is equivalent to
ä

Ä

Cl
x1 + (x1 + 1) αCl
2k,0 (x2 , . . . , x2k+1 ) + α0,2k (x2k+2 , . . . , x4k+1 ) +

2k−2
X

xi + x2k+1 .

i=2

Proof. If k ≥ 2 is odd, the coordinate transformation is as follows:
x′1 = x1 + x2k+1 ,
x′2 = x1 + x2
··· = ···
x′i = x1 + xi ,
··· = ···
x′2k = x1 + x2k ,
x′2k+1
x′2k+2

(6.6)

= x1 + . . . + x4k+1 ,
d
= x2 + . . . + x4k−1 + x
4k + x4k+1 ,

··· = ···

ÿ
x′i = x2 + . . . + x6k−i+1 + x
6k−i+2 + x6k−i+3 + . . . + x4k+1 ,

··· = ···

÷
x′4k = x2 + . . . + x2k+1 + x
2k+2 + x2k+3 + . . . + x4k+1 ,

x′4k+1 = x2 + . . . + x4k .

18

If k ≥ 2 is even, the coordinate transformation is as follows:
x′1 = x1 + x4k+1 ,
··· = ···
x′i = x1 + x4k+2−i ,
··· = ···
x′2k = x1 + x2k+2 ,
x′2k+1 = x1 + . . . + x4k+1 ,
x′2k+2

(6.7)

c2 + x3 + . . . + x4k+1 ,
= x

··· = ···

x′i = x2 + . . . + xi−2k−1 + x’
i−2k + xi−2k+1 + . . . + x4k+1 ,

··· = ···
x′4k+1

÷
= x2 + . . . + x2k + x
2k+1 + x2k+2 + . . . + x4k+1 .

The above transformations provide the equivalence in the cases where the signature is
(0, n), (n, 0) and (p, q) with k odd.
Furthermore, in the case of signature (2k, 2k + 1) with even k (which is equivalent to the
case of signature (2k + 1, 2k)), the transformation (6.7) has to be combined with the following
one
x′1 = x1 ,
x′2 = x2 + x1 ,
if 3 ≤ i ≤ 4k + 1.
x′i = xi ,
Finally, if k is even and in the case of signature (2k − 2, 2k + 3), the transformation (6.6)
has to be combined with the following change of coordinates
x′i

x′4k+1

= xi ,
if 1 ≤ i ≤ 4k,
= x4k+1 + x1 .

The results follow directly form these coordinate transformations.
The changes of coordinates (6.6) and (6.7) used in the proof of the lemma 6.4, can be used
for the case p + q = 4k + 2 = n where the last coordinate xn remains unchanged.

6.4

The end of the proof

Consider some more properties on the quadratic form of the Clifford algebras. Denote, as
Cl
above, by αCl
0,2 the generating quadratic form of the Clifford algebra Cl0,2 and by α2,0 the
generating quadratic form of the Clifford algebra Cl2,0 . Denote also
l
Cl
Cl
(αCl
2,0 ) (x1 , . . . , x2l ) := α2,0 (x1 , x2 ) + . . . + α2,0 (x2l−1 , x2l ),
l
Cl
Cl
(αCl
0,2 ) (x1 , . . . , x2l ) := α0,2 (x1 , x2 ) + . . . + α0,2 (x2l−1 , x2l ).

The following lemma is useful in the Clifford case.

19

Lemma 6.5. If k is even, then
Cl
Cl k/2
k/2
αCl
+ (αCl
.
2k,0 ≃ α0,2k ≃ (α0,2 )
2,0 )

If k is odd, then
Cl
αCl
2k,0 ≃ (α2,0 )

k+1
2

+ (αCl
0,2 )

k−1
2

Cl
αCl
0,2k ≃ (α2,0 )

,

k−1
2

+ (αCl
0,2 )

k+1
2

.

Lemma 6.5 means that the graph of the quadratic form of a Clifford algebra with even
generators, is equivalent to a disconnected graph consisting of components of the type
and
.
Lemma 6.6. The form α̃2,3 is equivalent to
x3 •

• x5
•

x2 •

x1

• x4

and one has
O2,3 ⊗C O2,3 ≃ O1,4 ⊗C O0,5 .
Proof. For the first part, the coordinate transformation is given by
x′1 = x1 ,
x′2 = x3 + x4 + x5 ,
x′3 = x2 + x4 + x5 ,
x′4 = x2 + x3 + x5 ,
x′5 = x2 + x3 + x4 .
The second part is deduced directly from the first one.
To finish the proof of the Theorem 3, we consider the four different cases.
1. The case with the signature (0, n). Suppose that n = 4k + 1, then according to
Lemma 6.5, α0,n is equivalent to the following form:
Ä

ä

k
Cl k
x1 + (x1 + 1) (αCl
.
2,0 ) + (α0,2 )

If n = 4k + 3, then α0,n is equivalent to the following form:
Ä

ä

k
Cl k+1
x1 + (x1 + 1) (αCl
.
2,0 ) + (α0,2 )

The desired equivalence follows from
x1 + (x1 + 1)

Ä

αCl
2,0 (x2 , x3 )

+

ä

αCl
0,2 (x4 , x5 )

x3

←→

α̃0,5

x2

• x5
x1

• x4

2. The case where the signature is (n, 0) directly follows from the case of signature (0, n)
since we have the following fact
x3
• x5
Ä
ä
Cl
←→
α̃
5,0
(x1 + 1) αCl
(x
,
x
)
+
α
(x
,
x
)
2,0 2 3
0,2 4 5
x1
x2
• x4
20

3. When the signature is (2k, 2k + 1) with n = 4k + 1 due to Lemmas 6.4, 6.5 and 6.6, the
form α2k,2k+1 is equivalent to the following form
Ä

ä

4k+1
X

k
Cl k
x1 + (x1 + 1) (αCl
2,0 ) (x2 , . . . , x2k+1 ) + (α0,2 ) (x2k+2 , . . . , x4k+1 ) +

Ä

xi

i=2k+2

ä

4k−1
X

k−1
k−1
= (x1 + 1) (αCl
(x2 , . . . , x2k−1 ) + (αCl
(x2k+2 , . . . , x4k−1 ) +
2,0 )
0,2 )

xi

i=2k+2

+α̃2,3 (x1 , x2k , x2k+1 , x4k , x4k+1 ).
The conclusion is obvious since we have the following isomorphism
ä

Ä

Cl
x1 + (x1 + 1) αCl
2,0 (x2 , x3 ) + α0,2 (x4 , x5 ) + x4 + x5

x3

←→

α̃2,3

x5

•

x1

x2

x4

When the signature is (2k + 1, 2k + 2) with n = 4k + 3, also due to Lemmas 6.3, 6.5
and 6.6, the form α2k+1,2k+2 is equivalent to the following form
Ä

ä

k
Cl k+1
x1 + (x1 + 1) (αCl
(x2k+2 , . . . , x4k+3 ) +
2,0 ) (x2 , . . . , x2k+1 ) + (α0,2 )

Ä

ä

k
Cl k
= (x1 + 1) (αCl
2,0 ) (x2 , . . . , x2k+1 ) + (α0,2 ) (x2k+2 , . . . , x4k+1 ) +

+α̃1,2 (x1 , x4k+2 , x4k+3 ).

4k+1
X

4k+3
X

xi

i=2k+2

xi

i=2k+2

4. When the signature is (2k, 2k + 3) with n = 4k + 3, the form α2k,2k+3 is equivalent to
the following form
ä

Ä

k
Cl k+1
(x2k+2 , . . . , x4k+3 ) +
x1 + (x1 + 1) (αCl
2,0 ) (x2 , . . . , x2k+1 ) + (α0,2 )

Ä

ä

4k+1
X

4k−1
X

k−1
k−1
= (x1 + 1) (αCl
(x2 , . . . , x2k−1 ) + (αCl
(x2k+2 , . . . , x4k−1 ) +
2,0 )
0,2 )

xi

i=2k+2

xi

i=2k+2

+α̃2,5 (x1 , x2k , x2k+1 , x4k , x4k+1 , x4k+2 , x4k+3 ).

When the signature is (2k − 1, 2k + 2) with n = 4k + 1, the form α2k−1,2k+2 is equivalent
to α2k−2,2k+3 which is equivalent to the following form
Ä

ä

k
Cl k+1
x1 + (x1 + 1) (αCl
(x2k+2 , . . . , x4k+1 ) +
2,0 ) (x2 , . . . , x2k+1 ) + (α0,2 )

Ä

ä

k−2
k−2
= (x1 + 1) (αCl
(x2 , . . . , x2k−3 ) + (αCl
(x2k+2 , . . . , x4k−3 ) +
2,0 )
0,2 )

+α̃3,6 (x1 , x2k−2 , x2k−1 , x2k , x2k+1 , x4k−2 , x4k−1 , x4k , x4k+1 ).
Theorem 3 is proved.

21

4k−1
X

i=2k+2
4k−3
X

i=2k+2

xi

xi

Lemma 6.7. The following isomorphism holds for any p, q > 0,
Op,q ⊗C O2,3 ≃ Op,q ⊗R2 O3,2 .
Proof. The cubic form αp,q (x1 , x2 , . . . , xn ) + α2,3 (xn+1 , xn+2 , x1 , xn+3 , xn+4 ), where the linear
term x1 appears in the form, is equivalent to αp,q (x1 , . . . , xn )+α3,2 (x1 , xn+1 , xn+2 , xn+3 , xn+4 )
where the linear x1 is absent of the form. This is expressed by the following change of
coordinates
x′1 = x1 ,
x′2 = x5 ,
x′3 = x1 + x2 + x3 + x5 ,
x′4 = x1 + x2 + x4 + x5 ,
x′5 = x2 .
This coordinate transformation does not change the coordinates of the cubic form αp,q .
This provides the last isomorphism of Theorem 2.
Acknowledgments. The author is grateful to Valentin Ovsienko and Sophie Morier-Genoud
for stimulating discussions. She also thanks the Institute Camille Jordan, CNRS, Université
Lyon 1 for hospitality. This research was partially supported by the Interuniversity Attraction
Poles Programme initiated by the Belgian Science Policy Office.

References
[1] H. Albuquerque and S. Majid, Quasialgebra structure of the octonions, J. Algebra. 220
(1999), 188–224.
[2] H. Albuquerque and S. Majid, Clifford algebras obtained by twisting of group algebras,
J. Pure Appl. Algebra. 171 (2002), 133–148.
[3] J. Baez, The octonions, Bull. Amer. Math. Soc. (N.S.) 39 (2002), 145–205.
[4] S.B. Conlon, Twisted group algebras and their representations, J. Austr. Math. Soc. 4
(1964), 152–173.
[5] A. Elduque, Gradings on octonions, J. Alg. 207 (1998), 342–354.
[6] R.L. Griess Jr., Code Loops, J. Alg. 100 (1986), 224–234.
[7] X.-D. Hou, GL(m, 2) acting on R(r, m)/R(r − 1, m), Discrete Math. 149 (1996), 99–122.
[8] M. Kreusch and S. Morier-Genoud, Classification of algebras Op,q , to appear in Communications in Algebra.
[9] A. Lenzhen, S. Morier-Genoud, and V. Ovsienko, New solutions to the Hurwitz problem
on square identities, J. Pure Appl. Algebra. 215 (2011), 2903–2911.
[10] S. Morier-Genoud and V. Ovsienko, A series of algebras generalizing the octonions and
Hurwitz-Radon identity, Comm. Math. Phys. 306 (2011), 83–118.

22

[11] S. Morier-Genoud and V. Ovsienko, Orthogonal designs and a cubic binary function, IEEE
Trans. Inform. Theory. 59 (2013), 1583–1589.
[12] S. Morier-Genoud and V. Ovsienko. Extremal set theory, cubic forms on Fn2 and Hurwitz
square identities, arXiv:1304.0949.

23

