PRIMITIVE CURVE LENGTHS ON PAIRS OF PANTS.

arXiv:1506.03633v2 [math.GR] 7 Jul 2016

JANE GILMAN
Dedicated to Gerhard Rosenberger and Dennis Spellman in their 70th birthdays
Abstract. The problem of determining whether or not a nonelementary subgroup of P SL(2, C) is discrete is a long standing
one. The importance of two generator subgroups comes from
Jørgensen’s inequality which has as a corollary the fact that a nonelementary subgroup of P SL(2, C) is discrete if and only if every
non-elementary two generator subgroup is. A solution even in the
two-generator P SL(2, R) case appears to require an algorithm that
relies on a the concept of trace minimizing that was initiated by
Rosenberger and Purzitsky in the 1970’s Their work has lead to
many discreteness results and algorithms. Here we show how their
concept of trace minimizing leads to a theorem that gives bounds
on the hyperbolic lengths of curves on the quotient surface that
are the images of primitive generators in the case where the group
is discrete and the quotient is a pair of pants. The result follows
as a consequence of the Non-Euclidean Euclidean algorithm.

1. Introduction
The problem of determining whether or not a non-elementary subgroup of P SL(2, C) is discrete is a long standing one. The importance
of two generator subgroups comes from Jørgensen’s inequality which
has as a corollary the fact that a non-elementary subgroup of P SL(2, C)
is discrete if and only if every non-elementary two generator subgroup
is. A solution even in the P SL(2, R) case appears to require an algorithm that relies on a the concept of trace minimizing. This concept
was initiated and its use pioneered by Rosenberger and Purzitsky in the
1970’s [17, 18, 20, 19] Their work has lead to many discreteness results
and algorithms. For a more recent summary see [7]. Here we show how
their concept of trace minimizing leads to a theorem that gives bounds
Date: submitted 5/25/2015; revised 5/3/2016.
1991 Mathematics Subject Classification. primary:30F40, 20H10; secondary:
57M60, 37F30, 20F10.
Key words and phrases. Pair of Pants, Isometry of hyperbolic space, Fuchsian
group, Trace Minimizing, Algorithm, Discreteness, Curve Length, Intersections,
non-Euclidean Euclidean Algorithm.
1

2

JANE GILMAN

on the hyperbolic lengths of primitive curves on the quotient surface in
the case where the group is discrete and the quotient is a pair of pants.
A primitive curve is, of course, the image of a primitive generator in a
rank two free group.
The main result of this paper appear in section 6 (Theorems 6.1,6.2
6.4 6.5). When the group is discrete and free, the conjugacy class of
any primitive curve corresponds to a rational number. The number of
so-called essential self intersections of the image of the curve on the
quotient is given by a formula that depends upon the rational [13]. In
particular, if r = p/q is the rational in lowest terms, let I(r) = I(p/q)
denote the number of essential self-intersections. The discreteness algorithm finds the length of the three shortest simple closed curve on
the pair of pants, as well as the longest seam length on any quotient.
The length of a curve on the quotient is given by the translation length
of the matrix and is found using the trace of the matrix. We are able
to bound the length of any primitive curve in terms of I(p/q) and the
lengths of the three shortest geodesics, Theorem 6.4. We obtain other
variants on the upper and lower bounds for the translation length of
any primitive element of the group using the entries in the continued
expansion of r and the translation length of the shortest curves, Theorem 6.1, and we express the longest seam length as a limit, Theorem
6.5.
The results stem from casting the discreteness algorithm as a NonEuclidean Euclidean algorithm [11].
We note that other authors bound the lengths of curves, primitive
or not, in terms of the number of self intersections (see [1, 3, 4] and
references given there).
The paper builds on a theory of curves on surfaces and algorithms,
especially the Non-Euclidean Euclidean Algorithm (the NEE for short)
and is organized with a number of preliminary sections which can be
viewed as an exposition for the uninitiated or skipped for those familiar
with the theory. The new results appear in section 6. More specifically
in section 2 notation is set, in section 3 the Gilman-Maskit algorithm is
given (the GM algorithm for short), the F -sequence is defined and the
Non-Euclidean Euclidean Algorithm is given. Section 4 reviews the
standard notation for the hyperbolic hexagon determined by a twogenerator group and in section 5 the winding and unwinding process
of the algorithm is explained.

3

2. Preliminaries: Notation and terminology
In this section we set notation and review terminology. In the next
sections we summarize results that will be needed.
In what follows we let G = hA, Bi be a non-elementary subgroup of
P SL(2, C) or equivalently the group of isometries of hyperbolic threespace H3 .
We will concentrate on P SL(2, R) which we identify with the group
of
of hyperbolic two-space. We recall that a matrix M =
 isometries

a b
with ad − bc = 1 in SL(2, R) acts on the upper-half plane
c d
H2 = {z = x + iy | x, y ∈ R, y > 0} by z → az+b
. That is, a
cz+d
matrix induces a fractional linear transformation. Since a matrix and
its negative yield the same action, we identify the action with that of
P SL(2, R). Further if H2 is endowed with the hyperbolic metric, these
transformations are isometries in the metric. We let tr(M ) denote the
trace of M .
We recall that elements of the isometry group H2 are classified by
their traces and equivalently by their geometric actions. If |tr(M )| > 2,
M is hyperbolic and fixes two points on the boundary of H2 (i.e. the
real axis) and a hyperbolic or non-Euclidean straight line. This is
the semi-circle in the upper-half plane perpendicular to the real axis
intersecting it at the fixed points of M . The transformation moves
point on the semi-circle towards one fixed point, the attracting fixed
point, and away from the other fixed point, the repelling fixed point
and moves points a certain fixed distance in the hyperbolic metric.
This distance is known as the translation length of M and we denote
it by TM . The semi-circle is termed the axis of M and denoted AxM .
The formula relating the translation length to the trace of the matrix
is given below.
However, first we note that if A and B are any generators, there are
two possible pull-backs from P SL(2, R) to SL(2, R), one with positive
trace and one with negative trace. If we choose pull-backs for both A
and B with positive traces, then the trace of any word in the pull-back
generators is determined and for simplicity of exposition we denote the
trace of an element X ∈ G by Trace X. Note that the trace of any
commutator is always positive irrespective of pull backs.
For ease of exposition we do not distinguish rotationally between
an element of X ∈ G = hA, Bi ⊂ P SL(2, R) and the corresponding
matrix or isometry with the trace Trace X as defined above.
An element X in SL(2, R) or its inverse is conjugate to a fractional
linear transformation of the form: z 7→ ±Kz for some real number

4

JANE GILMAN

K > 0, K 6= 1. K is called the multiplier of X and is denoted KX and
√
√ −1
|Trace X| = K + K .
TX and KX are related
TX
=
cosh
2

by
1
1 √
1
|Trace X| = ( K + √ )
2
2
K
where cosh is the hyperbolic cosine.
We note for future use,
TX = TX −1 = | log KX |
Note that if |tr(M )| = 2, M is parabolic and fixes one point on the
real axis, known as its axis. It does have a rotation direction about
its fixed point even though it does not have a translations length. If
|tr(M )| < 2, M is elliptic and is a rotation about its single fixed point
in upper-half plane.
If A and B are any hyperbolic elements, it is well known that their
axes have a common perpendicular L. Orient the axis towards their attractive fixed points. We say that the pair (A, B) is coherently oriented
if when L is oriented from the axis of A to the axis of B the attracting
fixed points of A and B lie to the left of L and Trace A ≥ Trace B ≥ 0.
If one or both of A and/or B is parabolic, the is still a common
perpendicular L, either between the axis of the hyperbolic and the axis
of the parabolic, that is its fixed point of the parabolic or between the
two parabolic fixed points, and the definition of coherent orientation
still applies provided if when only one generator is hyperbolic it is A.
If X is any geodesic in H2 we let HX be the half-turn about X.
Now the P SL(2, R) discreteness algorithm divides naturally into two
cases, the intertwining case known as the GM algorithm [16] and the
intersecting axes algorithm [8]. Here we only address the intertwining
algorithm, the case where any pair of hyperbolics encountered have
disjoint axes.
3. Preliminaries: Summary of Some Prior Results
Theorem 3.1. [16] The Gilman-Maskit Geometric P SL(2, R) Algorithm (1991)
Let G = hA, Bi be non-elementary with A, B ∈ P SL(2, R). Assume
that A and B are a coherently ordered pair of generators and that A
and B have disjoint axes in the case when both are hyperbolic. There

5

exists integers [n1 , n2 , ..., nt ] that determines the sequence of pairs of
generators
(A, B) → (B −1 , A−1 B n1 ) → (B −n1 A, B(A−1 B n1 )n2 ) → · · · → (C, D)
which is a sequence of coherently ordered pairs and which stops at a pair
(C, D) after a finite number of replacements and says (i) G is discrete
(ii) G is not discrete, or (iii) G is not free.
We emphasize that the replace is done in a trace minimizing manner.
That is, if we set (A, B) = (A0 , B0 ) and at step j ≥ 1 consider the
ordered (Aj , Bj ) pair. We can then assume by the algorithm assume
|Trace Aj | ≥ |Trace Bj | and
and at the next pair (Aj+1 , Bj+1 ), which is equal to the ordered pair
nj+1
), we have
(Bj−1 , A−1
j Bj
−nj+1

|Trace Bj | ≥ |Trace Bj

Aj |

The algorithm stops when it reaches an element X with Trace X ≤ 2.
We refer to this geometric discreteness algorithm as the GM algorithm.
The sequence of integers has been used in a number of settings. For
example it was used to calculate the computational complexity of the
algorithm in (1997) by Gilman [9] and by Y. C. Jiang in his (2001) thesis
[22] and to calculate the essential self-intersection numbers of primitive
curves on the quotient when the group is discrete [13]. However, it
was not until 2002 in [13] after the sequence has been used in various
settings, that it was given a name.
Definition 3.2. [13] (2002) The sequence [n1 , ..., nt ] is termed the F sequence or the Fibonacci sequence of the algorithm.
The existence of such ni was implicit in the proof of the GM geometric discreteness algorithm. However, these numbers were never actually
computed.
The interpretation of the algorithm as a non-Euclidean Euclidean
Algorithm gave a theorem that showed how to actually compute the
ni [11].
We note that if the algorithm begins with a pair of hyperbolics, the
new pair will either be a pair of hyperbolics or a hyperbolic-parabolic
pair or it will stop. If it arrives at or begins with a hyperbolic-pair, the
next pair with either be a hyperbolic-parabolic pair again or stop or be
a parabolic-parabolic pair. A parabolic-parabolic may repeat or be a

6

JANE GILMAN

stopping pair. It repeats a given type of pair at most a finite number of
times and then moves on the next type or stops. The algorithm can be
extended to apply to elliptics of finite order [9] but we do not consider
that case here as the definition of the terms in the F -sequence needs
to be modified (see [23]).
Remark 3.3. The algorithm stops and says that G is discrete at a pair
(Ct , Dt ) when Trace Ct ≥ Trace Dt ≥ 2 and Trace Ct−1 Dj ≤ 0. If one
orders the stopping generators in terms of their traces or the length
of the corresponding curves on the quotient surface there are three
possibilities
(1) Trace Ct ≥ Trace Dt ≥ |Trace Ct−1 Dt |.
(2) Trace Ct ≥ |Trace Ct−1 Dt | ≥ Trace Dt .
(3) |Trace Ct−1 Dt | ≥ Trace Ct ≥ Trace Dt .
When the algorithm stops and says that the group is discrete, there
is a right angled hexagon with disjoint sides (see section 5 for more
details). For each parabolic generator, one of the six sides reduces to
a point. In such a case |Trace Ct−1 Dt | = 2 and one or two or none of
the other traces may have absolute value 2.
Theorem 3.4. [11] The Non-Euclidean Euclidean Algorithm
(2013) Let G = hA, Bi where A and B are a coherently ordered pair of
transformations in P SL(2, R) whose axes are disjoint in the case of a
pair of hyperbolics.
If one applies the Euclidean algorithm to the non-Euclidean translation lengths of the of generators at each step and the algorithm stops
at a pair of generators saying that the group is discrete, the output of
the Non-Euclidean Algorithm is the F-sequence [n1 , ..., nk ]. It is and
is obtained by applying the Euclidean algorithm to the non-Euclidean
translation lengths of the of generators at each step to the possible cases
as follows:
A. If the initial A and B are hyperbolic generators with disjoint axes
and the algorithm stops at a pair of hyperbolics saying that the group
is discrete,
one has
n1 =
where

A |)/2

A

B

B

log K
[ (|(| log
K

T /2
]
=[
]
|)/2
T /2

[ ]denotes the greatest integer function.

7

n2 =

[ TT /2
]
/2
B

where D = A−1 B n1

D

and
nj =

[ TT

Cj /2

Dj /2

]
n

j
−1
−1
Here (A, B) = (C0 , D0 ) and (Cj , Dj ) = (Dj−1
, Cj−1
Dj−1
) is the ordered pair of generators at step j, 0 ≤ j ≤ t.

B. If one begins at any type of pair and stop at a pair that includes
one or more parabolics,
one has
(i) If at step j, (Cj , Dj ) is hyperbolic-parabolic pair, then
Trace (Cj ) − 2
nj = p
|Trace ([Cj , Dj ]) − 2|

[

]

or equivalently, setting A = Cj and B = Dj .

[

2 cosh( T2A ) − 2

]

.
nj = q
T
2 cosh ( [A,B]
)
−
2
2
(ii) If at step j, (Cj , Dj ) is a parabolic-parabolic pair, j = t and
nt = 1.
step(ii) continued Further if t ≥ 2, at step (t − 1), (Ct−1 , Dt−1 ) is a
hyperbolic-parabolic pair with
Trace (Ct−1 ) − 2
nt−1 = p
|Trace ([Ct−1 , Dt−1 ]) − 2|

[

]

and
nt = 1.
(iii) If the initial pair is a hyperbolic-parabolic pair, then the F sequence is of length 2 and is [n1 , n2 ] where
2cosh( T2A ) − 2
n1 = q
T
2 cosh ( [A,B]
)−2
2

[

]

and
n2 = 1.
(iv) If the initial pair is a parabolic-parabolic pair, the F -sequence is
of length 1 with n1 = 1.

8

JANE GILMAN

4. Preliminaries: Standard Hexagons, Notation and Facts
We recall that to any group two generator group G = hA, Bi one associates a standard three generator group 3G = hHL , HLA , HLB i where
L is the common perpendicular to the axes of A and B and LA and LB
are geodesics such A = HL HLA and B = HL HLB . The six geodesics
AxA , LA , AxB , LB , AA−1 B , L determine a right angled hexagon in H2 .
The hexagon will have self-intersecting sides with the exception of the
hexagon determined by the stopping generators when the groups is discrete. This hexagon will be convex. In this case the projections of the
axes sides will be the three shortest geodesics on the quotient [13]. We
speak of the interior sides of the hexagon which are the portions of the
axes of the generators between two half-turn axes and the portions of
the half-turn axes between two axes. It will be clear from the context
whether we are speaking about a geodesic or the portion of the geodesic
interior to the hexagon.
When G is discrete, we let π be the projection of H2 onto H2 /G. The
quotient is a three-holed sphere or a sphere with up to three punctures.
If G is generated by W and V , then W and V are called primitive
associates and (W, V ) is called a primitive pair.
The primitive elements project to closed curves on the quotient which
we call the primitive curves and we may assume primitive curves are
geodesics, as are all curves mentioned. We let the generators that stop
the algorithm be Ã0 , B̃0 , C̃0 = Ã−1
0 B̃0 and α0 , β0 , γ0 their respective
images on the surface. These are the three shortest curves on the
surface [13] and l0 , lα0 , and lβ0 , the corresponding seams are the three
longest seams.
We denote the length of the images of the stopping generators by
L(α0 ), L(β0 ), andL(γ0 ). The trace convention allows us to assume that
L(α0 ) ≥ L(β0 ) We allow the possibility of parabolic stopping generators
whose lengths are zero. In that case, we set L(α̂0 ) to be the length of
the first non-zero winding curve, that is L(π(Ã0 B̃0 )).
5. Preliminaries: Essential Self-intersections and
winding and unwinding sequences
Any primitive geodesic on H2 /G will have a certain number of selfintersections on the images of the half-turn lines. There are termed essential self-intersections. All other self-intersections are self-intersections
that will be undone when an essential self intersection is cut. These are
termed trailing intersections. If a primitive curve that is not a stopping
generator has F -sequence [n1 , ...nt ], then there a formula for essential
self intersections. This is theorem 6.1 of [13]. Note that the formula

9

in Theorem 7.1 part (7) has a typo but the formula in Theorem 6.1 is
correct.
Before we can present the formula, we need to consider winding and
unwinding sequences. Since the algorithm ends with curves that are
simple, we view the algorithm as an unwinding procedure [13]. We can
run the algorithm backwards as a winding procedure.
Theorem 5.1. [13] Proposition 1.6. If F -sequence or the unwinding
sequence is [n1 , ..., nt ], then the winding sequence is [−nt , ..., −n1 ].
However, we can also write the winding sequence with positive integers, adjusting the orientation of curves carefully as in [13] so that
the winding sequence is [n1 , ..., nt ] and the corresponding continued
fraction entries are [n0 , n1 , ..., nk ] where n0 = 0.
Theorem 5.2. [13] If W is a primitive element in G, replacing W by
its inverse if necessary, we may assume that there is a primitive associate V such that the ordered pair (W, V ) is coherently ordered. After
unwinding to stopping generators and then winding, W corresponds to
a unique positive rational r given by p/q where p and q are relatively
prime positive integers.
In what follows, we let γr denote the primitive curve on the quotient
surface given by the rational r = p/q that comes from winding a about
a pair of stopping generators. Note that curve γr depends only on the
conjugacy class of its pre-image.
Theorem 5.3. [13] We let I(n1 , ..., nt ) denote the number of essential
self-intersections of the curve with unwinding sequence [−nt , ...., −n1 ]
so that γr has winding sequence [n1 , ..., nt ] and r is the rational continued fraction expansion [n0 , ..., nt ] and we let rk = [n0 , ..., nk ] denotes its
k-th approximant. We set rk = pk /qk where pk is the numerator and qk
the denominator of the approximant and rk is given in lowest terms.
Then the essential self-intersection numbers are given inductively as
follows:
I(α0 ) = 0, I(β0 ) = 0, I(α0−1 β0 ) = 0, I(α0 β0 ) = 1, I(α0 β02 ) = 2
and Ip/q is determined inductively by the formulas
Ipk+1 /qk+1 = 1 + nk+1 · Ipk /qk + Ipk−1 /qk−1
We write I(r) and I(p/q) for the number of essential self-intersections.

10

JANE GILMAN

6. Length Inequalities
In this section we assume that group is discrete and free and that
the stopping generators are the coherently oriented pair (Ã0 , B̃0 ). The
corresponding hexagon is right angled and convex and we let L(λ0 ) be
the largest seam length of the corresponding pair of pants. As before let
α0 , β0 , γ0 denote the images of the sides of the hexagon on the quotient
and L(δ) the length of any geodesic, δ, on the quotient surface.
By [13] and the formula for cosh π(L) given below and with this
orientation the length of the longest seam is the largest length between
any associate primitive pair of curves on the surface.
Let W ∈ G be primitive and assume that after replacing W by
its inverse if necessary there is a primitive V such that (W, V ) is a
coherently oriented primitive pair. There is the unwinding sequence
given by (Cj , Dj ) where j = 0, ..., t and W = C0 and V = D0 which
stops at generators {Ã0 , B̃0 , Ã−1
0 B̃0 } where the stopping generators are
Ct , Dt have been renamed taking into account any necessary normalization needed following remark 3.3. That is, we now assume that
L(α0 ) ≥ L(β0 ) ≥ L(γ0 ). and that the corresponding winding sequence
begins at Ã0 , B̃0 , Ã−1
0 B̃0 is given by [m1 , ..., mt ] and the rational r has
the continued fraction entries [0, m1 , ..., mt ].
We note that if (W, V ) is a primitive pair, it determines a set of stopping generators. Any other set of stopping generators will be conjugate
to this set.
In the winding case where we start with three coherently oriented
parabolics, we use part B of theorem 3.4 backwards.
Theorem 6.1. Winding Sequences and Translation Lengths
Let W be any primitive element of G = hA, Bi where G is discrete
and free and has stopping generators (Ã0 , B̃0 ). Assume that [n1 , ..., nt ]
is the F -sequence of W . Assume W is not a stopping generator.
Assume that not all three of the stopping generators are parabolic.
T
With the normalization above where Ã2 0 = L(α2 0 ) is half the translation
length of the longest hyperbolic stopping generator, we have

 T

 T
TW
Ã0
t
t
Πi=1 ni ·
<
≤ Πi=1 (ni + 1) · Ã0 .
2
2
2
If all three stopping generators are parabolic, set Â0 = Ã−1
0 B̃0 . We
have

 T

 T
TW
Πti=1 ni · Â0 <
≤ Πti=1 (ni + 1) · Â0 .
2
2
2
Equivalently, since |mk | = |nt−k |, the formulas can be written with
mi replacing ni .

11

Proof. We first assume that the stopping generators are all hyperbolics
and that Ã0 is the generator with largest translation length. We note
for the unwinding sequence the Non-Euclidean Euclidean Algorithm
tells if we remove the greatest integer symbols, for each for each integer
j we have
TC
TC
TC
nj j+1 ≤ j ≤ (nj + 1) j+1 .
2
2
2
where the unwinding sequence is [n1 , ...nt ] and the winding sequence
taken to be positive is [m1 , ..., mt ] where mk = nt−k . This gives the
theorem. If the algorithm includes one or more parabolic elements
before it stops, we have the same formula except we must re-interpret
the initial few mi ’s. That is, in the winding case where we start with
three coherently oriented parabolics, we use part B of theorem 3.4
backwards.

The theorem can be rephrased as
Theorem 6.2. Winding Sequences and Curve Lengths
Let W be any non-parabolic primitive element of G = hA, Bi where G
is discrete and free and has stopping generators (Ã0 , B̃0 ). Assume that
W is not conjugate to a stopping generator. Let W have F -sequence
[n1 , ..., nt ] and let L(W ) be the length of its image on the surface. Let
L(S0 ) be longest length of any simple curve on the quotient surface.




Πti=1 ni · L(S0 ) < L(W ) ≤ Πti=1 (ni + 1) · L(S0 ).
Equivalently, since |mk | = |nt−k |, the formulas can be written with mi
replacing ni .
We recall from [16] that if we begin with a coherently ordered pair of
hyperbolics, then as long as we stay in the hyperbolic-hyperbolic case
with all traces positive, at each small step going from√replacing X and
2
√
Y by XY −1 and Y , the trace is reduced by at least ( 2−1)
.
2
Theorem 6.3. [9] Counting Hyperbolic Repetitions Assume that G is
discrete and free and that we unwind beginning with (A, B) and ending
with (A0 , B0 ), all hyperbolics with disjoint axes. Let [n1 , ..., nt ] be the
unwinding sequence. Then
√

( 2 − 1)2  t
√
Σ1=1 nt ≥ Trace A − 2
2
and the algorithm
repeats
the hyperbolic-hyperbolic case at most q times


t
where q = Σ1=1 nt

12

JANE GILMAN

In [9] similar bounds for t were found for other cases.
Theorem 6.4. Minimal curve length and essential intersections
Continuing with the notation above, let γr denote the primitive curve
on the quotient corresponding to the rational r = p/q. Then its length
L(γr ) satisfies
I(r) × L(γ0 ) ≤ L(γr ) ≤ (I(r) + 1) × L(α0 )
where γ0 is the shortest stopping generator and α0 the longest.
Proof. This follows from the fact that one plus the number of essentialself intersections correspond to winding around curves of length of
length at most L(α0 ) and at least L(γ0 ). Every essential self-intersection
corresponds to the image of a segment that runs between either the
images of L and LA , L and LB or LB and LA . Thus the images of a
segment is of length at least L( γ20 ). An essential self-intersection will
correspond to traversing a segment between two seams twice.

We recall from Fenchel [6] that if a convex right angled hexagon has
alternating sides of length x ≤ y ≤ z then the length of the interior
side L opposite the shortest side x satisfies:
cosh x + cosh y cosh z
cosh L =
.
sinh y sinh x
From this we can compute the hyperbolic length of the longest seam.
We consider the set of curves AB j , j = 1, ...∞ in H2 . We let qi be
the point on the L, their common perpendicular where AB i intersects
L. We note from [11, 23] qi+1 lies to the right of qi given a coherent
orientation when we are at a pair of stopping generators. We set q0
be the point where the axis of A intersects L and ρi the hyperbolic
distance from qi−1 to qi , i = 1, ...∞.
We have
Theorem 6.5. Seam Lengths and Intersections
Assume G is discrete and free with stopping generators Ã0 and B̃0
and that L is their common perpendicular and let L(λ0 ) be the length of
L. If ρi is the distance between the intersections of Ã0 B̃0i−1 and Ã0 B̃0i
with L, i = 1, ... , then
lim Σti=1 ρi = L(λ0 ).

t→∞

Proof. Assume for ease of notation that the stopping generators are
A and B. We recall that the transformation B can be factored in an
infinite number of ways as the product of two half-turns about geodesic

13

perpendicular to its axis which are half its translation length apart
along the axis of B. We write these lines
LB , LB 2 , ...., LB j , ...
and their images under the half-turn about L and
LB , LB 2 , ...., LB j , ...
We note that AB j = LA LB j and these curves will intersect L between
the axes of A and B.

Corollary 6.6. Let l(C,D) be a half-turn line corresponding to any primitive pair (C, D) and L(l(C,D) ) the length of its image on the quotient.
Then
L(l(C,D) ≤ lim Σti=1 ρi = L(λ0 )
t→∞

where ρi is as in Theorem 6.5.
Proof. The image of L is the longest of that of any of the half-turn
lines.

Remark 6.7. In the case that the group is generated by hyperbolics with
intersecting axes and the commutator is not elliptic, the group will be
discrete and no algorithm is needed. In earlier papers we noted that
following the methods of [11], one can still obtain a finite F -sequence
which stops at a pair where lengths are shortest. One can wind and
unwind. This will be addressed elsewhere as will the cases involving
elliptic elements of finite order from either the intertwining case or
the intersecting axes case when the group is discrete and infinite order
when the group is not. For elliptic elements of finite order one has to
use the extended the notion of F -sequence developed by Malik in [23].
Remark 6.8. These inequalities and bounds have obvious applications
to lengths of geodesics on pairs of pants in a pants decomposition for a
compact surface of genus g ≥ 2. The formulas can be stated in terms
of the minimal curve length on a pair of pants with one self intersection
instead of the minimal non-zero curve length on the pair of pants. This
will be addressed in [12]
References
[1] Baibaud, C.M. Closed geodeics on pairs of pants Israeli J of Math (1999) 339347.
[2] Basmajian, Ara Universal length bounds for non-simple closed geodesics on
hyperbolic surfaces, J. Topol (2013), 1-12.
[3] Chas, M. and Phillips, T Self-intersection numbers of curves in the punctured
torus, Exp. Math 19 (2010) 129-148.

14

JANE GILMAN

[4] Cohen, M and Lustig, M Paths of geodesics and geomeric intersection numbers
Combinatorial groups theory and topology, Alta utah 1984 Annals of Math
Studies 111, priceton U. Press (1987) 479-500.
[5] Beardon, Alan The geometry of discrete groups Graduate Texts in Mathematics, 91 Springer-Verlag, New York, (1983).
[6] Fenchel, W. Elementary geometry in hyperbolic space de Gruyter Studies in
Mathematics, 11 Walter de Gruyter & Co., Berlin, (1989).
[7] Fine, B and rosenberger, G. Classification of all pair of two-generator Fuchsian
groups, Groups’ 93, Galway/St. Andrews, London Math. Soc., Lecture Notes
Series 211 (1995), 203 - 232
[8] Gilman, Jane Two-generator Discrete Subgroups of P SL(2, R), Memoirs of the
AMS, Volume 117, No 561, 1995.
[9] Gilman, Jane, Algorithms, Complexity and Discreteness Criteria in P SL(2, C),
Journal D’Analyse Mathematique, Vol 73, (1997), 91-114.
[10] Gilman, Jane, Informative Words and Discreteness, Contemp. Math 421,
(2007) 147-155. Cont Math.
[11] Gilman, Jane The Non-Euclidean Euclidean Algorithm, Advances in Mathematics 250 (2014) 227241.
[12] Gilman, Jane in preparation
[13] Gilman, Jane and Keen, Linda, Word sequences and intersection numbers.
Complex manifolds and hyperbolic geometry (Guanajuato, 2001), 231-249,
Contemp. Math., 311, Amer. Math. Soc., Providence, RI, 2002
[14] Gilman, Jane and Keen, Linda, Discreteness Criteria and the Hyperbolic Geometry of Palindromes, Conformal Geometry and Dynamics, 13 (2009), 76-90
arXiv:0808.3488,
[15] Gilman, Jane and Keen, Linda Enumerating Palindromes and Primitives in
Rank Two Free Groups, Journal of Algebra, (2011), 1-13.
[16] Gilman, J. and Maskit, B. An algorithm for 2-generator Fuchsian groups Michigan Math. J. 38 (1991) 13-32.
[17] Purzitsky, N, Two generator free product, Math Zeit. 126 (1972) 209-223.
[18] Purzitsky, N and Rosenberger, G, Two generator Fuchsian groups of genus
one, Math Zeit. 128 (1972) 245-251.
[19] Rosenberger, G. Fuchssche Gruppen die freies Produkt zweier zyklischer Gruppen sind, und die Gleichung x2 +y 2 +z 2 = xyx.Math. Ann. 199 (1972) 213-227.
[20] Rosenberger, G. All generating pairs of all two-generator Fuchsian groups,
Arch. Math., 46 (1986), 198-204.
[21] Hoban, Ryan Shadow Problems in Spherical and Hyperbolic Geometry
http://www-users.math.umd.edu/∼rfhoban/Shadows/Shadows.html
[22] Jiang, Yicheng, Polynomial complexity of the Gilman-Maskit discreteness algorithm Ann. Acad. Sci. Fenn. Math. 26 (2001), no. 2, 375-390.
[23] Malik, Vidur, Primitive words and self-intersections of curves on a surface
generated by the Gilman-Maskit algorithm, AMS Cont Math 510 (2010) 209238..
Mathematics Department, Rutgers University,Newark, NJ 07102
E-mail address: gilman@rutgers.edu

