(g,k)-Fermat curves: an embedding of moduli spaces

Abstract: A group

H c o n g {m a t h b b Z}_{k}^{2 g}

, where

g, k g e q 2

are integers, of conformal automorphisms of a closed Riemann surface

S

is called a

(g, k)

-Fermat group if it acts freely with quotient

S / H

of genus

g

. We study some properties of these type of objects, in particular, we observe that

S

is non-hyperelliptic and, if

k = p^{r}

, where

p > 84 (g - 1)

is a prime integer and

r g e q 1

, then

H

is the unique

(g, k)

-Fermat group of

S

. Let

G a m m a

be a co-compact torsion free Fuchsian group such that

S / H = {m a t h b b H}^{2} / G a m m a

. If

G a m m a_{k}

is its normal subgroup generated by its commutators and the

k

-powers of its elements, then there is a biholomorphism between

S

and

{m a t h b b H}^{2} / G a m m a_{k}

congugating

H

to

G a m m a / G a m m a_{k}

. The inclusion

G a m m a_{k} < G a m m a

induces a natural holomorphic embedding

T h e t a_{k} : m a t h c a l T (G a m m a) h o o k r i g h t a r r o w m a t h c a l T (G a m m a_{k})

of the corresponding Teichm"uller spaces. Such an embedding induces a holomorphic map, at the level of their moduli spaces,

P h i_{k} : m a t h c a l M (G a m m a) o m a t h c a l M (G a m m a_{k})

. As a consequence of the results on

(g, k)

-Fermat groups, we provide sufficient conditions for the injectivity of

P h i_{k}

.

This page was built for publication: $(g,k)$-Fermat curves: an embedding of moduli spaces