1

ANY BAUMSLAG-SOLITAR ACTION ON SURFACES WITH A
PSEUDO-ANOSOV ELEMENT HAS A FINITE ORBIT.

arXiv:1703.09037v1 [math.DS] 27 Mar 2017

NANCY GUELMAN AND ISABELLE LIOUSSE
Abstract. We consider f, h homeomorphims generating a faithful BS(1, n)-action on a
closed surface S, that is, hf h−1 = f n , for some n ≥ 2. According to [GL], after replacing
f by a suitable iterate if necessary, we can assume that there exists a minimal set Λ of
the action, included in F ix(f ).
Here, we suppose that f and h are C 1 in neighbourhood of Λ and any point x ∈ Λ
admits an h-unstable manifold W u (x). Using Bonatti’s techniques, we prove that either
there exists an integer N such that W u (x) is included in F ix(f N ) or there is a lower
bound for the norm of the differential of h only depending on n and the Riemannian
metric on S.
Combining last statement with a result of [AGX], we show that any faithful action
of BS(1, n) on S with h a pseudo-Anosov homeomorphism has a finite orbit. As a
consequence, there is no faithful C 1 -action of BS(1, n) on the torus with h an Anosov.

Nancy Guelman

Isabelle Liousse

IMERL, Facultad de Ingenierı́a,
Universidad de la República,
C.C. 30, Montevideo, Uruguay.
nguelman@fing.edu.uy

Laboratoire Paul PAINLEVÉ,
Université de Lille1,
59655 Villeneuve d’Ascq Cédex, France.
liousse@math.univ-lille1.fr

1. Introduction and statements
In 1962, Gilbert Baumslag and Donald Solitar defined the Baumslag-Solitar groups,
which play an important role in combinatorial group theory, geometric group theory
and dynamical systems. In this paper we will focus on dynamical aspects. Dynamic of
Baumslag-Solitar groups in dimension 1, is well understood:
For actions of Baumslag-Solitar groups on the circle, Burslem and Wilkinson ([BW])
gave a classification, up to conjugacy, of real analytic actions. In [GL2], the authors gave
a classification, up to semi-conjugacy of C 1 -actions. Recently Bonatti, Monteverde, Navas
and Rivas ([BMNR]) generalized these results proving a classification, up to conjugacy of
C 1 -actions.
The question of existence of global fixed points or finite orbits for group actions on
surfaces has been extensively studied and one can consider that the abelian case is now
well understood: In 1964, in the context of Lie groups, Lima ([Li]) proved that commuting
1

This paper was partially supported by Université de Lille 1, PEDECIBA, Universidad de la República,
I.F.U.M.
1991 Mathematics Subject Classification. Primary: 37C85, 37E30; Secondary: 37B05.
Key words and phrases. Actions on surfaces, Baumslag Solitar group, minimal sets, pseudo-Anosov.
1

2

NANCY GUELMAN AND ISABELLE LIOUSSE

vectors fields have a common singularity. In 1989, Bonatti ([Bo]) proved that two sufficiently C 1 -close to identity commuting diffeomorphisms of the 2-sphere have a common
fixed point. In 2008, Franks, Handel and Parwani ([FHP]) proved that an abelian group
of C 1 -diffeomorphisms isotopic to identity of S has a global fixed point, where S is a
closed surface of genus at least 2.
It is natural to ask what are the algebraic conditions for the existence of a global
fixed point. In [Pl], Plante extended Lima’s result for nilpotent Lie groups and exhibited
solvable Lie groups acting without global fixed point on surfaces.
In [HW], Hirsch and Weinstein showed that every analytic action of a connected supersoluble Lie group on a non zero Euler characteristic compact surface has a fixed point.
For fixed points of local actions by Lie groups on surfaces, we refer to Hirsch’s survey
(see [Hi1]) and [Hi2]).
In [DDF], Druck, Fang and Firmo proved a discrete version of Plante’s result on nilpotent groups of diffeomorphisms of the 2-sphere. Very recently, Firmo and Ribón gave
topological conditions to insure the existence of finite orbits for nilpotent groups of C 1 diffeomorphisms of the 2-torus (see [FR]).
In some sense, solvable Baumslag-Solitar groups, BS(1, n), represent the next discrete
step: they are non nilpotent discrete subgroups of the supersoluble Lie group A consisting
in homeomorphisms of the real line having the form x 7→ ax+b, a > 0, b ∈ R and therefore
are metabelian (2-step solvable).
In this direction, A.McCarthy in [McC], proved that the trivial BS(1, n)-action on a
compact manifold does not admit C 1 faithful perturbations.
Before stating our results, we give some definitions and properties.
Let n ∈ N, n ≥ 2, the solvable Baumslag-Solitar group BS(1, n) is defined by
BS(1, n) =< a, b | aba−1 = bn > .
It is well known that BS(1, n) can be represented as the subgroup of A generated by
the two affine maps f0 (x) = x + 1 and h0 (x) = nx (where f0 ≡ b and h0 ≡ a).
In what follows, we will always denote by < f, h > an action of BS(1, n) on a surface,
meaning that the homeomorphisms f and h satisfy h ◦ f ◦ h−1 = f n .
One can easily check the following properties:
• h◦f k ◦h−1 = f nk = (f k )n for any k ∈ Z, so < f k , h > is also an action of BS(1, n),
k
• hk ◦ f ◦ h−k = f n for any k ∈ N
k
• h−k ◦ f n ◦ hk = f for any k ∈ N
As consequence we have that:
k

• h−k (F ixf ) ⊂ h−k (F ix(f n )) = F ix(f ) for any k ∈ N.
In [GL], the authors of this paper exhibited actions of Baumslag-Solitar groups on T2
without finite orbit (this construction extends on any compact surface) and proved the
following:

BS-ACTIONS ON SURFACES.

3

Theorem. Let f0 , h be two homeomorphims, generating a faithful action of BS(1, n) on
S. There exists a positive integer N such that f = f0N satisfies:
• f is isotopic to identity,
• f, h generate a faithful action of BS(1, n) on S and
• F ixf 6= ∅ and contains a minimal set Λ for < f, h >, that is also a minimal set
for h.
The first point is stated in [GL] for S = T2 . For closed orientable surface of genus
greater than 1, it is a consequence of the fact that the mapping class group of S does not
contain distortion element, according to [FLM] and f is a distortion element. A corollary
of this Theorem is that there is no minimal actions of BS(1, n) on closed orientable
surfaces.
According to last Theorem, we may assume without loss of generality that f is isotopic
to identity and F ix(f ) is not empty.
In [AGX], Alonso, Guelman, Xavier proved that
Theorem. Let hf, hi be an action of BS(1, n) on a closed surface S, where f is isotopic
to the identity, and h is a (pseudo)-Anosov homeomorphism with stretch factor λ > n.
Then f = Id.
We will now fix some definitions, notations and recall some properties that will be used.
Notations. Let S be a closed connected oriented surface embedded in the 3-dimensionnal
Euclidean space R3 , endowed with the usual norm denoted by || ||.
• The distance in S associated to the induced Riemannian metric is denoted by d.
• The injectivity radius of the exponential map associated to d is denoted by ρ.
• The open 2-ball centered at x with radius r with respect to d is denoted by Br (x)
or Br for the case that we don’t need to specify the center.
Remark. In what follows, we always assume that radius of balls are strictly less than ρ.
Let F : S → S be a map.
Definition. Let Λ be an F -invariant compact set, we say that F is CΛ1 if F is C 1 on a
neighborhood W of Λ in S.
Suppose that F is C 1 on an open set W of S.
Notations.
Let x ∈ W , we will denote by:
• DF (x) = Dx F : Tx S → R3 the differential at x of F considered as a map F : S →
R3 ,
• DF (x) = Dx F : Tx S → TF (x) S the differential at x of F considered as a map
F : S → S and
• ||Dx F || = sup {||Dx F.v||, v ∈ Tx , ||v|| = 1}.
We set S(F, W ) = sup {||Dx F ||, x ∈ W }.

4

NANCY GUELMAN AND ISABELLE LIOUSSE

Definitions.
The C 1 -norm of F on a subset V of W is defined by:
||F ||V = sup (||F (x)|| + ||Dx F ||) .
x∈V
1

We say that F is C ǫ-close to identity on V if ||F − Id||V < ǫ.
We define Vǫ (F ) = {x ∈ S : ||(F − Id)(x)|| + ||Dx (F − Id)|| < ǫ}. Note that this definition implies that F is C 1 at x, for any x ∈ Vǫ (F ).
Properties.
There is a constant CS ≥ 1 such that for all x, y ∈ BR ⊂ W , with R < ρ, one has
(1) ||x − y|| ≤ d(x, y) < CS ||x − y||,
(2) d(F (x), F (y)) ≤ S(F, BR )d(x, y).
Theorem 1. Let f, h be two homeomorphisms, generating a faithful action of BS(1, n)
on S, Λ be a minimal set of < f, h > included in F ixf and f, h are CΛ1 .
1. Any point x in Λ is an f -elliptic fixed point, in the sense that eigenvalues of Dx f
are roots of unit. More precisely, there exists a positive integer N such that the eigenvalue
of Dx f N is 1, for any x ∈ Λ.
2. Moreover, for all ǫ > 0, there exists δ > 0 and a CΛ1 -diffeomorphism fǫ ∈< f, h >
such that :
• fǫ , h generate a faithful action of BS(1, n) on S and Λ ⊂ F ixfǫ ⊂ F ix(f N ), where
N is given by previous item.
• ||fǫ − Id||Bδ (Λ) ≤ ǫ, where Bδ (Λ) is the union of balls of center in Λ and radius δ
(in other words, Bδ (Λ) ⊂ Vǫ (fǫ )).
More precisely, fǫ is either f N or some nkǫ -root of f N .
Thus, following Mc Carthy ([McC]), we can adapt Bonatti’s tools ([Bo]) for estimating
the norm of the differential of h. More precisely, we prove
Theorem 2. Let f , h and Λ as in Theorem 1, let W be a neighborhood of Λ such that f
and h are in C 1 on W . Suppose that any point x ∈ Λ has an h-unstable manifold, W u (x),
then either:
(1) there exists N ∈ N such that W u (x) ⊂ F ixf N , for all x ∈ Λ or
(2) S(h, W ) ≥ CnS .
Assumption. We refer to [FM] for the definition and properties of pseudo-Anosov homeomorphisms and we always assume that a pseudo-Anosov homeomorphism is a C 1 -diffeomorphism
except at finitely many points: the singularities of the stable and unstable foliations.
Using the result of [AGX], we obtain as a corollary:
Corollary 1. Any faithful action < f, h > of BS(1, n) on S, where f is a C 1 -diffeomorphism
and h is a pseudo-Anosov homeomorphism has a finite orbit. Moreover, this finite orbit
is contained in the set of singularities of h.

BS-ACTIONS ON SURFACES.

5

Since any pseudo-Anosov homeomorphism of the torus has no singularities, then
Corollary 2. There is no faithful action < f, h > of BS(1, n) on the torus, where f is a
C 1 -diffeomorphism and h is a pseudo-Anosov homeomorphism.
2. Proof of Theorem 1.
Proof of item 1. Let f and Λ as in Theorem 1 and x0 ∈ Λ.
Since Λ is also an h-minimal set, the h-orbit of x0 is recurrent. Then there exists a
subsequence (nk ) (nk → ∞) such that h−nk (x0 ) → x0 .
n
From hnk ◦ f ◦ h−nk = f n k , we deduce that:
n

Dhnk (f (h−nk (x0 ))) ◦ Df (h−nk (x0 )) ◦ Dh−nk (x0 ) = Df n k (x0 ).
Moreover, the points x0 and h−nk (x0 ) are fixed by f and (Dh−nk (x0 ))−1 = Dhnk (h−nk (x0 )),
then:
n
(Dh−nk (x0 ))−1 ◦ Df (h−nk (x0 )) ◦ Dh−nk (x0 ) = (Df (x0 ))n k .
So Df (h−nk (x0 )) and (Df (x0 ))n

nk

have same eigenvalues.

Let us denote by:
−nk
ρ+ [resp. ρ+
(x0 ))]
k ] the maximum modulus of eigenvalues of Df (x0 ) [resp. Df (h
and
−nk
ρ− [resp. ρ−
(x0 ))].
k ] the minimum modulus of eigenvalues of Df (x0 ) [resp. Df (h
nk
nk
+
−
Hence ρk = (ρ+ )n and ρk = (ρ− )n .
+
As f is CΛ1 and h−nk (x0 ) → x0 , then Df (h−nk (x0 )) → Df (x0 ). Therefore, ρ+
k → ρ
−
−
and ρk → ρ .
Consequently, ρ+ = ρ− = 1 and eigenvalues of Df (x0 ) have modulus 1.
Suppose that Λ is infinite. This means that x0 is not isolated in F ixf . We are going
to prove that 1 is an eigenvalue of Df (x0 ). By contradiction, suppose that 1 is not an
eigenvalue of Df (x0 ).
Let us introduce local coordinates near x0 . The map F = f − Id is locally invertible by
the Inverse Function Theorem. More precisely, there exist neighborhoods U of x0 and V
of F (x0 ) = (0, 0) such that F : U → V is a diffeomorphism, hence F −1 (0, 0) = x0 , which
means that x0 is the unique fixed point of f in U. This contradicts the fact that x0 is not
isolated in F ix(f ).
Consequently, if Λ is infinite, 1 is the unique eigenvalue of Df (x) (since f is isotopic to
identity, it is also orientation preserving and −1 can not be an eigenvalue of Df (x)), for
any x ∈ Λ.
p

If Λ is finite, there exists p such that hp (x0 ) = x0 . As Df (x0 ) and (Df (hp (x0 ))n =
p
(Df (x0 ))n are conjugate, eigenvalues of Df (x0 ) are roots of unity. Thus, there exists
a positive integer N such that eigenvalues of Df N (x0 ) are 1. As Df N (h−j (x0 )) and
j
(Df N (x0 ))n are conjugate, we get that eigenvalues of Df N (h−j (x0 )) are 1.
Since Λ = {(h−j (x0 ), j ∈ N}, we get that eigenvalues of Df N (x) are 1, for any x ∈ Λ.
Proof of item 2. We begin by proving

6

NANCY GUELMAN AND ISABELLE LIOUSSE

Lemma 2.1. There exists a positive integer N such that:
- either Df N (x) = Id for any x ∈ Λ
- or Df N (x) 6= Id for any x ∈ Λ.
p

Proof of Lemma 2.1. Let x0 ∈ Λ, if Df N (x0 ) = Id. As Df N (h−p (x0 )) and (Df N (x0 ))n
are conjugate, we get that Df N (h−p (x0 )) = Id, for any p ∈ N. Since {h−p (x0 ), p ∈ N} is
dense in Λ, we get that Df N (x) = Id, for any x ∈ Λ.

We can now prove item 2. Fix ǫ > 0, N given by item 1. We set f¯ = f N , the action
of < f¯ = f N , h > on S is an action of the Baumslag-Solitar group BS(1, n).
Let x0 ∈ Λ.
Case 1 : D f¯(x0 ) = Id. By Lemma 2.1, for all x ∈ Λ, D f¯(x) = Id and we can find an
open ball Br (x) contained in Vǫ (f¯).
We claim that δ = Min{rx , x ∈ Λ} > 0, where rx is the greater number such that
Br (x) ⊂ Vǫ (f¯). Indeed, suppose that there exists a sequence xp such that rxp → 0.
Without loss of generality, we can suppose that xp → w. By Proposition 2.1, w ∈ Λ
and D f¯(w) = Id. For p sufficiently large xp ∈ B r2w (w) and then rp ≥ r2w , that is a
contradiction.
Hence the δ-neighborhood of Λ is contained in Vǫ (f¯) and we conclude by setting fǫ = f¯.
Case 2 : D f¯(x0 ) 6= Id. By Lemma 2.1, D f¯(x) 6= Id, for all x ∈ Λ.
We can choose in a continuously way an orthonormal basis on each Tx S, x ∈ Λ ∩ B, where
B is a small open ball centered at x0 .
According to item 1 and 
Lemma 
2.1, for all x ∈ Λ∩B the matrix of D f¯(x) (also denoted
1 1
by D f¯(x)) is conjugate to
by some matrix Ax that depends continuously on x.
0 1
So norms of Ax are uniformly bounded on Λ ∩ B̄.
Let denote f¯k = h−k ◦ f¯ ◦ hk . As f¯ is isotopic to identity and has fixed points, its
conjugate f¯k is isotopic to identity and has fixed points. One can check that:
k
nk
nk
(1) f¯k is a nk -root of f¯ that is f¯k = (h−k ◦ f¯ ◦ hk )n = (h−k ◦ f¯ ◦ hk ) = f¯,
(2) < f¯k , h > generate a faithful action of BS(1, n) on S, that is h ◦ f¯k ◦ h−1 =
n
n
h−k+1 ◦ f¯ ◦ hk−1 = h−k ◦ (h ◦ f¯ ◦ h−1 ) ◦ hk = h−k ◦ f¯ ◦ hk = f¯k ,
(3) F ix(f¯k ) ⊂ F ix(f¯) since h−k (F ix(f¯)) ⊆ F ix(f¯), and
(4) Λ ⊂ F ix(f¯k ), as Λ ⊂ F ix(f¯) and hk (Λ) = Λ.


1
1
Let x ∈ Λ ∩ B, since f¯ and f¯k commute, the matrices
= Ax D f¯(x)A−1
x and
0 1
−1
¯
¯
Ax D f¯k (x)A−1
x commute. This implies that Ax D fk (x)Ax is upper-triangular. But D f (x)
k
−1
¯
and D f¯k (x) areconjugate
 by Dh (x), so Ax D fk (x)Ax has a unique eigenvalue 1, then it
1 α
is of the form
.
0 1





nk
1 αnk
1 1
1 α
−1
−1 nk
¯
¯
=
Finally
= Ax D f (x)Ax = (Ax D fk (x)Ax ) =
0 1
0 1
0 1
1
and then α = nk .

BS-ACTIONS ON SURFACES.

Therefore Dx (f¯k − Id) = A−1
x



0
0

1
nk

0



7

Ax .

Since the norms of the Ax are uniformly bounded on Λ ∩ B̄ and we choose orthonormal
basis for tangent spaces, we can find an integer kǫ such that supx∈Λ∩B ||Dx (f¯k − Id)|| is
strictly less than ǫ, for any k ≥ kǫ .
Hence for any x0 ∈ Λ we can find an open ball Br (x0 ) contained in Vǫ (f¯kǫ ), therefore,
by compactness of Λ there is a positive uniform radius δ such that the δ-neighborhood of
Λ is contained in Vǫ (f¯kǫ ).
We conclude by setting fǫ = f¯kǫ . This ends the proof of Theorem 1.
3. Proof of Theorem 2.
3.1. Flow-like properties.
In this subsection we will prove a local version of Bonatti flow-like properties for C 1 closed to identity diffeomorphisms.
Proposition 3.1. Given n ∈ N, for all 0 < η < 1, there exists ǫnη > 0 such that:
||f n (y) − y − n(f (y) − y)|| ≤ η||f (y) − y)||,
for any f ∈ Homeo(S), δ ∈ (0, mρ ) and y ∈ S satisfying y ∈ Bδ (x0 ) and Bmδ (x0 ) ⊂
Vǫnη (f ), where x0 ∈ F ix(f ) and m = (1 + 3CS (n + 1)).
Remark 1. Note that Bmδ (x0 ) ⊂ Vǫnη (f ) means that f is C 1 and ǫnη C 1 -close to identity
on Bmδ (x0 ).
Proof. Let 0 < η < 1 be given. Proceed using induction on k = 1, ..., n.

η 1
,2 .
The k = 1 case is trivial. Choose ǫ1η = min mρ , 4n

Let k ∈ {1, ..., n − 1}, we suppose that ∀η ∈ (0, 1) there exists ǫkη such that for
f ∈ Homeo(S), x0 ∈ F ix(f ) and δ ∈ (0, mρ ) such that Bmδ (x0 ) ⊂ Vǫkη (f ), we have
||f k (y) − y − k(f (y) − y)|| ≤ η||f (y) − y)||, ∀y ∈ Bδ (x0 ).
We have to estimate ||f k+1(y) − y − (k + 1)(f (y) − y)||.

||f k+1(y)−y−(k+1)(f (y)−y)|| ≤ ||(f −Id)f k (y)−(f −Id)(y)||+||f k(y)−y−k(f (y)−y)||.
We choose, ǫk+1
≤ ǫkη , then we get that ||f k (y) − y − k(f (y) − y)|| ≤ η2 ||f (y) − y)||, for
η
2
all y ∈ Bδ (x0 ) and Bmδ (x0 ) ⊂ Vǫk+1
(f ).
η
To bound the first term, we first show that f k (y) ∈ Bmδ (x0 ) provided that y ∈ Bδ (x0 )
and Bmδ (x0 ) ⊂ Vǫk+1
(f ). Indeed
η
η
d(f k (y), x0 ) ≤ d(x0 , y)+d(f k (y), y) ≤ d(x0 , y)+CS ||f k (y)−y|| ≤ d(x0 , y)+CS (k+ )||f (y)−y||
2
by inductive hypothesis. Moreover,

8

NANCY GUELMAN AND ISABELLE LIOUSSE

||f (y) − y|| ≤ ||f (y) − f (x0 )|| + ||x0 − y|| ≤ ||f ||Bδ (x0 ) d(x0 , y) + d(x0 , y) ≤ (||f ||Bδ (x0 ) + 1)δ.
Since Bδ (x0 ) ⊂ Vǫk+1
(f ) and ǫk+1
< 1, we have ||f ||Bδ (x0 ) ≤ 2 and therefore we get
η
η
||f (y) − y|| ≤ 3δ.
Finally d(f k (y), x0) ≤ (1 + 3CS (n + 1))δ, that is f k (y) ∈ Bmδ (x0 ).
The first term can be bounded as follows:
η
||(f −Id)f k (y)−(f −Id)(y)|| ≤ ||(f −Id)||Bmδ (x0 ) ||f k (y)−y|| ≤ ||(f −Id)||Bmδ (x0 ) (k+ )||f (y)−y||
2
by inductive hypothesis. Then
η
||(f − Id)f k (y) − (f − Id)(y)|| ≤ ǫkη (k + )||f (y) − y||.
2
2
η
ηk
η
k η
k
k
Moreover ǫ η (k + 2 ) = ǫ η k + ǫ η 2 ≤ 4n + 4 , by the choice of ǫ1η and the fact that the ǫkη
2
2
2
can be chosen to be decreasing in k and in such a way that given k ≤ n, one has ǫkη′ < ǫkη
for 0 < η ′ < η.
Finally, we can bound the first term by η2 ||f (y) − y|| and therefore one has
||f k+1(y)−y −(k+1)(f (y)−y)|| ≤ η||f (y)−y||, for all y ∈ Bδ (x0 ) and Bmδ (x0 ) ⊂ Vǫk+1
(f ).
η
Corollary 3. Given n ∈ N, n > 1, there exists ǫ > 0 such that for any δ ∈ (0, mρ ) and
f ∈ Homeo(S) such that Bmδ (x0 ) ⊂ Vǫ (f ), any f n -fixed point y ∈ Bδ (x0 ) is fixed by f ,
where x0 ∈ F ix(f ) and m is defined as in Proposition 3.1.
Proof. By Proposition 3.1 for η = 1, there exists ǫ = ǫn1 > 0 such that:
||f n (y) − y − n(f (y) − y)|| ≤ ||f (y) − y)||
for any f ∈ Homeo(S), x0 ∈ F ix(f ), y ∈ Bδ (x0 ) and Bmδ (x0 ) ⊂ Vǫ (f ).
Then ||f n (y) − y|| ≥ (n − 1)||(f (y) − y)||, therefore if y is f n -fixed we have that y is
f -fixed.
3.2. Proof of Theorem 2. The key tool of proof of Theorem 2 is the following:
Proposition 3.2. Let δ ∈ (0, mρ ), let h, f, Λ and W as in Theorem 2 verifying that:
• for any x, y with d(x, y) < δ, one has d(f (x), f (y)) < ρ2 ,
• Bδ (Λ) and f (Bδ (Λ)) are contained in W ,
• any point of Λ admits an h-unstable manifold.
Let 0 < η ≤ 1 such that kf − IdkBmδ (Λ) < ǫnη , where ǫnη and m are given by Proposition
3.1 ( i. e. Bmδ (Λ) ⊂ Vǫnη (f )).
If S(h, W ) ≤

n−η
,
Cs

then there exists r > 0 such that for any x ∈ Λ,
u
Wloc
(x) ∩ Br (x) ⊂ F ix(f ).

BS-ACTIONS ON SURFACES.

9

u
Proof. Let x0 ∈ Λ, there exists p0 = p0 (x0 , δ) such that for all y ∈ Wloc
(x0 ) ∩ Bδ (x0 ),
p0 −1
\
hj (Bδ (h−j (x0 )) is a
one has d(h−p (x0 ), h−p (y)) < δ for any p ≥ p0 . Note that A =
j=0

u
non-empty open set that contains x0 , then it intersects Wloc
(x) in an open arc containing
x0 .
More precisely, by hyperbolicity, there exists a constant c = c(h) such that B δ (x0 ) ∩
c
u
u
Wloc
(x0 ) ⊂ hj (Wloc
(h−j (x0 )) ∩ Bδ (h−j (x0 ))), ∀j ∈ N.
u
u
Then B δ (x0 ) ∩ Wloc
(x0 ) ⊂ A. From now, we will denote r = δc and Wloc
(x0 ) ∩ Br (x0 ) by
c
Wr (x0 ).

First, we prove that any point y ∈ Wr (x0 ) is f -periodic.
Let y ∈ Wr (x0 ), it is easy to check that for all p ∈ N, h−p (y) ∈ Bδ (h−p (x0 )). Indeed, if
p ≥ p0 we have d(h−p (x0 ), h−p (y)) < δ, by definition of p0 . And if p < p0 , by definition of
r and A we have that y ∈ hp (Bδ (h−p (x0 ))).
If f (y) = y, in particular y is f -periodic.
If f (y) 6= y , there exists some l = l(y) such that h−l (y) is close enough to h−l (x0 ) ∈
F ixf to ensure that kf (h−l (y)) − h−l (y)k < kf (y) − yk. Therefore there exists some
p = p(y) ≤ l, such that kf (h−(p+1) (y)) − h−(p+1) (y)k < kf (h−p (y)) − h−p (y)k.
Indeed, by contradiction, let us denote yj := h−j (y), for j ∈ N, we would have :
||f (y) − y|| ≤ ||f (y1) − y1 || ≤ ... ≤ ||f (yl ) − yl || < ||f (y) − y||.
Notice that as h−(p+1) (y) ∈ Bδ (h−(p+1) (x0 )), we have that
d(yp+1, f (yp+1)) ≤ d(yp+1, h−(p+1) (x0 )) + d(f (yp+1), h−(p+1) (x0 )) ≤
Since yp+1

≤ δ + d(f (yp+1), f (h−(p+1) (x0 ))) ≤ ρ.
and f (yp+1) are in W , one has
d(h(f (yp+1)), h(yp+1)) ≤ S(h, W ).d(f (yp+1), yp+1).

We adapt McCarthy’s argument:
kf n (yp ) − yp k = khf h−1 (yp ) − yp k ≤ d(hf h−1 (yp ), yp ) = d(hf (yp+1), h(yp+1)) ≤
S(h, W ).d(f (yp+1), yp+1) ≤ S(h, W )CS kf (yp+1) − yp+1 k < S(h, W )CS kf (yp ) − yp k.
Since, yp ∈ Bδ (h−p (x0 )) and Bmδ (h−p (x0 )) ⊂ Vǫnη (f ), we can apply Proposition 3.1 to
obtain
kf n (yp ) − yp k ≥ (n − η)kf (yp) − yp k and consequently
(n − η)kf (yp) − yp k < S(h, W )CS kf (yp) − yp k.
Therefore, either (n − η) < S(h, W )CS that contradicts the hypothesis or
p
kf (yp ) − yp k = 0 which implies that yp = h−p (y) is f -fixed, then y is f n -fixed. Hence we
have proven that any point y ∈ Wr (x0 ) is f -periodic.
Now, we will prove that any point y ∈ Wr (x0 ) is f -fixed.

10

NANCY GUELMAN AND ISABELLE LIOUSSE

By contradiction, let y ∈ Wr (x0 ) \ F ixf and p0 be the smallest integer such that y is
p
p
f n 0 -fixed point. Since F ix(f n ) = hp (F ix(f )), we have that p0 is the smallest integer
such that h−p0 (y) is in F ix(f ).
By definition of p0 we have that h−(p0 −1) (y) is in F ix(f n ) \ F ix(f ). And by definition
of r and A, h−(p0 −1) (y) ∈ Bδ (h−(p0 −1) (x0 )). This is impossible, according to Corollary 3.
End of the proof of Theorem 2.
Let η > 0 and ǫnη given by Proposition 3.1. Suppose that S(h, W ) ≤ n−η
.
CS
By Theorem 1, there exists δ > 0 and fη = fǫnη such that ||fη − Id||Bmδ (Λ) < ǫnη and
fη , h generate a faithful action of BS(1, n) on S and Λ ⊂ F ix(fη ).
By Proposition 3.2, there exists r such that for all x ∈ Λ, Wr (x) ⊂ F ix(fη ).
Let x0 ∈ Λ, we are going to prove that W u (x0 ) ⊂ F ixfη .
By contradiction, suppose that W u (x0 ) is not contained in F ix(fη ). Therefore, there
exists a segment [a, b] in W u (x0 ) and c ∈ (a, b) such that [a, c] ⊂ F ix(fη ) and (c, b) is
disjoint of F ix(fη ).
Let p be an integer such that h−p ((c, b)) ∈ Br (h−p (x0 )) ∩ W u (h−p (x0 )) ⊂ F ix(fη ).
p
Hence (c, b) ⊂ F ix(fηn ).
We have proven that there exists a segment [a, b] in W u (x0 ) and c ∈ (a, b) such that
p
[a, c] ⊂ F ix(fη ) and (c, b) ⊂ F ix(fηn ) \ F ix(fη ).
Snp −1 k
fη ([a, b]) is a fη -invariant continuum, one can check that main
The set C = k=0
Theorem of [Wea] applies. Then all but a finite number of points in C have the same least
period. So all but a finite number of points in [a, b] are fixed by fη , this is a contradiction.
Finally, we have proved that given η > 0, either S(h, W ) > n−η
or W u (x0 ) ⊂ F ix(fη ) ⊂
CS
F ix(f N ).
Therefore, if W u (x0 ) is not included in F ix(f N ) then for any η > 0, S(h, W ) > n−η
.
CS
n
u
N
Let η converges to 0, then if W (x0 ) is not included in F ix(f ) then S(h, W ) ≥ CS .
4. Proof of Corollary 1.
In this section, we prove that any Baumslag Solitar action with a pseudo-Anosov element has a finite orbit.
Let < f, h > be a faithful action of BS(1, n) on S. We suppose that h is pseudo-Anosov
homeomorphism. We have already noted that we can assume that f admits fixed points.
Let k ∈ N, f and hk generate a faithful action of BS(1, nk ) and there is a minimal subset
Λk of this action that is included in F ix(f ). As hk is a pseudo-Anosov homeomorphism
of S, any point admits an hk -unstable manifold.
Note that for all k ∈ N, hk is C 1 on S except at Σ the set of singularities of h.
Suppose that the compact set F ix(f ) is disjoint from Σ, then there exists a neighborhood W of F ix(f ) and of Λk , for any k ∈ N such that f and hk are C 1 on W .

Moreover S(hk , W ) = sup ||Dx hk ||, x ∈ W ≤ CW λk for any k ∈ N (see e.g. [FM]).
Hence, we can apply Theorem 2 to f and hk , and we obtain that either
(1) there exists N ∈ N such that W u (x) ⊂ F ixf N , for all x ∈ Λk or

BS-ACTIONS ON SURFACES.

(2) S(hk , W ) ≥

11

nk
.
CS
k

In the first case, as h is pseudo-Anosov homeomorphism , there exists x ∈ Λk such that
the hk -unstable manifold of x is dense in S and therefore F ix(f N ) = S. Hence f N = Id
and the action is not faithful.
k
Consequently, it holds that S(hk , W ) ≥ CnS , for all k ∈ N.
Finally, This implies that λ ≥ n.
According to [AGX], λ ≤ n and therefore λ = n ∈ N but this is not possible.
We conclude that F ix(f ) ∩ Σ 6= ∅, as Σ is a finite h-invariant set, we deduce that the
action has a finite orbit.
References
[AGX] J. Alonso, N. Guelman, J. Xavier, Actions of solvable Baumslag-Solitar groups on surfaces with
(pseudo)-Anosov elements, Discrete Contin. Dyn. Syst., to appear.
[Bo] C. Bonatti, Un point fixe commun pour des difféomorphismes commutants de S 2 , Ann. of Math.,
129 no 2 (1989), 61–69.
[BMNR] C. Bonatti, I. Monteverde, A. Navas, C. Rivas , Rigidity for C1 actions on the interval arising
from hyperbolicity I: solvable groups, arXiv:1309.5277, (2013).
[BW] L. Burslem and A. Wilkinson, Global rigidity of solvable group actions on S1 , Geom. Topol., 8
(2004), 877-924.
[DDF] S. Druck and F. Fang and S. Firmo, Fixed points of discrete nilpotent group actions on S 2 , Ann.
Inst. Fourier (Grenoble), 52 no 4 (2002), 1075–1091.
[FLM] B. Farb and A. Lubotzky and Y.Minsky, Rank-1 phenomena for mapping class groups, Duke
Math. J., 106, no. 3 (2001), 581–597.
[FM] B. Farb, D. Margalit, A Primer on Mapping Class Groups, Princeton University Press (2011).
[FHP] J. Franks and Handel and K. Parwani, Fixed Points of Abelian Actions, Jour. of Modern Dynamics,
1, no. 3 (2007), 443–464.
[FR] S. Firmo and J. Ribón, Finite orbits for nilpotent actions on the torus, arXiv : 1603.0413, (2016).
[GL] N. Guelman and I. Liousse, Actions of Baumslag-Solitar groups on surfaces, Discrete Contin. Dyn.
Syst. A, 5 (2013), 1945–1964.
[GL2] N. Guelman and I. Liousse, C 1 actions of Baumslag Solitar groups on S 1 , Algebraic & Geometric
Topology, 11 (2011), 1701–1707.
[Hi1] M. Hirsch, Fixed points of Local Actions of Lie groups on on Real and Complex 2-Manifolds, Axioms,
4 (2015), 313–320.
[Hi2] M. Hirsch, Fixed points of local actions of nilpotent Lie groups on surfaces, Ergod. Theory Dyn.
Syst., 4 (2016), 1–15.
[HW] M. Hirsch and A. Weinstein, Fixed points of analytic actions of supersoluble Lie groups on compact
surfaces, Ergod. Theory Dyn. Syst., 21 (2001), 1783–1787.
[Li] E. Lima, Common singularities of commuting vector fields on 2-manifolds, Comment. Math. Helv.,
39 (1964), 97–110.
[McC] A. McCarthy, Rigidity of trivial actions of abelian-by-cyclic groups, Proc. Amer. Math. Soc., 138
(2010), 1395–1403.
[Pl] J. F. Plante, Fixed points of Lie group actions on surfaces, Ergod. Th. and Dynam. Sys., 6 (1986),
149–161.
[Wea] N. Weaver, Pointwise Periodic Homeomorphisms of Continua Ann. of Math., Second Series, Vol.
95, No. 1 (1972), 83–85.

