A Funcao Zeta de um Corpo de Funcoes e o

Teorema de Hasse-Weil
Tiago N. Castilho
E-mail: tncastilho@ime.unicamp.br
Resumo
Faremos um estudo sobre a funcao Zeta de um Corpo de Funcoes F/K buscando
estabelecer uma estimativa para o n umero de lugares de grau um nessa extensao. Para
que isso faca sentido devemos considerar K um corpo nito, digamos F
q
. Veremos
que em geral nao existe uma formula que calcula explicitamente esse n umero, mas
podemos encontrar cotas inferiores e superiores dependendo exclusivamente do genero
g de F/F
q
e de q. Este sera o Teorema da Cota de Hasse-Weil. A funcao Zeta de um
Corpo de Funcoes, que deniremos adiante, tem papel crucial na demonstracao desse
teorema e por esse motivo sera feito um estudo extensivo de suas propriedades.
1 Introducao
O objetivo central deste trabalho e apresentar uma exposicao da demonstracao de E.
Bombieri da Hipotese de Riemann para Corpos de Funcoes, ou em outra linguagem, para
Curvas sobre Corpos Finitos. Este resultado tambem e conhecido como o Teorema de
Hasse-Weil e possui diversas consequencias interessantes, entre elas o Teorema (da cota)
de Hasse-Weil que ira fornecer uma estimativa para o n umero de lugares de grau um
da extensao. Para curvas hiperelpticas a Hipotese de Riemann para Corpo de Funcoes
foi primeiramente conjecturada, em 1920, por E. Artin. Em 1930, H. Hasse ofereceu a
primeira contribuicao substancial provando para o caso particular de um corpo de funcoes
com genero um, isto e, para curvas elpticas. Em 1940, A. Weil forneceu um metodo para
provar o caso geral. Ele deu duas demonstracoes. A primeira envolvendo a Teoria da
Intersecao sobre Superfcies Algebricas e a segunda envolvendo Representacoes l-adicas
e Variedades Abelianas. Ambas as demonstracoes usam metodos sosticados de geome-
tria algebrica. Em 1960, S.A. Stepanov escreveu uma nova demonstracao, embora que
para casos especiais, que utilizou nada mais que o conhecimento da teoria envolvida na
demonstracao do Teorema de Riemann-Roch. Logo apos, W. Schimdt utilizou das ideias
de Stepanov para demonstrar o caso geral. Finalmente, E. Bombieri escreveu uma sim-
plicacao substancial das demonstracoes de Stepanov e Schimdt. Recentemente Voloch e
Stohr deram uma nova demonstracao da Hipotese de Riemann para Corpos de Funcoes
baseada na teoria de Pontos de Weierstrass. A demonstracao que faremos neste trabalho
e dual a de E. Bombieri. O objeto principal desta demonstracao e a funcao Zeta que
e extremamente relacionada a classica funcao Zeta de Riemann (veja Secao 3), por esse
motivo faremos um estudo extensivo de suas propriedades.
Em todo texto F denota um corpo de funcoes algebricas de genero g cujo corpo de
constantes
1
e o corpo nito F
q
. Denotaremos por T
F
o conjunto dos divisores de F e por
1
Dado um corpo de funcoes algebricas F/K, dizemos que K e o corpo de constates dessa extensao se
F e algebricamente fechado sobre K, isto e, todo polinomio com coecientes em K tem suas razes em F.
1
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
P
F
o conjunto dos lugares de F. Na verdade, T
F
e o Z-grupo abeliano livre gerado pelos
elementos de P
F
. Para cada P P
F
, O
P
denotara seu anel de valorizacao associado. Se D
e um divisor de F, entao denotaremos por L(D) o conjunto formado por todos os elementos
x F tais que (x) +D 0 e por L(D) o F
q
-espaco vetorial denido por L(D) 0 cuja
dimensao nita e l(D). Tambem e costume usar a notacao dim(D) := dim(L(D)) para
a dimensao do espaco L(D). O Teorema de Riemann-Roch calcula l(D) e admite como
corolario a desigualdade
l(D) deg(D) + 1 g,
sendo que a igualdade e valida sempre que deg(D) 2g 1.
2 A Funcao Zeta de um Corpo de Funcoes
Nessa secao iremos expor as principais propriedades do que vamos chamar de funcao Zeta
de um corpo de funcoes (ou simplesmente funcao Zeta).
Lema 2.0.1 Para todo inteiro nao negativo n, existe apenas um n umero nito de divisores
positivos de grau n.
Demonstracao: Todo divisor positivo e soma de divisores primos. Deste modo, basta
provar que o conjunto S := P P
F
; deg P n e nito. Escolhendo um elemento x
FF
q
transcendente emF
q
podemos considerar o conjunto S
0
:= P
0
P
F
q
(x)
; deg P
0
n.

E claro que para todo P S se tem P F

q
(x) S
0
e que todo P
0
S
0
admite apenas um
n umero nito de extensoes em F. Deste modo, basta mostrarmos que S
0
e um conjunto
nito. De fato, para cada lugar em S
0
, exceto possivelmente o polo de x cujo grau
e um, podemos corresponder um polinomio irredutvel com coecientes em F
q
com o
mesmo grau, como a cardinalidade do conjunto desses polinomios e nita, o resultado
segue imediatamente.

Ao longo deste captulo usaremos T

F
para denotar o subgrupo de T
F
formado por
todos os divisores principais (x) =

PP
F
v
P
(x)P onde 0 ,= X F. O grupo quociente
(
F
= T
F
/T
F
e chamado grupo das classes de divisores de F/F
q
. Dois divisores
D, D

T
F
sao ditos equivalentes se D

= D+(x) para algum divisor principal (x) T

F
,
neste caso usamos a notacao D D

. A classe de D no grupo de divisores (

F
e denotada
por [D]. Divisores equivalentes tem o mesmo grau e a mesma dimensao, deste modo dado
um divisor D T
F
os inteiros
deg[D] := deg(D) e dim[D] := dim(D)
estao bem denidos.
Denicao 2.0.1 O subgrupo de T
F
denido por
T
0
F
:= D T
F
; degD = 0
e chamado o grupo de divisores de grau zero, e
(
0
F
:= [D] (
F
; deg[D] = 0
e o grupo das classes de divisores de grau zero.
2
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Proposicao 2.0.1 A cardinalidade (ou a ordem) do grupo (
0
F
e nita.
Demonstracao: Escolha B T
F
de grau n g, e considere o seguinte conjunto
(
n
F
:= [C] (
F
; deg[C] = n.
A aplicacao
: (
0
F
(
n
F
[A] [A+B]
e injetora e bem denida, assim e suciente mostrarmos que (
n
F
e nito. Primeiramente
observe que se A D
F
entao
L(A) ,= A

D
F
, A > 0 t.q. [A

] [A].
Agora, para todo [C] (
n
F
temos deg[C] = n g, assim podemos usar o Teorema de
Riemann-Roch para concluir que
dim[C] = dim C n + 1 g 1.
Isto quer dizer que L(C) ,= e portanto existe C

D
F
, C

> 0 t.q. [C

] [C]. Segue
que cada classe do conjunto (
n
F
pode ser representada por um divisor positivo. Pelo Lema
??, o n umero dessas classes e nito. Portanto a cardinalidade de (
0
F
e tambem nita.

Pela Proposicao ?? esta bem denido o seguinte inteiro positivo:

h := h
F
:= #(
0
F
,
onde #(
0
F
denota a cardinalidade de (
0
F
.
Observacao 2.0.1 A aplicacao
: (
0
F
(
n
F
[A] [A+B]
denida na demonstracao da Proposicao ?? para n g e na verdade uma bijecao. Deste
modo, cardinalidade de (
n
F
coincide com a cardinalidade de (
0
F
, i.e., #(
n
F
= h.
Considere o inteiro positivo denido por
:= mindeg A > 0 ; A T
F
. (1)
Observacao 2.0.2 A aplicacao deg : T
F
Z e um homomorsmo de grupos. Assim
sua imagem e um subgrupo de Z, a saber Img(deg) = Z, segue que o grau de qualquer
divisor de F/F
q
e um m ultiplo de .
Para todo inteiro nao negativo n, denimos:
A
n
= [A T
F
; A > 0 e deg A = n[
Observacao 2.0.3 A
0
= 1 e A
1
e exatamente o n umero de lugares P P
F
cujo grau e
1. A
n
= 0 se ,[n.
3
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
A partir de agora convencionaremos que L(D) := L(D)0 e que l(D) := dimL(D).
Antes de denirmos a funcao Zeta, consideremos o seguinte lema:
Lema 2.0.2 (a) Para todo [C] (
F
, vale a igualdade
[A [C] ; A 0[ =
q
l(C)
1
q 1
.
(b) Para todo n > 2g 2 com [n, vale a igualdade
A
n
= h
q
n+1g
1
q 1
.
Demonstracao: (a) Seja A A [C] ; A 0, entao
0 A = (x) +C para algum x L(C).
Como L(C) e um F
q
-espaco vetorial de dimensao l(C), existem q
l(C)
1 elementos x
L(C), digamos x
1
, . . . , x
q
l(C)
1
, logo
(x) +C (x
1
) +C, . . . , (x
q
l(C)
1
) +C =: X.
Armamos que existem exatamente q 1 elementos iguais a (x) +C em X. De fato,
(x) +C = (y) +C (x) = (y) (xy
1
) = (0)
v
p
(xy
1
) = (0) P P
F
xy
1
F
q
0 x = cy,
onde c F
q
0, logo existem exatamente
q
l(C)
1
q1
possibilidades para representar o divisor
A = (x) +C e o resultado segue.
(b) Como #(
n
F
= h < podemos por (
n
F
= [C
1
], . . . , [C
h
]. Com a hipotese n > 2g
2, usamos o Teorema de Riemann-Roch para concluir que l(C
i
) = n+1g (i = 1, , h).
Pela parte (a),
[A [C
i
] ; A 0[ =
q
l(C
i
)
1
q 1
=
g
n+1g
1
q 1
.
Como cada divisor de grau n esta em alguma classe [C
i
] podemos concluir que
A
n
=
h

j=1
[A [C
i
] ; A 0[ =
h

j=1
g
n+1g
1
q 1
= h
q
n+1g
1
q 1
.

Denicao 2.0.2 A serie de potencias

Z(t) := Z
F
(t) :=

n=0
A
n
t
n
C[t]
e chamada de funcao Zeta de F/F
q
.
Lema 2.0.3 Se F/F
q
e um corpo de funcoes com genero g = 0, entao a cardinalidade de
(
0
F
e um.
4
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Demonstracao: Mostraremos que, com a hipotese g = 0, todos os divisores de grau zero
sao principais. Seja A T
F
t.q. deg(A) = 0. Entao deg(A) > 2g 2 = 2. Pelo Teorema
de Riemann-Roch, dim(A) = deg(A) +1g = 1 e portanto existe um elemento x F t.q.
(x) +A 0, i.e., v
P
((x) +A) 0 P P
F
. Agora,
0 = deg((x) +A) =

PP
F
(v
P
((x) +v
P
(A))
. .
0
deg(P)
. .
>0
,
logo
v
P
(A) = v
P
((x)) P P
F
, i.e., A = (x) = (x
1
).
Portanto A e principal. Como todos os divisores principais sao equivalentes,
2
segue que
#(
0
F
= 1.

Proposicao 2.0.2 A serie Z(t) =

n=0
A
n
t
n
converge sempre que [t[ < q
1
e seu unico
polo e em t = 1. Mais precisamente, para [t[ < q
1
temos que:
(a) Se F/F
q
tem genero g = 0 entao
Z(t) =
1
q 1
_
q
1 (qt)

1
1 t

_
.
(b) Se F/F
q
tem genero g 1 entao Z(t) = F(t) +G(t) onde
F(t) =
1
q 1

0deg[C]2g2
q
dim[C]
t
deg[C]
,
e
G(t) =
h
q 1
_
q
1g
(qt)
2g2+
1
1 (qt)

1
1 t

_
,
onde h e cardinalidade de (
0
F
.
Demonstracao: Mostraremos apenas a parte (a) pois a demonstracao de (b) e analoga
com uma notacao mais elaborada (veja ref. [1] pag. 161). Pelo Lema ?? o n umero
h = #(
0
F
e 1. Como para todo inteiro positivo n vale n > 2g 2 = 2, podemos aplicar
a parte (b) do Lema ?? para obter

n=0
A
n
t
n
=

n=0
A
n
t
n
=

n=0
1
q 1
(q
n+1
1)t
n
=
=
1
q 1
_
q

n=0
(qt)
n

n=0
t
n
_
=
=
1
q 1
_
q
1 (qt)

1
1 t

_
,
sempre que [qt[ < 1. Isto demonstra (a).

2
De fato, se (x) e (y) sao dois divisores principais, entao (x) = (x) (y) + (y) = (xy
1
) + (y), logo
(x) (y).
5
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Observacao 2.0.4 A partir de agora, a menos que seja dito o contrario, estaremos sem-
pre supondo que Z(t) esta denida para [t[ < q
1
.
A proxima proposicao caracteriza Z(t) =

n=0
A
n
t
n
como um produto, chamado de
Produto de Euler. Este nome sera justicado na proxima secao quando mostrarmos que
a fun cao Zeta de um corpo de Funcoes nao e nada mais do que um analogo da famosa
funcao Zeta de Riemann.
Proposicao 2.0.3 (Produto de Euler) Sempre que [t[ < q
1
, a funcao Zeta pode ser
representada por
Z(t) =

PP
F
(1 t
deg P
)
1
.
Demonstracao: Basta observar que quando [t[ < q
1
, vale

PPF
(1 t
deg P
)
1
=

PP
F

n=0
(t
deg P
)
n
=

PPF

n=0
t
deg nP
=

AD
F
,A0
t
degA
=
=

degA=0
t
degA
+

degA=1
t
degA
+ +. . . = 1A
0
+A
1
t +. . . =

n=0
A
n
t
n
= Z(t)

Observacao 2.0.5 Segue da proposicao anterior que Z(t) ,= 0 quando [t[ < q
1
.
Por simplicidade denotaremos por Z
r
(t) a funcao Zeta sobre o corpo F
r
= FF
q
r cujo
corpo de constantes e F
q
r . O proximo passo sera determinar de forma precisa o valor
denido em (??). Para ser mais exato iremos mostrar que = 1 e concluir que deg :
T
F
Z e na verdade um epimorsmo
3
. Este vai ser um corolario da proxima proposicao.
Antes precisamos do seguinte lema:
Lema 2.0.4 Seja P um lugar em F/F
q
de grau m e estenda o corpo de constantes F
q
para
F
q
r . Se considerarmos P como um lugar em F
r
/F
q
r , entao P admite uma decomposicao
P = P
1
+. . . +P
d
onde cada P
i
P
F
r
, deg P
i
= m/d e d = mdc(r, m).
Demonstracao: Seja P

P
F
r
tal que P

[P, entao P

e nao ramicado
4
e F
P
= F
P
F
q
r
(veja ref. [1] pag. 103). Como [F
P
: F
q
] = m, temos F
P
F
q
m. Seja l = mmc(m, r),
entao
F
P
= F
P
F
q
r = F
q
mF
q
r = F
q
l
Como
[F
q
l : F
q
]
. .
l
= [F
q
l : F
q
r ]
. .
l/r
[F
q
r : F
q
]
. .
r
,
e deg(P

) = [F
P
: F
q
r ] = [F
q
l : F
q
r ], temos deg(P

) = l/r. Por outro lado, como

l = mmc(m, r) e d = mdc(m, r), entao mr = ld, i.e., l/r = m/d. Portanto deg(P

) = m/d
para todo P

P
F
r
tal que P

[P.
3
homomorsmo sobrejetor.
4
Dizemos que um lugar P

P
F
r
tal que P

|P e nao ramicado se e(P

|P) = 1.
6
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho

Para demonstrar a proxima proposicao tambem iremos precisar da seguinte propriedade

polinomial elementar: Se m 1 e r 1 sao inteiros e d = mdc(m, r), entao
(X
r/d
1) =

r
=1
(X
m
),
onde percorre sobre as r-ezimas razes da unidade em C. Se substituirmos X = t
1
na
equacao e multiplicarmos por t
mr
, obteremos
(1 t
mr/d
)
d
=

r
=1
(1 (t)
m
). (2)
Observe que d = 1 sempre que m = 1. Neste caso, podemos reescrever a equacao (??)
acima como
1 t
r
=

r
=1
(1 t). (3)
Proposicao 2.0.4 Sejam Z(t) e Z
r
(t) as funcoes Zeta sobre F e F
r
respectivamente,
entao para todo t C
Z
r
(t
r
) =

r
=1
Z(t),
onde percorre o conjunto das r-ezimas razes da unidade.
Demonstracao: Basta vericarmos para [t[ < q
1
. Nesta regiao podemos usar a
Proposicao ?? para obter a seguinte igualdade
Z
r
(t
r
) =

P
F
r
(1 t
rdeg P

)
1
=

PP
F

|P
(1 t
rdeg P

)
1
(4)
Fixado P e pondo m = deg P e d = mdc(m, r) temos

|P
(1 t
rdeg P

)
1
=

((1 t
r
m
d
)
d
)
1
=

r
=1
(1 (t)
m
)
1
=

r
=1
Z(t),
onde as igualdades (*) e (**) decorrem respectivamente do Lema ?? e da equacao (??).
Substituindo em (??) segue que
Z
r
(t
r
) =

PP
F

r
=1
(1 (t)
m
)
1
=

r
=1

PP
F
(1 (t)
m
)
1
=

r
=1
Z(t).

Corolario 2.0.1
= mindeg A > 0; A T
F
= 1.
Demonstracao: Para

= 1, temos
Z(t) =

PP
F
(1 (t)
deg P
)
1
=

PP
F
(1 t
deg P
)
1
= Z(t),
7
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
pois divide o grau de P para todo P P
F
. Pela Proposicao ??, Z

(t

) = Z(t)

. Agora,
pela Proposicao ??, Z

(t

) tem um polo simples em t = 1, enquanto que Z(t)

tem um
polo de ordem . Deste modo, = 1.

Observacao 2.0.6 Pelo Corolario ?? a imagem da aplicacao deg : T

F
Z e Z. Deste
modo, em qualquer corpo de funcoes cujo corpo de constantes e nito sempre existirao
divisores de grau um.
Corolario 2.0.2 Qualquer corpo de funcoes F/F
q
de genero g = 0 e racional e sua fun cao
Zeta e dada por
Z(t) =
1
(1 t)(1 qt)
.
Demonstracao: Pela Observacao ?? existe A T
F
tal que deg(A) = 1 2g 1, pois
g = 0. Pelo Teorema de Riemann-Roch, dim(A) = 1 + 1 0 = 2 e portanto existe A

0
tal que A

A, dim(A

) = dim(A) e deg(A

) = deg(A) = 1.
5
Como dim(A

) = 2,
podemos escolher x L(A

)F
q
tal que (x) +A

0. Como A

0 podemos concluir que

(x)

= A

. Agora,
[F : K(x)] = deg (x)

= degA

= 1,
e portanto F = K(x), i.e., F/K e racional. A segunda parte decorre diretamente do item
(a) da Proposicao ??.

A demonstracao da proxima Preposicao e so trabalhosa e nao apresenta acrescimos

teoricos, portanto sera omitida.
Proposicao 2.0.5 (Equacao Funcional da Funcao Zeta) A funcao Zeta de F/F
q
sat-
isfaz
Z(t) = q
g1
t
2g2
Z(
1
qt
)
Demonstracao: Veja ref. [1] pag. 165.

Denicao 2.0.3 O polinomio L(t) := L

F
(t) := (1 t)(1 qt)Z(t) e chamado de L-
polinomio de F/F
q
.
Observacao 2.0.7 Pelo Corolario ??, se F/F
q
tem genero 0 entao L(t) = 1. Pela
Proposicao ?? facilmente vemos que o grau do polinomio L(t) e inferior a 2g.
Denicao 2.0.4 Se o L-polinomio L(t) e dado por L(t) = a
0
+ a
1
t + . . . + a
2g
t
2g
, entao
denimos o polinomio recproco de L(t) por
L

(t) = a
0
t
2g
+a
1
t
2g1
+. . . +a
2g
.
As razes de L

(t) sao ditas razes recprocas.

5
De fato, como dim(A) = 2 existe x L(A)\ F
q
t.q. (x) + A =: A

0. As aplicacoes : L(A)
L(A

), x xz e

: L(A

) L(A), x xz
1
sao homomorsmos entre espacos vetoriais inversos um
do outro.

E claro que deg A = deg (A

+ (z)) = deg A

.
8
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho

E facil ver que

L(t) = t
2g
L

(
1
t
).
Logo, e raiz de L(t) se, e somente se,
1
e raiz de L

(t).
A seguir daremos uma serie de propriedades relativas ao polinomio L(t). Iremos sem-
pre supor que g 1, pois o caso g = 0 e trivial.
Propriedade 1 L(t) = q
g
t
2g
L(1/qt).
Demonstracao: Isto nao e nada mais que a equacao funcional Zeta.

Propriedade 2 Escrevendo L(t) = a

0
+a
1
t +. . . +a
2g
t
2g
, entao valem
(i) a
0
= 1 e a
2g
= q
g
.
(ii) a
1
= N (q + 1) onde N e o n umero de lugares P P
F
de grau um.
Demonstracao: (i) Pela equacao funcional dada pela propriedade 1, temos
L(t) = q
g
t
2g
L(1/qt) =
a
2g
q
g
+
a
2g1
q
gi
t +. . . +q
g
a
0
t
2g
.
Segue que
a
2gi
= q
g1
a
i
(i = 0, . . . , g).
Agora, observe que
L(t) = (1 t)(1 qt)

n=0
A
n
t
n
=
= (1 t)(1 qt)A
0
t
0
+ (1 t)(1 qt)A
1
t
1
+ (1 t)(1 qt)

n=2
A
n
t
n
=
= (1 t)(1 qt) + (1 t)(1 qt)Nt
1
+ (1 t)(1 qt)

n=2
A
n
t
n
=
= 1 t(q + 1) +qt
2
+ (t t
2
(q + 1) +qt
3
)N + (1 t)(1 qt)

n=2
A
n
t
n
=
= 1 +t(N (q + 1)) +qt
2
+ (t
2
(q + 1) +qt
3
)N + (1 t)(1 qt)

n=2
A
n
t
n
,
9
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
logo a
0
= 1 e a
1
= N (q + 1) e da igualdade a
2gi
= q
g1
a
i
podemos concluir que
a
2g
= q
g
.

Propriedade 3 Em C[t], o polinomio L(t) pode ser fatorado da forma

L(t) =
2g

i=1
(1
i
t)
onde os

i
s sao inteiros algebricos
6
tais que, por uma troca de ndices se necessario,
cumprem
i

g+i
= q, i = 1, . . . , g. Na verdade, os

i
s sao as razes recprocas de L(t).
Demonstracao: L

(t) e um polinomio monico de grau 2g e com coecientes em Z.

Portanto, suas razes
1
, . . . ,
2g
C sao inteiros algebricos e podemos escrever L

(t) =

2g
i=1
(t
i
). Assim,
L(t) = t
2g
L

(
1
t
) = t
2g
2g

i=1
(
1
t

i
) =
= t
2g
2g

i=1
(
1
t
(1 t
i
)) =
2g

i=1
(1 t
i
).
Agora, usando a equacao L(t) = q
g
t
2g
L(
1
qt
) vemos que
L

() = 0 L(
1
) = 0 L(

q
) = 0 L

(
q

) = 0,
isto e, e raiz de L

(t) se, e somente se,

q

e raiz de L

(t). Logo, podemos reorganizar

as razes de L

(t) da forma

1
, . . . ,
2g
,
q

1
, . . . ,
q

2g
.
Pondo
i
=
i
para i = 1, . . . , g e
j
=
q

j
para j = g + 1, . . . , 2g, vemos facilmente
que
i

g+i
= q, i = 1, . . . , g. Isto conclui a demonstracao.

Propriedade 4 Se L
r
(t) = (1 t)(1 q
r
t)Z
r
(t) denota o L-polinomio de corpo de con-
stantes F
r
= FF
r
, entao
L
r
(t) =
2g

i=1
(1
r
i
t),
onde os

i
s sao dados na propriedade anterior.
6
Um n umero complexo e dito inteiro algebrico se e raiz de algum polinomio com coecientes
inteiros.
10
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Demonstracao: Usando a Proposicao ?? e a equacao (??), temos
L
r
(t
r
) = (1 t
r
)(1 q
r
t
r
)Z
r
(t) = (1 t
r
)(1 q
r
t
r
)

r
=1
Z(t) =
= (1 t
r
)(1 q
r
t
r
)

r
=1
L(t)
(1 t)(1 qt)
=

r
=1
L(t) =
=
2g

i=1

r
=1
(1
i
t) =
2g

i=1
(1
r
i
t
r
).
Portanto L
r
(t) =

2g
i=1
(1
r
i
t).

Ainda usando a notacao F

r
= FF
q
r , considere para cada r 1 o n umero
N
r
:= N(F
r
) := [P P
F
r
; deg P = 1[.
A proxima proposicao e essencial para a demonstracao do Teorema de Hasse-Weil e e
uma consequencia imediata das propriedades estudadas acima.
Proposicao 2.0.6 Para todo r 1,
N
r
= q
r
+ 1
2g

i=1

r
i
,
onde
1
, ...
2g
C sao as razes recprocas de L(t). Em particular, temos
N = q + 1
2g

i=1

i
Demonstracao: A parte (ii) da Propriedade 2 aplicada ao L-polinomio L
r
(t) diz que o
coeciente de t em L
r
(t) e N
r
(q
r
+ 1). Por outro lado, a Propriedade 4 diz que este
mesmo coeciente e

2g
i=1

r
i
.

3 O Teorema de Hasse-Weil
Essencialmente, o que faremos nesta secao e demonstrar o seguinte Teorema:
Teorema 3.0.1 (Teorema de Hasse-Weil ) As razes recprocas do L-polinomio L
F
(t)
satisfazem
[
i
[ = q
1/2
(i = 1, . . . , 2g).
Alguns textos se referem ao Teorema de Hasse-Weil como a Hipotese de Riemann para
Corpos de Funcoes. O motivo para esta denominacao e a analogia existente entre a famosa
funcao Zeta de Riemann e a funcao Zeta Z
F
(t) que construmos na secao precedente.
Faremos um breve comentario sobre tal analogia.
11
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Lembremos que a funcao Zeta de Riemann e a aplicacao dada por
(s) :=

n=1
n
s
=

p
1
1 p
s
,
onde s C e tal que Re(s) > 1 e o produto a direita (identidade de Euler) percorre todos
os n umeros primos. Dena a norma absoluta de um divisor A T
F
por
^(A) := q
deg(A)
.
Por exemplo, a norma absoluta ^(P) de um lugar P P
F
coincide com a cardinalidade
do corpo das classes residuais F
P
. Dena

F
(s) := Z
F
(q
s
).
Observe que
F
(s) pode ser escrita como

F
(s) =

n=0
A
n
q
sn
=

AD
F
,A0
^(A)
s
,
que e uma aplicacao analoga a funcao Zeta de Riemann (s). A classica Hipotese de
Riemann, ate hoje nao demonstrada, diz que todos os zeros nao triviais
7
de (s) estao
sobre a reta Re(s) = 1/2.
No caso de corpos de funcoes, o Teorema de Hasse-Weil garante que

F
(s) = 0 Z
F
(q
s
) = 0 L(q
s
) = 0 L

(q
s
) = 0
Teo. H.W.

[q
s
[ = q
1/2
q
Re(s)
= q
1/2
Re(s) = 1/2.
Deste modo, o Teorema ?? pode ser visto como um analogo da classica Hipotese de Rie-
mann.
Uma importante consequencia do Teorema ?? e o
Teorema 3.0.2 (Teorema (da cota) de Hasse-Weil ) O n umero N de lugares de F/F
q
cujo grau e um pode ser estimado por
[N (q + 1)[ 2gq
1/2
.
Demonstracao: Pela Proposicao ??,
N (q + 1) =
2g

i=1

i
.
Deste modo, o Teorema (da cota) de Hasse-Weil e uma consequencia imediata do Teorema
de Hasse-Weil.

Note que se aplicarmos o Teorema anterior para o corpo de funcoes F

r
/F
q
r , iremos
obter
[N
r
(q
r
+ 1)[ 2gq
r/2
.
O proximo lema e trivial.
7
Os chamados zeros triviais de (s) sao s=-2,-4,-6,. . .
12
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Lema 3.0.5 Seja m 1. Entao, o Teorema de Hasse-Weil vale para F/F
q
se, e somente
se, vale para a extensao F
m
/F
q
m.
Demonstracao: Seja L
m
(t) o L-polinomio de F
m
/F
q
m. Se as razes recprocas de L
F
(t)
sao
1
, . . . ,
2g
, entao as razes recprocas de L
m
(t) sao
m
1
, . . . ,
m
2g
, pela Propriedade 4.
O lema segue imediatamente do fato de [
i
[ = q
1/2
se, e somente se, [
m
i
[ = (q
m
)
1/2
.

Lema 3.0.6 Se existe uma constante c R tal que, para todo r 1,

[N
r
(q
r
+ 1)[ cq
r/2
,
entao o Teorema de Hasse-Weil vale para F/F
q
Demonstracao: Pela Proposic ao ??,
N
r
(q
r
+ 1) =
2g

i=1

r
i
,
logo
[
2g

i=1

r
i
[ cq
r/2
.
Considere a funcao
H(t) :=
2g

i=1

i
t
1
i
t
.
Seja := min[
1
i
[ ; 1 i 2g. Observe que e precisamente o raio de convergencia
de H(t) em torno de t = 0. Deste modo, quando [t[ < temos
H(t) =
2g

i=1

r=1
(
i
t)
r
=

r=1
(
2g

i=1

r
i
)t
r
,
logo
[H(t)[

r=1
cq
r/2
[t[
r
= c

r=1
(q
1/2
[t[)
r
.
Imediatamente vemos que a serie H(t) converge quando [t[ < q
1/2
. Deste modo, q
1/2

e temos
q
1/2
[
i
[ (i = 1, . . . , 2g). (5)
Agora, sabemos que por uma troca dendices sempre podemos obter a igualdade
i

2g+i
=
q para todo i = 1, . . . , 2g e portanto
2g

i=1

i
= q
g
,
comparando com (??) segue imediatamente que [
i
[ = q
1/2
.

13
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
O proximo passo sera encontrar condicoes favoraveis para que exista uma constante c
como no Lema anterior. Antes precisamos xar alguns conceitos que serao utilizados ao
longo das demonstracoes. Nas primeiras consideracoes a exigencia sobre o corpo K e que
ele seja no mnimo perfeito. Alguns dos resultados que apresentaremos terao suas demon-
stracoes omitidas, pois fazem parte da teoria classica de corpos de funcoes e escapam do
objetivo deste trabalho. Para um estudo detalhado do que sera apresentado agora consulte
ref. [1].
Uma extensao M/L nita e dita ser extensao de Galois se o grupo de automorsmos
Aut
L
(M) = : M M ; e isomorsmo com (a) = a para qualquer a L tem
ordem igual a [M : L]. Neste caso, dizemos que Aut
L
(M) e o grupo de Galois da
extensao M/L e escrevemos Gal(M/L) := Aut
L
(M). Para maiores detalhes da teoria de
Galois consulte as referencias [3] e [4].
Uma extensao F

/K

do corpo de funcoes F/K e dita ser Galois se F

/F e uma
extensao de Galois de grau nito.
Lema 3.0.7 Sejam F

/F uma extensao algebrica de corpos onde F

e F sao corpos de
funcoes sobre K. Considere um automorsmo Aut
F
(F

). Se P

e um lugar em F

tal
que P

[P, entao:
(i) (O
P
) := (x) ; x O
P
e anel de valorizacao em F

.
(ii) (P

) := (x) ; x P

e um lugar em F

.
(iii) (P

)[P
(iv) v
(P

)
(y) = v
P
(
1
(y)) y F

.
Demonstracao: Claramente (O
P
) e um anel de valorizacao de F

, e (P

) e um ideal
maximal, desta forma (P

) e um lugar de F

cujo anel de valorizacao correspondente e

(O
P
). Se t

e um elemento primo de P

, i.e., P

= t

O
P
, entao (P

) = (t

)(O
P
),
assim (t

) e um elemento primo de (P

). Isto demonstra (i) e (ii). Quanto a (iii),

basta observar que P = (P) (P

), assim (P

)[P. Finalmente, para demonstrar (iv)

considere 0 ,= y F

com y = (x). Podemos escrever x = t

n
u com u O
P
P

e
v
P
(x) = n. Entao temos que y = (x) = (t)
n
(u) onde (u) O
(P

)
(P

) e (t) e
um elemento primo de (P). Deste modo,
v
(P

)
(y) = n = v
P
(x) = v
P
(
1
(y)).

Observacao 3.0.8 Se F/K e um corpo de funcoes, entao sabemos que existe um elemento
x F tal que F/K(x) e uma extensao algebrica. Como F e K(x) sao corpos de funcoes
sobre K, as hipoteses do lema estao trivialmente satisfeitas.
Observacao 3.0.9 Se F

/F e como no lema com a hipotese adicional de ser Galois,

entao o grupo Gal(F

/F) age sobre o conjunto P

F
via (P

) = (x) ; x P

.
Para o proximo Teorema precisamos da seguinte denicao:
14
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Denicao 3.0.5 Seja F/K um corpo de funcoes de grau [F : K] < . Cada elemento
L induz uma aplicacao K-linear

: L L, denida por

(z) := z para todo

z L. Denimos a norma de na extensao L/K por
N
L/K
() := det(

).
Ou seja, se
1
, . . . ,
n
e uma base de L/K e

i
=
n

j=
a
ij

j
com a
ij
K,
entao
N
L/K
() = det(a
ij
).
Observacao 3.0.10 Uma propriedade basica da aplicacao norma e que se a extensao
L/K for separavel e
1
, . . . ,
n
: L forem homomorsmos, constantes em K, denidos
em L e tomando valores em algum corpo algebricamente fechado K, entao
N
L/K
() =
n

i=1

i
()
Teorema 3.0.3 Sejam F

/K

uma extensao de Galois de F/K e P

1
, P
2
P
F
extensoes
de P P
F
. Entao P
2
= (P
1
) para algum Gal(F

/F). Em outras palavras, o grupo

de Galois age transitivamente sobre o conjunto das extensoes de P.
Demonstracao: Assuma que o Teorema e falso, i.e., (P
1
) ,= P
2
para todo G :=
Gal(F

/F). Existe um resultado classico, sob o nome de Teorema da Aproximacao (veja

ref. [1] pag. 11,31) que garante a existencia de um elemento z F

tal que v
P
2
(z) > 0
e v
Q
(z) = 0 para todo Q P
F
com Q[P e Q ,= P
2
. Considere a aplicacao norma
N
F

/F
: F

F. Temos que
v
P
1
(N
F

/F
(z)) = v
P
1
_

G

i
(z)
_
=

G
v
P
1
((z)) =
=

G
v

1
(P
1
)
(z) =

G
v
(P
1
)
(z) = 0, (6)
pois P
2
nao pertence ao conjunto dos elementos (P
1
) com percorrendo G. Em outras
palavras,
v
P
2
(N
F

/F
(z)) =

G
v
(P
2
)
(z) > 0. (7)
Por outro lado temos N
F

/F
(z) F, e assim
v
P
1
(N
F

/F
(z)) = 0 v
P
(N
F

/F
(z)) = 0 v
P
2
(N
F

/F
(z)) = 0.
Isto contradiz (??) e (??).

Corolario 3.0.3 Com as hipoteses do Teorema ?? sejam P

1
, . . . , P
r
todos os lugares de
F

que estao sobre P, entao

15
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
(a) e(P
i
[P) = e(P
j
[P) e f(P
i
[P) = f(P
j
[P) para todo i, j. Deste modo, podemos
denir
e(P) := e(P
i
[P) e f(P) := f(P
i
[P),
(b) e(P) f(P) r = [F

: F]. Em particular e(P), f(P) e r dividem o grau [F

: F].
Demonstracao: (a) e evidente do teorema anterior e do Lema ??. Quanto a (b), e
conhecido da teoria de corpos de funcoes que se P
1
, . . . , P
r
sao todos os lugares em F

que estao sobre P e se e

i
:= e(P
i
[P) e f
i
:= f(P
i
[P) sao respectivamente o ndice de
ramicacao e o grau relativo de P
i
[P, entao

r
i=1
e
i
f
i
= [F

: F]. Deste modo, (b) e

consequencia imediata de (a).

Denicao 3.0.6 Seja F

/F uma extensao de Galois com grupo de Galois G := Gal(F

/F)
tal que F

e F sao corpos de funcoes sobre K. Considere os lugares P P

F
e P

P
F

tais que P

[P. O grupo de inercia de P

[P e o subgrupo de G denido por

I(P

[P) := G ; v
P
(z z) > 0 z O
P
.
O proximo lema e essencial para a demonstracao do Teorema de Hasse-Weil. Contudo,
sua demonstracao escapa ao proposito deste trabalho e portanto sera omitida.
Lema 3.0.8 A cardinalidade do grupo de inercia I(P

[P) coincide com o ndice de rami-

cacao e(P

[P).
Demonstracao: Ver ref. [1] pag. 118.

A partir de agora, voltaremos a supor que o corpo K e nito com q elementos, digamos
K = F
q
. Dados um automorsmo Aut
F
q
(F) e um lugar P P
F
, usaremos por
comodidade as notacoes
P

:= (P) e O
P
:= (O
P
).
Um automorsmo Aut
F
q
(F) tambem induz um isomorsmo natural entre as classes
residuais O
P
/P e O
P
/P

, a saber x + P (x) + P

. Para cada lugar P P

F
e cada
Aut
F
q
(F) considere a aplicacao

P
: F O
P
/P (8)
denida por
P
(x) =
1
(x) +P se x O
P
e
P
(x) = se x FO
P
.
Observe que quando e a identidade,
P
nada mais e do que a aplicacao canonica
x x +P. A aplicacao
P
tem as seguintes propriedades
(i)
P
(x +y) =
P
(x) +
P
(y)
(ii)
P
(xy) =
P
(x)
P
(y).
Sabemos que a aplicacao x x
q
e um automorsmo do fecho algebrico F de F que e
constante em F
q
. De modo analogo podemos considerar a aplicacao

P
q : F O
P
/P ,
denida por
P
q (x) = x
q
+ P se x O
P
e
P
q (x) = se x FO
P
.

E claro que
P
q
tambem cumpre as condicoes (i) e (ii) acima.
16
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Observacao 3.0.11 Uma observacao importante sobre o automorsmo x x
q
e que

P
q =
P
se, e somente se, deg(P) = 1.
8
No restante desta secao iremos investigar a expressao
N
()
(F) :=

P
=
P
q
deg(P).
Pela Observacao ??, quando e a identidade a expressao acima fornece exatamente o
n umero de lugares de grau um de F. Neste caso temos N
()
(F) = N.
Os dois primeiros lemas desta secao, (??) e (??), reduzem o problema da demonstracao
do Teorema de Hasse-Weil a encontrar constantes positivas c
1
e c
2
que satisfazem
N
r
q
r
+ 1 +c
1
q
r/2
e
N
r
q
r
+ 1 c
2
q
r/2
,
para todo r 1. Quando c
1
= c
2
= 2g, os valores q +1 +2gq
1/2
e q +1 2gq
1/2
recebem
respectivamente o nome de cota superior de Hasse-Weil e cota inferior de Hasse-
Weil. Veremos que podemos estabelecer estas cotas tomando um q apropriado. Faremos
isto em duas partes.
3.1 A Cota Superior
Suponha, por extensao de constantes se necessario, que F/F
q
satisfaz
(i) q e um quadrado
(ii) q > (g + 1)
4
.
Seja Aut
F
q
(F). Nestas condicoes o que iremos mostrar agora e o
Teorema 3.1.1 (Teorema da cota Superior) O n umero N
()
pode ser estimado por
N
()
< (q + 1) + (2g + 1)q
1/2
.
Demonstracao: Seja Q P
F
m lugar em F/F
q
com grau um. Pondo
q
0
:= q
1/2
, m := q
0
1 e n = 2g +q
0
temos
r := q 1 + (2g + 1)q
1/2
= m+nq
0
.
Fixe Aut
F
q
(F) e suponha por um momento que existe um elemento x L(rQ) nao
nulo tal que
x P P P
F
com
P
=
P
q e P ,= Q, (9)
8
De fato, deg P = 1 O
P
/P F
q
x = x
q
x O
P
/P x + P = (x + P)
q
x + P = x
q
+ P

P
=
P
q .
17
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
isto e, x esta na interseccao de todos os lugares P P
F
distintos de Q que cumprem

P
=
P
q . Isto quer dizer que todos os lugares P tais que
P
=
P
q , exceto Q, sao
zeros de x. Entao e imediato concluir que
deg(x)
0
N
()
1. (10)
Como x L(rQ), entao
(x) +rQ 0 (x)

(x)
0
rQ
v
P
(x)

v
P
(rQ) =
_
0 se P ,= Q
r se P = Q
Deste modo, denotando por o conjunto dos polos de x, temos
deg(x)
0
= deg(x)

P
v
P
((x)

)deg P r deg Q = r = q 1 + (2g + 1)q

1/2
.
Combinando esta desigualdade com a desigualdade (??) obtemos N
()
q +(2g +1)q
1/2
,
o que demonstraria a proposicao. O que faremos agora e mostrar a existencia de um
elemento x satisfazendo (??). Primeiramente observe que deg(mQ) = m = q
0
1 =
q
1/2
1 > (g + 1)
2
1 = g
2
+ 2g > 2g 1. Pelo Teorema de Riemann-Roch,
dim(mQ) = mg + 1.
Considere a cadeia ascendente de F
q
-espacos vetoriais
L(0) L(0) . . . L(mQ). (11)
Existe um resultado classico na teoria de corpos de funcoes sob o nome de Teorema das
Lacunas de Weierstrass (veja ref.[1] pag 32) que garante a existencia de exatamente g
igualdades na cadeia (??) e portanto existem exatamente m g inclusoes proprias, de
onde podemos extrair uma base = u
i
; (u
i
)

= iQ e i I de L(mQ) onde I =
i ; 1 i m e u F com (u)

= iQ.
9
Considere o subespaco vetorial de L(rQ)
denido por
L :=
_

iI
u
i
y
q
0
i
; y
i
L(nQ)
_
.
Armacao 1 dim(L) = dim(mQ)dim(nQ).
Prova da armacao: Basta vericar que todo elemento y L pode ser escrito uni-
camente na forma
y =

iI
u
i
y
q
0
i
com y
i
L(nQ) e u
i
.
A existencia da representacao e clara pela denicao. Para demonstrar a unicidade suponha
que exista uma equacao

iI
u
i
y
q
0
i
= 0
9
Observe que u
i
L(iQ)\L((i 1)Q) (u
i
) + iQ 0 e (u
i
) + (i 1)Q < 0 (u
i
) = iQ
v
Q
((u
i
)) = i e v
P
((u
i
)) = 0 P P
F
com P = Q (u
i
)

= iQ.
18
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
com y
i
L(nQ) nao todos nulos. Para cada ndice i I com y
i
,= 0, temos que
v
Q
(u
i
y
q
0
i
) = i + q
0
v
Q
(y
i
), logo v
Q
(u
i
y
q
0
i
) i(mod q
0
). Deste modo, se tivermos
v
Q
(u
i
y
q
0
i
) = v
Q
(u
j
y
q
0
j
) entao i j(mod q
0
) com 1 i, j m = q
0
1. Logo i = j.
Usando a desigualdade triangular estrita obtemos
= v
Q
(0) = v
Q
(

iI
u
i
y
q
0
i
) = min
iI
v
Q
(u
i
y
q
0
i
) , = .
Com esta contradicao conclumos a armacao.
Lembrando que deg Q = 1, a Armacao 1 e o Teorema de Riemann-Roch garantem
que
dim(L) (m+ 1 g)(n + 1 g).
Deste modo, pela hipotese q > (g + 1)
4
vemos facilmente que
dim(L) > q +g + 1. (12)
Agora, xe Aut
F
q
(F) e dena um F
q
-espaco vetorial por
L

:=
_

iI
(
1
u
i
)
q
0
y
i
; y
i
L(nQ)
_
.
Armacao 2 L

L(mq
0
Q

+nQ) e deg(mq
0
Q

+nQ) = q + 2g.
Prova da armacao: Basta mostrar que
1
(u
i
)
q
0
y
i
L(mq
0
Q

+nQ) para todo i I.

Como Q e o unico polo de u
i
vemos que para todo P P
F
, v
P
(
1
u
i
) = v
P
(u
i
) i
m. Em particular v
Q
(
1
u
i
) m, ou seja, (
1
u
i
) mQ

. Deste modo, temos que

(
1
(u
i
)
q
0
y
i
) = q
0
(
1
u
i
)+(y
i
) mq
0
Q

nQ. Portanto
1
(u
i
)
q
0
y
i
L(mq
0
Q

+nQ).
Quanto ao grau, a vericacao e imediata a partir das denicoes de m e n. Isto conclui a
armacao.
Observando que deg(mq
0
Q

+ nQ) = q + 2g > 2g 2, podemos usar novamente o

Teorema de Riemann-Roch e a Armacao 2 para obter que
dim(L

) dim(mq
0
Q

+nQ) = deg(mq
0
Q

+nQ) g + 1 = q +g + 1. (13)
Dena uma aplicacao linear

: L L

por
10

iI
u
i
y
q
0
i
_
=

iI
(
1
u
i
)
q
0
y
i
.
Comparando as desigualdades (??) e (??) vemos facilmente que dim(L

) < dim(L), logo

o Kernel de

e nao trivial, isto e, existe 0 ,= x =

iI
u
i
y
q
0
i
tal que

iI
(
1
u
i
)
q
0
y
i
= 0.
10
Na verdade

e um homomorsmo do grupo aditivo de L e, pela Armacao 1, esta bem denido.

19
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Em particular x L(rQ). Se P P
F
e distinto de Q, entao
P
(u
i
) ,= e
P
(y
i
) ,=
pois Q e o unico polo de qualquer elemento de L. Se alem disso P satisfaz
P
=
P
q , ou
equivalentemente,
P
q =
P
, entao

P
(x) =
P
_

iI
u
i
y
q
0
i
_
=

iI

P
(u
i
)
P
(y
i
)
q
0
=
=

iI

P
(
1
u
i
)
q

P
(y
i
)
q
0
=
P
_

iI
(
1
u
i
)
q
0
y
i
_
q
0
=
P
(0).
Deste modo P percorre no conjunto dos divisores que sao zeros de x. Em outras palavras,
x P para todo P P
F
distinto de Q que satisfaz
P
=
P
q . Isto conclui a demon-
stracao.

Corolario 3.1.1 Se por extensao de constantes F/F

q
satisfaz
(i) q e um quadrado
(ii) q > (g + 1)
4
,
entao existe c > 0 tal que n umero N
r
de lugares de F
r
/F
q
r cujo grau e um pode ser
estimado por
N
r
< q
r
+ 1 +cq
r/2
,
para todo r 1.
Demonstracao: Da teoria de corpos de funcoes sabemos que o genero g de F/F
q
e
invariante por extensoes do corpo das constantes. Entao, basta tomar igual a identidade
no teorema anterior e c = 2g + 1.

3.2 A Cota Inferior

O que faremos agora e demonstrar e existencia da cota inferior de Hasse-Weil. No proximo
lema iremos utilizar a aplicacao denida em (??).
Lema 3.2.1 Seja F

/F uma extensao de Galois com grupo de Galois G := Gal(F

/F) tal
que F

e F sao corpos de funcoes. Considere para cada P

P
F
sua restricao P := P

F
em P
F
. Entao

P
=
P
q se, e somente se, G t.q.
P
=
P
q
.
A cardinalidade do conjunto formado pelos automorsmos G que cumprem esta
condicao e o ndice de ramicacao e(P) de P

sobre P.
Demonstracao: Suponha que
P
=
P
q
. Se x O
P
= O
P
F, entao (x) = x
G e x +P

= x
q
+P

, logo x x
q
P

F = P, ou seja,
P
q =
P
.
Reciprocamente, se
P
q =
P
entao deg(P) = 1, i.e., F
P
:= O
P
/P F
q
. Como [F
P
:
F
P
] =: m < , temos F
P
F
q
m, logo a aplicacao x x
q
dene um automorsmo de
F
P
que e constante em F
P
onde x := x +P

com x O
P
. A extensao F
P
/F
P
e Galois e
20
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
para cada Gal(F
P
/F
P
) existe G tal que (P

) = P

e (x) = (x) +P

(veja ref
[1] pag 119). Agora, se e o automorsmo inverso de x x
q
entao para todo x O
P

temos x
q
+ P

= x
q
=
1
(x) =
1
(x) + P

, ou seja,
P
=
P
q . A segunda parte do
lema e uma consequencia imediata do Lema ??.

Lema 3.2.2 Sejam F/F

q
um corpo de funcoes e F

uma extensao de Galois de F com

grupo de Galois G := Gal(F

/F) tal que F

q
e algebricamente fechado em F

, entao
N(F) = [F

: F]
1

G
N
()
(F

).
Demonstracao: Sejam P

um lugar em P
F
e P = P

F sua restricao em F. Denote

por f(P) := [F
P
: F
P
] o grau relativo de P

sobre P e seja g(P) o n umero de lugares

P

P
F
que estao sobre P. Pelo Corolario ?? , estes n umeros nao dependem de P

.
Usando o Lema ?? e o Lema ?? vemos que

G
N
()
(F

) =

P
=
P
q
deg(P

) =

|P

P
=
P
q
e(P)deg(P

) =
=

P
=
P
q
g(P)e(P)[F
P
: F
q
] =

P
=
P
q
g(P)e(P)[F
P
: F
P
][F
P
: F
q
] =
=

P
=
P
q
g(P)e(P)f(P)deg(P) = [F

: F]

P
=
P
q
deg(P).
Portanto,
N(F) = [F

: F]
1

G
N
()
(F

).

Observacao 3.2.1 Sejam F/F

q
um corpo de funcoes e Aut
F
q
(F) um automorsmo
com ordem nita. Denote o corpo xo de por E. Entao F e uma extensao nita e
separavel de E. Como F
q
e perfeito podemos escolher um elemento x E, transcendental
sobre F
q
, tal que E e uma extensao nita e separavel de F
q
(x). Sejam F

a menor extensao
de Galois de F e F

q
o fecho algebrico de F
q
em F

. Entao F

e F

q
F sao corpos de funcoes
sobre F

q
e pode ser estendida a um automorsmo em Aut
F

q
(F

).
Usando a observacao anterior podemos supor, por extensao de constantes se necessario,
que F/F
q
satisfaz
(i) F tem uma extensao nita F

que e Galois sobre F

q
(x) com x sendo um elemento
de separacao transcendente sobre F
q
, i.e., F/F
q
(x) e uma extensao nita separavel.
(ii) F
q
e algebricamente fechado em F

com fecho algebrico igual a F

q
.
(iii) q e um quadrado maior que (g

+ 1)
4
, onde g

e o genero de F

/F

q
com F

q
sendo
o fecho algebrico de F
q
em F

.
Nestas condicoes o que iremos mostrar agora e o
21
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Teorema 3.2.1 (Teorema da cota Inferior) O n umero N de lugares de grau um de
F/F
q
pode ser estimado por
N (q + 1)
(n m)
m
(2g

+ 1)q
1/2
,
onde m = [F

: F] e n = [F

: F
q
(x)].
Demonstracao: Sejam H := Gal(F

/F) e G := Gal(F

/F
q
(x)). Vemos facilmente que
H e um subgrupo de G. Pelo Lema ?? temos
N(F) =
1
m

H
N
()
(F

) (14)
e
N(F
q
(x)) =
1
n

G
N
()
(F

).
Por outro lado, como F
q
(x)/F e uma extensao racional e o corpo F
q
possui exatamente q
elementos, o n umero N(F
q
(x)) de lugares em F
q
(x) de grau um e q + 1. Deste modo,
1
n

G
N
()
(F

) = q + 1. (15)
Aplicando o Teorema ?? temos

G
N
()
(F

) =

H
N
()
(F

) +

GH
N
()
(F

H
N
()
(F

) +

GH
(q + 1) + (2g

+ 1)q
1/2
=
=

H
N
()
(F

) + (n m)(q + 1) + (2g

+ 1)q
1/2
.
Deste modo, usando a equacao (??) temos que

H
N
()
(F

G
N
()
(F

) (n m)(q + 1 + (2g

+ 1)q
1/2
=
= m(q + 1) (n m)(2g

+ 1)q
1/2
.
Finalmente, usando a equacao (??) temos
N = N(F) (q + 1)
(n m)
m
(2g

+ 1)q
1/2
.

Corolario 3.2.1 Se por extensao de constantes F/F

q
satisfaz
(i) q e um quadrado
(ii) q > (g + 1)
4
,
entao existe c > 0 tal que n umero N
r
de lugares de F
r
/F
q
r cujo grau e um pode ser
estimado por
N
r
> q
r
+ 1 +cq
r/2
,
para todo r 1.
22
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Demonstracao: Da teoria de corpos de funcoes sabemos que o genero g de F/F
q
e os
n umeros m e n sao invariantes por extensoes do corpo das constantes. Entao, basta tomar
c =
(nm)
m
(2g

+ 1) no teorema anterior.

Das consideracoes feitas o Teorema de Hasse-Weil decorre diretamente dos Corolarios

?? e ??.
4 Consequencias do Teorema de Hasse-Weil
Nesta secao serao apresentadas algumas consequencias relevantes do Teorema (da cota)
de Hasse-Weil. A pergunta evidente a se fazer agora e:
Podemos aprimorar a estimativa obtida por esse teorema?
Veremos que se q nao e um quadrado a estimativa pode ser suavemente melhorada.
Este sera o conte udo do Teorema (da cota) de Serre. Ao nal da secao estaremos apresen-
tando um exemplo onde a cota de Hasse-Weil e efetivamente atingida, i.e., daremos um
exemplo de corpo de funcoes F/F
q
tal que N = q + 1 + 2gq
1/2
. Isto sera suciente para
encerrarmos a questao levantada.
Seja A o conjunto dos inteiros algebricos. i.e., um n umero complexo esta em A se, e
somente se, este n umero e raiz de algum polinomio com coecientes inteiros. Um fato
elementar da teoria dos n umeros algebricos e que A Q = Z e que A e na verdade
um subanel de C. Dado um elemento C, usaremos a notacao para designar seu
conjugado. A notacao [a] ira signicar a parte inteira do n umero real a.
Teorema 4.0.2 (Teorema de Serre) Para o corpo de funcoes F/F
q
de genero g, o
n umero de lugares de grau um pode ser estimado por
[N (q + 1)[ g[2q
1/2
].
Demonstracao: Se g = 0 o resultado e trivial. Suponha que g > 0 e considere o L-
polinomio L(t) =

2g
i=1
(1
i
t) em F/F
q
. Pelo Teorema (da cota) de Hasse-Weil os

i
s
sao inteiros algebricos que cumprem [
i
[ = q
1/2
. Sabemos que eles podem ser ordenados
de forma que
i

g+i
= q, deste modo e facil ver que

i
=
g+i
= q/
i
, (i = 1, . . . , g).
Dena

i
:=
i
+
i
+ [2q
1/2
] + 1
e

i
:= (
i
+
i
) + [2q
1/2
] + 1.
Os elementos
i
e
i
sao inteiros algebricos e, como [
i
[ = q
1/2
, eles sao positivos.
Dado um homomorsmo : Q(
1
, . . . ,
2g
) C podemos observar que ele permuta
os elementos
1
, . . . ,
2g
, pois L

(t) =

2g
i=1
(t
i
) Z[t]. Observe tambem que se
(
i
) =
j
entao
(
i
) = (q/
i
) = q/(
i
) = (
i
) =
j
.
23
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Deste modo, age permutando os elemento de
1
, . . . ,
g
e
1
, . . . ,
g
. Se denirmos
:=
g

i=1

i
e :=
g

i=1

i
,
vemos facilmente que e sao inteiros algebricos invariantes por qualquer homomorsmo
de Q(
1
, . . . ,
2g
) em C. Deste modo, podemos concluir que , AQ = Z.
11
Como os
elementos
i
e
i
sao positivos, entao > 0 e > 0 e temos
g

i=1

i
1 e
g

i=1

i
1.
A desigualdade entre a media aritmetica e a media geometrica fornece
1
g
g

i=1

i
(
g

i=11

i
)
1
g
1.
Deste modo,
g
g

i=1

i
=
g

i=1
(
i
+
i
+ [2q
1/2
] + 1) =
=
g

i=1
(
i
+
i
) +g[2q
1/2
] +g =
2g

i=1

i
+g[2q
1/2
] +g.
Da igualdade N = q + 1

2g
i=1

i
, obtemos
g q + 1 N +g[2q
1/2
] +g,
logo
N q + 1 +g[2q
1/2
].
Procedendo de modo analogo para , obtemos
N q + 1 g[2q
1/2
].
Portanto
[N (q + 1)[ g[2q
1/2
].

A busca por corpos de funcoes com muitos lugares de grau um motiva a seguinte
denicao:
Denicao 4.0.1 Um corpo de funcoes F/F
q
de genero g e dito ser maximal se N =
q + 1 + 2gq
1/2
.
Observacao 4.0.2 A observacao obvia que segue da denicao e que para um corpo de
funcoes F/F
q
ser maximal e necessario que q seja um quadrado, caso contrario a expressao
N = q + 1 2gq
1/2
nao faria sentido.
11

E conhecido da teoria de extensoes de corpos que um n umero algebrico C que e invariante por
todos os homomorsmos : Q() C e na verdade um elemento de Q.
24
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
A proxima proposicao mostra que para uma curva ser maximal existe uma condicao
necessaria sobre o genero g em relacao a q.
Proposicao 4.0.1 Se F/F
q
e maximal, entao g (q q
1/2
)/2.
Demonstracao: Sejam
1
, . . . ,
2g
as razes recprocas do L-polinomio L(t). Sabemos
que
N = q + 1
2g

i=1

i
e [
i
[ = q
1/2
.
Por hipotese F/F
q
e maximal, logo N = q + 1 + 2gq
1/2
e podemos concluir que

2g

i=1

i
= 2gq
1/2
, i.e.,
i
= q
1/2
(i = 1 . . . , 2g).
Agora, considere o n umero N
2
de lugares de grau um em FF
q
2/F
q
2. Temos N
2
N e
N
2
= q
2
+ 1
2g

i=1

2
i
= q
2
+ 1 2gq.
Assim,
q + 1 + 2gq
1/2
q
2
+ 1 2gq.
Por uma manipulacao simples da desigualdade acima, g qq
1/2
/2 segue imediatamente.

Em 1994 C. Xing e H. Stichtenoth demonstraram que se F/F

q
e um corpo de funcoes
maximal cujo genero e g, entao g (q
1/2
1)
2
/4 ou q q
1/2
/4 g q q
1/2
/2, veja
o artigo The genus of maximal function elds over nite elds. Neste mesmo artigo foi
conjecturado que se g > (q
1/2
1)
2
/4 entao vale a igualdade g = q q
1/2
/2. Em 1995
R. Fuhrmann e F. Torres demonstraram esta conjectura utilizando teoria de Pontos de
Weierstrass desenvolvida por Voloch e Stohr, veja o artigo The genus of curves over nite
eld with many rational points.
4.1 O Corpo de Funcoes Hermitiano
Nesta secao daremos um exemplo simples de um corpo de funcoes maximal cujo genero
g atinge efetivamente a cota obtida na Proposicao ??. Seja F
q
2 um corpo nito com q
2
elementos, onde q e potencia de algum primo. Considere o corpo de funcoes H = F
q
2(x, y)
onde x e y satisfazem a equacao
Y
q
+Y = X
q+1
(16)
O corpo de funcoes H/F
q
2 e dito ser o corpo de funcoes Hermitiano. O conjunto
dos pontos que satisfazem a equacao (??) determina uma curva denominada a curva
Hermitiana. O que faremos nesta secao e mostrar que H e na verdade um corpo de
funcoes maximal, i.e., demonstremos que n umero N de lugares de grau um atinge a cota
superior de Hasse-Weil
N = q
2
+ 1 + 2gq. (17)
Primeiramente observe que se e sao elementos de F
q
2 entao
q+1
e
q
+ sao elementos
de F
q
. De fato, basta observar que (
q+1
)
q
=
q
2
+q
=
q
2

q
=
q
=
q+1
e (
q
+)
q
=
25
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
(
q
)
q
+ ()
q
=
q
2
+
q
= +
q
, logo
q+1
e
q
+ sao razes do polinomio X
q
X e
portanto sao elementos de F
q
. Agora, para cada F
q
2 considere equacao
Y
q
+Y =
q+1
.
Facilmente vemos que o polinomio Y
q
+Y
q+1
e irredutvel e separavel emF
q
2 e portanto
admite exatamente q razes. Adicionando o ponto no innito vemos rapidamente que o
n umero de pontos que satisfazem a equacao (??) e q
3
+ 1. Agora, o genero do corpo de
funcoes H e conhecido e vale
g =
q(q 1)
2
,
substituindo em (??) e imediato que N = q
3
+1. Portanto H e um corpo de funcoes max-
imal. Observe tambem que o genero de H mostra que a estimativa obtida na Proposicao
?? nao pode ser melhorada.
26
A Funcao Zeta e o Teorema de Hasse-Weil Tiago N. Castilho
Referencias
[1] H. Stichtenoth, Algebraic Function Fields and Codes, Springer-Verlag (1993).
[2] M.D. Fried, M.Jarden, Field Arithmetic, Springer-Verlag (1980).
[3] S. Lang, Algebra, Springer-Verlag (2006).
[4] S. Roman, Field Theory, Springer-Verlag (2006).
27