Resumo de Projeto de Apresenta

c
ao de Poster:
Problema Inverso de Galois sobre Qp(t)
Tiago Jardim da Fonseca, Orientador: Eduardo Tengan
ICMC/USP

Objetivo

O objetivo do poster e mostrar, em linhas gerais, como Harbater e Hartmann obtiveram, em [2], uma
soluc
ao para o Problema Inverso de Galois sobre o corpo Qp (t), utilizando a chamada tecnica de patching
sobre corpos.

O Problema Inverso de Galois

Dado um grupo finito G e um corpo K, o Problema Inverso de Galois sobre K consiste em determinar
se existe uma extens
ao L K tal que Gal(L/K) = G. Mais especificamente, o seguinte problema ainda
continua em aberto: todo grupo finito e o grupo de Galois de uma extensao de K = Q? Apesar de o problema
sobre K = Q ainda estar em aberto, v
arios casos particulares ja foram resolvidos. Por exemplo, ja sabemos
que a soluc
ao e positiva para:
Todo grupo finito abeliano (Teorema de Kronecker-Weber);
Todo grupo sol
uvel (Teorema de Shafarevich); e
O grupo monstro (Thompson).
Se K = C(x), sabemos que a soluc
ao do Problema Inverso de Galois e positiva. Em contrapartida, sabemos
que a resposta e negativa, isto e, existem grupos finitos que nao aparecem como grupos de Galois, para:
K = Fp , pois toda extens
ao finita e cclica; e
K = Qp , pois toda extens
ao e sol
uvel.
A soluc
ao positiva para o problema de inverso sobre o corpo C(x) foi obtida utilizando-se superfcies de
Riemann e uma forte analogia entre grupos de Galois e grupos de automorfismos de espacos de recobrimento
(deck transformations). Baseado nestas ideias, David Harbater desenvolveu uma solucao analoga para Qp (t).

2.1

Teoria de Galois e Espacos de Recobrimento

Sob um certo ponto de vista, a Teoria de Galois se assemelha em muito `a Teoria de Espacos de Recobrimentos.

Em Algebra,
consideramos extens
oes de corpos L K e seu grupo de Galois Gal(L/K). Se [L : K] = n,
dizemos que a extens
ao e Galois se ela e o mais simetrica possvel, i.e., | Gal(L/K)| = n. No caso topol
ogico,
temos, associado a um recobrimento p : Y X, um grupo Aut(Y /X), consistindo nos homeomorfismos
: Y Y , tais que p = p. Se o grau da cobertura e n (i.e., as fibras tem n elementos), ent
ao
| Aut(Y /X)| n e dizemos que o recobrimento e regular se | Aut(Y /X)| = n.

Este paralelo pode ir mais longe. No caso algebrico, temos o Teorema Fundamental da Teoria de Galois,
que nos fornece uma correspondencia entre subgrupos de Gal(L/K) com subcorpos de L contendo K. No caso
topol
ogico, temos uma correspondencia equivalente de subcoberturas de Y X e subgrupos de Aut(Y /X).
Alem disso, a maioria das propriedades desta correspondencia continuam validas.
Exemplo 1. Sejam X = Y = C \ {0} e seja p : Y X dado por x = p(y) = y n , para algum inteiro n > 1.
Este e um recobrimento regular de grau n e Aut(Y /X)
= Z/(n) (o grupo de automorfismos age nas fibras,
permutando-as). O gerador de Aut(Y /X) e o mapa y 7 n y (com n C sendo uma raiz primitiva n-esima
da unidade).

Vendo X e Y como a variedade algebrica A1C \{0}, entao p e o morfismo correspondente `a inclusao dos corpos
de func
oes, C(x) , C(y), dada por x 7 y n . Esta inclusao e uma extensao Galois de corpos de grau n cujo
grupo de Galois e isomorfo a Z/(n). O gerador deste grupo e dado por y 7 n y.

N
umeros p-
adicos

Seja p um n
umero primo. Dado r = a/b Q, denote v(r) = n Z, onde r = pn a0 /b0 , com p - a0 , b0 . Podemos
definir uma norma em Q pondo |r|p = 2v(p) , r Q. Dotando Q da estrutura de um espaco metrico,
induzida por esta norma, denotamos por Qp (o corpo dos n
umeros p-
adicos) o completamento de Q com
relac
ao a esta metrica. O subconjunto { Qp | ||p 1} e um anel e o denotamos por Zp (o anel dos
inteiros p-
adicos).
Na pr
atica, os elementos de Qp s
ao escritos como somas infinitas na base p
pn (a0 + a1 p + a2 p2 + ), n Z, a0 6= 0, ai {0, . . . , p 1}
e operados formalmente da maneira usual. Por exemplo, para p > 2,
(1 + p)(p2 + p3 + ) = (p2 + p3 + ) + (p3 + p4 + ) = p2 + 2p3 + 2p4 +
Na caracterizac
ao acima, os elementos de Zp sao aqueles tais que n 0. Se u Zp e tal que n = 0, ent
ao u
e unidade deste anel. Alem disso, n
ao e difcil mostrar que Spec Zp = {(0), (p)} e Zp /(p) = Fp .

O Teorema de Harbater

Finalmente, podemos apresentar o teorema sobre o qual esta apresentacao esta centrada e para o qual
indicaremos, no poster, os passos gerais da demonstracao, que utiliza uma boa dose de Geometria Algebrica.
Teorema 2 (Harbater). Todo grupo finito G e grupo de Galois de uma extens
ao de Qp (t).

Financiamento

Esta apresentac
ao faz parte de um projeto de IC, financiado pela FAPESP, cujo ttulo original e Metodos
Formais em Teoria dos N
umeros.

Refer
encias
[1] E. Tengan; An Invitation to Local Fields, notas do mini-curso apresentado no encontro Groups, Rings
and Group Rings, Ubatuba, S
ao Paulo, 2008.
[2] D. Harbater, J. Hartmann, Patching over fields, Israel Journal of Mathematics, vol. 176 (2010), 61-107.
[3] Q. Liu; Algebraic Geometry and Arithmetic Curves, Oxford University Press, 2006.