arXiv:1711.07797v2 [] 27 Nov 2017

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED
GENERATING SETS AND BASES
JANE GILMAN
Abstract. Let S be a compact Riemann surfaces of genus g ≥ 2
and G a conformal automoprhism group of order n acting on S. In
this paper we give the definition of an adapted generating set and
an adapted basis for the first homology group of such a compact
Riemann surface. This generating set and basis reflect the action
of G in as simple manner as possible. This can be seen in the
matrix of the action of G which we obtain. We prove the existence
of such a generating set and basis for any conformal group acting
on such a surface and find the matrix. This extends our earlier
results on adapted bases and matrices for automorphism groups of
prime orders and other specific groups.

Contents
1. Introduction
2. Method Overview
2.1. Further Details on Method
2.2. Organization

3
3
4
4

Part 1. Preliminaries: Notation, Background and First
Result: Application of the Shreier-Reidemeister Theory
3. Notation
4. Background: Summary of the Schreier-Reidemeister theory
4.1. The rewriting system τ
5. Application of the Schreier-Reidemeister Theorem

5
5
6
7
7

Part 2. Reduction and Elimination
6. Reduction and Elimination Procedures
7. Choosing the Schreier coset representatives

8
8
9

Date: revision of November 28, 2017.
Key words and phrases. conformal automorphism, Schreier-Reidemeister rewriting system, adapted generating sets, and Riemann surfaces.
Some of this work was carried out when the author was partially supported at
ICERM, Princeton University, at the NSF as an IPA or was visitor at the CUNY
Graduate Center.
1

2

JANE GILMAN

7.1. Elliptic Elimination
7.2. Elimination of R-relations: Gluing
7.3. M-elimination
7.4. The Order for the Eliminations
7.5. Gluing Cycles
7.6. M-elimination
8. Removing the M-generators
8.1. The Count
9. Elimination Algorithm
Part 3. Action of G on Γ
10. G action
10.1. Action of G Tails and Prefixes and Orders of Hyperbolic
Generators
10.2. Action on elliptic images in Γ
10.3. Action on hyperbolic images in Γ
10.4. Elements with no fixed points
11. Definition: Adapted Generating Set for Homology
12. Reduction to an adapted homology basis
13. The Matrix of the Action on an Adapted Homology Basis
14. Automorphism Lists
15. Acknowledgements
References
Part 4. Appendices
Appendix A. Summary of Symbols and Conventions
Appendix B. Easier Computation with a Maximal Power
Element
Appendix C. Worked Example
C.1. Notation and the Schreier-Reidemeister Theory and
Theorem
C.2. Elimination of generators and relations
C.3. Lines
C.4. The 24 non-identity Generators
C.5. Images of gx and its powers
C.6. Elimination
C.7. The 72 × 72 Matrix

9
10
10
10
11
11
12
13
14
15
15
15
16
16
17
17
18
18
19
19
19
21
21
21
22
22
23
24
25
26
26
28

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
3

1. Introduction
Our goal here is to derive results about compact Riemann surfaces
with conformal automorphism groups. In particular we will define the
notion of an adapted generating set for first homology group and an
adapted basis, ones that are adapted to the conformal automorphism
group. We prove the existence of such a generating set and basis for
any given group of finite order that acts on a compact surface of a given
genus at least two and find the matrix of the action. The purpose of
the adapted generating set and adapted basis is to reflect the action of
the group in as simple a manner as possible. The original goal was to
use adapted bases to identify the Jacobians corresponding to surfaces
with certain conformal automorphisms and to produce the structure of
a quasi-projective variety on the moduli space of punctured surfaces.
Here we extend results and definitions in [8, 10, 9, 11, 13, 14].
We note that the results and their proofs can be obtained using various equivalent techniques, namely the technique of Schreier-Reidemeister,
curve lifting, or fundamental polygons and surface symbols. Often results from these techniques are used in combination. Here we concentrate on the Schreier-Reidemeister theory as it seems to give the
cleanest proofs once the notation is set. The notation needed can be
cumbersome and some results obtained from other techniques are used
at times.
2. Method Overview
We determine a set of curves on a genus g surface, S, that generate
the fundamental group of S together with the action of the elements of a
finite conformal automorphism group, G, on these curves and the action
on the abelianization of the fundamental group, that is, the action on
an integral basis for the first homology. First applying the SchreierReidemeister Method (section 2.3 of [23]), to our situation we obtain
generators and relations for Γ, the uniformizing group of S. These are
more generators and relations than needed. Thus we eliminate some
generators and relations to obtain a single defining relation for Γ and 2g
generators. We compute the conjugations action of G on the generators
and the matrix of the action of G on the abelianized fundamental group,
the integral homology group. As noted above the proofs of the theorems
using the Schreier-Reidemeister may be preferable to other techniques
because such proofs use a less ad hoc method.
Our main result is to find the adapted generating set and homology
basis and homotopy bases for a conformal group given a surface and
its surface kernel map or equivalently its generating vector and to use

4

JANE GILMAN

the results to describe the action of the group on the generating set
and the basis.
2.1. Further Details on Method. We work with the uniformizing
groups Γ and Γ0 of the surface S and the quotient surface S0 . We let φ
be the surface kernel map, so that φ(Γ0 ) = G and Γ is what is known
as the surface kernel. We then calculate the action of the automorphism group by conjugation on the surface kernel. The elimination of
generators and relations to one relation is done in a manner that first
allows us to compute the action of G on the fundamental group. Usually this will be a cumbersome action, although one can and does write
it down. One consider the image of the action on the first homology,
the abelianization of the fundamental group. This is less complicated
to write down and often equally useful. We find a generating set for
homology on which the action is fairly simple and a homology basis on
which the action is relatively simple.
We use the generating vector or the equivalent surface kernel map,
appropriate automorphisms of Γ0 and G, a well-chosen set of minimal
Schreier representatives and a scheme for the elimination of generators
and relations to obtain Theorem 5.1. This is similar to the proof in the
prime order case. The next main result uses a reduction and elimination
process applied to the result of Theorem 5.1 to obtain the single defining
relation and set of 2g generators for Γ (Theorem 9.1) and finally by
computing the action of G on S we obtain the theorems on adapted
generating sets and basis (Theorems 11.2 and 12.2).
2.2. Organization. This paper consists of three main parts. Part 1
involves elimination to one relation and 2g generators. Part 2 involves
the action of G on Γ, the kernel. Part 3 involves adapted homology
generating sets and bases, their definitions and existence. The main
results including the Definitions 11.1 and 12.1and Theorems 11.2 and
12.2 appear in sections 11 and 12.
Part 1 begins by fixing notation (section 3), next it reviews coverings and the Riemann-Hurwitz count, and then it reviews the SchreierReidemeister theory (section 4). It concludes with the application of
the Schreier-Reidemeister theory to our situation (section 5) to obtain
a set of generators and relation for the normal subgroup, Γ of Γ0 , in
Theorem 5.1 and Corollary 5.2. Part 2 is a section on elimination. In
section 6 and the following sections in this part we reduce the presentation for the normal subgroup to a set of 2g generators and a single
defining relation (Theorem 9.1). In Part 3 we compute the action of
the group G on the normal subgroup Γ0 and we define of an adapted
generating set for homology and adapted homology basis and prove

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
5

their existence. Theorem 11.2, Theorem 12.2 obtaining the matrix of
the action as a corollary.
Part 1. Preliminaries: Notation, Background and First
Result: Application of the Shreier-Reidemeister
Theory
3. Notation
Let S be a compact surface of genus g, G a conformal automorphism
group of order n and S0 = S/G the quotient surface. Assume that
U is the unit disc and that Γ and Γ0 are Fuchsian groups with S =
U/Γ and S0 = U/Γ0 where Γ/Γ0 is isomorphic to G. Γ and Γ0 are,
of course, isomorphic to the fundamental groups of S and S0 with
appropriate choice of base points. Let φ : Γ0 → G be the surface kernel
homomorphism so that Γ is the kernel of φ. . Knowing the isomorphism
between the fundamental group of S and Γ, we speak about the action
of G on S meaning the equivalent action of Γ0 on Γ which is given by
conjugation. We may assume that Γ0 has presentation given by
(3.1)
0
i
Γ0 = ha1 , ..., ag0 , b1 , ..., bg0 , x1 , ..., xr | (Πgi=1
[ai , bi ])x1 · · · xr = 1; xm
i = 1i
Here the mi are positive integers each at least 2 and [r, s] denotes
the multiplicative commutator of r and s. Any elliptic element of the
group is conjugate to one of the xi . No two different xi ’s are conjugate.
Knowing the surface kernel map is equivalent to knowing the generating vector, the vector of length 2g0 + r given by
(φ(α1 ), ..., φ(αg0 ), φ(β1 ), ..., φ(βg0 ), φ(x1 ), ..., φ(xr )).
Let π : S → S/G = S0 . If p is fixed by an element of G, then
Gp , the stabilizer of p is cyclic, say of order mp . We let p0 = π(p).
Then π −1 (p0 ) consists of n/mp distinct points each with a cyclic of
stabilizer of order mp . The point p0 ∈ S0 is called a branch point and
p is called a ramification point. If the covering has r branch points of
order m1 , ..., mr , then over p0 instead of n points, there are mnp (mp − 1)
points. That is, at each point over p0 we are missing mp − 1 points
so there is a total of mnp (mp − 1) missing points. Over p0 there are mnp
ramification points.
The presentation 3.1 is equivalent to there being are r branch points
of order mi , i = 1, ..., r, and thus by the Riemann-Hurwitz relation we
have

6

JANE GILMAN

(3.2)

2g − 2 = n(2g0 − 2) + n · Σri=1 (1 −

1
)
mi

We note for future use that if one has eliminated generators and
relations and one has exactly one relation in which every generator and
its inverse occurs exactly once, then it is equivalent by a the standard
algorithm in [26] to a standard surface presentation. The algorithm
in [26] is given geometrically in terms of cutting an pasting sides of a
fundamental polygon but translates to a purely algebraic algorithm (see
[13]). A standard surface presentation is one given by 2g generators
and one relation which is the product of commutators.
We note that in using 3.1 we may assume by the Poincaréé Polygon
theorem [1, 24] certain angle conditions at the vertices of the elliptic
elements are satisfied. Further, the relation of the presentations for Γ0
and Γ to the branch structure allows us to assume that the order of an
elliptic generator and that of its image in G are the same.
We use ≈ to denote that words in a group are freely equal and ≈h to
denote that two curves are homologous, that is equal as elements of an
integral homology basis and we write the integral homology additively.
For simplicity we use the same notation for a curve, its equivalence class
as an element of the fundamental group and its image in homology.
4. Background: Summary of the Schreier-Reidemeister
theory
In this section we first recall standard terminology, facts and theorems for the Schreier-Reidemeister Theory (see section 2.3 of [23].)
Next we choose a set of Schreier right coset representatives for Γ0
modulo Γ and denote an arbitrary representative by K. We let τ be
the rewriting system so that the generators of Γ are given by SK,a =
−1
KaKA where X denotes the coset representative of X. Our first
result is comes from the application of the Reidemeister-Schreier theorem to our situation (Theorem 2.9 page 94 [23]). It would be nice to
simplify the notation for this, but I have yet to find a better notation.
4.0.1. Schreier Representatives. Let G be a finite group of order n,
Γ0 a group with known presentation, φ a group homomorphism of Γ0
onto G and Γ the kernel of φ. We let K1 , ..., Kn a set of right coset
representatives for Γ0 with K denoting an arbitrary one of these chosen
right-coset representative.

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
7

Definition 4.1. A Schreier right coset function is a right coset function
where the initial segment of any coset is again a right coset representative. It is a minimal if the length of any coset does not exceed the
length of any coset it represents. We call the set of cosets a Schreier
system and denote the coset of word W in Γ0 by W .
Note that we can always choose a set of minimal Schreier representatives, a set where each representative is of minimal length in its
coset.
A rewriting process is process that takes a word that is in Γ but that
is given in the generators of Γ0 and writes it as a word in generators for
Γ. A Schreier-Reidemeister rewriting process is one that uses a Schreier
system. Here we denote our rewriting process by τ .
4.1. The rewriting system τ . Assume Γ0 has presentation given by
generators w1 , ..., wq with relations Ru (w1 , ..., wv ) for some integers q,
u and v where the Ru are words in the generators.
We remind the reader that a Schreier-Reidemeister rewriting process
τ writes a word in the generators of Γ0 that lies in Γ in terms of the
generators SK,v for Γ where K runs over a complete set of Schreier
minimal coset representatives.
We let X denote the coset representative of X in Γ0 . That is, the
element K where φ(K) = φ(X). The element SK,v ∈ Γ is the element
−1
KvKv .
The rewriting process is defined as follows:
Let X = aǫ1i . . . aǫuu , where each ǫi is either +1 or −1. Then
τ (X) = Πri=1 SVǫii ,ai ,
ǫ

i−1
where Vi depends upon ǫi . Namely, if ǫi = +1, then Vi = aǫ11 . . . ai−1
ǫi−1 −1
ai .
and if ǫi = −1, then Vi = aǫ11 . . . ai−1

5. Application of the Schreier-Reidemeister Theorem
Apply the Schreier-Reidemeister Theorem to our situation to obtain:
Theorem 5.1. (Presentation for Γ with Schreier generators)
Let Γ0 have generators
a1 , ..., ag0 , b1 , ..., bg0 , x1 , ...xr
and relations
0
i
R = Πgi=1
[ai , bi ] · x1 · · · xr = 1, xm
i = 1

and let Γ be the subgroup of Γ0 with G as above isomorphic to Γ0 /Γ.
The Γ can be presented with generators

8

JANE GILMAN

SK,ai , SK,bi , i = 1, ..., g0, and SK,xj , j = 1, ..., r
and relations
n

τ (KRK −1 ) = 1, τ (Kxj j K −1 ) = 1, j = 1, ..., r, SM,v = 1
where M is a Schreier representative and v is a generator such that
Mv = Mv
Corollary 5.2. If τ is a Reidemeister-Schreier rewriting process, then
Γ can be presented as a group with 2ng0 + nr generators and n + (n −
1) + Σri=1 mni relations.
n

We refer to the τ (KRK −1 ) relations as the R-relations, the τ (Kxj j K −1 )
as the elliptic or E-relations and the SM,v as the M-relations.
We have 2g0 n + nr generators, which we refer to as the Schreier generators and further distinguish between the hyperbolic Schreier generators and the elliptic Schreier generators, meaning the images of hyperbolic or elliptic elements of Γ0 . The Schreier generators are, of
course, all hyperbolic transformations but we sometimes refer to these
as H-Schreier, E-Schreier and N-Schreier generators or H-generators,
E-generators and M-generators for short. There are n R-relations, nr
elliptic relations, and n − 1 M-relations.
We note that the action of G or Γ0 on Γ is given by conjugation and
if we set φ(K) = gK , then for any word W in Γ.
Equation 5.3. gK (W ) = τ (KW K −1 )
This will be used in section 10.
Our next goal is to show that one can perform Teitze transformations
to obtain a presentation for Γ with 2g generators and one relation that
involves each generator and its inverse exactly once.
Part 2. Reduction and Elimination
6. Reduction and Elimination Procedures
We use elimination procedures to find a presentation of Γ with 2g
generators and one relation where each generator and its inverse occur
exactly once. The types of elimination procedures are defined below
and are termed respectively M-elimination, elliptic elimination and
gluing elimination, for short M,E and Gl elimination. E and Gl eliminations are Teitze transformations of type T 4 in the terminology of
[23] (See page 50.)

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
9

The order in which we use the different type of elimination steps will
be described shortly as well as the count for the number of generators
and relations remaining after given combinations of steps. First we
choose a special set of coset representatives.

7. Choosing the Schreier coset representatives
We could use what is known as short-lex order on the elements of
Γ0 and choose for coset representatives the n shortest words with this
mi
order. We modify this by omitting the x−1
i from our list when xi = 1,
mi −1
as x−1
will appear.
i = xi
We carry out the following steps:
(1) After applying an automorphism of Γ0 , we may assume that the
orders of the elliptic elements satisfy m1 ≤ m2 ≤ · · · ≤ mr .
(2) We order the 2g0 + r generators and the inverses of the hyperelliptic generators as follows:
−1
−1
−1
−1
x1 < x2 < ... < xr < a1 < a−1
1 < a2 < a2 < · · · < ag0 < ag0 < b1 < b1 < · · · < bg0 < bg0 .

(3) We impose lexicographical order on the generators and choose
for the coset representatives K, the n first elements.
7.1. Elliptic Elimination. If x denotes an elliptic generator of order
m, then the equation that governs elliptic is
Equation 7.1. τ (xm ) = S1,x Sx,x · · · Sxm−2 ,x Sxm−1 ,x .
We can solve for Sxm−1 ,x and replace it wherever it occurs in an Rrelation by (S1,x Sx,x · · · Sxm−2 ,x )−1 = 1. This eliminates one generator
and one relation and replaces an R-relation by a modified relation. For
ease of exposition we do not use a separate notation for the modified
R-relation.
Since for the images of every hyperbolic Schreier generator, every
generator and its inverse occurs exactly once in the set of original
R-relations, the same is true for the remaining generators and the
modified R-relations. However, we also have that every remaining
E−Schreier generator and it inverse occurs.
Elliptic elimination will reduce the number of generators by Σri=1 mni
and the number of relations to n.
We note that the images of a given xt that appear in the τ (KRK −1 )
are in distinct r-relation and that exactly one appears in each R-image.

10

JANE GILMAN

7.2. Elimination of R-relations: Gluing.
Definition 7.2. (Gluing) Let R1 and R2 be relations in Γ. If we
have R1 = W1 XW2 and R2 = V1 X −1 V2 , then we can solve for X as
(V1−1 R2 V2−1 )−1 , eliminate X from the list of generators and replace R1
by the relation W1 V2 R2−1 V1 W2 where V1 , V2 , W1 , W2 are words in the
Schreier generators for the kernel Γ and no pair of these four words
contain a common Schreier generator. This process is termed sewing
R1 and R2 along X or gluing R1 and R2 along X.
A gluing operation eliminates X and X −1 . Thus it eliminates one
R-relation and one Schreier generator. We call X a gluing generator
and say that we have glued along X.
7.3. M-elimination. Since the M-generators are ≈ 1, they simply
drop out of the elimination procedure. However, we will at some point
to identify more precisely where and what they are. A procedure for
this is given in section 8.
We also note that the M-generators can be found from the spanning
tree of the Cayley diagram.
7.4. The Order for the Eliminations. We use the following order:
Step 1: Carry out an elliptic elimination for those of the mni elliptic
relations for each of the elliptic relations, i = 1, ..., r.
Step 2: Carry out gluing n − 1 times as described below.
Step 3: Replace every M-generator by 1 in our calculations.
Gluing elimination order: Begin with τ (R) = R1 and consider the
first element Q that appears in R1 . We let R2 be the relation in which
Q−1 occurs and glue R1 and R2 along Q to obtain R̃1 . We consider
the first element Q̃ of R̃1 and locate R3 the relation where Q̃−1 occurs
and sew R̃1 and R3 along Q̃ and continue until we have one relation
left. We assume that the gluing is not along an M-generator and prove
below (Lemma 8.3) that there are enough generators to justify this
assumption.
Remark 7.3. Refinement for later refinement we can : begin with R1
−1
and find the first S1,v 6= 1 that occurs and consider that SK,v
that also
occurs. Find the coset representative K̃ where SK,v occurs in τ (K̃ K̃ −1 )
and glue this to R. Continue until this closes up. The number of copies
will be some integer w that divides n, the order of G. When we have
repeated this until there is one relation left, the product of the number
of relations glued at each step will be n.

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
11

7.5. Gluing Cycles. We consider the generators for Γ after elliptic
elimination and M-elimination and the n modified R-relations.
We can glue in a manner analogous to the determination of cycle
conditions in the Poincare Polygon theorem [1, 24]. Namely,begin with
γ = S1,v1 ∈ τ (R) which has not been deleted, v1 some generator of Γ0 .
−1
Let K be such that S1,v
appears in τ (KRK −1 ) and let the other image
1
of S1,v1 that appears in τ (KRK −1 ) be SL,a where L is one of the coset
representatives. Write γ = S1,v1 and let h1 ∈ G be the element with
h1 (γ) = SL,v1 .
Find h2 (γ) in the same manner. Obtain is a sequence h1 , h2 · · · , ht
of elements of G such that h1 · ht (γ) = γ. We have also obtained
a corresponding cycle of R-relations. We glue along this sequence to
obtain R̃. We have t = mi for some integer mi . The there are coset
n
coset representatives J where the τ (J R̃J −1 which are all distinct.
mi
gK 6= hi for any i we obtain and also along the images of these. That
is we take k1 a coset representative such that τ (k1 Rk1−1 ) is not in the
n
cycle of R-relations. We note if φ(a) = m, then we have m
glued
relations left. We pick the next v such that SK̃,v appears in τ (R),
n
clusters. If we
hφ(v)i ∩ hφ(γ)i = ∅ and apply the procedure to the m
repeat this procedure z times each gluing mz copies of R-clusters, we
must have Πzi=1 mi = n and we are done.
Note each mi divides n. Need to show there are enough such v left.
This requires a coset argument.
It follows from the fact at each step we remove the inverses that
occur that cycle gluing eliminates mni generators.
We have
Lemma 7.4. Gluing along cycles reduces the n relations to one relation
where every generators and its inverse occurs. If v is an E-Schreier
generator of order m, S1,v1 all of its images SKvq ,v1 , q = 1, ..., m − 1
1
occur. If v is an H -Schreier generator, with (φ(v))m = 1, all of its
images SKvq ,v1 q = 1, ..., m − 1 which are not M generators or among
1
the eliminated E-generators occur.
We need a lemma to show that we have enough generators remaining
after M and E elimination to be able to carry out the needed n − 1
eliminations. This follows from Lemma 8.3 below.
7.6. M-elimination. The M-Schreier generators simply disappear from
the relations, but we will need to keep track of where they occur, how
many of them there are, and whether they are elliptic Schreier generators or hyperbolic ones. In section 8 below we present a procedure for

12

JANE GILMAN

carry out the elimination of M-generators which allows us to determine
the action of G on remaining generators.
8. Removing the M-generators
We note that the M-generators can all be found by considering the
spanning tree of the Cayley graph. Here we present a procedure for
what we term the M-removal of the M-generators. First, we consider
the E-Schreier generators that are M-generators.
We use the notation S∗,v when the first subscript is a coset representative which we do not need to specify. In τ (KRK −1 ) = 1 let
K = w1 · · · wt .
±1
Then the generators S∗,w
that appear in the image of τ are Mj
generators, so they drop out of the expression and the image under τ
ends with an S∗,xr .
If any for any of the ∗ these words are M-generators, they are removed and we can solve for S∗,xr−1 .
For those which are not M-words we solve in terms of the remaining
generators. Those which are M-generators will drop out and we will
solve for S∗,xr−2 .
We continue the procedure until we obtain a Schreier generators that
is an M-generators. Reaching the image of [ag0 , bg0 ] in the τ (KRK −1 )
does not present a problem for we consider the subword,
SK̃,ag SK̃a ,b S −1
where K̃ is the appropriate
S −1
−1
0

g0

g0

K̃ag0 bg0 ag0 ,ag0

coset representative.
We can solve for S −1

K̃[ag0 ,bg0 ],bg0

K̃[ag0 ,bg0 ],bg0

and its images under the group and

omit those which are M-words and replace those which are not Mwords by their solutions. We can compute the action of G as needed.
We continue until all M words have been eliminated.
At the end of this procedure, we now have exactly 2g generators
and a 2g × 2g matrix. The action ofG on the rows from which the M
generators have been removed, which we term M-rows of the matrix
is more complicated than in the rows of the adapted generating set,
but only affect at most n lines. This is because some M-rows may
come from removing more than one M-generator. That is, we obtain
a 2g × 2g matrix with at most n lines altered.
Sometimes computing the 2g ×2g matrix from the (2g +n)×(2g +n)
matrix is easier, for example when there is a maximal power Schreier
generator. A maximal power generator is one for which v q = v q ∀qwith1 ≤
q ≤ mv−1 , where we define mv to be the order of φ(v) whether v is elliptic or hyperbolic. (See section B)

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
13

Remark 8.1. Further, if there are no elliptic generators with the same
cyclic group generated by the image as a hyperbolic generator v we will
see that this will also give us two words in the kernel that are fixed
under the element of G, namely φ(v).
8.1. The Count.
Lemma 8.2. The elimination procedure leaves 2g generators.
Proof. If there are no elliptic generators with xm−1 = x−1 , then elliptic
elimination removes Σri=1 mni generators. After elliptic elimination we
have 2ng0 + nr − nΣri=1 mni . We remove a further n − 1 M-generators
and glue along n − 1 generators. We are left with 2ng0 + nr − nΣri=1 mni .
This is precisely 2g generators.
We need to check that after elliptic elimination and M-elimination,
there are still enough generators to remove n − 1 more.

Lemma 8.3. (Enough Generators) There enough generators for Γ to
allow elimination of another n−1 generators after elliptic E-elimination
and M-elimination have been carried out.
Proof. We have Riemann Hurwitz formula again:
1
).
mi
We have eliminated the correct number for the elliptic generators and
M elimination: that is n· Σri=1 (1 − m1i ) + n−1 or n· Σri=2 (1 − m1i ) + n−1.
depending upon whether an elliptic or hyperbolic generator has been
removed.
We want to show the remaining 2g−n·Σri=1 (1− m1i ) = 2+n(2g0 −2) ≥
2n − 1. Since we have also removed n − 1 of the M-generators, we need
2 + 2ng0 − 2n − n ≥ n − 1 or 2 + n(2g0 ) − 3) ≥ n − 1. If g0 ≥ 2,
2g0 − 3 ≥ 1, we are OK. If g0 = 0, for there to exist a Fuchsian group of
genus 0 with r elliptic elements,it must be that −2 + Σri=1 (1 − m1i ) > 0.
Since mi ≥ 2, it must be that r ≥ 3 and the needed equation holds. If
g0 = 1, we must have r ≥ 1 because we must have Σri=1 (1 − m1i ) > 0
for such a Fuchsian group to exist, again the needed equation holds.

2g − 2 = n(2g0 − 2) + n · Σri=1 (1 −

We will later need to refine this count to see where the removed M
generators occur so as to have more information about the action of G
on the kernel.
Lemma 8.4. After applying an automorphism if necessary, we may
assume ∀i = 1, ..., g0 , αi 6= βi . Then each SK,ai and its inverse occur

14

JANE GILMAN

in different τ (KRK −1 ) where K runs over all coset representatives,
Ki , i = 1, ..., n. In a similar manner we may assume applying an automorphism is necessary that in the gluing process we do not need to use
a commutator in which φ(b) = 1
Proof. We note that for gluing that at each step the gluing generators
U and U −1 appear in different relations. Namely, if there is an element U such that UV U −1 Ṽ ) = τ (qbu−1 v −1 ) appears as a subword of
τ (KRK −1 ) for some q, bu, v ∈ Γ0 , then φ(q) is conjugate to φ(v) in G
and we can apply an automorphism of Γ0 to Γ0 to assure that this is
not the case. (See [?] or [4] for lists of automorphism.)
Equivalently we may assume that U and U −1 do not appear in the
same τ (KRK −1 ) for any K. This is clearly true for any elliptic Schreier
generator. Consider all possible ways in which
SK,a = SKaba−1 ,a or
SK,b = SK[a,b],b
could occur for some K and note that under any of the circumstances,
no matter whether or not G is abelian, we can apply an automorphism
to Γ0 to rule these out. See the lists of automorphisms in [21, 22, 4].
Again use the automorphisms list, if need be, to replace the generators by generators under the automorphism Zi as long as βi+1 6= βi
when r = 0 otherwise use the automorphism Uij .

Remark 8.5. Using γ = S1,v and its images under G is equivalent
to using than SK,v because as K varies over all coset representatives
gK (γ) varies over all SK,v .
Remark 8.6. While one can replace the final single relation by one
involving 2g generators for the fundamental group and the product of
their commutators, we do not do so here. The bases and generating
sets we find here are not ones with that intersection matrices although
it can be computed using the method initiated by D. Patterson [17, 13]
and later applied in extended circumstances by [2].
9. Elimination Algorithm
We note that we have shown:
Theorem 9.1. The application of the Schreier-Reidemeister theorem
together with the elimination procedures and their orders of execution
given above gives an algorithm whose output is 2g generators for Γ
and a single defining relation in which every generator and its inverse
occurs.

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
15

Part 3. Action of G on Γ
10. G action
In this part we study the action of G on the kernel. Namely if K is
an arbitrary coset representative we let gK ∈ G denote φ(K) and note
that gK (W ) = τ (KW K −1 ) where W is any word in Γ0 that lies in Γ.
If v is any generator for Γ0 , we also write gKv for gKv . We simplify
the notation by writing since it is understood that we mean the coset
representative of Kv by its position as the first subscript.
We want to compute gW (SK,v ) for any coset representatives W and
K and any generator v of Γ0 . To do so, we need the concept of tails.
10.1. Action of G Tails and Prefixes and Orders of Hyperbolic
Generators. Consider S1,v where v is a generator for Γ0 and that so
that v = w is of length one. Assume that K = w1 · · · wt is a minimal
Schreier right coset representative for some integer t. We calculate
Equation 10.1. gK (S1,v ) = τ (KS1,v K −1 ) = τ (w1 · · · wt vv−1 (w1 · · · wt )−1 ) =
−1
.
τ (w1 · · · wt vw −1(w1 · · · wt )−1 ) = SK,v SK,v
We call SK,v the tail of SK,v and denote it by TK,v . We have
−1
Equation 10.2. gK (S1,v ) = SK,v TK,v

Definition 10.3. We define the order of a hyperbolic generators v of
Γ0 to be m if φ(v) has order m.
Thus all elements of Γ0 have orders and we denote the order of an
arbitrary element, v, by mv .
We next consider the equation
Equation 10.4. τ (v m ) = S1,v Sv,v · · · Svm−1 ,v = 1.
We note that in this expression the tail of Svt ,v will be the inverse of
the preface the segment that occurs after the tail and before Svt+1 ,v .
More generally, we can define the Tail of gL (SK,v ) by setting gL (SK,v ) =
SLK,v TLK,v and note that tails and prefixes in computing the image of
any relation under τ will cancel out.
Regardless of whether S1,v is an E or an H generator considering the
action on the images in homology, we have
Lemma 10.5. Let γ = S1,v where v is any generator of Γ0 and let
gv = φ(v). We have τ (v m ) ≈h γ + gx (γ) + · · · + gxm−1 (γ).
In a similar manner, tails and prefixes cancel in τ (R). If we write γi
and δi and yj respectively for the Schreier words in τ (R) that are the
images of the ai , bi and xj 1 = 1, ..., g0 and j = 1, ..., r, we can write
have

16

JANE GILMAN

0
Lemma 10.6. τ (R) = (Πgi=1
[γi , δi ])y1 · · · yr .
g0
h
τ (R) ≈ (Σi=1 [γi , δi ]) + y1 + · · · + yr ≈h y1 + · · · + yr .

10.2. Action on elliptic images in Γ. We want to compute gK (SL,v )
for L, K coset representatives and v any generator of Γ0 . Suppose x
is an elliptic generator with xm = 1, and x = v with φ(v) = φ(x) = h.
Because this is a minimal Schreier system, the length of v is also 1. We
write hx or hv for h and using equation 10.4 since S1,x = xv −1 ,
−1
Equation 10.7. h(S1,x ) = τ (vxv −1 v −1 ) = S1,v Sv,x Svxv
S −1 S Sv, v.
−1 ,v 1,v v,x

The first and last entries of 10.7 are 1 because they are each an
M-generators.
Lemma 10.8. Assume that x is an elliptic generator of Γ0 with xm = 1
and that v ∈ Γ0 is the generator with x = v, φ(v) = φ(x) = h, xq = v q
for 1 ≤ q ≤ m , then hq (S1,x ) = Svq ,x for all q.
Let γ = S1,x . With the same hypothese as above, we can rewrite
equation 10.4 as
Equation 10.9. hm−1 (γ) ≈h −(γ + h(γ) + · · · hm2 (γ))
For each coset representative gh of G modulo hhi, we have
Corollary 10.10.
(gh ◦ hm−1 )(γ) ≈h −(gh (γ) + (gh ◦ h)(γ) + · · · (gh ◦ hm−2 )(γ)).
Next we consider the action on the hyperbolic Schreier generators of
Γ. We let v by a hyperbolic generator of Γ0 or order m with γ = S1,v .
We have
Equation 10.11. hm−1 (γ) ≈h −(γ + h(γ) + · · · hm−2 (γ))
For each coset representative gh of G modulo hhi, we have
Corollary 10.12.
(gh ◦ hm−1 )(γ) ≈h −(gh (γ) + (gh ◦ h)(γ) + · · · (gh ◦ hm−2 )(γ)).
10.3. Action on hyperbolic images in Γ. We can say that every
SK,v and its inverse appears when v is an H-generator or equivalently
all of the images of S1,v = γ, that is gK (γ), appear or g(γ) appears
∀g ∈ G.

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
17

10.4. Elements with no fixed points. If g ∈ G has no fixed points,
then there is a v ∈ Γ0 with φ(v) = g and φ(v)m = 1 for some m.
Further there is no elliptic generator of Γ0 whose image lies in hgi. We
let p be a prime dividing the order of g and let gc ∈ G satisfy gcp = 1.
Then we know from [14] that gc fixes two curves on the surface.
We now need to address the problem if we do not have a generator
v that works, but rather a word in the generators.
Corollary 10.13. If g ∈ G does not fix any points on the surface S,
then there are at least two curves fixed by g in the basis and all of their
translates under elements of the group are fixed by conjugates of g.
11. Definition: Adapted Generating Set for Homology
We generalize our original definition of an adapted integral homology
basis first to an adapted generating set for the first homology group
with respect to the pair (Γ, G):
Definition 11.1. (Adapted Generating Set for Homology )
Let γ be an arbitrary curve in B, an integral homology basis for S,
and let G be a group of conformal automorphisms of S of order n. The
a set of 2g + n generators SB for the integral homology B, is adapted
to G if for each γ ∈ SB one of the following occurs:
(1) γ and g(γ) are in SB for all g ∈ G and g(γ) 6= γ.
(2) γ and hj (γ) are in SB for all j = 0, 1, ..., mi−2 where h ∈ G is
of order mi , and
hmi−1 (γ) ≈h −(γ + h(γ) + · · · + hmi−2 (γ)).
Further for each coset representative, gh , for G modulo hhi,
we have that gh (γ) and (gh ◦ hj )(γ) are in the set for all j =
0, 1, ..., mi−2 and
i−2

(gh ◦ hmi−1 )(γ) ≈h −(gh (γ) + (gh ◦ h)(γ) + · · · (gh ◦ hm

)(γ)

(3) γ = hr (γ0) where γ0 is one of the curves in item 2 above.
(4) g(γ) = γ for all g ∈ G0 , G0 a subgroup of G of order m.
All of the other n/m images of γ under G are fixed appropriately by conjugate elements or by elements representing the
cosets of G/G0 and are also in SB .
(5) Exactly n of the curves hk (γ) determined by the pair (h, γ) and
the integer k are null homologous where γ is one of the curves
above and h is an element of G.
We have generators for Γ with and one relation. For simplicity we use
the same notation for a generator and its image of the corresponding
curve in first homology.

18

JANE GILMAN

We have shown
Theorem 11.2. Given G, S, S0 , n, g, and r, there is an adapted
generating set for the first homology group containing 2g + n homology
classes of curves. Of these, 2g curves will lie in distinct homology
classes and n will be null-homologous.
12. Reduction to an adapted homology basis
If we can specifically identify the M-generators using the procedure
of section 8 to remove them from an adapted generating set, we will
have an adapted homology basis.
Definition 12.1. Adapted Homology Basis is any set of adapted generators for the first homology from which the images of the null-homologous
M-generators have been removed. It will consists of 2g elements.
Theorem 12.2. (Adapted Bases Exist) For any (Γ0 , S0 , G) with S0
the quotient of the unit disc by the action of Γ0 there exists an integral
homology basis adapted to the action of G on the quotient surface S =
S0 /G.gg The numbers of the different types of elements in the basis
are determined by the surface kernel map or the generating vector in a
manner that can be made precise.
Remark 12.3. The difficulty is, of course, in identifying these generators. This can be done if one starts with the Cayley diagram of
the group and/or its spanning tree. It can also be done if the set of
Schreier generators has a maximal power element (see section B). For
prime order actions this is not a problem [11, 13, 14]. Some examples
of adapted bases can be found in [15] and a short-cut for computing the
matrix using coset representatives with the maximal power property [?].
13. The Matrix of the Action on an Adapted Homology
Basis
Corollary 13.1. The matrix of the action of G with respect to an
adapted will have a collection of sub-blocks of the following type:
(1) Square permutation matrices.
(2) Super permutation matrices. These are square matrices with 1’s
along the super-diagonal, every entry in the last row −1 and all
other entries 0.
(3) At most (n − 1) rows of M-type.

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
19

14. Automorphism Lists
We use some of the automorphisms in the tables below. The initial list, due to Harvey [?], has been expanded by Broughton-Wootton
giving the tables below (page 6 of [4]):
αi
βi
αj
βj
Ui
αi
βi · αi
αi+1
βi+1
Bi
αi · βi
βi
αi+1
βi+1
−1
−1
Ri αi · βi · αi
αi
αi+1
βi+1
−1
−1
σi δ · αi+1 · δ
δ · βi+1 · δ
αi
βi
−1
−1
Zi
αi · αi+1
αi+1
· βi · αi+1 ǫ · αi+1 βi+1
· βi · ǫ
−1
Here δ = [αi , βi ] and ǫ = [αi+1
, βi ]
αi
βi
γj
Note
−1
−1
Bi,j αi · u · γj · u
βi
v · γj · v
u = βi αi−1 · βi−1 · w2
Ui,j
αi
βi · x · γj · x−1 y · γj · y −1 with x and y as below
r−1
0
Here x = αi−1 ·βi−1 ·w2 and y = x−1 ·αi−1 x where w2 = Πgk+1
[αi , βi ]Πk=1
γk .
15. Acknowledgements
This manuscript was completed over a number of years including
times when I was a visitor at and/or supported by ICERM, CUNY
Graduate Center, Princeton University. The term adapted basis was
coined in my PhD thesis. After I wrote the first draft of my thesis, Lipman Bers asked me to explain to him what I was describing about certain subgroups of the Mapping-class group (a.k.a the Tecumüllerüiller
Modular group, the modular group) and their action. He said, ”it
needs a definition”, call it having an adapted basis. Others have since
used this definition and the words he helped me coin. I also thank M.
Condor for a helpful conversations, especially during a conference in
Linkoping.
References
1. Beardon, A. The Geometry of Discrete Groups Springer-Verlag, Graduate Texts
in Math #91 (1983).
2. Behna, Antonio, Rodrguez, Rubi and Rojas, A. Adapted hyperbolic polygons
and symplectic representations for group actions on Riemann surfaces Journal
of Pure and Applied Algebra 217 (2013) 409426
3. Broughton, S. Allen Simple Group Actions on hyperbolci Riemann surfaces of
least area Pacific J. Math 158 (1993), no. 1, 23-48.
4. Broughton, S. Allen and-Wootton, A. Finite abelian subgroups of the mapping
class group Algebr. Geom Topol #7 (2007) 1651-1697.
5. Conder, Marston Experimental Algebra Math. Chronicle 20 (1991), 1-11

20

JANE GILMAN

6. Conder, Marston D. E. and Kulkarni, Ravi S. Infinite families of automorphism groups of Riemann surfaces in Discrete groups and geometry (Birmingham, 1991), London Math Soc Lecture Note Ser 173 Cambridge Univ Press
Cambridge (1992).
7. Baginski, Czeslaw, Gromadzki, Grzegorz, and Hidalgo,Ruben A. On purely
non-free finite actions of abelian groups on compact surfaces, in press.
8. Gilman, J. Relative Modular Groups in Teichmller Spaces, Thesis, Colombia
University (1971).
9. Gilman, J. Compact Riemann Surfaces with Conformal Involutions, Proceedings Amer Math Soc 37 (1973), 105-107.
10. Gilman, J. On the Moduli of Compact Riemann Surfaces with a Finite Number
of Punctures in Discontinuous Groups and Riemann Surfaces, Annals of Math
Studies 79 (1974), 181-205.
11. Gilman, J. A Matrix Representation for Automorphisms of Riemann Surfaces,
Linear Algebra and its Applications 17 (1977), 139-147.
12. Gilman, J. Intersection Matrices for Adapted Bases (with David Patterson)
in Riemann Surfaces and Related Topics, Annals of Math. Studies 97 (1981),
149-166.
13. Gilman, J. Canonical Symplectic Representations for Prime Order Conjugacy
Classes of the Mapping Class Group, Journal of Algebra, 318 (2007), 430-455.
14. Gilman, J. Prime Order Automorphisms of Riemann surfaces, in Proceedings
of the International Workshop on Teichmüller Theory and Moduli Problems,
HRI Lecture Notes Series, Ramanujan Mathematical Society, 10 (2009), 229246.
15. Gilman, J. Computing Adapted Bases for Conformal Automorphism Groups of
Riemann Surfaces Proc. Linkoping 2013 Conference, AMS Conn. Math., (2014)
137-153.
16. Gilman, J. The Maximal Power Property for Schreier Coset Representatives,
in preparation.
17. Gilman, J. and Patterson, D. Intersection Matrices for Adapted Bases (with
David Patterson) in Riemann Surfaces and Related Topics, Annals of Math.
Studies 97 (1981), 149-166.
18. Gonzalez-Diez, Gabino and Harvey, W.J. On families of algebraic curves with
automorphisms AMS Con Math 331 (2002), 262-237.
19. Gonzalez-Diez, Gabino and Harvey, W.J. Moduli of Riemann Surfaces with
Symmetry in Discrete groups and Geometry, LMS Lecture Note Series no. 173
(1991), 75-93.
20. Gonzalez-Aguilera, V and Rodriguez, R.E. On principally polarized abelian
varieties and Riemann surfaces associated to prisms and pyramids in Lipa’s
legacy, Contemp. Math. 211 AMS (1997), 269-284.
21. Harvey, William J. Cyclic groups of automorphisms of a compact Riemann
surface, Quart. J. Math. Oxford Ser. 17 (1966) 8697.
22. Harvey, W. J. On branch loci in Teichmüller space, Trans. Amer. Math. Soc.
153 (1971) 387399.q
23. Magnus, Karass , and Solitar Combinatorial Group Theory, Wiley, (1966).
24. Maskit, B. Kleinian groups, Springer-Verlag Grundleheren der mathematischen
Wissenschaften # 287 (1987)

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
21

25. Riera, G. and Rodriguez, R. Riemann Surfaces and abelian varieties with an
automorphism of prime order Duke Math J. 69 (1993), 1990217.
26. Springer, G. An Introductions to Riemann Surfaces Chelsea AMS, (2002) and
(1957).

Part 4. Appendices
Appendix A. Summary of Symbols and Conventions
≈ freely equal
≈h homologous
v the right coset representative of v.
−1
SK,v = KvKv
gv the image in G of φ(v)
When write SW,z without a bar over the W , it is understood that
the first subscript is the coset representative of W .
Since tails and prefixes cancel, we write Xg(X)g 2(X)... etc and interchange it with SK,X when g = φ(K) without further comment.
Appendix B. Easier Computation with a Maximal Power
Element
We begin with a lemma.
Lemma B.1. If v is an order m generator of Γ0 , then Sxm−1 ,x is an
M generator if and only if xm = xm . In that case, SKxq ,x is an Mgenerator for each q = 1, ..., m − 1 for each coset representative K,.
Proof. We consider τ (xm ) = 1 where x is an elliptic generator of order
m and the relation S1,x Sx2 ,x · · · Sxm−2 ,x Sxm−1 ,x = 1
We will solve for Sxm−1 ,x and eliminate it as a generator. We need
−1

to check whether xm−1 x = xm−1 x

= 1, that is, whether xm−1 x =

−1

xm−1 x But the right hand side is xm = 1.
This is xm−1 = x−1 . But we write xm−1 = xm−1 . Whence because
these are Schreier generators xq = xq for all q = 1, ..., m − 1.
We also calculate in this case that SKxm−1 ,x is an M-generator if
Sxm−1 ,x is one.
n
m images.
Thus if it is an M-generator we remove m
Thus we may assume that either one xj gives an M-generator or
none do.

Corollary B.2. If Γ0 contains one elliptic xi for which Sxm−1 ,x =
i
i
1, then it contains exactly one such xi and in this case all of the n

22

JANE GILMAN

elements SKxq ,xi are M-generators and thus are eliminated from the
i
set of Schreier generators.
We can also apply this to a hyperbolic generator where m is the
order if φ(v).
Definition B.3. Elements of this type are termed maximal power elements.
Corollary B.4. If Γ0 contains a hyperbolic generator v for which
Svm−1 ,v = 1, then it contains exactly one such v and in this case all of
the n elements SKvq ,v are M-generators and thus are eliminated from
the set of Schreier generators.
It follows from the above, that if the set Schreier representatives
contains a maximal power element, then the adapted basis will not
have rows of type M because all of the M-words will be of the form
SK,v or SK,x depending upon whether the elements is a hyperbolic v or
an elliptic x.
Appendix C. Worked Example
During the September 25 − 29, 2017 workshop at Banff, Grzegorz
Gromadzki asked about an adapted homology basis for the group G =
Z5 × Z5 acting on a surface S of genus g with quotient surface S0 of
genus g = 0.
We compute an adapted homology basis reflecting for the action of
the group G where the surface S0 is uniformized by Γ0 with presentation
(C.1)

Γ0 = hx1 , x2 , x3 , x4 , x5 , x5 , x6 |x5j ; j = 1, ..., 6; x1x2 x3 x4 x5 x6 i.

If U denotes the unit disc or the upper half plane model for hyperbolic
two-space, we have S0 = UΓ0 . Let φ : Γ0 → G. Set Γ = Kerφ, the
kernel of φ. We choose generators for G given by Grzegorz Gromadzki
listed in a section below C.4 and choose the 25 coset representatives
also listed there. Note that the genus of g of S is 36 as calculated by
the Riemann Hurwitz relation so that the matrix of the action of G on
an integral homology basis for S will be a 2g × 2g matrix, that is, a
72 × 72 matrix.
C.1. Notation and the Schreier-Reidemeister Theory and Theorem. We recall the notation and the statement of the Reidemeister
Theory and the Reidemeister Theorem as applied to this situation using [23].
Namely, for any element v ∈ Γ0 we denote its coset representative
by v and a generator for Γ0 by SK,xj where K runs over the complete

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
23

set of 25 coset representatives {1, xij , j = 1, ...6, i = 1, ..., 4} and SK,v =
−1

KV Kv .
Here we have chosen 25 right coset representatives as listed below
(section C.4) and we let K denote an arbitrary one of the right coset
representatives.
We remind the reader that a Schreier-Reidemeister rewriting process
τ writes a word in the generators of Γ0 that lies in Γ in terms of the
generators SK,v for Γ where K runs over a complete set of Schreier
minimal right coset representatives.
The rewriting process is defined as follows: Let X = aǫ1i . . . aǫuu , where
each ǫi is either +1 or −1 and ai is a generator of Γ0 . Then
τ (X) = Πri=1 SVǫii ,ai ,
ǫ

i−1
where Vi depends upon ǫi . Namely, if ǫi = +1, then Vi = aǫ11 . . . ai−1
ǫi−1 −1
ai .
and if ǫi = −1, then Vi = aǫ11 . . . ai−1
We apply Theorem 2.9 page 94 of [23] to our situation to obtain

Theorem C.1. We have generators SK,xj , j = 1, ..6 with relations
τ (KRK −1 )andτ (Kx5j K −1 ), j = 1, ..., 6whereR = x1 x2 x3 x4 x5 x6 .
Here K runs over the full set of coset representatives.
Further SM,v ≈ 1 if Mv = Mv and such elements are termed Mgenerators.
G acts on Γ0 by conjugation and we denote the image of φ(v) by gv
for any word v ∈ Γ0 .
We think of the images of the τ (Kx5 K −1 ) as being broken up into
5 non-conjugate word products each of length 5 and we refer to theses
as lines (see section C.3).
C.2. Elimination of generators and relations. We eliminate generators and relations using Tietze transformations of types T2 and T4
(page 50 of [23]) that correspond to gluing or to solving for a single
generator and replacing or eliminating.
We follow the steps listed below with some notation and details as
described in the sections referenced.
Step 1: We consider the τ (Kx56 K −1 ) which yield 6 distinct relations
each involving 5 generators. We remove these 30 generators
and use these relations to glue the 25 τ (KRK −1 ) relation into
5 relations.
Step 2: We consider the 5 non-conjugate lines τ (Kx55 K − 1) and use
one of these lines to glue the five remaining relations to one

24

JANE GILMAN

single relation. For simplicity assume this is line #5. (See
sections C.3 and C.6.3.)
Step 3: We remove the 24 non-identity Schreier generators (section
C.4). In the situation for Schreier generators involving x6 this
creates some complications addressed in the next step.
Step 4: We consider the τ (xRx−1 ) and find the values of x for which
S1,x6 , Sx6 ,x6 , Sx26 ,x6 , Sx36 ,x6 occurs. Since all of these are ≈ 1, we
can solve for the Sxx1 x2 x3 x4 ,x5 occur that occur for each of the
four. Call these four V1 , V2 , V3 , V4 . We can solve these in terms
of the four other words in the line each involving four Schreier
generators with x1 , x2 , x3 , x4 (section C.6.3).
Step 5: For each of the five xj lines, where j = 1, 2, 3, 4, we can eliminate the first line τ (x5j ) as its first elements are M-generators
making the last elements ≈ 1. This eliminates 4 × 5 = 20
Schreier generators (section C.6.1).
Step 6: For each of the four remaining such lines we solve for the last
element keeping the first four and calculate the action of G
(or gx as described below (sections C.5 and C.6.2). We obtain
for each xj and its images 4 matrices that are 4 × 4 of the
form:
The matrix has16 4 × 4 sub-blocks. of the form M4 =

0
1
0
0
 0
0
1
0 


 0
0
0
1 
−1 −1 −1 −1
Step 7: We have the full 72 × 72 matrix with

 a 64 × 64 submatrix
M4 0
0
0
 0 M4 0
0 

broken into 16 4 × 4 blocks or M16 = 
 0
0 M4 0 
0
0
0 M4
5
8: Finally, we look at the remaining 3 lines from xj x5 xj −1 where j =
2, 3, 4 and obtain as in section C.6.3 (or section C.6.4) a 2 × 2
block and a 72 × 1 for each of these three lines completing the
72 × 72 matrix.
C.3. Lines. We refer to the non-conjugate lines of xj , j = 1, ..., 6 as
line
line
line
line
line
line

#1:
#2:
#3:
#4:
#5:
#6:

τ (K1 T K1−1 ) = 
τ (K2 T K2−1 ) = 
τ (K3 T K3−1 ) = 
τ (K4 T K4−1 ) = 
τ (K5 T K5−1 ) = 
τ (K6 T K6−1 ) = 

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
25

where K1 = id and {Ki |i = 1, 2, ..., 6} and T = x5 as these run over
a complete set of coset representatives that gives over the set of 6 lines
a complete set of 25 Schreier generators for Γ. However for T = x5j for
each j in the line #j is the same up to conjugacy as line #1.
−1
For example, in computing τ (x1 x52 x−1
1 ) = S1,x1 Sx1 ,x2 Sx1 x2 ,x2 Sx1 x2 ,x2 ,x2 Sx1 x22 ,x2 Sx1 x32 ,x2 Sx1 x42 ,x2 S1,x1
Sx1 ,x2 Sx1 x2 ,x2 Sx1 x2 ,x2 ,x2 Sx1 x2 ,x2 Sx1 x3 ,x2 Sx1 x4 ,x2 , we need to compute the
2

2

2

coset representatives x1 xt2 . Here the S1,x1 terms have been omitted
because they are freely equal to 1.
For the sake of brevity, we note that a typical line looks like
 = 1
and speak of the first, second ... , last element of the line when the
subscripts are understood.
C.4. The 24 non-identity Generators. Greg asked for the following
generators:
(3, 0), (4, 4), (1, 2), (1, 3), (1, 4), (0, 2)
(3, 0)2 = (6, 0) = (1, 0)
(3, 0)3 = (3, 0)(1, 0) = (4, 0)
(4.4)2 = (3, 3)
(4, 4)3 = (1, 1)
(1, 2)2 = (2, 4)
(1, 2)3 = (2, 0)
(1, 3)2 = (2, 1)
(1, 3)3 = (3, 4)
(1, 4)2 = (2, 3)
(1, 4)3 = (3, 1)
(0, 2)2 = (0, 4)
(0, 2)3 = (0, 1)
Thus we can take 1,xi , x2i , x3i andx4i i = 1, ..., 6 as coset reps. These
are 25 and all will give M-generators. We have
We can compute the images of the powers of the xj under φ.
φ(x1 ) = (3, 0) φ(x21 ) = (1, 0) φ(x31 ) = (4, 0) φ(x41 ) = (2, 0)
φ(x2 ) = (4, 4) φ(x22 ) = (3, 3) φ(x32 ) = (2, 2) φ(x42 ) = (1, 1)
φ(x3 ) = (1, 2) φ(x23 ) = (2, 4) φ(x33 ) = (3, 1) φ(x43 ) = (4, 3)
φ(x4 ) = (1, 3) φ(x24 ) = (2.1) φ(x34 ) = (3, 4) φ(x44 ) = (4, 2)
φ(x5 ) = (1, 4) φ(x25 ) = (2, 3) φ(x35 ) = (3, 2) φ(x45 ) = (4, 1)
φ(x6 ) = (0, 2) φ(x26 ) = (0, 4) φ(x36 ) = (0, 1) φ(x46 ) = (0, 3)

26

JANE GILMAN

C.5. Images of gx and its powers. We compute the action of G on
γ noting that gx (W ) = τ (xW x−1 ) where W is any word in the Schreier
generators if φ(x) = gx . Need to fix or add
Usually if we compute gW (S1,v ) = τ (w1 · · · wt S1,v (w1 · · · wt )−1 where
W = w1 · wt is a minimal Schreier generator we obtain SW,v multiplied
−1
−1
by the product of words denoted by TW,v
so that gW (S1,v ) = SW,v TW,v
.
We term TW,v the Tail of gW . However, in this case because all of our
Schreier representatives are M-generators we have a simpler situation.
We need to compute gxt (Sxq ,x ) where x is an xi , i = 1, ..., 5 and q =
1, ..., 4.
τ (xt Sxq ,x x−t ) =
−1
S1,x Sx,x · · · Sxq−1 ,x Sxq ,x Sx−1
.
q ,x (S1,x Sx,x · · · Sxq−1 ,x )

But because xt is an M-generator for each t = 1, 2, 3, 4, the first and
last q elements are freely equal to 1.
If γ = S1,x and x = x
−1
gx (γ) = τ (xxx−1 x−1 ) = S1,x Sx,x Sx,xx S1,x
= Sx,x Sx,x

We also compute that in τ (xxxxxxx−1 ) = gx (τ (x5 )) Sx,x has a prefix
−1
which we denote by Px,x and that Px,x = T1,x
so that these will cancel
n
and if γ = S1,x , then τ (x ) = 1 can be written as
γgx (γ)gx2 (γ)gx3 (γ)gx4 (γ) = 1
and a similarly for τ (R) so that if γ1 = S1,x1 , γ2 = S1,x2 , γ3 = S1,x3 ,
γ4 = S1,x4 γ5 = S1,x5 and γ6 = S1,x6 , we have
τ (R) = γ1 ·[(gx1 x2 )(γ2 )]·[gx1 ·x2 ·x3 (γ3 )]·[gx1 x2 x3 x4 (γ4 )]·[gx1 x2 x3 x4 x5 (γ5 )]·[gx1 x2 x3 x4 x5 x6 (γ6 )].
Here we used τ (R) = S1,x1 Sx1 , x2 Sx23 ,x3 Sx33 ,x4 Sx2 ,x5 Sx46 ,x6
Below we carefully compute τ (yx5 y −1) = Sy,x Syx,x Syx2 ,x Syx3 ,x Syx4 ,x =
1 where x = x1 , x2 , x3 , x4 , x5 or x6 .
C.6. Elimination. In this section we carry out very carefully some of
eliminations referred to earlier.
C.6.1. Elimination of line #1. For each xj line #j is the same as line
#1. Thus we adjust the numbering for each xj so that there are 5 lines
eliminating what was previously termed line #j.
For each xj , j = 1, ..., 5, line #1 gives τ (x5 ) =  But the first
four boxes represent M generators ≈ 1. Thus the last box does not
contribute a generator.

CONFORMAL AUTOMORPHISM GROUPS, ADAPTED GENERATING SETS AND BASES
27

C.6.2. Elimination along lines #2 − 5 for xj , j = 1, 2, 3, 4. For each
xj , j = 1, ..., 4 and for each coset representative y we have τ (yRy −1) =
. We use one image for each of the five non-conjugate lines.
Thus we can solve for generator in the last box and replace it by the
product of the inverses of the others.
Thus each lines #(2-5), we have 4 generators. This is a total of 16
generators.
That is 16 × 4 = 64 generators.
C.6.3. Elimination along the x5 lines. We for x5 eliminate line #5 for
gluing and we eliminate line #1.
This leaves 3 lines each of which contributes 4 generators or a total
of 12 generators.
That is 76 generators. To compensate note that when we computed
τ (Kx1 x2 x3 x4 x5 x6 K −1 ), we obtained four of the form Sxi6 ,x6 ≈ 1, i =
−1
1, 2, 3, 4. For these, we obtain a relation that S∗∗,x
can be written
5
as the product of words in the S∗∗∗,xt where t = 1, 2, 3, and 4. Here
The ∗∗ and the ∗ ∗ ∗ denote the appropriate first subscript in Schreier
generators that occur. This can be computed.
Thus in the 3 lines each with 4 generators, we can eliminate the
last one involving an S∗∗∗,x5 and in computing the matrix of the action
instead of a 4× 4 matrix,
we obtain a 3 × 3 matrix of the form with a
0 1 0
3 × 3 matrix  0 0 1  but the last row is part of the row of length
0 0 0
72 where there are other entries which can be calculated. These will
be 0, 1 or −1.
That is, we omit a further 4 generators and have 72 remaining.
C.6.4. Alternate phrasing. We have τ (xx55 x−1 ) = Sx,x5 Sxx5 ,x5 Sxx2 ,x5 Sxx3 ,x5 Sxx4 ,x5
5
5
5
So we eliminate Sxx4 ,x5 and replace it by the product of inverses. We
5
also have τ (yx1 x2 x3 x4 x5 x6 y −1 ) = 1 But as y varies over x1 , x2 , x3 , x4 , x5 , x6
we obtain 4 instances where the x6 term is S1,x6 , or Sx6 ,x6 , Sx26 ,x6 , Sx36 ,x6
All of which are ≈ 1. Thus the term SK,x6 drops out and we can
then solve for the SKx−1,x in terms that only involve x1 , x2 , x3 orx4 as
5
6
the subscript in the Schreier generators.
C.6.5. Further notation. We note τ (xx1 x2 x3 x4 x5 x6 x−1 ) =
−1
Sx,x1 Sxx1 ,x2 Sxx1 x2 ,x3 Sxx1 x2 x3 ,x4 Sxx1 x2 x3 x4 ,x5 = Sxx
.
1 x+2x3 x4 x5 ,x6

28

JANE GILMAN

Solve for x such that the right hand side is one of S1,x6 , Sx6 ,x6 , Sx26 ,x6 ,
or SX63 ,x6 each of which is ≈ 1. There are four such x, call them
Y1 , Y2 , Y3 , Y4
The solve for the corresponding
Sxx1 x2 x3 x4 ,x5 = (Sx,x1 Sxx1 ,x2 Sxx1 x2 ,x3 Sxx1 x2 x3 ,x4 )−1 Sxx1 x2 x3 x4 ,x5
where x = Y1 , Y2 , Y3 , Y4. Then looks at the lines τ (xi x45 x−1
i ) = Ai Bi Ci Di Ei .
We have gx (Ai ) = Bi , gx (Bi ) = Ci , gx (Ci ) = Di , gx (Di ) = Ei , gx (Ei ) =
Ai . We have solutions for Ei in terms of Ai , Bi , Ci , Di but also solutions for Ei in terms of (S∗, x1 S∗x1 ,x2 S∗x1 x2 ,x3 S∗x1 x2 x3 ,x4 )−1 Thus we
eliminate the Ei and the g(Di ) to obtain for each ofthe 3 lines,
 the
0 1 0
elements Ai , Bi , Ci giving a 2 × 3 matrix of the form
and
0 0 1
a 72 × 1 matrix with 0’s in the Ai , Bi Ci slots but appropriate −1’s in
other generator’s slots.
We call this line in the matrix an Yi L5 line.
C.7. The
 72 × 72 Matrix.The matrix has 16 4 × 4 sub-blocks of the
0
1
0
0
 0
0
1
0 

form 
 0
0
0
1 
−1 −1 −1 −1
and four other 2 × 2 submatrix blocks along with 3 lines of the form
Yi L5 i = 1, 2, 3.
This gives a 72 × 72 matrix that gives the action of G using where
each entry is only 1, −1, or 0
Mathematics and Computer Science Department, Rutgers University, Newark, NJ 07102
E-mail address: gilman@rutgers.edu, jgilman@math.princeton.edu

