Universidad Nacional Autnoma de

Mxico
POSGRADO EN CIENCIAS
MATEMTICAS
Instituto de Matemticas
El Grupo Fundamental Algebraico y el
Grupo Absoluto de Galois
T E S I N A
QUE PARA OBTENER EL GRADO ACADMICO:
MAESTRO EN CIENCIAS
PRESENTA:
DARO ALATORRE GUZMN
DIRECTOR DE TESINA:
FRANCISCO MARMOLEJO RIVAS
2011
NDICE 2
ndice
1. Introduccin 3
2. Grupo Fundamental Topolgico 4
3. Grupo fundamental algebraico 7
3.1. Variedades Algebraicas . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.2. Un poco de lgebra Conmutativa . . . . . . . . . . . . . . . . . . . . 12
3.3. Morsmos tale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.4. Accin de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3
1. Introduccin
El grupo fundamental algebraico, como su nombre bien lo indica, es el anlogo
en geometra algebraica del bastante conocido grupo fundamental. Los elementos de
este ltimo son lazos (trayectorias cerradas), y dos de ellos son considerados el mismo
si se puede deformar continuamente uno en el otro.
Denir el grupo fundamental algebraico como un conjunto de lazos llevara a
incongruencias, por ejemplo, una curva algebraica suave denida sobre C corresponde
a una supercie de Riemann, un lazo en esta supercie tiene dimensin algebraica
1
2
, y esto no tiene sentido si no eres fsico. Para darle la vuelta a este problema uno
debe utilizar la caracterizacin del grupo fundamental topolgico como el grupo de
transformaciones de su cubriente universal.
El presente trabajo es una exposicin del grupo fundamental algebraico, condi-
mentada con un nexo al grupo absoluto de Galois. En el primer captulo daremos un
breve recorrido por el grupo fundamental topolgico y su caracterizacin previamente
mencionada. En el segundo se ofrecen (casi) todos los antecedentes para entender la
denicin del grupo en cuestin, y al nal de este se prueba que el grupo absoluto
de Galois de un campo es un cociente del grupo fundamental algebraico de cierta
variedad denida sobre el mismo campo.
4
2. Grupo Fundamental Topolgico
Denicin 2.1 Una aplicacin cubriente de un espacio topolgico X es una funcin
continua p : Y X tal que todo punto x X tiene una vecindad U que satisface:
(a) p
1
(U) = .
iI
U
i
con U
i
Y abierto.
(b) la restriccin p[
U
i
: U
i
U es un homeomorsmo para toda i I.
A X se le llama espacio base y a Y espacio total o espacio cubriente. Para cada
x, p
1
(x) es un espacio discreto al que se le conoce como bra de x. La propiedad (a)
nos asegura que la bra de cada punto es no vaca, es decir, p es suprayectiva.
Diremos que un cubriente es conexo si el espacio total lo es. En este caso las bras
p
1
(x) tienen la misma cardinalidad
1
llamada grado o multiplicidad del cubriente.
Denicin 2.2 Sea X es un espacio topolgico conexo. Un cubriente ramicado de
X es un cubriente de XD, para D algn subconjunto discreto de X.
Denicin 2.3 Denimos Cub(B) como la categora de espacios cubrientes sobre B.
Si p : X B y q : Y B son dos objetos de Cub(B) un morsmo entre ellos es una
funcin continua : X Y tal que q = p, es decir, que el siguiente diagrama
conmuta
X
p

A
A
A
A
A
A
A

Y
q
,~
~
~
~
~
~
~
B
A los objetos de Cub(B) los denotamos por (X, p) donde p : X B es un
cubriente. Esta categora contiene (bajo ciertas condiciones sobre B) un objeto (

B, p)
llamado cubriente universal. Este satisface que

B es simplemente conexo y cubre a
cualquier cubriente de B, es decir, si (X, p) es un cubriente de B entonces existe una
nica :

B X tal que el diagrama

B
p

?
?
?
?
?
?
?

X
p
,







B
1
Lema 3.4 en pgina 125 de [3].
5
conmuta.
Denotamos por Aut
B
(

B) al grupo de automorsmos del cubriente universal. Sean
Aut
B
(

B) y

b
0
p
1
(b
0
) entonces (

b
0
) p
1
(b
0
). Denimos un morsmo
: Aut
B
(

B)
top
1
(B, b
0
),
donde
top
1
(B, b
0
) denota el grupo fundamental topolgico de B basado en b
0
, de
la siguiente manera: sea

una trayectoria de

b
0
a (

b
0
) en

B dicha trayectoria se
proyecta bajo p a un lazo basado en b
0
. Entonces est dada por
() = [ p(

)]
top
1
(B, b
0
).
Como

B es simplemente conexo esta asociacin no depende de la eleccin de

. No
es difcil ver que es de hecho un isomorsmo
2
.
Denicin 2.4 Denimos G-Con como la categora de conjuntos con una accin
de G en ellos y morsmos la funciones equivariantes. Es decir, si X y Y son dos
objetos de G-Con un morsmo en la categora es una funcin f : X Y tal que
f(g x) = g f(x) para todos g G y x X.
Proposicin. 2.5 La asociacin F : Cub(B)
top
1
(B, b
0
)-Con tal que F(X) =
p
1
(b
0
) es un funtor covariante representable.
Demostracin. Sean p : X B y q : Y B objetos en Cub(B) y : X Y
un morsmo entre ellos. Entonces F(X) = p
1
(b
0
) y F(Y ) = q
1
(b
0
) y F() =
[
p
1
(b
0
)
. Consideramos 1
X
: X X el morsmo identidad de X, entonces F(1
X
) =
1
X
[
p
1
(b
0
)
= 1
p
1
(b
0
)
que es la identidad de p
1
(b
0
) como
top
1
(B, b
0
)-conjunto. Igual
de claramente se ve que el funtor aplicado a la composcin de morsmos en
Cub(B) coincide con la composicin F() F().
Para ver que F es representable, buscamos un isomorsmo natural : F(X)
Hom
B
(

B, X). Sean (X, p) un objeto en Cub(B) y (

B, p) el cubriente universal de B.
Denimos

X
: F(X, p) = p
1
(b
0
) Hom
B
(

B, X)
como (x) = f
x
:

B X donde f
x
es el nico morsmo de cubrientes tal que
f
x
(

b
0
) = x, dado por la propiedad universal de (

B, p). La misma propiedad universal
2
Corolario 7.5 en pgina 135 de [3].
6
nos asegura que si : X Y es un morsmo en Cub(B) entonces f
x
= f
(x)
, es
decir, el siguiente diagrama conmuta:
p
1
(b
0
) = F(X)
|
p
1
(b
0
)
=F()

Hom
B
(

B, X)
Hom
B
(

B,)

q
1
(b
0
) = F(Y )

Hom
B
(

B, Y )
La transformacin inversa de se dene como
1
X
: Hom
B
(

B, X) F(X) =
p
1
(b
0
) tal que
1
X
(f) = f(

b
0
). Es fcil ver que estas transformaciones dan lugar a
un isomorsmo natural.
Por ltimo si consideramos la accin de Aut
B
(

B) en

B podemos denir una accin
en Hom
B
(

B, X) como
f := f , Aut
B
(

B)

=
top
1
(B, b
0
), f :

B X
y con esto obtenemos que el funtor F en efecto va en la categora de Aut
B
(

B) =

top
1
(B, b
0
)-conjuntos.
2
El funtor F es de hecho una equivalencia de categoras. Dado un
top
1
(B, b
0
)-
conjunto S le asociamos un cubriente de B dado por el producto brado S

top
1
(B,b
0
)

B
que se dene como el cociente de S

B mdulo la relacin (s, x) (h s, hx) con la
topologa cociente.
Lo anterior se resume en un importante teorema de clasicacin de espacios
cubrientes:
Teorema 2.6 Sea B un espacio conexo, localmente conexo por trayectorias y se-
milocalmente conexo por trayectorias. Entonces F induce una equivalencia entre las
categoras
top
1
(B, b
0
)-Con y Cub(B) tal que
S S

top
1
(B,b
0
)

B y X p
1
(b
0
) := F(X).
7
3. Grupo fundamental algebraico
3.1. Variedades Algebraicas
Sea k un campo, se dene el n-espacio afn sobre k como el conjunto de n-adas
de elementos de k, es decir,
A
n
:= P = (a
1
, . . . , a
n
) : a
i
k,
a cada a
i
se le llama coordenada del punto P. Similarmente se dene el n-espacio
proyectivo como
P
n
:= (a
0
, . . . , a
n
) : a
i
k/
(a
0
,...,an)(a
0
,...,an)
con k 0.
Denicin 3.1 Sea k un campo algebraicamente cerrado y sea A
n
el espacio afn
sobre k. Pensamos a los polinomios f del anillo k[x
1
, . . . , x
n
] como funciones de eva-
luacin en A
n
. Para cada ideal L de k[x
1
, . . . , x
n
] denimos el conjunto de ceros de
Z(L) como el conjunto de puntos del espacio afn que anulan a todos los polinomios
de L, es decir
Z(L) := x A
n
: f(x) = 0, f L.
Un conjunto algebraico afn V es un subconjunto de A
n
para el cual existe un
ideal L tal que V = Z(L). Un conjunto algebraico afn es irreducible si no puede ser
expresado como la unin de dos conjuntos algebraicos propios. Una variedad afn es
un conjunto algebraico afn irreducible.
Las variedades anes estn equipadas con la llamada topologa de Zariski. En
esta topologa los conjuntos cerrados son los conjuntos algebraicos anes.
Para cada conjunto algebraico afn, el anillo de coordenadas (o anillo de estructu-
ra) de V es el cociente del anillos de polinomios k[x
1
, . . . , x
n
] sobre el ideal L tal que
V = Z(L). Un subconjunto abierto de una variedad afn se llama variedad casi-afn.
Denicin 3.2 Sean k un campo algebraicamente cerrado y P
n
el n-espacio proyec-
tivo sobre k. Sea f k[x
0
, . . . , x
n
] un polinomio homegneo de grado d. Como f es
3.1 Variedades Algebraicas 8
homogneo entonces f(x
0
, . . . , x
n
) =
d
f(x
0
, . . . , x
n
) y por lo tanto evaluar en P
n
est bien denido. Sea L un subconjunto de polinomios homogneos, denimos
Z(L) := x P
n
: f(x) = 0, f L.
Un conjunto algebraico proyectivo V es un subconjunto de P
n
para el cual existe
un ideal L tal que V = Z(L). Una variedad proyectiva es un conjunto algebraico
irreducible.
Las variedades proyectivas tambin estn equipadas con la misma topologa de
Zariski. De manera similar se dene el anillo de coordenadas, la diferencia radica
en considerar nicamente polinomios homogneos. Un subconjunto abierto de una
variedad proyectiva se llama variedad casi-proyectiva.
Denicin 3.3 Una funcin f : Y k con Y una variedad casi-afn es regular
en un punto P Y si existen una vecindad U Y de P abierta y polinomios
g, h A = k[x
1
, . . . , x
n
] del mismo grado tales que h no se anula en U y f[
U
=
g
h
.
Decimos que f es regular, si lo es en cada punto de Y .
Para variedades casi-proyectivas la denicin es la misma excepto que se pide que
los polinomios g y h sean homogneos y del mismo grado.
Las funciones regulares son continuas. Una consecuencia de esto es que si f y g
son funciones regulares en una variedad, y si f = g en algn abierto U X entonces
f = g en X. Esto sucede ya que el conjunto de puntos donde f g = 0 es cerrado y
denso, por lo tanto coincide con X.
Cuando hablemos de variedades estamos suponiendo que es alguna de las ante-
riores (afn, casi-afn, proyectiva o casi-proyectiva).
Denicin 3.4 Sean X y Y dos variedades, un morsmo regular : X Y es
una funcin continua tal que para cualquier abierto V Y y para cualquier funcin
regular f : V k, la funcin f :
1
(V ) k es regular.
Denir una variedad sobre un campo propiamente contenido en su cerradura
algebraica como en la Denicin 3.1 tiene sus complicaciones, como veremos a conti-
nuacin.
3.1 Variedades Algebraicas 9
Ejemplo 3.5 El polinomio f(x) = x
2
+ y
2
+ 1 dene una curva V (f)
C
metida en
A
2
C
que no tiene puntos con coordenadas en R. Sin embargo el anillo de coordenadas
R[x, y]/x
2
+y
2
+1) no es trivial, y al tomar el producto tensorial con C obtenemos el
anillo O(V (f)
C
) (ver siguiente denicin) cuyos ideales maximales estn en biyeccin
con los puntos de V (f)
C
.
Este problema se soluciona dando una denicin alternativa de variedad que
utiliza gavillas, y que explicaremos en los siguientes prrafos.
Denicin 3.6 Sea X una variedad. Denimos O(X) como el anillo de todas la
funciones regulares en X y el campo de funciones K(X) es el campo de fracciones
del anillo O(X). Si x X, denimos el anillo local O
X,x
(o simplemente O
x
, si en el
contexto no causa confusin) de x en X, como el subanillo de K(X) que consiste de
grmenes de funciones regulares en X alrededor de x. Es decir, un elemento de O
x
es
un par U, f) donde U X es una vecindad abierta de x y f es una funcin regular
en U. Identicamos dos pares U, f) y V, g) si f = g en una vecindad contenida en
U V .
Notamos que O
x
es en efecto un anillo local. Su ideal maximal m
x
es el conjunto
de grmenes de funciones regulares que se anulan en x, ya que si f(x) ,= 0 entonces
1
f
es regular en alguna vecindad de x. Adems, O
x
coincide con la localizacin de O(X)
en m
x
.
Para cualquier abierto U X denimos el anillo de funciones regulares en U por
O
X
(U) =

xU
O
x
K(X).
Denicin 3.7 Una pregavilla F en un espacio X es una manera de asignar a cada
U X abierto, un anillo F(U) y morsmos

UV
: F(U) F(V ) siempre que V U,
que satisfacen:
F() = 0,

UU
= 1
F(U)
, y
3.1 Variedades Algebraicas 10

UW
=
V W

UV
, es decir, que el siguiente diagrama conmuta
F(U)

UV

UW

H
H
H
H
H
H
H
H
H
F(V )

V W
v
v
v
v
v
v
v
v
v
F(W)
siempre que W V U.
A los elementos de F(U) se les llama secciones y a los de F(X) secciones globales.
En lenguaje categrico, si Top(X) es la categora cuyos objetos son los abiertos
de X y los nicos morsmos son inclusiones, en este caso
Hom(V, U) =

si V , U
i : V U si V U.
Una pregavilla es un funtor contravariante
F : Top(X) Anillos.
Comnmente escribiremos s[
V
:=
UV
(s) para s F(U).
Denicin 3.8 Una gavilla es una pregavilla que satisface las siguientes condiciones
de compatibilidad:
Sean U X abierto y U
i
una cubierta abierta de U. Sea s F(U) tal que
s[
U
i
= 0 para toda i, entonces s = 0.
Sean U X abierto y U
i
una cubierta abierta de U. Si existen elementos
s
i
F(U
i
) tales que s
i
[
U
i
U
j
= s
j
[
U
i
U
j
para todas i, j, entonces existe s F(U)
tal que s[
U
i
= s
i
.
Si X es una variedad sobre un campo k algebraicamente cerrado entonces O
X
(_)
con
UV
la restriccin usual a V U es una pregavilla. No es difcil probar que es de
hecho una gavilla.
3.1 Variedades Algebraicas 11
Denicin 3.9 Un morsmo de gavillas : F G consiste de una familia de
morsmos
U
: F(U) G(U) con U X abierto, tal que el diagrama
F(U)

UV

G(U)

UV

F(V )

G(V )
conmuta para V U abierto.
Denicin 3.10 Una variedad afn sobre un campo k es un par (X, O
X
) donde X
es un conjunto de races en k
n
de un ideal radical I k[x
1
, . . . , x
n
] y O
X
es la gavilla
de funciones regulares en X, es decir, funciones localmente racionales.
Una variedad es un par (Y, O
Y
) donde Y es un espacio topolgico y O
Y
una gavilla
de k-lgebras tal que para cada y Y existe una vecindad abierta U de y tal que
(Y, O
Y
[
U
) es isomorfo a una variedad an.
Un morsmo entre variedades f : (X, O
X
) (Y, O
Y
) es una funcin continua
f : X Y tal que f

O
Y

= O
X
, donde f

es el producto brado de gavillas.

La relacin entre las dos deniciones de variedad algebraica sobre el campo k
presentadas en esta seccin nace de considerar un anillo A k y asociarle el espacio
topolgico X := Spec(A) cuyos puntos son los ideales primos de A, y los abiertos
son X y aquellos conjuntos que no contengan a un ideal I < A dado. Distinguimos a
los puntos que corresponden a ideales maximales de A, a estos les llamaremos puntos
geomtricos. La teora de esquemas est basada en esta idea.
Dada una variedad X denida sobre k se puede extender a una variedad denida
sobre una extensin K k extendiendo el campo de denicin de las cartas anes
a K. Esto se traduce en aumentar puntos (soluciones de las ecuaciones que denen
la variedad) y convertir las k-lgebras en K-lgebras. Denotaremos por X(K) al
conjunto de puntos de X con coordenadas en K y por X
K
a la variedad sobre K
denida por X. Cuando K =

k denotaremos por

X = X
k
. Por ejemplo si X =
Spec(A) entonces el conjunto de puntos geomtricos es X(K) = Hom
kalg
(A; K)
y X
K
= Spec(A
k
K). En general, X(K) es slo un conjunto, pero si K = C
comnmente se equipa a X(C) con la topologa compleja usual.
Denicin 3.11 Un espacio anillado, es un par (X, F) donde X es un espacio topo-
lgico y F una gavilla de anillos sobre X.
3.2 Un poco de lgebra Conmutativa 12
Denicin 3.12 Un morsmo entre espacios anillados (X, F) (Y, G) es un par
(,
#
), donde : X Y es una funcin continua y
#
: G

F un morsmo de
gavillas en X. La gavilla

F se llama el coproducto brado de F por y se dene

como

F(U) = F(
1
(U)) para cada U X.
Esto signica que un morsmo de variedades X Y es una funcin continua
: X Y entre los espacios topolgicos subyacentes y una asociacin tal que de
cada funcin regular f O
Y
(U) con U Y abierto se obtiene la funcin regular

#
U
(f) O
X
(
1
(U)). Podemos pensar a
#
U
(f) como la composicin f .
Teorema 3.13 Las asociaciones A Spec(A), Spec() y X O(X),
#
X
son funtores contravariantes inversos, entre las categoras de variedades anes sobre
k y k-lgebras nitamente generadas y reducidas.
La prueba de este teorema se puede ver en [2] Proposicin II.2.3 (Ver tambin
Proposiciones 4.2.10 y 4.3.6 en pginas 109 y 115 de [8], respectivamente).
Ejemplo 3.14 Retomemos la curva X denida por x
2
+ y
2
+ 1 = 0 sobre R. Por
denicin X := Spec(A := R[x, y]/x
2
+y
2
+1)) y X
C
= Spec(A
R
C). Por el teorema
anterior existe un morsmo, llamado cambio de base X
C
X correspondiente a
a A a 1 A
R
C. Los puntos geomtricos de X corresponden a los ideales
maximales de R[x, y] que contienen a x
2
+y
2
+1). Dado un ideal M de este tipo, debe
suceder que el anillo de coordenadas R[x, y]/M

= C, ya que sta es una extensin
propia -pues X no tiene puntos sobre R- y nita de R y por lo tanto debe coincidir
con C. Adems el morsmo cambio de base X
C
X es 2-1 en puntos geomtricos:
consideramos el ideal maximal M = x, y
2
+ 1) < R[x, y] que contiene al ideal x
2
+
y
2
+ 1) y por lo tanto dene un punto geomtrico de X. Los dos puntos geomtricos
de X
C
que bajo el morsmo cambio de base van a dar al punto de X en cuestin, son
los correspondientes a los ideales maximales x, y +i) y x, y i) de C[x, y].
3.2. Un poco de lgebra Conmutativa
Las pruebas de los resultados presentados en esta parte se pueden encontrar en
la seccin 4.1 de [8].
3.2 Un poco de lgebra Conmutativa 13
Tomemos una extensin de anillos A B, decimos que b B es entero sobre
A si es una raiz de un polinomio mnico en A[x]. La cerradura entera de A en B
consiste de todos los elementos de B enteros sobre A; si esta coincide con B decimos
que la extensin es entera. Por ltimo, decimos que A es cerrado por enteros en B si
es igual a su cerradura entera. Cuando A es un dominio entero cerrado por enteros,
sin especicar en qu extensin, signica que es cerrado por enteros en su campo de
fracciones.
Sea A B una extensin de dominios enteros cerrados por enteros tales que la
extensin inducida de campos de fracciones K L es Galois, con grupo de Galois
nito G. Como todos los elementos de B son races de polinomios mnicos, una torre
de extensiones enteras es entera y B es la cerradura entera de A en L entonces B es
estable bajo la accin de G en L. Sea P A un ideal maximal, sea S
P
el conjunto
de ideales maximales Q B tales que
3
P = Q A. El grupo G acta en el conjunto
nito
4
S
P
pues para todos G y Q S
P
, (Q) S
P
.
Sean Q S
P
y D
Q
el estabilizador de Q bajo la accin anterior. Para cada
D
Q
en B esta accin induce un automorsmo de (Q) := B/Q que deja jos
todos los elementos de (P) := A/P.
P


_

A


_

(P)

(Q)

B

(Q)
Adems es un morsmo D
Q
Gal((Q)/(P)) cuyo ncleo I
Q
se llama
subgrupo de inercia en Q.
Usaremos los siguientes hechos que se pueden encontrar en 4.1.3 [8]: Si Q

, Q
S
P
entonces D
Q
y D
Q
, de igual manera I
Q
e I
Q
son conjugados. Si la extensin
(P) (Q) es separable, entonces es Galois y
D
Q
/I
Q

= Gal((Q)/(P)).
Por ltimo, si el orden I
Q
es primo a la caracterstica de (P) entonces I
Q
es cclico.
3
Ver 4.1.1(4) [8]
4
Ver 4.1.1(1) [8]
3.3 Morsmos tale 14
Un dominio entero es un anillo de Dedekind si es noetheriano (i.e. todos sus
ideales son nitamente generados), es cerrado por enteros y todos sus ideales primos
no triviales son ideales maximales. Los anillos de Dedekind tienen la propiedad que
cualquier ideal se descompone de manera nica como producto de potencias de ideales
primos. Adems la localizacin A
P
es un dominio de ideales principales cuando P es
primo.
Proposicin. 3.15 Sea A una anillo de Dedekind con campo de fracciones K y sea
B la cerradura entera de A en una extensin nita y separable K L. Si P A es
un ideal primo no trivial y PB = Q
e
1
1
Q
er
r
(los e
i
se llaman ndices de ramicacin)
en B entonces
r

i=1
e
i
[(Q
i
) : (P)] = [L : K].
Corolario. 3.16 Sea A B una extensin entera de anillos de Dedekind tales que
la extensin inducida de campos de fracciones es Galois con grupo G y sea P un ideal
maximal de A. Supongamos que las extensiones (P) (Q
i
) son separables para
todo Q
i
S
P
. Entonces lo ndices de ramicacin e
i
son todos iguales al orden del
grupo I
Q
1
.
3.3. Morsmos tale
Una A-lgebra B es nita si es nitamente generada como A-mdulo. Esto es
equivalente que que B sea nitamente generada como A-lgebra y entera sobre A.
Una variedad V sobre k es afn si y slo si O(V ) es una k-lgebra afn
5
(nitamente
generada y reducida).
Denicin 3.17 Una k-lgebra de dimesin nita A es tale (sobre k) si es isomorfa
a un producto directo nito de extensiones separables de k.
Denicin 3.18 Un morsmo entre variedades : X Y es nito si O(Y ) tiene
estructura de O(X)-mdulo nitamente generado va el morsmo

: O(Y ) O(X)
tal que

(f) = f , es decir, la accin est dada por (f, g) (f ) g que

corresponde a la multiplicacin en el anillo O(X).
5
Proposicin 4.2.10 en pgina 109 de [8].
3.3 Morsmos tale 15
Lema. 3.19 Si : X Y es un morsmo entre variedades anes entonces las bras

1
(y) son nitas.
Demostracin. Sean y Y y m
y
su correspondiente ideal maximal. Tenemos que
x
1
(y) si y slo si (

)
1
(m
x
) = m
y
si y slo si

(m
y
) m
x
. Los puntos en la
bra de y estn en biyeccin con los ideales maximales de O(X)/m
y
O(X) ya que la
proyeccin cociente induce la inclusin de variedades
Spec() : Spec(O(X)/m
y
O(X)) X
y por el teorema de correspondencia, si I O(X)/m
y
O(X) es un ideal primo entonces
existe

I m
y
O(X) un ideal primo de O(X) cuyos elementos se anulan en la bra de
y.
La k-lgebra O(X)/m
y
O(X) es de dimensin nita, pues para generarla basta
tomar la imagen de un conjunto generador de O(X) como O(Y )-mdulo. Basta en-
tonces ver que una k-lgebra A de dimensin nita tiene un nmero nito de ideales
maximales. Sean m
1
, . . . , m
n
ideales maximales y por lo tanto coprimos dos a dos.
Existe entonces un epimorsmo
A A/m
1
. . . A/m
n
y por lo tanto dim
k
(A)

m
i=1
dim
k
(A/m
i
) n.
2
Denicin 3.20 Un morsmo nito : X Y es separable si la extensin de
campos K(Y ) K(X) es separable.
Denicin 3.21 Sea : X Y un morsmo separable nito entre variedades. En
vista del Teorema 3.13, este corresponde a la inclusin O(Y ) O(X). Decimos que el
morsmo es tale en y Y si O(X)/m
y
O(X) es una (y)-lgebra tale nita, donde
(y) := O
y
/m
y
. Decimos que es tale sobre el abierto U si lo es para todo punto de
U.
Agregando hiptesis a las variedades a considerar podemos obtener deniciones
equivalentes de morsmos tale. Por ejemplo, si X y Y son normales
6
obtenemos una
6
Un punto de una variedad es normal si su anillo local es cerrado por enteros. Toda variedad no
singular es normal.
3.3 Morsmos tale 16
descomposicin m
y
O(X) = M
e
1
1
M
er
r
. Los ideales maximales M
i
O(X) corres-
ponden a sumandos directos de la (y)-lgebra O(X)/m
y
O(X) y geomtricamente
a puntos y
i
en la bra
1
(y). Si es tale entonces e
i
= 1 y (y) (x
i
) :=
O(X)/M
i
= O(X)/m
x
i
son extensiones separables. Esto se resume en el siguiente
lema (4.5.2 en [8]).
Lema. 3.22 Un morsmo : X Y de curvas normales anes es tale sobre y si
y slo si un generador de m
y
genera a M
i
para cada i y las extensiones (y) (x
i
)
son separables.
Ejemplo 3.23 Consideramos la funcin
n
: A
1
C
A
1
C
tal que
n
(x) = x
n
, con
n > 0. El anillo de coordenadas de A
1
C
sobre C es C[x] y el morsmo de anillos
correspondiente a
n
es la inclusin C[x
n
] C[x]. Un punto geomtrico a A
1
(C)
corresponde al ideal maximal m
a
= xa). Veamos dnde
n
es tale: sea una raz
n-sima primitiva de 1, entonces
C[x]/x
n
a)C[x]

=

n1
i=0
C[x]/x
i n

a)

= C
n
si a ,= 0
C[x]/x
n
) si a = 0.
El primer caso s es un lgebra nita y tale de dimensin n sobre C. El segundo es
una C-lgebra que tiene nilpotentes y por lo tanto no puede ser tale. Las funciones
nilpotentes en la bra de 0 reejan la propiedad de que la bra sea degenerada.
Lema. 3.24 Sean : X Y y : Y Z morsmos nitos separables entre curvas
anes y sea z Z. Si es tale sobre z y es tale sobre todos los puntos en la bra
de z entonces es tale sobre z. Si X, Y y Z son normales entonces tambin es
cierto el recproco.
Demostracin. Los morsmos y se obtienen aplicando el funtor del Teorema
3.13 a las inclusiones de anillos O(Z) O(Y ) O(X). Sabemos que O(X)/m
z
O(X)
es el anillo de coordenadas de ( )
1
(z) =: F, subvariedad de X. Consideramos el
siguiente producto brado y su equivalente algebraico
X
Z
F

O(Z)

O(X)

F

Z
O(X)/m
z
O(X)

=

O(X)
O(Z)
(z)
3.3 Morsmos tale 17
del cual obtenemos
O(X)/m
z
O(X)

= O(X)
O(Z)
(z)

= O(X)
O(Y )
(O(Y )
O(Z)
(z)), (1)
donde el primer isomorsmo se tiene por el diagrama anterior, y el segundo constru-
yendo el mismo diagrama con paso intermedio en Y .
Por hiptesis O(Y )
O(Z)
(z) es isomorfo al producto directo de campos residuales
(y), donde y corre sobre todos los puntos de Y en la bra de z bajo . Entonces
O(X)/m
z
O(X)

=

y
1
(z)
O(X)
O(Y )
(y)
y nuevamente por hiptesis cada factor es producto directo de extensiones nitas
separables de (y), con lo que tenemos la ida.
Supongamos ahora que la composicin es tale y que X, Y y Z son normales.
Por Lema 3.22 el morsmo es tale si y slo si las extensiones (z) (x) son
separables para cada x en la bra de z, y adems la suma de los grados [(x) : (z)]
coincide con [K(X) : K(Z)]. Usando 1 y la cuenta de los grados notamos que si
alguna de las dos propiedades necesarias y sucientes para que un morsmo sea tale
falla para entonces falla tambin para . De la misma manera se prueba que
tambin es tale.
2
Supongamos que : X Y es un morsmo de curvas anes normales sobre
C, dotamos a X y Y con estructuras complejas. Sea y Y un punto geomtrico y
consideramos la descomposicin m
y
O(X) = M
e
1
1
M
er
r
. Entonces e
i
corresponde al
ndice de ramicacin en x
i
de como funcin holomorfa. En particular, es tale
si y slo si, como funcin holomorfa se restringe a un cubriente en alguna vecindad
compleja de x (Ver 4.5.6 en [8]).
Siguiendo con esta analoga, es sabido que una funcin holomorfa entre supercies
de Riemann se restringe a un cubriente en la supercie dominio menos un conjunto
discreto. Algebraicamente esto signica que para un morsmo : X Y nito entre
curvas anes existe un abierto U X tal que es tale en U.
A un morsmo de este tipo le llamaremos cubriente nito ramicado. Diremos
que es un cubriente ramicado de Galois si la extensin K(Y ) K(X) es de Galois.
El grupo de Galois acta transitivamente en las bras de cuando las curvas X y Y
son normales.
3.3 Morsmos tale 18
Proposicin. 3.25 Sea : X Y un cubriente ramicado nito de Galois entre
curvas normales anes denidas sobre un campo perfecto k. El morsmo es tales
sobre y Y si y slo si los subgrupos de inercia I
x
i
son triviales para todos los puntos
x
i
en la bra de y.
Esta proposicin se puede generalizar a extensiones no nitas de la siguiente
manera. Sea K
s
una cerradura separable de K(Y ), consideramos una torre innita
K
1
K
2
. . . de extensiones nitas de Galois de K(Y ) cuya unin es K
s
. Sea A
j
la
cerradura entera de A := O(Y ) en K
j
, y P
j
un ideal maximal de A
j
tal que P
j
O(X) =
P y P
j+1
A
j
= P
j
para toda j. Los respectivos subgrupos de inercia I
j
forman un
sistema inverso cuyo lmite inverso I
P
es un subgrupo cerrado de Gal(K
s
/K(Y )).
El lmite depende de la eleccin del sistema inverso, pero est bien denido salvo
conjugacin.
Corolario. 3.26 Sea : X Y como en la proposicin anterior, y supongamos que
K(X) K
s
. Entonces X es tale sobre y Y si y slo si la imagen del subgrupo de
inercia I
P
denido arriba es trivial en Gal(K(X)/K(Y )).
Demostracin. Escogemos j de tal manera que K(X) K
j
y denimos Q :=
P
j
O(X). Entonces el grupo de inercia en Q es por construccin la imagen de I
P
en
Gal(K(X)/K(Y )), de manera que el resultado se sigue de la proposicin anterior.
2
Proposicin. 3.27 Sean k un campo perfecto, X una k-curva propia normal con
campo de funciones K, y U X abierto. Sea K
s
una cerradura separable de K. El
compuesto K
U
de todas las subextensiones nitas K L de K
s
tales que el morsmo
correspondiente de curvas normales es tale sobre U, es una extensin de Galois sobre
K, y toda subextensin nita de K K
U
proviene de una curva tale sobre U.
Demostracin. Para ver que K
U
es Galois sobre K, basta ver que es invariante bajo
la accin del grupo absoluto de Galois de K, que denotaremos por . Esto sucede pues,
dados y : X
L
X
K
un morsmo tale sobre U, el morsmo

: X
L
X
K
correspondiente a la extensin de campos K (L) := L

es tale pues L

es isomorfo
a L.
3.3 Morsmos tale 19
L

X
L

D
D
D
D
D
D
D
D
X
L

y
y
y
y
y
y
y
y
K
O /
?
?
?
?
?
?
?
?
/

~
~
~
~
~
~
~
~
X
K
Para ver que toda subextensin nita de K K
U
proviene de una curva tale
sobre U basta ver dos cosas:
Si una subextensin K L proviene de una curva tale sobre U entonces as
sucede para cualquier subextensin K L

L.
Si K M es otra subextensin nita correspondiente a una curva tale sobre
U entonces tambin pasa as para el campo compuesto LM en K
s
.
La primera propiedad se sigue del Lema 3.24. sta y el siguiente diagrama im-
plican que baste probar la segunda propiedad para extensiones Galois en las que
podemos usar el criterio del Corolario 3.26.
K
s

LM
D
D
D
D
D
D
D
D
|
|
|
|
|
|
|
|

L LM
{
{
{
{
{
{
{
{
D
D
D
D
D
D
D
D

M
L
C
C
C
C
C
C
C
C
M
y
y
y
y
y
y
y
y
K
En este caso

L denota la cerradura normal de L sobre K.
Sean y Y e I
LM
y
Gal(K
s
/LM) el subgrupo de inercia construido en la
discusin previa al Corolario 3.26. Consideramos el isomorsmo
Gal(K
s
/LM)

= Gal(K
s
/M) Gal(K
s
/L),
3.3 Morsmos tale 20
y denotamos por J
L
y
e J
M
y
las imgenes de I
LM
y
bajo las inclusiones de Gal(K
s
/LM)
en Gal(K
s
/L) y Gal(K
s
/M). Estos grupos son subgrupos de los subgrupos de inercia
I
L
y
e I
M
y
, respectivamente.
Como X
M
X
K
y X
L
X
K
son tale, las imgenes bajo las proyecciones
cannicas de I
M
y
e I
L
y
son triviales en Gal(M/K) y Gal(L/K), respectivamente. Como
la imagen bajo la proyeccin cannica de I
LM
y
en Gal(LM/K) est metida tanto en
Gal(L/K) como en Gal(M/K) entonces sta debe ser trivial, y por Corolario 3.26
concluimos que X
LM
X
K
es tale.
2
Denicin 3.28 Se dene el grupo fundamental algebraico
alg
1
(U) de U como el
grupo de Galois Gal(K
U
/K).
La idea de la caracterizacin de los cubrientes topolgicos radica en la existencia
del objeto universal. Sin embargo este objeto en el caso algebraico no es tan sencillo.
Por ejemplo si A
1
es la recta afn sobre un campo k algebricamente cerrado y de
caracterstica cero. Entonces los cubrientes tale nitos de A
1
0 son las funciones
f : A
1
0 A
1
0 de la forma f(t) = t
n
, y no existe uno de ellos que sea
el mayor de todos. En el caso topolgico, con k = C, el cubriente universal es la
funcin exponencial exp: C C 0 que no tiene un anlogo algebraico. Esto se
puede arreglar con la siguiente construccin:
Sea V U un morsmo tale nito entre curvas normales anes. Sea

A la
cerradura entera de A := O(U) en K
U
. Para la subextensin nita K(V ) de K(U)
K
U
correspondiente al morsmo tale nito V U tenemos que O(V ) =

A K(V ),
y para cada ideal maximal m

A la interseccin m O(V ) es un ideal maximal de
O(V ) y por lo tanto un punto geomtrico de V . La k-lgebra

A no es nitamente
generada pero es la unin k-lgebras nitamente generadas O(V ). El conjunto de
ideales maximales

U de

A es el lmite de un sistema inverso formado por los ideales
maximales de cada O(V ). Podemos dotar a

U con la topologa del lmite inverso y
denir una gavilla O

U
, dado un ideal maximal m
u


A denimos el anillo local O

U, u
del punto u como la localizacin de

A en el ideal maximal m
u
, y para un abierto

D

U se dene
O

U
(

D) =

x

D
O

U, x
La pro-curva

U est equipada con una accin natural de
alg
1
(U), y lo llamaremos
cubriente tale universal.
3.4 Accin de Galois 21
En el ejemplo anterior

U es la curva denida por la familia f(x) = x
n

nZ
y los ndices n Z estn parcialmente ordenados por la divisin. Denotamos por
X
n
A
1
0 a estos cubrientes tale, entonces
Aut
A
1
{0}
(X
n
) =
n
(k),
donde
n
(k) denota el grupo de races n-simas de la unidad en k, y si
n
(k)
acta por x x entonces

1
(A
1
0, x) = lm
n

n
(k)

=

Z.
El ltimo isomorsmo se dene escogiendo un sistema compatible de isomorsmos
Z/nZ
n
(k), que es equivalente a escoger races n-simas
n
de 1 para cada n tales
que
m
mn
=
n
para todas m, n > 0.
La caracterizacin de los cubrientes tale se puede hacer ahora anloga a la ca-
racterizacin de los cubrientes topolgicos.
Teorema 3.29 Sean Y una curva entera propia normal sobre un campo perfecto k
y U Y un abierto no vaco. La categora de curvas propias normales X con un
morsmo nito separable : X Y tale sobre U es equivalente a la categora de

alg
1
(U)-conjuntos nitos continuos.
3.4. Accin de Galois
Sea X una curva entera propia normal sobre un campo perfecto k. Sea K el
campo de funciones de X. Supongamos que K
k

k es un campo, entonces debe ser
el campo de funciones del cambio de base X
k
de X a la cerradura algebraica

k de k,
al igual que de U
k
para U X abierto.
Sea K
s
una cerradura separable de K que contenga a

k. El campo K
k

k coincide
con el compuesto K

k en K
s
. Este campo es tambin el campo compuesto en K
s
de
los campos de funciones de todos los cambios de base X
L
con k L K
s
nita.
Los morsmos X
L
X son tale: sea x X y consideramos la descomposicin
m
x
O(X
L
) = m
x
1
m
xm
, donde x
1
, . . . , x
m
son los puntos en la bra de x, como en el
Lema 3.22 y la discusin posterior, entonces por teorema chino del residuo tenemos
que
O(X
L
)/m
x
O(X
L
)

= O(X
L
)/m
x
1
O(X
L
)/m
xm

= (x
1
) (x
m
)
3.4 Accin de Galois 22
y (x) (x
i
) son extensiones separables pues estn metidas en K
s
.
Entonces K

k K
U
K
s
para cualquier abierto U X y para cada extensin
nita L de k, como existe un biyeccin entre estas extensiones y las extensiones nitas
K(X
L
) de k(X) = K,
Gal(K(X
L
)/k(X))

= Gal(L/k)
donde K(X
L
) es el campo de funciones de X
L
y k(X) el de X. Siendo K

k el campo
de funciones de X
k
y K = k(X) tenemos que
Gal(K

k/K)

= Gal(

k/k).
Esto quiere decir que el grupo absoluto de Galois Gal(

k/k) es un cociente de
alg
1
(U)
para todo abierto U X.
Teorema 3.30 Bajo las hiptesis de la discusin previa, existe una sucesin exacta
1
alg
1
(U
k
)
alg
1
(U) Gal(

k/k) 1.
Demostracin. Para completar la prueba basta identicar el ncleo del morsmo

alg
1
(U) Gal(K

k/K) con
alg
1
(U
k
). Un cociente nito Gde
alg
1
(U
k
) = Gal(K
U
k
/K

k)
corresponde a una extensin Galois nita K
0
de K

k, con
Gal(K
U
k
/K

k)
Gal(K
U
k
/K
0
)

= Gal(K
0
/K

k) = G,
la cual es el campo de funciones de un cubriente nito ramicado de Galois Y
0
X
k
tale sobre U
k
. Sea f (K

k)[t] algn polinomio mnimo para esta extensin. Sea

L una subextensin nita de k

k tal que los coecientes de f estn en KL y
la extensin nita L
0
KL denida por f es Galois con grupo G. Notamos que
K
0
= L
0

k, adems L
0
es el campo de funciones de un cubriente ramicado Y X
L
de manera que Y
k

= Y
0
, ya que al tomar el cambio de base Y
k
X
k
de Y X
L
,
Y
k
tiene campo de funciones L
0

k = K
0
al igual que Y
0
. Como Y

= Y
0
es tale sobre
U
k
y X
k
es tale sobre X
L
entonces Y es tale sobre U
L
, ms an X
L
X es tale
nito entonces Y X
L
X es tale nito sobre U y por lo tanto L
0
K
U
. Por
construccin tenemos que L
0
K

k = KL entonces
Gal(L
0

k/K

k) = Gal(L
0
K

k/K

k)

= Gal(L
0
/KL) = G,
REFERENCIAS 23
donde el primer isomorsmo (igualdad) se tiene porque K L
0
y el segundo por el
teorema de las irracionalidades naturales. Adems
G = Gal(K
0
/K

k)

=
Gal(K
U
/K

k)
Gal(K
U
/K
0
)
es decir, G es un cociente de Gal(K
U
/K

k) que es el ncleo del morsmo

alg
1
(U) = Gal(K
U
/K) Gal(K

k/K) = Gal(

k/k).
Por otro lado, como L
0
K
U
entonces tambin L
0

k K
U
, y variando G sobre
todos los cocientes nitos de
alg
1
(U
k
) tenemos que K
U
K
U
k
pues este ltimo es el
compuesto de campos contenidos en K
U
. Existe entonces un epimorsmo
Gal(K
U
/K

k) Gal(K
U
k
/K

k) =
alg
1
(U
k
).
Esto quiere decir que para cualquier cociente nito G de
alg
1
(U
k
) podemos en-
contrar un cociente nito de Gal(K
U
/K

k) cuya imagen bajo el epimorsmo anterior

es G, esto prueba que dicho epimorsmo es en realidad un isomorsmo.
2
Referencias
[1] Forster, O. - Lectures on Riemann Surfaces, Springer Verlag, 1991.
[2] Hartshorne, R. Algebraic Geometry, Springer 1977.
[3] Massey, W. -Algebraic Topology: An introduction, Springer Verlag, 1977.
[4] Milne, J., Lectures on Etale Cohomology, 2008, disponible en
www.jmilne.org/math/.
[5] Morandi, P. - Field and Galois Theory, Springer Verlag, 1996.
[6] Oort, F. - The Algebraic Fundamental Group. En L. Schneps and P. Lochak
editors Geometric Galois Actions 1, 67-84. London Mathematical Society, 1997.
[7] Shafarevich, I.Basic Algebraic Geometry, Springer Verlag 1974.
[8] Szamuely, T. Galois Groups and Fundamental Groups, Cambridge studies in
advanced mathematics, No. 117, 2009.