Generalised dihedral subalgebras from the Monster

arXiv:1510.00640v1 [math.RA] 2 Oct 2015

F. Rehren
10th October, 2014

Abstract
The conjugacy classes of the Monster which occur in the McKay observation correspond to the isomorphism types of certain 2-generated subalgebras of the Griess algebra.
Sakuma, Ivanov and others showed that these subalgebras match the classification of vertex algebras generated by two Ising conformal vectors, or of Majorana algebras generated
by two axes. In both cases, the eigenvalues α, β parametrising the theory are fixed to
1/4, 1/32.

We generalise these parameters and the algebras which depend on them, in partic-

ular finding the largest possible (nonassociative) axial algebras which satisfy the same key
features, by working extensively with the underlying rings. The resulting algebras admit
an associating symmetric bilinear form and satisfy the same 6-transposition property as
the Monster; 1/4, 1/32 turns out to be distinguished.

The Monster group, the largest of the sporadic simple groups, was first constructed as the
automorphism group of the Griess algebra, a nonassociative commutative algebra of dimension 196884. Soon an "affinization" V ♮ , containing (a twisted version of) the Griess algebra in
its weight-2 subspace, was constructed [FLM98]; later Borcherd’s introduction of vertex algebras [B86] unified V ♮ with affine Kac-Moody Lie algebras and the two-dimensional conformal
field theories of string theory. In this way vertex algebras let us view an exceptional object,
the Monster, as a point in a general theory.
A key part of the Griess construction was that certain idempotents in the algebra are in
bijection with the involutions in the (2A)-conjugacy class of the Monster. This also holds in
V ♮ . It was Miyamoto’s profound insight that every idempotent in the weight-2 subspace of
any (OZ-type) vertex algebra give rise to an involution in the automorphism group [M96] of
the vertex algebra. Idempotents in this context are called c-conformal vectors, where c is
a parameter which connects the idempotent to the remarkable representation theory of the
infinite-dimensional Virasoro algebra. In our case, the 1/2-conformal vectors in V ♮ induce the
involutions of type (2A) in the Monster.
Sakuma [S07] developed Miyamoto’s investigation [M03] to now show that the product
of two involutions induced from any two 1/2-conformal vectors has order at most 6. This
1

implies as a corollary the celebrated fact that the Monster is a 6-transposition group. Furthermore, Sakuma proved that any two 1/2-conformal vectors generate a vertex algebra of
one of 9 isomorphism types, all occurring in V ♮ . The same types were also studied by Norton in the Griess algebra [C85], where the isomorphism type is determined by the conjugacy
class of the product of the corresponding (2A)-involutions in the Monster: the possibilities are
(1A), (2A), (3A), (4A), (5A), (6A), (4B), (2B), (3C). Remarkably, these are exactly the classes
that McKay observed to label the affine E8 Dynkin diagram.
A radical further step was taken by Ivanov [I09] in axiomatising some properties of weight2 subspaces of OZ-type vertex algebras generated by 1/2-conformal vectors, under the name
of Majorana algebras. In this new context Sakuma’s theorem still holds [IPSS10, HRS13]
(now leading to the list of the 9 finite-dimensional Norton-Sakuma algebras); furthermore the
Griess algebra is a Majorana algebra, and many other small finite groups have been realised
as automorphism groups of Majorana algebras [S12]. This puts the Monster into a family
of representations of groups on nonassociative commutative algebras. The axioms are quite
different to those of vertex algebras but still includes the parameters 1/4, 1/32 dictated by the
Virasoro algebra at central charge 1/2.
In this text, we generalise the theory to use the formal parameters α, β. This enlarges
our story to a context introduced in [HRS13, HRS14]: axial algebras delineate a new class
of commutative nonassociative algebras. It also allows us to deduce results for c-conformal
vectors when c 6= 1/2. In contrast to well-known nonassociative algebras using word relations,
such as Lie and Jordan algebras, our nonassociative algebras are controlled by fusion rules.
⋆

1

0

α

β

1

{1}

∅

{α}

{β}

{0}

{α}

{β}

{1, 0}

{β}

0
α

{1, 0, α}

β

Table 1: Ising fusion rules Φ(α, β)

The key definition is a Φ-axis: an idempotent, whose eigenspaces multiply according to
the fusion rules Φ. If structure constants describe the multiplication of elements, fusion rules
can be understood as describing the multiplication of submodules. We study the Ising1 fusion
rules Φ(α, β) of Table 1. The specialisation to Φ(1/4, 1/32) recovers the Majorana axes and 1/21

Named after the Ising model in statistical physics, whose solution involves the Virasoro algebra at c = 1/2.

2

conformal vectors. Crucially, the Z/2-grading on Φ(α, β) means that every Φ(α, β)-axis induces
an involution in the automorphism group.
The simpler case of Jordan-type fusion rules Φ(α) ⊆ Φ(α, β) was completely solved in

[HRS14] and allows a remarkable new characterisation of 3-transposition groups in the generic
case of α 6= 0, 1; in the special case α = 1/2, it includes some Jordan algebras [DMR15].

We find the axial generalisation of each Norton-Sakuma algebra, and thereby introduce

new examples of nonassociative algebras with good properties. Our results have an algebrogeometric flavour, in that to each of our algebras Aα,β over a field F we can attach a solution set
{(α, β) | Aα,β exists} ⊆ F2 . For each Norton-Sakuma algebra we find the irreducible variety of

(α, β) that generalises the algebra. This is plotted in Figure 1. The intersection of all varieties
(indeed, of any two not including (3A′α,β )) is the distinguished point (α, β) = (1/4, 1/32).
β
1
(6Aα )
α=β

(5Aα )

(4Aβ )

(3A′α,β )
(4Bα )
(1/4, 1/32)

0

∗

1 α

1/2

Figure 1: The existence of Norton-Sakuma-like algebras for (α, β) ∈ R2

We now give an outline of the paper and explain results and methods in more detail.
In Section 1, we recall our framework for axial algebras, which are commutative, nonassociative algebras generated by idempotents whose eigenvectors satisfy fusion rules. We also introduce Miyamoto involutions, the Frobenius property of having an associating bilinear form,
and prove several key lemmas. We briefly review some results from Majorana theory at the
end, and results from the Jordan-type fusion rules Φ(α).
The main result of Section 2 is a generalisation of [HRS13]’s Theorem 1.1, where in particular we no longer require the existence of a bilinear associating form:

3

Theorem 0.1 (Corollary to Theorem 2.4). There exists a ring R and a Φ-axial R-algebra A
such that, if B is an S-algebra finitely generated by Φ-axes, then S is an associative R-algebra
and B is a quotient of A ⊗R S.
In particular, the classification of quotients of the universal m-generated Φ-axial algebra
classifies all the m-generated Φ-axial algebras; we use this for m = 2. We call a 2-generated
Φ-axial algebra a Φ-dihedral algebra for short.
In the subsequent Section 3, we compute (with some restrictions on parameters) the structure constants for the universal 2-generated Ising axial algebra. Our calculations are more
general than, but very much inspired by, Sakuma’s [S07]; we rely on [GAP] to accurately complete the large but simple polynomial calculations. We do not find all relations among the
coefficients, but Theorem 3.7 contains the multiplication on a spanning set of size 8 over a
finitely-generated polynomial ring. Section 4 introduces the so-called (axial) cover of a quotient algebra, which is its maximal axial generalisation. Namely, if A is a simple 2-generated
axial algebra, and U is the appropriate universal 2-generated axial algebra, then A is a quotient of U by a maximal ideal B; the cover of A is the quotient of U by the largest irreducible
ideal containing B. We also record the eigenvectors and a relation from the fusion rules which
are key to finding the covers of the Norton-Sakuma algebras.
In Sections 5 to 8, under the mild additional assumption of a symmetry between the generators, we find covers of the five Norton-Sakuma algebras over Q in which all the permissible
eigenvalues 1, 0, 1/4, 1/32 are realised (namely (3A), (4A), (4B), (5A), (6A)); the covers are dihedral Ising-axial algebras which can be specialised to a Norton-Sakuma algebra, but it turns
out they can also be specialised in infinitely many other ways. The degenerate cases (1A), (2B)
are their own covers, and (2A), (3C) are covered by (3Cα ) (see also Section 1). We establish:
Theorem 0.2 (Corollary to the results of Sections 5 to 8). The (maximal) covers of the NortonSakuma algebras (nX) for n ≥ 4 are given by Table 2, together with a weak cover of (3A). The
algebras are Frobenius and satisfy a global 6-transposition property.

We further establish the existence of an associating bilinear form on the covers. We use
this form to determine the α, β for which our algebras have nontrivial quotients over R. The
order of the product ρ of the Miyamoto involutions of the two generators is also established.
I would like to thank S. Shpectorov and C. Hoffman for invaluable discussions, and the
referee for his extensive improvements.

1 Axial theory
Definition. Fusion rules are a map ⋆ : Φ × Φ → 2Φ on a finite collection Φ of eigenvalues.
4

Alg.

|ρ|

dim.

(3A′α,β )

3

4

α 6= 21 ,

λ=

(4Aβ )

4

5

α = 41 ,

1
β 6= 81 , 16
,

(4Bα )

4

5

α 6∈ (95),

(5Aα )

5

6

β = 81 (5α − 1), λ = 3(5α−1)
32
√ 1 2 1
α 6= −4 ± 2 5, 3 , 5 , 2 , β =

(6Aα )

6

8

Parameters

λ1 =

Quotients
3α2 +α(3β−1)−2β
4(2α−1)

β=

−α2 (3α−2)
,
16(2α−1)2

α2
2 ,

λ1 = β,
λ1 =

λ2 =

α2
4 ,

page

Lemma 8.2
β=

λ2 = 0
λ2 =

α
2

α2
4(1−2α)
α(21α2 −18α+4)
16(2α−1)2

35
33

1
2

α = −1

32

α = − 31 , 73

26

1
α = 32 , 47 , 24
(1 ±

√

97)

28

Table 2: The covers of the Norton-Sakuma algebras

We often implicitly pair ⋆ with Φ. We primarily consider the Ising fusion rules Φ(α, β) =
{1, 0, α, β}, a set of size 4 with a symmetric map ⋆ given by Table 1.

Suppose that R is a ring. For us, rings are always commutative and associative with 1.

An R-algebra A is an R-module together with a commutative but not necessarily associative
multiplication. An element a ∈ A is semisimple if ad(a) ∈ End(A) is diagonalisable, where

ad(a) is the (left-)adjoint map x 7→ ax; equivalently, A has a direct sum decomposition into
eigenspaces for ad(a). We introduce a special notation for eigenspaces.
Aaα = {x ∈ A | ax = αx},

Aa{α1 ,α2 ,...,αn } = Aaα1 ⊕ Aaα2 ⊕ · · · ⊕ Aaαn .

(1)
(2)

We likewise write xaα for the projection of x ∈ A onto Aaα , and even xa{α1 ,...,αn } = xaα1 + · · · + xaαn .
We may omit the superscript a if a is understood from context.

For the most part we will consider rings R which are a field F, a polynomial ring over F,
or a quotient of a polynomial ring of Z, and our algebras are free modules over R. For this
reason we almost always work in the following special situation. (We are not aware of similar
definitions in the literature.)
Definition. A ring R is everywhere faithful for its module M if, for any nonzero m ∈ M , the

annihilator ideal {r ∈ R | rm = 0} of its action is always trivial.

Such a ring, if M is nonzero, is a domain, and contains exactly two idempotents: 0 and 1.
Recall that a ∈ A is an idempotent if aa = a. An idempotent a is primitive if it spans its

1-eigenspace, that is, if Aa1 = hai. In that case, when R is everywhere faithful, there exists a
map λa : A → R such that xa1 = λa (x)a. This λ is well-defined, since a spans its 1-eigenspace

Aa1 ∋ xa1 and the R-annihilator of a is 0, so λa (x) ∈ R must be unique to satisfy xa1 = λa (x)a.
5

Definition. a ∈ A is a Φ-axis if a is a semisimple primitive idempotent such that
M
M
A = AaΦ =
Aaα and Aaα Aaβ ⊆ Aaα⋆β =
Aaγ .
α∈Φ

(3)

γ∈α⋆β

A Φ-axial algebra A is a commutative nonassociative algebra generated by Φ-axes.
The fusion rules Φ are Z/2-graded if there exists a partition Φ = Φ+ ∪ Φ− such that,

for ε, ε′ ∈ {+, −} and α ∈ Φε , β ∈ Φε′ , α ⋆ β ⊆ Φεε′ . If Φ is Z/2-graded, there exists an

automorphism τ (a) ∈ Aut(A) for every Φ-axis a acting as identity on AaΦ+ and inverting AaΦ− ,
called a Miyamoto involution. On Φ(α, β) we have a Z/2-grading into {1, 0, α} ∪ {β}.

Lemma 1.1. Suppose that t ∈ Aut(A) and that a ∈ A is a Φ-axis. Then at is again a Φ-axis.
t

If x ∈ A then λa (x) = λa (xt ). If Φ is Z/2-graded, then τ (a)t = τ (at ).

Proof. at at = (aa)t = at is a nonzero idempotent, and, since t is linear and ad(a) affords
a semisimple decomposition, ad(at ) = ad(a)t again affords a semisimple decomposition. In
t

t

particular, if x ∈ Aaµ , then at xt = (ax)t = µxt , so xt ∈ Aaµ and therefore (Aaµ )t ⊆ Aaµ . Similarly,
t

t

t

if x ∈ Aaµ then at x = µx so µx−t = (at x)−t = ax−t , whence (Aaµ )−t ⊆ Aaµ , i.e., Aaµ ⊆ (Aaµ )t ,
t

showing that Aaµ = (Aaµ )t and furthermore the eigenvalues of at are precisely the eigenvalues

of a and lie in Φ. Moreover, the fusion rules are also transported: suppose that x ∈ Aaλ and
t

t

t

t

y ∈ Aaµ . Then xt y t = (xy)t is in (Aaλ⋆µ )t = Aaλ⋆µ , so Aaµ Aaλ ⊆ Aaλ⋆µ . Therefore at is a Φ-axis.
t

t

t

We see that (Aa1 )t = Aa1 . Therefore λa (xt )at = (xt )a1 = (xa1 )t = (λa (x)a)t = λa (x)at . If Φ is

Z/2-graded, then t interchanges the −1-eigenspaces of τ (a) and τ (at ).
If a0 , a1 are Φ-axes and Φ is Z/2-graded, we write T = hτ (a0 ), τ (a1 )i and ρ = τ (a0 )τ (a1 ).

Then T is a dihedral group and we set

i

a2i = a0 ρ ,

i

a2i+1 = a1 ρ .

(4)

The following important result also implies Lemma 4.1 in [S07]:
Lemma 1.2. Suppose that Φ are Z/2-graded fusion rules, and a0 , a1 are Φ-axes generating a
T

T

subalgebra B of A. Then |aT0 | = |aT1 | and ρ|a0 ∪a1 | = 1 as an automorphism of A.
Proof. The conjugacy classes of two generating involutions in a dihedral group have equal
size, so |τ (a0 )T | = |τ (a1 )T |. Furthermore |ρ| = |τ (a0 )T ∪ τ (a1 )T |. As τ (ai )T = {τ (a) | a ∈ aTi } we

also have |τ (ai )T | ≤ |aTi |. Let A = {ai | i ∈ Z} = aT0 ∪ aT1 and n the smallest positive integer
such that a0 = an . If no such n exists then A is infinite and both aT0 and aT1 are infinite (as
ρ has infinite order, one of τ (a0 )T and τ (a1 )T must be infinite, and the sizes of these orbits

coincides, so both are infinite). Suppose instead that there is such an n.
m

If n is odd then n = 2m + 1 and a0 = a2m+1 = aτ1 . Therefore aT0 = aT1 has size n and
−m

τ (a1 ) = τ (a0 )ρ

= ρm τ (a0 )ρ−m = τ (a0 )ρ−2m ,
6

(5)

so ρ1+2m = ρn = 1. In the last step, we used that ρτ (a0 ) = ρ−1 .
m

If n is even then n = 2m and a0 = aρ0 . Therefore
(6)

τ (a0 ) = ρ−m τ (a0 )ρm = τ (a0 )ρ2m ,

so ρ has order 2m as required. On the other hand, τ (a0 )T has size at most m, so in fact both
τ (a0 )T and τ (a1 )T have size m and are disjoint. We see that τ (a0 )T has the same cardinality
as aT0 , so repeating the argument with a1 in place of a0 shows that τ (a1 )T and aT1 are also of
equal size. Therefore aT1 and aT0 have size m and are disjoint.
A fusion rule Φ is Seress if for all α ∈ Φ we have that 1 ⋆ α ⊆ {α} ⊇ 0 ⋆ α (and in particular

1 ⋆ 0 = ∅); Φ(α, β) is Seress.

Lemma 1.3. If Φ is Seress and a ∈ A is a Φ-axis, then for any elements x ∈ A, z ∈ Aa{1,0} we

have a(xz) = (ax)z.

Proof. By linearity, we may suppose that x ∈ Aaα . As x, xz ∈ Aaα , a(xz) = αxz = (ax)z.
Finally, we say that an algebra A is Frobenius if there exists an bilinear form (, ) on A which
is associating: for all x, y, z ∈ A, (xy, z) = (x, yz). Note that the eigenspaces of an element

a ∈ A are (, )-perpendicular if the pairwise difference of their eigenvalues is invertible, and (, )

is symmetric if A is generated by idempotents.

The Jordan-type fusion rules are the restriction Φ(α) of Φ(α, β) to the set {1, 0, α}. From

[HRS14] we deduce

Theorem 1.4 (follows from [HRS14], Theorem 1.1). If k is a field containing

1
2

and ᾱ 6= 0, 1,

and A is a 2-generated Φ(ᾱ)-axial k-algebra, then A is a scalar extension of a quotient of the
algebra Â with basis {a, b, s} and multiplication from Table 3 over the ring
R = Z[1/2, α, λ]/(2α − 1)(α − 2λ),
such that the images of α, λ are ᾱ, λa (b) respectively.

(3Cα )

a

b

s

a

a

s + α(a + b)

((1 − α)λ − α)a

b

((1 − α)λ − α)b

b

((1 − α)λ − α)s

s

Table 3: The algebra (3Cα )

7

(7)

In fact, if A is a 2-generated Φ(ᾱ)-axial k-algebra then there exist ideals JˆA ⊆ k[α, α−1 , (1−
α)−1 , λ] and JˆA Â ⊆ IˆA ⊆ Â ⊗Z k whose quotient is A, and JˆA contains either (2α − 1) or (α − 2λ).

Accordingly, set the ideal J¯A to be (2α − 1) or (α − 2λ). This J¯A is prime, and together with an
ideal I¯A , affords the cover of A; for example, J¯(2A) = J¯(3C) = (α − 2λ). See also Section 4.

The following was proven in [HRS13], following the groundbreaking work in [S07, IPSS10].

Theorem 1.5 (Theorems 5.10, 8.7 [HRS13]). There exists an algebra U over Q9 such that any
2-generated Φ(1/4, 1/32)-axial Frobenius algebra over Q is a quotient of U , and U is the direct
sum of the Norton-Sakuma algebras over Q.

2 The universal algebra
In this section, we make the formal construction of a certain universal algebra: an algebra
of which all Φ-axial algebras, or in our case of interest all Φ(α, β)-dihedral algebras, are quotients. We proceed by constructing a chain of increasingly specialised universal objects, starting from a free magma.
Let {α3 , . . . , αn } be a collection of symbols, α1 = 1, α2 = 0, and set Φ = {1, 0} ∪ {α3 , . . . , αn }.

For R a ring, recall that R[x, x−1 ] means R[x, y]/(xy − 1). Let

R′′ = R′′ (Φ) = Z[αi , (αi − αj )−1 | αi , αj ∈ Φ, i 6= j].

(8)

Suppose that R is a ring and S is an associative R-algebra. For an R-algebra A, the scalar
extension by S of A is the S-algebra A ⊗R S with product (x ⊗ s)(y ⊗ s′ ) = (xy) ⊗ (ss′ ).

Let A = {a1 , . . . , am } be an ordered collection and M′ the nonassociative magma on A,

that is, the collection of all bracketings of nonempty words on A together with a multiplication given by juxtaposition. In the category of R-algebras with m marked generators, where

morphisms are algebra homomorphisms mapping the marked generators to marked generators and preserving the ordering, RM′ is an initial object: there exists exactly one morphism
from RM′ to any other object A in the category. This mapping RM′ → A is given by evaluating

the word w ∈ M′ as a word in A.

Furthermore set M to be the commutative nonassociative magma on idempotents A, that

is, M is M′ modulo the relations ai ai = ai for all i and uv = vu for all words u, v. Then RM is
an initial object in the category of commutative (nonassociative) R-algebras generated by m

marked idempotents.
Let λa (w) be a symbol for all a ∈ A and w ∈ M, and set
R′ = R′′ [λa (w) | a ∈ A, w ∈ M] = R′′ [λA (M)].

(9)

Lemma 2.1. Suppose that A is an everywhere faithful R-algebra, generated by a set A of
primitive idempotents with eigenvalues Φ. If R is an associative R′′ = R′′ (Φ)-algebra, then R
8

is an associative R′ -algebra in a unique way such that w1a = λa (w)a for all a ∈ A, w ∈ M.
Proof. We use the multiplication in A to identify the mapping of λa (w) ∈ R′ into R. Let R̂

be the polynomial ring R[λA (M)] of R extended by indeterminates λa (w) for all a ∈ A, w ∈

M (c.f. (9)). Then there exists a unique mapping of R′ into R̂: as R is an associative R′′ algebra, there exists ψ̃ : R′′ → R; this extends canonically to ψ̂ : R′′ [λA (M)] → R[λA (M)], that

is, ψ̂ : R′ → R̂, by setting ψ̃(λa (w)) = λa (w). Let J be the ideal of R̂ generated by λa (w) − λa (w̃)
for all a ∈ A and w ∈ M, where w̃ ∈ A is the evaluation of the word w ∈ M and the second λa

is the ordinary mapping A → R ⊆ R̂. Then set ψ : R′ → R to be the map r 7→ ψ̂(r)/J. As ψ̃, ψ̂

are ring homomorphisms, so is ψ, and ψ makes R an associative R′ -algebra.
Let A′ be the quotient of R′ M modulo the ideal generated by
Y

(ad(a) − αi id) (w − λa (w)a) for all a ∈ A, w ∈ A′′ .

(10)

αi ∈Φr{1}

Then

A′

is generated by primitive diagonalisable idempotents.

Lemma 2.2. There exists a unique morphism from A′ to any R′ -algebra A generated by m
primitive diagonalisable idempotents with eigenvalues Φ.
Proof. As in the proof of Lemma 2.1, for w ∈ A′′ , write w̃ for the evaluation of the word w in

A, and w̄ for the evaluation of the word w̃ in A′′ . Set IA to be the ideal generated by w − w̄ for
w ∈ A′′ . Then IA is the evaluation ideal in A′′ induced by A, and is the unique mapping from

A′′ to A preserving the m generating idempotents. That the m generators in A are primitive
diagonalisable idempotents with eigenvalues Φ implies that the ideal in (10) is contained in
IA and therefore the unique mapping from A′′ to A factors through a morphism from A′ to
A.
′
Let C ′ = CR
′′ be the category whose objects are pairs (R, A) such that R is a ring and

an associative R′′ -algebra, the generators A in A are primitive diagonalisable idempotents

with (ordered) eigenvalues Φ̄ = {1, 0, ᾱ2 , . . . , ᾱn }, and A is an everywhere faithful R-algebra
generated by A. (For convenience, we always write A for the generating set, as the generators

can be identified without danger of confusion.) Morphisms in the category from (R1 , A1 ) to

(R2 , A2 ) are pairs (φ, ψ) such that φ : R1 → R2 is a R′′ -algebra homomorphism and ψ : A1 → A2

is an algebra homomorphism mapping generators to generators and compatible with φ, in the
sense that (rx)ψ = r φ xψ for all r ∈ R1 , x ∈ A1 .
Lemma 2.3. (R′ , A′ ) is an initial object in C ′ .
Proof. That is, for any (R, A) in C ′ there exists a single morphism (φ, ψ) : (R′ , A′ ) → (R, A).

This follows since R is an R′ -algebra, by Lemma 2.1, by a unique nontrivial map φ : R′ → R
9

which maps R′ 7→ (R′ ⊗Z R)/IR , where IR is the ideal (αi − ᾱi | 3 ≤ i ≤ n) encoding the
identification of ᾱi with αi . Furthermore A′ is initial among R′ -algebras generated by m
marked primitive idempotents acting diagonalisably with eigenvalues Φ by Lemma 2.2.
Suppose that (J, I) is a pair with J an ideal of R and I an ideal of A. The pair (J, I) match
if JA ⊆ I and λa (x) ∈ J for all x ∈ I, a ∈ A. If (J, I) match and I contains none of the

generators in A, then (R/J, A/I) is again an element of C ′ , since A is preserved, R/J is again
an associative algebra over R′′ (and hence R′ ) acting everywhere faithfully on A/I, and A/I is
generated by m primitive diagonalisable idempotents with eigenvalues Φ.
Take an arbitrary object (R, A) and let (φ, ψ) be the morphism from (R′ , A′ ) to (R, A). Then
ψ is a surjection in the sense that RA′ ψ = A. We can write φ as the composition φs ◦ φi of an

injection R′ 7→ R′ ⊗Z R with a surjection (R′ ⊗Z R)/JA , for JA = ker φs an ideal. Let IA = ker ψ.

The ideals (JR , IA ) match by the condition that ψ, φs have to be compatible. Write C ′ (J, I) for

the subcategory of C ′ whose objects are algebras (R, A) such that JR ⊆ J, IA ⊆ I. In C ′ (J, I),
the object (R′ /J, A′ /I) is again initial.

So far, Φ has only been a collection of eigenvalues. Now suppose that Φ comes with fusion
rules ⋆. We write down two special ideals J ′ , I ′ : let I ′ be generated by

Y
Y
Y
(ad(ai ) − α id)y
(ad(ai ) − α id)x ·
(ad(ai ) − α id)
α∈αj ⋆αk

α∈Φr{αj }

(11)

α∈Φr{αk }

for all x, y ∈ A and αj , αk ∈ Φ and ai ∈ A, and set J ′ = (λa (x) | a ∈ A, x ∈ I ′ ). Then (J ′ , I ′ )

match. The ideals J ′ , I ′ are minimal with respect to the axioms of Φ-axial algebras, that is, if
(R, A) are Φ-axial R′ -algebras then they are in C ′ and the unique morphism (φ, ψ) : (R′ , A′ ) →
(R, A) necessarily has J ′ ⊆ ker φ and I ′ ⊆ ker ψ. Therefore C = C ′ (J ′ , I ′ ) is the category of
m-generated Φ-axial algebras and has initial object (RU , U ) = (R′ /J ′ , A′ /I ′ ). We have

Theorem 2.4. For fusion rules Φ = {1, 0, α3 , . . . , αn }, m ∈ N, and R′′ from (8), there exists an

algebra U over a ring RU such that if S is an associative R′′ -algebra and B is an m-generated Φaxial S-algebra, there exist matching ideals JB ⊆ RU ⊗Z S, IB ⊆ U ⊗Z S such that U ⊗Z S/IB ∼
=B

as an algebra over RU ⊗Z S/JB ∼
= S.

We say that the RU -algebra U is the universal m-generated Φ-axial algebra. This implies
Theorem 0.1: finite generation means that there exists an m for which Theorem 2.4 gives the
desired result.
Note that, if we replaced the underlying ring R′′ in (8) with a larger ring R̂′′ , Theorem 2.4
continues to hold with minor modification. In particular, set
R0 = Z[1/2, α, β, α−1 , β −1 , (α − β)−1 , (α − 2β)−1 , (α − 4β)−1 , λ1 , λf1 , λ2 , λf2 ].

(12)

The upcoming Theorem 3.7 gives the multiplication table for an algebra AR0 over R0 . The
universal Φ(α, β)-dihedral algebra U that exists by Theorem 2.4 is a quotient of AR0 , although
10

we will not completely determine U in this text.

3 The multiplication table
From now on, we only consider the Ising fusion rules Φ = Φ(α, β). Suppose that R is an
associative R′′ (Φ)-algebra from (8), so that 21 , α, β ∈ R and α, β, α − 1, β − 1, α − β are invertible

in R. Suppose that A is a (commutative, nonassociative) R-algebra generated by Φ-axes a0 , a1 .
In this section, culminating in Theorem 3.7, we give a spanning set and multiplication table
for the algebra structure of A, under some further conditions on R.
Multiplication in A is denoted by juxtaposition. A second product ◦ : A × A → A on A,
x ◦ y = xy − β(x + y) for x, y ∈ A,

(13)

will play a critical role for us because of the Z/2-grading on Φ.
Recall that, for a Φ-axis a ∈ A, τ (a) ∈ Aut(A) is the automorphism acting as −1 on the

β-eigenspace of a and fixing everything else, and our conventions from Section 1.
Let B be the subset of A with elements
B = {a−2 , a−1 , a0 , a1 , a2 , s, s2 , sf2 },

for s = a0 ◦ a1 ,

s 2 = a0 ◦ a2 ,

sf2 = a−1 ◦ a1 .

(14)
(15)

In this section we compute the products between elements of B, recorded in lemmas; other
computations will be part of the rolling text.
Four elements of the ring will also have a special role to play. Namely, we write
λ1 = λa0 (a1 ),

λf1 = λa1 (a0 ),

λ2 = λa0 (a2 ),

λf2 = λa1 (a−1 ).

(16)

Note that, since α, β, λ, λf , λ2 , λf2 lie in the ring R, the automorphisms of A and in particular
τ (a0 ), τ (a1 ) fix them.
The superscript f notation refers to the map f , called the flip, interchanging a0 , a1 . In
general f is not an automorphism, but it turns out to be in some special cases. It has an
action on the ring and on the algebra.
Recall that, by the definition of a Φ-axis a, any element x ∈ A may be written as
x = xa1 + xa0 + xaα + xaβ = x1 + x0 + xα + xβ ,

(17)

where xaφ is the projection of x onto the φ-eigenspace Aaφ of a. We omit the superscript a
when context makes it clear which idempotent a is being used for this decomposition. In
this section, all eigenvector decompositions will be with respect to a or a0 unless indicated
otherwise. Furthermore, recall that x1,0 is the projection of x onto Aa1 ⊕ Aa0 , and x+ is the
projection of x onto Aa1 ⊕ Aa0 ⊕ Aaα .

11

We deduce that
1
(ax − λa (x)a − βxβ ),
(18)
α
1
xβ = (x − xτ (a) ).
(19)
2
The latter follows since τ (a) inverts the β-eigenspace. So we have that xβ = 12 (x − xτ (a) ). The
xα =

former is found by using the previous equations in ax = λa (x)a + αxα + βxβ and rearranging.
Furthermore
a2 x = a(ax) = λa (x)(1 − α)a + αax + β(β − α)xβ ,

(20)

using the substitution (18) in the expression a2 x = λa (x)a + α2 xα + β 2 xβ .
It follows that a ◦ x lies in Aa{1,0,α} (and thus is fixed by τ (a)) for any x ∈ A:
a ◦ x = λa (x)a + αxα + βxβ − β(x + a),

= (λa (x) − β)a − βx0 + (α − β)xα .

(21)
(22)

Lemma 3.1. We deduce

from

1
τ (a ) 
a0 s = (α − β)s + (λ(1 − α) + β(α − β − 1))a0 + (α − β)β a1 + a1 0 ,
2
1
τ (a ) 
f
a1 s = (α − β)s + (λ (1 − α) + β(α − β − 1))a1 + (α − β)β a0 + a0 1 ,
2
1
τ (a ) 
a0 s2 = (α − β)s2 + (λ2 (1 − α) + β(α − β − 1))a0 + (α − β)β a2 + a2 0
2
a(a ◦ x) = (α − β)a ◦ x + (λ(x)(1 − α) + β(α − β − 1))a + (α − β)βx+ .

(23)

(24)

Proof. The equation (24) can be deduced starting from the definition of ◦:
a(a ◦ x) = a(ax) − β(aa + ax)
= (α − β)ax + (λ(x)(1 − α) − β)a + β(β − α)xβ
by (20), and then rewriting ax using ◦ as
= (α − β)a ◦ x + (α − β)β(a + x) + (λ(x)(1 − α) − β)a − (α − β)βxβ .
This gives the result after collecting terms and writing x+ = x − xβ . From (24) we deduce
a0 s, a0 s2 by substituting a1 , a2 for x respectively. Then a1 s follows by swapping a0 , a1 .

We define a further commutative product
∗a : A × A → A,

x ∗a y = (x ◦ a)y + (y ◦ a)x

(25)

for our computations. With respect to the Φ-axis a, for x, y ∈ A,
(x ∗a y)1,0 = −2β(x+ y+ )1,0 + 2αxα yα + ((λa (x) − β)λa (y) + (λa (y) − β)λa (x))a,
12

(26)

(x ∗a y)α = (α − 2β)(x+ y+ )α + α(λa (x) − β)yα + α(λa (y) − β)xα .

(27)

To deduce this, we use the previous calculations for (x ◦ a)1,0 and (x ◦ a)α . From the fusion
rules, since (x ◦ a)β = 0, we have that

(x ∗a y)1,0 = ((x ◦ a)y)1,0 + ((y ◦ a)x)1,0
= (x ◦ a)1,0 y1,0 + (y ◦ a)1,0 x1,0 + (x ◦ a)α yα + (y ◦ a)α xα

= −2βx1,0 y1,0 + 2(α − β)xα yα + ((λa (x) − β)λa (y) + (λa (y) − β)λa (x))a,
which gives (26) when we use that (x+ y+ )1,0 = x1,0 y1,0 + xα yα . For (27),
(x ∗a y)α = ((x ◦ a)y)α + ((y ◦ a)x)α
= (x ◦ a)1,0 yα + (x ◦ a)α y1,0 + (y ◦ a)1,0 xα + (y ◦ a)α x1,0

= (α − 2β)(x1,0 yα + xα y1,0 ) + α(λa (x) − β)yα + α(λa (y) − β)xα ,
and after using x1,0 yα + xα y1,0 = (x+ y+ )α we have the answer.
We also find that, for x, y ∈ A, when α − 2β is invertible,

1
(x+ y+ )α =
(x ∗a y)α + αβ(xα + yα ) − α(λa (x)yα + λa (y)xα ) ,
α − 2β

1
xα y α =
(x ∗a y)1,0 + 2β(x+ y+ )1,0 + (βλa (x) + βλa (y) − 2λa (x)λa (y))a .
2α
The expression (28) is just a rearrangement of (27). For (29), rearranging from (26),

(28)
(29)

2αxα yα + (2λa (x)λa (y) − β(λa (x) + λa (y)))a = (x ∗a y)1,0 + 2β(x+ y+ )1,0
= (x ∗a y)+ − (x ∗a y)α + 2β((x+ y+ )+ − (x+ y+ )α ).
As (x+ y+ )+ = x+ y+ , rearranging gives the final claim.
Lemma 3.2. We have that, if α − 2β is invertible, then

1 α−β h
4(1 − 2α)λ21 + 2(α2 + αβ − 4β)λ1 + αβλ2 − β(α2 + 9αβ − 4β 2 − 4β) a0
ss =
2 α − 2β

+ 2(−α2 + 6αβ + α − 4β)λ1 − β(10αβ − 4β 2 + α − 6β) (a1 )+ + β(α − 4β)(α − β)(a2 )+
i

2
+
α(3α − 2β − 1)λ1 − β(6α2 − 10αβ + 4β 2 − α) s − αβs2 + β(α − 2β)sf2 ,
α−β
(30)
from the equation, for any x, y ∈ A,

α
α2
− β (x ∗a y)+ −
(x ∗a y)α + β(α − β)x+ y+
(a ◦ x)(a ◦ y) =
2
2(α − 2β)


β
+ α2 1 +
((λa (y) − β)xα + (λa (x) − β)yα )
α − 2β
α

+ (λa (x)λa (y)(1 − α) + (λa (x) + λa (y))
− 1 β + β 2 )a.
2
Proof. Note that
a ◦ x + βx+ = ax − βa − βx + βx+ = ax − βxβ − βa = ax+ − βa = (λa (x) − β)a + αxα .
13

(31)

(32)

Now we can compute in two ways:
(a ◦ x + βx+ )(a ◦ y + βy+ ) = (a ◦ x)(a ◦ y) + β((a ◦ x)y+ + (a ◦ y)x+ ) + β 2 x+ y+
= (a ◦ x)(a ◦ y) + β(x ∗a y)+ + β 2 x+ y+

since a ◦ x = (a ◦ x)+ , so (a ◦ x)y+ = ((a ◦ x)y)+ , on the one hand; on the other,
= ((λa (x) − β)a + αxα )((λa (y) − β)a + αyα )

= α2 xα yα + α2 ((λa (x) − β)yα + (λa (y) − β)xα ) + (λa (x) − β)(λa (y) − β)a
and using (29),

1
(x ∗a y)1,0 + β(x+ y+ )1,0 + α2 ((λa (y) − β)xα + (λa (x) − β)yα )
=α
2



α
− 1 (λa (x) + λa (y)) + β 2 a.
+ λa (x)λa (y)(1 − α) + β
2
So we may rearrange for our desired term:
α

α
(a ◦ x)(a ◦ y) =
− β (x ∗a y)+ − (x ∗a y)α + β(α − β)x+ y+ − αβ(x+ y+ )α
2
2
2
a
+ α ((λ (y) − β)xα + (λa (x) − β)yα )
α

+ (λa (x)λa (y)(1 − α) + (λa (x) + λa (y))
− 1 β + β 2 )a
2


and finally, using (28),


α

1
β
=
− β (x ∗a y)+ − α
+
(x ∗a y)α + β(α − β)x+ y+
2
2 α − 2β



 2 2
β
α β
2
2
a
a
+α 1+
+ α β (xα + yα )
(λ (y)xα + λ (x)yα ) −
α − 2β
α − 2β

α
− 1 β + β 2 )a,
+ (λa (x)λa (y)(1 − α) + (λa (x) + λa (y))
2
so we arrive at our conclusion (31) after collecting terms.
Now also note that, with respect to the Φ-axis a, for any idempotent e ∈ A,


1
1
τ (a)
+
+ β e+ .
e+ e+ = e ◦ e
2
2

(33)

By definition of τ (a), e+ = 12 (e + eτ (a) ). Hence, multiplying out, e+ e+ = 41 (e + eτ (a) ) + 12 eeτ (a) ,
and we rewrite the expression using the definition of ◦. For the product ss, we specialise: for
any x ∈ A,

(a ◦ x)(a ◦ x) =

α


− β (x ∗a x)+ + β(α − β)x+ x+

2
+ (λa (x)2 (1 − α) + λa (x)(α − 2)β + β 2 )a


α2
β
2
(x ∗a x)α .
(λa (x) − β)xα −
+ 2α 1 +
α − 2β
2(α − 2β)

14

(34)

We need a number of auxiliary expressions. Observe that (18) can be rewritten as,
1
1
xα = (a ◦ x + β(a + x) − λa (x)a − βxβ ) = (a ◦ x + (β − λa (x))a + βx+ ).
α
α
By application of (24) with a1 in place of a, substituting 12 (a0 + a2 ) for a0 a+1 ,
a1 ∗a0 a1 = 2sa1 = 2(α − β)s + 2(λf1 (1 − α) + β(α − β − 1))a1 + (α − β)β(a0 + a2 ).

(35)

(36)

We immediately deduce, using s+ = s and a+ = a, then using (21) and (35),
(a1 ∗a0 a1 )+ = 2(α − β)s + 2(λf1 (1 − α) + β(α − β − 1))(a1 )+ + (α − β)β(a0 + (a2 )+ ),

(37)

(a1 ∗a0 a1 )α = 2(α − β)sα + 2(λf1 (1 − α) + β(α − β − 1))(a1 )α + (α − β)β((a0 )α + (a2 )α )
2
= ((α − β)2 + λf1 (1 − α) + β(α − β − 1))(s + (β − λ1 )a0 + β(a1 )+ )
(38)
α
β
+ (α − β) (s2 + (β − λ2 )a0 + β(a2 )+ ).
α
Finally, we substitute a1 in place of x in (34), and substitute the expressions we collected

for (a1 ∗a0 a1 )+ in (37), for (a1 )+ (a1 )+ in (33), for (a1 )α in (35), and for (a1 ∗a0 a1 )α in (38), to find
α

ss =
− β [2(α − β)s + 2(λf1 (1 − α) + β(α − β − 1))(a1 )+ + (α − β)β(a + aτ (b) + )]
2




1
1 f
s +
+ β (a1 )+ + (λ21 (1 − α) + λ1 (α − 2)β + β 2 )a0
+ β(α − β)
2 2
2



λ1 − β
2
α2
β
2
+ 2α 1 +
(s + (β − λ1 )a0 + β(a1 )+ ) −
((α − β)2 + λf1 (1 − α)
α − 2β
α
2(α − 2β) α

β
+ β(α − β − 1))(s + (β − λ1 )a0 + β(a1 )+ ) + (α − β) (s2 + (β − λ2 )a0 + β(a2 )+ )
α
(39)




α
β
=
− β (α − β)β + λ21 (1 − α) + λ1 (α − 2)β + β 2 + 2α 1 +
(λ1 − β)(β − λ1 )
2
α − 2β


α
f
a τ (b)
2
−
β(α − β)(β − λ (a )) + 2((α − β) + λ1 (1 − α) + β(α − β − 1))(β − λ1 ) a0
2(α − 2β)





1
β
f
+ (α − 2β)(λ1 (1 − α) + β(α − β − 1)) + β(α − β)
+ β + 2α 1 +
(λ1 − β)β
2
α − 2β

α
((α − β)2 + λf1 (1 − α) + β(α − β − 1 (a1 )+
−
α − 2β


α

α2
β2
β(α − β) f
αβ
+ β(α − β)
−β −
(α − β)
(α − β)s2 +
s2
(a2 )+ −
2
2(α − 2β)
α
2(α − 2β)
2




β
α
+ (α − β)(α − 2β) + 2α 1 +
((α − β)2 + λf1 (1 − α) + β(α − β − 1)) s
(λ1 − β) −
α − 2β
α − 2β
(40)
which is the equation given in the statement, once its terms have been collected.

From now on, for the rest of this section, we will assume that α − 2β is invertible.
15

Lemma 3.3. If α − 4β is invertible, then


1
4αβλ1 − 2(α2 − (4β + 1)α + 4β)λf1 − α2 β − αβ(5β − 1) + 6β 2 a−1
a3 = a−2 +
β(α − β)(α − 4β)

1
4(3α2 − (4β − 1)α + 2β)λ21 + (4α(α − 1)λf1 − 6α3 − 2(3β − 1)α2 + 2αβ(8β + 1) − 8β 2 )λ1
+
α−β

− 4αβ(β − 1)λf1 − 2αβ(α − β)λ2 + 2βα3 + β(6β − 1)α2 − αβ 2 (12β − 1) + 2β 3 (2β − 1) a0
2
1 
4α(α − 1)λ1 λf1 − 4αβ(β − 1)λ1 + 4(3α2 − 4α(4β − 1) + 2β)λf1 − 2(3α3 + α2 (3β − 1)
+
α−β

− αβ(8β + 1) + 4β 2 )λf1 + 2αβ(α − β)λ2 + 2α3 β + α2 β(6β − 1) − αβ 2 (12β + 1) + 2β 3 (2β + 1) a1


+ 2(α2 − α(4β + 1) + 4β)λ1 − 4αβλf1 + α2 β + αβ(5β + 1) − 6β 2 a2
!



1 
4
+
4α(α − 2β + 1)λ1 + 4α(−α + 2β − 1)λf1 s +
sf2 − s2 ,
α−β
α − 4β
(41)
and therefore the R-span of B is stable under T . Thus we deduce expressions for
a2 s,

a−1 s,

a−2 s,

a1 sf2 ,

a−1 sf2 ,

a2 s 2 ,

a−2 s2 ,

Proof. Lemma 3.2 calculates ss using eigenspace decompositions and fusion rules with respect
to a0 , and by repeating the computation with the roles of a0 and a1 swapped, we obtain an
expression for (ss)f from (30). On the other hand, s is symmetric in a0 and a1 so that ss
is invariant under interchange of a0 and a1 . The equation (41) follows from the equality
(ss)f = ss. Since a3 = (a−2 )f , we see the desired term in the expression for (ss)f :

2
1 α − β h
4(1 − 2α)λf1 + 2(α2 + αβ − 4β)λf1 + αβλf2 − β(α2 + 9αβ − 4β 2 − 4β) b
2 α − 2β


1
1
f
2
2
+ (−α + 6αβ + α − 4β)λ1 − β(10αβ − 4β + α − 6β) (a + a2 ) + β(α − 4β)(α − β)(a−1 + a3 )
2
2

2 
α(3α − 2β − 1)λf1 − β(6α2 − 10αβ + 4β 2 − α) s − αβsf2 +β(α − 2β)s2 ] .
+
α−β
(42)
Rearranging yields the claim for a3 .
Now observe that
B f = {a3 , a2 , a1 , a0 , a−1 , s, sf2 , s2 }.

(43)

Out of these, the only term not already in B is a3 . Our above expression for this term shows
τ (a0 )

that RB and RB f coincide. As a4 = af−3 , that is, a3
have that

B τ (a1 )

⊆

RB f

= RB also, and since

B τ (a0 )

with the roles of a0 , a1 reversed, we

= B this proves RB T = RB.

Now all of the terms in (3.3) are in the T, f -orbit of a0 s or a0 s2 :
a1 sf2 = (a0 s2 )f ,

a2 s = (a0 s)τ (a1 ) ,

a−1 sf2 = (a0 s2 )f τ (a0 ) ,

a−1 s = (a0 s)τ (a1 )f ,
16

a−2 s = (a0 s)τ (a1 )τ (a0 ) ,

a2 s2 = (a0 s2 )τ (a1 ) ,
a−2 s2 = (a0 s2 )τ (a1 )τ (a0 ) .

From now on we also assume that α − 4β is invertible.
Lemma 3.4. We have that

1 
1
2(3α − (4β − 1)α + 2β)λ21 + 2α(α − 1)λ1 λf1 + 2(−2α3 + α2 + αβ(2β − 1))λ1
a0 sf2 =
α − 2β α − β

+ 4β(−α2 + α(β + 1) − β)λf1 − αβ(α − β)λ2 + 4α3 β − 2β(2β + 1)α2 + 2αβ 2 (β + 1) − 2β 4 a0


1
− (2αλ1 + 2(α − 1)λf1 − 2α2 + (β + )α − 2β 2 + β) β(a1 + a−1 ) + s + (α − β)β 2 a2 + a−2
2

+ 2β(α − β)s2 .

(44)

and from this follow expressions, using the T -invariance explained in Lemma 3.3, for
a2 sf2 ,

a−2 sf2 ,

a1 s 2 ,

a−1 s2

and

a−2 a1 ,

a−2 a2 ,

a−1 a2 .

Proof. Recall from (35) and (19) that

1
1
(45)
(1 − α)λ1 − β)a0 + (α − β) (a1 + a−1 ) − s .
(a1 )0 =
α
2
First we write down, using Lemma 3.3,

1
(a1 )0 (a1 )0 =
− 2α(α − 2β + 1)λ21 + 2(α − 1)λ1 λf1 + 2(−α2 − 2αβ + 2β 2 + β)λ1
2α(α − 2β)

− 2β(α − 1)λf1 − β(α − β)λ2 + 3βα2 − 3β 3 − 2β 2 a0

+ (α − β) 4βλ1 + 2(α − 1)λf1 − (2β − 1)α − 4β 2 (a1 )+ + β(α − β)(a2 )+

f
f
2
(2(α − β)λ1 + (α − 1)λ1 − 2α + 2αβ + β)s − β(α − β)s2 + (α − β)(α − 2β)s2 .
(46)

From the fusion rule 0 ⋆ 0 = 0 we deduce that a0 ((a1 )0 (a1 )0 ) = 0. The only product we do not
already know is a0 sf2 , so substituting and rearranging gives the result.
The second set of equations follows from the fact that T is transitive on a−2 , a−1 , a0 , a1 , a2 ,
and we have expressions for a0 x for all x ∈ B, so we can take any product ai x and find a

representative a0 x′ in the T -orbit of ai x with an expression for this product in RB. As RB is

T -closed, this allows us to calculate any ai x.
Lemma 3.5. We can find an expression for ss2 in RB, and hence get an equation for ssf2 too.
We also have expressions for s2 s2 and sf2 sf2 in RB.
Proof. We will derive the first equality starting from the equation
a0 ((a1 )0 (a2 )α + (a1 )0 (a2 )0 ) = α(a1 )0 (a2 )α
17

(47)

which follows from the fusion rules. The key is that the contributions of ss2 from each of the
terms (a1 )0 (a2 )α and (a1 )0 (a2 )0 cancel on the lefthand side, but not on the righthand side.
We know (a1 )0 from (45). In the same way we calculate

1
1
(48)
(1 − α)λ2 − β)a0 + (α − β) (a2 + a−2 ) − s2 ,
(a2 )0 =
α
2
and also get, from (35),

1
1
(49)
(β − λ2 )a0 + β(a2 + a−2 ) + s2 .
(a2 )α =
α
2
The previous lemmas are enough to calculate the products, so arriving at the answer is a
matter of rearranging the copious terms.
Then ssf2 = (ss2 )f . The third and forth products promised follow from
a0 ((a2 )0 (a2 )α + (a2 )0 (a2 )0 ) = α(a2 )0 (a2 )α

(50)

using the same method.
Lemma 3.6. We can express s2 sf2 in RB.
Proof. Recall that idempotents are preserved by automorphisms, so that a3 a3 = a3 . The
expression afforded in Lemma 3.3, and knowing all other products, allows us to express s2 sf2 .

Altogether the previous sequence of Lemmas proves
Theorem 3.7. Suppose that R is an associative R′′ [(α − 2β)−1 , (α − 4β)−1 ]-algebra. If A is an
algebra over R generated by two Φ(α, β)-axes a0 , a1 , then A is spanned by
B = {a−2 , a−1 , a0 , a1 , a2 , s, s2 , sf2 }.
with the multiplication table described by the previous Lemmas 3.2 to 3.6.
In particular, when U is the universal 2 generated Φ-axial algebra over ring RU from
Theorem 2.4 with the extra condition that α − 2β, α − 4β be invertible, then RU is a quotient
of the polynomial ring

Z[1/2, α, β, α−1 , β −1 , (α − β)−1 , (α − 2β)−1 , (α − 4β)−1 ]

(51)

and U has the multiplication table of Theorem 3.7 over RU . (That U cannot be spanned by a
set of size 7 is clear by the existence of (6A), a quotient algebra which is 8-dimensional over
Q.)
We now define a form (, ) on the algebra of Theorem 3.7 by setting (ai , ai ) = 1 and applying several relations which are necessary for (, ) to be Frobenius. (We do not apply all such relations

18

to guarantee that (, ) is Frobenius, since their computational complexity exceeds our capabilities. But applying all these relations is a valid possibility, which was exploited especially for
Majorana alebras [IPSS10].) Firstly, λai (aj ) =

(ai ,aj )
(ai ,ai )

= (ai , aj ). Secondly,

(ai , s) = (ai , ai ai+1 − β(ai + ai+1 )) = (ai , ai+1 ) − β(ai , ai ) − β(ai , ai+1 ) = λ1 (1 − β) − β.

(52)

We likewise compute the remaining values of the form up to action by T and f .
(ai , s2 ) = λ2 (1 − β) − β, for i = −2, 0, 2

(53)

(ai , s2 ) = (βλ2 − (2β − 1)λ − β), for i = −1, 1
(54)
1
(s, s) = (β(α − β)λ2 − 2(α − 1)λ2 + 2(α + 2β 2 − 4β)λ − βα + 5β 2 ),
(55)
2
1
(α − 2β)(α − β)
β(−6αλ + 4α2 − (2β + 3)α + 4β 2 + 6β)λ2 + 8(2α − 1)λ3
(s, s2 ) =
2 (α − 4β)(α − 2β)(α − β)


− 4(α + 2)(2α − 1)λ2 + 2(4α2 + (2β 2 − 1)α − 8β 3 + 12β 2 − 4β)λ − 4βα2 + β(6β + 1)α − 20β 3 + 2β 2 ,
(56)

(s2 , s2 ) =

1
1
−2β(α − 4β)(α − β)(α2 − (3β + 1)α + 4β)λ22 + (4(α4 − (9β + 2)α3
2 β(α − 4β)2 (α − β)

+ (22β 2 + 19β + 1)α2 + 2β(8β 2 − 21β − 4)α − 8β 3 + 16β 2 )λ2 + 2β(2(2β − 1)α3 − β(74β + 11)α2

+ 2β(2β 2 + 47β + 4)α − 32β 2 )λ + 2β(2β + 1)α4 + 2β 2 (6β − 11)α3 + β 2 (12β 2 + 88β − 1)α2

+ 4β 3 (14β 2 − 61β + 1)α − 48β 6 + 27 β 5 + 12β 4 )λ2 + 16(2α − 1)(α2 − (6β + 1)α + 4β)λ4

− 8(2α − 1)(α3 − (6β − 1)α2 − (2β + 1)(5β + 2)α + 4β 3 + 6β 2 + 8β)λ3 − 4(−3α4

+ (20β 2 + 17β + 4)α3 − (8β 3 − 40β 2 + 6β + 1)α2 + 2β(2β 2 − 40β − 1)α + 28β 2 )λ2

+ 2β(6(6β + 1)α3 + (58β 2 − 33β − 2)α2 − 2β(2β 2 + 43β − 2)α + 32β 2 )λ − 4β 2 α4

− 2β 2 (2β + 1)α3 − β 2 (84β 2 − 22β − 1)α2 + 4β 3 (34β 2 + 7β − 1)α − 80β 6 − 12β 4 ,
(s2 , sf2 ) =

(57)

1
1
−2βα(α − 4β)(α − β)λ22 + (8(α3 − 3βα2 + β(8β + 1)α − 4β 2 )λ2
2 (α − 4β)2 (α − β)

− 2((26β + 3)α3 − (70β 2 + 27β + 1)α2 + 2β(46β 2 + 27β + 3)α − 48β 3 − 8β 2 )λ + 16βα4

− 2β(22β + 3)α3 + β(72β 2 − 2β + 1)α2 − 4β 3 (22β − 7)α + 80β 5 − 32β 4 − 4β 3 )λ2

− 32α(2α − 1)λ4 + 8(2α − 1)(6α2 − (10β − 3)α + 12β 2 + 2β)λ3 − 4(8α4 − 20(β − 1)α3

+ (24β 2 − 32β − 15)α2 + 2(26β 2 + 14β + 1)α − 32β 2 − 4β)λ2 + 2(16α4 + 2(2β 2 − 9β − 4)α3

− (36β 3 − 14β 2 + 8β − 1)α2 + 2β(48β 3 − 2β 2 + 27β + 1)α − 64β 5 + 64β 4 − 64β 3 − 8β 2 )λ

− 16βα4 + 4β(11β + 2)α3 − β(72β 2 + 8β + 1)α2 + 4β 3 (22β − 5)α − 80β 5 + 32β 4 + 4β 3 .
(58)

By this definition, (, ) does not make the algebra Frobenius; for example, (a−1 , a2 ) 6= (a−1 , a−1 a2 ).
However, some quotients of (, ) will turn out to be Frobenius in the sequel.

19

4 Fusion rules and covers
Not all fusion rules have been enforced yet. We describe, given a Φ(α, β)-dihedral algebra,
how to find its generalisation, called an axial cover, by finding smaller ideals, coming from
the fusion rules, in the universal algebra previously described. We also introduce the extra
assumption that the coefficient functions λe , λf are symmetric.
Suppose that R is a ring satisfying the assumption in Theorem 3.7, so that R is an associative
algebra over
R0 = Z[α, β, α−1 , β −1 , (α − β)−1 , (α − 2β)−1 , (α − 4β)−1 ].

(12)

Let AR be the free R-module on B = {a−2 , a−1 , a0 , a1 , a2 , s, s2 , sf2 } together with the multi-

plication from Theorem 3.7. Then a0 , a1 ∈ AR are not necessarily Φ(α, β)-axes, since their

eigenvectors do not satisfy the fusion rules in general, as we will see in Lemma 4.3. Therefore
AR is not necessarily a Φ(α, β)-dihedral algebra.

However, Theorem 3.7 shows that any Φ(α, β)-dihedral algebra over a ring R satisfies
the multiplication rules given in Section 3, and therefore is a quotient of AR . In particular,
Theorem 2.4 asserts that there exists a ring RU , which is a quotient of R0 by some ideal
R0
JΦ(α,β)
, and an algebra U over RU which is the universal Φ(α, β)-dihedral algebra. Hence U
R0
is a quotient of ARU by some ideal IΦ(α,β)
. (We use the subscript Φ(α, β) in our notation for

these ideals to indicate that they come solely from the fusion rules.) While actually finding U
over RU is beyond our reach, we work with AR0 over R0 as an approximation to the universal
object.
Short of classifying all the Φ(α, β)-dihedral algebras, we use our results to significantly
generalise the known Φ(α, β)-dihedral algebras by a pullback of ideals, as we now explain.
Namely, suppose that (nX)R is a Φ(α, β)-dihedral everywhere-faithful R-algebra, where R
is an associative algebra over R0 . Then, by Theorem 2.4, there exist matching ideals
R
J(nX)
⊆ RU ⊗Z R,

R
I(nX)
⊆ UR = (RU ⊗Z R)U

(59)

such that
R
R∼
,
= (RU ⊗Z R)/J(nX)

R
(nX) ∼
.
= UR /I(nX)

(60)

R
R
R
R
to match, we must have J(nX)
UR ⊆ I(nX)
, and
Recall that, for the two ideals J(nX)
, I(nX)
R
R
R
λai (x) ∈ J(nX)
for i = 0, 1 and any x ∈ I(nX)
. Note that, if R is a domain, then J(nX)
is a

prime ideal.

Suppose we have matching ideals
R

R
J ′ (nX) ⊆ J(nX)
⊆ RU ⊗Z R,

such that (nX ′ ) = U(RU ⊗Z R)/J ′ R

(nX)

R

R
I ′ (nX) ⊆ I(nX)
⊆ UR = (RU ⊗Z R)U

(61)

/I ′ R
(nX) is a Φ(α, β)-dihedral everywhere faithful (RU ⊗Z
20

′
R)/J ′ R
(nX) -algebra. We call (nX ) a weak (axial) cover of (nX). Note (nX) is a quotient of

(nX ′ ).
T
T ′R
R
′R
ˆR
Definition. Let Jˆ(nX)
= J ′R
I (nX) over all matching ideals J ′ R
(nX) , I (nX) as
(nX) , I(nX) =
R
R
is the (axial) cover of (nX).
above. The (RU ⊗Z R)/Jˆ(nX)
-algebra UR /Iˆ(nX)
′R
Note that it is possible that there are infinite descending chains of such ideals J ′ R
(nX) , I (nX) ,

so it is not a priori clear that their intersection, or the axial cover, is well-defined.
If the ideals JˆR , IˆR are strictly smaller than J R , I R , this means that (nX) is sub(nX)

(nX)

(nX)

(nX)

ject to additional constraints other than those coming from the fusion rules. Then (nX) is a
proper quotient of its axial cover, which is its largest generalisation as an axial algebra. Our
specific application will be to the Norton-Sakuma algebras (nX), listed in Table 4.
Since RU and therefore UR are not available to work with, we will use our approximation
AR0 as follows. We still consider a fixed Φ(α, β)-dihedral algebra (nX) over an everywhere
faithful ring R which is an associative R0 -algebra. Then
R
IΦ(α,β)

R
I(nX)

AR0 ⊗Z R −−−−→ UR −−−→ (nX),

(62)

R
−−−→ R
R0 ⊗Z R −−−−→ (RU ⊗Z R)/JΦ(α,β)

(63)

R
J(nX)

R
JΦ(α,β)

shows, in the top line, the relation among the algebras, and in the bottom line the relation
among their rings. Instead of finding
R
R
Iˆ(nX)
⊆ UR and Jˆ(nX)
⊆ (RU ⊗Z R),

(64)

R
R
⊆ AR and J¯(nX)
⊆ (R0 ⊗Z R)
I¯(nX)

(65)

R
R
R
R
R
R
I¯(nX)
/IΦ(α,β)
= Iˆ(nX)
and J¯(nX)
/JΦ(α,β)
= Jˆ(nX)
.

(66)

we will try to find ideals

such that

R
R
Notice that AR /I¯(nX)
as an (R0 ⊗Z R)/J¯(nX)
-algebra is exactly the axial cover of (nX).
R
R
As it turns out, a subset of the fusion rules will be sufficient to generate I¯(nX)
and J¯(nX)
,
which will considerably shorten our work. In practice, we can calculate J¯R as follows. As
(nX)

R
R
the cover is everywhere faithful over its ring (R0 ⊗Z R)/J¯(nX)
, the ring is a domain and J¯(nX)

must be a prime ideal. Thus we have

R
R
Lemma 4.1. For any p ∈ JΦ(α,β)
, let p(nX) be the smallest factor of p contained in J¯(nX)
. Then
R
R
¯
J(nX) = (p(nX) | p ∈ JΦ(α,β) ).
R
Note that if (nX) is a Φ(ᾱ, β̄)-axial algebra then α − ᾱ, β − β̄ ∈ Jˆ(nX)
. Therefore if p(α) is
an irreducible polynomial in J¯R ⊆ JˆR and coprime to α − ᾱ then the ideal (p(α)) + (α − ᾱ)
(nX)

(nX)

R
is equal to (1), the entire ring, which implies Jˆ(nX)
= (1) and (nX) is the trivial algebra. The
same argument applies with respect to β. This is a useful restriction on relations inside JˆR .
(nX)

21

R
R
We now provide the eigenvectors and fusion rules used to find the ideals I¯(nX)
, J¯(nX)
.

Lemma 4.2. In the algebra AR (coming from Theorem 3.7),
Aa10 = ha0 i.

1
Aa00 contains z = ((1 − α)λ1 − β)a0 + (α − β)(a1 + a−1 ) − s,
2
1 1 
zz = −
βα(α − β)2 (a−2 + a2 )
4 α − 2β

+ α(α − β)(2λf1 − α − 4βλ1 + 4β 2 − 2αλf1 + 2αβ)(a−1 + a1 )

+ 2α(−2λ1 λf1 + 2βλf1 + 2βλ1 − 2β 2 + β 2 λ2 + 4β 2 λ1 − 3β 3 + 2αλ1 λf1 + 2αλ21
− αβλ2 − 2αβλf1 − 4αβλ1 − 2α2 λ1 + 3α2 β − 4αβλ21 + 2α2 λ21 )a0

(67)

+ 4α(λf1 − β + 2βλ1 − αλf1 − 2αλ1 − 2αβ + 2α2 )s

+ 2βα(α − β)s2 − 2α(α − β)(α − 2β)sf2 , and

1
z2 = ((1 − α)λ2 − β)a + (α − β)(a2 + a−2 ) − s2 .
2
1
1
a
Aα contains x = (β − λ1 )a0 + β(a1 + a−1 ) + s, x2 = (β − λ2 )a0 + β(a2 + a−2 ) + s2 .
2
2
a
Aβ contains y = a1 − a−1 , y2 = a2 − a−2 .

Proof. Since we have the multiplication table, it is a routine calculation to check that the
vectors listed are eigenvectors of the appropriate eigenvalues. That a0 spans Aa10 comes from
the assumption of primitivity.
Similarly, eigenvectors of a1 can be easily calculated by interchanging the rôles of a0 and
a1 in the above.
Lemma 4.3. The coefficient of a−1 in a0 (z2 z2 ) is
−2
· ((α − 1)λ1 + β(2β − 2α + 1))
β(α − 4β)3

· (2(α(α − 1) − 6αβ + 4β)λ1 + (10β + 1)αβ − 2β 2 (2 + 3β))

(68)

· (4(2α − 1)λ21 − 2(α2 + 6βα − 4β)λ1 − αβλ2 + 2α2 β + 4(α − 1)β 2 ).
The other nonzero coefficients are those of a−2 , a0 , a1 , a2 .
Proof. We establish the formula by direct computation using the results of Section 3. That
the coefficient is unique follows by our assumption that we are working over an everywhere
faithful ring.

Finally, to simplify our calculations, we introduce an assumption on the coefficients.
We will from now on, for simplicity of calculation, assume that λ1 = λf1 and λ2 = λf2 . This
assumption is realised in at least three different situations:
22

Lemma 4.4. Suppose that a0 = a2n+1 for some n. Then λai (aj ) = λaj (ai ) for all i, j, so that
λi = λfi , and s2 = sf2 .
Proof. The group T = hτ (a0 ), τ (a1 )i acts transitively on pairs {ai , aj } with i − j ≡2 0 and on

pairs {ai , aj } with i − j ≡2 1. If a0 = a2n+1 , then τ (an+1 ) ∈ T swaps a0 = a and a1 = b,

and {a0 , a2 } is swapped with {a1 , a−1 }. As τ (an+1 ) also swaps the respective 1-eigenspaces,
λai (aj ) = λai (aj )τ (an+1 ) = λaj (ai ). Also τ (an+1 ) interchanges s2 , sf2 , but T is generated by
τ (a0 ), τ (a1 ) which both fix s2 , so τ (an+1 ) must fix s2 and therefore s2 = sf2 .
Secondly, if the algebra is Frobenius, then λa (b) =
λf1

in particular, if (a0 , a0 ) = (a1 , a1 ) then λ1 =
Lemma 7.4 in [HRS13], λ2 =

λf2 .

(a,b)
(a,a) a

for any primitive nonsingular a;

and furthermore, by the same argument as

(In fact, it can be shown that λai (aj ) depends only on |i − j|.)

Finally, it can be shown that, if a is a Φ(α)-axis and b is a Φ(β)-axis with ab 6= 0, then

β = 1 − α, b′ = id −b is a Φ(α)-axis, a and b′ generate the algebra and λa (b′ ) = λb (a). In other
′

words, the property λa (b) = λb (a) follows from the axioms in Φ(α)-dihedral algebras if one
allows the swap b′ for b.

We are not sure if similarly λa (b) = λb (a) is a consequence of the axioms for Ising-axial
algebras, but no counterexamples are known.
In the following sections, we find the covers of the Norton-Sakuma algebras (nX) over Q,
described below, for (nX) one of (4A), (4B), (5A), (6A). The cover for (3A) is more complicated
to determine, so we instead find a weak cover: we calculate ideals I¯(3A) ⊆ I¯′
⊆ Iˆ(3A) and
(3A)

′
J¯(3A) ⊆ J¯(3A)
⊆ Jˆ(3A) which conjecturally coincide with I¯(3A) and J¯(3A) .

The Norton-Sakuma algebras (nX) are given by Table 4 together with the formulas

s2 if i ≡2 0,
1
1
ai = ai mod n , ai ai+1 = (ai + ai+1 ) + s, ai ai+2 = (ai + ai+2 ) +
sf if i ≡ 1.
64
64
2

(69)

2

Under the isomorphism type (nX), we give a spanning set and notes; the other column contains all the products necessary to calculate in the algebra.

5 The cover of (5A)
Only the first factor in (68) is 0 in (5A) and therefore this factor is in J(5A) . Thus in R/J(5A) ,
as α − 1 is invertible,

λ=

(2α − 2β − 1)β
.
(α − 1)

(70)

After substituting (70), the only terms with nonzero coefficients in a0 (z2 z2 ) are a−2 , a0 , a2 ,

23

Description

Products

(1A)

a0 a0 = a0

a0

(a0 , a0 ) = 1

(2B)

a0 a1 = 0

a0 , a1

(a0 , a1 ) = 0

(2A)

ai aj = 81 (ai + aj − ak )

a0 , a1 , a2

(ai , aj ) =

(3C)

ai aj =

a0 , a1 , a2

(ai , aj ) =

(3A)

ai s =

a0 , a1 , a2 , s

ss =

1
8

1
64 (ai

+ aj − ak )

1
64

7
(4ai
211
147
216 (ai

(ai , aj ) =

+ aj + ak ) +

+ aj + ak ) −

7
32 s

63
211 s

13
256

1
(7(ai+1
211

+ ai−1 ) − 2ai ) +

(4A)

ai s =

a−1 , a0 , a1 , a2 , s

ss =

hai , ai+2 i ∼
= (2B)

(ai , ai+1 ) =

(4B)

ai ai+2 = − 81 (ai+1 + ai−1 ) − 8s

a−1 , a0 , a1 , a2 , s

ai s =

hai , ai+2 i ∼
= (2A)

ss =

21
(a
215 −1

ai s =

a−2 , a−1 , a0 , a1 , a2 , s

ss =

7
(a
215 −1

+ ai−1 ) − 26ai ) +

+ a0 + a1 + a2 ) −

7
32 s

3
s
29

1
64

7
(a
211 i+1
35
(a
217 −2

(ai , aj ) =

11
s
29

1
32

1
(7(ai+1
211

(ai , ai+1 ) =
(5A)

+ a0 + a1 + a2 ) −

7
32 s

+ ai−1 − 2ai ) +

7
32 s

+ a−1 + a0 + a1 + a2 )

3
128

(6A)

ai ai+2 =

1
64 (3(ai

+ ai+2 ) + ai+4 − ai+1 − ai+3 − ai+5 ) + s̄2

a−2 , a−1 , a0 , a1 , a2 , a3 , s, s̄2

ai ai+3 =

1
12 (2(ai

s̄2 = 12 (s2 + sf2 )

+ ai+3 ) − ai+1 − ai+2 − ai+4 − ai+5 ) − 8s − 83 s̄2

ai s =

hai , ai+3 i ∼
= (2A)

ai s̄2 =

hai , ai+2 i ∼
= (3A)

ss =

1
(7(ai+1
211
5
a
210 3 0

49
(a
217 3 −2

ss̄2 =

−

+ ai−1 ) +

7
(a
29 3 i+2

+ ai+4 − 12 ai+3 ) −
17
s
210

+ a−1 + a0 + a1 + a2 + a3 ) +

107
(a−2
217

(ai , ai+1 ) =

23
(a
211 3 i+1

7
32 s

+ a−1 + a0 + a1 + a2 + a3 ) −

−21
(a−2
217

s̄2 s̄2 =

+ ai−1 ) − 20ai ) +

+ a−1 + a0 + a1 + a2 + a3 ) −

5
256

Table 4: The Norton-Sakuma algebras
24

−

7
6144 s̄2

21
s + 215
11 s̄2
210
9
s
210

−

77
s̄
211 2

3
32 s

+

7
48 s̄2

and the coefficient of a0 in a0 (z2 z2 ) is
(α − 2β)2
(α − 1)3 (α − 4β)2 (α − β)

(71)

· (2α − 1)(4α2 − 5(2β + 1)α + 6β + 1)((α − 1)λ2 − 2αβ + β(2β + 1))

· (1 + λ2 + 4β − 4α − 8β 2 − 2αλ2 + 3α2 − 16β 3 + 24αβ 2 + α2 λ2 − 8α2 β).

We deduce several possibilities. We cannot have a nontrivial relation among the elements
a−2 , a0 , a2 in the cover of (5A), because they are linearly independent in (5A). Among the coefficients, the possibilities are as follows. Firstly, β =
Thirdly, λ2 =

8α2 β−24αβ 2 +16β 3 −3α2 +8β 2 +4(α−β)−1
(α−1)2

so in the cover of (5A), we have λ2 =
becomes

4α2 −5α+1
2(5α−3) .

Secondly, λ2 =

(2α−2β−1)β
α−1

= λ.

. In (5A), only the second possibility is satisfied,

(2α−2β−1)β
α−1

= λ. Then the coefficient of a2 in a0 (z2 z2 )

1 −β(2β − 1)(3α − 4β − 1)(−1 − 8β + 5α)(2β − α − 3αβ + α2 )
4
(α − 1)3 (α − 4β)2
2

2

2

2

(72)

3

· (−2β + α − 8β + 11αβ − 4α + 16αβ − 13α β + 3α ).

We again have new possibilities.

If β = 41 (3α − 1), then α 6= 1, 0, β, 2β, 4β and β 6= 0, 1 means α 6= −1, − 13 , 0, 12 , 1, 35 . This leads

to (3Cβ ), as it turns out: after substitution, λ = 18 (3α − 1) = 21 β, and by the fusion rules Aaα0 is

1
).
killed. But we do not pursue this, since it is not satisfied by (α, β) = ( 14 , 32

The possibilities β =

α(1−α)
2−3α

not in R/J(5A) .
If β =

1
8 (5α

and (16α − 8)β 2 + (−13α2 + 11α − 2)β + 3α3 − 4α2 + α = 0 are

− 1), then α 6= 1, 0, β, 2β, 4β and β 6= 0, 1 means α 6= − 13 , 0, 51 , 13 , 1, 95 . This is

1
satisfied by (α, β) = ( 41 , 32
). We now compute the action of a2 on the subspace Q spanned by

g = s2 − sf2 ,

h = β(a−2 + a−1 + a0 + a1 + a2 ) +

2
1
s + (s2 + sf2 ).
β
β

(73)

Q is fixed by ad(a2 ), and
1
N = ad(a2 )|Q =
8(α − 1)

9α2 − 1

3−27α+57α2 −17α3
1−3α

!
9α2 − 1
.
−α2 − 8α + 1

(74)

Therefore Q must decompose into a direct sum of 0, α or β-eigenvectors for a2 . Now suppose
that µ is an eigenvalue of N , so that det(N − µI2 ) = 0. That is,

1 (1 − 4α + 32µ2 − 32αµ − 11α2 − 32αµ2 + 32α2 µ + 30α3 )
32
(1 − α)

We can substitute µ = 0, α, β =

1
8 (5α

(75)

− 1) respectively and solve the resulting equation. If

µ = 0, then the numerator factors as (α − 1)(2α − 1)(3α + 1)(5α − 1); the only legitimate
possibility is α =

1
2

with β =

3
16 ,

which will be a special case for us.

If µ = α, the numerator becomes −60α4 + 74α3 − 5α2 − 10α + 2.

1
If µ = 81 (5α − 1) = β, the numerator becomes − 64
(5α − 1)(768α3 − 832α2 − 69α + 129).

Note that α =

1
5

was already ruled out. So we are left with the additional assumptions
25

that
(76)

(−60α4 + 74α3 − 5α2 − 10α + 2)(768α3 − 832α2 − 69α + 129) 6= 0.

3
), we have to quotient by Q. And then get the multiplication
When additionally (α, β) 6= ( 12 , 16

in Table 5:

Theorem 5.1. The algebra A over R = Z[1/2, α] with basis a−2 , a−1 , a0 , a1 , a2 , s and multiplication from Table 5 is a 2-generated Φ(α, 81 (5α − 1))-axial algebra for all α 6∈ {1, 0, 51 , 12 , 95 } nor a
root of (76), and is the cover (5Aα ) of (5A).

Proof. A is generated by a0 , a1 , so we only need to check the fusion rules for a0 , a1 . We do this
in [GAP], using Lemma 4.2 and the obvious symmetry between the ai .
3
We check manually, that is, in [GAP], that in the case (α, β) = ( 21 , 16
), the vector space Q

is also killed and the resulting algebra has the same presentation.
Description

Products

a−2 , a−1 , a0 , a1 , a2 , s

ai ai+2 =

ai = ai mod 5

ai s =

1
64 (1

ss =

1
(7α
211

(ai , aj ) =

1
16 (5α

− 1)(ai + ai+2 − ai+1 − ai+3 − ai+4 ) − s

− 5α)(1 + 3α)ai −

1
(1
27

+ 3α)(1 − 5α)(ai−1 + ai+1 ) + 81 (1 + 3α)s

− 3)(1 + 3α)(1 − 5α)(a−2 + a−1 + a0 + a1 + a2 ) +

3
32 (5α

5
(1
27

− 5α)(1 + 3α)s

− 1)
Table 5: (5Aα )

Lemma 5.2. The algebra (5Aα ) is Frobenius; it is positive-definite for

1
5

< α < 73 , and degener-

ate for α = − 13 , 73 .
Proof. We check by direct computation in [GAP] that the form on (5Aα ) induced as a quotient
of the form in Section 3 is Frobenius. We also use [GAP] to calculate the Gram matrix, the
determinant of which is

−56
(3α − 7)5 (3α + 1)2 (5α − 1).
236

(77)

This is positive exactly when (3α − 7)(5α − 1) < 0, and the root (5α − 1) is not admissible since
this implies β =

1
5

= α, but the other roots have (α, β) as (7/3, 4/3) and (1/3, 1/12).

Lemma 5.3. We have |τ (a0 )τ (a1 )| = 5.
Proof. τ (a0 ) and τ (a1 ) act as the permutation matrices corresponding to (1, 5)(2, 4)(3)(6) and
(1, 2)(3, 5)(4)(6) on (5Aα ), respectively. Since a0 and a1 are in the same orbit under T , we have
that |τ (a0 )τ (a1 )| = 5 everywhere by Lemma 1.2.
26

6 The cover of (6A)
Only the second factor in (68) is 0 in (6A):
2(α(α − 1) − 6αβ + 4β)λ + (10β + 1)αβ − 2β 2 (2 + 3β) = 0.

(78)

Since dim(6A) = 8, the key relations for the cover come from the ring, that is, I¯(6A) = J¯(6A) Û .
Suppose that the coefficient of λ in (78) is 0, that is, α2 −6αβ −α+4β = 2(2−3α)β +α(1−α) = 0.

As α =

2
3

is not a solution to this equation, we can rearrange to find
β=

α(α − 1)
2(2 − 3α)

(79)

(which is not in J¯(6A) ) and substituting this into (78),

7α2 − 12α + 4 = 0.

(80)

This irreducible polynomial is coprime to α − 41 , so that (α − 1/4)(7α2 − 12α + 4) = (1) and
therefore if 7α2 − 12α + 4 ∈ J(6A) then J(6A) + (α − 1/4) + (β − 1/32) = (1) is not maximal. So α
√
is not a root of 7α2 − 12α + 4, that is, α 6= 71 (4 ± 2).
Therefore α2 − 6αβ − α + 4β 6= 0 and
λ=

(10β 2 + β)α − (4β + 6)β 2
.
2(α2 − 6αβ − α + 4β)

(81)

After making the substitution, we again calculate a(z2 z2 ), and find that the coefficient of a2 is
β(α − β)(1 − 2β)
·
4(α − 4β)(α2 − (6β + 1)α + 4β)2 )

−2α(α2 − (6β + 1)α + 4β)2 λ2 + 3α6 − (3β + 4)α5 − (60β 2 + 6β − 1)α4 + β(2β + 1)(98β + 9)α3

− 2β(88β 3 + 22 3 · 11β 2 + 30β + 1)α2 + 8β 2 (8β 3 + 20β 2 + 12β + 1)α − 32β 5 − 32β 4 − 8β 3 .
(82)
√
1
We deduce an expression for λ2 (its coefficient being not 0 when α 6= 7 (4 ± 2)). Substituting,
we find that the coefficient of a2 in a0 (xx2 ) is

So β =

α2
4(1−2α) .

−β 2 (2β − 1)α(α − 2β)(α2 + 8βα − 4β)
.
4(α − 4β)(α2 − (6β + 1)α + 4β)

(83)

After specialising, we find no more relations. We get

Theorem 6.1. The algebra A over R = Z[1/2, α, α−1 , (1 − 2α)−1 , (1 − 3α)−1 , (2 − 5α)−1 ], α 6∈
√
{0, −4 ± 2 5, 13 , 52 , 21 , 1}, with basis a−2 , a−1 , a0 , a1 , a2 , s, s2 , sf2 and multiplication from Table 6
2

α
is a 2-generated Φ(α, 4(1−2α)
)-axial algebra and the cover (6Aα ) of Norton-Sakuma algebra

(6A).
Proof. A is generated by a0 , a1 , so we only need to check the fusion rules for a0 , a1 . We do this
in [GAP], using Lemma 4.2.

27

Description

Products

a−2 , a−1 , a0 , a1 , a2 , a3 , s, s̄2

ai ai+2 =

s̄2 = 21 (s2 + sf2 )

ai ai+3 =

ai = ai mod 6
hai , ai+3 i ∼
= (3Cα )

hai , ai+2 i ∼
= (3Aα,β )

1 α(3α−1)
1 α(3α−1)
1 (α−1)α
8 (2α−1) ai+4 − 8 (2α−1) (ai+1 + ai+3 + ai+5 ) + 8 (2α−1) (ai + ai+2 ) + s̄2
(2α−1)
1 α(2α−1)
1 α(3α−1)
s
2 (5α−2) (ai + ai+3 ) − 2 (5α−2) (ai+1 + ai+2 + ai+4 + ai+5 ) + 4
α

−4 2α−1
5α−2 s̄2
3

1 α(9α−4)
1 α2 (3α−2)
16 (2α−1) ai + 4 (2α−1) s
1 α2 (9α−4)
1 α2 (3α−1)(43α2 −37α+8)
(ai−1 + ai+1 )
ai s̄2 = 32
(5α−2) (ai+4 + ai+2 ) − 32
(2α−1)2 (5α−2)
3
3
2
2
1 α(87α −3 5α +60α−8)
1 α (3α−1)(9α−4)
1 (3α−1)(5α−2)
− 32
ai − 32
s
(2α−1)(5α−2)
(2α−1)(5α−2) ai+3 + 4
(2α−1)
+ 14 α(9α−4)
(5α−2) s̄2
4
(3α−1)(9α−4)2
ss = − 218 α(2α−1)
3 (5α−2) (ai + ai+1 + ai+2 + ai+3 + ai+4 + ai+5 )
2
α4 (9α−4)
1 α (39α2 −22α+2)
1
+ 16
s − 32
s̄
(2α−1)2
(2α−1)2 (5α−2) 2
1 α (9α−4)
ai s = − 32
(ai−1 + ai+1 ) −
(2α−1)2

3 (3α−1)(5α−2)(9α−4)

ss̄2 = − 218 α

(ai + ai+1 + ai+2 + ai+3 + ai+4 + ai+5 )
(2α−1)3
2 (3α−1)(9α−4)
α
1 α2 (3α−2)(5α−2)
3
s + 32
s̄2
+ 16
(2α−1)2
(2α−1)2
2
α (3α−1)
4
3
3
2
2
4
s̄2 s̄2 = − 218 (2α−1)
3 (5α−2) (3 · 7 · 29α − 2 131α + 2 173α − 2 13α + 24)·
3 α(3α−1)2 (5α−2)
(ai + ai+1 + ai+2 + ai+3 + ai+4 + ai+5 ) + 16
s
(2α−1)2
1 α(3·173α4 −26 13α3 +2·3·5·17α2 −24 32 α+16)
s̄2
+ 32
(2α−1)2 (5α−2)
2
1 α (2−3α)
(ai , ai+1 ) = 16
(2α−1)2
Table 6: (6Aα )

1
Lemma 6.2. The algebra (6Aα ) is Frobenius; it is positive-definite for α ∈ ( 21 , 47 )∪( 32 , 1)∪( 24
(1−
√
√
√
1
3 4 1
97), 24 (1 + 97)), and degenerate for α = 2 , 7 , 24 (1 ± 97).

Proof. We check by direct computation in [GAP] that the form on (5Aα ) induced as a quotient
of the form in Section 3 is Frobenius. We also use [GAP] to calculate the Gram matrix, the
determinant of which is
−α8
(α − 1)3 (3α − 2)(3α − 1)2 (5α − 2)2 (7α − 4)5 (α2 + 4α − 2)4 (12α2 − α − 2).
31
2 (2α − 1)17

(84)

This is positive exactly when (2α − 1)(α − 1)(3α − 2)(7α − 4)(12α2 − α − 2) < 0. The roots

of the equation which are not already ruled out in Theorem 6.1 correspond to (α, β) being
√
(3/2, − 9/32), (4/7, − 4/7) and α = 1/24(1 ± 97).
Lemma 6.3. On (6Aα ), |τ (a0 )τ (a1 )| = 3, the flip is an automorphism and |τ (a0 )τ (a1 )| ≤ 6 in

any larger algebra.

Proof. On (6Aα ), τ (a0 ) is the permutation matrix of (1, 5)(2, 4)(3)(6)(7)(8) and τ (a1 ) fixes a1
28

and a−2 , s, s2 , sf2 , a−1 is mapped to
a3 = a−2 + a0 + a2 − a−1 − a1 + 4
1−2α
and swaps a0 with a2 . Therefore, for κ = 4 α(3α−1)
,

0 0 1 0

0 0 0 1

0 0 0 0

1 −1 1 −1

τ (a0 )τ (a1 ) = 
1 0 0 0

0 0 0 0


0 0 0 0
0 0 0 0

(1 − 2α)
(s2 − sf2 ),
α(3α − 1)
0
0
1
1
0
0
0
0

0
0
0
0
0
1
0
0


0 0

0 0 

0 0 

κ −κ

,
0 0 

0 0 


1 0 
0 1

(85)

(86)

and (τ (a0 )τ (a1 ))3 is the identity matrix. By Lemma 1.2, τ (a0 )τ (a1 ) has order at most |aT0 ∪aT1 | =

6.

7 The covers of (4A), (4B)
The third factor in (68) is 0 in (4A) and in (4B) and therefore, in these cases, as α 6= 1,
1
(4(2α − 1)λ2 − 2(α2 + 6βα − 4β)λ + 2α2 β + 4(α − 1)β 2 ).
λ2 =
αβ

(87)

Lemma 7.1. If (α, β, λ) is not a root of (90), then a0 = a4 .
Proof. Our aim is first to show that a2 = a−2 , by showing that
0
k = a2 − a−2 ∈ Aa1,0,α
⊕ hkki,

(88)

that is, we find constants κ, κ1 , κz , κzz , κz2 , κx , κx2 such that
κk = κ1 a0 + κz z + κzz zz + κz2 z2 + κx x + κx2 x2 + kk,

(89)

0
which implies that κk = 0, because k ∈ Aaβ0 so kk ∈ Aa1,0,α
and the semisimplicity of a0 implies
0
that Aaβ0 ∩ Aa1,0,α
= 0.

We multiply kk using the multiplication table. That suitable κ, κ1 , κz , κzz , κz2 , κx , κx2 exist

follows from the fact that the coefficients of a−1 and a1 in a2 a−2 are equal, so that there are
only 7 parameters; now the chosen set is linearly independent in those seven variables. Even
though the actual equations are lengthy, the working is straightforward:

κzz = −

kk|sf

2

zz|sf

,

2

′

kk = kk + κzz zz,
29

κz2 − κx2 = kk′ |s2 ,
1
1
1
(α − β)κz2 + βκx2 = − (kk′ |a−2 + kk′ |a2 ),
2
2
2
1
2 1
kk′ |s2 ),
κx2 = (− (kk′ |a−2 + kk′ |a2 ) −
α 2
2(α − β)
κz2 = κx2 + kk′ |s2 ,

kk′′ = kk + κz2 z2 + κx2 x2 ,
κz − κx = kk′′ |s ,
1
1
1
(α − β)κz + βκx = − (kk′′ |a−1 + kk′′ |a1 ),
2
2
2
2 1
1
′′
κx = (− (kk |a−1 + kk′′ |a1 ) −
kk′′ |s ),
α 2
2(α − β)
κz = κx + kk′′ |s ,

kk′′′ = kk′′ + κz z + κx x,
κ1 = kk′′′ |a0 .
Note that the only division is by zz|sf = −2α(α − β)(α − 2β), which is invertible by assumption.
2

Then,
κ=

−2(−2(α2 − 6αβ − α + 4β)λ + 10αβ 2 − 4β 3 + αβ − 6β 2 )
·
αβ 2 (α − β)2 (α − 2β)(α − 4β)3

−(8(α − 1)(α − 2β)2 (3α2 − 8αβ − α + 4β)λ2 − 2(4α6 − α5 β − 96α4 β 2 + 22 73α3 β 3

− 28 α2 β 4 − 6α5 + 7α4 β + 2 · 3 · 19α3 β 2 − 27 3α2 β 3 + 24 23αβ 4 + 2α4 − 2α3 β − 40α2 β 2

+ 27 αβ 3 − 27 β 4 )λ + 8α6 β − 22α5 β 2 − 20α4 β 3 + 22 3 · 11α3 β 4 − 23 3 · 5α2 β 5 − 32αβ 6

− 8α5 β + 5α4 β 2 + 22 31α3 β 3 − 24 23α2 β 4 + 25 11αβ 5 + 2α4 β + 4α3 β 2 − 56α2 β 3 + 27 αβ 4

− 27 β 5 )λ2 + 16(α − 1)(α4 − 8α3 β + 12α2 β 2 − α3 + 14α2 β − 16αβ 2 − 4αβ + 4β 2 )λ3

− 4(3α5 β − 60α4 β 2 + 22 3 · 11α3 β 3 − 48α2 β 4 + 3α5 − 17α4 β + 2 · 103α3 β 2 − 23 3 · 13α2 β 3

+ 64αβ 4 − 5α4 + 28α3 β − 22 53α2 β 2 + 22 5 · 11αβ 3 − 16β 4 + 2α3 − 12α2 β + 64αβ 2 − 48β 3 )λ2

− 2β(14α5 β − 8α4 β 2 − 56α3 β 3 + 32α2 β 4 − 11α5 + 33α4 β − 2 · 32 17α3 β 2 + 23 59α2 β 3 −

27 αβ 4 + 14α4 − 80α3 β + 26 7α2 β 2 − 26 7αβ 3 + 64β 4 − 6α3 + 40α2 β − 23 19αβ 2 + 96β 3 )λ
+ 2α5 β 2 − 28α4 β 3 − 60α3 β 4 + 23 17α2 β 5 − 32αβ 6 + 5α4 β 2 − 48α3 β 3 + 22 7 · 11α2 β 4

− 26 5αβ 5 + 64β 6 − 4α3 β 2 + 32α2 β 3 − 24 7αβ 4 + 64β 5 .

(90)

and it’s an irreducible polynomial. So assuming that (α, β, λ) are not a root of (90), we have
that a2 = a−2 .
τ (a1 )

By applying τ (a1 ) to both sides, it follows that a2
τ (a0 )

Now a2

τ (a )

= a−2 1 , that is, a0 = a4 .

0
2
1
= a−2 = a2 , so that a2 ∈ Aa1,0,α
, and likewise a0 ∈ Aa1,0,α
and a−1 ∈ Aa1,0,α
, a1 ∈

30

a

−1
A1,0,α
. Therefore we may apply Theorem 1.5 to the subalgebras ha0 , a2 i, ha1 , a−1 i. In particular,

either λ2 =

α
2

or λ2 = 0, corresponding to λ2 −

α
2

the two cases separately.
Lemma 7.2. β −

α2
2

and λ −

β
2

∈ J(4B) and λ2 ∈ J(4A) respectively. We take

are in J(4B) .

Proof. After making the substitution a−2 = a2 , we calculate 0 = a0 (zz2 ) =
1 (α − β) 
=
(8(3β − 1)(2α − 1)λ2 − 2(3(4β − 1)α2 + (2β − 1)(10β − 1)α − 12β 2 + 4β)λ
4 (α − 4β)
(91)

3
2
2
3
2
+2βα + β(11β − 3)α + β(8β − 12β + 1)α − 4β + 2β ) (a−1 − a1 ),

and in particular there is no linear dependence between a−1 and a1 in (4B), so the coefficient

must be 0. Therefore we have a quadratic formula for λ. We also have a different quadratic
formula for λ from combining (87) and λ2 =

α
2.

The resultant of the numerators of the two

quadratics with respect to λ is
8(2α − 1)β(2β − 1)(2β − α2 )(2β + α2 − 1)(4α3 − (18β + 1)α2 + 4β(4β + 1)α − 4β 2 ),
1
) is 2β −α2 , that is, β =
and the only factor which is 0 when (α, β) = ( 41 , 32

β =

4λ

α2
2

α2
2 .

(92)

Now substituting

back into both of the quadratic formulae for λ yields that the only common factor is

− 2α2 ,

which is also the only factor of either which is 0 in (4B). This gives λ =

Lemma 7.3. If β =

α2
2

and λ =

α2
4

α2
4 .

then the subspace K spanned by

y2 = a2 − a−2 ∈ Aaβ0

x = α3 (a0 + a2 ) + α2 (a−1 + a1 ) + 4s + 2αs2 ∈ Aaα0

(93)

xf = α2 (a0 + a2 ) + α3 (a−1 + a1 ) + 4s + 2αsf2
is killed by the fusion rules.

Proof. K is closed under the action of ad(a2 ):
1
(α − 1)(2α − 1)2 a2 y2 = (α − 3)(2α − 1)α2 y2 − 2x + 2(α − 2)(α − 1)xf
2
1
(α − 1)(2α − 1)2 a2 x = α5 (α + 1)(2α − 1)y2 + α(α4 − α3 + 3α2 − 3α + 1)x
4
− α(α − 1)2 (α2 − α + 1)xf
1
(α − 1)(2α − 1)2 a2 xf = − α3 (2α − 1)(α3 − 6α2 + 6α − 2)y2
4
1
− α(2α4 − 10α3 + 9α2 − α − 1)x + α(α − 1)3 (α + 1)xf .
2
2

(94)

The determinant of ad(a2 )|K − µI3 is must be 0 for µ = 0, α, α2 , since a2 is a Φ(α, α2/2)-axis and

31

a2 6∈ K. These cases respectively correspond to
α(2α5 − 4α4 − 6α3 + 13α2 − 7α + 1) = 0

66α6 − 124α5 + 26α4 + 71α3 − 57α2 + 17α − 2 = 0

(95)

α(16α7 − 24α6 − 22α5 + 78α4 − 91α3 + 57α2 − 18α + 2) = 0
3

with common additional factor − α4 (α − 1)−1 (2α − 1)−4 . The equations have three, two and two

real roots respectively. Note that α = 1/4 is not a solution to any of them. Therefore if α is not

a solution to (95) then K is killed by the fusion rules.
Theorem 7.4. The algebra A, denoted (4Bα ), over R = Z[1/2, α, α−1 ], for α 6= 0, 1, 2 nor a root of

(95), with basis a−1 , a0 , a1 , a2 , s and multiplication from Table 7 is a 2-generated Φ(α, α2/2)-axial
algebra and the cover of (4B).

Proof. A is generated by a0 , a1 , so we only need to check the fusion rules for a0 , a1 . We do this
in [GAP]. This is easily done using Lemma 4.2.
Lemma 7.5. The algebra (4Bα ) is Frobenius; it is positive-definite for all α, and degenerate
for α = −1.
Proof. We check by direct computation in [GAP] that the form on (4Bα ) induced as a quotient
of the form in Section 3 is Frobenius. We also use [GAP] to calculate the Gram matrix, the
determinant of which is

α4
(α − 2)4 (α + 1)2 .
28
This is always positive. Its roots are α = −1.

(96)

Description

Products

a−1 , a0 , a1 , a2 , s

ai s = − 41 α2 (1 − α + α2 )a−1 + 18 (2 − α)α3 (a0 + a2 ) + 12 (2 − α)αs

ai = ai mod 4

ss = 81 (−2 + α)( 12 − 1 + 2α)α4 (a−1 + a0 + a1 + a2 ) + 12 α2 ( 21 1 − 6α + 2α2 )s

hai , ai+2 i ∼
= (3Cα )

(ai , aj ) =

α2
4

Table 7: (4Bα )

Lemma 7.6. s2 + β(a0 + a2 ), sf2 + β(a1 + a−1 ) ∈ I(4A) and λ1 − β ∈ J(4A) .
Proof. From (87), when λ2 = 0 we get
(λ1 − β)(2(2α − 1)λ1 − α2 − 2αβ + 2β) = 0.
But λ1 − β = 0 in (4A) and the other factor is not 0 in (4A).

From 0 = λ2 = λa10 (a2 ) = λa11 (a−1 ) we deduce that a0 a2 = 0 = a1 a−1 .
32

(97)

Lemma 7.7. α −

1
4

∈ J(4A) .

Proof. From Lemma 7.6 we substitute λ1 = β, λ2 = α/2, α = 1/4, β = 1/32 into (90) and see
that this is not a solution. Therefore a−2 − a2 ∈ I(4A) . After substituting similarly, we have
that z = −αβa0 + 21 (α − β)(a−1 + a1 ) − s is a 0-eigenvector for a0 . Then from the fusion rule

0 ⋆ 0 = {0},

1
a0 (zz) = −α(α − )(α − β)(β(a−1 + a1 ) + 2s) = 0
4

(98)

and as there can be no further relations in I(4A) since (4A) is 5-dimensional, we must have
α−

1
4

∈ J(4A) .

Theorem 7.8. The algebra A, denoted (4Aβ ), over R = Z[ 12 , β] for β 6= 0, 14 , 1, with basis
a−1 , a0 , a1 , a2 , s and multiplication from Table 8 is a 2-generated Φ(1/4, β)-axial algebra for all

1
} and is the cover of (4A).
β ∈ k r {1, 0, 14 , 81 , 16

Proof. A is generated by a0 , a1 , so we only need to check the fusion rules for a0 , a1 . We do this
in [GAP]. This is easily done using Lemma 4.2.
Lemma 7.9. The algebra (4Aβ ) is Frobenius; it is positive-definite for 0 < β < 21 , and degenerate for β = 21 .
Proof. We check by direct computation in [GAP] that the form on (4Aβ ) induced as a quotient
of the form in Section 3 is Frobenius. We also use [GAP] to calculate the Gram matrix, the
determinant of which is

β
(1 − 2β)3 .
8

(99)

This is positive when β(1 − 2β) is positive. Its only acceptable root is β = 21 .
Lemma 7.10. On (4Aβ ) and (4Bα ), |τ (a0 )τ (a1 )| = 2, and |τ (a0 )τ (a1 )| ≤ 4 in any larger algebra.
Proof. τ (a0 ) and τ (a1 ) are the permutation matrices corresponding to (1, 3)(2)(4)(5) and (1)(2, 4)(3)(5),
respectively, on both (4Aβ ) and (4Bα ). By Lemma 1.2, the order of |τ (a0 )τ (a1 )| is bounded by

2 + 2 = 4, the size of aT0 ∪ aT1 .
Description

Products

a−1 , a0 , a1 , a2 , s

ai s = −β 2 ai + 81 (1 − 4β)β(ai+1 + ai+3 ) + 14 (1 − 4β)s

ai = ai mod 4

ss =

hai , ai+2 i ∼
= (2B)

(ai , aj ) = β

1
32 β(4β

− 1)(8β − 1)(a−1 + a0 + a1 + a2 ) + 14 β(3 − 8β)s
Table 8: (4Aβ )

33

8 The cover of (3A)
We see that (68) is not zero in (3A), so that we have a relation in the algebra. Instead, for
the case of the cover of (3A) only, we have to start by making an extra assumption. Namely,
suppose also that a3 = a0 .
Then a−2 = a1 , a−1 = a2 , so that s2 = s1 = sf2 and λ2 = λ. By Lemma 4.4, also λf = λ (so
this assumption implies the earlier one).
From Theorem 3.7 we therefore deduce a multiplication table on {a0 , a1 , a2 , s}.
The eigenvectors of a0 of eigenvalue not 1 are, from Lemma 4.2:
1
z = ((1 − α)λ1 − β)a0 + (α − β)(a1 + a2 ) − s,
2
1
x = (β − λ1 )a0 + β(a1 + a2 ) + s,
2
y = a1 − a2 .

(100)

Now 0 ⋆ 0 = {0} means zz ∈ Aa00 and a0 (zz) = 0. We calculate that

(α − β)(−4(2α − 1)λ + 3α2 + (3β − 1)α − 2β)
·
a0 (zz) = −
4(α − 2β)(α − 4β)

2(−(α2 − 2(β + 1)α − 4β 2 + 4β)λ + βα2 − β(3β + 1)α − 2β 3 + 2β 2 )a0


+ β(−4(α − 2β)λ + α2 − 2βα − 4β 2 )a1 + βα(α − 4β)a2 + 2(−2(α − 2β)λ + α2 − 3βα − 2β 2 )s .
(101)

The coefficients in the ring must be 0 since there cannot be a nontrivial relation among the
spanning set, since (3A) is 4-dimensional. Apart from α − β, the only factor of the coefficient

of a2 in the above is −4(2α − 1)λ + 3α2 + (3β − 1)α − 2β, so this must be 0, and indeed this is a
common factor for all the coefficients. We obtain a relation satisfied by (3A):
4(2α − 1)λ = 3α2 + α(3β − 1) − 2β.

(102)

If α = 1/2, then the lefthand side is 0 and we find 0 = 3/4 + 3/2β − 1/2 − 2β = 1/4 − 1/2β, that
is, β = 1/2, which contradicts that α 6= β. Therefore α 6= 1/2 and we have an expression for λ

in α, β. After substitution we find Table 9.

Theorem 8.1. The algebra A over R = Z[1/2, α, β, (1 − 2α)−1 ] with basis a0 , a1 , a2 , s and multiplication table 9 is a 2-generated Φ-axial algebra, denoted (3A′α,β ). It is a weak cover of (3A).

Proof. A is generated by a0 , a1 , so we only need to check the fusion rules for a0 , a1 . We do
this in [GAP]. For a0 this is easily done using (100). For a1 , this follows from the evident
Sym(3)-symmetry of the multiplication table with respect to a0 , a1 , a2 .
Lemma 8.2. The algebra (3A′α,β ) is Frobenius; it is positive-definite for
(2α − 1)(3α − β − 1)(3α2 + 3αβ − β − 1)(3α2 + (3β − 9)α − 2β + 4) < 0,
34

(103)

Description

Products

(3A′α,β )

ai s =

− 5α2 β + 8αβ 2 − 4α2 + 7αβ − 4β 2 + α − 2β)ai

+ 12 β(α − β)(ai+1 + ai+2 ) + (α − β)s

a0 , a1 , a2 , s
ai = ai mod 3

1
3
4(1−2α) (3α

ss =

(α−β)
3
8(1−2α) (3α

− 13α2 β + 16αβ 2 − 4α2 + 11αβ − 8β 2 + α − 2β)(a0 + a1 + a2 )

1
+ 4(2α−1)
(9α3 − 27α2 β + 12αβ 2 − 6α2 + 13αβ − 6β 2 + α)s

(ai , aj ) =

1 (3α2 +(3β−1)α−2β)
4
(2α−1)

Table 9: (3A′α,β )

and degenerate when (3α − β − 1)(3α2 + 3αβ − β − 1)(3α2 + (3β − 9)α − 2β + 4) = 0.
Proof. We check by direct computation in [GAP] that the form on (3A′α,β ) induced as a quotient
of the form in Section 3 is Frobenius. We also use [GAP] to calculate the Gram matrix, the
determinant of which is
−α2
(3α − β − 1)(3α2 + 3αβ − β − 1)(3α2 + (3β − 9)α − 2β + 4)3 .
29 (2α − 1)5

(104)

Lemma 8.3. We have |τ (a0 )τ (a1 )| = 3.
Proof. τ (a0 ), τ (a1 ) are the permutation matrices of (1)(2, 3)(4) and (1, 3)(2)(4) respectively on
(3A′α,β ). Lemma 1.2 implies that the order of τ (a0 )τ (a1 ) is bounded by 3 everywhere.

References
[B86]

R. E. Borcherds, Vertex algebras, Kac-Moody algebras, and the Monster, Proc. Nat.
Acad. Sci. U.S.A. 83: 3068–3071, 1986.

[C85]

J. Conway, A simple construction for the Fischer-Griess monster group, Invent.
Math. 79: 513–540, 1985.

[DMR15] T. De Medts, F. Rehren, Jordan algebras and 3-transposition groups, 16pp, submitted. arXiv:1502.05657
[FLM98]

I. Frenkel, J. Lepowsky, A. Meurman, Vertex operator algebras and the Monster,
Academic Press, 1998.

[GAP]

The GAP group, GAP: Groups, Algorithms and Programming, v4.6.2, 2013.

[G82]

R. L. Griess, The friendly giant, Invent. Math. 69: 1–102, 1982.
35

[HRS13]

J. I. Hall, F. Rehren, S. Shpectorov, Universal Axial Algebras and a Theorem of
Sakuma, J. Alg., forthcoming. arXiv:1311.0217

[HRS14]

J. I. Hall, F. Rehren, S. Shpectorov, Primitive axial algebras of Jordan type, J. Alg.,
forthcoming. arXiv:1403.1898

[I09]

A.A. Ivanov, The Monster Group and Majorana Involutions, Cambridge University
Press, 2009.

[IPSS10] A.A. Ivanov, D. Pasechnik, Á. Seress, S. Shpectorov, Majorana Representations of
the Symmetric Group of Degree 4, J. Algebra 324: 2432–2463, 2010.
[M96]

M. Miyamoto, Griess algebras and conformal vectors in vertex operator algebras, J.
Algebra 179: 523–548, 1996.

[M03]

M. Miyamoto, Vertex operator algebras generated by two conformal vectors whose
τ -involutions generate S3 , J. Algebra 268: 653–671, 2003.

[R]

F. Rehren, Axial algebras, PhD thesis, University of Birmingham, forthcoming.

[S07]

S. Sakuma, 6-Transposition Property of τ -Involutions of Vertex Operator Algebras,
Int. Math. Res. Not., 030, 19 pages, 2007.

[S12]

Á. Seress, Construction of 2-closed M -representations, Proc. Int. Sympos. Symbolic
Algebraic Comput., 311–318, New York, AMS, 2012.

Felix Rehren
School of Mathematics
University of Birmingham
B15 2TT, United Kingdom
rehrenf@maths.bham.ac.uk

36

