arXiv:1510.06291v3 [math.GT] 8 Oct 2016

On rational functions with more than
three branch points
1

Jijian Song

2

and Bin Xu

February 28, 2018

1,2 Wu

Wen-Tsun Key Laboratory of Mathemati s, USTC, Chinese A ademy of S ien es
1,2 S hool of Mathemati al S ien es, University of S ien e and Te hnology of China.
No. 96 Jinzhai Road, Hefei, Anhui Provin e 230026 P. R. China.
1 smathmail.ust .edu. n
2 bxuust .edu. n
Abstract: Let Λ be a olle tion of partitions of a positive integer d of the form
(a1 , · · · , ap ), (b1 , · · · , bq ), (m1 + 1, 1, · · · , 1), · · · , (ml + 1, 1, · · · , 1),

where (m1 , · · · , ml ) is a partition of p + q − 2 > 0. We prove that there exists a rational
fun tion on the Riemann sphere C with bran h data Λ if and only if


max m1 , · · · , ml <

d

GCD(a1 , · · · , ap , b1 , · · · , bq )

.

As an appli ation, we give a new lass of bran h data whi h an be realized by Belyi
fun tions on the Riemann sphere.
Keywords. bran h data, Realizability Problem, Belyi fun tion, Riemann's existen e

theorem

2010 Mathematics Subject Classification. Primary 20B35; se ondary 14H30

1

Introduction

Let X and Y be two ompa t onne ted Riemann surfa es and f : X → Y a holomorphi
bran hed overing of degree d. For ea h point q in Y , there asso iates a partition λ(q) =
(k1 , ..., kr ) of d su h that, over a suitable neighborhood of q in Y , f is equivalent to the
map
{1, ..., r} × D → D, (j, z) 7→ zkj , where D := {z ∈ C : |z| < 1},

with q orresponding to 0 in D. For any partition λ = (k1 , k2 , · · · , kr ) of d, we de ne its
length Len(λ) = r. We all the partition λ of d non-trivial if Len(λ) < d. For the morphism
1

On rational fun tions on C
f : X → Y , the bran h set Bf onsists of those points q in Y for whi h λ(q) is nontrivial.
The olle tion Λ = {λ(q) : q ∈ Bf } (with repetitions allowed) is alled the bran h data of
f and
X 

v(f) :=
d − Len λ(q)
q∈B(f)

the total bran hing of f. By the Riemann-Hurwitz theorem, we have that

v(f) = 2g(X) − 2 − d 2g(Y) − 2

where g(X) (resp. g(Y)) denotes the genus of X (resp. Y ). Therefore, the total bran hing
v(f) is an even non-negative integer.
The following problem was rst proposed by Edmonds-Kulkarni-Stong [4℄ and we an
tra e its history to Hurwitz [8℄.
Realizability Problem. Given a ompa t onne ted Riemann surfa e Y and a olle tion
Λ = {λ1 , · · · , λk } of non-trivial partitions of a positive integer d, does there exist another
ompa t onne ted Riemann surfa e X together with a bran hed overing f : X → Y su h
that Λ is its bran h data?
If it is the ase above, we all the olle tion Λ is realizable or realized by a bran hed
overing.
See the lassi al [2, 4, 5, 6, 7, 9, 10, 12, 13, 21, 22℄ and the more re ent [1, 11, 14, 15,
16, 17, 18, 19, 20, 23℄ about this problem. Here we only review some ne essary ba kground
and a small part of known results whi h are losely related to our dis ussions in the sequel.
Re all that in order to be realizable, a olle tion Λ should satisfy the ondition that
its total bran hing
v(Λ) :=

k
X
j=1


d − Len(λj )

is even. We all su h a olle tion ompatible. It is proved in [9, Theorem 9℄ and [4,
Se tion 3℄ that a ompatible olle tion is always realizable if g(Y) > 0. Hen e, we always
assume that Y is the Riemann sphere C in the sequel. Namely, we are going to only
onsider rational fun tions on ompa t Riemann surfa es. It turns out that a ompatible
olle tion is not always realizable in this ase. We all a ompatible olle tion an ex eption
if it is not realizable. Zheng [23℄ founded by omputer all the ex eptions of degree ≤ 22.
Pervova-Petronio [19, 20℄ used a variety of te hniques to give some new in nite series
of ex eptions, and they used dessins d'enfants to make a theoreti al explanation to part
of the ex eptions given by Zheng [23℄. Instead of onstru ting ex eptions, EdmondsKulkarni-Stong [4℄ proposed the so- alled prime degree onje ture, whi h says that ea h
ompatible olle tion with prime degree is realizable and this onje ture was redu ed in
the same paper to the olle tions with only three partitions. In [17, 18℄, Pas ali-Petronio
proved some results whi h provided strong support to this onje ture.
Chara terizing bran h data of all rational fun tions is a very deep and diÆ ult problem,
whi h seems far from being a essible nowadays. Hen e, it is meaningful to nd reasonably
simple, suÆ ient onditions for realizable olle tions. Besides the theorems in [17, 18, 19,
20℄, some of the other known results are as follows: Thom [22℄ showed that a ompatible
2

On rational fun tions on C

olle tion is realizable if one partition in it has length one. Edmonds-Kulkarni-Stong [4,
Theorem 5.4℄ proved that a ompatible olle tion with degree d 6= 4 is realizable when its
total bran hing ≥ 3(d − 1). In addition, the ex eptions with d = 4 are pre isely those with
partitions (2, 2), · · · , (2, 2), (3, 1). Moreover, Bo ara [2℄ obtained a omplete determination
of the realizability of the olle tion Λ whi h onsists of the following three partitions of
d:
(a1 , · · · , ap ), (b1 , · · · , bq ), (m + 1, 1, · · · , 1).

He proved that Λ is realizable if and only it satis es one of the following two onditions:
• v(Λ) ≥ 2d is even.

• v(Λ) = 2d − 2 and m <

d

GCD(a1 , · · · , ap , b1 , · · · , bq )

. Note that m = p + q − 2 in this ase.

Generalizing the se ond part of Bo ara's result. We show the following
Theorem 1.1 (Main Theorem). Let d and l
tion Λ onsists of l + 2 partitions of d:

be two positive integers. Given a olle -

Λ = {(a1 , · · · , ap ), (b1 , · · · , bq ), (m1 + 1, 1, · · · , 1), · · · , (ml + 1, 1, · · · , 1)}

with (m1 , · · · , ml ) a partition of p + q − 2 > 0. Then there exists a rational fun tion
on C with Λ as its bran h data if and only if


max m1 , · · · , ml <

d

GCD(a1 , · · · , ap , b1 , · · · , bq )

.

We all a rational fun tion on a ompa t Riemann surfa e a Belyi fun tion if it has
at most three bran h points. As an appli ation of main theorem, we have
Theorem 1.2. Let d
partitions of d:

and r be two positive integers, and a olle tion Λ onsist of

Λ = {(a1 , · · · , ap ), (b1 , · · · , bq ), (c1 + 1, · · · , cr + 1, 1, · · · , 1)}

where (c1 , · · · , cr ) is a partition of p + q − 2 > 0. If


max c1 , · · · , cr <

then the modi ed olle tion

d
GCD(a1 , · · · , ap , b1 , · · · , bq )

e := {(ra1 , · · · , rap ), (rb1 , · · · , rbq ), (c1 + 1, · · · , cr + 1, 1, · · · , 1)}
Λ

of partitions of dr an be realized by a Belyi fun tion on C.

In the remaining of the arti le, we give proofs of the two theorems. And at the
very end, we propose a onje ture on erning rational fun tions on a Riemann surfa e of
positive genus, whi h is a natural generalization of our main theorem
3

On rational fun tions on C

2

Proof of main theorem

In Subse tion 2.1 we prove the ne essary part of main theorem and observe that the
suÆ ient part an be redu ed to the ase of GCD(a1 , · · · , ap , b1 , · · · , bq ) = 1. Moreover, we
re all that by the Riemann existen e theorem ([3, Theorem 2, p.49℄) the suÆ ient part is
equivalent to the existen e of ertain permutations in the symmetry group Sd := S{1,2,··· ,d}
asso iated with the olle tion Λ. For the ompleteness, we give in Subse tion 2.2 a proof
in our own strategy for the ase of l = 1 of main theorem whi h was also proved by Bo ara
[2℄. We prove Case l ≥ 2 of main theorem in Subse tion 2.3.

2.1

Riemann existence theorem

At rst, we prove the ne essary part of main theorem.

Proof. Suppose that there exists a rational fun tion f on C realizing the bran h data Λ.
Using suitable Mobius transformations if ne essary, we an assume that f has form
f(z) =

(z − z1 )a1 · · · (z − zp )ap
(z − w1 )b1 · · · (z − wq )bq

(1)

where z1 , · · · , zp , w1 , · · · , wq are (p + q) distin t omplex numbers. Let
k = GCD(a1 , · · · , ap , b1 , · · · , bq ).

Then we an write f as f = Fk for some rational fun tion on C. And F has bran h data of
the form
{(a1 /k, · · · , ap /k), (b1 /k, · · · , bq /k), (m1 + 1, 1, · · · , 1), · · · , (ml + 1, 1, · · · , 1)}.


Sin e F has degree d/k, max m1 , · · · , ml < d/k. We are done in this part.
On the other hand, reversing the order of the above argument, we see that if the
olle tion
{(a1 /k, · · · , ap /k), (b1 /k, · · · , bq /k), (m1 + 1, 1, · · · , 1), · · · , (ml + 1, 1, · · · , 1)}

is realized by some rational fun tion, then so is Λ. Hen e, in order to show the suÆ ient
part, we may assume GCD(a1 , · · · , bq ) = 1.
We need to prepare some notions before proving the suÆ ient part of main theorem.
Definition 2.1. Let m be a non-negative integer. A ve tor α = (a1 , a2 , · · · , am+2 ) in
Zm+2 is alled a residue ve tor with (m + 2) omponents if a1 + a2 + · · · + am+2 = 0 and
a1 a2 · · · am+2 6= 0. Two residue ve tors α = (a1 , · · · , am+2 ) and β = (b1 , · · · , bm+2 ) are alled
equivalent, denoted by α ∼ β, if there is a nonzero rational number µ and a permutation
σ in the symmetry group Sm+2 su h that

µ · α = (µa1 , · · · , µam+2 ) = σ(β) := bσ(1) , · · · , bσ(m+2) .

4

On rational fun tions on C

This is an equivalen e relation in the set of residue ve tors with (m + 2) omponents. The
degree of the residue ve tor α is de ned to be


deg a1 , · · · , am+2 =

P

aj >0

aj

GCD a1 , · · · , am+2

.

We all a residue ve tor α = (a1 , · · · , am+2 ) primitive if GCD(a1 , · · · , am+2 ) = 1. Clearly,
the degree of a primitive residue ve tor equals the sum of all its positive omponents. Observe also that the logarithmi di erential d (log f) = dff of a rational fun tion f in (1) has

residues a1 , · · · , ap , −b1 , · · · , −bq , whi h form a residue ve tor with degree d/GCD a1 , · · · , ap , b1 , · · · , bq .
Definition 2.2. Let λ = (λ1 , λ2 , · · · , λl ) be a partition of a positive integer n. The weight
of λ is de ned to be
wt(λ) = max(λ1 , · · · , λl )

Use the notions in main theorem and denote by λ the partition (m1 , · · · , ml ) of m =
p + q − 2 > 0 and by α the residue ve tor (a1 , · · · , ap , −b1 , · · · , −bq ). Then the ondition
in the theorem an be on isely re-expressed as
deg α > wt(λ).
By the Riemann existen e theorem [3, Theorem 2, p.49℄, the suÆ ient part of the main
theorem is equivalent to the following
Theorem 2.1. Under the assumptions of main theorem, if deg α > wt(λ), then there
exist (l + 2) permutations of τ1 , τ2 , σ1 , · · · , σl in the symmetry group Sd = S{1,2,··· ,d} of
{1, 2, · · · , d} su h that
 τ1 τ2 σ1 · · · σl = e,

where e is the unit in Sd and permutations are multiplied from

 τ1 has the type
k = 1, · · · , l;

of a11 a12 · · · a1p , τ2 of b11 b12 · · · b1q and σk of (1 + mk )1 1d−mk −1 for all

right to left;



The subgroup h τ1 , τ2 , σ1 , · · · , σl i of Sd a ts transitively on {1, 2, · · · , d}.

The following lemma will be useful later, whi h follows from the Riemann existen e
theorem and the argument in the rst three paragraphs of this subse tion.
Lemma 2.1. For ea h m ≥ 0, proving Theorem 2.1 is equivalent to proving its variant
where α is primitive. We all the latter the primitive version of Theorem 2.1.

We shall prove Theorem 2.1 and its primitive version simultaneously by indu tion
on m = p + q − 2 in the sequel of this se tion. The proof will be divided into two parts
regarding l = 1 or l > 1.
Without loss of generality, we may assume the residue ve tor satis es the following
order assumption:
Order Assumption (OA) a1 ≤ a2 ≤ · · · ≤ ap , b1 ≥ · · · ≥ bq and 1 ≤ p ≤ q.
5

On rational fun tions on C

2.2

Branch data with three partitions

For the ompleteness of the manus ript, we in lude in this subse tion the proof of the well
known ase where l = 1 of Theorem 2.1 (see [2℄), whose strategy we also use while proving
in Subse tion 2.3 the l > 1 ase of the theorem.
Here we rst make a re all of the ase l = 1 of Theorem 2.1.
Proposition 2.1 (Case l = 1 of Theorem 2.1). Let α = (a1 , · · · , ap , −b1 , · · · , −bq ) be a
residue ve tor and λ = (m) be a partition of m = p + q − 2 > 0 su h that deg α > wt(λ) =
m. Then there exist three permutations τ1 , τ2 , σ1 in Sd satisfying the following three

properties:

 τ1 τ2 σ1 = e;
 τ1


has the type of a11 a12 · · · a1p , τ2 of b11 b12 · · · b1q and σ1 of (1 + m)1 1d−m−1 ;

The subgroup h τ1 , τ2 , σ1 i of Sd a ts transitively on {1, 2, · · · , d}.

Lemma 2.2. Let α = (a1 , · · · , ap , −b1 , · · · , −bq )
p + q − 2. If m > 0, we have ap > bq .

be a residue ve tor with deg α > m =

Proof. If ap < bq , then it follows from the order assumption (OA) that

p
P

i=1

ai <

q
P

j=1

bj ,

ontradi ting the de nition of residue ve tor. If ap − bq = 0, then by OA and m = p +
q − 2 > 0 we have p = q ≥ 2 and ai = bj for all i = 1, 2, · · · , p and j = 1, 2, · · · , q. Sin e
p = deg α > m = p + q − 2 = 2p − 2 = 2q − 2, we obtain p = q = 1, whi h ontradi ts
p + q > 2.
To prove Proposition 2.1, we need to use the following lemma, where we propose a
new on ept, alled ontra tion of a residue ve tor.
Lemma 2.3. Under the assumptions of Proposition 2.1, there exist i0 ∈ {1, 2, · · · , p}
and j0 ∈ {1, 2, · · · , q} su h that


\
b = a1 , · · · , ai0 −1 , ai0 − bj0 , ai0 +1 , · · · , ap , −b1 , · · · , (−b
α
j0 ), · · · , −bq

is a residue ve tor with deg αb > m − 1, where ai0 − bj0 > 0 and the hat over term
b is
(−bj0 ) means that (−bj0 ) is removed. Note that the number of omponents of α
one less than that of α. We all αb a contraction of α.

Proof. Without loss of generality, we assume α is primitive. If not, we may repla e it by
a primitive residue ve tor equivalent to it.
By OA and Lemma 2.2, we have q ≥ 2 and ap − bq > 0, and then we obtain another
residue ve tor

β1 := a1 , · · · , ap−1 , ap − bq , −b1 , · · · , −bq−1

with (m − 1) omponents. We divide the proof into the following three steps.

6

On rational fun tions on C

Step 1. Assume q = 2. Then m = p + q − 2 = p and deg β1 ≥ p, so β1 is a ontra tion of α.
We assume that q > 2 in the sequel of the proof.
Step 2. Suppose that β1 is primitive. Then deg β1 > (m − 1) = (p + q − 3), so it gives a
ontra tion of α. Indeed, if not, then by OA we have
2q − 2 ≥ p + q − 2 > deg β1 = −bq +

p
X

ai = −bq +

i=1

q
X

bj =

j=1

q−1
X

bj .

j=1

thus bq−1 = bq = 1 and bq−2 ≤ 2. Moreover, if bq−2 = 2, then b1 = · · · = bq−2 = 2.
Therefore
m+1 = p+q−1 > 1+

q−1
X

bj =

j=1

q
X
j=1

bj =

p
X

ai = deg α,

i=1

whi h ontradi ts the assumption on the degree of α. We assume that β1 is not
primitive in the left part of the proof.
Step 3. If deg β1 > (m−1), then we are done. So without loss of generality, suppose deg β1 ≤
(m − 1) = (p + q − 3). Let D > 1 be the greatest ommon divisor of all omponents
of β1 . Then, by OA and the de nition of degree, we obtain that
2q − 2 ≥ p + q − 2 > deg β1 =

p−1

q−1

i=1

j=1

ap − bq X ai X bj
+
=
.
D
D
D

Hen e bq−1 = D, D|bj for all j = 1, · · · , q − 2, D|ai for all i = 1, · · · , p − 1, and D|(ap −
bq ). Consequently, ap ≥ bq + D > D = bq−1 and we obtain another residue ve tor
β2 := a1 , · · · , ap−1 , ap − bq−1 , −b1 , · · · , −bq−2 , −bq



with (m − 1) omponents. If deg β2 > (m − 1), then we are done. So suppose
deg β2 ≤ (m − 1). We divide our dis ussion into two ases: β2 is primitive and
otherwise.
(a) First, suppose that β2 is primitive. Sin e deg β2 < m, we nd that bq = 1
and bq−2 ≤ 2 by a same argument for β1 in step 2. As a result 2 ≥ bq−2 ≥
bq−1 = D > 1, and thus bq−2 = bq−1 = D = 2. By the same argument for β1 , we
dedu e that b1 = · · · = bq−1 = D = 2 and a1 , · · · , ap−1 are even. In parti ular,
a1 − bq = a1 − 1 > 0. Hen e
b := a1 − bq , a2 , · · · , ap , −b1 , · · · , −bq−1
α



b=
is a primitive residue ve tor with (m − 1) omponents. Moreover, deg α
b forms a ontra tion of α.
2q − 2 ≥ p + q − 2 = m > m − 1 and thus α

(b) Se ond, if β2 is not primitive. A similar argument as in the β1 not primitive
ase gives that bq = E and bq−2 = E or 2E, where E is the greatest ommon
divisor of the omponents of β2 . By OA, E = bq ≤ bq−1 . If D = bq−1 = bq =
E, then E|(ap − bq−1 ) implying that E divides all the omponents of α, this
7

On rational fun tions on C

ontradi ts the primitive property of α. Hen e, E = bq < bq−1 ≤ bq−2 . Also
sin e bq−2 = E or 2E, we have bq−2 = 2E and 1 ≤ bq−2 /bq−1 < 2. Re all that
bq−1 = D and D|bq−2 , so D = bq−1 = bq−2 = 2E = 2bq and E|ap , whi h gives
the same ontradi tion as above.
We shall prove Proposition 2.1 by indu tion on m. To this end, we need two lemmas.
Lemma 2.4. Let σ and τ be two permutations in Sd for some positive integer d su h
that σ is a y le of length greater than 1 and τ has form ν1 ν2 · · · νr , where νi 's are
mutually disjoint y les of length di for i = 1, 2, · · · , r and d1 + d2 + · · · + dr = d. We
all νj 's cycle factors of τ. Then the following two onditions are equivalent:

(i) The subgroup hσ, τi of Sd a ts transitively on the set {1, 2, · · · , d}.
(ii) Ea h y le fa tor νi of τ interse ts the y le σ in the sense that the subset of
{1, 2, · · · , d} asso iated with νi interse ts that asso iated with the y le σ.

Proof. (i) ⇒ (ii) We prove the interse tion by ontradi tion. Suppose that there exists
a y le fa tor νi of τ not interse ting σ. Then νi is a y le fa tor of τσ. Therefore, the
subset asso iated with νi forms an orbit under the a tion of the subgroup hτ, σi of Sd on
the set {1, 2, · · · , d}. Sin e this a tion is transitive, the y le νi has length d. Hen e, νi
must interse t σ, ontradi tion!
(ii) ⇒ (i) For ea h 1 ≤ i ≤ r, we hoose a number xi lying in both νi and σ. Consider
the a tion of the subgroup hτ, σi on the set {1, · · · , d}. Then x1 , · · · , xr lie in the same
orbit of this a tion by assumption. Moreover, for ea h 1 ≤ i ≤ r, xi belongs to the same
orbit with any other numbers in the y le νi , and the numbers in ν1 · · · νr exhaust all the
numbers in {1, · · · , d}. Therefore, the a tion has a single orbit.

We onsider a more general ase of the part of (i)⇒(ii) in the above
lemma by repla ing σ by σ1 , σ2 , · · · , σl , all of whi h are y les in Sd of length greater
than 1. Suppose that the subgroup hσ1 , σ2 , · · · , σl , τi of Sd a ts transitively on the set
{1, 2, · · · , d}. Then it follows from a similar argument as in the pre eding proof that
ea h y le fa tor of τ must interse t some σk for 1 ≤ k ≤ l. However, for l ≥ 2, the
onverse fails in general. For example, the subgroup of S4 generated by (12), (34) and
(12)(34) a ts on the set {1, 2, 3, 4} with the two orbits of {1, 2} and {3, 4}.
Remark 2.1.

Under the assumptions of Proposition 2.1, suppose that there exist
permutations τ1 , τ2 , σ1 in Sd su h that τ1 τ2 σ1 = e and they have types of a11 a12 · · · a1p ,
b11 b12 · · · b1q and (1 + m)1 1d−m−1 , respe tively. Then the subgroup hτ1 , τ2 , σ1 i a ts transitively on the set {1, 2, · · · , d} if and only if ea h y le fa tor of τ1 and τ2 interse ts
the (m + 1)- y le σ1 .
Lemma 2.5.

Proof. Sin e τ1 τ2 σ1 = e, the following three subgroups oin ide with ea h other:
hτ1 , σ1 i = hτ1 , τ2 , σ1 i = hτ2 , σ1 i.

The result follows from Lemma 2.4.
8

On rational fun tions on C

Now we give the proof of Proposition 2.1.

Proof. We argue by indu tion on m = p + q − 2 ≥ 0. It holds trivially as m = 0, whi h is
equivalent to p = q = 1. Assume p + q > 2 in what follows. By Lemma 2.3, there exists a
b of α. Without loss of generality, we assume that the ontra tion α
b has the
ontra tion α
form

b = a1 , · · · , ap−1 , ap − bq , −b1 , · · · , −bq−1 .
α

By the indu tion hypothesis, there exist in Sd−bq a permutation τ2 = ν1 ν2 · · · νq−1 of type
b11 b12 · · · b1q−1 and a y le σ1 of length (p + q − 2) su h that τ2 σ1 = ν1 ν2 · · · νq−1 σ1 has type
of a11 · · · a1p−1 (ap − bq )1 and the subgroup generated by τ2 and σ1 a ts transitively on the
set {1, 2, · · · , d − bp}, where νj is a y le fa tor of length bj of τ2 for all j = 1, 2, · · · , q − 1.
In addition, by the indu tion hypothesis, τ2 σ1 has the form
ν1 ν2 · · · νq−1 σ1 = µ1 µ2 · · · µp

where µi 's are mutually disjoint y les for 1 ≤ i ≤ p, the length of µp is (ap − bq) and µk
has the length ak for 1 ≤ k ≤ p − 1.
By Lemma 2.5, we an hoose an integer 1 ≤ x ≤ (d − bq) lying in both µp and σ1 .
Choose in Sd a y le νq of length bq su h that νq does not interse t νj for all j = 1, · · · , q−1,
for example νq = (d, d − 1, · · · , d − bq + 1) and pi k an integer y in νq . Then ν1 ν2 · · · νq−1 νq
f1 := σ1 (x, y) is a y le of length (p + q − 1). The subgroup
has type b11 b12 · · · b1q and σ
f1 i of Sd a ts transitively on the set {1, 2, · · · , d} by Lemma 2.5. We also
hν1 ν2 · · · νq−1 νq , σ
observe that µ~ p := νq µp (x, y) is a y le of length ap sin e νq does not interse t µp and
x and y lie in µp and νq , respe tively. Moreover, sin e νq does not interse t µi for all
1 ≤ i ≤ p − 1, µ
~ p does not interse t µi for all 1 ≤ i ≤ p − 1. So we have



f1 = νq ν1 ν2 · · · νq−1 σ1 (x, y) = νq µ1 µ2 · · · µp (x, y)
ν1 ν2 · · · νq−1 νq σ


= µ1 µ2 · · · µp−1 νq µp (x, y) = µ1 µ2 · · · µp−1 µ
~p.

Hen e, we see that the three permutations µ1 µ2 · · · µp−1 µ~ p
Sd satisfy the three properties listed in Proposition 2.1.

2.3

−1

f1 in
, ν1 ν2 · · · νq−1 νq and σ

Branch data with more than three partitions

We prove Case l ≥ 2 of Theorem 2.1. At rst we deal with residue ve tors with omponents
only ±1.
Proposition 2.2.

Let D be a positive integer. Assume α = (1,
· · · , 1}, −1,
| 1,{z
{z· · · , −1}).
| −1,
D+1

D+1

Then for ea h partition λ = (m1 , m2 , · · · , ml ) of 2D su h that wt(λ) < deg α = D + 1,
there exist l permutations σ1 , · · · , σl in SD+1 su h that the following properties hold
 σ1 · · · σl = e;
 σj 's

are y les of length (mj + 1);
9

On rational fun tions on C
 hσ1 , · · · , σl i

a ts transitively on the set {1, · · · , D + 1}.

Proof. It is easy to see that l ≥ 2. We divide the proof by onsidering three ases.

Case 1 If l = 2, we know that m1 = m2 = D sin e 2D = m1 + m2 and m1 , m2 ≤ D. Then we
are done by hoosing
σ1 = (1, 2, · · · , D + 1),

σ2 = σ−1
1 .

Case 2 If l = 3. Sin e m1 , m2 , m3 ≤ D and m1 + m2 + m3 = 2D, We have m1 + m2 ≥ D.
Choosing
σ1 = (1, 2, · · · , m1 + 1) and

σ2 = (1, m1 + 1, m1 , m1 − 1, · · · , m1 + m3 − D + 2, m1 + 2, m1 + 3, · · · , D + 1),
|
{z
}|
{z
}
m1 +m2 −D

we obtain

σ1 σ2 =

D−m1



(m1 + 2, m1 + 3, · · · , D + 1, 2, 3, · · · , m1 + m3 − D + 2),


{z
}|
{z
}
 |
m1 +m3 −D+1

D−m1


(m1 + 2, m1 + 3, · · · , D + 1, 2, 3, · · · , m1 + 1, 1),

{z
}|
{z
}

 |

if m3 < D

if m3 = D

m1 +1

D−m1

Then the permutations σ1 , σ2 and σ1 σ2

−1

satisfy the three properties.

Case 3 Suppose l > 3. Sin e m1 , · · · , ml ≤ D, we an hoose 1 < r ≤ l su h that m1 + m2 +
· · · + mr−1 ≤ D and m1 + m2 + · · · + mr > D.
Sub ase 3.1 Suppose that r < l. Choosing
σ1 = (1, 2, · · · , m1 + 1),

σ2 = (m1 + 1, m1 + 2, · · · , m1 + m2 + 1),
···

σr−1 = (m1 + · · · + mr−2 + 1, · · · , m1 + · · · + mr−1 + 1),

we obtain
τ1 := σ1 σ2 · · · σr−1 = (1, 2, 3, · · · , m1 + · · · + mr−1 + 1)

By Case 2, there exist two y les τ2 and τ3 whi h have length 1 + mr and mr+1 +
· · · + ml + 1 < D + 1, respe tively, su h that τ1 τ2 τ3 = e. As the onstru tion of
σ1 , · · · , σr−1 , we an nd σr+1 , σr+2 , · · · , σl dire tly su h that σj has the type of
(1 + mj )1 1D−mj for r + 1 ≤ j ≤ l and σr+1 · · · σl = τ3 . Therefore the l y les of
σ1 , · · · , σr−1 , σr := τ2 , σr+1 , · · · , σl satisfy the three properties.


Sub ase 3.2 Suppose r = l > 3. Sin e m1 + · · · + ml = 2D and max m1 , · · · , ml ≤ D,
we have m1 + · · · + ml−1 = ml = D. Then the problem an be redu ed to Case 1 by
a similar argument as above.
10

On rational fun tions on C

To omplete the proof of Theorem 2.1, we need the following lemma and its two
orollaries.

Let Γ be a subgroup of Sd = S{1,2,··· ,d} for some integer d > 1 and θ ∈ Sd
be a y le of length greater than 1. Assume that the subgroup G generated by Γ
and θ a ts transitively on the set {1, 2, · · · , d}. Then, for ea h number 1 ≤ x ≤ d not
ontained in θ, the Γ -orbit Γx of x interse ts θ.
Lemma 2.6.

Proof. We argue by ontradi tion. Suppose that the orbit Γx does not interse t θ. Take
an arbitrary permutation ξ in G. We an express it as
ξ = π1 π2 · · · πs

where either πi = θ or πi ∈ Γ . Let ξ ′ be the permutation obtained from the produ t
π1 π2 · · · πs by removing all those πi 's satisfying πi = θ. Then ξ ′ ∈ Γ . Sin e ea h number
not ontained in θ is a xed point of θ, by the hypothesis of the ontradi tion argument,
we nd that ξ(x) = ξ ′ (x) is not ontained in θ. Sin e ξ ∈ G has been hosen arbitrarily, the
orbit Gx does not interse t θ, whi h ontradi ts that G a ts transitively on {1, 2, · · · , d}.
As an appli ation of the above lemma, we have
Corollary 2.1. Let γ1 , γ2 , · · · , γl , θ be (l + 1) permutations in Sd−1 for some integer
d > 2 and θ = (x1 , x2 , · · · , xn ) be a y le in Sd−1 of length n > 1. Suppose that the
subgroup hγ1 , γ2 , · · · , γl , θi a ts transitively on the set {1, 2, · · · , d − 1}. Then so does
e on {1, 2, · · · , d}, where θ
e := (x1 , · · · , xn , d) is a y le of
the subgroup hγ1 , γ2 , · · · , γl , θi
length (n + 1) in Sd .

Proof. By Lemma 2.6, we an see that for ea h number 1 ≤ x ≤ d − 1 not ontained in
θ, there exists γ ∈ Γ := hγ1 , · · · , γl i su h that γ(x) is ontained in θ. Hen e, the a tion of
e on {1, 2 · · · , d} has only one orbit.
hγ1 , γ2 , · · · , γl , θi
Similarly, we obtain

Corollary 2.2. Let γ1 , γ2 , · · · , γl , θ be permutations in Sd for some integer d > 2
and θ = (x1 , x2 , · · · , xn ) be a y le of length 1 < n < d. Suppose that the subgroup
hγ1 , γ2 , · · · , γl , θi a ts transitively on the set {1, 2, · · · , d}. Then so does the subgroup
e of Sd on the set {1, 2, · · · , d}, where θ
e = (x1 , · · · , xn , y) ∈ Sd is a y le of
hγ1 , γ2 , · · · , γl , θi
length (n + 1) with y ∈ {1, 2, · · · , d}\{x1 , · · · , xn }.

Now we arrive at proving the ase l ≥ 2 of Theorem 2.1.

Proof. By Lemma 2.1 we ould also assume that the residue ve tor α = (a1 , · · · , ap , −b1 , · · · , −bq )
is primitive so that deg α = d = a1 + · · · + ap = b1 + · · · + bq.

11

On rational fun tions on C
Part I Suppose d ≥ m + 1 = p + q − 1. By Proposition 2.1 there exist τ1 , τ2 , σ su h that
(1) τ1 τ2 σ = e;
(2) τ1 has type of a11 a12 · · · a1p , τ2 of b11 b12 · · · b1q, σ of (1 + m)1 1d−m−1 ;
(3) the subgroup hτ1 , τ2 , σi a ts transitively on {1, 2, · · · , d}.
Assume that σ = (1, 2, · · · , m + 1) for simpli ity of notion. We are done by hoosing
σ1 = (1, 2, · · · , m1 + 1),

σ2 = (m1 + 1, m1 + 2, · · · , m1 + m2 + 1),

······

σl = (m1 + · · · + ml−1 + 1, m1 + · · · + ml−1 + 2, · · · , m1 + · · · + ml + 1),

Part II Suppose d = deg α ≤ m = p + q− 2. We rst redu e the problem to the two ases that
l = 2 and l = 3, then we prove these two ases by using the ontra tion argument

and the indu tion argument similar as the proof of Proposition 2.1. The details
given as follows form the left part of this se tion.
P

By OA, we have that d = qj=1 bj ≥ q ≥ p+q
2 . Sin e d = deg α > wt(λ) = max m1 , · · · , ml ),
the partition λ of m = (p + q − 2) has at least two omponents, i.e. l > 1.
At rst we show that
Claim 1: the problem an be redu ed to the two ases where the partitions of
m

have two and three omponents, respe tively.

Proof of Claim 1

Suppose that Part II holds for ea h partition of m whi h has three omponents and
has weight less than d. Then we shall prove that so does Part II for ea h partition
(m1 , · · · , ml ) of m su h that l > 3 and its weight is less than d. To this end, sin e
m1 , · · · , ml < d, we an hoose 1 < r ≤ l su h that
m1 + · · · + mr−1 < d

and m1 + · · · + mr ≥ d.

We shall de ne a new partition, alled λ ′ , with three omponents as following.
• Suppose r < l. Then we onsider the partition λ ′ := (m1′ , m2′ , m3′ ) of m, where
m1′ , m2′ , m3′ are de ned by
m1′ := m1 + · · · + mr−1 < d,

m2′ := mr < d,

m3′ := mr+1 + · · · + ml .

Moreover, sin e d ≥ p+q
2 , we observe that
m3′ = p + q − 2 − (m1′ + m2′ ) < (p + q − d) − 1 ≤

p+q
− 1 ≤ d − 1.
2

• Suppose r = l > 3. Then we hoose the partition λ ′ := m1 + · · · + ml−2 , ml−1 , ml
of m, whi h has weight less than d.



Sin e the partition λ ′ has weight less than d, and we have assumed the validity of Case l = 3 for α and λ ′ , we an nd in Sd the following ve permutations
12

On rational fun tions on C
τ1 , τ2 , σ1′ , σ2′ , σ3′ whi h satisfy the three properties. By a similar onstru tion as

Case 3 in the proof of Proposition 2.2, we know that the proposition holds for the
partition (m1 , · · · , ml ). Therefore, we have justi ed the laim.
We always assume l = 2 or 3 in the left part of the proof.

Re all that OA states that 1 ≤ p ≤ q, a1 ≤ a2 ≤ · · · ≤ ap , b1 ≥ b2 ≥ · · · ≥ bq . Without
loss of generality, we further assume m1 ≤ m2 ≤ · · · ≤ ml for the partition λ. We
all these two assumptions OA in the sequel by an abuse of notation.
By OA, we an see that if ap = 1, then a1 = a2 = · · · = ap = b1 = b2 = · · · = bq = 1 and
we are done by Proposition 2.2. We may assume that ap > 1 in the left part of the
proof. Sin e d ≤ m, we have

q
P

j=1

bj ≤ p + q− 2 ≤ 2q− 2. Then, we have bq−1 = bq = 1.

Sin e m1 ≤ · · · ≤ ml and ap > 1, deg α > wt(λ) and l = 2 or 3, we observe that ml is
always greater than 1 ex ept when α = (2, 1, −1, −1, −1) and λ = (1, 1, 1), for whi h
Part II holds trivially. We may assume that ml > 1 in the left part of the proof. In
order to do indu tion on m, we hoose the partition

λ1 := m1 , · · · , ml−1 , (ml − 1)

of (m − 1) and the residue ve tor
b = a1 , a2 , · · · , ap−1 , ap − bq , −b1 , −b2 , · · · , −bq−1
α



b is primitive
with (p + q − 1) = (m + 1) omponents. Then, sin e bq−1 = bq = 1, α
and
b = −1 + deg α.
deg α

Then we make the following





b . Hen e we may think of α
b , λ1 as a ontra tion of α, λ
Claim 2: wt(λ1 ) < deg α

and we shall use the former to do indu tion argument.
Proof of Claim 2

(i) If m1 ≤ · · · ≤ ml−1 = ml , then wt(λ1 ) = ml−1 = ml and 2ml ≤ m = p + q − 2 ≤
b > q−1, then we are done. Assume deg α
b = q−1,
2q−2, i.e. ml ≤ q−1. If deg α
whi h implies that b1 = · · · = bq = 1 and p < q sin e ap > 1. Then 2ml ≤ m =
b = q − 1 > ml = wt(λ1 ).
p + q − 2 < 2q − 2 and ml < q − 1. Hen e deg α

b . The laim
(ii) If ml−1 < ml , then wt(λ1 ) = ml − 1 = wt(λ) − 1 < deg α − 1 = deg α
is proved.

Then in the left part of the proof we use the indu tion on m to prove that Part II of
Theorem 2.1 holds provided that l equals either 2 or 3. We observe that the initial
ase of m = 2 holds trivially, where α = (1, 1, −1, −1) and λ = (1, 1).
– Suppose l = 2. We re all our setting as follows. Take a primitive residue ve tor
α = (a1 , · · · , ap , −b1 , · · · , −bq )

13

On rational fun tions on C

and a partition λ = (m1 , m2 ) of m = p + q − 2 ≥ 3 su h that d = deg α ≤ m,
and α and λ satisfy OA. Then we have 2 ≤ m2 = wt(λ) < d and bq−1 = bq = 1.
Then, by laim 2, we ould take another primitive residue ve tor
b = (a1 , a2 , · · · , ap−1 , ap − bq , −b1 , −b2 , · · · , −bq−1 )
α

b = d − 1.
and another partition λ1 = (m1 , m2 − 1) su h that wt(λ1 ) < deg α
By the indu tion hypothesis, there exist in Sd−1 = S{1,2,··· ,d−1} a permutation
of type b11 · · · b1q−1 , alled τ2 , and two y les σ1 , σ2 of length (1 + m1 ), m2 ,
respe tively, su h that the subgroup hσ1 , σ2 , τ2 i of Sd−1 a ts transitively on
{1, 2, · · · , d − 1} and the permutation
τ1 := τ2 σ1 σ2

has the type of a11 · · · a1p−1 (ap − bq )1 . We re-express τ1 by τ1 = µ1 · · · µp su h
that µj 's are its y le fa tors and µj has length aj for 1 ≤ j < p and µp has
length (ap − bq ). Sin e bq = 1, we an think of τ2 as a permutation in Sd
with the type of b11 · · · b1q−1 b1q . By Remark 2.1, the y le fa tor µp interse ts
either σ1 or σ2 . We shall divide the left part of the proof of Case l = 2 into
the following two steps.
Step 2.1 Suppose that σ2 interse ts µp . Then we pi k a number x in both σ2 and
e2 := σ2 (x, d) and µ
ep := µp (x, d). Then, sin e bq = 1, σ
e2 and
µp and de ne σ
ep are y les in Sd of length (1 + m2 ) and ap , respe tively. Moreover, we
µ
have
ep.
e2 = µ1 µ2 · · · µp−1 µ
τ2 σ1 σ

Sin e hτ2 , σ1 , σ2 i a ts transitively on the set {1, 2, · · · , d − 1}, the a tion
e2 i on the set {1, 2, · · · , d} has a single orbit by Corollary 2.1.
of hτ2 , σ1 , σ
−1
e2
e p , τ2 , σ1 , σ
Therefore, the following four permutations µ1 µ2 · · · µp−1 µ
satisfy the three properties.
Step 2.2 Suppose that σ2 does not interse t µp . Then σ1 interse ts µp . Choose a
number x in both σ1 and µp . Then
τ2 σ1 σ2 (x, d) = µ1 · · · µp (x, d)
ep
= µ1 · · · µp−1 µ
=: τe1

ep := µp (x, d)
where µ

where τe1 has the type of a11 · · · a1p . Meanwhile, sin e σ2 does not interse t
(x, d), we have
τe1 = τ2 σ1 σ2 (x, d) = τ2 σ1 (x, d)σ2 =: τ2 σ1′ σ2 ,

where σ1′ := σ1 (x, d) is a y le of length (m1 + 2). Observe that σ1′ interse ts σ2 . For, otherwise, σ1 does not interse t σ2 and there are (m1 + m2 +
14

On rational fun tions on C
1) di erent numbers appearing in both σ1 and σ2 , lying in Sd−1 . Hen e,

we have

(d − 1) ≥ 1 + m1 + m2 = 1 + m ≥ 1 + d,

ontradi tion!

Take the smallest positive integer s su h that y := σ1′ −s (x) is ontained

in σ2 . Sin e x is not ontained in σ2 , by the minimal property of s, σ1′ (y)
is not ontained in σ2 . We an rewrite σ1′ as

e1 y, σ1′ (y)
σ1′ = (x1 , x2 , · · · , xm1 , y, σ1′ (y)) = σ

Then we have

and


e2
e1 σ
e1 y, σ1′ (y) σ2 = σ
σ1′ σ2 = σ

with σe1 := (x1 , · · · , xm1 , y).


where σe2 := y, σ1′ (y) σ2 ,

e2 ,
e1 σ
τe1 = τ2 σ1′ σ2 = τ2 σ

where τe1 and τ2 have types of a11 · · · a1p and b11 · · · b1q−1 b1q, respe tively, and
e2 have lengths of 1 + m1 and 1 + m2 , respe tively.
the two y les σe1 and σ
Sin e hτ2 , τe1 , σ2 i = hτ2 , σ1′ , σ2 i a ts transitively on the set {1, 2, · · · , d} by
e2 i on the same set by Corollary 2.2. ThereCorollary 2.1, so does hτ2 , τe1 , σ

e1 , σ
e2 satisfy the three
fore, the following four permutations τe1 −1 , τ2 , σ
properties.
– Suppose l = 3. We may further assume that m1 + m2 ≥ d. Otherwise, repla ing
λ by λ ′ = (m1 + m2 , m3 ) and using the similar redu tion argument as above,
we an redu e the problem to the known ase of l = 2.

By the indu tion hypothesis, there exist in Sd−1 permutation τ2 of type b11 · · · b1q−1
and three y les σ1 , σ2 , σ3 of length 1 + m1 , 1 + m2 , m3 , respe tively, su h that
the subgroup hσ1 , σ2 , σ3 , τ2 i a ts transitively on the set {1, 2, · · · , d − 1} and
τ2 σ1 σ2 σ3 = τ1 = µ1 · · · µp ,

where τ1 = µ1 · · · µp has type a11 · · · a1p−1 (ap −bq)1 , µj 's are the y le fa tors of τ1
and µj has length aj for 1 ≤ j < p and µp has length (ap − bq ) = (ap − 1). Sin e
m1 + m2 ≥ d, by OA, any two of the three y les σ1 , σ2 , σ3 in Sd−1 interse t
sin e 1 + mi + mj > d > d − 1 for 1 ≤ i 6= j ≤ 3. We divide the left part of the
proof into the following three steps.
Step 3.1 If µp interse ts σ3 , we are done by a similar argument as in step 2.1.
Step 3.2 If µp interse ts σ2 but does not interse t σ3 , the proof goes through as
Step 2.2 sin e σ2 interse ts σ3 .
Step 3.3 Suppose that neither σ2 nor σ3 interse ts µp . Then, by Remark 2.1, µp
interse ts σ1 sin e hτ1 , σ1 , σ2 , σ3 i a ts transitively on the set {1, 2, · · · , d −
15

On rational fun tions on C
ep := µp (x, d)
1}. Choosing a number x in both µp and σ1 and denoting µ
′
and σ1 := σ1 (x, d), we obtain
ep =: τe1
τ2 σ1′ σ2 σ3 = τ2 σ1 σ2 σ3 (x, d) = µ1 · · · µp−1 µ

ep is a y le fa tor of τe1 , and τe1
where σ1′ is a y le of length (m1 + 2), µ
has the type of a11 · · · a1p−1 a1p .
Step 3.3.A Suppose that σ2 ontains a number whi h is not ontained in σ3 .
e1 , σ
e2 , σ
e3 with length
Then we ould nd in Sd the three y les of σ
1 + m1 , 1 + m2 , 1 + m3 , respe tively, su h that
e3 = τe1
e2 σ
e1 σ
τ2 σ

e3 i a ts transitively on {1, 2, · · · , d}. Indeed, rewrite σ1′
and hτ2 , τe1 , σe1 , σ
as
e1 (b1 , z1 )
σ1′ = σ

where b1 lies in the interse tion of σ1 and σ2 , the number z1 is one1 is a y le of length (1+ m1 ). Choose
tained in σ1′ but not in σ2 , and σ
′
σ2 := (b1 , z1 )σ2 and rewrite it as
e2 (b2 , z2 ),
σ2′ = σ

where b2 lies in both σ2 and σ3 , the number z2 is ontained in σ2 but
e3 := (b2 , z2 )σ3 is a (1 + m3 )not in σ3 , σe2 is a (1 + m2 )- y le. Hen e σ
e3 = τe1 holds. Then all the following
e2 σ
e1 σ
y le and the equality τ2 σ
subgroups
hτ2 , σ1′ , σ2 , σ3 i = hτ2 , τe1 , σ2 , σ3 i,

e1 , σ3 i
hτ2 , τe1 , σ2′ , σ3 i = hτ2 , τe1 , σ

e1 , σ
e3 i of Sd a t transitively on {1, 2, · · · , d} by Corollaries
and hτ2 , τe1 , σ
2.1 and 2.2. Therefore, the following permutations
τe1

−1

e1 , σ
e2 , σ
e3
, τ2 , σ

satisfy the three properties.
Step 3.3.B Suppose that every number in the y le σ2 is ontained in σ3 . Rewrite
σ1′ as
e1 (b, z)
σ1′ = σ

where σe1 is a (1+m1 )- y le, b lies in both σ1′ and σ3 , z is not ontained
in σ3 and then it is not ontained in σ2 , either.
• Suppose that b is not ontained in σ2 . Then
e1 (b, z)σ2 σ3
τ2 σ1′ σ2 σ3 = τ2 σ

e1 σ2 ((b, z)σ3 )
= τ2 σ

e3 ,
e1 σ2 σ
= τ2 σ

16

On rational fun tions on C
e3 := (b, z)σ3 is a (1 + m3 )- yl e. By Corollary 2.2, the subwhere σ
e3 i a ts transitively on the set {1, 2, · · · , d} sin e the
group hτ2 , τe1 , σ2 , σ
the same property. Theresubgroup hτ2 , τe1 , σ2 , σ3 i = hτ2 , σ1′ , σ2 , σ3 i has

e1 , σ2 , σ
e3 satisfy the
fore, the following ve permutations τe1 −1 , τ2 , σ
three properties.
• Suppose that b is ontained in σ2 . Then we have

where σ2′ := (b, z)σ2 .

e1 σ2′ σ3
e1 ((b, z)σ2 )σ3 = τ2 σ
τ2 σ1′ σ2 σ3 = τ2 σ

Then applying a similar argument in Step 2.2 to σ2′ and σ3 , we obtain
the two y les σe2 and σe3 with length of (1+m2 ), (1+m3 ), respe tively,
su h that
e3 = τe1 .
e2 σ
e3 and τ2 σ
e1 σ
e2 σ
σ2′ σ3 = σ

e3 i on
Moreover, by Corollaries 2.1 and 2.2, the a tion of hτ2 , τe1 , σe1 , σ
the set {1, 2, · · · , d} is transitive. Therefore, the following ve permue1 , σ
e2 , σ
e3 satisfy the three properties.
tations τe1 −1 , τ2 , σ

3

Proof of Theorem 1.2

We prove Theorem 1.2 in this subse tion.

Proof. Consider the olle tion
Λ∗ = {(a1 , · · · , ap ), (b1 , · · · , bq ), (c1 + 1, 1, · · · , 1), · · · , (cr + 1, 1, · · · , 1)}

of degree d and with total bran hing 2d − 2. By Theorem 2.1 and the Riemann existen e
theorem, there exists a rational fun tion f of degree d on the Riemann sphere su h that
√



(i) f bran hes over 0, ∞, ζ, · · · , ζr , where ζ = exp 2π −1/r .

(ii) The partitions of the above bran h points oin ide with (a1 , · · · , ap ), (b1 , · · · , bq ), (c1 +
1, 1, · · · , 1), · · · , (cr + 1, 1, · · · , 1), respe tively.
Then fr is the Belyi fun tion as desired.

4

A conjecture

In order to generalize the rst part of Bo ara's result, we make the following
Conjecture Let d, g and l be three positive integers. Suppose that the olle tion Λ
onsists of l + 2 partitions of d and has form
Λ = {(a1 , · · · , ap ), (b1 , · · · , bq ), (m1 + 1, 1, · · · , 1), · · · , (ml + 1, 1, · · · , 1)},

17

On rational fun tions on C

where (m1 , · · · , ml ) is a partition of p + q − 2 + 2g. Then there exists a rational fun tion
on some ompa t Riemann surfa e of genus g with bran h data Λ if and only if


max m1 , · · · , ml < d.
Acknowledgments. The authors would like to express his deep gratitude to Professor

Qing Chen, Professor Mao Sheng and Mr Bo Li for their valuable dis ussions during the
ourse of this work. The se ond author is indebted to Mr Weibo Fu for informing him
[2, 4, 23℄.
The rst author is supported in part by the National Natural S ien e Foundation of
China (grant no. 11426236). The se ond author is supported in part by the National
Natural S ien e Foundation of China (grants no. 11571330 and no. 11271343) and the
Fundamental Resear h Funds for the Central Universities (grant no. WK3470000003).

References
[1℄ K. Baranski. On realizability of bran hed overings on the sphere. Topol.
279-291.

Appl.

[2℄ G. Bo ara. Cy les omme produit de deux permutations de lasses donnees. Dis
58 (1982), 129-142.
[3℄ S. Donaldson. Riemann

surfa es

116 (2001),

rete Math.

(Oxford University Press, 2011).

[4℄ A. L. Edmonds, R. S. Kulkarni and R. E. Stong. Realizability of bran hed overings of
surfa es. Trans. Amer. Math. So . 282(2) (1984), 773-790.
[5℄ C. L. Ezell. Bran h point stru ture of overing maps onto nonorientable surfa e. Trans.
Math. So . 243 (1978), 123-133.

Am.

[6℄ G. Fran is. Assembling Riemann surfa es with pres ribed boundary urves and bran h points.
Illinois J. Math. 20 (1976), 198-217.
[7℄ S. M. Gersten. On bran hed overings of the 2-sphere by the 2-sphere. Pro
So . 101 (1987), 761-766.

. Amer. Math.


[8℄ A. Hurwitz. Uber
Riemann's he Fla hen mit gegebenen Verzweigungspunkten. Math.
103 (1891), 1-60.
[9℄ D. H. Husemoller. Rami ed overings of Riemann surfa es. Duke
174.

Math. J.

29 (1962), 167-

[10℄ A. G. Khovanskii and S. Zdravskovska. Bran hed overs of S2 and braid groups.
Theory Ramif. 5 (1995), 55-75.
[11℄ S. K. Lando and A. K. Zvonkin. Graphs on Surfa es and
appendix by Don B. Zagier (Springer-Verlag, Berlin, 2004).

18

Ann.

J. Knot

their Appli ations, With an

On rational fun tions on C
[12℄ A. D. Mednykh. Nonequivalent overings of Riemann surfa es with a given rami ation type.
Sib. Math. Zh. 25 (1984), 120-142.
[13℄ A. D. Mednykn. Bran hed overing of Riemann surfa es whose bran h orders oin ide with
the multipli ities. Comm. Algebra 18 (1990), 1517-1533.
[14℄ S. Monni, J. S. Song and Y. S. Song. The Hurwitz enumeration problem of bran hed overs
and Hodge integrals. J. Geom. Phys. 50 (2004), 223-256.
[15℄ A. Okounkov and R. Pandharipande. Gromov-Witten theory, Hurwitz theory and omplete
y les. Ann. Math. 163 (2006), 517-560.
[16℄ F. Pakovi h. Solution of Hurwitz problem for Laurent polynomials. J.
18 (2009), 271-302.

Knot Theory Ramif.

[17℄ M. A. Pas ali and C. Petronio. Surfa e bran hed overs and geometri 2-orbifolds.
Amer. Math. So . 361 (2009), 5885-5920.

Trans.

[18℄ M. A. Pas ali and C. Petronio. Bran hed overs of the sphere and the prime-degree onje ture.
Annali di Matemati a. 191 (2012), 563-594.
[19℄ E. Pervova and C. Petronio. On the existen e of bran hed overings between surfa es with
pres ribed bran h data, I. Algebra Geom. Topol. 6 (2006), 1957-1985.
[20℄ E. Pervova and C. Petronio. On the existen e of bran hed overings between surfa es with
pres ribed bran h data, II. J. Knot Theory Ramif. 17 (2008), 787-816.
[21℄ D. Singerman. Subgroups of Fu hsian groups and nite permutation groups.
Math. So . 2 (1970), 319-323.
[22℄ R. Thom. L'equivalen e d'une fon tion di erentiable et d'un polin^ome.
2) (1965), 297-307.
[23℄ H. Zheng. Realizability of bran hed overing of S2 . Topol.

19

Appl.

Bull. Lond.

Topology

3(suppl.

153 (2006), 2123-2134.

