Nesta se¸c˜ao, apresentamos um resumo sobre superf´ıcies de Riemann, ambientes sobre os quais construiremos as tessela¸c˜oes regulares do tipo {12g − 6, 3}. Para um estudo mais aprofundado sobre suprf´ıcies de Riemann, indicamos as referˆencias [40] e [45].
Defini¸c˜ao 3.2.1 Chama-se variedade topol´ogica em duas dimens˜oes um espa¸co de Haus-
dorff, V, em que cada ponto tem uma vizinhan¸ca aberta homeomorfa a D2 = {z ∈ C : |z| < 1} .
Defini¸c˜ao 3.2.2 Seja V uma variedade topol´ogica em duas dimens˜oes. V ´e dita uma
satisfazendo as seguintes condi¸c˜oes:
1) Toda fun¸c˜ao pertencente a A (p) ´e definida numa vizinhan¸ca do ponto p. 2) Existe uma fun¸c˜ao τ ∈ A (p) e uma vizinhan¸ca W de p tais que
a) τ se anula em p e transforma W homeomorficamente numa vizinhan¸ca da ori- gem em C.
b) se q0 ∈ W ent˜ao f ∈ A (q0) se, e somente se, existe uma vizinhan¸ca W0 de q0,
W0 ⊂ W, na qual vale o desenvolvimento f (q) =
∞
P
n=0
an{τ (q) − τ (q0)}n, q ∈ W0.
As fun¸c˜oes da classe A (p) s˜ao denominadas fun¸c˜oes anal´ıticas ou holomorfas em p, e
τ ´e denominado parˆametro uniformizador1 em p.
Consequentemente, se τ ´e um parˆametro uniformizador em p, ent˜ao τ − τ (q0) ´e
parˆametro uniformizador em q0.
Proposi¸c˜ao 3.2.3 Seja p um ponto de uma superf´ıcie de Riemann S, τ um parˆametro
uniformizador em p e τ0 uma fun¸c˜ao anal´ıtica em p. τ0 ser´a parˆametro uniformizador em
p se, e somente se, existir uma vizinhan¸ca W de p onde vale o desenvolvimento τ0(q) = ∞ X n=1 bnτ (q)n, com b1 6= 0, q ∈ W.
Proposi¸c˜ao 3.2.4 Se τ ´e um parˆametro uniformizador em p e f ´e uma fun¸c˜ao anal´ıtica
na origem tal que f (0) = 0, f0 6= 0, ent˜ao f ◦ τ ´e tamb´em um parˆametro uniformizador
em p. Reciprocamente, se τ e τ0 s˜ao parˆametros uniformizadores em p, ent˜ao f = τ0◦ τ−1
´e uma fun¸c˜ao anal´ıtica na origem tal que f (0) = 0, f0(0) 6= 0.
1Seja G uma das regi˜oes - esfera, plano ou interior do c´ırculo unit´ario - nas condi¸c˜oes do T eorema da
U nif ormiza¸c˜ao, Se¸c˜ao 3.3. τ (parˆametro uniformizador) ´e uma fun¸c˜ao que estabelece em cada um dos
36 As Fun¸c˜oes Automorfas como Ferramentas de Conex˜ao
Se S ´e uma superf´ıcie de Riemann, diremos tamb´em que S possui uma estrutura de superf´ıcie de Riemann ou estrutura conforme.
Dada uma superf´ıcie de Riemann S e um aberto U ⊂ S, uma fun¸c˜ao f ´e dita anal´ıtica em U se for anal´ıtica em cada ponto de U, isto ´e, f ∈ A (p) , ∀ p ∈ U.
Seja S uma superf´ıcie de Riemann e U ⊂ S um aberto; U ´e uma variedade topol´ogica e tem uma estrutura de superf´ıcie de Riemann induzida pela de S, definida da seguinte maneira: dado p ∈ U, uma fun¸c˜ao f ´e anal´ıtica em p se considerada como fun¸c˜ao de S ela for anal´ıtica em p.
Defini¸c˜ao 3.2.5 Dadas duas superf´ıcies de Riemann S e S0, uma aplica¸c˜ao h de S em
S0 dir-se-´a anal´ıtica num ponto p ∈ S se para qualquer fun¸c˜ao f anal´ıtica em h (p) , f ◦ h
for anal´ıtica em p.
Defini¸c˜ao 3.2.6 Duas superf´ıcies de Riemann S e S0 dizem-se analiticamente equiva-
lentes se existir uma aplica¸c˜ao biun´ıvoca h de S em S0 tal que h e h−1 sejam anal´ıticas.
h diz-se tamb´em uma aplica¸c˜ao conforme de S em S0.
´
E claro que h ´e um homeomorfismo.
3.2.1
Exemplos de superf´ıcies de Riemann
Exemplo 3.2.7 Plano complexo. As fun¸c˜oes anal´ıticas num ponto p s˜ao as que podem
ser desenvolvidas em s´erie de potˆencias de z − p.
Exemplo 3.2.8 Esfera. Definimos uma estrutura de superf´ıcie de Riemann sobre a esfera
usando a proje¸c˜ao estereogr´afica, que aplica homeomorficamente uma vizinhan¸ca de um ponto p 6= p∞ da esfera numa vizinhan¸ca π (p) = p0 no plano. As fun¸c˜oes anal´ıticas em
p s˜ao as compostas das fun¸c˜oes anal´ıticas em p0 com a proje¸c˜ao π. Para o p´olo norte
p∞, 1z ◦ π, que leva uma vizinhan¸ca do p´olo numa vizinhan¸ca da origem, ´e parˆametro
uniformizador. As fun¸c˜oes anal´ıticas no p´olo norte s˜ao as compostas das fun¸c˜oes que podem ser desenvolvidas em s´eries de potˆencias de 1
z e π.
´
E claro que a esfera n˜ao ´e equivalente ao exemplo precedente, pois n˜ao ´e sequer topo- logicamente equivalente. De fato, a esfera ´e compacta, o plano n˜ao.
Seja S uma superf´ıcie de Riemann e G o grupo de todos os homeomorfismos holomorfos de S.
Defini¸c˜ao 3.2.9 Seja H ⊂ G um subgrupo de G. Dizemos que p1 e p2 s˜ao equivalentes
por H se existe T ∈ H tal que T (p1) = p2.
Defini¸c˜ao 3.2.10 Seja H ⊂ G um subgrupo de G. H diz-se propriamente descont´ınuo se
dado p ∈ S existir sempre uma vizinhan¸ca de p que n˜ao cont´em pontos equivalentes por H e distintos.
Assim, o espa¸co quociente de S pela rela¸c˜ao de equivalˆencia definida por H ´e uma variedade topol´ogica S
H em duas dimens˜oes e sobre ela pode-se definir de modo natural,
uma estrutura de superf´ıcie de Riemann, tal que a proje¸c˜ao π : S −→ S
H seja uma aplica¸c˜ao
holomorfa. π estabelece uma correspondˆencia biun´ıvoca entre as fun¸c˜oes meromorfas em
S e invariantes por H (i.e., tais que f (p) = f (T (p)) para p ∈ S, T ∈ H) e as fun¸c˜oes
meromorfas em S H.
A seguir s˜ao introduzidos conceitos sobre superf´ıcies de Riemann que podem ser definidos intrinsecamente, i.e., independentemente da escolha do parˆametro uniformizador. Zero de Ordem k de uma Fun¸c˜ao
Seja f uma fun¸c˜ao holomorfa num ponto p ∈ S e τ um parˆametro uniformizador em p. Ent˜ao numa vizinhan¸ca de p
f =
∞
X
n=0
anτn (1)
Defini¸c˜ao 3.2.11 Se o primeiro coeficiente n˜ao nulo de f, for ak, diremos que f tem um
zero de ordem k em p.
Singularidades de uma Fun¸c˜ao
Seja agora f uma fun¸c˜ao holomorfa numa vizinhan¸ca V de p com exce¸c˜ao do ponto p, e seja τ um parˆametro uniformizador em p. Ent˜ao vale ao redor de p um desenvolvimento de Laurent f = +∞ X −∞ anτn (2)
Temos trˆes poss´ıveis casos a considerar:
a) Existem infinitos termos n˜ao nulos com expoentes negativos. Dizemos ent˜ao que f tem uma singularidade essencial em p.
38 As Fun¸c˜oes Automorfas como Ferramentas de Conex˜ao
b) Existe somente um n´umero finito de termos com expoente negativo. Seja a−kτ−k o
primeiro deles: dizemos ent˜ao que f tem um p´olo de ordem k em p.
c) N˜ao existem termos com expoente negativo. Ent˜ao f pode ser estendida a uma fun¸c˜ao definida em toda vizinhan¸ca V e anal´ıtica inclusive em p. p ´e ent˜ao singularidade remov´ıvel.
Os conceitos acima citados al´em de serem invariantes em rela¸c˜ao `a mudan¸ca do parˆametro uniformizador podem ser relacionados no seguinte resultado:
Teorema 3.2.12 [40] Sendo S uma superf´ıcie de Riemann compacta, ϕ uma fun¸c˜ao
meromorfa em S, ent˜ao a soma das ordens dos zeros de ϕ ´e igual `a soma das ordens dos p´olos.