A Birman exact sequence for the Torelli subgroup of AutpFnq
Matthew Day˚ and Andrew Putman:

arXiv:1507.08976v2 [math.GT] 20 Apr 2016

March 30, 2016

Abstract
We develop an analogue of the Birman exact sequence for the Torelli subgroup of
AutpFn q. This builds on earlier work of the authors who studied an analogue of the
Birman exact sequence for the entire group AutpFn q. These results play an important
role in the authors’ recent work on the second homology group of the Torelli group.

1

Introduction

The Birman exact sequence [2, 9] is a fundamental result that relates the mapping class
groups of surfaces with differing numbers of boundary components. It is frequently used to
understand the stabilizers in the mapping class group of simple closed curves on a surface.
In [5], the authors constructed an analogous exact sequence for the automorphism group
AutpFn q of the free group Fn on n letters tx1 , . . . , xn u. The Torelli subgroup of AutpFn q,
denoted IAn , is the kernel of the map AutpFn q Ñ GLn pZq obtained from the action of
AutpFn q on Fnab – Zn . In this paper, we construct a version of the Birman exact sequence
for IAn . This new exact sequence plays a key role in our recent paper [6] on H2 pIAn ; Zq.
Birman exact sequence. Let Fn,k be the free group on the set tx1 , . . . , xn , y1 , . . . , yk u.
For z P Fn,k , let vzw denote the conjugacy class of z. Define
An,k “ tf P AutpFn,k q | vf pyi qw “ vyi w for 1 ď i ď ku.
The map Fn,k Ñ Fn whose kernel is the normal closure of ty1 , . . . , yk u induces a map
π : An,k Ñ AutpFn q. The inclusion AutpFn q ãÑ An,k whose image consists of automorphisms
that fix the yi pointwise is a right inverse for π, so π is a split surjection. Let Kn,k “ kerpπq,
so we have a split short exact sequence
π

1 ÝÑ Kn,k ÝÑ An,k ÝÑ AutpFn q ÝÑ 1.

(1)

This is the Birman exact sequence for AutpFn q that was studied in [5]. In that paper, the
authors proved that Kn,k is finitely generated but not finitely presentable, constructed a
simple infinite presentation for it, and computed its abelianization. We say more about
these results below.
Remark 1.1. In [5], slightly more general groups An,k,l and Kn,k,l were studied. To simplify
our exposition, we decided to focus on the case l “ 0 in this paper.
˚
:

Supported in part by NSF grant DMS-1206981
Supported in part by NSF grant DMS-1255350 and the Alfred P. Sloan Foundation

1

Analogue for Torelli. Define IAn,k to be the Torelli subgroup of AutpFn,k q. Set AIA
n,k “
IA “ K
restricts
to
a
split
short
exact
An,k X IAn,k and Kn,k
X
IA
.
The
exact
sequence
(1)
n,k
n,k
sequence
IA
1 ÝÑ Kn,k
ÝÑ AIA
(2)
n,k ÝÑ IAn ÝÑ 1.
This is our Birman exact sequence for IAn . The purpose of this paper is to prove results
IA that are analogous to the results for K
for Kn,k
n,k that we listed above.
IA is the kernel of the restriction of the map
Comparing the kernels. The group Kn,k
AutpFn,k q Ñ GLn pZq to Kn,k . The image of this restriction is isomorphic to Znk . Indeed,
using the generating set for Kn,k constructed in [5] (see below), one can show that with
respect to the basis trx1 s, . . . , rxn s, ry1 s, . . . , rxk su for Zn`k , it consists of matrices of the
form
ˆ
˙
1n 0
,
A 1k

where 1n and 1k are the n ˆ n and k ˆ k identity matrices and A is an arbitrary k ˆ n
integer matrix. We thus have a short exact sequence
IA
ÝÑ Kn,k ÝÑ Znk ÝÑ 1.
1 ÝÑ Kn,k

(3)

Unfortunately, it is difficult to use this exact sequence to deduce results about the combiIA from analogous results for K
natorial group theory of Kn,k
n,k (although in a sense we do
this in the proof of Theorem B below). For instance, the authors proved in [5] that Kn,k is
IA .
finitely generated, but this does not directly imply anything about generating sets for Kn,k
Generators. We now turn to our theorems. Set X “ tx1 , . . . , xn u and Y “ ty1 , . . . , yk u.
For distinct z, z 1 P X Y Y , define Cz,z 1 P AutpFn,k q via the formula
#
z 1 spz 1 q´1 if s “ z,
Cz,z 1 psq “
ps P X Y Y q.
s
otherwise.
Also, for z P X Y Y and α “ ˘1 and v P Fn,k in the subgroup generated by pX Y Y qztzu,
define Mz α ,v P AutpFn,k q via the formula
$
’
if s “ z and α “ 1,
&vs
´1
Mz α ,v psq “ sv
ps P X Y Y q.
if s “ z and α “ ´1,
’
%
s
otherwise.
Observe that with this definition we have Mz α ,v pz α q “ vz α . The authors proved in [5] that
Kn,k is generated by the finite set
tMx,y | x P X, y P Y u Y tCy,z , Cz,y | y P Y , z P pX Y Y qztyuu.

(4)

Remark 1.2. This is a little different from the generating set given in [5], which includes
generators of the form Mx´1 ,y for x P X and y P Y ; however, these are unnecessary here
´1 . The generators C
since Mx´1 ,y “ Mx,y Cx,y
x,y were not included in the generating set in
[5]. We give the above form because it is a little more convenient for our purposes.
2

IA is as follows.
The analogue of this for Kn,k
IA is generated by the finite set
Theorem A. The group Kn,k

tMx,ry,zs | x P X, y P Y , z P pX Y Y qztx, yuu Y tCy,z , Cz,y | y P Y , z P pX Y Y qztyuu.
The Torelli kernel is not finitely presentable. Though Kn,k is finitely generated,
the authors proved in [5] that it is not finitely presentable if n ě 2 and k ě 1; in fact,
IA were finitely presentable, then one could use
H2 pKn,k ; Qq is infinite dimensional. If Kn,k
IA is not
the exact sequence (3) to build a finite presentation for Kn,k . We deduce that Kn,k
finitely presentable. Our second main theorem strengthens this observation.
IA ; Qq is infinite dimensional. Consequently,
Theorem B. If n ě 2 and k ě 1, then H2 pKn,k
IA is not finitely presentable.
Kn,k

Abelianization.

The authors proved in [5] that
#
Zkpk´1q
H1 pKn,k q “
Z2kn

if n “ 0,
if n ą 0.

These abelian quotients of Kn,k come from two sources.
• The restriction of the map AutpFn,k q Ñ GLn`k pZq to Kn,k , which has image Zkn (see
the exact sequence (3)).
• The Johnson homomorphisms, which are homomorphisms
Ź
τ : IAn,k Ñ HompZn`k , 2 Zn`k q

constructed from the action of IAn,k on the second nilpotent truncation of Fn,k (see §4
below). If n “ 0, then Kn,k Ă IAn,k and the restriction of τ to Kn,k has image Zkpk´1q;
this provides the entire abelianization. If n ą 0, then Kn,k does not lie in IAn,k and
we cannot use the Johnson homomorphism directly; however, in [5] we construct a
modified version of it which is defined on Kn,k and has image Zkn .

IA is as follows.
The analogue of these calculations for Kn,k
IA ; Zq is free abelian of rank
Theorem C. The group H1 pKn,k

ˆ ˙
k
npn ´ 1qk ` n
` 2nk ` kpk ´ 1q.
2
IA .
The abelianization map is given by the restriction of the Johnson homomorphism to Kn,k

Remark 1.3. Theorem C is related to the fact that the Johnson homomorphism gives the
abelianization of IAn,k , a theorem which was proved independently by Farb [8], Cohen–
Pakianathan [4], and Kawazumi [11].

3

Finite L-presentation. Our final theorem gives an infinite presentation for the group
IA by generators and relations. Though this result may appear technical, it is actually
Kn,1
the most important theorem in this paper for our study in [6] of H2 pIAn ; Zq. To simplify
our notation, we will write the generators of Fn,1 as tx1 , . . . , xn , yu. The generators for our
presentation will be the finite set
SK – tMxα ,ryβ ,z γ s | x P X, z P Xztxu, α, β, γ “ ˘1u Y tCy,x , Cx,y | x P Xu.
This is larger than the generating set given by Theorem A; using SK will simplify our
relations. By Theorem B, the set of relations will have to be infinite. They will be generated
from a finite list of relations by a simple recursive procedure which we will encode using
the notion of an L-presentation, which was introduced by Bartholdi [1].
A finite L-presentation for a group G is a triple xS | R0 | Ey as follows.
• S is a finite generating set for G.
• R0 is a finite subset of the free group F pSq on S consisting of relations for G. It is
not necessarily a complete set of relations.
• E is a finite subset of EndpF pSqq.
This triple must satisfy the following. Let M Ă EndpF pSqq be the monoid generated by E.
Define R “ tf prq | f P M , r P R0 u. Then we require that G “ xS | Ry. Each element of E
r Ă EndpGq the induced
descends to an element of EndpGq; we call the resulting subset E
endomorphisms of our L-presentation.
In this paper, the induced endomorphisms of our L-presentations will actually be automorphisms. Thus in the context of this paper one should think of an L-presentation as a group
presentation incorporating certain symmetries of a group. Here is an example.

Example. Fix ℓ ě 1. Let S “ tzi | i P Z{ℓu and R0 “ tz02 u. Let ψ : F pSq Ñ F pSq be
the homomorphism defined via the formula ψpzi q “ zi`1 . Then xS | R0 | tψuy is a finite
L-presentation for the free product of ℓ copies of Z{2.
We now return to the automorphism group of a free group. The group Kn,1 is a normal
subgroup of An,1 , so An,1 acts on Kn,1 by conjugation. In [5], the authors constructed a
finite L-presentation for Kn,1 whose set of induced endomorphisms generates
An,1 Ă AutpKn,1 q Ă EndpKn,1 q.
IA is also a normal subgroup of A
IA
The group Kn,1
n,1 , and hence An,1 acts on Kn,1 by conjugation. Our final main theorem is as follows.
0
IA “ xS
Theorem D. For all n ě 2, there exists a finite L-presentation Kn,1
K | RK | EK y
IA q Ă EndpKIA q.
whose set of induced endomorphisms generates An,1 Ă AutpKn,1
n,1
0 and E .
See the tables in §6 for explicit lists enumerating RK
K

0 by starting with
Verifying the L-presentation. We obtained the list of relations in RK
a guess of a presentation and then trying to run the following proof sketch. Every time it

4

failed, that failure revealed a relation we had missed. Let Γn be the group given by the
IA that we want
purported presentation in Theorem D. There is a natural surjection Γn Ñ Kn,1
to prove is an isomorphism. As we will see in §6 below, we have a short exact sequence
ρ

IA
1 ÝÑ Kn,1
ÝÑ An,1 ÝÑ Zn ¸ AutpFn q ÝÑ 1,

(5)

where AutpFn q acts on Zn via the natural surjection AutpFn q Ñ GLn pZq. The heart of our
proof is the construction of a similar extension ∆n of Zn ¸ AutpFn q by Γn which fits into a
commutative diagram
1 ÝÝÝÝÑ Γn ÝÝÝÝÑ ∆n ÝÝÝÝÑ Zn ¸ AutpFn q ÝÝÝÝÑ 1
§
§
§
§“
§
§
đ
đ
đ

(6)

ρ

IA Ý
1 ÝÝÝÝÑ Kn,1
ÝÝÝÑ An,1 ÝÝÝÝÑ Zn ¸ AutpFn q ÝÝÝÝÑ 1.

This construction is very involved; the exact sequences in (6) do not split, and constructing
group extensions with nonabelian kernels is delicate. We will say more about how we do
this in the next paragraph. In any case, once we have constructed (6) we can use a known
presentation of An,1 due to Jensen–Wahl [10] to show that the map ∆n Ñ An,1 is an
IA is an isomorphism, as
isomorphism. The five-lemma then implies that the map Γn Ñ Kn,1
desired.
If

The trouble with non-split extensions.

1 ÝÑ K ÝÑ G ÝÑ Q ÝÑ 1

(7)

is a group extension and presentations of Q and K are known, then it is straightforward to
construct a presentation of G. However, when constructing the group ∆n in (6) we have to
confront a serious problem, namely we need to first verify that the desired extension exists.
To put it another way, it is clear how to combine a known presentation of Zn ¸ AutpFn q
with our purported presentation for Γn to form a group ∆n which fits into a commutative
diagram
Γn ÝÝÝÝÑ ∆n ÝÝÝÝÑ Zn ¸ AutpFn q ÝÝÝÝÑ 1
§
§
§
§“
§
§
đ
đ
đ
ρ

IA Ý
1 ÝÝÝÝÑ Kn,1
ÝÝÝÑ An,1 ÝÝÝÝÑ Zn ¸ AutpFn q ÝÝÝÝÑ 1.

However, it is difficult to show that the map Γn Ñ ∆n is injective. Standard techniques
show that proving the existence of the extension (7) is equivalent to constructing a sort of
“nonabelian K-valued 2-cocycle” on Q; see [3, §IV.6]. Such a 2-cocyle is not determined by
its values on generators for Q. This holds even in the simple case of a central extension; the
general case is even worse. It is therefore very difficult to construct such a 2-cocycle using
generators and relations.
But the extensions in (6) we are trying to understand are very special. While they do
not split, there do exist “partial splittings”, namely homomorphisms ι1 : Zn Ñ An,1 and
ι2 : AutpFn q Ñ An,1 such that ρ ˝ ι1 “ id and ρ ˝ ι2 “ id. Letting Λ1 “ ρ´1 pZn q and
IA ¸ Zn and Λ – KIA ¸ AutpF q. The data
Λ2 “ ρ´1 pAutpFn qq we therefore have Λ1 – Kn,1
n
2
n,1
5

needed to combine Λ1 and Λ2 into a group An,1 that fits into (5) is what we will call a
IA . The definition is complicated, so to give
“twisted bilinear map” from AutpFn q ˆ Zn to Kn,1
the flavor of it in this introduction we will discuss a simpler situation.
Splicing together direct products. Let A and B and K be abelian groups. We want
to construct a not necessarily abelian group G with the following property.
• There is a short exact sequence
ρ

1 ÝÑ K ÝÑ G ÝÑ A ˆ B ÝÑ 1
together with homomorphisms ι1 : A Ñ G and ι2 : B Ñ G such that ρ´1 pAq and
ρ´1 pBq are the internal direct products K ˆ ι1 pAq and K ˆ ι2 pBq, respectively.
Given this data, we can define a set map λ : A ˆ B Ñ K via the formula
λpa, bq “ rι1 paq, ι2 pbqs

pa P A, b P Bq;

here the bracket is the commutator bracket in G. It is easy to see that λ is bilinear.
Conversely, given a bilinear map λ : A ˆ B Ñ K we can construct a group G with the above
properties by letting G consist of all triples pk, b, aq P K ˆ B ˆ A with the multiplication
pk, b, aqpk1 , b1 , a1 q “ pk ` k1 ` φpa, b1 q, b ` b1 , a ` a1 q.
The bilinearity of φ is needed for this multiplication to be associative.
Adding the twisting. The groups we are interested in fit into semidirect products, so we
will have to incorporate the various group actions into our bilinear maps. The key property
of the resulting theory of twisted bilinear maps is that (unlike general 2-cocycles but like
ordinary bilinear maps) they are determined by their values on generators. Letting Γn be
the group in (6), we will therefore be able to use combinatorial group theory to construct an
appropriate twisted bilinear map Z n ˆ AutpFn q Ñ Γn that behaves like the twisted bilinear
IA that determines A
map Z n ˆ AutpFn q Ñ Kn,1
n,1 . This will allow us to construct the group
∆n fitting into (6) and complete the proof of Theorem D.
Outline. We prove Theorem A in §2, Theorem B in §3, and Theorem C in §4. Preliminaries for the proof Theorem D are in §5, and the proof itself appears in §6. The proof of
Theorem D depends on computer calculations that are described in §7.

2

Generators

In this section, we prove Theorem A. Letting X “ tx1 , . . . , xn u and Y “ ty1 , . . . , yk u, recall
that this theorem asserts that the set
T – tMx,ry,zs | x P X, y P Y , z P pX Y Y qztx, yuu Y tCy,z , Cz,y | y P Y , z P pX Y Y qztyuu
IA .
generates Kn,k

6

tPT
Mxa ,ry ,x s
d b
Mx ,ry ,xa s
b

d

Mxa ,rye ,x s
b
Mx ,rye ,xa s
b

Mxa ,ry ,ye s
d
Mxa ,rye ,y s
f

Cyd ,ye
Cyd ,xa
Cyd ,xb
Cye ,xa
Cxa ,ye

sts´1
´1
Cxa ,yd Mxa ,ry ,x s Cx
a ,yd
d b
´1
Cxa ,yd Mx ,ry ,xa s Cx
a ,y

b
d
d
´1
Cxa ,yd Mxa ,rye ,x s Cx
a ,yd
b
´1
Cx ,y Mx ,rye ,xa s Cxb ,yd Mx ,rye ,y s
b
d
b
b d
´1
Cxa ,yd Mxa ,ry ,ye s Cx
a ,yd
d
´1
Cxa ,yd Mxa ,rye ,y s Cx
a ,yd
f
´1
Cxa ,yd Mxa ,ry ,ye s Cx
C
,y
a d yd ,ye
d
Cxa ,yd Cyd ,xa
´1
Mxa ,ry ,x s Cyd ,xb Cxa ,yd
Cyd ,xb Cxa ,yd Cy
d b
d ,xb

Cye ,xa Cye ,yd

s´1 ts
´1
Cx
Mxa ,ry ,x s Cxa ,yd
a ,yd
d b
´1
Cx
Mx ,ry ,xa s Cxa ,yd
a ,y
b

d

d

´1
Cx
Mxa ,rye ,x s Cxa ,yd
a ,yd
b
´1
Cxb ,yd Mx ,rye ,xa s Mx ,ry ,ye s Cx
,y
b

b

d

´1
Cx
Mxa ,ry ,ye s Cxa ,yd
a ,yd
d
´1
Cx
Mxa ,rye ,y s Cxa ,yd
a ,y

b

d

f

d

Mxa ,rye ,y s Cyd ,ye
d
´1
Cx
,y Cyd ,xa
a

d

´1
´1
Mx
Cyd ,xb
Cxa ,yd Cy
a ,ryd ,xb s
d ,xb
´1
Cye ,xa Cy
,y
e

´1
Cxa ,ye Cxa ,yd Mxa ,rye ,y s Cx
a ,yd
d

d

Cxa ,ye Mxa ,ry ,ye s
d

Table 1: Fix s “ Mxa ,yd . This table shows how to write sts´1 and s´1 ts as a word in T for all
t P T . Basis elements with distinct subscripts are assumed to be distinct. If a formula is not listed,
then sts´1 “ s´1 ts “ t. All these formulas can be easily proved by checking the effect of the indicated
automorphisms on a basis for the free group.

Proof of Theorem A. The key is the exact sequence
ρ

IA
ÝÑ Kn,k ÝÑ Znk ÝÑ 1
1 ÝÑ Kn,k

discussed in the introduction (see (3)). Define
S1 “ tMx,y | x P X, y P Y u and S2 “ tCy,z , Cz,y | y P Y , z P pX Y Y qztyuu.
As we discussed in the introduction (see the equation (4) and the remark following it), the
IA “ kerpρq. Also, ρ
authors proved in [5] that S1 Y S2 generates Kn,k . We have S2 Ă Kn,k
maps the elements of S1 to a basis of Znk . We therefore see that Znk is the quotient of Kn,k
by the normal closure of the set S11 Y S2 , where
S11 “ trs, s1 s | s, s1 P S1 u
“ trMx,y , Mx,y1 s | x P X, y, y 1 P Y, y ‰ y 1 u
Y trMx,y , Mx1 ,y1 s | x, x1 P X, y, y 1 P Y , x ‰ x1 u
“ tMx,ry,y1 s | x P X, y, y 1 P Y , y ‰ y 1 u.
Here we are using the fact that rMx,y , Mx1 ,y s “ 1 for x, x1 P X and y P Y with x ‰ x1 . Since
IA .
S11 Y S2 Ă T , we conclude that T normally generates Kn,k
IA be the subgroup generated by T , it is therefore enough to prove that G
Letting G Ă Kn,k
is a normal subgroup. To do this, it is enough to prove that for s P S1 Y S2 and t P T , we
have sts´1 P G and s´1 ts P G. In fact, since S2 Ă T it is enough to do this for s P S1 . The
identities that show this are in Table 1.

3

The Torelli kernel is not finitely presentable

IA ; Qq is
In this section, we prove Theorem B. Recall that this theorem asserts that H2 pKn,k
infinite dimensional when n ě 2 and k ě 1.

7

Proof of Theorem B. Consider the Hochschild–Serre spectral sequence associated to the
short exact sequence
ρ
IA
1 ÝÑ Kn,k
ÝÑ Kn,k ÝÑ Znk ÝÑ 1
discussed in the introduction (see (3)). It is of the form
2
IA
Epq
“ Hp pZnk ; Hq pKn,k
; Qqq ñ Hp`q pKn,k ; Qq.
2
The authors proved in [5] that H2 pKn,k ; Qq is infinite dimensional, so at least one of E20
2
2
2
nk
and E11 and E02 must be infinite dimensional. Clearly E20 “ H2 pZ ; Qq is finite diIA ; Qq is finite-dimensional, so E 2 “
mensional. Also, Theorem A implies that H1 pKn,k
11
IA ; Qqq is finite dimensional We conclude that E 2 “ H pZnk ; H pKIA ; Qqq
H1 pZnk ; H1 pKn,k
0
2
02
n,k
IA ; Qq is infinite dimensional, as desired.
is infinite dimensional, so H2 pKn,k

4

Abelianization

IA ; Zq
In this section, we prove Theorem C. Recall that this theorem asserts that H1 pKn,k
is free abelian and that the abelianization map is given by the restriction of the Johnson
IA . The theorem also gives the rank of the abelianization of KIA as a
homomorphism to Kn,k
n,k
polynomial in n and k.

Proof of Theorem C. We begin by recalling the definition of the
ŹJohnson homomorphism;
see [12] for more details and references. Let π : rFn,k , Fn,k s Ñ 2 Zn`k be the projection
whose kernel is rFn,k , rFn,k , Fn,k ss. This map satisfies πprz, z 1 sq “ rzs ^ rz 1 s for z, z 1 P Fn,k ;
here rzs, rz 1 s P Zn`k are the images of z and z 1 in the abelianization of Fn,k . The Johnson
homomorphism is then a homomorphism
Ź
τ : IAn,k Ñ HompZn`k , 2 Zn`k q
that satisfies the formula

τ pf qprzsq “ πpf pzqz ´1 q

pf P IAn,k , z P Fn,k q.

Letting X “ tx1 , . . . , xn u and Y “ ty1 , . . . , yk u, the Johnson homomorphism has the following effect on the basic elements of IAn,k defined in the introduction.
• For distinct z, z 1 P X Y Y , we have
#
rzs ^ rz 1 s
τ pCz,z 1 qprwsq “
0

if w “ z,
otherwise

• For distinct z, z 1 , z 2 P X Y Y , we have
#
rz 1 s ^ rz 2 s if w “ z,
τ pMz,rz 1 ,z 2 s qprwsq “
0
otherwise

8

pw P X Y Y q.

pw P X Y Y q.

Set
T “tMx,ry,x1 s | x P X, y P Y , x1 P Xztxuu
Y tMx,rya ,yb s | x P X, 1 ď a ă b ď ku
Y tCy,z , Cz,y | y P Y , z P pX Y Y qztyuu.
´1
Since Mx,ryb ,ya s “ Mx,ry
a ,y
IA .
Kn,k

bs

for x P X and 1 ď a ă b ď k, Theorem A implies that T

Examining the above formulas, we see that τ takes T injectively to a
generates
Ź
linearly independent subset of the free abelian group HompZn`k , 2 Zn`k q. This implies
IA , then
that if u is an element of the free group F pT q on T which maps to a relation in Kn,k
IA to a nontrivial element
u P rF pT q, F pT qs (otherwise, τ would take the image of u in Kn,k
Ź
IA and that
of HompZn`k , 2 Zn`k q). We conclude that τ induces the abelianization of Kn,k
IA ; Zq “ Z|T | . This is free abelian of rank
H1 pKn,k
ˆ ˙
k
|T | “ npn ´ 1qk ` n
` 2nk ` kpk ´ 1q.
2

5

Preliminaries for the proof of Theorem D

The rest of this paper is devoted to proving Theorem D, which gives a finite L-presentation
IA . This section contains three subsections of preliminaries: §5.1 constructs a needed
for Kn,1
exact sequence, §5.2 discusses twisted bilinear maps, and §5.3 discusses presentations for
some related groups.
To simplify our notation, we will set y “ y1 , so tx1 , . . . , xn , yu is the basis for Fn,1 . When
writing matrices in GLn`1 pZq, we will always use the basis trx1 s, . . . , rxn s, rysu for Zn`1 .

5.1

Relating the two kernels

This is the first of three preliminary sections for the proof of Theorem D. In it, we construct
the exact sequence
ρ

IA
1 ÝÑ Kn,1
ÝÑ An,1 ÝÑ Zn ¸ AutpFn q ÝÑ 1

discussed in the introduction (see Lemma 5.3 below). We first address an irritating technical
point. Throughout this paper, all group actions are left actions. In particular, elements
of Zn will be regarded as column vectors and matrices in GLn pZq act on these column
vectors on the left (we have already silently used this convention when we wrote matrices).
However, it turns out that the action of AutpFn q on Zn in the semidirect product appearing
the above exact sequence is induced by the natural right action of GLn pZq on row vectors.
We do not wish to mix up right and left actions, so we convert this into a left action and
define Zn ¸r GLn pZq to be the semidirect product associated to the action of GLn pZq on
Zn defined by the formula
M ¨ z “ pM ´1 qt z

pM P GLn pZq, z P Zn q.
9

To understand this formula, observe that pM ´1 qt z is the transpose of pz t qM ´1 ; the inverse
appears because we are converting a right action into a left action. We then have the
following.
Lemma 5.1. The stabilizer subgroup pGLn`1 pZqqrys is isomorphic to Zn ¸r GLn pZq.
Proof. We define a homomorphism ψ : pGLn`1 pZqqrys Ñ Zn ¸r GLn pZq as follows. Consider
x P GLn pZq and M P Zn such that
M P pGLn`1 pZqqrys . There exist M
¸
˜
x 0
M
;
M“
t
M 1
here we are using our convention that elements of ˆ
Zn are column vectors,
so the transpose
˙
´
¯t
t
x´1 M , M
x . To see that this is a
M
M of M P Zn is a row. We then define ψpM q “
homomorphism, observe that for M1 , M2 P pGLn`1 pZqqrys we have
¸˜
¸ ˜
¸ ˜
¸
˜
x2 0
x1 M
x2
x1 0
x1 M
x2
M
M
0
M
M
0
“
“
,
M1 M2 “
t
t
tx
t
xt M 1 ` M 2 qt 1
pM
M1 1
M2 1
M 1M
2 ` M2 1
2

and hence

˙ ˆ´
˙
ˆ´
¯t
¯t
´1
´1
x
x
x
x
M2
M 1 , M1
M 2 , M2
M1
ψpM1 qψpM2 q “
˙
ˆ´
¯t
¯t ´
´
¯t
´1
´1
´1
x
x
x
x
x
M 1 ` M1
M2
M 2 , M1 M2
M
“
1
ˆ´
˙
¯t ´
¯t ´
¯
´1
´1
t
x
x
x
x
x
M2 M 1 ` M 2 , M1 M2
M2
M1
“
“ ψpM1 M2 q.

That ψ is a bijection is obvious.
Remark 5.2. There is an isomorphism between Zn ¸r GLn pZq and the semidirect product
of Zn and GLn pZq with respect to the standard left action of GLn pZq on Zn . However, this
isomorphism acts as the inverse transpose on the GLn pZq factor, and to keep our formulas
from getting out of hand we want to not change this factor. Throughout this paper, we will
use the explicit isomorphism described in the proof of Lemma 5.1.
Define Zn ¸r AutpFn q to be the semidirect product induced by the action of AutpFn q on
Zn obtained by composing the projection AutpFn q Ñ GLn pZq with the action of GLn pZq
on Zn discussed above. We then have the following lemma, which is the main result of this
section.
Lemma 5.3. There is a short exact sequence
ρ

IA
1 ÝÑ Kn,1
ÝÑ An,1 ÝÑ Zn ¸r AutpFn q ÝÑ 1.

Also, there exist homomorphisms ι1 : AutpFn q Ñ An,1 and ι2 : Zn Ñ An,1 such that ρ ˝ ι1
and ρ ˝ ι2 are the standard inclusions of AutpFn q and Zn into Zn ¸r AutpFn q respectively.
10

Proof. Let π1 : An,1 Ñ AutpFn q be the map induced by the projection Fn,1 Ñ Fn whose
kernel is normally generated by y. Also, let π2 : An,1 Ñ Zn ¸r GLn pZq be the composition
–

An,1 ÝÑ pGLn`1 pZqqrys ÝÑ Zn ¸r GLn pZq,
where the second map is the isomorphism given by Lemma 5.1. By definition, Kn,1 “ kerpπ1 q
IA
IA
IA
and AIA
n,1 “ kerpπ2 q. Recalling that Kn,1 “ Kn,1 X An,1 , it follows that Kn,1 “ kerpρq, where
ρ is the composition
π ‘π

1
2
An,1 ÝÑ
pAutpFn qq ‘ pZn ¸r GLn pZqq .

Let η : AutpFn q Ñ GLn pZq be the natural projection. The image of ρ is contained in the
subgroup
tpf, pz, η pf qqq | f P AutpFn q, z P Zn u Ă pAutpFn qq ‘ pZn ¸r GLn pZqq ,
which is clearly isomorphic to Zn ¸r AutpFn q. We can therefore regard ρ as a homomorphism
ρ : An,1 Ñ Zn ¸r AutpFn q, and we have an exact sequence
ρ

IA
1 ÝÑ Kn,1
ÝÑ An,1 ÝÑ Zn ¸r AutpFn q.

Let ι1 : AutpFn q Ñ An,1 be the evident inclusion whose image is the stabilizer subgroup
pAn,1 qy and let ι2 : Zn Ñ An,1 be the map defined via the formula
ι2 pz1 , . . . , zn q “ Mxz11,y Mxz22,y ¨ ¨ ¨ Mxznn,y

pz1 , . . . , zn P Zq,

where the automorphisms Mxi ,y are as in the introduction. The map ι2 is a homomorphism
because the Mxi ,y commute. It is clear that ρ ˝ ι1 “ id and ρ ˝ ι2 “ id. This implies that ρ
is surjective, and the lemma follows.

5.2

Twisted bilinear maps and group extensions

This is the second section containing preliminaries for the proof of Theorem D. In it, we
discuss the theory of twisted bilinear maps alluded to in the introduction. Throughout this
section, let A and B and K be groups equipped with the following left actions.
• The group A acts on B; for a P A and b P B, we will write a b for the image of b under
the action of a.
• The groups A and B both act on K. For k P K and a P A and b P B, we will write
αa pkq and βb pkq for the images of k under the actions of a and b, respectively.
A twisted bilinear map from A ˆ B to K is a set map λ : A ˆ B Ñ K satisfying the following
three properties.
TB1. For all a P A and b1 , b2 P B, we have λpa, b1 b2 q “ λpa, b1 q ¨ βa b1 pλpa, b2 qq.
TB2. For all a1 , a2 P A and b P B, we have λpa1 a2 , bq “ αa1 pλpa2 , bqq ¨ λpa1 , a2 bq.
TB3. For all a P A and b P B and k P K, we have λpa, bq¨βa b pαa pkqq¨λpa, bq´1 “ αa pβb pkqq.

11

Observe that this reduces to the definition of a bilinear map if all the actions are trivial and
all the groups are abelian. The key example is as follows.
Example. Consider a short exact sequence of groups
ρ

1 ÝÑ K ÝÑ G ÝÑ B ¸ A ÝÑ 1
together with homomorphisms ι1 : A Ñ G and ι2 : B Ñ G such that ρ ˝ ι1 and ρ ˝ ι2 are the
standard inclusions of A and B in B ¸ A respectively. Observe that this implies that ρ´1 pAq
and ρ´1 pBq are the internal semidirect products K ¸ ι1 pAq and K ¸ ι2 pBq, respectively. Let
a
b be the action a ¨ b defining the semidirect product B ¸ A, and define actions of A and B
on K by
αa pkq “ ι1 paq ¨ k ¨ ι1 paq´1 and βb pkq “ ι2 pbq ¨ k ¨ ι2 pbq´1
for all a P A and b P B and k P K. Define a set map λ : A ˆ B Ñ K via the formula
λpa, bq “ ι1 paq ¨ ι2 pbq ¨ ι1 paq´1 ι2 pa bq´1 .
Note that this is a kind of “twisted commutator” map; it reduces to the commutator bracket
if the action of A on B is trivial. Given these definitions, an easy algebraic juggle shows
that λ is a twisted bilinear map. We will say that λ is the twisted bilinear map associated
to G and ι1 and ι2 .
Remark 5.4. We take a moment to explain the different aspects of the definition of a twisted
bilinear map. For a fixed a P A, we can twist the action of B on K by the action of A
on B by a, to get an action b ¨ k “ βa b pkq. Property TB1 simply states that the function
λpa, ¨q : B Ñ K is a crossed homomorphism with respect to this action twisted by a.
Property TB2 is similar, but involves two kinds of twisting. The set of functions B Ñ K
is a group with the pointwise product. The group A acts on this group in two ways. The
first is by post-composition: for a P A and f : B Ñ K, define a ¨ f by pa ¨ f qpbq “ αa pf pbqq.
The second is by pre-composition, and is a right action: for a, f as above, define f ¨ a by
pf ¨ aqpbq “ f pa bq. So property TB2 says that λ is like a crossed homomorphism from A to
the group of functions B Ñ K, but simultaneously twisted by both of these actions.
Property TB3 can be explained in the context of Example 5.2. As usual in group extensions,
there is a well defined outer action of B ¸ A on K: to act on k by pb, aq, lift pb, aq to G and
conjugate k by this lift. The conjugate of k depends on the choice of lift, but the resulting
map B ¸ A Ñ OutpKq is well defined. Using our maps ι1 and ι2 , we have two ways to build
lifts. By the definition of the product in B ¸ A, we have
p1, aqpb, 1q “ pa b, aq “ pa b, 1qp1, aq.
So we may view the outer action of pa b, aq on K as coming from conjugation either by
ι1 paqι2 pbq or by ι2 pa bqι1 paq. These conjugations are given by k ÞÑ αa pβb pkqq and k ÞÑ
βa b pαa pkqq respectively. Since they define the same outer automorphism, they differ by
conjugation by some element; TB3 says that λpa, bq is such an element.
The following theorem shows that every twisted bilinear map is associated to some group
extension.
12

Theorem 5.5. Let the groups and actions be as above and let λ : A ˆ B Ñ K be a twisted
bilinear map. Then λ is the twisted bilinear map associated to some group G, some short
exact sequence
ρ
1 ÝÑ K ÝÑ G ÝÑ B ¸ A ÝÑ 1,
and some homomorphisms ι1 : A Ñ G and ι2 : B Ñ G.
Proof. Set Q “ B ¸A. We will construct G using the theory of nonabelian group extensions
sketched in [3, §IV.6] and proven in detail in [7]. This machine needs two inputs.
• The first is a set map φ : Q Ñ AutpKq satisfying φp1q “ id. For q P Q, we define
φpqq P AutpKq as follows. We can uniquely write q “ ba with b P B and a P A. We
then define
φpqqpkq “ βb pαa pkqq
pk P Kq.
• The second is a set map γ : Q ˆ Q Ñ K satisfying γp1, qq “ γpq, 1q “ 1 for all q P Q,
which we define as follows. Consider q1 , q2 P Q. We can uniquely write q1 “ b1 a1 and
q2 “ b2 a2 with b1 , b2 P B and a1 , a2 P A. We then define
γpq1 , q2 q “ βb1 pλpa1 , b2 qq .
We remark that these pieces of data are not homomorphisms. They must satisfy two key
identities which we will verify below in Claims 1 and 2. We postpone these verifications
momentarily to explain the output of the machine.
Let G be the set of pairs pk, qq with K P K and q P Q. Define a multiplication in G via the
formula
˘
`
pk1 , q1 qpk2 , q2 q “ k1 ¨ φpq1 qpk2 q ¨ γpq1 , q2 q, q1 q2 .

The machine says that this G is a group (the purpose of the postponed identities is to show
that the above multiplication is associative). It clearly lies in a short exact sequence
ρ

1 ÝÑ K ÝÑ G ÝÑ B ¸ A ÝÑ 1,
and we can define the desired homomorphisms ι1 : A Ñ G and ι2 : B Ñ G via the formulas
ι1 paq “ p1, p1, aqq and ι2 pbq “ p1, pb, 1qq. An easy calculation shows that the conclusions of
the theorem are satisfied.
It remains to verify the two needed identities, which are as follows.
Claim 1. For q1 , q2 P Q and k P K, we have
φpq1 qpφpq2 qpkqq “ γpq1 , q2 q ¨ φpq1 q2 qpkq ¨ γpq1 , q2 q´1 .
For i “ 1, 2, write qi “ bi ai with bi P B and ai P A, so q1 q2 “ pb1 a1 b2 qpa1 a2 q. We then have
γpq1 , q2 q ¨ φpq1 q2 qpkq ¨ γpq1 , q2 q´1 “ βb1 pλpa1 , b2 qq ¨ βb1 a1 b2 pαa1 a2 pkqq ¨ βb1 pλpa1 , b2 qq´1
¯
´
“ βb1 λpa1 , b2 q ¨ βa1 b2 pαa1 pαa2 pkqqq ¨ λpa1 , b2 q´1 .
13

Property TB3 of a twisted bilinear map says that this equals
βb1 pαa1 pβb2 pαa2 pkqqqq “ φpq1 qpφpq2 qpkqq,
as claimed.
Claim 2. For q1 , q2 , q3 P Q, we have γpq1 , q2 q ¨ γpq1 q2 , q3 q “ φpq1 qpγpq2 , q3 qq ¨ γpq1 , q2 q3 q.
For i “ 1, 2, 3, write qi “ bi ai with bi P B and ai P A. We begin by examining the left side
of the purported equality. Since q1 q2 “ pb1 a1 b2 qpa1 a2 q, it equals
γpq1 , q2 q ¨ γpq1 q2 , q3 q “ βb1 pλpa1 , b2 qq ¨ βb1 a1 b2 pλpa1 a2 , b3 qq
´
¯
“ βb1 λpa1 , b2 q ¨ βa1 b2 pλpa1 a2 , b3 qq .

Using property TB2 of a twisted bilinear map, this equals
´
¯
βb1 λpa1 , b2 q ¨ βa1 b2 pαa1 pλpa2 , b3 qq ¨ λpa1 , a2 b3 qq

(8)

Property TB3 of a twisted bilinear map with a “ a1 and b “ b2 and k “ λpa2 , b3 q says that
λpa1 , b2 q ¨ βa1 b2 pαa1 pλpa2 , b3 qqq “ αa1 pβb2 pλpa2 , b3 qqq ¨ λpa1 , b2 q.
Plugging this into (8) (and remembering to distribute the βa1 b2 over the last term), we get
´
¯
(9)
βb1 αa1 pβb2 pλpa2 , b3 qqq ¨ λpa1 , b2 q ¨ βa1 b2 pλpa1 , a2 b3 qq .

We now turn to the right hand side of the purported equality. Since q2 q3 “ pb2 a2 b3 qpa2 a3 q,
it equals
βb1 pαa1 pβb2 pλpa2 , b3 qqqq ¨ βb1 pλpa1 , b2 a2 b3 qq “ βb1 pαa1 pβb2 pλpa2 , b3 qqq ¨ λpa1 , b2 a2 b3 qq .
Property TB1 of a twisted bilinear map says that this equals
´
¯
βb1 αa1 pβb2 pλpa2 , b3 qqq ¨ λpa1 , b2 q ¨ βa1 b2 pλpa1 , a2 b3 qq .

(10)

Since (9) and (10) are equal, the claim follows.

5.3

Presentations of AutpFn q and An,1

This is the third and final section of preliminaries for the proof of Theorem D. In it, we give
presentations for the groups AutpFn q and An,1 .
We begin with AutpFn q. Recall that X “ tx1 , . . . , xn u is the standard basis for Fn . The
presentation for AutpFn q we will use has three classes of generators.
• For α P t1, ´1u and distinct xa , xb P X, we need the automorphisms Mxαa ,xb defined
in the introduction. Recall that their characteristic properties are that
Mxαa ,xb pxαa q “ xb xαa

and

Mxαa ,xb pxc q “ xc

for xc P X with xc ‰ xa . The elements Mxαa ,xb will be called transvections.
14

N1. relations for the subgroup generated by inversions and swaps, a signed permutation group:
– Ia2 “ 1 and rIa , Ib s “ 1,
2 “ 1, rP , P s “ 1, and P P P ´1 “ P ,
– Pa,b
a,c
a,b
c,d
a,b b,c a,b
´1
– Pa,b Ia Pa,b
“ Ib and rPa,b , Ic s “ 1;
N2. relations for conjugating transvections by inversions and swaps, coming from the
natural action of inversions and swaps on tx1 , . . . , xn u:
´1
“ MPa,b pxγc q,Pa,b pxd q even if ta, bu X tc, du ‰ ∅,
– Pa,b Mxγc ,xd Pa,b
´1
– Ia Mxγc ,xd Ia “ MIa pxγc q,Ia pxd q even if a P tc, du;
N3. Mxβ´α ,x M αβ
a

b

xb ,xa

Mx´β
α ,x “ Ib Pa,b ;
a b

N4. rMxαa ,xb , Mxγc ,xd s “ 1 with a, b, c, d not necessarily all distinct, such that a ‰ b,
γ
´1
c ‰ d, xαa R txγc , xd , x´1
d u and xc R txb , xb u;
N5. M αβ Mxβγ ,x “ Mxβγ ,x M αβ Mxαγc ,xa .
xb ,xa

c

b

c

b

xb ,xa

Table 2: Nielsen’s relations for AutpFn q consist of the set RA of relations listed above. The letters
a, b, c, d are elements of t1, . . . , nu (assumed distinct unless otherwise stated) and α, β, γ, P t1, ´1u.

• For distinct xa , xb P X, we will need the automorphisms Pa,b defined via the formula
$
’
&xb if c “ a,
Pa,b pxc q “ xa if c “ b,
p1 ď c ď nq.
’
%
xc otherwise
The elements Pa,b will be called swaps.
• For xa P X, we will need the automorphisms Ia defined via the formula
#
if b “ a,
x´1
b
Ia pxb q “
p1 ď b ď nq.
xb
otherwise
The elements Ia will be called inversions.
Let SA be the set consisting of the above generators. The set SA does not contain elements
of the form Mxα ,x´1 , but we will frequently use Mxα ,x´1 as an alternate notation for Mx´1
α ,x .
a b
a b
a b
We then have the following theorem of Nielsen.
Theorem 5.6 (Nielsen [13]). The group AutpFn q has the presentation xSA | RA y, where
RA is given in Table 2.
We now turn to An,1 . Recall that this is a subgroup of AutpFn,1 q, where Fn,1 is the free
group on tx1 , . . . , xn , yu. We will use a presentation that is due to Jensen–Wahl [10]. See
[5, Theorem 5.2] for a small correction to Jensen–Wahl’s original statement.
Theorem 5.7 (Jensen–Wahl [10]). The group An,1 has the presentation whose generators
are the union of SA with the set
tMxαa ,y ,Cy,xa | xa P X, α P t1, ´1uu
15

Q1. Nielsen’s relations among SA from Table 2,
Q2. Commuting relations:
– rMxαa ,y , Mxβ ,y s “ 1 if xαa ‰ xβb ,
b

– rMxαa ,xb , Mxγc ,y s “ 1 if xαa ‰ xγc ,
– rMxαa ,xb , Cy,xc s “ 1 if c ‰ a.
Q3. The obvious analogues of the N2 relations from Table 2 giving the effect of conjugating Cy,xa and Mxαa ,y by swaps and inversions,
β
Q4. Mx´β
α ,x M β Mxα ,x “ Mxα ,y M β , and
a
x ,y
x ,y
a b
a b
b

´1
´α M ´α C α
.
Q5. Cy,x
a
xa ,y y,xa “ Mxα
a ,y

b

Table 3: Jensen–Wahl’s relations for An,1 consist of the relations above. The letters a, b, c are
elements of t1, . . . , nu (assumed distinct unless otherwise stated) and α, β, γ, P t1, ´1u.

and whose relations are those appearing in Table 3.

6

IA
A finite L-presentation for Kn,1

IA has a finite LThis section contains the proof of Theorem D, which asserts that Kn,1
presentation. We begin in §6.1 by describing the generators, relations, and endomorphisms
which make up our L-presentation. Next, in §6.2 we construct the data needed to use the
theory of twisted bilinear maps to construct an appropriate extension of our purported
IA . Finally, in §6.3 we prove that our presentation is complete.
presentation for Kn,1

The proofs of several of our lemmas will depend on computer calculations. These computer
calculations will be discussed in §7.
Just like in §5, we will denote the free basis for Fn,1 by tx1 , . . . , xn , yu.

6.1

Statement of L-presentation

In this section, we will describe the generators, relations, and endomorphisms that make up
IA whose existence is asserted by Theorem D. To help us keep
the finite L-presentation for Kn,1
track of the role that our symbols are playing, we will change the font for the generators of
IA and use
Kn,1
SK “ tCy,xa , Cxa ,y | xa P Xu Y tMxα ,ryǫ ,xβ s | xa , xb P X, xa ‰ xb , α, β, ǫ P t1, ´1, uu
a

b

as our generating set. We remark that elements of the form Mxα ,rxβ ,yǫ s are not included
a

b

in SK ; however, we will frequently use the symbol Mxα ,rxβ ,yǫ s as a synonym for M´1
α
a

which is the inverse of an element of SK .
16

b

xa ,ry ǫ ,xβ
bs

,

Next, we explain our endomorphisms EK for our L-presentation. These endomorphisms
IA . More
are indexed by the generators for An,1 given by Theorem 5.7 that do not lie in Kn,1
precisely, define
SQ “ tPa,b , Ia , Mxa ,y , Mxαa ,xb | xa , xn P X, xa ‰ xb , α P t1, ´1uu.
˘1
to denote SQ Y ts´1 |s P SQ u (and similarly for other sets). We remark that in
We use SQ
SQ , we regard Pa,b and Pb,a as being the same element.
˘1
Ñ EndpF pSK qq (see Lemma 6.1 below for an elucidation
We now define a function φ : SQ
of the purpose of this definition). By the universal property of a free group, to do this it
˘1
and t P SK . Once we have given these
is enough to give φpsqptq for each choice of s P SQ
formulas, we define EK to be the image of the map φ. In our defining formulas, we use
xa , xb , xc , . . . for elements of X and α, β, γ, ǫ, . . . for elements of t1, ´1u. Elements with
distinct subscripts are assumed to be distinct unless noted.

The action of swaps and inversions through φ is by acting on the elements of X indexing
our generators: if s is a swap or inversion, then
φpsqpCxa ,y q “ Cspxa q,y ,

φpsqpCy,xa q “ Cy,spxa q ,

and φpsqpMxα ,ryǫ ,xβ s q “ Mspxα q,ryǫ ,spxβ qs .
a

a

b

b

Here we interpret
Cx´1
“ Cxa ,y
a ,y

Cy,x´1
“ C´1
y,xa .
a

and

Furthermore, for s a swap or inversion we define φps´1 qptq “ φpsqptq for any t P SK .
If s P SQ is of the form Mxαa ,y , we define φpsqptq “ φps´1 qptq “ t if t P SK is anything of the
form
Cxa ,y , Cxb ,y , Mx´α
or Mxβ ,ryǫ ,xγc s .
ǫ β ,
a ,ry ,x s
b

If s P SQ is of the form M
the form

xα
a ,xb

Cxc ,y ,

Cy,xb ,

Cy,xc ,

b

, we define φpsqptq “

Mx´α
ǫ β ,
a ,ry ,x s
b

φps´1 qptq

Mx´α
ǫ γ ,
a ,ry ,xc s

The other cases for φpsqptq P F pSK q, for s P

˘1
SQ

“ t if t P SK is anything of

Mxγc ,ryǫ ,xβ s ,
b

or

Mxγc ,ryǫ ,xδ s .
d

and t P SK , are given in Table 4.

The key property of the map φ is as follows.
IA be the natural surjection. Then regarding S
Lemma 6.1. Let Ψ : F pSK q Ñ Kn,1
Q as a
subset of An,1 , we have

Ψpφpsqptqq “ sΨptqs´1

ps P SQ , t P SK q.

Proof. This is a computer calculation which is described in Lemma 7.3 below.
We can now give a statement of our L-presentation. The following theorem (which will be
proven in §6.3) is a more precise version of Theorem D.
0 be the set of relations in Table
Theorem 6.2. Let SK and SQ and φ be as above and let RK
IA
IA
0 | φpS ˘1 qy.
5. Then the group Kn,1 has the finite L-presentation Kn,1 “ xSK | RK
Q

17

˘1

s P SQ
ǫ
Mx
a ,y

t P SK
Cy,xb

φpsqptq
Cy,xb M
´ǫ
xa ,ry

β

a

´1
s
b

M

M β
x ,ryζ ,xa s
b

´ǫ
Cǫ
xa ,y Mxβ ,ryζ ,x s Cxa ,y
a
b

β
xa ,ryζ ,x s
b

Mxα ,x

,x

Cǫ
xa ,y Cy,xa
´ǫ
Cǫ
xa ,y Mx ,ryζ ,xβ s Cxa ,y
a

Cy,xa

b

b

Cy,xa

β
α
pCα
y,xa Cy,x q

Cxa ,y

Cxa ,y M α
´β
xa ,rx
,ys
b
Cxb ,y M α
´β ´1

b

Cxb ,y

xa ,rx

,y

b

s

Mxα ,ryǫ ,xγ s

´γ
M α
Cγ
´β ǫ
y,xc Mxα ,ryǫ ,x´β s Cy,xc Mxα ,ryǫ ,xγ
cs
x ,rx
,y s
a

M β
γ
x ,ryǫ ,xc s
b
M ´β
ǫ γ

M β
γ M α
´β Mxα ,rxγ ,yǫ s Cyǫ ,xγ M α
´β ǫ Cyǫ ,xc
c
c
x ,ryǫ ,xc s
xa ,ryǫ ,x
s
xa ,rx
,y s
a
b
b
b
M ´β
Mxα ,ryǫ ,xγ s
ǫ γ

Mxγ ,ryǫ ,xα s

´α
Cα
ǫ α
y,xa Mxγ ,ryǫ ,xβ s Cy,xa Mxγ
c ,ry ,xa s
c
b
´β
Cy,x M γ
β ǫ C
β
ǫ ´α M γ

c

a

x

,ry ,xc s

b

c

a

x

a

M γ
´α
xc ,ryǫ ,xa s
M α
ǫ β

xa ,ry ,x s
b
M α ǫ ´β
xa ,ry ,x
s
b
M β
αs
x ,ryǫ ,xa
b
M ´β
x
,ryǫ ,xα
as
b

M β
´α
x ,ryǫ ,x
s

a
b
M ´β
´α
x
,ryǫ ,xa s
b

a

b

b

,ry ,xc s

b

xc ,ry ,xa

s

xc ,rx ,y s
b

xa ,ry ,x

s

b

´γ

c

a

M α
´β ǫ
xa ,rx
,y s
b
C´β
Cβ
y,x M α
y,x
ǫ ´β
b

b

y,x

b

b

´ǫ
M ´β
Cǫ
xb ,y Mxα ,ryǫ ,x´β s Cxa ,y
x
,ry´ǫ ,xα
as
a
b
b
α
β
´ǫ
´β
Cy,x Cy,x Cx ,y M α
C´α Cǫ
´β ǫ Cy,xb M ´β
´α
a
b
b
x ,rx
,y s
x
,rxa ,yǫ s y,xa xa ,y
a

b

a

b

b

´α
ǫ
´ǫ
α
β
C´β
y,xb Cy,xa Cxa ,y Mxα ,rx´β ,yǫ s Cxb ,y Mx´β ,rxα ,y´ǫ s Cy,xa Cy,xb
a

b

´α
´ǫ
α
β
C´β
y,xb Cy,xa Cxa ,y Cy,xa Mx´β ,ryǫ ,x´α s Cy,xb Mxα ,ryǫ ,x´β s Cxb ,y
b

a

a

b

Table 4: The defining formulas for φ. The letters a, b, c are distinct elements of t1, . . . , nu α, β, γ, ζ P
t1, ´1u.

R1. rCxa ,y , Cxb ,y s “ 1;
R2. rMxαa ,ryǫ ,xγc s , Mxβ ,ry,xδ s s “ 1, possibly with xαa “ x´β
b or xc “ xd (or both), as long
b

d

as xαa ‰ xβb , xa ‰ xd and xb ‰ xc ;
R3. rCxa ,y , Mxβ ,ryǫ ,xγc s s “ 1;
b

β
R4. C´β
y,xb Mxα ,ry ǫ ,xβ s Cy,xb “ Mxα ,rx´β ,y ǫ s ;
a

b

a

b

a

b

a

b

a

b

a

b

ǫ
R5. C´ǫ
xb ,y Mxα ,ry ǫ ,xβ s Cxb ,y “ Mxα ,rxβ ,y ´ǫ s ;

R6. Cǫxa ,y Mxα ,ryǫ ,xβ s C´ǫ
xa ,y “ Mxα ,rxβ ,y ´ǫ s ;
´β ǫ
β
´ǫ
R7. Mxα ,ryǫ ,xβ s Mx´α
ǫ β “ Cy,xb Cxa ,y Cy,xb Cxa ,y ;
a ,ry ,xb s
a
b
R8. Mxβ ,ry´ǫ ,xγc s Mxα ,ryǫ ,xβ s Mxβ ,rxγc ,y´ǫ s “ Mxαa ,rxγc ,y´ǫ s Mxα ,ryǫ ,xβ s Mxαa ,rxγc ,yǫ s ;
a

b

b

a

b

´γ ǫ
γ
R9. C´ǫ
xb ,y Cy,xc Mxα ,ry ǫ ,xβ s Cy,xc Cxb ,y
a

b

b

Mxαa ,rxγc ,yǫ s ;
“ Mxα ,rxβ ,y´ǫ s Cγy,xc Mxα ,ryǫ ,xβ s C´γ
ǫ γ M α
y,xc Mxα
x ,rxβ ,y ǫ s
a ,ry ,xc s
a

a

b

´γ ǫ
γ
R10. C´ǫ
xc ,y Cy,xc Mxα ,ry ǫ ,xβ s Cy,xc Cxc ,y
a

a

b

b

b

“ Mxα ,ry´ǫ ,xβ s Mxαa ,rxγc ,y´ǫ s Cγy,xc Mxα ,rxβ ,y´ǫ s C´γ
´ǫ ,xγ s .
y,xc Mxα ,ry ǫ ,xβ s Mxα
c
a ,ry
a

b

a

b

a

b

0
IA
Table 5: The relations RK
for the L-presentation of Kn,1
. The letters a, b, c, d are elements of
t1, . . . , nu (assumed distinct unless otherwise stated) and α, β, γ, δ, ǫ P t1, ´1u.

18

6.2

Constructing the extension

0 | φpS ˘1 qy be the group with the presentation described in Theorem
Let Γn “ xSK | RK
Q
IA which Theorem 6.2 claims is an isomorphism.
6.2. There is thus a surjection Ψ : Γn Ñ Kn,1
Lemma 5.3 says that there exists a short exact sequence
ρ

IA
1 ÝÑ Kn,1
ÝÑ An,1 ÝÑ Zn ¸r AutpFn q ÝÑ 1

(11)

together with homomorphisms ι1 : AutpFn q Ñ An,1 and ι2 : Zn Ñ An,1 such that ρ ˝ ι1 “ id
and ρ˝ι2 “ id. The purpose of this section is to construct the data needed to apply Theorem
IA .
5.5 and deduce that there exists a similar extension involving Γn instead of Kn,1
IA Ñ KIA and β : KIA Ñ KIA
For f P AutpFn q and z P Zn , define homomorphisms αf : Kn,1
z
n,1
n,1
n,1
via the formulas

αf pxq “ ι1 pf qxι1 pf q´1

and β z pxq “ ι2 pzqxι2 pzq´1

IA
px P Kn,1
q.

IA . Using the construction described in
These define actions of AutpFn q and Zn on Kn,1
IA . We
Example 5.2, we obtain from (11) a twisted bilinear map λ : AutpFn q ˆ Zn Ñ Kn,1
must lift all of this data to Γn . This is accomplished in the following three lemmas. For a
set S, let S ˚ denote the free monoid on S, so S ˚ consists of words in S.

Lemma 6.3. There exists an action of AutpFn q on Γn with the following property. For
f P AutpFn q, denote by αf : Γn Ñ Γn the associated automorphism. Then
Ψpαf pxqq “ αf pΨpxqq

pf P AutpFn q, x P Γn q.

Proof. Let AutpFn q “ xSA | RA y be the presentation given by Theorem 5.6. We have
˘1
SA Ă SQ , so the map φ : SQ
Ñ EndpF pSK qq used in the construction of the L-presentation
˘1
Ñ EndpF pSK qq. By the definition of an L-presentation,
for Γn restricts to a set map SA
the image of this set map preserves the relations between elements of SK that make up Γn ,
˘1
Ñ EndpΓn q. By the universal property of the free monoid, this
so we get a set map SA
˘1 ˚
q Ñ EndpΓn q. Computer calculations described
induces a monoid homomorphism ζ : pSA
˘1
´1
in Lemma 7.4 below show that ζpsqpζps qptqq “ t for all s P SA
and t P SK , which implies
that the image of ζ is contained in AutpΓn q and that ζ descends to a group homomorphism
η : F pSA q Ñ AutpΓn q. Further computer calculations described in Lemma 7.5 below show
that ηprqptq “ t for all r P RA and all t P SK . This implies that η descends to a group
homomorphism AutpFn q Ñ AutpΓn q. This is the desired action; the claimed naturality
property follows from Lemma 6.1.
Lemma 6.4. There exists an action of Zn on Γn with the following property. For z P Zn ,
denote by βz : Γn Ñ Γn the associated automorphism. Then
Ψpβz pxqq “ β z pΨpxqq

pz P Zn , x P Γn q.

Proof. Set SZ “ tMx1 ,y , . . . , Mxn ,y u and RZ “ trMxi ,y , Mxj ,y s | 1 ď i ă j ď nu, so SZ Ă
˘1
SQ and Zn “ xSZ | RZ y. Just like in the proof of Lemma 6.3, the map φ : SQ
Ñ
19

˘1
f P SA
Ia˘1
Mxβa ,xb

z P SZ˘1
Mxǫa ,y
Mxǫa ,y

λpf, zq P F pSK q
Cǫxa ,y
Mxa ,ry´ǫ ,x´β s

Mxa ,xb
Mx´1
a ,xb
´1
M ´1

Mxǫb ,y
Mxǫb ,y
Mxǫb ,y

Mxa ,ryǫ ,x´1 s
b
´1 ǫ
pMx´1
´1 Cx ,y q
a
s
,ry,x
a
b
ǫ
Cxa ,y

xa ,xb

b

˘1
Table 6: The effect of λp¨, ¨q on generators. For f P SA
and z P SZ˘1 such that there is no entry
in the above table, we have λpf, zq “ 1.

EndpF pSK qq restricts to a set map SZ˘1 Ñ EndpF pSK qq which induces a monoid homomorphism ζ : pSZ˘1 q˚ Ñ EndpΓn q. Computer calculations described in Lemma 7.6 below
show that ζpsqpζps´1 qptqq “ t for all s P SZ˘1 and t P SK , so ζ induces a group homomorphism η : F pSZ q Ñ AutpΓn q. Further computer calculations described in Lemma 7.7 below
show that ηprqptq “ t for all r P RZ and all t P SK . This implies that η descends to a group
homomorphism Zn Ñ AutpΓn q. This is the desired action; the claimed naturality property
follows from Lemma 6.1.
Lemma 6.5. With respect to the action of AutpFn q on Zn introduced in §5.1 and the actions
of Zn and AutpFn q on Γn given by Lemmas 6.3 and 6.4, there exists a twisted bilinear map
λ : AutpFn q ˆ Zn Ñ Γn such that
pf P AutpFn q, z P Zn q.

Ψpλpf, zqq “ λpf, zq

Proof. Let αf and βz be as in Lemmas 6.3 and 6.4, respectively. Let AutpFn q “ xSA | RA y
be the presentation given by Theorem 5.6. Also, let SZ “ tMx1 ,y , . . . , Mxn ,y u and RZ “
trMxi ,y , Mxj ,y s | 1 ď i ă j ď nu, so Zn “ xSZ | RZ y. We claim that it is enough to construct
a twisted bilinear map λ : AutpFn q ˆ Zn Ñ Γn such that
˘1
, z P SZ˘1 q.
pf P SA

Ψpλpf, zqq “ λpf, zq

(12)

Indeed, the axioms of a twisted bilinear map show that λ is determined by its values on
generators: property TB2 says that λpa1 a2 , bq “ αa1 pλpa2 , bqq ¨ λpa1 , a2 bq for all a1 , a2 P
˘1
AutpFn q and b P Zn , so the values of λ are determined by the values of λpf, zq for f P SA
n
and z P Z , and then property TB1 says that λpa, b1 b2 q “ λpa, b1 q ¨ βa b1 pλpa, b2 qq for all
a P AutpFn q and b1 , b2 P Zn , so the values of λ are determined by the values of λpf, zq for
˘1
and z P SZ˘1 . An analogous fact holds for λ, whence the claim.
f P SA
˘1
and z P SZ˘1 . It is easy
We will construct λ such that λpf, zq is as in Table 6 for f P SA
to check that these values satisfy (12). We will do this in four steps. For a set S, let S ˚ be
the free monoid on S, so S ˚ consists of words in S.
˘1
r1 pf, ¨q
we will use the “expansion rule” TB1 to construct a map λ
• First, for f P SA
˘1 ˚
r1 pf, zq equal to the value of λpf, zq from Table 6 for z P S ˘1 .
from pSZ q to Γn with λ
Z
r1 pf, ¨q descends to a map λ1 pf, ¨q from Zn to Γn .
• Next, we will show that λ

20

r2 p¨, zq
• Next, for z P Zn we will use the “expansion rule” TB2 to construct a map λ
˘1
˘1 ˚
r
r
from pSA q to Γn with λ2 pf, zq “ λ1 pf, zq for f P SA .
r2 pf, ¨q descends to a map λ2 pf, ¨q from AutpFn q to Γn .
• Finally, we will show that λ

The desired twisted bilinear map will then be defined by λpf, zq “ λ2 pf, zq. It will follow
from the various intermediate steps in our construction that λp¨, ¨q is a twisted bilinear map.
˘1 ˚
As notation, for w P pSA
q , let w
p denote the image of w in AutpFn q. Similarly, for
˘1 ˚
p denote the image of w in Zn .
w P pSZ q , let w

r1 pf, wq P Γn by induction on
r1 . For f P S ˘1 and w P pS ˘1 q˚ , we define λ
We now construct λ
Z
A
r1 pf, wq “ 1. If w P S ˘1 (i.e.
the length of w. If w “ 1 (i.e. w has length 0), then we define λ
Z
r1 pf, wq to be the value of λpf, wq from Table 6. Finally,
w has length 1), then we define λ
r1 pf, ¨q has been defined for all shorter words, then write
if w has length at least 2 and λ
˘1
1
w “ sw with s P SZ and define
´
¯
r1 pf, w1 q .
r1 pf, wq “ λ
r1 pf, sq ¨ β p λ
λ
f
sp

This formula should remind the reader of property TB1 from the definition of a twisted
bilinear map, as should the following claim.
´
¯
r1 pf, w1 q for f P S ˘1 and w, w1 P pS ˘1 q˚ .
r1 pf, ww1 q “ λ
r1 pf, wq ¨ β p λ
Claim 1. λ
Z
A
f
w
p

Proof of claim. The proof is by induction on the length of w. For w of length 0, this is
trivial, and for w of length 1, it holds by definition. Now assume that w has length at least 2
and that the desired formula holds whenever w has smaller length. Write w “ w1 w2 , where
w1 and w2 are shorter words than w. Applying our inductive hypothesis twice, we see that
´
¯
r1 pf, ww1 q “ λ
r1 pf, w1 w2 w1 q “ λ
r1 pf, w1 q ¨ β p
r1 pf, w2 w1 q
λ
λ
fw
p1
ˆ
´
¯˙
1
r
r
r
λ1 pf, w q
“ λ1 pf, w1 q ¨ βfp
λ1 pf, w2 q ¨ βfp
w
p1
w
p2
´
´
¯
¯
1
r
r
r
λ1 pf, w2 q ¨ βfp
λ1 pf, w q .
“ λ1 pf, w1 q ¨ βfp
w
p1

w
{
1 w2

Applying our inductive hypothesis to the first two terms, we see that this equals
´
´
¯
¯
r1 pf, w1 q .
r1 pf, w1 q “ λ
r1 pf, wq ¨ β p λ
r1 pf, w1 w2 q ¨ β p
λ
λ
fw
p

fw
{
w
1

2

r1 pf, wq “ λ
r1 pf, w1 q for f P S ˘1 .
p“w
p1 P Zn , we have λ
Claim 2. For w, w1 P pSZ˘1 q˚ with w
A

1 “ R Y tss´1 | s P S ˘1 u Ă pS ˘1 q˚ .
Proof of claim. Recall that Zn “ xSZ | RZ y. Define RZ
Z
Z
Z
Since any two elements of pSZ˘1 q˚ that map to the same element of Zn must differ by
1 , we can assume without loss of
a sequence of insertions and deletions of elements of RZ
1 . A computer
1
generality that w “ uv and w “ urv for some u, v P pSZ˘1 q˚ and r P RZ

21

r1 pf, rq “ 1. We now apply Claim 1
calculation described in Lemma 7.8 below shows that λ
several times to deduce that
´
´
¯
¯
r1 pf, rq ¨ β p
r1 pf, w1 q “ λ
r1 pf, urvq “ λ
r1 pf, uq ¨ β p λ
r1 pf, vq
λ
λ
fu
fu
p
xr
´
¯
r1 pf, vq “ λ
r1 pf, uvq “ λ
r1 pf, wq.
r1 pf, uq ¨ β p λ
“λ
f
u
p

˘1
r1 pf, ¨q from pS ˘1 q˚ to Γn descends to a map
, Claim 2 implies that the map λ
For f P SA
Z
λ1 pf, ¨q from Zn to Γn . Claim 1 implies that λ1 pf, ¨q satisfies a version of condition TB1 from
the definition of a twisted bilinear map, namely that λ1 pf, z1 z2 q “ λ1 pf, z1 q ¨ βfp pλ1 pf, z2 qq
z1

for all z1 , z2 P Zn . Our next claim is a version of condition TB3. We remark that the
˘1
later.
condition f P SA in it is not a typo; we will extend it to f P SA
¯
´
Claim 3. λ1 pf, zq ¨ βfp αfp pkq ¨ λ1 pf, zq´1 “ αfp pβz pkqq for f P SA , z P Zn , and k P Γn .
z

p “ z. The proof is by induction on the length of w.
Proof of claim. Let w P pSZ˘1 q˚ satisfy w
For w of length 0, the claim is trivial. For w of length 1, there are two cases. For w P SZ ,
the claim follows from a computer calculation described below in Lemma 7.9. For w “ v ´1
with v P SZ , Claim 1 implies that
´
¯
r1 pf, v ´1 vq “ λ
r1 pf, v ´1 q ¨ β p
r1 pf, vq ,
1“λ
λ
f
r1 pf, v ´1 q “ β p
so λ
f

vp´1

´

vp´1

¯
r1 pf, vq´1 . Our goal is to show that
λ

r1 pf, v ´1 q ¨ β p
λ
f

vp´1

´
¯
r1 pf, v ´1 q´1 “ α p pβvp´1 pkqq .
αfp pkq ¨ λ
f

r1 pf, v ´1 q, we see that this is equivalent to showing that
Plugging in our formula for λ
´
¯
r1 pf, vq “ α p pβvp´1 pkqq .
r1 pf, vq´1 ¨ α p pkq ¨ λ
βp
λ
f

f

f

v
p´1

Manipulating this a bit, we see that it is equivalent to showing that
¯
´
r1 pf, vq´1 .
r1 pf, vq ¨ β p α p pβvp´1 pkqq ¨ λ
αfp pkq “ λ
f
f
vp

Using the already proven case w “ v of the claim, the right hand side equals
αfp pβvp pβvp´1 pkqqq “ αfp pkq ,

as desired.

Now assume that w has length at least 2 and that the claim is true for all shorter words.
Write w “ w1 w2 , where w
´1 and ¯w2 are shorter words than w. Applying Claim 1, we see
r1 pf, w1 w2 q´1 equals
r1 pf, w1 w2 q ¨ β p
αfp pkq ¨ λ
that λ
f
w
{
1 w2

r1 pf, w1 q ¨ β p
λ
f

w
p1

ˆ

r1 pf, w2 q ¨ β p
λ
f

w
p2

´

˙
¯
´1
r
r1 pf, w1 q´1 .
αfp pkq ¨ λ1 pf, w2 q
¨λ

22

(13)

Our inductive hypothesis implies that
¯
´
r1 pf, w2 q´1 “ α p pβwp pkqq .
r1 pf, w2 q ¨ β p
pkq
¨λ
α
λ
2
f
fp
f

Thus (13) equals

w
p2

r1 pf, w1 q ¨ β p
λ
f

w
p1

´
¯
r1 pf, w1 q´1 .
αfp pβwp2 pkqq ¨ λ

Another application of our inductive hypothesis shows that this equals
αfp pβwp1 pβwp2 pkqqq “ αfp pβw{
pkqq .
1 w2

r2 . For w P pS ˘1 q˚ and z P Zn , we define λ
r2 pw, zq P Γn by induction on
We now construct λ
A
r2 pw, zq “ 1. If w P S ˘1 (i.e.
the length of w. If w “ 1 (i.e. w has length 0), then we define λ
A
r2 pw, zq “ λ1 pw, zq. Finally, if w has length at least 2 and
w has length 1), then we define λ
r2 p¨, zq has been defined for all shorter words, then write w “ sw1 with s P S ˘1 and define
λ
A
´
¯
r2 pw1 , zq ¨ λ
r2 pa1 , wp1 zq.
r2 pw, zq “ αsp λ
λ
This formula should remind the reader of property TB2 from the definition of a twisted
bilinear map, as should the following claim.
´
¯
1
1
r
r2 pw, wp1 zq for w, w1 P pS ˘1 q˚ and z P Zn .
r
Claim 4. λ2 pww , zq “ αwp λ2 pw , zq ¨ λ
A

Proof of claim. This can be proved by induction on the length of w just like Claim 1. The
details are left to the reader.

The reader might expect at this point that we would prove an analogue of Claim 2 and thus
r2 descends to a map λ2 : AutpFn q ˆ Zn Ñ Γn . However, before we can do this
show that λ
r2 satisfies
we must prove two preliminary results. The first extends Claim 3 to show that λ
a version of condition TB3.

r2 pw, zq¨βwp pαwp pkqq¨ λ
r2 pw, zq´1 “ αwp pβz pkqq for w P pS ˘ q˚ , z P Zn and k P Γn .
Claim 5. λ
A
z
Proof of claim. This can be proved by induction on the length of w just like Claim 3. The
details are left to the reader.

r2 satisfies a version of condition TB1.
The next claim extends Claim 1 to show that λ
´
¯
r2 pw, zz 1 q “ λ
r2 pw, zq ¨ βwp λ
r2 pw, z 1 q for w P pS ˘1 q˚ and z, z 1 P Zn .
Claim 6. λ
A
z

Proof of claim. The proof is by induction on the length of w. For w of length 0, this is
trivial, and for w of length 1, it holds by Claim 1. Now assume that w has length at least 2
and that the desired formula holds whenever w has smaller length. Write w “ w1 w2 , where

23

w1 and w2 are shorter words than w. Applying Claim 4 and our inductive hypothesis, we
see that
´
¯
r2 pw2 , zz 1 q ¨ λ
r2 pw1 , wp2 z wp2 z 1 q
r2 pw, zz 1 q “ αwp λ
λ
1
´
´
¯¯
´
¯
r2 pw2 , zq ¨ βwp
r2 pw2 , z 1 q ¨ λ
r2 pw1 , wp2 zq ¨ βwp
r2 pw1 , wp2 z 1 q . (14)
“ αwp1 λ
λ
λ
2z
1z

´
¯
r2 pw, zq ¨ βwp λ
r2 pw, z 1 q equals
Also, Claim 4 implies that λ
z

´
´
´
¯
¯
¯
r2 pw2 , z 1 q ¨ λ
r2 pw1 , wp2 z 1 q .
r2 pw2 , zq ¨ λ
r2 pw1 , wp2 zq ¨ βw{
αwp1 λ
αwp1 λ
1 w2 z

(15)

Our goal is to prove that (14) equals (15). Manipulating this, we see that our goal is
equivalent to showing that
´
¯¯
´
´
¯¯
´
1
1
w
p2 ´1
r
r
r
r2 pw1 , wp2 zq ¨ βw{
λ
pw
,
z
q
.
β
λ
pw
,
z
q
¨
λ
pw
,
zq
“
α
α
λ
2
2
2
2
2
1
w
p2 z
w
p1
w
p1
1 w2 z

This is an immediate consequence of Claim 5.

We finally prove the promised analogue of Claim 2.
˘1 ˚
r2 pw, zq “ λ
r2 pw1 , zq for
q with w
p “ w
p1 P AutpFn q, we have λ
Claim 7. For w, w1 P pSA
n
zPZ .
1 “ R Y tss´1 | s P S ˘1 u Ă
Proof of claim. Recall that AutpFn q “ xSA | RA y. Define RA
A
A
˘1 ˚
r2 pr, spq “ 1 for
pSA q . A computer calculation described below in Lemma 7.10 shows that λ
1 and s P S ˘1 . Writing z as a product of elements of S ˘1 , we can use Claim 6 to show
r P RA
Z
Z
r2 pr, zq “ 1 for r P R1 . The proof now is identical to the proof of Claim 2; the details
that λ
A
are left to the reader.

r2 descends to a map λ2 : AutpFn q ˆ Zn Ñ Γn . This map is a twisted
Claim 7 implies that λ
bilinear map: Claim 6 implies that it satisfies condition TB1, Claim 4 implies that it satisfies
condition TB2, and Claim 5 implies that it satisfies condition TB3. As discussed at the
beginning of the proof, λ “ λ2 is the twisted bilinear map whose existence we are trying to
prove.

6.3

Proof of L-presentation

We now prove Theorem 6.2.
0 | φpS ˘1 qy be the group with the presentation
Proof of Theorem 6.2. Let Γn “ xSK | RK
Q
IA with the
described in Theorem 6.2. We map each generator of Γn to the generator of Kn,1
0
IA ; it then
same name. Lemma 7.11 below checks that the basic relations RK are true in Kn,1
follows from the naturality from Lemmas 6.3 and 6.4 that the extended relations of Γn are
IA . Therefore we have defined a homomorphism Ψ : Γ Ñ KIA . Since our
also true in Kn,1
n
n,1

24

generating set from Theorem A is in the image of Ψ, we know Ψ is a surjection; our goal is
to show that Ψ is an isomorphism.
For f P AutpFn q, let αf : Γn Ñ Γn be the homomorphism given by Lemma 6.3. Also,
for z P Zn , let βz : Γn Ñ Γn be the homomorphism given by Lemma 6.4. Finally, let
λ : AutpFn q ˆ Zn Ñ Γn be the twisted bilinear map given by Lemma 6.5. Plugging this
data into Theorem 5.5, we obtain a short exact sequence
ρ

1 ÝÑ Γn ÝÑ ∆n ÝÑ Zn ¸r AutpFn q ÝÑ 1
together with homomorphisms ι1 : AutpFn q Ñ ∆n and ι2 : Zn Ñ ∆n such that ρ ˝ ι1 “ id
and ρ ˝ ι2 “ id. The naturality properties of the data in Lemmas 6.3, 6.4, and 6.5 imply
that this short exact sequence fits into a commutative diagram
1 ÝÝÝÝÑ Γn ÝÝÝÝÑ ∆n ÝÝÝÝÑ Zn ¸ AutpFn q ÝÝÝÝÑ 1
§
§
§
§
§
§“
đΨ
đΦ
đ

(16)

IA Ý
ÝÝÝÑ An,1 ÝÝÝÝÑ Zn ¸ AutpFn q ÝÝÝÝÑ 1.
1 ÝÝÝÝÑ Kn,1

By the five lemma, we see that to prove that Ψ is an isomorphism, it is enough to prove that
Φ is an isomorphism. We will do this by constructing an explicit inverse homomorphism
Φ´1 : An,1 Ñ ∆n .
To do this, we first need some explicit elements of ∆n and some relations between those
elements. The needed elements are as follows.
• We will identify the generating set
SK “ tCy,xa , Cxa ,y | xa P Xu Y tMxα ,ryǫ ,xβ s | xa , xb P X, xa ‰ xb , α, β, ǫ P t1, ´1, uu
a

•
•
•
•

b

for Γn with its image in ∆n .
For α P t1, ´1u and distinct xa , xb P X, we define Mxαa ,xb P ∆n to equal ιA pMxαa ,xb q.
For distinct xa , xb P X, we define Pa,b to equal ιA pPa,b q.
For xa P X, we define Ia to equal ιA pIa q.
As in the proof of Lemma 6.4, we will regard Zn as being generated by the set
tMxa ,y | xa P Xu, and for xa P X we define Mxa ,y to equal ιB pMxa ,y q.

The needed relations are as follows. That they hold is immediate from the construction of
∆n in the proof of Theorem 5.5.
0 from the L-presentation for Γ .
• The relations RK
n
• By construction, the group ∆n contains subgroups Γn ¸ AutpFn q and Γn ¸ Zn . Any
relation which holds in Γn ¸ AutpFn q or Γn ¸ Zn (which are generated by the evident
elements) also holds in ∆n .
• For f P AutpFn q and z P Zn , we have λpf, zq “ f zf ´1 f z ´1 . Here f z comes from the
action of AutpFn q on Zn in the semidirect product Zn ¸ AutpFn q. Also, f P AutpFn q
and z P Zn and f z P Zn should be identified with their images in ∆n .

Let An,1 “ xSC | RC y be the presentation given by Theorem 5.7, so
SC “tMxαa ,xb | 1 ď a, b ď n distinct, α P t1, ´1uu Y tPa,b | 1 ď a ă b ď nu
Y tIa | 1 ď a ď nu Y tMxαa ,y ,Cy,xa | 1 ď a ď n, α P t1, ´1uu.
25

r ´1 : SC Ñ ∆n as follows. First, most of the elements in SC have
We define a set map Φ
evident analogues in ∆n , so we define
r ´1 pMxα ,x q “ Mxα ,x and Φ
r ´1 pPa,b q “ Pa,b and Φ
r ´1 pIa q “ Ia
Φ
a b
a b
r ´1 pMxa ,y q “ Mxa ,y and Φ
r ´1 pCy,xa q “ Cy,xa .
and Φ

The only remaining element of SC is Mx´1
, and we define
a ,y
r ´1 pM ´1 q “ Cxa ,y M´1 .
Φ
xa ,y
xa ,y

r ´1 extends to a homomorphism Φ
r ´1 : F pSC q Ñ ∆n . Computer calculations
The map Φ
´1
r prq “ 1 for r P RC , so Φ
r ´1 descends to a
described in Lemma 7.12 below show that Φ
homomorphism Φ´1 : An,1 Ñ ∆n . Examining its effect on generators, we see that Φ´1 is
the desired inverse to Φ, and the proof is complete.

7

Computer calculations

This section discusses the computer calculations used in the previous section. The preliminary section §7.1 discusses the basic framework we use. The actual computations are in
§7.2.

7.1

Framework for calculations

We model AutpFn`1 q using GAP, a software algebra system available for free at http://www.
gap-system.org/. We encourage our readers to experiment with the included functions,
and to look at the code that performs the verifications below. We use the same framework
that the authors used in [6], so we quote part of our explanation of the framework from
there. From [6]:
We use GAP’s built-in functionality to model Fn as a free group on the eight
generators xa, xb, xc, xd, xe, xf, xg, and y. Since our computations never
involve more than 8 variables, computations in this group suffice to show that
our computations hold in general.
We found it more convenient to model the free groups F pSA q, F pSQ q, and F pSK q without
using the built-in free group functionality. Instead we model the generators using lists and
program the basic free group operations directly. Continuing from [6]:
For example, we model the generator Mxa ,xb as the list ["M",xa,xb], Cy,xa
as ["C",y,xa], and Mx´1
as ["Mc",xa^-1,y,xc]. We model Pa,b as
a ,ry,xc s
["P",xa,xb] and Ia as ["I",xa]. The examples should make clear: the first
entry in the list is a string key "M", "C", "Mc", "P", or "I", indicating whether
the list represents a transvection, conjugation move, commutator transvection,
swap or inversion. The parameters given as subscripts in the generator are then
the remaining elements of the list, in the same order.
26

We model words in any of the free groups F pSA q, F pSQ q, and F pSK q as lists of generators.
Continuing from [6]:
We model inverses of generators as follows: the inverse of ["M",xa,xb] is
["M",xa,xb^-1] and the inverse of ["C",xa,xb] is ["C",xa,xb^-1], but the
inverse of ["Mc",xa,xb,xc] is ["Mc",xa,xc,xb]. Swaps and inversions are
their own inverses. Technically, this means that . . . we model structures where
the order relations for swaps and inversions and the relation . . . for inverting
commutator transvections are built in. This is not a problem because our verifications always show that certain formulas are trivial modulo our relations
....
In particular, the inverse of ["Mc",xa,y,xb] is modeled as ["Mc",xa,xb,y]. Continuing
from [6]:
The empty word [] represents the trivial element. We wrote several functions
. . . that perform common tasks on words. The function pw takes any number
of words (reduced or not) as arguments and returns the freely reduced product
of those words in the given order, as a single word. The function iw inverts its
input word and the function cyw cyclically permutes its input word.
. . . The function applyrels is particularly useful, because it inserts multiple
relations into a word. It takes in two inputs: a starting word and a list of words
with placement indicators. The function recursively inserts the first word from
the list in the starting word at the given position, reduces the word, and then
calls itself with the new word as the starting word and with the same list of
insertions, with the first dropped.
Most of the verifications amount to showing that some formula can be expressed as a product
of conjugates of images of relations under the substitution rules. We model the substitution
˘1 ˚
q as its first input
rule function φ using a function named phi. This takes a word in pSQ
and a word from F pSK q as its second input and applies to the second word the composition
of substitution rules given by the first one. We use a function krel to encode the basic
0 from Theorem 6.2. Given a number n and a list of basis elements (or inverse
relations RK
basis elements) from Fn`1 , krel returns the nth relation from Table 5, with the supplied
basis elements as subscripts on the SK -generators. If the parameters are inconsistent, it
returns the empty word. We define a function psi that encodes the action of AutpFn q on
r2
Zn from Section 5.1. We also defines a function lambda that computes the definition of λ
˘1
r1 as well (this is also
above; in the special case that its first input is in SA , it computes λ
r
true of λ2 by definition).

The functions described here and the checklists for the computations described below are
all given in the file BirmanIA.g, which we make available with this paper. Each of the
following lemmas refers to lists of outputs in BirmanIA.g. To check the validity of a given
lemma, one needs to read the code that generates the list, evaluate the code, and make sure
the output is correct (usually the desired output is a list of copies of the trivial word). We
27

have provided a list BirmanIAchecklist that gives the output of all the verifications in the
paper.

7.2

The actual calculations

In addition to the relations from Table 5, we use some derived relations for convenience.
These are output by a function exkrel and we do not list them here (they can be found
by inspecting the code and the outputs from that function). What matters is that these
relations always follow from the relations in the presentation.
Lemma 7.1. All the relations output by exkrel are true in Γn .
Proof. The source for the list exkrellist contains a reduction of one instance of each
output of exkrel to the trivial word using only outputs from krel, images of outputs from
krel under the action of phi, and previously verified relations from exkrel. Each of the
entries in the list evaluates to the trivial word, so the reductions are correct.
There are a few places where we verify identities that are homomorphisms on both sides.
To verify these most efficiently, we use generating sets for Γn that are smaller than SK .
Lemma 7.2. Suppose S is a set containing all the tCxa ,y ua and tCy,xa ua , and for each
choice of a, b, suppose S contains at least one of the eight elements tMxα ,ryǫ ,xβ s uα,β,ǫ . Then
a
b
S is a generating set for Γn .
Proof. Suppose S contains Mxα ,ryǫ ,xβ s and all the conjugation moves above. Then: we
a
b
can use R4 to express Mxα ,ryǫ ,x´β s in terms of elements of S, we can use R5 to express
a
b
Mxα ,ry´ǫ ,xβ s in terms of elements of S, and we can use R7 to express Mx´α
ǫ β in terms
a ,ry ,xb s
a
b
of elements of S. Applying these relations repeatedly allows us to get all of the eight
commutator transvections involving xa and xb from one of them.
IA be the natural surjection. Then regarding S
Lemma 7.3. Let Ψ : F pSK q Ñ Kn,1
Q as a
subset of An,1 , we have

Ψpφpsqptqq “ sΨptqs´1

ps P SQ , t P SK q.

Proof. First we note that this is clearly true, by definition, if s is a swap or inversion.
by conjugating
Further, if we verify this for s “ Mxa ,xb , then it follows for s “ Mx´1
a ,xb
the entire expression by an inversion. So it is enough to verify it for s of the form Mxa ,xb
or Mxa ,y . In the code generating the list phiconjugationlist, we check this equation for
both such choices of s, and for all possible configurations of generator t with respect to the
choice of s.
˘1 ˚
˘1
Lemma 7.4. The map ζ : pSA
q Ñ EndpΓn q induced by φ : SQ
Ñ EndpF pSK qq satisfies

ζpsqpζps´1 qptqq “ t
˘1
and all t P SK .
for all s P SA

28

Proof. In fact, it is enough to show this for t in a generating set for Γn , since then ζpsq˝ζps´1 q
is the identity endomorphism of Γn . If s is a swap or inversion, then the lemma follows
immediately from the definition. So we verify that φpsqpφps´1 qptqq “ t (up to relations of
Γn q for s of the form Mxa ,xb , and for enough choices of t to give a generating set for Γn (using
Lemma 7.2. This computation appears in the code generating the list phiAinverselist.
For s of the form Mx´1
, our computations for s “ Mxa ,xb suffice, after substituting xa
a ,xb
in
each
computation.
for x´1
a
˘1
Ñ EndpF pSK qq satisfies
Lemma 7.5. The map η : F pSA q Ñ AutpΓn q induced by φ : SQ

ηprqptq “ t
for all t P SK and for every relation r P RA from Nielsen’s presentation for AutpFn q “
xSA |RA y.
Proof. It is enough to check that the equation
φprqptq “ t

(17)

holds in Γn for every relation r from Nielsen’s presentation, for choices of t ranging through
a generating set for Γn .
Equation (17) works automatically for r a relation of type N1, since the action φ is defined
˘1
for swaps and inversions using the natural action on tx˘1
1 , . . . , xn u, and these relations
hold for that action.
Equation (17) also works automatically for r a relation of type N2. In this case, the equation
says that s ÞÑ φpsq, for s a transvection, is equivariant with respect to the action of swaps
and inversions. This is apparent from the definition of φ: the definition does not refer to
specific elements xi , but instead treats configurations the same way based on coincidences
between them.
For the other cases, we use computations given in the source code for the lists phiN3list,
phiN4list, and phiN5list. In each list we select a relation r and reduce φprqptqt´1 to 1
in Γn , for choices of t constituting a generating set by Lemma 7.2. In each list we exploit
natural symmetries of the equation to reduce the number of cases considered.
˘1
Ñ EndpF pSK qq satisfies
Lemma 7.6. The map ζ : pSZ˘1 q˚ Ñ EndpΓn q induced by φ : SQ

ζpsqpζps´1 qptqq “ t
for all s P SZ˘1 and t P SK .
Proof. This is like the proof of Lemma 7.4, but simpler. We verify that φpsqpφps´1 qptq “ t
in Γn for s of the form Mxa ,y , for t ranging over a generating set for Γn . This computation
is in the code generating the list phiZinverselist.

29

˘1
Ñ EndpF pSK qq satisfies
Lemma 7.7. The map η : F pSZ q Ñ AutpΓn q induced by φ : SQ

ηprqptq “ t,
whenever r is a basic commutator of generators from SZ and t P SK .
Proof. The computations showing this appear in phiznlist.
Lemma 7.8. For r of the form ss´1 for s P SZ , or rs, ts for s, t P SZ , we have
r1 pf, rq “ 1
λ

˘1
.
in Γn for any f P SA

r1 pf, rq according the definition without
Proof. The meaning here is that we must expand λ
simplifying r (not even cancelling inverse pairs), and then verify that the expression we get
is a relation in Γn . To check the lemma, it is enough to verify that the function lambda
returns relations in Γn when the first input is a generator or inverse generator and the second
input is commutator or the product of a generator and its inverse. The computations for
this lemma this appear in lambda2ndinverselist and lambda2ndrellist.
Lemma 7.9. We have
λ1 pf, zq ¨ βfp

z

for f P SA , z P SZ , and t P Γn .

¯
´
αfp ptq ¨ λ1 pf, zq´1 “ αfp pβz ptqq

Proof. The function psi takes as input a word a in SA and a word b in SZ and returns a
word in SZ representing a b. Since the actions α and β are given by φ, we may rewrite the
expression we are trying to prove as
λ1 pf, zq ¨ φpψpf qpzqq ˝ φpf qptq ¨ λ1 pf, zq´1 “ φpf q ˝ φpzqptq.
We note that this equation is an automorphism of Γn on both sides, so it is enough to verify
it for t in a generating set. Computations checking this identity for all choices of f , z and
t appear in the code generating tb3list.
Lemma 7.10. Suppose r P pSA q˚ is one of Nielsen’s relations for AutpFn q or is a product
˘1
. Then for any z P Zn , we have
f f ´1 for some f P SA
λ2 pr, zq “ 1
in Γn .
Proof. It is enough to show this for generators of Zn . We show this using the function lambda
that encodes the definition of λ2 . The code checking these identities generates the lists
lambda1stinversecheck, lambdaN1list, lambdaN2list, lambdaN3list, lambdaN4list,
and lambdaN5list.
30

0 of the L-presentation for Γ are true when interpreted
Lemma 7.11. The basic relations RK
n
IA
as identities in Kn,1 .

Proof. This is verified in the list verifyGammarellist, which uses the function krel to
generate the relations. All generic and non-generic forms of the relations are checked separately.
Lemma 7.12. The relations from Jensen–Wahl’s presentation for An,1 map to relations
r ´1 , so the map as defined on generators extends to a well defined
of ∆n under the map Φ
´1
homomorphism Φ : An,1 Ñ ∆n .
Proof. This is verified in the list JWfromDeltalist.

References
[1] L. Bartholdi, Endomorphic presentations of branch groups, J. Algebra 268 (2003), no. 2, 419–443.
[2] J. S. Birman, Mapping class groups and their relationship to braid groups, Comm. Pure Appl. Math. 22
(1969), 213–238.
[3] K. S. Brown, Cohomology of groups, corrected reprint of the 1982 original, Graduate Texts in Mathematics, 87, Springer, New York, 1994.
[4] F. Cohen and J. Pakianathan, On automorphism groups of free groups and their nilpotent quotients, in
preparation.
[5] M. Day and A. Putman, A Birman exact sequence for AutpFn q, Adv. Math. 231 (2012), no. 1, 243–275.
[6] M. Day and A. Putman, On the second homology group of the Torelli subgroup of AutpFn q, preprint
2014.
[7] S. Eilenberg and S. MacLane, Cohomology Theory in Abstract Groups. II: Group extensions with a
non-Abelian Kernel, Ann. of Math., 48 (1947), no. 2, 326–341.
[8] B. Farb, Automorphisms of Fn which act trivially on homology, in preparation.
[9] B. Farb and D. Margalit, A primer on mapping class groups, Princeton Mathematical Series, 49, Princeton Univ. Press, Princeton, NJ, 2012.
[10] C. A. Jensen and N. Wahl, Automorphisms of free groups with boundaries, Algebr. Geom. Topol. 4
(2004), 543–569.
[11] N. Kawazumi, Cohomological aspects of Magnus expansions, preprint 2005.
[12] T. Satoh, A survey of the Johnson homomorphisms of the automorphism groups of free groups and
related topics, preprint 2013, arXiv:1204.0876.
[13] J. Nielsen, Die Isomorphismengruppe der freien Gruppen. (German) Math. Ann. 91 (1924), no. 3-4,
169–209.

Matthew Day
Department of Mathematical Sciences, 309 SCEN
University of Arkansas
Fayetteville, AR 72701
E-mail: matthewd@uark.edu

31

Andrew Putman
Department of Mathematics
Rice University, MS 136
6100 Main St.
Houston, TX 77005
E-mail: andyp@math.rice.edu

