Polin

omios sobre Corpos p-

adicos:
Uma breve introduc
ao
Hemar Godinho
Departamento de Matematica, Universidade de Brasilia
70910-900 - Brasilia, DF - Brasil

Introduc
ao

Uma das questoes mais interessantes na area de Teoria dos N

umeros esta relacionada com a procura de solucoes em Z para equacoes polinomiais (sao os
chamados problemas Diofantinos). E um dos exemplos mais bonitos e o famoso

Ultimo
Teorema de Fermat, recentemente demonstrado por Andrew Willes.
Este (agora) teorema se ocupa com a pergunta de como se escrever uma kesima potencia como soma de duas k-esimas potencias, ou seja, solucoes de um
polinomio homogeneo com tres variaveis. Se ficou provado que tres variaveis
nao sao suficientes, entao quantas serao? Ou quantas variaveis serao suficientes

para se escrever um n
umero qualquer como soma de k-esimas potencias? E
claro que outras condicoes serao necessarias, pois para potencias pares nao ha
como se representar o zero a nao ser trivialmente. Mas entao quais devem ser
estas condicoes ? Atendendo `a necessidade de uma nova abordagem `a teoria,
veio a resposta de K. Hensel com a criacao dos n
umeros p-
adicos no final do
seculo XIX. A motivacao de Hensel era a de se conseguir obter informacoes
locais dentro dos racionais, de uma maneira analoga a teoria das seq
uencias e
series existentes nos n
umeros reais. E a primeira grande aplicacao da nova teoria foi apresentada por H. Hasse que, baseado nos trabalhos de H. Minkowski
demonstrou o seguinte teorema (ver [5], cap. 01, sec. 07)
Teorema (Hasse-Minkowski): Uma forma quadratica com coeficientes
racionais possui zeros racionais se e somente se possuir zeros reais e p-adicos
para todo primo p.
Este resultado estabeleceu um princpio de atuacao, conhecido como Princpio
de Hasse (ou local-global) consistindo na busca de solucoes inteiras atraves do
uso de informacoes p-adicas e reais (informacoes locais).
Nestas notas apresentaremos uma pequena introducao com o estudo de
polinomios homogeneos sobre os corpos p-adicos, numa tentativa de apresentar
1

alguns resultados motivados pela conjectura de Artin.

Congru
encias

Vamos entao iniciar nosso estudo relembrando o conceito de congruencia modulo

m (ver [13] para mais detalhes). Dados n
umeros inteiros a, b Z e um n
umero
natural m N, diremos que a e congruente a b modulo m, e escreveremos
a b (mod m),
se m dividir (a b). Observe que se k Z e m N, podemos sempre escrever
k = mq + r,
para certos inteiros q e r, com 0 r < m e, nessa altura, k r (mod m).
Ou seja, todo o n
umero inteiro e, modulo m, congruente a um dos n
umeros do
conjunto
Z/mZ := {0, 1, 2, . . . , m 1}.
Deste ponto de vista, fixado m, podemos nos concentrar, portanto, no conjunto
acima.
Ilustraremos brevemente como as congruencias podem ser u
teis em problemas diofantinos. Ao procurarmos solucoes inteiras de, por exemplo,
F (x, y) = x3 + 21x3 y 9 + 7x6 y 7 + y 3 + 1 = 0,
a expressao particular do polinomio sugere que se olhe para a equacao modulo
7, dado que, neste conjunto, F admite a forma simples:
F (x, y) = x3 + y 3 + 1(mod 7).
Isto e, se o polinomio dado possuir zeros inteiros (i.e., F (x, y) = 0 tem
solucoes inteiras) entao os representantes desses zeros no conjunto Z/7Z =
{0, 1, 2, , 6} deverao satisfazer x3 + y 3 + 1 0 (mod 7). Ora, por calculos
algebricos elementares ve-se que as potencias c
ubicas dos elementos de Z/7Z
formam o conjunto {0, 1, 6}, donde, por substituicao direta, conclui-se que
nao existem solucoes da equacao F (x, y) 0 (mod 7). Consequentemente, o
polinomio dado nao possui zeros inteiros.
Neste exemplo, o recurso `as congruencias serviu para mostrar que um dado
polinomio nao tem zeros inteiros. Poe-se agora, naturalmente, a questao se e
possvel utilizar congruencias para determinar solucoes de Problemas Diofantinos. E a resposta e positiva, como veremos nas proximas secoes.
2

Os N
umeros p-Adicos

Nos ja estamos familiarizados com a metrica induzida pelo valor absoluto em

Q, R e C. Atraves desta norma temos todas as ferramentas da analise a nossa
disposicao. A seguir definiremos uma nova norma e buscaremos determinar o
seu respectivo completamento de Q (para maiores detalhes sobre o assunto ver
[13]).
Definic
ao 3.1 Seja p N um primo qualquer. E escreva a Z como a =
m
p b, onde m N {0} e (b, p) = 1. Definiremos a func
ao vp (a) = m (a maior
potencia de p que divide a). Por convenc
ao determinamos que vp (0) = .
Exemplo 3.2 v5 (10) = 1, v11 (16) = 0, v3 (54) = 3
Propriedades:
1. vp (a) 0.
2. vp (ab) = vp (a) + vp (b).
3. vp (a + b) min(vp (a), vp (b)).
Definic
ao 3.3 (Valor absoluto p-
adico) Para qualquer Z n
os definimos
(
pvp () ,
se
6= 0
||p =
0,
se
= 0.
Propriedades: Sejam , Qp . Temos que:
(1) ||p 0

||p = 0 = 0.

(2) | |p = ||p ||p .

(3) | |p max{||p , ||p } ( em particular | |p ||p + ||p ).
Esta norma pode ser facilmente extendida a Q, tomando
a
vp ( ) = vp (a) vp (b)
b
1
Exemplo 3.4 | 27
|3 = 27 e |27|3 =

1
27

a
a
1
| |p = ( )vp ( b ) .
b
p

Observac
ao: Esta metrica gera fatos curiosos, por contrariarem a nossa intuicao . Seja D(a, r) = {b Q; |a b|p < r}, o disco aberto de raio r e centro
simples mostrar que D(a, r) = D(d, r),
a. Tome d D(a, r) qualquer. E
utilizando-se das propriedades da norma p-adica. Mas isto nos diz que todo
ponto do disco D(a, r) e um centro deste disco!
De posse desta norma, podemos definir o conjunto dos n
umeros p-adicos
Qp como o completamento de Q em relacao a norma p-adica | |p . E este e o
processo que descreveremos a seguir.
Seja o conjunto de todas as seq
uencias {an } em Z com a propriedade
an an1 (mod pn ) para todo n N {0}. E diremos que duas seq
uencias
n+1
{an } e {bn } em sao equivalentes se an bn (mod p ) para todo n
N {0}.
Denotaremos por Zp o conjunto de todas as classes de equivalencia definidas
pela relacao de equivalencia definida acima sobre . Um fato importante, mais
simples de ser verificado e que as operacoes
{xn } + {yn } = {xn + yn }.
{xn } {yn } = {xn yn }.
definidas sobre , definem operacoes de adicao e multiplicacao sobre Zp . Alem
disso, associando a cada z Z a seq
uencia constante {z, z, . . . , z, . . .}, e
verificando que inteiros distintos estao em classes distintas, podemos assumir
que Z Zp . Aos elementos de Zp chamaremos de inteiros p-
adicos.
Definic
ao 3.5 Sejam , dois inteiros p-
adicos. Diremos que | se existir
Zp tal que = . Em particular diremos que e uma unidade se |1.
Lema 3.6 : Seja Zp e assuma que {xn } representa . Ent
ao e
uma unidade de Zp se e somente se x0 6 0 (mod p).
Demonstrac
ao: Para demonstrar este criterio, precisamos apresentar uma
seq
uencia {yn } tal que xn yn 1 (mod pn+1 ). A conclusao desta demonstracao
segue do fato de que esta equacao sempre tem solucao pois xn xn1
x0 6 0 (mod p) (i.e. (xn , p) = 1), e que a seq
uencia {yn } representa um inteiro
p-adico.

Com o proximo resultado apresentaremos uma caracterizacao muito importante dos inteiros p-adicos.
Lema 3.7 : Todo inteiro p-adico n
ao nulo pode ser escrito de maneira
m
u
nica na forma = p , onde m N e  e uma unidade p-
adica.

Demonstrac
ao: A parte da unicidade sera deixada para o leitor. Suponha
entao que nao e unidade p-adica e seja {xn } uma seq
uencia que represente
. Pelo lema acima nos devemos ter x0 0 (mod p). Seja m N o menor
inteiro tal que xm 6 0 (mod pm+1 ). Alem disso, para todo s N temos que
xm+s xm+s1 xm xm1 0

(mod pm ).

xm+s
Z e por hipotese y0 6 0 (mod p).
pm
Apos alguns calculos verificamos que {yn } e {ys } representa uma
unidade  em Zp . Como {pm ys } {xm+s } , logo representam o mesmo inteiro
p-adico, ou seja = pm .


Assim podemos definir ys =

Corolario 3.8 : Seja Zp , representado pela seq

uencia {xn }. Ent
ao n
os
k
i+1
temos que p | se, e somente se, xi 0 (mod p ) para i {0, . . . , k 1}.
Agora ja podemos definir o corpo dos n
umeros p-adicos como sendo o corpo
de fracoes do domnio Zp . E uma conseq
uencia simples e que todo n
umero padico pode tambem ser escrito de maneira u
nica na forma = pm , onde
agora m pode assumir valores inteiros positivos e negativos. Gracas a isto
podemos extender a definicao de vp para Qp , tomando vp (pm ) = m , e por
conseguinte extender a definicao de norma para Qp .
Teorema 3.9 : Todo inteiro p-
adico e congruente a um inteiro m
odulo pm .
Demonstrac
ao: Seja um inteiro p-adico qualquer e {xn } uma sequencia
que o represente. Entao e simples verificar que a sequencia
{x0 xm , x1 xm , . . . , xk xm , . . .}
representa o inteiro p-adico xm . Como xi xm (mod pi+1 ), com i
{0, 1, , m}, podemos entao usar agora o corolario acima, e concluir que pm
divide xm .

Corolario 3.10 Se {xn } representa Zp ent
ao {xn } converge para em
Zp .
Demonstrac
ao: Queremos mostrar que | xn |p 0, quando m . Mas
isso e conseq
uencia de pm |( xn ) para todo m N.

Definic
ao 3.11 : Uma seq
uencia {n }
e dita limitada quando
n=0 em Qp
existir M > 0 tal que |n |p M para todo n N {0}.

Teorema 3.12 : Toda seq

uencia de inteiros p-
adicos possui uma subseq
uencia
convergente.
Demonstrac
ao: Seja {n }
uencia qualquer de inteiros p-adicos.
n=0 uma seq
Pelo teorema 3.9, cada termo n desta seq
uencia e congruente modulo p a
algum inteiro entre 0 e p 1. Assim, existe x0 {0, 1, , p 1} tal que
infinitos termos n sao congruentes a x0 modulo p (princpio pigeon hole).
(0)
uencia de {n }
Seja {n }
n=0 com a propriedade
n=0 esta subseq
n(0) x0

(mod p),

n N {0}.
(1)

Com a mesma argumentacao anterior, nos podemos obter {n }

n=0 sub(0)
seq
uencia de {n }n=0 tal que, para algum inteiro x1 {0, 1, , p2 1}
nos tenhamos
n(1) x1 (mod p2 ), n N {0},
e conseq
uentemente,
x1 x0

(mod p).

Prosseguindo com este raciocnio, para cada k N nos determinamos

(k1)
(k)
e subsequencia de {n }
uma subsequencia {n }
n=0 ) e um
n=0 (que
inteiro xk tal que
n(k) xk

(mod pk+1 ),

n N {0}

(1)

e alem disso, a sequencia {xn }

n=0 satisfaz
(mod pk ).

xk xk1

Esta condicao nos diz que a seq

uencia {xn } representa um inteiro p-adico .
(n)
Seja {n }n=0 a subsequencia diagonal obtida a partir das subsequencias
(k)
{n }n=0 onde k N {0} .
Pela demonstracao do teorema 3.9 nos temos que
(mod pn ).

xn
(n)

Por outro lado temos que n xn (mod pn+1 ), logo,

n(n)

(mod pn )

(n)

(n)

e da nos tiramos que vp (n ) n. Entao vp (n ) quando

n e consequentemente,

(n)

lim |n(n) |p = lim pvp (n

seja, lim n(n) = .

= 0, ou


Corolario 3.13 Toda seq

uencia limitada de n
umeros p-
adicos possui uma subseq
uencia convergente.
Demonstrac
ao : A hipotese da seq
uencia {n }
n=0 ser limitada significa que
existe M > 0 tal que
|n |p M,

n N {0}.

Conseq
uentemente, esta desigualdade nos diz que existe um inteiro K tal que
vp (n ) K,
logo a seq
uencia {pK n } esta em Zp . Assim podemos utilizar o Teorema anterior, determinando uma subseq
uencia convergente {pK nj }. Portanto {nj }
e uma subseq
uencia convergente de {n }

n=0 .
uma sequencia de n
umeros p-
adicos. Esta
Lema 3.14 : Seja {n }
n=0
sequencia e convergente se, e somente se, lim |m n |p = 0.
n,m

Demonstrac
ao: Suponha inicialmente que lim |n |p = 0. Como
n

|m n |p max{|m |p , |n |p }
entao

lim |m n |p = 0.

m,n

Reciprocamente suponha que

lim |m n |p = 0. Logo existe n0 N

m,n

tal que se m, n n0 entao |m n |p < 1. Em particular, para m n0

nos temos que |m n0 |p < 1. Agora,
|m |p = |m n0 + n0 |p
max{|m n0 |p , |n0 |p }
max{1, |n0 |p },
portanto, se tomamos
M = max{|0 |p , |1 |p , . . . , |n0 |p , 1}
teremos |n |p M para todo n N {0}, logo a seq
uencia {n }
e
n=0
limitada.
Pelo corolario 3.13 podemos encontrar uma subseq
uencia de {n } convergente. Vamos denotar esta subsequencia por {nj } que diremos ser convergente para Qp .
7

Seja entao  > 0 dado. Por hipotese, existe n1 N tal que m, n n1

acarreta |m n |p < . Existe tambem n2 N tal que nj n2 acarreta
|nj |p < . Tomando N = max{n1 , n2 } e escolhendo m, nj N teremos
|m nj |p <  e |nj |p < . Entao
|m |p = |m nj + nj |p
max{|m nj |p , |nj |p } < .
Como  e um n
umero qualquer, isto nos mostra que
portanto lim n = .
p

lim |m |p = 0 e


Corolario 3.15 : Uma seq

uencia p-
adica {n }
n=0 converge se, e somente
se, lim |n+1 n |p = 0.
n

Demonstrac
ao: Esta demonstracao sera deixada como exerccio, mas lembramos ao leitor a seguinte desigualdade que podera lhe ser u
til neste exerccio:
m, n N e, digamos, m n entao
|m n |p

|m m+1 + m+1 m+2 +

n1 + n1 n |p

max{|m m+1 |p , . . . , |n1 n |p }.



Corolario 3.16 Qp e corpo completo.

Teorema 3.17 Seja F (x1 , . . . , xn ) Z[x1 , . . . , xn ]. As congruencias F (x1 , . . . , xn )
0 (mod pk ) tem solucao para todo k N se e somente se F (x1 , . . . , xn ) tem
solucao em Zp .
Demonstrac
ao : Suponha que F (1 , . . . , n ) = 0 em Zp . Entao existem
(k)
(k)
(k)
uentemente
inteiros a1 , . . . , an tais que j aj (mod pk ), e conseq
(k)

0 = F (1 , . . . , n ) F (a1 , . . . , a(k)
n )
(k)

(mod pk ), k N.

(k)

Reciprocamente, suponha que (a1 , . . . , an ) seja um seq

uencia de solucoes
das congruencias F (~x) 0 (mod pk ),
k N. Como em cada uma das
coordenadas temos uma seq
uencia de inteiros p-adicos, podemos determinar
(k )
uma subseq
uencia convergente {ai j } para um inteiro p-adico i . Assim temos
que
(k )

j)
F (1 , . . . , n ) F (a1 j , . . . , a(k
n ) 0

(mod pkj ), kj N.

Logo |F (1 , . . . , n )|p = 0, ou seja, F (1 , . . . , n ) = 0.

8

Teorema 3.18 (Lema de Hensel) : Seja Zp [x1 , . . . , xn ] o anel dos polin

omios
a n variaveis x1 , . . . , xn e coeficientes em Zp . Seja F (x1 , . . . , xn )
Zp [x1 , . . . , xn ] e suponha que existam 1 , . . . , n em Zp , m N {0} e
i {1, . . . , n} tais que
F (1 , . . . , n ) 0

(mod p2m+1 )

F
(1 , . . . , n ) 0
xi
F
(1 , . . . , n ) 6 0
xi

(mod pm )

(2)

(mod pm+1 ).

Entao existem inteiros p-adicos 1 , . . . , n tais que

F (1 , . . . , n ) = 0
e
j j

(mod pm+1 ),

j {1, . . . , n}.

No caso de m = 0, as hipoteses passam a ser

F (1 , . . . , n ) 0

(mod p)

F
(1 , . . . , n ) 6 0
xi

(mod p).

Demonstrac
ao: Consideremos o polinomio
f (x) = F (1 , . . . , i1 , x, i+1 , . . . , n )
adicos tal que para
Vamos construir uma sequencia {j }
j=0 de inteiros p-
todo r N tenhamos
f (r ) 0
r i

(mod p2m+1+r )

(3)

(mod pm+1 )

Vamos assumir, por hipotese de inducao, que

satisfazem as condicoes (3).
Reescreva f (x) como

0 = i , 1 , . . . , r1

f (x) = 0 + 1 (x r1 ) + . . . + ` (x r1 )`
onde ` e o grau de f (x) e j Zp , j {0, 1, . . . , `}.
Entao , por (3), temos que f (r1 ) = 0 = Ap2m+r e f 0 (r1 ) = 1 = Bpm ,
com (B, p) = 1, pois r1 i (mod pm+1 ) e pelas hipoteses do teorema.
9

Substitundo agora 0 , 1 e x = r1 + ypr+m na expressao de f (x)

encontramos que f (r1 + ypr+m ) e igual a
Ap2m+r + Bpm ypr+m + 2 (ypr+m )2 + . . . + ` (ypr+m )`
= (A + By)p2m+r + 2 (ypr+m )2 + . . . + ` (ypr+m )` .
Como (B, p) = 1, podemos determinar y0 Zp tal que (A + By0 ) 0
(mod p). Alem disso, como k(r + m) 2m + r + 1 para todo k > 1, k N,
fazendo
r = r1 + y0 pm+r
(4)
nos temos
f (r ) 0

(mod p2m+r+1 )

e
r r1 i

(mod pm+1 ).

Assim, a sequencia {j }
adicos satisfazendo (3) pode ser
j=0 de inteiros p-
construda. De posse da seq
uencia nos observamos que
|r r1 |p = pvp (r r1 )
e por (4)
vp (r r1 ) m + r
logo lim |r r1 |p = 0 e pelo corolario 3.15, a seq
uencia {j }
e
j=0
r
convergente para, digamos, Zp .
Nos conclumos da que {f (j )}
j=0 converge para f () Zp . Por outro
lado,
vp (f (r )) 2m + r + 1
logo a seq
uencia {f (j )}
os
j=0 converge a zero e pela unicidade do limite n
obtemos que f () = 0.

Exemplo 3.19 Sera que -1 e um quadrado em Q13 ?
Esta pergunta e equivalente a encontrar um zero 13-adico para o polinomio
f (x) = x2 + 1. Como
f (5) 0 (mod 13)
e

f (5) = 10 6 0

(mod 13)

podemos utilizar o lema de Hensel, concluindo que existe Q13 tal que
2 = 1 e 5 (mod 13).

10

Como um comentario final devemos mencionar que nao e possvel tentar

uma abordagem semelhante a de K. Hensel, criando uma nova norma sobre
os racionais, pois Ostrowski provou que toda norma n
ao trivial sobre Q e
equivalente ao valor absoluto ou `
a norma p-
adica, para algum p (ver [14]).

A Conjectura de Artin

A partir desta secao comecaremos a estudar os polinomios homogeneos sobre

os n
umeros p-adicos, mas sob a otica dada por uma conjectura de E. Artin,
que apresenta uma relacao entre o n
umero de variaveis de um polinomio e
possveis zeros p-adicos. Mais precisamente (ver [16])
Conjectura 4.1 (Artin (1920)) Qualquer plin
omio homogeneo de grau k
em n variaveis tem zeros p-adicos desde que n k 2 + 1.
Nosso desejo e, inicialmente, apresentar uma serie de reultados classicos,
que nos darao uma ideia das teorias e tecnicas ja desenvolvidas. Primeiramente
anunciaremos um resultado de Chevalley, motivado tambem por uma outra
conjectura similar de Artin (ver [8]).
Teorema 4.2 (Chevalley (1935)) Todo polin
omio em n vari
aveis, de grau
d e sem termo constante, tem sempre uma soluc
ao n
ao trivial m
odulo p, desde
que n > d.

Resultados Cl
assicos
O primeiro resultado veio com H. Hasse, confirmando a conjectura para
formas quadraticas.
Teorema 4.3 (Hasse (1924)) Qualquer forma quadr
atica sobre o corpo dos
n
umeros p-adicos em cinco ou mais vari
aveis possui sempre zeros p-
adicos.
Demonstracao: Como toda forma quadratica sobre um corpo e equivalente `a
uma forma diagonal (tambem chamada aditiva), podemos assumir que
f = a1 x21 + . . . + an x2n
seja uma forma quadratica qualquer com coeficientes sobre os n
umeros padicos, com n 5. Vamos comecar reescrevendo a forma f como
X
f=
pi fi
(5)
i0

11

onde fi sao subformas nas variaveis xj de f satisfazendo i = vp (aj ), onde aj e

o coeficiente de xj , e vp e a valorizacao p-adica (assim todas as subformas fi
possuem unidades p-adicas como coeficientes).
Observe que se i 2, entao i = 2ki + si , com si = 1 ou 0. Assim
aj x2j = psi j (pki xj )2 .
Portanto atraves da mudanca de variaveis xj = pki xj , podemos assumir que
f = f0 + pf1
onde os coeficientes de f0 e f1 sao unidades p-adicas. Vamos denotar por mi ,
o n
umero de variaveis presente na subforma fi , logo n = m0 + m1 5. Se
m1 m0 tome
f = p1 f (px1 , , pxm0 , xm0 +1 , , xm0 +m1 ) = f0 + pf1 .
E agora m0 m1 . Portanto podemos sempre assumir que m0 m1 , e como
n 5, temos que m0 3.
Vamos supor que p > 2. Como
f f0 0 (mod p)
podemos usar o teorema de Chevalley e encontrar uma solucao nao trivial
para esta congruencia. Como todos os coeficientes de f0 sao unidades p-adicas
(portanto co-primos com p), esta solucao e na verdade nao singular, o que nos
da um zero p-adico pelo lema de Hensel.
O caso p = 2 e feito com um estudo caso a caso, e nao sera apresentado
aqui, apesar de ser tambem simples (ver [5])

Exemplo 4.4 Seja Fp o corpo com p elementos e F2p o subgrupo dos quadrados
de Fp . Tome q
/F2p e considere a forma
f = (x21 qy12 ) + p(x22 qy22 ).
Vamos supor que exista = (1 , . . . , 4 ) um zero de f em Zp (anel dos inteiros
p-
adicos), e como f e homogeneo podemos assumir que alguma coordenada de
e co-prima com p. Como
0 = f () (12 q22 ) (mod p)
devemos ter 1 2 0 (mod p), pois q
/F2p . Ent
ao
0 = f () = p2 (102 q202 ) + p(32 q42 )
12

1
0 = f () (32 q42 ) (mod p)
p
implicando que 3 4 0 (mod p), o que e impossvel pois tem alguma
coordenada co-prima com p. Portanto f n
ao tem zeros p-
adicos, e como possui quatro variaveis, vemos que o Teorema de Hasse apresenta a melhor cota
possvel para n.
Observe que este exemplo pode ser facilmente generalizado. Se tomarmos
q
/Fkp e
k
X
f=
pi1 (xki qyik ),
i=1

com um raciocnio analogo ao acima, conclumos que f nao tem zeros p-adicos.
Isto nos diz que se queremos um resultado analogo ao de Hasse para formas
de graus k devemos assumir
n 2k + 1.
A seguir apresentamos outros resultos relacionados `a conjectura de Artin (ver
[16], [4], [15]).
Teorema 4.5 (Lewis (1952)) Toda forma c
ubica com coeficientes p-
adicos
em 10 ou mais variaveis possui zeros p-
adicos.
Teorema 4.6 (Birch-Lewis k = 5 (1959), Laxton-Lewis k = 7, 11 (1965))
Toda Forma de grau k = 5, 7, 11 com coeficientes p-
adicos com n
umero de
var
aveis superior a k 2 , tem zeros p-
adicos desde que o corpo de classes residuais seja grande o suficiente.
Durante muitos anos acreditou-se que a conjectura de Artin fosse verdadeira, mas em 1966 apareceu o primeiro contra-exemplo dado por Terjanian,
que passamos agora a descrever (ver [16]).
Exemplo 4.7 (Terjanian (1966)) Terjanian observou que a forma
G(x) = G(x1 , x2 , x3 ) = x41 + x42 + x43 x21 x22 x21 x23 x22 x23 x1 x2 x3 (x1 + x2 + x3 )
e tal que
(
G(x)

1 (mod 4) se algum xi e mpar,

0 (mod 16) se todos os x0i s sao pares,

pois x2 x4 1 (mod 4) se x e mpar. Tome agora

H(x) = H(x1 , . . . , x9 ) = G(x1 , x2 , x3 ) + G(x4 , x5 , x6 ) + G(x7 , x8 , x9 )
13

logo
(
H(x)

6 0 (mod 4) se algum xi e mpar,

0 (mod 16) se todos os

x0i s sao pares.

(6)

Finalmente seja
F (x) = F (x1 , . . . , x18 ) = H(x1 , . . . , x9 ) + 4H(x10 , . . . , x18 ).
Vamos supor que exista Z18
2 tal que F () = 0. Sem perda de generalidade
podemos assumir que e um zero primitivo (possui uma unidade 2-adica em
alguma de suas coordenadas), logo
F () = H(1 , . . . , q ) + 4H(10 , . . . , 18 ) = 0.
Se a unidade 2-adica esta entre as primeiras nove coordenadas, teremos
0 F () H(1 , . . . , 9 ) (mod 4)
o que contradiz (8). Logo a unidade deve estar entre as nove u
ltimas coordenadas, mas entao
0 F () 4H(10 , . . . , 18 ) (mod 16)
o que tambem contradiz (6).
Isso nos mostra que F nao tem zeros 2-adicos apesar de ter 18 variaveis,
contrariando a Conjectura de Artin.
Logo em seguida outros matematicos apresentaram novos exemplos de formas de grau k = p (p 1) em n > k 2 + 1 variaveis sem zeros p-adicos.
Exemplo 4.8 (Arkhipov-Karatsuba (1981))
Mais recentemente G. I. Arkhipov e A. A.Karatsuba (ver [1]) mostraram que
o n
umero de variaveis em alguns contra-exemplos `a conjectura de Artin nao e
limitado a ter crescimento polinomial com respeito ao grau. Eles mostraram
que existe, para cada primo p e inteiro k, uma forma F sobre Z em n variaveis
de grau no maximo k com somente a solucao trivial nos n
umeros p-adicos
embora


k
.
n exp
(log k)2 (log log k)3
Um dos resultados mais interessantes nesta area e a demonstracao de J.
Ax e S. Kochen (ver [3]) de que a conjectura de Artin e quase verdadeira. Eles
provaram que

14

Teorema 4.9 (Ax-Kochen (1965)) Para todo inteiro positivo k existe um

conjunto finito de primos A(k) tal que para todo primo p
/A, toda forma de
2
grau k em n k + 1 variaveis sobre os n
umeros p-
adicos sempre possui zeros
p-
adicos.
Existem razoes para se acreditar que a conjectura de Artin seja verdadeira
no caso do grau ser um primo, mas ate agora nenhuma demonstracao existe.
Outro problema ainda em aberto e o de determinar esse conjunto finito de
primos para os quais a conjectura de E. Artin e falsa, incluindo o caso de k=4
(ver exemplo de Terjanian acima.)
Vamos concluir esta secao com um resultado surpreendente de R. Brauer[6].
Teorema 4.10 (Brauer (1945)) Vamos assumir que um corpo K tem a seguinte
propriedade: Para todo inteiro r > 0, existe um inteiro (r) tal que se n (r)
ent
ao toda equacao aditiva
a1 xr1 + . . . + an xr = 0,

ai K,

i = 1, . . . , n

possui um zero (solucao nao-trivial) em K. Ent

ao para todos inteiros positivos
r1 , , rh , m, existe um inteiro = (K; r1 , . . . , rh ; m) tal que se n ent
ao
para todo sistema de polinomios homogeneos com coeficientes sobre K, de graus
r1 , . . . , rh respectivamente, e em n vari
aveis, existe uma variedade linear mdimensional, definida sobre K, cujos pontos s
ao soluc
oes deste sistema.

Formas Aditivas

Do encontro de H. Davenport e D. J. Lewis seguiu-se uma serie de artigos onde

se buscava zeros p-adicos e inteiros para formas do tipo aditivo, i.e.,
f = a1 xk1 + + an xkn ,
e, posteriormente, para sistemas de formas aditivas. Uma grande quantidade
de tecnicas foram geradas nestes trabalhos, ainda usadas ate hoje nesta area
com sucesso.
O melhor resultado sobre zeros de formas aditivas foi conseguido por eles
ao mostrarem que (ver [9])
Teorema 5.1 (Davenport-Lewis) Toda forma aditiva de grau k, com coeficientes inteiros, em n k 2 + 1 vari
aveis sempre possu zeros p-
adicos.
Este resultado, alem de provar a validade da conjectura de E. Artin para
o caso de formas aditivas, nao pode ser melhorado no sentido de que existem
formas de grau k em k 2 variaveis sem zeros sobre determinados corpos p-adicos
como veremos no exemplo a seguir:
15

Exemplo 5.2 Seja k Z tal que k + 1 = p e primo. Pelo Teorema de Euler,

sabemos que
xk 0 ou 1 (mod p),
portanto a forma
xk1 + + xkk

(7)

somente tem o zero trivial modulo p.

Seja
k1
X
f=
pi (xk1i + + xkki ),
i=0

uma forma de grau k em k 2 vari

aveis. Se f tem um zero p-
adico, ent
ao consequentemente tera um zero ~ = (10 , , k0 , , k0 , , kk1 ), com alguma
~ = 0 em Zp
coordenada ij co-prima com p. Como vimos anteriormente, f ()
~ 0 (mod pm ), para todo m N.
implica f ()
Vamos escrever
~ = f0 (~0 ) + pf1 (~1 ) + + pk1 fk1 (~k1 ),
f ()
onde ~j = (1j , , kj ).
Logo
~ f0 (~0 )
f ()

(mod p).

Isto implica, por (9), que ~0 0 (mod p). Assim, escrevendo ~0 = p~0 ,
teremos
~ = pk f0 (~0 ) + pf1 (~1 ) + + pk1 fk1 (k1
~ ).
f ()
Portanto temos que
~
f ()
= f1 (~1 ) + + pk1 f0 (~0 ).
p
Repetindo o mesmo argumento, concluimos que ~j = p~j , para todo j =
1, , k 1. Mas isto contradiz o fato de ~ ter alguma coordenada co-prima
com p. Portanto a forma f nao tem zeros p-
adicos n
ao triviais.

Resultados Preliminares
Um resultado conhecido da Teoria Elementar dos N
umeros (ver [13], cap.
04) afirma que, para a, k, p N, com p um primo e = (k, p1), a congruencia
xk a

(mod p)

16

tem uma solucao se, e somente se, a congruencia

x a

(mod p)

tambem tem solucao . Com este resultado, podemos reescrever o teorema de

Chevalley como
Teorema 5.3 (Chevalley) Toda forma aditiva em n vari
aveis, de grau k,
tem sempre uma solucao nao trivial m
odulo p, desde que n > = (k, p 1).
Lema 5.4 Sejam m0 , m1 , , mk1 R, e s = m0 + m1 + + mk1 . Vamos
assumir que mk+i = mi para todo i N. Ent
ao existe r tal que
mr + mr+1 + + mr1+t t

s
para t = 1, 2, , k.
k

Demonstracao : Como
k1
X
i=0

mi = s

k1
X

s
(mi ) = 0,
k
i=0

sem perda de generalidade, podemos assumir que s = 0, e o que queremos

provar e a existencia de r tal que
mr + mr+1 + + mr1+t 0 para t = 1, 2, , k.
Vamos assumir que esta conclusao e falsa. Logo para todo t N, existe
um r N, t r t + k 1, tal que mt + mt+1 + + mr < 0.
Tome t1 arbitrario, e determine o respectivo r1 que torna a afirmacao do
teorema falsa. Agora escolha t2 = r1 + 1, e determine o respectivo r2 , e
assim sucessivamente. Com isto criaremos uma seq
uencia infinita de intervalos
fechados consecutivos
[t1 , r1 ], [t2 , r2 ], , [tn , rn ],
P
tais que em cada intervalo [tn , rn ] temos rtnn mi < 0.
Como esta seq
uencia e infinita, certamente existirao ndices ta , tb onde
ta tb (mod k) (ou seja tb = ta + dk) , o que implica que mta = mtb . Consequentemente
Ptb 1
mi = mta + + mta +k1 +
ta
+mta +k + + mta +2k1 +
..
.
+mta +(d1)k + + mtb 1 = 0,
17

pois

Pl+k1
l

mi = 0. Por outro lado,

Ptb 1
mi = mta + + mta+1 1 +
ta
+mta+1 + + mta+2 1 +
..
.
+mtb1 + + mtb 1 < 0,

P a+j+1 1
pois tta+j
mi < 0, ja que ta+j+1 1 = ra+j . O que nos da uma contradicao,
e conclui a demonstracao deste lema.

Definic
ao 5.5 Seja k um n
umero natural qualquer e p um n
umero primo.

Escreva k = p k0 com (k0 , p) = 1. Vamos definir o n

umero como

+ 1 se p > 2
=
+ 2 se p = 2.
Lema 5.6 Se a congruencia
xk m (mod p )
tem solucao , onde (m, p) = 1 e como na definic
ao acima, ent
ao a congruencia
xk m (mod pn )
tem solucao para todo n .
Demonstracao: Os principais ingredientes nesta prova sao os seguintes fatos
bem conhecidos

Cpn1 (p1) se p > 2

n
Un = (Z/p Z) =
C2 C2n2 se p = 2
onde Cp e o grupo cclico de ordem p. Primeiramente vamos assumir p > 2, e
seja g uma raiz primitiva de Un . Vamos escrever
m g,

y g e x g (mod pn ).

Como estamos assumindo n > e y k m (mod p ), temos que

k (mod p1 (p 1))
i.e., modulo a ordem do grupo U . Logo, por definicao de ,
p1 k0 (mod p1 (p 1))
18

(8)

o que implica que ambos, p1 e (k0 , p 1), dividem . Portanto a equacao

(ver (8))
k (mod pn1 (p 1))
tem solucao para , dando uma solucao tambem para a equacao equivalente
xk m (mod pn ).
Assumamos entao p = 2, e consideremos dois casos:
1. Se k e impar podemos aplicar o lema de Hensel (3.18), com n = 1,
concluindo que a equacao
xk m (mod 2n )
sempre tem solucao independentemente de outras hipoteses.
2. Consideremos o caso de k ser par. Este caso e uma exata repeticao dos
argumentos do caso p > 2 acima, tomando tambem g como gerador do
grupo C2n2 , e lembrando que agora = + 2 e p = 2.

Lema 5.7 seja como na definic
ao 5.5. Se a congruencia
f = a1 xk1 + + an xkn 0 (mod p )
tem uma solucao (1 , , n ) tal que para algum j tenhamos aj j 6 0 (mod p),
ent
ao a forma f tem zeros p-adicos.
Demonstracao: Sem perda de generalidade podemos supor
a1 1 6 0 (mod p).
Isto implica que
a2 2k + + an nk = m 6 0 (mod p).
Por hipotese a congruencia

xk1 a1
1 m (mod p )

tem solucao x1 = 1 e p nao divide a1

encia
1 m, logo a congru
l
xk1 a1
1 m (mod p )

tem solucao para todo l , de acordo com o lema 5.6, o que nos da zeros
p-adicos para f (ver teorema 3.17).

19

O Processo de p-Normaliza
c
ao
Seja
f = a1 xk1 + + an xkn ,
uma forma aditiva de grau k em n variaveis. Vamos comecar escrevendo
X
f=
pi fi
(9)
i0

onde fi sao subformas nas variaveis xj de f satisfazendo i = vp (aj ), onde aj e o

coeficiente de xj , e vp e a valorizacao p-adica. Observe que todas as subformas
fi possuem unidades p-adicas como coeficientes. Na realidade podemos assumir
que
f = f0 + pf1 + + pk1 fk1

(10)

pois para os indices i em (9) maiores que k 1, digamos i = kt + r com

r < k, podemos substituir as variaveis xj de fi por
pt xj = xj
e entao adiciona-las `a forma fr . E estas novas variaveis ainda possuem unidades
p-adicas como coeficientes.
Seja mi o n
umero de variaveis presentes em fi , assim temos m0 + +
mk1 = n. Aplicando agora o lema 5.4 podemos assumir que existe um ndice
r tal que
n
para t = 1, 2, , k.
mr + mr+1 + + mr1+t t
k
Facamos a seguinte permutacao cclica das variaveis de f : substitua todas as
variaveis xs das formas fj com j < r (ver (10)) por
0

xs = pxs ,
e depois divida a forma f por pr , e teremos
f = pr f = fr + pfr+1 + + pk1r fk1 + pkr f0 + + pk1 fr1 .

e
Assim f = f0 + pf1 + + pk1 fk1

n
para t = 1, 2, , k.
k
Claramente se a forma f possuir zeros p-adicos, a forma f tambem os
tera. Portanto podemos supor que f tem a forma descrita em (10) e que
n
para t = 1, 2, , k.
(11)
m0 + m1 + + mt1 t
k
m0 + m1 + + mt1 t

20

O M
etodo de Contra
c
ao de Vari
aveis
Seja
c1 xk1 + + cs xks
uma subforma de fj , e vamos assumir que ~ = (1 , , s ) seja uma solucao
nao trivial de
c1 xk1 + + cs xks 0

(mod pi )

com i > j.

Multiplicando ~ por uma nova variavel T , teremos

c1 (1 T )k + + cs (s T )k pi T k

(mod pi+1 ).

A substituicao de (x1 , , xs ) por (1 T, , s T ) e chamado de uma contracao

de s variaveis no nvel j para uma variavel no nvel i ou superior (dependendo
do valor de vp ()).
Portanto podemos encontrar zeros p-adicos para uma forma f = f0 + +
k1
p fk1 , se garantirmos que uma solucao ~ modulo p inclua variaveis de f0 ,
que sao aquelas com coeficientes co-primos com p.
Vamos supor que seja possvel contrairmos somente variaveis presentes na
subforma
f0 = a1 xk1 + + am0 xkm0 ,
gerando uma nova varavel T em um nvel igual ou superior a 1. E que tambem
seja possvel encontrar uma solucao para
p(T k + f1 + + pk2 fk1 ) 0

(mod p ),

tal que T assuma um valor co-primo com p. Entao a esta solucao podemos
aplicar o lema 5.7, ja que por hipotese existe j {1, 2, , m0 } tal que aj jk 6 0
(mod p), consequentemente, aj (j )k 6 0 (mod p).
A seguir demonstraremos o Teorema de Davenport-Lewis, como ilustracao
destas tecnicas, com a hipotese adicinal de < (p 1), evitando assim complicacoes e tecnicalidades.
Teorema 5.8 (Davenport-Lewis) Seja f = a1 xk1 + +an xkn e vamos supor
que < (p 1). Entao f possu zeros p-
adicos se n k 2 + 1.
Demonstracao: Vamos escrever f em sua forma p-normalizada
f = f0 + pf1 + + pk1 fk1
com (ver (11))
m0 + m1 + + mt1
21

tn
,
k

t = 1, 2, , k.

Por hipotese

p1
= p 3,
2
assim, pelo lema 5.7, precisamos determinar uma solucao para

f = f0 + pf1 + + p f 0

(mod p +1 )

com alguma variavel de f0 assumindo um valor co-primo com p.

Pelo Teorema de Chevalley, cada subforma de f0 com + 1 variaveis, pode
ser contraida originando uma nova variavel em um nvel superior ou igual a 1.
O que faremos e mostrar que em f0 existem variaveis suficientes para, atraves
de sucessivas contracoes , gerarmos uma nova variavel num nvel superior ou
igual a + 1, pois isto nos daria uma solucao nao singular para f . Portanto
nossa meta e provar que se n k 2 + 1 entao
m0
[
] 1,
( + 1) +1
onde [x] significa o maior inteiro menor que x.
Vamos assumir que k0 = 1, pois este e o caso crtico. Como
n
m0 k + 1 = p + 1
k
e (p 1)/2 entao
[

m0
p
2p

[
] [(
)
].

+1

( + 1)
( + 1) + 1
p+1 +1

Caso (1): Supor 2. Como

2
2p
3

+1
3
p+1
2
para p 3, temos que
[

m0
] 1.
( + 1) +1

suficiente mostrar que

Caso (2): Supor = 1. E
p + 1
] 1.
2 +1
Isto e simples de se verificar, considerando separadamente os casos p 5
e p = 3.
[


A teoria de formas sobre corpos p-adicos tem avancado muito durante os
u
ltimos anos e sugerimos aos leitores interessados as referencias [2], [7], [10],
[11],[12] e [17].
22

References
[1] G. I. Arkhipov and A. A. Karatsuba . On local representation of
zero by a form. Izv. Akad. Nauk. SSSR, Ser. Mat. 45 (1981),948961; translated in Math USSR-Izv. 19.
[2] O.D.Atkinson and R.J. Cook . Pairs of additive congruences to a
large prime modulus. J. Austral. Math. Soc. (serie A) 46 (1989),438455.
[3] J. Ax and S. Kochen . Diophantine problems over local fields I. Amer.
J. Math., 87 (1965), 605-630.
[4] B. J. Birch and D. J. Lewis. P-adic Forms. J. Indian Math. Soc. 23
(1959), 11-32.
[5] Z. I. Borevich and I. R. Shafarevich . Number Theory. Academic
Press Inc. (1973).
[6] R. Brauer. A note on systems of homogeneous algebraic equations.
Bull. Amer. Math. Soc., 51 (1945), 749-755.
[7] J. Br
udern and H. Godinho. On Artins conjecture, I: Systems of
diagonal forms. Bull. London Math. Soc. 31(1999), 305313.
[8] C. Chevalley. Demonstration dune hypoth`ese de M. Artin. Abh.
Math. Sem. Univ. Hamburg 11 (1935), 73-75.
[9] H. Davenport and D.J. Lewis . Homogeneous additive equations.
Proc. Royal Soc. London, A 274 (1963), 443-460.
[10] H. Davenport and D.J. Lewis . Two additive equations. Proc. Sympos. Pure Math. 12 (AMS, Providence, RI - 1972), 74-98.
[11] H. Davenport and D.J. Lewis. Simultaneous Equations of Additive
Type. Phil. Trans. Roy. Soc. London Ser. A 264 (1969), 557-595.
[12] H. Godinho. On p-adic zeros of additive forms of even degree. J.
Number Th. 68 (1998), 1-20.
[13] H. Godinho, S. Shokranian e M. Soares. Teoria dos N
umeros. Editora
Universidade de Braslia, Brasil (1999), 2 edicao .
[14] N. Koblitz . p-adic Numbers, p-adic Analysis, and Zeta-Functions.
Graduate Texts in Math. Springer (1996). 2nd edition.
23

[15] R.R. Laxton and D.J. Lewis . Forms of degrees 7 and 11 over P-adic
fields. Proc. Sympos. Pure Math. 8 (AMS, Providence, RI - 1965),
16-21.
[16] D.J. Lewis . Diophantine Equations: p-Adic Methods. Studies in
Number Theory, edited by W. J. LeVeque. Math. Assoc. Amer. Studies in Math. vol 06, (1969), 25-75.
[17] L. Low, J. Pitman and A. Wolff . Simultaneous diagonal congruences.
J. Number Theory 63 (1997), 132-142.

24