Local Moufang sets and local Jordan pairs

arXiv:1610.05520v1 [math.GR] 18 Oct 2016

Tom De Medts (Tom.DeMedts@UGent.be)
Department of Mathematics, Ghent University
Krijgslaan 281 – S22, B-9000 Gent, Belgium
Erik Rijcken∗ (erijcken@cage.ugent.be)
Department of Mathematics, Ghent University
Krijgslaan 281 – S22, B-9000 Gent, Belgium
October 19, 2016

Abstract
In this paper, we extend the theory of special local Moufang sets. We construct a
local Moufang set from every local Jordan pair, and we show that every local Moufang set
satisfying certain (natural) conditions gives rise to a local Jordan pair. We also explore the
connections between these two constructions.

1

Introduction

In a previous paper, we have introduced local Moufang sets as generalizations of Moufang sets.
Moufang sets were introduced by Jacques Tits in [Tit92] and provide a method to describe
many groups of algebraic origin of rank one, including all linear algebraic groups defined over
an arbitrary field k and of k-rank equal to 1. The anisotropic kernel of such a group and the
Moufang set corresponding to the group can typically be described in terms of an anistropic
algebraic structure: a field, a Jordan division algebra [DW06], or, more generally, a structurable
division algebra [BDMS16].
In the same spirit, local Moufang sets give a framework to describe many of these groups
over local rings instead of fields. In our previous paper [DMR16], we explored some basic theory
of local Moufang sets and we investigated the structure of PSL2 (R) for local rings R.
It has been known for some time that every Jordan division algebra gives rise to a Moufang set
[DW06]. These Moufang sets have been characterized as the special Moufang sets with abelian
root groups satisfying some mild linearity condition [DS08, Theorem 1.2].
The current paper expands the theory of special local Moufang sets. Rather than working
with local Jordan algebras, we use (local) Jordan pairs, first introduced by K. Meyberg in [Mey70]
and studied extensively by O. Loos in [Loo75]. This allows us to use the two-sided structure
of the local Moufang sets, and avoids the explicit choice of a unit element. As we assume the
Jordan pairs to have at least one invertible element, the Jordan pairs correspond one-to-one to
Jordan algebras. We show that every local Jordan pair gives rise to a local Moufang set, and we
characterize these local Moufang sets, very much in the style of [DS08, Theorem 1.2] mentioned
above.
∗ PhD

Fellow of the Research Foundation - Flanders (Belgium) (F.W.O.-Vlaanderen)

1

2

Local Moufang sets

2

Outline of the paper. In section 2, we summarize the relevant definitions, properties and
theorems from the general theory of local Moufang sets as developed in [DMR16]. Section 3
expands on the theory of special local Moufang sets, in particular those with abelian root groups.
One important proposition here is a sufficient condition for the root groups to be uniquely
k-divisible (Proposition 3.10). We also prove a few simple-looking identities in Proposition 3.8,
which will be surprisingly crucial in proving the main result of section 5.
In section 4, we first recall the definition of a local Jordan pair, along with some relevant
properties. We then proceed to describe how to construct a local Moufang set from a local Jordan
pair, using a construction from [DMR16].
In section 5, our aim is to reverse this construction: given a local Moufang set satisfying
properties (J1-4), Construction B gives an algebraic structure that will turn out to be a local
Jordan pair. We prove many intermediate identities before we can finally conclude that we indeed
get a local Jordan pair (Theorem 5.12).
In the final section, we connect sections 4 and 5. In particular, we show that if we start with
a local Jordan pair, construct the local Moufang set, and use this local Moufang set to construct
a new local Jordan pair, then this Jordan pair is isomorphic to the Jordan pair we started with.
Conversely, if we have a local Moufang set satisfying the assumptions required to construct a
local Jordan pair, we would like this local Moufang set to be isomorphic to the one we construct
from the Jordan pair. In order to prove this, we need one additional assumption on the local
Moufang set (Theorem 6.4). This last result provides a characterization of the local Moufang
sets arising from local Jordan pairs.
Acknowledgment. We are grateful to Ottmar Loos and Holger Petersson for sharing their
insight in the examples of local Jordan algebras (see Examples 4.6 below).

2

Local Moufang sets

2.1

Definition and conventions

In [DMR16], we introduced local Moufang sets as a generalization of Moufang sets, in order
to study groups of rank one over a local structure. For the reader’s convenience, we recall the
necessary definitions and notations we will use throughout this article. We will, of course, often
refer to loc. cit. for the proofs of the facts we will be using.
Notation 2.1.
• If (X, ∼) is a set with an equivalence relation, we denote the equivalence class of x ∈ X
by x, and the set of equivalence classes by X.
• We denote the group of equivalence-preserving permutations of X by Sym(X, ∼).
• If g ∈ Sym(X, ∼), we will denote the corresponding element of Sym(X) by g.
• Our actions will always be on the right. The action of an element g on an element x will
be denoted by x · g or xg. Conjugation will correspondingly be denoted by g h = h−1 gh.
Definition 2.2. A local Moufang set M consists of a set with an equivalence relation (X, ∼) such
that |X| > 2, and a family of subgroups Ux 6 Sym(X, ∼) for all x ∈ X, called the root groups.
We denote Ux := Ux = Im(Ux → Sym(X)) for the permutation group induced by the action of
Ux on the set of equivalence classes. (This notation is justified by (LM1) below.) The group
generated by the root groups is called the little projective group, and will usually be denoted by
G := hUx | x ∈ Xi. Furthermore, we demand the following:
(LM1) If x ∼ y for x, y ∈ X, then Ux = Uy .

2

Local Moufang sets

3

(LM2) For x ∈ X, Ux fixes x and acts sharply transitively on X \ x.
(LM2’) For x ∈ X, Ux fixes x and acts sharply transitively on X \ {x}.
(LM3) For x ∈ X and g ∈ G, we have Uxg = Uxg .
These axioms imply in particular that (X, {Ux }x∈X ) is a Moufang set.
Definition 2.3. Two local Moufang sets M and M′ are isomorphic, denoted M ∼
= M′ , if there is
′
′
a bijection ϕ : X → X and group isomorphisms θx : Ux → Uϕ(x) such that
• for all x, y ∈ X, we have x ∼ y ⇐⇒ ϕ(x) ∼′ ϕ(y);
• for all x, y ∈ X and u ∈ Uy , we have ϕ(x · u) = ϕ(x) · θy (u).
The next proposition roughly states that root groups of two non-equivalent points already
contain all the information of a local Moufang set, and that any such two non-equivalent points
play the same role.
Proposition 2.4. Let M be a local Moufang set, and x, y ∈ X with x 6∼ y. Then hUx , Uy i = G.
The little projective group G acts transitively on {(x, y) ∈ X 2 | x 6∼ y}.
Proof. This is [DMR16, Proposition 2.4 and 2.6].
Notation 2.5.
• In a local Moufang set, we fix two points of X that are not equivalent, and we call them 0
and ∞.
• For any x 6∼ ∞, by (LM2), there is a unique element of U∞ mapping 0 to x. We denote
this element by αx . In particular, α0 = 1.
−1
• For x 6∼ ∞, we set −x := 0 · α−1
x , so αx = α−x .

2.2

Units and µ-maps

When we have fixed 0 and ∞, there will be many elements of X that behave more nicely than
others. These are precisely the elements of X that do not project to 0 or ∞ in X.
Definition 2.6. In a local Moufang set, an element x ∈ X is a unit if x 6∼ 0 and x 6∼ ∞.
Proposition 2.7. Let M be a local Moufang set, and x ∈ X with x 6∼ ∞. Then the following
are equivalent:
(i) x is a unit;
(ii) αx does not fix 0;
(iii) αx does not fix any element of X \ ∞.
In particular, x is a unit if and only if −x is a unit.
Proof. This is [DMR16, Proposition 2.9].
Each of these units admits an element µx interchanging 0 and ∞:
Proposition 2.8. For each unit x ∈ X, there is a unique element µx ∈ U0 αx U0 such that
0µx = ∞ and ∞µx = 0; it is called the µ-map corresponding to x. Moreover, µx = gαx h with g
the unique element of U0 mapping ∞ to −x and h the unique element of U0 mapping x to ∞.
Proof. This is [DMR16, Proposition 2.12].
Notation 2.9.

2

Local Moufang sets

4

• We fix one µ-map and call it τ . Recall that |X| > 2, so there is at least one unit.
• For each x 6∼ ∞, we set γx := ατx ∈ U0 , which is the unique element of U0 mapping ∞
to xτ .
• For each unit x, we set ∼x := (−(xτ −1 ))τ .
Lemma 2.10. Let x be a unit.
(i) Let y ∈ X. Then y is a unit if and only if yµx is a unit;
(ii) µx does not depend on the choice of τ ;
(iii) µ−x = µ−1
x ;
(iv) µxτ = µτ−x ;
(v) µx = αx ατ−(xτ −1 ) α−∼x ;
(vi) ∼x = −((−x)µx );
(vii) ∼x does not depend on the choice of τ ;
(viii) µ−x = α−∼x µ−x αx µ−x α∼−x .
Proof. This is [DMR16, Lemma 2.14(3) and 2.17].
In the following proposition, we added an extra statement compared to Proposition 2.18 of
[DMR16]. This new identity will be simplified in the case of special local Moufang sets with
abelian root groups, and will then be a starting point for proving one of the axioms of Jordan
pairs in Proposition 5.5.
Proposition 2.11. Let x, y ∈ X be units such that x 6∼ y and set z := xτ −1 α−(yτ −1 ) τ .
(i) z is independent of the choice of τ ;
(ii) z = xα−y µy α∼y and ∼z = yα−x µx α∼x ;
(iii) µy µz µ−x = µyα−x .
Proof.
(i-ii) This is [DMR16, Proposition 2.18].
(iii) We repeatedly use Lemma 2.10(v), where we interchanged τ and τ −1 .
−1

−1

−1

µz = αz ατ−(zτ ) α−∼z = αz ατyτ ατ−(xτ ) α−∼z
= αz α−∼y µ−y αy α−x µx α∼x α−∼z
= αxα−y µy µ−y αy α−x µx α−(yα−x µx )
Hence, again using Lemma 2.10(v) but now with µx and µy , we get
µy µz µ−x = µy αxα−y µy µ−y αy α−x µx α−(yα−x µx ) µ−x
= α−∼(xα−y ) µyα−x αxα−y αy α−x α−(yα−x ) µyα−x α∼(yα−x )
= α−∼(xα−y ) µ−(xα−y ) αxα−y ) µ−(xα−y ) α∼−(xα−y )
= µ−(xα−y ) = µyα−x ,
using Lemma 2.10(viii).
Lemma 2.12. Let τ and µ be any two µ-maps. Then for any x ∈ X \ ∞, we have ατxµ = αxτ µ .
In particular, (αx αy )τ µ = αxτ µ αyτ µ for all x, y ∈ X \ ∞.
Proof. This is [DMR16, Lemma 2.23], using the fact that τ µ is a Hua map ([DMR16, Definition 2.19]).

2

Local Moufang sets

2.3

5

Constructing local Moufang sets

We already observed that the root groups of two non-equivalent points contain all the data
of a local Moufang set. In fact, only one root group and one µ-map are needed. The following
construction starts with a group U and an element τ satisfying some basic properties, and creates
all the data for a local Moufang set.
Construction A. The construction requires some data to start with. We need
• a set with an equivalence relation (X, ∼), such that |X| > 2;
• a group U 6 Sym(X, ∼);
• an element τ ∈ Sym(X, ∼).
The action of U and τ will have to be sufficiently nice in order to do the construction, so we
demand that
(C1) U has a fixed point which we call ∞, and acts sharply transitively on X \ ∞;
(C1’) the induced action of U on X is sharply transitive on X \ {∞};
(C2) ∞τ 6∼ ∞ and ∞τ 2 = ∞; we write 0 := ∞τ .
In this construction, we now define the following objects:
• For x 6∼ ∞, we let αx be the unique element of U mapping 0 to x (by (C1) and (C2)).
• For x 6∼ ∞, we write γx := ατx , which then maps ∞ to xτ .
τ
. The other root groups are defined as
• We set U∞ := U and U0 := U∞
Ux := U0αx for x 6∼ ∞,

γ

Ux := U∞xτ −1 for x ∼ ∞.

• As in the definition of local Moufang sets, we write Ux for the induced action of Ux on X.
This gives us all the data that is needed for a local Moufang set; we denote the result of this
construction by M(U, τ ). We will need some additional definitions, which we have seen before
for local Moufang sets, but which we need to redefine in the current setup:
• We call x ∈ X a unit if x 6∼ 0 and x 6∼ ∞.
• For x 6∼ ∞, we set −x := 0α−1
x .
• For a unit x, we define the µ-map µx := γ(−x)τ −1 αx γ−(xτ −1 ) .
This construction does not always give rise to a local Moufang set. The following theorem
gives some useful criteria.
Theorem 2.13. Let M(U, τ ) be as in Construction A. Then M(U, τ ) is a local Moufang set if
and only if one of the following equivalent conditions holds:
γ

(i) U∞xτ −1 = Ux for all units x ∈ X;
(ii) U0µx = U∞ for all units x ∈ X;
µx
(iii) U0 = U∞
for all units x ∈ X.
Proof. This is [DMR16, Lemma 4.4 and Theorem 4.6].
We repeat Remark 4.7 from [DMR16]:
Remark 2.14. Let M(U, τ ) and M(U ′ , τ ′ ) be given by Construction A, with actions on (X, ∼)
and (X ′ , ∼′ ) respectively, and assume that there is a bijection ϕ : X → X ′ and a group isomorphism θ : U → U ′ such that
• for all x, y ∈ X, we have x ∼ y ⇐⇒ ϕ(x) ∼′ ϕ(y);
• for all x ∈ X and u ∈ U , we have ϕ(x · u) = ϕ(x) · θ(u);
• for all x ∈ X, we have ϕ(x · τ ) = ϕ(x) · τ ′ .
Then M(U, τ ) and M(U ′ , τ ′ ) are isomorphic.

3

Special local Moufang sets

3
3.1

6

Special local Moufang sets
Basic properties

In [DMR16], we used the notion of special local Moufang sets to characterize the local Moufang
sets of the form M(R) for a local ring R. We will need to extend the theory of special local
Moufang sets in order to do the same for local Moufang sets originating from local Jordan pairs.
In particular, we will study the k-divisibility of elements, similarly to what had been done for
(ordinary) Moufang sets in [DS08, Proposition 4.6].
Definition 3.1. A local Moufang set M is called special if ∼x = −x for all units x ∈ X, or
equivalently, if (−x)τ = −(xτ ) for all units x ∈ X.
Lemma 3.2. Let x ∈ X be a unit in a special local Moufang set. Then
(i) (−y)µx = −(yµx ) for all units y ∈ X;
(ii) µx = αx ατ−xτ −1 αx ;
(iii) −x = xµx = xµ−x ;
µ
(iv) µx = αx αx±x αx ;
(v) µ−x = αx µ−x αx µ−x αx .
Proof. This is [DMR16, Lemma 5.2].
Lemma 3.3. If x, y ∈ X are units in a special local Moufang set, and xαy is a unit, then
xµxαy = (−y)α−x αxµy α−y .
Proof. This is [DMR16, Lemma 5.3].
Definition 3.4. For x ∈ X \ ∞ and n ≥ 1, we define x · n := 0 · αnx .
Lemma 3.5. Let n ∈ N and x, y ∈ X \ ∞. If x ∼ y, then x · n ∼ y · n.
Proof. First observe that by (LM2’), we have
−1
−1
x ∼ y ⇐⇒ 0αx α−1
y ∼ 0 ⇐⇒ 0αx αy = 0 ⇐⇒ αx αy = 1 ⇐⇒ αx = αy .

Hence, we get
x ∼ y ⇐⇒ αx = αy =⇒ αx n = αy n ⇐⇒ αx·n = αy·n ⇐⇒ x · n ∼ y · n ,
so indeed x ∼ y =⇒ x · n ∼ y · n.
Lemma 3.6. Let n ∈ N and x be a unit in a special local Moufang set. If x · k is a unit for all
k 6 n, then the following hold:
(i) (x · k)µ−x · k = −x for all k 6 n.
(ii) xτ · k is a unit for all k 6 n.
(iii) (x · k)τ · k = xτ for all k 6 n.
(iv) For all k 6 n, yk := (−x · k)µ−x is the unique element such that yk · k = x, and yk · ℓ is a
unit for all ℓ 6 n.
(v) (x · n) · k is a unit for all k 6 n.

3

Special local Moufang sets

7

Proof. We prove all these statements simultaneously by induction on n. Observe that they
clearly hold for n = 1, using Proposition 3.2. We now assume that the lemma holds for n and
all x satisfying the conditions, and prove it for n + 1. Hence, we now assume x · k is a unit for
k 6 n + 1.
We first claim the following:
yn · (n + 1) · k is a unit for all k 6 n.

(3.1)

Suppose this were not the case; then yn · (n + 1) · k ∼ 0, so x · (n + 1) · k = yn · (n + 1) · k · n ∼ 0.
From this, we get x · n · k ∼ −x · k, and hence (x · n · k)µx · k ∼ (−x · k)µx · k. Using (v) and (iii)
of the induction hypothesis, we get
(x · n)µx ∼ (−x)µx , so x · n ∼ −x and hence x · (n + 1) ∼ 0 ,
which contradicts the assumption.
Now we prove (i). By induction, (x · k)µ−x · k = −x for all k 6 n, so we only need to show
this for k = n + 1. We have
−(x · (n + 1))µ−x = (−x · (n + 1))µ−x
= (−x · n)α−x µ−x
(by Proposition 3.2(v))
(by the induction hypothesis)

= (−x · n)µ−x αx µ−x αx
= yn αx µ−x αx
= yn αnyn µ−x αx
= (yn · (n + 1))µ−x αx

= (yn · (n + 1) · n)µ−x · n αx

= (x · (n + 1))µ−x · n αx .

(by the induction hypothesis and (3.1))

n
Hence α−1
(x·(n+1))µ−x = α(x·(n+1))µ−x αx , so indeed

−x = 0 · α−x = 0 · αn+1
(x·(n+1))µ−x = (x · (n + 1))µ−x · (n + 1) .
Next, we prove (ii), where again, we only need to check that xτ ·(n+1) is a unit. By Lemma 2.12,
(x · n)µτ = xµτ · n for any µ-maps τ and µ. Hence
xτ · (n + 1) = (−x)µ−x τ · (n + 1) = (−x) · (n + 1)µ−x τ 6∼ 0 ,
as x · (n + 1) 6∼ 0.
Similarly, we prove (iii) using (i) and Lemma 2.12.

(x · k)τ · k = (x · k)µ−x µx τ · k = (x · k)µ−x · k µx τ = −xµx τ = xτ .

To prove (iv), we first observe that yn+1 = (−x · (n + 1))µ−x indeed satisfies yn+1 · (n + 1) = x,
by (iii). We first show the following statement.
If z · (n + 1) = x, then z · k is a unit for all k 6 n + 1.

(3.2)

Indeed, if z · k ∼ 0, then also z · k · (n + 1) ∼ 0, so x · k ∼ 0, contradicting the fact that x · k is a
unit for all k 6 n + 1.
Now we prove that yn+1 is unique. Suppose z · (n + 1) = x, then
−x · (n + 1) = xµ−x · (n + 1) = (z · (n + 1))µ−x · (n + 1) = zµ−x ,

3

Special local Moufang sets

8

using (iii) for z, which is allowed by (3.2). Hence, z = yn+1 , and indeed yn+1 is unique. By (3.2),
yn+1 · k is a unit for k 6 n + 1. We only need to show that yk · (n + 1) is a unit for k 6 n.
Suppose yk · (n + 1) ∼ 0, then also x · (n + 1) = yk · (n + 1) · k ∼ 0, which is a contradiction.
It only remains to show (v), which we do in two steps. First, if x · (n + 1) · k ∼ 0 for some
k 6 n, we would have
x · n · k ∼ −x · k
=⇒ (x · n · k)µx · k ∼ (−x · k)µx · k
=⇒ (x · n)µx ∼ (−x)µx
=⇒ x · n ∼ −x

(by the induction hypothesis and (iii))

=⇒ x · (n + 1) ∼ 0,
which is a contradiction; so x · (n + 1) · k is a unit for k 6 n.
Now if x · (n + 1) · (n + 1) ∼ 0, we would have
− x · (n + 1) · n ∼ x · (n + 1)
=⇒ − (x · (n + 1) · n)µx · n ∼ (x · (n + 1))µx · n
=⇒ − (x · (n + 1))µx ∼ (x · (n + 1))µx · n
=⇒ (x · (n + 1))µx · (n + 1) ∼ 0

(using the previous step)

=⇒ − x ∼ 0,
which is again a contradiction. This shows that x · (n + 1) · k is a unit for k 6 n + 1.
By induction, the lemma now holds for all n.
The statement of the previous lemma is quite technical in order to make the induction work.
The essence of it is contained in the following corollary.
Corollary 3.7. Let M be a special local Moufang set and assume x · k is a unit for all k 6 n.
1
(i) there is a unique y such that
 y · n = x, which we denote by x · n ;
1
1
(ii) (x · n)τ = xτ · n and x · n τ = xτ · n;
(iii) if z ∼ x, then z · k is a unit for all k 6 n and x · n1 ∼ z · n1 .
Proof.
(i) By Lemma 3.6(iv), y := (−x · n)µ−x is the unique element satisfying y · n = x.
(ii) Lemma 3.6(iii) gives us (x · n)τ · n = xτ , so (x · n)τ = xτ · n1 . By
x · n1
 Lemma 3.6(iv),

1
1
also satisfies the
 conditions of Lemma 3.6, so we have x · n · n τ · n = x · n τ , hence
xτ · n = x · n1 τ .
(iii) By Lemma 3.5, z · k ∼ x · k 6∼ 0 for all k 6 n. Now we have
x ∼ z =⇒ xτ −1 ∼ zτ −1 =⇒ xτ −1 · n ∼ zτ −1 · n
=⇒ (xτ −1 · n)τ ∼ (zτ −1 · n)τ =⇒ x ·

3.2

1
n

∼z·

1
n

Special local Moufang sets with abelian root groups

In this subsection, we will assume we have a special local Moufang set with U∞ abelian. Since all
root groups are conjugate in the little projective group, this means all root groups are abelian.
Proposition 3.8. Let x and y be units in a special local Moufang set with U∞ abelian. Then
2
(i) µx = µ−x = µ−1
x , so µx = 1;

3

Special local Moufang sets

9

µ

(ii) µxy = µxµy ;
(iii) if xαy is a unit, then µx µxαy µy = µy µxαy µx = µ(xτ αyτ )τ .
Proof.
(i) This is [DMR16, Lemma 5.8].
µy
(ii) By Lemma 2.10(iv), we have µxµy = µ−x
, so this follows from (i).
(iii) Let z = xτ αyτ τ . Then, by Proposition 2.11, we have µ−y µz µ−x = µ(−x)α−y , so by (i) we
get µz = µx µyαx µy . If we interchange x and y, z remains the same by the commutativity
of U∞ , so we also get µz = µy µxαy µx . By the commutativity of U∞ again, xαy = 0αx αy =
yαx .
When a special local Moufang set has abelian root groups, we can extend Corollary 3.7 to
non-units in the sense that the root groups will be uniquely n-divisible.
Definition 3.9. A group U is uniquely k-divisible if for every g ∈ U there is a unique h ∈ U
such that hk = g (or such that h · k = g if we write the group operation additively). We denote
h as g/k, g · k1 or g · k −1 .
Proposition 3.10. Let M be a special local Moufang set with U∞ abelian, and n ∈ N a natural
number. If for all units x and all k 6 n, x · k is also a unit, then U∞ is uniquely k-divisible for
all k 6 n.
Proof. Let k 6 n. Corollary 3.7 already shows that, if x is a unit, there is a unique y such that
y · k = x; therefore, it only remains to check the unique k-divisibility for non-units. So suppose
that x is not a unit. Take any unit e; then αx = αxα−e αe . Now xα−e and e are units, so both
αxα−e and αe are uniquely k-divisible, say with y · k = xα−e and z · k = αe . Since U∞ is abelian,
we get
(αy αz )k = αky αkz = αxα−e αe = αx .
To show uniqueness, suppose there are two elements u, u′ ∈ U∞ with uk = u′k = αx . Then
k
−k
−k k k
(α−1
y u) = αy αx = αy αy αz = αe ,
′ k
−1 ′
−1
′
and similarly (α−1
y u ) = αe . By the uniqueness for units, we get αy u = αy u, so u = u .

Proposition 3.11. Let M be a special local Moufang set with U∞ abelian, and n ∈ N a natural
number. Assume that for all units x and all k 6 n, x · k is also a unit. Then we have yµx·ℓ =
yµx · ℓ2 for all units x, y and for ℓ ∈ {n, n−1 }.
Proof. Let y be a unit. Then
yµx·n = yαx·n τ α−(x·n)τ τ αx·n


= y · n1 αx · n τ α−(x·n)τ τ αx·n


= y · n1 αx τ · n1 α
1 τ αx·n
−xτ · n


= y · n1 αx τ α−xτ · n1 τ αx·n


= y · n1 αx τ α−xτ τ · n αx·n

= y · n1 αx τ α−xτ τ αx · n
= y · n1 µx · n = xµx · n2 .

3

Special local Moufang sets

10

Substituting x by x · n1 , we get
yµx = yµx· 1 · n2 , so yµx· 1 = yµx ·
n

n

1
n2

,

hence yµx·ℓ = yµx · ℓ2 for both values of ℓ.
We would now like to know what the yµx·ℓ is when y is not a unit. Of course, if y ∼ 0, we get
yµx ∼ ∞, so it would not make sense to compare yµx·ℓ to yµx · ℓ2 , since the second expression
does not make sense. To resolve this, we also use the ‘multiplication by n’ for U0 .
n
Definition 3.12. For x ∈ X \ 0 and n ≥ 1, we define x ˜· n := ∞ · γxτ
−1 .

Remark 3.13. Even though τ appears in γxτ −1 , remember that this is the unique element of
U0 mapping ∞ to x, which, therefore, does not depend on the choice of τ . Hence ˜· n is also
independent of this choice.
Since this is exactly what we get when we switch the role of 0 and ∞, we immediately know
that Corollary 3.7 and Proposition 3.10 also hold for ˜·. The first thing we can observe is that
there is a close relation between · and ˜· :
Lemma 3.14.
(i) If x 6∼ ∞, then (x · n)τ = xτ ˜· n.
(ii) If x 6∼ 0, then (x ˜· n)τ = xτ · n.
Proof.
(i) We have
xτ ˜· n = ∞γxn = ∞ατxn = ∞τ −1 αnx τ = (0αnx )τ = (x · n)τ .
(ii) This follows from (i), using xτ −1 and replacing τ −1 by τ .
Combining this with Corollary 3.7, we are able to express · n1 in terms of ˜· and we can extend
Proposition 3.11:
Proposition 3.15. Let M be a special local Moufang set with abelian root groups, and n ∈ N a
natural number. Assume that for all units x and all k 6 n, x · k is also a unit. Let ℓ ∈ {n, n−1 }.
Then for all units x, we have
(i) x ˜· ℓ = x · ℓ−1 , hence (x · ℓ)τ = xτ ˜· ℓ and (x ˜· ℓ)τ = xτ · ℓ;
(ii) For y 6∼ ∞, we have yµx·ℓ−1 = yµx˜·ℓ = yµx ˜· ℓ2 ;
(iii) For y ∼
6 0, we have yµx·ℓ = yµx · ℓ2 .
Proof.
(i) By Corollary 3.7 and the previous lemma, we have
(x ˜· n)τ = xτ · n = x ·

1
τ.
n

so x ˜· n = x · n1 . By switching the roles of 0 and ∞, we also get x ˜· n1 = x · n. Furthermore,
we get xτ ˜· ℓ = xτ · ℓ−1 = (x · ℓ)τ and xτ · ℓ = (x · ℓ−1 )τ = (x ˜· ℓ)τ .

4

From local Jordan pairs to local Moufang sets

11

(ii) By applying τ to both sides of the identity we want to prove, we get the equivalent identity
yµx·ℓ−1 τ = yµx τ · ℓ2 . By Proposition 3.11, this identity holds if y is a unit. So assume now
that y ∼ 0. Let e be a unit, then y = yα−e αe , so using Lemma 2.12 we get
yµx·ℓ−1 τ = yα−e αe µx·ℓ−1 τ
µ

= (yα−e )µx·ℓ−1 τ αe x·ℓ−1

τ

= (yα−e µx τ · ℓ2 )αeµx·ℓ−1 τ
= (yα−e µx τ · ℓ2 )αeµx τ ·ℓ2
= (yα−e µx τ αeµx τ ) · ℓ2
= (yα−e αe )µx τ · ℓ2
= yµx τ · ℓ2 .
Hence the desired identity also holds for y ∼ 0.
(iii) This is precisely the (ii) with 0 and ∞ interchanged.

4

From local Jordan pairs to local Moufang sets

4.1

Preliminaries on local Jordan pairs

Throughout this section, we will be working with Jordan pairs. First we recall some notations
and definitions from [Loo75]. Remark that we will change the left action of loc. cit. to a right
action, in order to be consistent with the action of our local Moufang sets. The index σ will
always take values + and −.
Definition 4.1. Let k be a commutative unital ring and V = (V + , V − ) a pair of k-modules with
quadratic maps Q : V σ → Hom(V −σ , V σ ). We write Qx,z := Qx+z − Qx − Qz , zDx,y := yQx,z
and {xyz} := yQx,z . Then V is a Jordan pair if the following axioms are satisfied in all scalar
extensions of the base ring:
(JP1) {x y zQx} = {yxz}Qx;
(JP2) {yQx y z} = {x xQy z};
(JP3) QyQx = Qx Qy Qx .
A pair of submodules U = (U + , U − ) is an ideal if vQu ∈ U σ , uQv ∈ U −σ and {v ′ vu} ∈ U σ for
all u ∈ U σ , v ∈ V −σ , v ′ ∈ V σ . If (U + , U − ) is an ideal, the quotient V /U = (V + /U + , V − /U − )
is a Jordan pair. An ideal U is proper if U 6= V . A homomorphism of Jordan pairs is a pair of
k-linear maps hσ : V σ → W σ such that
hσ (yQx ) = h−σ (y)Qhσ (x)

for all x ∈ V σ , y ∈ V −σ .

The following proposition gives some useful criteria to check whether a given structure is a
Jordan pair.
Proposition 4.2.
(i) If V has no 2-torsion, then (JP3) follows from (JP1-2). Hence in this case V is a Jordan
pair if (JP1-2) are satisfied in all scalar extensions of the base ring.
(ii) If V has no 2-torsion and (JP1), all its linearizations and (JP2) hold, then V is a Jordan
pair.
Proof.

4

From local Jordan pairs to local Moufang sets

12

(i) This is [Loo75, Proposition 2.2(a)].
(ii) This is remarked just after [Loo75, Definition 1.2].
We will also need the notions of invertibility, (properly) quasi-invertibility, and of course of a
local Jordan pair, again from [Loo75].
Definition 4.3. An element v ∈ V σ is invertible if and only if Qv is invertible. In this case,
we define v −1 := vQ−1
v . A Jordan pair is division if all non-zero elements are invertible. A
Jordan pair is local if the non-invertible elements form a proper ideal. For (x, y) ∈ V (this means
x ∈ V + , y ∈ V − ), we define the Bergman operator
Bx,y := 1 − Dx,y + Qy Qx ,
and (x, y) is quasi-invertible if and only if Bx,y is invertible. In this case, we define the quasi−1
. An element x ∈ V + (or y ∈ V − ) is properly quasi-invertible if
inverse xy := (x − yQx )Bx,y
and only if (x, y) is quasi-invertible for all y ∈ V − (or all x ∈ V + , respectively). The Jacobson
radical Rad V = (Rad V + , Rad V − ) is the pair of sets of all properly quasi-invertible elements.
To do computations in local Jordan pairs, we will need some further properties and identities:
Proposition 4.4.
(i)
(ii)
(iii)
(iv)
(v)
(vi)
(vii)
(viii)
(ix)
(x)
(xi)

For any x and y, we have, Qx,yQx = Qx Dx,y = Dy,x Qx .
For invertible x and any y, we have Qx,y Q−1
x = Dx−1 ,y .
If x is invertible, Bx,y = Qx−1 −y Qx . If y is invertible, we have Bx,y = Qy Qx−y−1 .
Assume (x, y) is quasi-invertible. Then (x, y + z) is quasi-invertible if and only if (xy , z)
is quasi-invertible. In this case, we have xy+z = (xy )z .
(x, y) is quasi-invertible if and only (y, x) is quasi-invertible in (V − , V + ). In this case,
xy = x + y x Qx .
(x, zQy ) is quasi-invertible if and only if (xQy , z) is quasi-invertible. In this case, (xQy )z =
xzQy Qy .
If V is a local Jordan pair, then Rad V is the set of non-invertible elements of V .
If V / Rad V is a non-trivial Jordan division pair, then V is a local Jordan pair.
If (x, y) mod Rad V is quasi-invertible in the quotient V / Rad V , then also (x, y) is quasiinvertible.
If x ∈ Rad V + and y ∈ V − , then xy ∈ Rad V + .
If x, y ∈ V + are invertible and x − y ∈ Rad V + , then x−1 − y −1 ∈ Rad V − .

Proof.
(i) This is JP4 in [Loo75, 2.1].
(ii) From the definition of Qy,z , it is clear that Qx Qy,z Qx = QyQx ,zQx , so
−1
−1
Qx,y Q−1
= Qx Qx−1 Dx−1 ,y = Dx−1 ,y .
x = Qx Qx Qx,y Qx = Qx Qx−1 ,yQ−1
x

(iii)
(iv)
(v)
(vi)
(vii)
(viii)
(ix)

This
This
This
This
This
This
This

is
is
is
is
is
is
is

[Loo75,
[Loo75,
[Loo75,
[Loo75,
[Loo75,
[Loo75,
[Loo75,

2.12].
3.7(1)].
3.3].
3.5(1)].
4.4(a)].
4.4(b)].
4.3].

4

From local Jordan pairs to local Moufang sets

13

(x) If x ∈ Rad V + , then (x, z) is quasi-invertible for all z ∈ V − . Hence (x, y + z) is quasiinvertible for all z ∈ V − , so (xy , z) is quasi-invertible for all z ∈ V − . Hence xy is properly
quasi-invertible, and xy ∈ Rad V + .
(xi) Since Rad V is an ideal and Qx is invertible, it is sufficient to prove that (x−1 − y −1 )Qx is
in Rad V + . This is indeed true, as
(x−1 − y −1 )Qx = x − y −1 Qx−y+y = x − y −1 Qx−y,y − y −1 Qx−y − y −1 Qy
= (x − y) − y −1 Qx−y,y − y −1 Qx−y ∈ Rad V + ,
since x − y ∈ Rad V + .
We recall the connection between (local) Jordan algebras and (local) Jordan pairs.
Proposition 4.5. Let J be a quadratic Jordan algebra with quadratic maps U : J → End(J).
Then:
(J, J) is a Jordan pair with Q := U .
J is a Jordan division algebra if and only if (J, J) is a Jordan division pair.
J is a local Jordan algebra if and only if (J, J) is a local Jordan pair.
The radical of the Jordan pair (J, J) is (Rad J, Rad J), where Rad J is the radical of the
Jordan algebra J.
(v) The map J 7→ (J, J) induces a bijection from isotopism classes of local Jordan algebras to
isomorphism classes of local Jordan pairs.

(i)
(ii)
(iii)
(iv)

Proof. The first statement (i) is [Loo75, 1.6]. Statements (ii) and (iii) are in [Loo75, 1.10], and
(v) is a consequence of (iii) and [Loo75, 1.12]. Finally, (iv) is one of the statements of [Loo75,
4.17].
Examples 4.6.
(1) Let A be a local associative (not necessarily commutative) ring. Then V = (A, A) with
Qa : A → A : x 7→ axa is a local Jordan pair.
(2) Let V = (V + , V − ) be a Jordan division pair over a field k and let R be a commutative
k-algebra which is a local ring. Then we can define V ⊗k R = (V + ⊗k R, V − ⊗k R) with
(x ⊗ r)Qy⊗s := xQy ⊗ rs2 . This is a local Jordan pair.
(3) Let J be a finite dimensional Jordan division algebra over a field K which is complete with
respect to a discrete valuation v. Then we can extend the valuation on K to a valuation
vJ on J. The subalgebra J0 = {x ∈ J | vJ (x) ≥ 0} is now a local Jordan algebra with
Rad J0 = {x ∈ J | vJ (x) > 0} (and hence (J0 , J0 ) is a local Jordan pair). We refer to
[Kne65, Pet73, Pet75] for more details.
We will rely on the notion of the projective space of V , which was introduced by O. Loos in
[Loo79]. The description we use comes from Loos’ more recent article [Loo94].
Definition 4.7. Two pairs (x, y), (x′ , y ′ ) ∈ V are projectively equivalent if
′

(x, y − y ′ ) is quasi-invertible and x′ = xy−y .
Using Proposition 4.4(iv), this can be shown to be an equivalence relation, and we will denote
the equivalence class of (x, y) by [x, y]. The projective space of V is the set
P(V ) := {[x, y] | (x, y) ∈ V } .

4

From local Jordan pairs to local Moufang sets

4.2

14

Defining a local Moufang set M(V ) from a local Jordan pair V

To define a local Moufang set from a local Jordan pair, we first need a set with equivalence
relation. The set we will use is the projective space P(V ) of V . In order to define an equivalence
relation on P(V ), it will be convenient to have a nice set of representatives for its elements. This
description will rely on the choice of an invertible element e ∈ V + .
Proposition 4.8. Let V be a local Jordan pair and e ∈ V + invertible. For any (x, y) ∈ V , at
least one of the following occurs:
I. There is a unique t ∈ V + such that [x, y] = [t, 0].
II. There is a unique t ∈ V − such that [x, y] = [e, e−1 + t].
If in either of the cases t is non-invertible, then the other case cannot occur. If t is invertible,
we have
[t, 0] = [e, e−1 − t−1 ].
Proof. Let (x, y) ∈ V . Assume first that (x, y) is quasi-invertible. Then we immediately have
[x, y] = [xy , 0], so we are in the first case.
So assume now that (x, y) is not quasi-invertible. By Proposition 4.4(vii), this means that x
is invertible. In this case, set t = y − x−1 . Now, using Proposition 4.4(iii), we have
−1

[x, y] = [e, e−1 + t] ⇐⇒ (e, e−1 − x−1 ) is quasi-invertible and ee
⇐⇒ Be,e−1 −x−1 is invertible and e − (e

−1

−1

−x
−1

⇐⇒ Qe−1 −(e−1 −x−1 ) Qe is invertible and x
−1

⇐⇒ Qx−1 Qe is invertible and x

−x−1

=x

)Qe = xBe,e−1 −x−1

Qe = xQe−1 −(e−1 −x−1 ) Qe

Qe = xQx−1 Qe

Now e and x are invertible, so Qe and Qx−1 are invertible, and x−1 = xQx−1 . So indeed, we
found a representative for [x, y] of the second form.
Now assume that [t, 0] = [e, e−1 + s] for some s ∈ V − . Then Be,e−1 −s must be invertible, but
Be,e−1 −s = Qs Qe , since e is invertible. Hence Qs must be invertible, so s must be invertible. In
this case
−1

t = ee

+s

−1
−1
−1 −1
,
= (e − (e−1 + s)Qe )Qe−1 Q−1
−s = (e − e − sQe )Qe Qs = −sQs = −s

so t is also invertible. This proves the remaining statements.
By Proposition 4.8, we now have a nice set of representatives for P(V ) as follows:
P(V ) = {[x, 0] | x ∈ V + } ∪ {[e, e−1 + y] | y ∈ Rad V − } .

(4.1)

The second subset consists of projective points that are “close” to each other, in the sense that
they only differ by a non-invertible element. We can define a similar closeness relation on the
first subset.
Definition 4.9. We define a radical equivalence relation ∼ on P(V ) by
[x, 0] ∼ [x′ , 0] ⇐⇒ x − x′ ∈ Rad V +

for all x, x′ ∈ V + ;

[e, e−1 + y] ∼ [e, e−1 + y ′ ] ⇐⇒ y − y ′ ∈ Rad V −

for all y, y ′ ∈ V − ;

[x, 0] 6∼ [e, e−1 + y]

if x ∈ Rad V + or y ∈ Rad V − .

Observe that this equivalence is well-defined by Proposition 4.4(xi).

4

From local Jordan pairs to local Moufang sets

15

Remark 4.10. We could have avoided the explicit choice of representatives for P(V ) by defining
the radical equivalence by
[x, y] ∼ [x′ , y ′ ] ⇐⇒

there are (x̂, ŷ) ∈ [x, y] and (x̂′ , ŷ ′ ) ∈ [x′ , y ′ ]
such that (x̂, ŷ) ≡ (x̂′ , ŷ ′ ) mod Rad V .

Remark 4.11. Observe that [0, 0] 6∼ [e, e−1 ] 6∼ [e, 0] 6∼ [0, 0], so the set of equivalence classes
P(V ) contains at least 3 classes.
We are now prepared to define a local Moufang set corresponding to V using Construction A.
We first define what the elements of U∞ and U0 will be.
Definition 4.12. For all v ∈ V + :
(
[x, 0] 7→ [x + v, 0]
for all x ∈ V +
αv :
−1
−1
v
[e, e + y] 7→ [e, e + y ] for all y ∈ Rad V −
For all w ∈ V − :
ζw :

(

[x, 0] 7→ [xw , 0]
[e, e−1 + y] 7→ [e, e−1 + y + w]

for all x ∈ Rad V +
for all y ∈ V −

Proposition 4.13. The maps αv and ζw preserve the radical equivalence on P(V ).
Proof. First, [x, 0] ∼ [x′ , 0] if and only if x−x′ ∈ Rad V + , which is equivalent to (x+v)−(x′ +v) ∈
Rad V + , so in this case αv preserves equivalence. If furthermore x ∈ Rad V + then [x, 0] ∼ [x′ , 0]
if and only if x′ ∈ Rad V + . Since x′ ∈ Rad V + ⇐⇒ x′w ∈ Rad V + and xw ∈ Rad V + , we find
that ζw also preserves equivalence.
Similarly, [e, e−1 + y] ∼ [e, e−1 + y ′ ] is equivalent to [e, e−1 + y]ζw ∼ [e, e−1 + y ′ ]ζw and if
y ∈ Rad V − , [e, e−1 + y] ∼ [e, e−1 + y ′ ] ⇐⇒ [e, e−1 + y]αv ∼ [e, e−1 + y ′ ]αv .
Finally, assume x ∈ Rad V + and y ∈ Rad V − , so [x, 0] 6∼ [e, e−1 + y]. Then xw ∈ Rad V + , so
also [x, 0]ζw 6∼ [e, e−1 + y]ζw and y v ∈ Rad V − , so also [x, 0]αv 6∼ [e, e−1 + y]αv . These cover all
cases.
We will use the set of all αv to get U∞ , so it only remains to construct τ in order to have all
the ingredients for a local Moufang set. The following proposition describes the action of what
will be the µ-maps of the local Moufang set. The bulk of the computational work of this section
is contained in the proof of this proposition.
Proposition 4.14. Let v ∈ V + be invertible and set µv = ζv−1 αv ζv−1 . Then

−1

for y ∈ Rad V − ,
[e, e + y]µv = [yQv , 0]
−1
−1
−1 −1
[e, e + y]µv = [e, e − y Qv ] for y ∈ V − \ Rad V − ,


[x, 0]µv = [e, e−1 + xQ−1
for x ∈ Rad V + .
v ]
As a consequence, µ2v = 1. Using the other representations, we get
[e, e−1 + y]µv = [yQv , 0]

for all y ∈ V − ,

[x, 0]µv = [e, e−1 + xQ−1
v ]

for all x ∈ V + and

[x, 0]µv = [−x−1 Qv , 0]

for all x ∈ V + \ Rad V + .

4

From local Jordan pairs to local Moufang sets

16

Proof. For simplicity, we will set w = v −1 throughout this proof, so µv = ζw αv ζw , wQv = v and
vQw = w.
In the first case, we start with [e, e−1 + y] for y ∈ Rad V − . We get
[e, e−1 + y]µv = [e, e−1 + y]ζw αv ζw = [e, e−1 + y + w]αv ζw = [−(y + w)−1 , 0]αv ζw
= [−(y + w)−1 + v, 0]ζw = [(−(y + w)−1 + v)w , 0] .
Hence, we need to check that y + w is invertible and −(y + w)−1 + v ∈ Rad V + , and we want to
prove (−(y + w)−1 + v)w = yQv . First, since y ∈ Rad V − and w is invertible, clearly y + w is
invertible. Second, take z ∈ V − arbitrary, then


−(y + w)−1 + v, z ≡ −w−1 + v, z ≡ (0, z) mod Rad V ,
so (−(y + w)−1 + v, z) mod Rad V is quasi-invertible, and by Proposition 4.4(ix) that means
(−(y + w)−1 + v, z) is quasi-invertible. As z was arbitrary, that means −(y + w)−1 + v ∈ Rad V + .
Finally
(v − (y + w)−1 )w = yQv

−1
⇐⇒ w v−(y+w)
=y+w

(by 4.4(v))

 −1
⇐⇒ w − (v − (y + w) )Qw Bw,v−(y+w)
−1 = y + w
−1

=y+w
⇐⇒ w − vQw + (y + w)−1 Qw ) Qv−(v−(y+w)−1 ) Qw
−1

−1

⇐⇒ (y + w)

−1
Qw Q−1
w Q(y+w)−1

(by 4.4(iii))

=y+w

⇐⇒ (y + w)−1 Qy+w = y + w ,
which holds, so the identity holds.
In the second case, we start with [e, e−1 + y] for y ∈ V − \ Rad V − . By ζw , this is mapped
to [e, e−1 + y + w]. We now distinguish two cases according to whether y + w ∈ Rad V − or not.
Assume first that y + w ∈ Rad V − ; then
[e, e−1 + y]µv = [e, e−1 + y + w]αv ζw = [e, e−1 + (y + w)v ]ζw = [e, e−1 + (y + w)v + w] .
We need to check that (y + w)v + w = −y −1 Q−1
v :
(y + w)v + w = −y −1 Q−1
v
−1 −1
Qv
⇐⇒ (v y+w − v)Q−1
v + w = −y

⇐⇒ v

y+w

(by 4.4(v))

−1

− v + wQv = −y
 −1
= −y −1
⇐⇒ v − (y + w)Qv Bv,y+w

⇐⇒ v − (y + w)Qv (Qw−(y+w)Qv )−1 = −y −1
 −1
−1
⇐⇒ vQ−1
v − (y + w) Q−y = −y

(by 4.4(iii))

−1
⇐⇒ − yQ−1
,
y = −y

which holds, so the identity holds.
Assume now that y + w 6∈ Rad V − . Then
[e, e−1 + y]µv = [e, e−1 + y + w]αv ζw = [−(y + w)−1 , 0]αv ζw = [v − (y + w)−1 , 0]ζw
= [e, e−1 + ((y + w)−1 − v)−1 ]ζw = [e, e−1 + ((y + w)−1 − v)−1 + w]

4

From local Jordan pairs to local Moufang sets

17

We need to show that v − (y + w)−1 is invertible, and that ((y + w)−1 − v)−1 + w = −y −1 Q−1
v .
For the first, assume v − (y + w)−1 = x was not invertible. Then y = (v − x)−1 − w, and we find
y = 0 mod Rad V , so y would not be invertible, a contradiction. For the identity, we get
((y + w)−1 − v)−1 + w = −y −1 Qw

Now first observe that

⇐⇒ v − (y + w)−1 = (y −1 Qw + w)−1

⇐⇒ v − (y + w)−1 Qy−1 Qw +w = y −1 Qw + w

−1
(y + w)Q−1
Qy+w Q−1
y = (y + w)
y

= (y + w)−1 (Qy,w + Qy + Qw )Q−1
y
= (y + w)−1 Qy,w Qy−1 + (y + w)−1 + (y + w)−1 Qw Q−1
y
Now we get


v − (y + w)−1 Qy−1 Qw +w = v − (y + w)−1 (Qy−1 Qw ,w + Qy−1 Qw + Qw )

= v − (y + w)−1 (Qy−1 Qw ,w + Qw Qy−1 Qw + Qw )

−1
= vQy−1 Qw ,w + vQw Q−1
(Qy−1 Qw ,w + Qw Q−1
y Qw + vQw − (y + w)
y Qw + Qw )

−1
−1
Qy−1 Qw ,w − (y + w)−1 Qw Q−1
Qw
= vQy−1 Qw ,w + wQ−1
y Qw − (y + w)
y Qw + w − (y + w)
−1
−1
= vQw Dw,y−1 + wQ−1
Dy−1 ,w Qw − (y + w)−1 Qw Q−1
Qw
y Qw + w − (y + w)
y Qw − (y + w)
−1
−1
= w + wDw,y−1 + wQ−1
Dy−1 ,w Qw − (y + w)−1 Qw Q−1
Qw
y Qw − (y + w)
y Qw − (y + w)
−1
−1
= w + 2y −1 Qw + wQ−1
Dy−1 ,w Qw − (y + w)−1 Qw Q−1
Qw
y Qw − (y + w)
y Qw − (y + w)

−1
−1
−1
−1
−1
−1
−1
Qw
= w + y Qw + y + wQy − (y + w) Dy−1 ,w − (y + w) Qw Qy − (y + w)

−1
−1
−1
−1
−1
−1
Qw
= w + y Qw + (y + w)Qy − (y + w) Dy−1 ,w − (y + w) Qw Qy − (y + w)

−1
−1
−1
−1
= w + y Qw + (y + w) Qy,w Qy − (y + w) Dy−1 ,w Qw

= w + y −1 Qw

This finishes the second case.
In the third case, we start with [x, 0] for x ∈ Rad V + . We get
[x, 0]µv = [x, 0]ζw αv ζw = [xw , 0]αv ζw = [xw + v, 0]ζw
= [e, e−1 − (xw + v)−1 ]ζw = [e, e−1 − (xw + v)−1 + w] .
+
We need to check that xw +v is invertible, and that −(xw +v)−1 +w = xQ−1
v . Since x ∈ Rad V ,
w
+
w
we also have x ∈ Rad V , so as v is invertible, so is x + v. For the second, we need to show

− (xw + v)−1 + w = xQ−1
v
⇐⇒ (xw + v)−1 = w − xQ−1
v
−1
⇐⇒ xw = (w − xQ−1
−v
v )
−w
−1
⇐⇒ x = (w − xQ−1
−v
v )
−w
⇐⇒ yQv = (w − y)−1 − v
w′
⇐⇒ yQv′ = v ′ − (w′ + y)−1

(set x = yQv )
(set w = −w′ and v = −v ′ )

This is precisely the identity we have proven in the first case.

4

From local Jordan pairs to local Moufang sets

18

Now we would like to use the permutations we have to construct a local Moufang set with
Construction A. Of course, that requires the conditions for the construction to be satisfied:
Proposition 4.15. Let V be a local Jordan pair with invertible element e ∈ V + . The group
U = {αv | v ∈ V + } and permutation τ = µe satisfy conditions (C1), (C1’) and (C2) and we can
take 0 = [0, 0], ∞ = [e, e−1 ].
−1
Proof. The group U fixes [e, e−1 ], as 0v = (0 − vQ0 )B0,v
= (0 − 0)1 = 0, hence we choose
−1
−1
∞ := [e, e ]. Furthermore, P(V ) \ [e, e ] = {[x, 0] | x ∈ V + }, and αv acts on this set by
x 7→ x + v. This action of U on P(V ) \ [e, e−1 ] is the regular representation of (V + , +), and hence
a regular action. This proves (C1).
For x ∈ V σ , denote x for the image of x in the quotient V σ / Rad V σ . Now P(V ) \ {[e, e−1 ]}
has a natural correspondence to {[x, 0] | x ∈ V + / Rad V + }. The induced action of αv on this set
is given by x 7→ x + v, which only depends on x. The action of U on {[x, 0] | x ∈ V + / Rad V + }
is the regular representation of (V + / Rad V + , +), and hence a regular action. This shows (C1’).
By Proposition 4.14, we have [e, e−1 ]τ = [0Qe , 0] = [0, 0], which is not radically equivalent to
[e, e−1 ]. This means we can take 0 := [0, 0]. By the same proposition, [0, 0]τ = [e, e−1 + 0Q−1
e ]=
[e, e−1 ], which proves (C2).

Definition 4.16. Let V be a local Jordan pair with invertible element e. Using U = {αv | v ∈
V + } and τ = µe , we define M(V ) := M(U, τ ).

4.3

Proving that M(V ) is a local Moufang set

As we have used Construction A to create M(V ), we would like to use one of the equivalent
conditions of Theorem 2.13 to prove we have a local Moufang set. In order to do this, we need
to know how the maps of type αx , γx and µx correspond to the maps we have already defined.
Our notation in Definition 4.12 and Proposition 4.14 suggests what this correspondence will be,
and we make this precise in Proposition 4.17 below.
In this subsection, we assume that we have a local Jordan pair with invertible element e ∈ V + ,
and we set U = {αv | v ∈ V + } and τ = µe .
Proposition 4.17. For all v, t ∈ V + with t invertible, we have αµv t = ζvQ−1 . Using this, we get
t
α[v,0] = αv , γ[v,0] = ζvQ−1
and µ[t,0] = µt . Moreover, −([t, 0])τ = −([t, 0]τ ).
e
Proof. We compute the action of αµv t on the points of P(V ) using Proposition 4.14. First, take
[e, e−1 + y] with y ∈ V − . We get
−1
[e, e−1 + y]µ−1
+ (yQt + v)Q−1
t αv µt = [yQt , 0]αv µt = [yQt + v, 0]µt = [e, e
t ]

= [e, e−1 + y + vQt−1 ] = [e, e−1 + y]ζvQ−1 .
t

−
Next, take x ∈ Rad V + , then xQ−1
t ∈ Rad V , so
−1
v
−1
v
[x, 0]µ−1
+ xQt−1 ]αv µt = [e, e−1 + (xQ−1
+ (xQ−1
t αv µt = [e, e
t ) ]µt = [e, e
t ) ]µt
−1

v
vQt
= [(xQ−1
, 0] = [x, 0]ζvQ−1 ,
t ) Qt , 0] = [x
t

where we used Proposition 4.4(vi). Hence for all points of P(V ), the image of ζvQy is equal to
that of αµv t , so these permutations are equal.
For the other statements, observe first that α[v,0] = αv since αv is the unique element of U
. Finally, if t is invertible,
mapping [0, 0] to [v, 0], and by definition γ[v,0] = ατ[v,0] = αµv e = ζvQ−1
e
we have
(−[t, 0])τ = [−t, 0]τ = [e, e−1 + t−1 ]τ = [t−1 Qe , 0]

5

From local Moufang sets to local Jordan pairs

19

and similarly −([t, 0]τ ) = [t−1 Qe , 0], which shows the last statement. Using the definition of
µ[t,0] in Construction A, we get
µ[t,0] := γ(−[t,0])τ −1 α[t,0] γ−([t,0]τ −1 ) = γ[t−1 Qe ,0] α[t,0] γ[t−1 Qe ,0] = ζt−1 αt ζt−1 = µt .
As we now know what all the maps of Construction A are, we can use them to show M(V )
is a local Moufang set.
Theorem 4.18. Let V be a local Jordan pair with invertible element e. Set U := {αv | v ∈ V + }
and τ = µe , where αv and µe are as in Definition 4.12 and Proposition 4.14, respectively. Then
M(V ) = M(U, τ ) is a local Moufang set.
Proof. In Construction A, we have U0 := U τ = {ζvQ−1
| v ∈ V + } = {ζw | w ∈ V − }, where the
e
final equality follows from the fact that Qe is invertible. Now let [t, 0] be an arbitrary unit in
P(V ), then µ[t,0] = µt , so
U µ[t,0] = {αµv t | v ∈ V + } = {ζvQ−1 | v ∈ V + } = {ζw | w ∈ V − } = U0 ,
t

µ

since t, and hence Qt is invertible. Hence U0 = U∞[t,0] for all units [t, 0], and Construction A
gives a local Moufang set by Theorem 2.13.

5

From local Moufang sets to local Jordan pairs

5.1

The construction and basic properties

We now investigate the reverse construction: we try to make a local Jordan pair starting from
a local Moufang set satisfying some additional assumptions. One obvious necessary assumption
is that the root groups have to be abelian, and by Proposition 4.17, we also know that the
local Moufang set has to be special. We will also impose a restriction to avoid the cases where
V / Rad V has characteristic 2 or 3. Finally, we will need a linearity assumption.
Notice that for a given Jordan pair V , the Moufang set M(V ) cannot detect the base ring k
over which the Jordan pair was initially defined. For this reason, the Jordan pair that we will
(try to) construct will be defined over the base ring Z, i.e., it will consist of a pair of Z-modules.
Construction B. Suppose M is a local Moufang set satisfying the following properties:
(J1) M is special;
(J2) U∞ is abelian;
(J3) if x is a unit, then so is x · 2 and x · 3.
Then we define two Z-modules as follows:
• V + := X \ ∞ with x + z := 0αx αz ;
• V − := X \ 0 with y +̃ w := ∞γyτ γwτ .
Now we have, for all x, z ∈ V + and units t, (x+z)µt = xµt +̃ zµt , and similarly for all y, w ∈ V − ,
(y +̃ w)µt = yµt + wµt . Hence µ-maps are group isomorphisms between V + and V − . We now
define the following maps:
µx,z := µx+z − µx − µz : V − → V +
µ̃y,w := µy+̃w −̃ µy −̃ µw : V

+

→V

−

for units x, z ∈ V + such that x + z is a unit;
for units y, w ∈ V

The final assumption we make is the following:

+

such that y +̃ w is a unit.

(5.1)
(5.2)

5

From local Moufang sets to local Jordan pairs

20

(J4) There are bilinear maps
µ·,· : V + × V + → Hom(V − , V + ) and µ̃·,· : V − × V − → Hom(V + , V − )
that extend (5.1) and (5.2).
We now have a pair of Z-modules (V + , V − ) and bilinear maps µ·,· and µ̃·,· which will define a
local Jordan pair, as will be shown in Theorem 5.12.
Remark 5.1. By (J1-2), τ is an involution, so γyτ is the unique element of U0 mapping ∞ to
y, and hence it does not depend on τ . In particular, y +̃ w does not depend on the choice of τ .
Remark 5.2. If we have a local Moufang set satisfying (J1-4), we can express µx,z (and similarly
µ̃y,w ) in terms of µ-maps for any pair of x, z ∈ V + by the linearity:
if x, z and x + z are units;

µx,z = µx+z − µx − µz
µx,z := −µ−x,z
µx,z := µx,x+z − µx,x

if x, z are units but x + z is not a unit;
if x is a unit but z is not a unit;

µx,z := µz,x
µx,z := µx+e,z − µe,z

if z is a unit but x is not a unit;
if x, z are not units, and e is an arbitrary unit.

For the remainder of this section, we will always assume that we have a local Moufang set
satisfying (J1-4). We start by showing some basic identities, which will help to show that the
construction gives us a Jordan pair.
Lemma 5.3. In a local Moufang set where (J1-4) holds, we have the following identities:
(i)
(ii)
(iii)
(iv)
(v)

tµt,x = −x · 2 for all units t and all x ∈ V + ;
yµt,t = yµt · 2 for all units t and all y ∈ V − ;
µs µs,t µt = µt µs,t µs = µ̃s,t for all units s, t;
sµt µs,t = −tµs · 2 for all units s, t;
yµx,z τ = yτ µ̃xτ,yτ
for all x, z ∈ V + and y ∈ V − .

Proof.
(i) First assume x, t are units such that x + t is also a unit. Then by Lemma 3.3, we have
xµx+t = −t · 2 − x + xµt ,
hence
xµx,t = −t · 2 − x + xµt − xµx − xµt = −t · 2 ,
since xµx = −x. If x + t is not a unit, we can replace t by −t (as t · 2 is a unit by (J3),
x − t = x + t − (t · 2) is a unit) and get
xµx,t = −xµx,−t = −(t · 2) = −t · 2 .
Finally, if t is not a unit, we can take any unit e and get
xµx,t = xµx,t−e + xµx,e = −(t − e) · 2 − e · 2 = −t · 2 .
(ii) We have µt,t = µt·2 − µt · 2. By Proposition 3.15(iii), we get yµt·2 = yµt · 4, so
yµt,t = yµt · 4 − yµt · 2 = yµt · 2 .

5

From local Moufang sets to local Jordan pairs

21

(iii) Assume first that s + t is also a unit. By Proposition 3.8(iii), we then have µs µs+t µt =
µt µs+t µs = µ(sτ +tτ )τ . By the linearity of τ , we have µ(sτ +tτ )τ = µs+̃t , so we can now use
the definitions of µs,t and µ̃s,t to get
µs (µs,t + µs + µt )µt = µt (µs,t + µs + µt )µs = µ̃s,t +̃ µs +̃ µt ,
so since all µ-maps are involutions,
µs µs,t µt +̃ µt +̃ µs = µt µs,t µs +̃ µt +̃ µs = µ̃s,t +̃ µs +̃ µt ,
hence
µs µs,t µt = µt µs,t µs = µ̃s,t .
If s + t is not a unit, we can replace t by −t and use linearity the get the result.
(iv) From (i) we know −sµs,t = t · 2. Hence, using (iii), we get
t · 2 = sµs µs,t = sµt µs,t µs µt .
Applying µt µs to both sides, we get
tµt µs · 2 = sµt µs,t

and hence

sµt µs,t = −tµs · 2 .

(v) Assume first that x, z and x + z are units. Then we have
yµx,z τ = y(µx+z − µx − µz )τ
= yτ (µ(x+z)τ −̃ µxτ −̃ µzτ )
= yτ (µxτ +̃zτ −̃ µxτ −̃ µzτ )
= yτ µ̃xτ,zτ .
By linearity, this identity now holds for all x and z in V + .
Remark 5.4. Since V + and V − play the same role in the construction (our choice of 0 and ∞
could have been reversed), any identity we have proven will also hold with + and − interchanged.
For example, the identity tµ̃t,y =−̃ y ˜· 2 also holds for all units t and all y ∈ V − .
In the next two subsections, we will prove the axioms (JP1) and (JP2) of a Jordan pair. In
the process, we will also show the linearizations of those axioms, so by Proposition 4.2(ii), we
will then have shown that we have a Jordan pair, since assumption (J3) says in particular that
there is no 2-torsion. To prove (JP1) and (JP2), we will first restrict everything to units.

5.2

Proving the axioms for units

We first prove (JP1) by linearizing some of the basic identities we have shown earlier. The
proof is based on ideas from the proof of Theorem 5.11 in [DS08]. Remark that µ-maps will
correspond to the quadratic maps of the Jordan pair, and µ·,· (and µ̃·,· ) will correspond to the
bilinearizations Q·,· . In these terms, (JP1) translates to yQx,zQx = xQy,z Qx , or in the local
Moufang set: y µ̃x,zµx = xµy,z µx . Up to renaming, this is the identity we will prove for units:
Proposition 5.5. In a local Moufang set where (J1-4) holds, we have the following identities:
(i) µr,s µs µr,t + µt,s µs µr = µr,t µs µr,s + µr µs µt,s

for all units r, s, t;

5

From local Moufang sets to local Jordan pairs

22

(ii) rµs µt,s + tµs µr,s = −sµr,t · 2 for all units r, s, t;
(iii) rµs µt,s = tµ̃r,s µr for all units r, s, t;
(iv) xµ̃zµy ,y = yµx,z µy = z µ̃xµy ,y for all units x, z ∈ V + and all units y ∈ V − .
Proof.
(i) We start with Lemma 5.3(iii), conjugating both sides by µr and then replacing r by r + t · ℓ,
for those ℓ ∈ {1, 2, 3} for which r + t · ℓ is a unit. Since µr+t·ℓ = µr,t · ℓ + µr + µt · ℓ2 , we get
(µr,s + µt,s · ℓ)µs (µr,t · ℓ + µr + µt · ℓ2 ) = (µr,t · ℓ + µr + µt · ℓ2 )µs (µr,s + µt,s · ℓ)
and after expanding,
µr,s µs µr + (µr,s µs µr,t + µt,s µs µr ) · ℓ + (µt,s µs µr,t + µr,s µs µt ) · ℓ2 + µt,s µs µt · ℓ3
= µr µs µr,s + (µr,t µs µr,s + µr µs µt,s ) · ℓ + (µr,t µs µt,s + µt µs µr,s ) · ℓ2 + µt µs µt,s · ℓ3
Observe that the constant terms and terms with ℓ3 cancel due to Lemma 5.3(iii), so we
have
(µr,s µs µr,t + µt,s µs µr ) · ℓ + (µt,s µs µr,t + µr,s µs µt ) · ℓ2
= (µr,t µs µr,s + µr µs µt,s ) · ℓ + (µr,t µs µt,s + µt µs µr,s ) · ℓ2 .
Observe now that there are at least two values of ℓ for which r + t · ℓ is a unit, since t and
t · 2 are units and adding a unit to a non-unit gives a unit. Using those two values, we can
deduce that the coefficients on the left and right hand side of both ℓ and ℓ2 are equal. This
means that
µr,s µs µr,t + µt,s µs µr = µr,t µs µr,s + µr µs µt,s .
(ii) We similarly linearize Lemma 5.3(iv), replacing r by r + t if r + t is a unit (if not, replace
r by r − t). We get
(r + t)µs µr+t,s = −sµr+t · 2 ,
so using (J4) and the definition of µr,t ,
rµs µr,s + rµs µt,s + tµs µr,s + tµs µt,s = −sµr,t · 2 − sµr · 2 − sµt · 2 .
We can now use Lemma 5.3(iv) twice to get
rµs µt,s + tµs µr,s = −sµr,t · 2 .
(iii) We apply identity (i) to the element r, and use Lemma 5.3 to get
(−s · 2)µs µr,t + rµt,s µs µr = (−t · 2)µs µr,s + (−r)µs µt,s .
Using linearity, this yields
sµr,t · 2 + rµt,s µs µr = −tµs µr,s · 2 − rµs µt,s ,
and by (ii),
rµt,s µs µr = −tµs µr,s .

5

From local Moufang sets to local Jordan pairs

23

We now replace r by rµs and apply µs µr :
rµs µt,s µr µs µs µr = −tµs µrµs ,s µs µr
=⇒

rµs µt,s = −tµ̃r,sµs µr

=⇒

rµs µt,s = tµ̃r,s µr .

(iv) By Lemma 5.3(iii), we have µ̃r,s µr = µs µr,s , so (iii) becomes
rµs µt,s = tµs µr,s .
We can now plug this in (ii) and use the unique 2-divisibility to get
rµs µt,s = −sµr,t .
We now apply µs to both sides and use linearity to get
sµr,t µs = −̃rµs µt,s µs = −̃rµ̃tµs ,−̃s = rµ̃tµs ,s .
After renaming variables, we get the first identity we wanted to prove. For the second
identity, remark that yµx,z µy is symmetric in x and z, hence
xµ̃zµy ,y = yµx,z µy = z µ̃xµy ,y .
Remark 5.6. The technique used in the previous lemma will be used extensively to linearize
many identities which hold when all unknowns are units. We describe it here in generality:
replace an unknown x by x + x̂ · ℓ for some unused variable name x̂, and ℓ ∈ {1, 2, 3, 4}. Next,
we can combine several facts to expand the resulting identity as a polynomial in powers of ℓ:
• the linearity of µ·,· and µ̃·,· ;
• the definition of µ·,· to expand µx+x̂·ℓ = µx,x̂ · ℓ + µx + µx̂·ℓ , which requires x + x̂ · ℓ to be
a unit;
• the identity µx̂·ℓ = µx̂ · ℓ2 , which requires x̂ to be a unit.
We assume the highest power of ℓ occurring is ℓ4 . By the identity we started with, the coefficients
of ℓ0 and ℓ4 will always be equal. If we now find 3 values for which x + x̂ · ℓ is a unit, we can
solve the Vandermonde system of equations and then we know that the coefficients of ℓ1 , ℓ2 and
ℓ3 are also equal.
This technique will be used in many proofs to come, but it does not necessarily work for any
identity in µ· , µ·,· and µ̃·,· . It can be checked that it does work whenever it is used.
Next, we will prove (JP2) for units. This axiom for Jordan pairs corresponds to the Triple
Shift Formula for Jordan algebras ([McC04, p. 202]), which can be deduced from the axioms of
Jordan algebras. We will use ideas from [Jac69] where such a deduction is made, and adapt them
to the context of local Moufang sets. This will require many intermediate identities and will also
require the choice of a fixed invertible element of the Jordan-pair-to-be. Hence we fix a unit e of
our local Moufang set, which we will use throughout the following few lemmas. We begin with
two basic consequences of Proposition 5.5.
Lemma 5.7. In a local Moufang set where (J1-4) holds, we have the following identities:
(i) yµx,e = eµ̃y,xµe µe = −eµyµe ,x for all units x ∈ V + and y ∈ V − ;
(ii) xµe µx,e = −eµx · 2 for all units x ∈ V + .
Proof.

5

From local Moufang sets to local Jordan pairs

24

(i) We take Proposition 5.5(iv), interchange the roles of V + and V − and set s = e to get
rµtµe ,e = eµ̃r,t µe . Now replace r by y and t by xµe to get the first equality. For the second,
we use
eµ̃y,xµe µe = eµe µyµe ,xµe µe = (−̃e)µyµe ,x = −eµyµe ,x .
(ii) Setting y = xµe in (i), we get xµe µx,e = −eµx,x = −eµx · 2.
We start building up some identities that we will use to prove (JP2) for units.
Lemma 5.8. Let M be a local Moufang set satisfying (J1-4). Then for all units x, z, v ∈ V +
and all units y, w ∈ V − , the following identities hold:
(i)
(ii)
(iii)
(iv)
(v)

µx µy µz + µz µy µx + µx,z µy µx,z = µyµx,z + µyµx ,yµz ;
µx,e µe µx,e + µeµx ,e = µx · 2;
yµx,wµx,z + yµz,wµx = xµ̃y,w µx,z + z µ̃y,w µx ;
eµz,eµx = xµe µz,x ;
eµv,eµx,z = xµe µv,z + zµe µv,x .

Proof.
(i) We start from the identity µx µy µx = µyµx , and linearize y to y +̃ y ′ ˜· ℓ. Equating the
coefficients of ℓ on both sides yields
µx µy,y′ µx = µyµx ,y′ µx .
Next, we linearize x to x + z · ℓ, and equate the coefficients of ℓ2 on both sides of the
equality; this gives
µx µy,y′ µz + µz µy,y′ µx + µx,z µy,y′ µx,z = µyµx ,y′ µz + µyµz ,y′ µx + µyµx,z ,y′ µx,z .
We can now set y ′ = y and use Lemma 5.3(ii) to get
µx µy µz · 2 + µz µy µx · 2 + µx,z µy µx,z · 2 = µyµx ,yµz · 2 + µyµx,z · 2 .
The unique 2-divisibility now gives us the desired identity.
(ii) We set y = z = e in (i) and get
µx µe µe + µe µe µx + µx,e µe µx,e = µeµx,e + µeµx ,eµe ,
which reduces to
µx · 2 + µx,e µe µx,e = µ−x·2 + µeµx ,−e
and by µ−x·2 = µx · 4 and linearity, we get
µx · 2 + µx,e µe µx,e = µx · 4 − µeµx ,e ,
so after rearranging we get the identity we wanted to prove.
(iii) Starting from the first equality of Proposition 5.5(iv), we interchange the roles of V + and
V − and rename some variables to get yµwµx ,x = xµ̃y,w µx . Next, we linearize x to x + z · ℓ;
the coefficients of ℓ1 give the desired equality.
(iv) Set x = e and w = zµe in (iii) to get
yµe,zµe µe,z + yµz,z = eµ̃y,zµe µe,z + z µ̃y,zµe µe .
By Lemma 5.7(ii), zµe µe,z = −eµz · 2, so the previous identity becomes
− yµe,eµz · 2 + yµz · 2 = eµ̃y,zµe µe,z + zµe µyµe ,z .

(5.3)

5

From local Moufang sets to local Jordan pairs

25

Next, we take identity (ii), replace x by z, and apply it to y. This gives
yµz,e µe µz,e + yµeµz ,e = yµz · 2 ,
which we can combine with (5.3) to
−yµe,eµz + yµz,e µe µz,e = eµ̃y,zµe µe,z + zµe µyµe ,z .
By Lemma 5.7(i), we have
yµz,e = eµ̃y,zµe µe ,
so
yµz,e µe µz,e = eµ̃y,zµe µe,z .
From this, we get
−yµe,eµz = zµe µyµe ,z .
Again by Lemma 5.7(i), we have
−yµe,eµz = −(−eµyµe ,eµz ) = eµyµe ,eµz .
Combining these last two identities, replacing z by x and y by zµe gives the desired identity.
(v) We linearize x to x + v · ℓ in (iv), take the coefficients in ℓ1 and interchange z and v to get
the desired identity.
We are now ready to prove (JP2) for units. Our starting point is an identity which is
symmetric in two unknowns on one side of the equality sign, and hence must also be symmetric
in those unknowns on the other side. For clarity in the notation, we will occasionally write µ(·, ·)
instead of µ·,· .
Proposition 5.9. In a local Moufang set where (J1-4) holds, we have the following identities:
(i) eµ(zµe µx , z) = eµ(xµe µz , x) for all units x, z ∈ V + ;
(ii) eµ(zµe µx,v , z) = eµ(xµe µz , v) + eµ(vµe µz , x) for all units x, z ∈ V + and any v ∈ V + ;
(iii) eµ(xµe µz , xµe µv,e ) + eµ(xµe µv,e µe µz , x) = eµz,v µe µx µe µz,e + eµ(zµe µx , v)µe µz,e
for all units x, z, v ∈ V + ;
(iv) vµe µ(zµe µx , z) − vµe µ(xµe µz , x) = eµ(xµe µz , xµe µv,e ) − eµ(zµe µx , v)µe µz,e
for all units x, z, v ∈ V + ;
(v) xµy µx,z = yµyµx ,z

for all units x, z ∈ V + and all units y ∈ V − .

Proof.
(i) We start with Proposition 5.5(iv), where we interchange the roles of V + and V − , set x = e
and rename the other variables variables:
eµyµz ,z = z µ̃e,y µz .
Linearizing z to z + x · ℓ and taking the coefficients of ℓ1 gives us
eµyµx,z ,x + eµyµx ,z = xµ̃e,y µx,z + z µ̃e,y µx .
Substituting zµe for y, we get
eµ(zµe µx,z , x) + eµ(zµe µx , z) = xµ̃e,zµe µx,z + z µ̃e,zµe µx .

5

From local Moufang sets to local Jordan pairs

26

We want to show that eµ(zµe µx , z) is symmetric in x and z, i.e. we need to show that the
remaining terms are symmetric in x and z. By Proposition 5.5(iv),
xµ̃e,zµe µx,z = eµx,z µe µx,z ,
so this term is symmetric. Hence it remains to show that z µ̃e,zµe µx − eµ(zµe µx,z , x) is
symmetric. We have
z µ̃e,zµe µx − eµ(zµe µx,z , x) = eµz,z µe µx − eµ(eµx,eµz , x) = eµz µe µx · 2 − eµ(eµx,eµz , x)
by Proposition 5.5(iv) and Lemma 5.8(iv). By Lemma 5.8(ii) applied to eµz µe , this is
= eµz µe µx,e µe µx,e + eµz µe µeµx ,e − eµ(eµx,eµz , x)
= eµz µe µx,e µe µx,e − eµeµz ,eµx − eµ(eµx,eµz , x) ,
by Lemma 5.7(i). The term eµeµz ,eµx is again symmetric in x and z, so it is sufficient to
prove that the remaining difference is symmetric. We will, in fact, show that this expression
is always 0 by using Lemma 5.7(i) twice:
eµz µe µx,e µe µx,e = −eµ(eµz µe µx,e , x)
= −eµ(−eµeµz ,x , x) = eµ(eµx,eµz , x) .
Putting everything together, we get
eµ(zµe µx , z) = eµx,z µe µx,z − eµeµz ,eµx ,
which is symmetric in x and z, hence we must have eµ(zµe µx , z) = eµ(xµe µz , x).
(ii) Linearize x to x + v · ℓ in (i) and take the coefficients of ℓ1 . This shows the desired identity
for any unit v ∈ V + . If v is not a unit, add the identity for v − e and e (both units) and
use the linearity in v to get the identity for v.
(iii) Start with Lemma 5.8(iii) and set z = e, v = vµe and y = zµe :
zµe µ(x, vµe µx,e ) + zµe µ(e, vµe µx ) = xµ̃zµe ,vµe µx,e + eµ̃zµe ,vµe µx .
Using Lemma 5.7(i) twice, we get
zµe µ(x, vµe µx,e ) = xµ̃zµe ,vµe µx,e + eµ̃zµe ,vµe µx − zµe µ(e, vµe µx )
= xµe µz,v µe µx,e − eµz,v µe µx − zµe µ(vµe µx , e)
= −eµ(xµe µz,v , x) − eµz,v µe µx + eµ(z, vµe µx ) ,
and by (ii) with x and z interchanged, we deduce that
zµe µ(x, vµe µx,e ) = −eµz,v µe µx − eµ(zµe µx , v) .
Next, we apply µe µz,e to this identity, and we use vµe µx,e = xµe µv,e , a consequence of
Proposition 5.5(iv):
eµz,v µe µx µe µz,e + eµ(zµe µx , v)µe µz,e = −zµe µ(x, xµe µv,e )µe µz,e
= eµ(z, zµe µ(x, xµe µv,e )) .

5

From local Moufang sets to local Jordan pairs

27

Finally, take (ii) and set v = xµe µv,e (this need not be a unit, but we have shown this
identity for non-units as well). This gives
eµ(zµe µ(x, xµe µv,e ), z) = eµ(xµe µz , xµe µv,e ) + eµ(xµe µv,e µe µz , x) ,
hence
eµ(xµe µz , xµe µv,e ) + eµ(xµe µv,e µe µz , x) = eµz,v µe µx µe µz,e + eµ(zµe µx , v)µe µz,e .
(iv) Set z = e and y = zµe in Lemma 5.8(i). This gives
µe µx µe µz µe + µe µz µe µx µe + µx,e µe µz µe µx,e = µ(zµe µx,e ) + µ(zµe µx , z) .
We take the difference of this identity with the same identity, but interchanging x and z.
Using zµe µx,e = xµe µz,e , we get
µx,e µe µz µe µx,e − µz,e µe µx µe µz,e = µ(zµe µx , z) − µ(xµe µz , x) ,
which we apply to vµe :
vµe µx,e µe µz µe µx,e − vµe µz,e µe µx µe µz,e = vµe µ(zµe µx , z) − vµe µ(xµe µz , x) .
We repeatedly use Lemma 5.7(i) to get
vµe µ(zµe µx , z) − vµe µ(xµe µz , x) = vµe µx,e µe µz µe µx,e − vµe µz,e µe µx µe µz,e
= xµe µv,e µe µz µe µx,e + eµv,z µe µx µe µz,e
= −eµ(x, xµe µv,e µe µz ) + eµv,z µe µx µe µz,e
= eµ(xµe µz , xµe µv,e ) − eµ(zµe µx , v)µe µz,e
= −eµ(xµe µz , eµx,v ) + eµ(z, eµ(zµe µx , v))
in which the second last step follows from (iii).
(v) Set z = v and v = xµe µz in Lemma 5.8(v) to get
eµ(xµe µz , eµx,v ) − vµe µ(xµe µz , x) = xµe µ(xµe µz , v) .
Combining this with (iv) gives
xµe µ(xµe µz , v) = eµ(z, eµ(zµe µx , v)) − vµe µ(zµe µx , z) .
Next, substituting zµe µx for z, z for v and v for x in Lemma 5.8(v) to get
eµ(z, eµ(zµe µx , v)) − vµe µ(zµe µx , z) = zµe µx µe µz,v .
Combining these last two identities gives us
zµe µx µe µz,v = xµe µ(xµe µz , v) .
Substituting xµe for y, x for z and z for v turns this into
xµy µx,z = yµyµx ,z ,
which is the identity we wanted.

5

From local Moufang sets to local Jordan pairs

5.3

28

The construction gives a Jordan pair

We can now prove (JP1) and (JP2) by linearizing their counterparts for units.
Proposition 5.10. In a local Moufang set where (J1-4) holds, we have the following identities:
(i) {x y wµx,z } + {z y wµx } = {y x w}µx,z + {y z w}µx
for all units y, w ∈ V − and all units x, z ∈ V + ;
(ii) {x y wµv,z } + {v y wµx,z } + {z y wµx,v } = {y x w}µv,z + {y v w}µx,z + {y z w}µx,v
for all y, w ∈ V − and all x, z, v ∈ V + ;
(iii) {x y wµx,x } = {y x w}µx,x

for all y, w ∈ V − and x ∈ V + .

Proof.
(i) After renaming, {x y wµx } = {y x w}µx follows from Proposition 5.5(iv). We linearize x to
x + z · ℓ in this identity, and the equality of the coefficients of ℓ1 is then the desired identity.
(ii) We linearize x to x + v · ℓ in (i) and take the coefficients of ℓ1 to get the identity we want
for units, i.e.
{x y wµv,z } + {v y wµx,z } + {z y wµx,v } = {y x w}µv,z + {y v w}µx,z + {y z w}µx,v
holds for all units x, z, v ∈ V − and all units y, w ∈ V + . We now claim that the variables
do not need to be units. If any of the variables X is not a unit, take any unit e and write
X = (X − e) + e (or X = (X −̃ e) +̃ e if the variable is in V − ). The required identity then
follows, using the linearity in X, and the fact that the identity holds for the units X − e
and e. Hence the identity holds for any x, z, v ∈ V − and y, w ∈ V + .
(iii) We take x = z = v in (ii), and hence get
{x y wµx,x } · 3 = {y x w}µx,x · 3
for any x ∈ V − and y, w ∈ V + . By the unique 3-divisibility, we get the desired identity.
Proposition 5.11. In a local Moufang set where (J1-4) holds, we have the following identities:
(i) {v xµy z} + {x vµy z} = {yµx,v y z}

for all units x, z, v ∈ V + and any unit y ∈ V − ;

(ii) {v xµy,w z} + {x vµy,w z} = {yµx,v w z} + {wµx,v y z}
for all x, z, v ∈ V + and all y, w ∈ V − ;
(iii) {x xµy,y z} = {yµx,x y z}

for all x, z ∈ V + and y ∈ V + .

Proof.
(i) Using the definition of the triple product, we can rewrite Proposition 5.9(v) as {x xµy z} =
{yµx y z} for all units x, z ∈ V + and all units y ∈ V − . We linearize x to x + v · ℓ and take
coefficients of ℓ1 to get the desired identity.
(ii) We linearize y to y +̃ w ˜· ℓ and take the coefficients of ℓ1 to get the required identity for
units, i.e.
{v xµy,w z} + {x vµy,w z} = {yµx,v w z} + {wµx,v y z}
holds for all units x, z, v ∈ V + and all units y, w ∈ V − . As in the proof of 5.10(ii), we can
use linearity to prove this identity for all x, z, v ∈ V + and y, w ∈ V − .

6

Back and forth

29

(iii) In (ii), set v = x and w = y to get
{x xµy,y z} · 2 = {yµx,x y z} · 2
for any x, z ∈ V + and any y ∈ V − . By the unique 2-divisibility, we get the desired
identity.
Using these linearizations, we can immediately show that we have a Jordan pair.
Theorem 5.12. Let M be a local Moufang set satisfying (J1-4). Then Construction B gives a
Jordan pair (V + , V − ) with
Q+
x = µx,x ·

1
for all x ∈ V +
2

and

Q−
·
y = µ̃y,y ˜

1
for all y ∈ V − .
2

Furthermore, the non-invertible elements form a proper ideal I = (I + , I − ) = (0, ∞), so V is a
local Jordan pair with Rad V = I. Moreover, V + is uniquely 2- and 3-divisible.
Proof. By (J2), both V + and V − are Z-modules, and by the fact that µ-maps are morphisms
−
between the (abelian) groups V + and V − , the maps Q+
x and Qy are homomorphisms. By (J4),
the map x 7→ µx,x is quadratic in x and y 7→ µ̃y,y is quadratic in y. By the Propositions 5.10
and 5.11 (which also hold when interchanging + and −), (JP1) and (JP2) hold, along with their
linearizations, so by Proposition 4.2(ii), (V + , V − ) is a Jordan pair.
Next, we want to prove the Jordan pair is local. We first claim that if x ∈ V σ is a unit,
then it is invertible in the Jordan pair. For such x, we have Qσx = µx , which is an involution
and hence invertible with x−1 = xµx = −x. Next, we show that I is an ideal. If x ∈ I σ , we
have xµz ∈ I −σ for any unit z. For any y ∈ V −σ the element xQy is a linear combination
of such xµz by Remark 5.2, so xQy ∈ I −σ . Next, if x ∈ I σ and y ∈ V −σ \ I −σ , we have
yQx = {xyx} = {y x xµy }µy ∈ I −σ , again because this is a linear combination of xµz ∈ I −σ .
Here we used the fact that y is a unit (so µy is invertible) together with (JP1). Finally, if x ∈ I σ ,
y ∈ V −σ \I −σ and z ∈ V σ , we have {xyz} = {y x zµy }µy ∈ I σ . Hence I is an ideal. In particular,
I does not contain any invertible elements. As all elements of V \ I are invertible, I is precisely
the set of non-invertible elements; we conclude that V is a local Jordan pair and I = Rad V .
The fact that V + is uniquely 2- and 3-divisible is a consequence of (J3), using (J1-2).

6

Back and forth

In section 4 we described a way to create a local Moufang set M(V ) from a local Jordan pair V ,
while section 5 contains a way to construct local Jordan pairs from certain local Moufang sets.
Now we will investigate how these two constructions interact.
Suppose first that we start with a local Jordan pair V and apply Theorem 4.18 to obtain a
local Moufang set M(V ). It is natural to ask whether we can apply Theorem 5.12 to M(V ) in
order to retrieve the local Jordan pair V . We begin by verifying that the conditions required to
apply this theorem are indeed satisfied.
Proposition 6.1. Let V = (V + , V − ) be a local Jordan pair such that V + is uniquely 2- and
3-divisible. Then M(V ) satisfies the conditions (J1-4) from Construction B.
Proof. By the definition of M(V ) we have [x, 0]α[v,0] = [x + v, 0], so U∞ = {αx | x ∈ P(V ) \ ∞} ∼
=
V + . Hence U∞ is abelian and by Proposition 4.17, M(V ) is special. Next, if [x, 0] is a unit, then
x is invertible, which means Qx is invertible. As Q2x = Qx · 4 and Q3x = Qx · 9, we also have 2x
and 3x invertible, so [2x, 0] and [3x, 0] are also units. This means (J1-3) are satisfied.

6

Back and forth

30

To show (J4), we compute µx,x′ for units x = [v, 0] and x′ = [v ′ , 0] such that x + x′ is also a
unit. By Proposition 4.17, we have µx,x′ = µv+v′ − µv − µv′ . If we apply this to any [e, e−1 + y],
we get
[e, e−1 + y](µv+v′ − µv − µv′ ) = [yQv+v′ , 0] − [yQv , 0] − [yQv′ , 0] = [yQv,v′ , 0] .
Therefore, we can define µx,x′ for arbitrary x and x′ by
[e, e−1 + y]µx,x′ := [yQv,v′ , 0] .
As (x, x′ ) 7→ Qv,v′ is bilinear, so is the map (x, x′ ) 7→ µx,x′ . A similar argument shows that we
can define
[x, 0]µ̃[e,e−1 +w],[e,e−1 +w′ ] := [e, e−1 + xQw,w′ ]
for arbitrary y = [e, e−1 + w] and y ′ = [e, e−1 + w′ ], and that (y, y ′ ) 7→ µ̃y,y′ is bilinear. Hence
(J4) holds.
We now know that we can apply Theorem 5.12 on M(V ), so we can compare the resulting
local Jordan pair to the original local Jordan pair V .
Theorem 6.2. Let V = (V + , V − ) be
is uniquely 2- and 3-divisible. Denote
to M(V ) by W = (W + , W − ). Then V

a local Jordan pair with quadratic maps Q such that V +
the local Jordan pair we get from applying Theorem 5.12
∼
= W.

Proof. Denote the quadratic maps of the Jordan pair W by U . By construction, W + = {[x, 0] |
x ∈ V + } and W − = {[e, e−1 + y] | y ∈ V − }. We compute the addition on W :
[x, 0] + [x′ , 0] = [0, 0]αv αv′ = [v + v ′ , 0] and
[e, e−1 + y] +̃ [e, e−1 + y ′ ] = [e, e−1 ]γ[e,e−1 +y]τ γ[e,e−1 +y′ ]τ = [e, e−1 ]γ[yQe ,0] γ[y′ Qe ,0]
= [e, e−1 ]ζy ζy′ = [e, e−1 + y + y ′ ] ,
where we used Definition 4.12 and Proposition 4.17. A second ingredient we will need, is the
actions of the µ-maps. By Proposition 4.17 we have µ[x,0] = µx for all invertible x ∈ V + . By
Proposition 4.14 this means [e, e−1 + y]µ[x,0] = [yQx , 0]. Similarly, for all invertible y ∈ V − ,
µ[e,e−1 +y] = µ[−y−1 ,0] = µ−y−1 , so
−1
[x, 0]µ[e,e−1 +y] = [e, e−1 + xQ−1
+ xQy ] .
−y −1 ] = [e, e

We are now ready to define an isomorphism between V and W :
h+ : W + → V + : [x, 0] 7→ x

h− : W − → V − : [e, e−1 + y] 7→ y .

What remains to be proven is the linearity of these maps, and the fact that they preserve the
quadratic maps of the Jordan pairs. Linearity is immediate from our computation of the addition
on W . Next, take any [x, 0] ∈ W + and [e, e−1 + y] ∈ W − . If [x, 0] is a unit, we have
+
h+ ([e, e−1 + y]U[x,0]
) = h+ ([e, e−1 + y]µ[x,0] ) = yQx = h− ([e, e−1 + y])Q+
h+ ([x,0]) .

If [x, 0] is not a unit, we get
+
h+ ([e, e−1 + y]U[x,0]
) = h+ ([e, e−1 + y]µ[x,0],[x,0] · 21 )

= h+ ([e, e−1 + y](µ[e+x,0] · 2 − µ[2e+x,0] + µ[e,0] · 2))
= h+ ([e, e−1 + y](µe+x · 2 − µ2e+x + µe · 2))
+
+
= h+ ([yQ+
e+x · 2 − yQ2e+x + yQe · 2, 0])
+
+
+
+
+
+
= y(Q+
e,x + Qe + Qx ) · 2 − y(Qe,x · 2 + Qx + Qe · 4) + yQe · 2
−1
= yQ+
+ y])Q+
x = h− ([e, e
h+ ([x,0]) .

6

Back and forth

31

Similarly, we get
−
−
−
h− ([x, 0]U[e,e
−1 +y] ) = h− ([x, 0]µ[e,e−1 +y] ) = xQy = h+ ([x, 0])Qh ([e,e−1 +y])
−

for [e, e−1 + y] a unit, and otherwise
−
h− ([x, 0]U[e,e
· 21 )
−1 +y] ) = h− ([x, 0]µ̃[e,e−1 +y],[e,e−1 +y] ˜

= h− ([x, 0](µ[e,e−1 +e−1 +y] ˜· 2 −̃ µ[e,e−1 +2e−1 +y] +̃ µ[e,e−1 +e−1 ] ˜· 2))
−
−
= h− ([xQ−
e−1 +y · 2 − xQ2e−1 +y + xQe−1 · 2])
−
−
= xQ−
e−1 +y · 2 − xQ2e−1 +y + xQe−1 · 2
−
= xQ−
y = h+ ([x, 0])Qh− ([e,e−1 +y]) .

Hence (h+ , h− ) is a homomorphism from W to V , and since it is a bijection, it is also an
isomorphism.
Corollary 6.3. If V and W are local Jordan pairs and M(V ) ∼
= M(W ), then V ∼
= W.
Conversely, suppose now that we start with a local Moufang set M to which we apply Theorem 5.12 to get a local Jordan pair V , and consider the local Moufang set M(V ) obtained from
V by Theorem 4.18; it is now natural to ask whether M ∼
= M(V ). We will be able to give a
positive answer to this question provided that we impose an additional assumption determining
the action of U on ∞.
Theorem 6.4. Let M be a local Moufang set satisfying (J1-4), and let V be the local Jordan pair
obtained from M by applying Theorem 5.12. Assume that
tαx −̃ xµ̃t,tαx +̃ tαx µx,x µ̃t,t ˜· 41 = t −̃ xµ̃t,t ˜· 21

for all t ∼ ∞ and x 6∼ ∞ .

(∗)

Then M ∼
= M(V ).
Proof. To avoid confusion, we will denote the set with equivalence of the local Moufang set M
by (X, ∼), and the corresponding root group U∞ by U . Recall that M(V ) acts on the set P(V );
we will denote the root group U[0,0] by U ′ . To prove that M ∼
= M(V ), we need an equivalencepreserving bijection ϕ : X → P(V ), an isomorphism θ : U → U ′ and a µ-map in each local
Moufang set, which we will denote by τ and τ ′ , respectively, such that the action of U and τ on
X are permutationally equivalent with the action of U ′ and τ ′ on P(V ).
Let e be a unit in X; then by (4.1) and Theorem 5.12 we can describe P(V ) as
P(V ) = {[t, 0] | t 6∼ ∞} ∪ {[e, e−1 + t] | t ∼ ∞} .
We define
ϕ : X → P(V ) : t 7→

(

[t, 0]
if t ∈ X \ ∞,
−1
[e, e + t] if t ∈ ∞.

We check that this bijection preserves the equivalence, using Definition 4.9. First, if x, x′ 6∼ ∞,
we have
x ∼ x′ ⇐⇒ x − x′ ∼ 0 ⇐⇒ x − x′ ∈ Rad V + ⇐⇒ [x, 0] ∼ [x′ , 0] ⇐⇒ ϕ(x) ∼ ϕ(x′ ) .
Second, if y ∼ y ′ ∼ ∞, then y, y ′ ∈ Rad V − , so ϕ(y) = [e, e−1 + y] ∼ [e, e−1 + y ′ ] = ϕ(y ′ ).
Finally, if x 6∼ ∞ and y ∼ ∞ (or vice-versa) then [x, 0] 6∼ [e, e−1 + y].

References

32

Next, we set τ = µe and τ ′ = µ[e,0] . Then
(
[tµe , 0]
if t 6∼ 0,
ϕ(tτ ) = ϕ(tµe ) =
−1
[e, e + tµe ] if t ∼ 0;

−1
−1

[t, 0]µ[e,0] = [e, e + tQe ] if t ∼ 0,
′
−1
ϕ(t)τ = [t, 0]µ[e,0] = [−t Qe , 0]
if t is a unit,


−1
[e, e + t]µ[e,0] = [tQe , 0]
if t ∼ ∞.

−1
Observe that Qe = µe,e · 21 = µe , so Q−1
= µe , and that t−1 = tµt = −t if t is a unit.
e = µe
′
Hence, in all cases, ϕ(tτ ) = ϕ(t)τ .
We now define
for all x 6∼ ∞.
θ : U → U ′ : αx 7→ α[x,0]

This is clearly a group isomorphism. It only remains to verify that ϕ(tαx ) = ϕ(x)θ(αx ). If
t 6∼ ∞, we have
ϕ(tαx ) = ϕ(t + x) = [t + x, 0] = [t, 0]α[x,0] = ϕ(t)θ(αx ) ,
so the only case left to consider is when t ∼ ∞. By (∗), we have
tαx −̃ xµ̃t,tαx +̃ tαx µx,x µ̃t,t ˜· 41 = t −̃ xµ̃t,t ˜· 21
=⇒

tαx −̃ tαx Dt,x +̃ tαx Qx Qt = t −̃ xQt

=⇒

tαx (1 −̃ Dt,x +̃ Qx Qt ) = t −̃ xQt .

Now observe that (t, x) is quasi-invertible because V is a local Jordan pair and t ∈ Rad V − ;
hence 1 −̃ Dt,x +̃ Qx Qt is invertible and
tαx = t −̃ xQt (1 −̃ Dt,x +̃ Qx Qt )−1 = tx .
We conclude that also in this case,
ϕ(tαx ) = ϕ(tx ) = [tx , 0] = [t, 0]α[x,0] = ϕ(t)θ(αx ) .
Hence we have shown that M and M(V ) are isomorphic.
Remark 6.5. As can be observed in the proof, the extra condition (∗) is a translation of the
original definition of αx in M(V ): [e, e−1 + t]αx = [e, e−1 + tx ]. It is at this point unclear to us
whether this assumption is strictly necessary. It seems likely that there is a connection with the
extra assumption needed in [DMR16, Theorem 5.20], but we have not been able to verify this.

References
[BDMS16] Lien Boelaert, Tom De Medts, and Anastasia Stavrova. Moufang sets and structurable division algebras. Mem. Amer. Math. Soc., 2016. 100 pp. 1
[DMR16]

Tom De Medts and Erik Rijcken. Local Moufang sets and PSL2 over a local ring. J.
Group Theory, 19(5):815–847, 2016. 1, 2, 3, 4, 5, 6, 9, 32

[DS08]

Tom De Medts and Yoav Segev. Identities in Moufang sets. Trans. Amer. Math.
Soc., 360(11):5831–5852, 2008. 1, 6, 21

References

33

[DW06]

Tom De Medts and Richard M. Weiss. Moufang sets and Jordan division algebras.
Math. Ann., 335(2):415–433, 2006. 1

[Jac69]

Nathan Jacobson. Lectures on quadratic Jordan algebras. Tata Institute of Fundamental Research, Bombay, 1969. Tata Institute of Fundamental Research Lectures
on Mathematics, No. 45. 23

[Kne65]

Manfred Knebusch. Der Begriff der Ordnung einer Jordanalgebra. Abh. Math. Sem.
Univ. Hamburg, 28:168–184, 1965. 13

[Loo75]

Ottmar Loos. Jordan pairs. Lecture Notes in Mathematics, Vol. 460. Springer-Verlag,
Berlin, 1975. 1, 11, 12, 13

[Loo94]

Ottmar Loos. Decomposition of projective spaces defined by unit-regular Jordan
pairs. Comm. Algebra, 22(10):3925–3964, 1994. 13

[Loo79]

Ottmar Loos. Homogeneous algebraic varieties defined by Jordan pairs. Monatsh.
Math., 86(2):107–129, 1978/79. 13

[McC04]

Kevin McCrimmon. A taste of Jordan algebras. Universitext. Springer-Verlag, New
York, 2004. 23

[Mey70]

Kurt Meyberg. Jordan-Tripelsysteme und die Koecher-Konstruktion von LieAlgebren. Math. Z., 115:58–78, 1970. 1

[Pet73]

Holger P. Petersson. Jordan-Divisionsalgebren und Bewertungen.
202:215–243, 1973. 13

[Pet75]

Holger P. Petersson. Exceptional Jordan division algebras over a field with a discrete valuation. J. Reine Angew. Math., 274/275:1–20, 1975. Collection of articles
dedicated to Helmut Hasse on his seventy-fifth birthday, III. 13

[Tit92]

Jacques Tits. Twin buildings and groups of Kac-Moody type. In Groups, combinatorics & geometry (Durham, 1990), volume 165 of London Math. Soc. Lecture Note
Ser., pages 249–286. Cambridge Univ. Press, Cambridge, 1992. 1

Math. Ann.,

