Jean Pierre Serre

LA GACETA 211
LAS MEDALLAS FIELDS

Secci on a cargo de
Adolfo Quir os Gracian
Jean-Pierre Serre,
medalla Fields
por
Pilar Bayer
Cuando Jean-Pierre Serre fue galardonado con la medalla Fields en el In-
ternational Congress of Mathematicians, celebrado en Amsterdam en 1954,
sus primeras contribuciones en topologa algebraica y en geometra algebraica
reejaban s olo el inicio de una carrera matem atica extraordinaria. Muchos de
sus trabajos en topologa algebraica, geometra algebraica, algebra, grupos y
algebras de Lie, y teora de n umeros son hoy referencia habitual en la pro-
ducci on cientca. Da a da, y a lo largo de 50 a nos, Jean-Pierre Serre se ha
acreditado como un maestro.
Jean-Pierre Serre
Entre las caractersticas de la producci on ma-
tem atica de Serre destacamos la profundidad de su
pensamiento, la elegancia de sus razonamientos, as
como su bella manera de escribir. Estudiar una me-
moria o un libro de Serre es siempre un placer; releer-
los, una necesidad. La amplia visi on que Serre posee
de la matem atica, sus resultados, sus conjeturas, sus
preguntas, as como la inestimable ayuda brindada
a los matem aticos en tantas ocasiones, han cristali-
zado en algunos de los logros m as espectaculares de
la matem atica de los ultimos a nos.
Sintetizar el quehacer de Serre en pocas p aginas
es pr acticamente imposible. No todos sus resultados
van a ser mencionados en este escrito, por lo que
pido disculpas de antemano. Dicho esto, no quisiera concluir la introducci on sin
expresar mi agradecimiento al consejo de redacci on de La Gaceta por haberme
conado tan estimulante encargo.
212 LAS MEDALLAS FIELDS
PERFIL BIOGR
AFICO
Jean-Pierre Serre naci o el 15 de septiembre de 1926, en Bages (Pirineos
Orientales), un pueblecito del Rosell on en el que su padre, Jean, y su ma-
dre, Adèle, regentaban una farmacia. Cuenta el propio Serre que su temprana
aci on por las matem aticas se vio favorecida por el estudio de un libro de
c alculo guardado celosamente por su madre desde sus a nos universitarios, en
Montpellier.
De 1945 a 1948, Serre estudia en la

Ecole Normale Superieure de Pars.
Concluida su graduaci on en matem aticas, conoce a Henri Cartan y participa
en su recien creado seminario; la colaboraci on de Serre en el Seminaire Cartan
se extendera a lo largo de quince a nos. En 1951 Serre deende su tesis doctoral
en la Sorbonne. La tesis se vera publicada en Annals of Mathematics, aquel
mismo a no.
En 1954, Jean-Pierre Serre y Kunihiko Kodaira reciban la medalla Fields
de manos de Hermann Weyl. Era la tercera ocasi on en que se concedan tales
condecoraciones. Serre contaba 27 a nos. En su laudatio a los recipiendarios,
Weyl dijo que Kodaira es un matem atico joven, seg un la denici on por la
cual un matem atico joven es aquel que no ha cumplido los 40 a nos, mien-
tras que Serre es un matem atico joven, con independencia de la denici on
adoptada!.
Cuando en 1955 Serre present o su candidatura a la plaza de Professeur
del Collège de France (c atedra de Algèbre et Geometrie), tena en su haber 30
artculos de investigaci on publicados, haba realizado seis exposiciones en el
Seminaire Bourbaki y estaba en posesi on de la medalla Fields.
Hasta el momento presente, la editorial Springer ha publicado cuatro
vol umenes de la obra de Serre [uvres I-II-III (1986); IV (2000)], que com-
prenden 173 de sus artculos, anotados por el propio Serre. Adem as, Serre es
autor de una docena de libros, la mayora de los cuales han conocido numerosas
ediciones y/o traducciones.
En las secciones siguientes, una acotaci on de la forma [131(1984)] har a
referencia al artculo 131 de las uvres, publicado en 1984. Cuando mencio-
nemos un curso de Serre, se tratar a de un curso impartido en el Collège de
France, salvo indicaci on expresa de lo contrario. El nombre de un autor seguido
de una fecha denotar a una publicaci on.
PRIMERA ETAPA: LA TESIS
El notable desarrollo experimentado por el c alculo tensorial, la geometra
riemanniana y la teora de los grupos continuos de transformaciones favoreci o
en las primeras decadas del siglo XX la aparici on de relevantes interacciones
entre geometra, an alisis y topologa. Los libros de H. Seifert y W. Threlfall
(1934, 1939) eran referencia obligada, tanto en el estudio de la topologa como
en el del c alculo de variaciones; los libros de A. Weil (1946, 1948) proponan
LA GACETA 213
una base para la geometra algebraica a partir de la noci on de variedad e
iniciaban un estudio sistem atico de las variedades abelianas; W. V. D. Hodge y
H. Weyl probaban que toda forma diferencial cerrada es hom ologa a una forma
arm onica; y la tesis de G. de Rham preparaba el camino para la teora de haces,
que nacera con J. Leray (1950). En 1950, L. Schwartz reciba la medalla Fields
por su teora de distribuciones.
En la decada de los cincuenta, Serre escribe sus primeros artculos, cola-
bora en publicaciones con H. Cartan, A. Borel y G. P. Hochschild, y prepara
su tesis doctoral como alumno de Henri Cartan. En una publicaci on inicial,
Serre y Borel [2(1950)] demostraron la imposibilidad de brar un espacio
euclidiano mediante bras compactas.
La tesis de Serre, titulada Homologie singulière des espaces bres. Ap-
plications [9(1951), 4(1950), 5(1951), 6(1951)], tena por objetivo inicial la
obtenci on de los grupos de cohomologa singular de los complejos de Eilenberg-
MacLane por medio de tecnicas de espacios brados. La propiedad de elevaci on
de homotopas que Serre impone a los espacios brados conduce a la existen-
cia de una sucesi on espectral de homologa singular, an aloga a la obtenida por
J. Leray (1950) en el ambito de la teora de

Cech; una sucesi on espectral dual
existe asimismo en cohomologa. El concepto de espacio brado que Serre uti-
liza es m as general que el habitual en la epoca, permitiendole el tratamiento de
los espacios de lazos. Dados un espacio topol ogico arco conexo X y un punto
x X, el espacio de lazos en x, , se interpreta como la bra de un espacio
brado, E, de base X. Los elementos de E son los caminos de X de origen en
x. La idea realmente nueva consiste en interpretar la aplicaci on de evaluaci on,
que a un camino le asigna su extremo, como una aplicaci on bra f : E X.
El espacio E es contr actil y, por ello, resulta de gran utilidad para relacionar
la homologa de con la de X, una vez adaptada convenientemente la teora
de Leray.
La tesis de Serre contiene aplicaciones diversas. Por ejemplo, a partir de un
teorema de M. Morse (1938) y de sus propios resultados, Serre demuestra que
para todo espacio de Riemann compacto y conexo existen innitas geodesicas
que unen dos cualesquiera de sus puntos. Pero, sin duda, la aplicaci on m as no-
table contenida en la tesis de Serre es la que hace referencia al c alculo de grupos
de homotopa de esferas
i
(S
n
). Con anterioridad, H. Freudenthal (1938) haba
determinado los grupos
n+1
(S
n
); L. Pontrjagin y G. W. Whitehead (1950)
haban calculado los grupos
n+2
(S
n
); y H. Hopf haba demostrado que el
grupo
2n1
(S
n
), n par, es isomorfo a la suma directa de Z y de un grupo
nito. Gracias tambien a Freudenthal, se saba que los grupos
n+k
(S
n
) de-
penden unicamente de k. Serre obtiene que todos los grupos
i
(S
n
), i > n,
son nitos, salvo
2n1
(S
n
), n par, que es la excepci on descubierta por Hopf.
Dado un primo p, demuestra que la componente p-primaria de
i
(S
n
), n 3,
es nula si i < n + 2p 3; y la componente p-primaria de
n+2p3
(S
n
) es un
p-grupo cclico.
El estudio de los grupos de homotopa de esferas fue proseguido por Serre
en los dos a nos posteriores a la lectura de su tesis [8(1951), 10(1952), 11
(1952), 12(1952), 13(1952), 18(1953), 19(1953), 22(1953)]. Los artculos [10
(1952), 11(1952)] est an escritos en colaboraci on con H. Cartan y el artculo
[8(1951)], en colaboraci on con A. Borel.
Durante una estancia en Princeton, acaecida en 1952, Serre se da cuenta
que es posible una localizaci on en el c alculo de los grupos de homotopa.
Para ello introduce un lenguaje mod( consistente en ignorar una clase (
de objetos, como en aritmetica. Serre [18(1953)] prueba que el grupo
i
(S
n
)
es (-isomorfo a la suma directa de
i1
(S
n1
) y
i
(S
2n1
), siendo ( la clase
de los 2-grupos.
En [18(1953)] demuestra que todo grupo de Lie es homot opicamen-
te equivalente a un producto de esferas, m odulo ciertos n umeros primos, que
determina en el caso de los grupos cl asicos. En [19(1953)] determina el com-
portamiento asint otico de la serie de Poincare de las algebras de cohomologa
m odulo 2 de los complejos de Eilenberg-MacLane K(; q), cuando el grupo
(abeliano si q 2) es nitamente generado; para ello combina resultados de
la tesis de A. Borel, resultados de H. Cartan y de su propia tesis. En el mismo
trabajo calcula los grupos
n+3
(S
n
) y
n+4
(S
n
). Bas andose en [13(1952)]
y en el conocimiento de los grupos
i
(SO(n)), i 8, calcula en [22(1953)]
todos los grupos
i
(S
3
), i 11, y
n+i
(S
n
), i 8.
La determinaci on de los grupos de homotopa de las esferas sigue siendo
todava objeto de investigaci on, pero la intervenci on de Serre en este proble-
ma fue decisiva, tanto por los metodos empleados como por los resultados
obtenidos.
LA MEDALLA FIELDS
El tratamiento cohomol ogico de las extensiones de grupos se inicia en la
tesis de R. Lyndon (1948). G. Hochschild y Serre [15(1953)] prosiguen su
estudio, guiados por la analoga existente con la cohomologa de los espacios
brados. Dados un grupo discreto G, un subgrupo invariante K y un grupo de
coecientes A, obtienen una sucesi on espectral H(G/K, H(K, A)) H(G, A).
Si H
r
(K, A) = 0, 0 < r < q, la sucesi on espectral proporciona la sucesi on
exacta 0 H
q
(G/K, A
K
) H
q
(G, A) H
q
(K, A)
G/K
H
q
(G/K, A
K
)
H
q+1
(G, A). La denominada sucesi on exacta de Hochschild-Serre se convertira
en la pieza clave de muchas demostraciones. En [16(1953)] Hochschild y
Serre transferan su metodo al estudio de la cohomologa de las algebras de
Lie.
La teora inicial de los espacios brados algebraicos, debida A. Weil, fue
expuesta por Serre en el Seminaire Bourbaki [21(1952/53)]. Vale decir que
en Weil tales espacios son siempre localmente triviales. En su exposici on, Serre
formula diversas preguntas sobre la clasicaci on de espacios brados algebrai-
cos de bra vectorial, que seran contestadas por A. Grothendieck (cuando la
base es de genero cero) y por M. Atiyah (cuando la base es de genero uno).
Ciertas reexiones hechas por Serre en aquella ocasi on se veran posteriormen-
te reejadas en sus memorias [FAC] y [GAGA], de las cuales hablaremos en la
secci on siguiente.
LA GACETA 215
Cartan y Serre [24(1953)] prueban que los grupos de cohomologa
H
q
(X, T), asociados a una variedad analtica compleja y compacta X y con
valores en un haz analtico coherente T, son espacios vectoriales de dimensi on
nita.
En un artculo que dedica a H. Hopf, Serre [28(1955)] daba a conocer un
teorema de dualidad, en el ambito de las variedades analticas complejas. Serre
aplica el teorema de dualidad a la obtenci on de una demostraci on sencilla del
teorema de Riemann-Roch para curvas y a la determinaci on de la cohomo-
loga de las variedades de Stein. En su demostraci on, Serre utiliza resultados
transcendentes de P. Dolbeault, de G. de Rham y de la teora de distribuciones
de L. Schwartz. Previamente, en una carta a Borel [20(1953)], Serre haba
propuesto la generalizaci on del teorema de Riemann-Roch para variedades de
dimensi on superior. Los resultados obtenidos por F. Hirzebruch al respecto
fueron expuestos por Serre en el Seminarie Bourbaki [25(1953/54)]. El teo-
rema de Riemann-Roch seg un Grothendieck sera expuesto por A. Borel y por
Serre en un seminario en Princeton; el texto de esta exposici on se encuentra
en las uvres de A. Borel (Springer, 1983, n. 44(1958)).
En su ponencia [27(1954)], presentada al International Congress of Mat-
hematicians de Amsterdam, Serre propone la extensi on de la teora de haces
al estudio de las variedades algebraicas denidas sobre un cuerpo de carac-
terstica arbitraria, consciente de que numerosos problemas de la geometra
algebraica cl asica podan ser estudiados por medio de la teora de haces. Si X
es una variedad proyectiva y no singular denida sobre un cuerpo nito, los
espacios vectoriales H
q
(X,
p
) son de dimensi on h
p,q
, nita. Serre se pregunta
si los valores
p+q=n
h
p,q
proporcionan los n umeros de Betti que las conjetu-
ras de Weil predicen. La pregunta sera contestada negativamente por J. Igusa
(1955).
En el congreso de Amsterdam, cuando H. Weyl entreg o a Serre la meda-
lla Fields, quiz a algo preocupado por la extrema juventud de este, concluy o
su presentaci on recomend andole carry on as you began!. En los p arrafos
siguientes deseara ilustrar el cumplimiento de aquel encargo.
HACES COHERENTES
En la memoria fundamental Faisceaux algebriques coherents [FAC]
[29(1955)], Serre desarrolla una teora de haces algebraicos coherentes en
el ambito de las variedades algebraicas sobre un cuerpo k de caracterstica
arbitraria. En la epoca, las variedades algebraicas se consideraban provistas
de la topologa de Zariski; con lo cual, al tratarse de espacios no separados,
los metodos de la topologa algebraica no eran directamente aplicables. As,
la exactitud de la sucesi on exacta de cohomologa asociada a una sucesi on
exacta de haces no es v alida en general, pero se satisface al tomar haces cohe-
rentes. El [FAC] consta de tres captulos. El captulo I se dedica a la teora
general de haces; el captulo II contiene una denici on alternativa del concep-
to de variedad abstracta seg un A. Weil, y en el se estudia la teora de haces
coherentes sobre las variedades anes; el captulo III se dedica al estudio de
la teora de haces coherentes sobre las variedades proyectivas. A todo brado
vectorial algebraico E denido sobre una variedad algebraica V , Serre asocia
un haz algebraico coherente, o(E), formado por los germenes de las seccio-
nes de E. Sea O el haz de anillos locales de V y A = (V, O), su anillo de
coordenadas. Si V es una variedad afn, la aplicaci on E (o(E)) establece
una biyecci on entre las clases de brados vectoriales sobre V y las clases de
A-m odulos proyectivos nitamente generados. En ella, los brados triviales
se corresponden con los A-m odulos libres. Si V = k
n
, en cuyo caso A es el
anillo de polinomios k[X
1
, . . . , X
n
], Serre hace notar que el no conoce ning un
k[X
1
, . . . , X
n
]-m odulo proyectivo nitamente generado que no sea libre. Esta
observaci on dara lugar a la denominada conjetura de Serre, aunque, de hecho,
Serre nunca la consider o como tal.
El [FAC] de Serre, el T ohoku (1957) de A. Grothendieck, y el libro de
R. Godement (1964) sobre teora de haces seran los textos precursores de una
nueva metodologa en geometra algebraica abstracta. Les seguira la monu-
mental obra de A. Grothendieck [EGA (1960-1964); SGA (1968; 1971-1977)].
La conjetura de Serre en dimensi on 2 fue demostrada por C. S. Seshadri
(1959). Su trabajo fue expuesto por Serre en el Seminaire Dubreil-Pisot [48
(1960/61)]. En esta exposici on, Serre puso de maniesto la relaci on de su
conjetura con el problema de la caracterizaci on de las variedades algebraicas
de intersecci on completa.
Al cabo de 20 a nos de la publicaci on de [FAC], y tras la obtenci on de resul-
tados parciales por diversos autores (por ejemplo, en dimensi on 3), D. Quillen
(1976) y A. Suslin (1976), independientemente el uno del otro, demostraban
la conjetura de Serre en cualquier dimensi on. Su teorema arma que todo
K[X
1
, . . . , X
n
]-m odulo nitamente generado y proyectivo es libre, si K es un
cuerpo o, m as generalmente, un dominio principal.
El mismo a no en que Serre era nombrado Professeur del Collège de Fran-
ce, publicaba la celebre memoria Geometrie algebrique et geometrie analytique
[GAGA] [32(1956)]. En [GAGA] se comparan el tratamiento algebraico y el
tratamiento analtico (o por va transcendente) que admite toda variedad alge-
braica compleja. Se demuestra que existe una correspondencia biyectiva entre
los haces algebraicos coherentes denidos sobre una variedad proyectiva X y
los haces analticos coherentes denidos sobre el espacio analtico X
h
asociado
a X; la correspondencia deja invariantes los grupos de cohomologa. Como
aplicaciones de este resultado mencionaremos la invariancia de los n umeros
de Betti por automorsmos del cuerpo complejo C cuando X es no singular,
as como la comparaci on de espacios brados algebraicos y analticos de bases
X, X
h
asociados a un mismo grupo estructural G. Tales clases de brados
se identican con los elementos de los conjuntos de cohomologa H
1
(X, (),
H
1
(X
h
, (
h
), en donde ( (respectivamente (
h
) designan el haz de germenes
de aplicaciones regulares (respectivamente holomorfas) de X (respectivamen-
te X
h
) en G. De todos los grupos algebraicos semisimples, la memoria trata
unicamente los grupos especiales lineales SL
n
y los grupos simplecticos Sp
n
.
El [GAGA] contiene un anexo dedicado al estudio de los m odulos planos y
LA GACETA 217
de los pares planos de anillos locales, los cuales surgen de manera natural al
comparar los anillos locales en un mismo punto x de X, X
h
.
ALGEBRA LOCAL
Jean-Pierre Serre
Los logros de Serre en el [FAC] y en el [GA-
GA] derivaron hacia un interes por el algebra lo-
cal. En una ponencia en el simposio de Tokyo-Nikko
[33(1956)], Serre demuestra que la validez del teo-
rema de syzygias caracteriza los anillos locales re-
gulares, completando un teorema de A. Auslander y
D. Buchsbaum (1956) por el cual todo anillo local
regular es de dimensi on homol ogica global nita. La
caracterizaci on homol ogica de los anillos locales re-
gulares permite a Serre probar f acilmente que todo
anillo de fracciones de un anillo local regular es regu-
lar. La teora b asica de los anillos locales, preferente-
mente de igual caracterstica, fue el tema del curso
[42(1957/58)]. Su contenido quedara reejado en el libro Algèbre Locale.
Multiplicites [ALM(1965)], que ha guiado a toda una generaci on de algebristas.
El libro incluye la teora general de m odulos noetherianos y sus descomposicio-
nes primarias, polinomios de Hilbert, extensiones enteras, teoremas de Krull
sobre la caracterizaci on de la normalidad de dominios noetherianos, aplicacio-
nes del complejo de Koszul, m odulos de Cohen-Macaulay, la caracterizaci on
homol ogica de los anillos locales regulares, as como el teorema de estructura
de los anillos locales completos, en el caso de igual caracterstica. El libro con-
tiene asimismo la celebre f ormula del Tor, que expresa las multiplicidades de
intersecci on de la geometra algebraica como caractersticas de Euler-Poincare
formadas a partir de los functores Tor de Cartan-Eilenberg.
COHOMOLOG
IA DE VARIEDADES
En [35(1957)] Serre obtiene una caracterizaci on homol ogica de las va-
riedades anes, an aloga a la de las variedades de Stein, y extiende parte de los
resultados del [FAC] a variedades algebraicas arbitrarias.
En la ponencia [38(1958)], presentada al simposio de topologa algebrai-
ca celebrado en Mejico, Serre asocia a una variedad algebraica X, proyectiva,
no singular y denida sobre un cuerpo algebraicamente cerrado k de carac-
terstica p > 0, unos grupos de cohomologa, H
i
(X, J), valorados en un haz J
de vectores de Witt. Aunque esta denici on tampoco proporcion o los n umeros
de Betti adecuados, el artculo en cuesti on contiene ideas que favoreceran el
nacimiento de las cohomologas - adica y cristalina. Es de destacar el trata-
miento dado en este trabajo al Frobenius F como endomorsmo semilineal
de H
1
(X, O), cuando X es una curva proyectiva y no singular. Una vez se
ha identicado el espacio H
1
(X, O) con el espacio formado por las clases de
reparticiones sobre la curva (en el sentido de Chevalley), la operaci on anterior
conduce a la matriz de Hasse-Witt de X. Mediante el uso del operador de
Cartier sobre las diferenciales de la curva, Serre demuestra que H
1
(X, J) es
un m odulo libre sobre el anillo de Witt, W(k), de rango 2g s, siendo g el
genero de la curva y p
s
el n umero de clases de divisores de X anuladas por p.
Los resultados anteriores se completan en el trabajo [40(1958)], dedica-
do a E. Artin. Dada una variedad abeliana A denida sobre un cuerpo algebrai-
camente cerrado de caracterstica positiva, el cup producto dota a H
(A, O)
de una estructura de algebra de Hopf. Serre demuestra que el algebra de coho-
mologa H
(A, O) se identica con el algebra exterior del espacio vectorial

H
1
(A, O), como en el caso cl asico. Prueba asimismo que en una tal variedad las
operaciones de Bockstein son nulas; es decir, A carece de torsi on homol ogica.
Serre construye un ejemplo de una variedad abeliana para la cual H
2
(A, J)
no es un m odulo de tipo nito. Esta situaci on tampoco era satisfactoria.
En los trabajos mencionados, es patente la inuencia de A. Weil. La b us-
queda de una buena cohomologa para las variedades denidas sobre cuerpos
nitos estaba motivada por el deseo de demostrar las conjeturas de Weil,
formuladas en 1940. Como es bien sabido, la buena cohomologa para las va-
riedades abstractas sera hallada por A. Grothendieck tras el desarrollo de la
teora de esquemas y de la topologa etale.
En [45(1960)] Serre pone de maniesto que ciertas ideas de A. Weil se
trasladan con relativa facilidad al ambito de las variedades complejas k ahle-
rianas. Para ello hace uso de la descomposici on de Hodge y del teorema de
dualidad. Serre pone de maniesto que si la teora de K ahler pudiera trans-
ponerse en caracterstica p > 0, entonces se deduciran las conjeturas de Weil.
Fue este el punto de inspiraci on de A. Grothendieck para la formulaci on de las
conjeturas est andar sobre motivos (conjeturas que siguen todava abiertas).
En [50(1961)] Serre construye un esquema proyectivo y no singular en
caracterstica p > 0 que no posee ninguna elevaci on en caracterstica cero, ni
siquiera como esquema formal.
En su ponencia [56(1962)], presentada en el International Congress of
Mathematicians de Estocolmo, Serre ofrece una sntesis de la teora de esque-
mas. Despues de revisar los esquemas de Grassmann, de Hilbert, de Picard, y
los esquemas de m odulos de curvas de genero dado, se centra en las propieda-
des principales de los esquemas sobre un anillo local, noetheriano y completo.
A partir de este momento, el lenguaje de los esquemas se hara presente en
sus textos (aunque jam as ha abusado de la dureza de esta terminologa).
CUERPOS DE CLASES
La teora de cuerpos de clases, un tema cl asico en teora de n umeros,
describe las extensiones abelianas de ciertos cuerpos por medio del denomi-
nado isomorsmo de reciprocidad. En ocasiones, el isomorsmo de reciproci-
dad puede hacerse explcito mediante un c alculo de smbolos (de los cuales,
LA GACETA 219
la ley de reciprocidad cuadr atica de Gauss proporciona el primer ejemplo).
El tratamiento cohomol ogico de la teora de cuerpos de clases se inicia con
G. Hochschild, E. Artin, J. Tate, A. Weil y T. Nakayama.
El primer libro que Serre publica es Groupes algebriques et corps de clas-
ses [GACC(1959)]. El libro se basa en el primer curso impartido por Serre
[37(1956/57)] y en ideas de S. Lang, relativas a un desarrollo de la teora
de cuerpos de clases sobre cuerpos de funciones basado en el uso de recubri-
mientos y de tecnicas propias de la geometra algebraica. En [GACC] Serre
desarrolla la teora de cuerpos de clases para cuerpos de funciones de una
variable sobre un cuerpo de constantes nito. Los orgenes de la teora se re-
montan a E. Artin, F. K. Schmidt y E. Witt. El lenguaje geometrico empleado
es el del [FAC] y, ocasionalmente, el de A. Weil. En el captulo I se resumen
los resultados principales. El captulo II se dedica a la teora general de curvas
algebraicas denidas sobre un cuerpo base algebraicamente cerrado. En los
captulos III-V se demuestra un teorema de M. Rosenlicht (1957) por el cual
toda aplicaci on racional, f : X G, de una curva proyectiva, irreducible y
no singular en un grupo algebraico conmutativo factoriza a traves de una ja-
cobiana generalizada, J
m
. Las jacobianas generalizadas son grupos algebraicos
conmutativos que poseen la interesante propiedad de proporcionar extensio-
nes no triviales de variedades abelianas (la jacobiana usual J) por grupos
algebraicos lineales, L
m
. Los grupos L
m
proporcionan los smbolos locales de
la teora de cuerpos de clases. Se consideran asimismo cuestiones de racionali-
dad por descenso del cuerpo base, siguiendo el metodo de Weil. En el captulo
VI se demuestra que todo recubrimiento abeliano de una curva algebraica
irreducible es imagen recproca de una isogenia separable en una jacobiana ge-
neralizada, unvocamente determinada. La propiedad permite asociar a todo
recubrimiento abeliano de una curva un conductor. Al tomar en consideraci on
los distintos m odulos m de la curva, las jacobianas generalizadas forman un
sistema proyectivo de espacios principales homogeneos. Cuando el cuerpo base
es C, la estructura algebraica de J
m
determina una estructura analtica, por la
cual J
m
es un grupo de Lie complejo. La teora de cuerpos de clases para los
cuerpos de funciones de una variable sobre un cuerpo nito es abordada en el
captulo VI; en el se demuestra el isomorsmo de reciprocidad y se procede al
c alculo explcito de los smbolos de restos de normas. El captulo VII contiene
un tratamiento cohomol ogico general de las extensiones de grupos algebraicos
conmutativos.
El estudio de la cohomologa de grupos, y en especial de la cohomologa de
Galois, sera el tema del curso [44(1958/59)]. El material correspondiente
se integrara en el libro Corps locaux [CL(1962)].
El [CL] tiene por objetivo el proporcionar una exposici on por va coho-
mol ogica de la teora local de cuerpos de clases en el caso aritmetico; es decir
relativa a cuerpos valorados y completos con respecto de una valoraci on dis-
creta de cuerpo residual nito. En la primera parte del libro se encuentra el
teorema de estructura de los anillos de valoraci on discreta completos. En la
segunda parte se expone la teora de la ramicaci on de D. Hilbert, con inclu-
si on de la numeraci on superior debida a J. Herbrand, y contiene un captulo
sobre la representaci on de Artin asociada a una extensi on de Galois nita de
un cuerpo valorado, completo y de cuerpo residual perfecto. La representaci on
de Artin, popularizada por Serre, haba sido sugerida por A. Weil en una frase
de su artculo Lavenir des mathematiques (1947). La tercera parte del [CL]
se dedica a la cohomologa de grupos; incluye la interpretaci on cohomol ogica
del grupo de Brauer de un cuerpo, Br(k), y en ella se trabajan los axiomas
de formaci on de clases, en el sentido de Artin-Tate. La teora local de cuerpos
de clases ocupa la cuarta parte del libro. El isomorsmo de reciprocidad se
obtiene a traves de una formaci on de clases asociada al cuerpo local de par-
tida, y se precisa por medio de un c alculo explcito de smbolos de restos de
normas que incorpora resultados de B. Dwork (1958). El conductor de Artin
de un car acter se interpreta en terminos de la teora. Destaquemos asimismo
que el libro propone numerosos ejercicios, difciles en su mayora. El artculo
[75(1967)] contiene un resumen de la teora local de cuerpos de clases.
En un anexo del [CL], Serre incluye una introducci on al estudio de la
cohomologa de Galois no abeliana. Dada una extensi on de Galois K/k y
dado un grupo algebraico G denido sobre k, los elementos del conjunto
H
1
(Gal(K/k), G(K)) describen las clases de espacios principales homogeneos
por G denidos sobre k que poseen un punto racional en K. Serre demuestra
que H
1
(Gal(K/k), G(K)) = 1 cuando G es uno de los grupos algebraicos
siguientes: aditivo G
a
, multiplicativo G
m
, lineal GL
n
, especial lineal SL
n
,
simplectico Sp
2n
. El resultado puede entenderse como una generalizaci on del
teorema 90 de Hilbert.
La teora de los grupos pro-algebraicos conmutativos es desarrollada por
Serre en [49(1960)], despues del curso [47(59/60)] impartido sobre el te-
ma. Su aplicaci on a la elaboraci on de una teora de cuerpos de clases geometrica
se encuentra en [51(1961)].
Fijemos un cuerpo base k algebraicamente cerrado. Un grupo casi-algebrai-
co conmutativo se dene como una clase de isogenia puramente inseparable
de grupos algebraicos conmutativos, denidos sobre k. De los teoremas de es-
tructura de los grupos algebraicos conmutativos, se deduce que todo grupo
casi-algebraico conmutativo y conexo G posee un subgrupo lineal L tal que el
grupo cociente G/L es una variedad abeliana; L es producto de un toro T por
un grupo unipotente U; T es producto de grupos isomorfos a G
m
; y U posee
una serie de composici on cuyos cocientes son isomorfos a G
a
. Las clases de los
grupos G
a
, G
m
, grupos cclicos de orden primo y variedades abelianas simples
se denominan grupos casi-algebraicos conmutativos elementales. Los grupos
casi-algebraicos conmutativos forman una categora abeliana, que se denota
por Q; los grupos casi-algebraicos conmutativos y nitos forman una subcate-
gora, que se denota por Q
0
. Si G es un grupo casi-algebraico conmutativo y
G
0
la componente conexa de su elemento neutro, el cociente
0
(G) := G/G
0
es un grupo abeliano nito. La categora de los grupos pro-algebraicos con-
mutativos se dene como T = Pro(Q). Sea T
0
= Pro(Q
0
) la subcategora
de los grupos pro-nitos abelianos. La categora T posee lmites proyectivos
y sucientes objetos proyectivos. Todo proyectivo de T es suma de proyec-
tivos indescomponibles y los grupos proyectivos indescomponibles coinciden
LA GACETA 221
con las envolventes proyectivas de los grupos casi-algebraicos conmutativos
elementales. El functor
0
es exacto por la derecha; sus functores derivados
por la izquierda permiten denir los grupos de homotopa
i
(G), para todo
grupo pro-algebraico y conmutativo. El grupo
1
(G) se denomina, como de
costumbre, el grupo fundamental de G. Los grupos pro-algebraicos conmuta-
tivos, conexos y simplemente conexos forman una subcategora o de T. Para
todo objeto G de T, existen un grupo

G en o y un morsmo u :

G G,
unicos, cuyo n ucleo y con ucleo pertenecen a T
0
. M as concretamente, se dis-
pone de una sucesi on exacta 1
1
(G)

G G
0
(G) 1. Mediante
el functor recubrimiento universal, las categoras T/T
0
y o son equivalentes.
Sea ahora = Hom(G
m
, G
m
) Z[p
1
], en donde p denota el exponente
caracterstico de k. Si / es la subcategora de los grupos pro-algebraicos
de tipo multiplicativo, el functor X denido por X(G) = Hom(G, G
m
) es-
tablece una equivalencia entre la categora dual de / y la categora (
de
los -m odulos. Despues de calcular los grupos de homotopa de los grupos
pro-algebraicos conmutativos elementales, Serre concluye en [49(1960)] que
todo grupo pro-algebraico conmutativo es de dimensi on cohomol ogica 2, si
k es de caracterstica positiva; y de dimensi on cohomol ogica 1, si k es de
caracterstica cero.
Serre [51(1961)] contiene el tratamiento de la teora local de cuerpos de
clases en el caso geometrico; es decir, sobre un cuerpo K valorado y completo
respecto de una valoraci on discreta de cuerpo residual k algebraicamente ce-
rrado. Mediante la utilizaci on de resultados generales debidos a M. Greenberg,
Serre dota al grupo de las unidades U
K
de K de una estructura de grupo
pro-algebraico conmutativo sobre k, con lo cual dispone del grupo fundamen-
tal
1
(U
K
). El isomorsmo de reciprocidad se expresa en la elegante forma
1
(U
K
)

G
ab
K
, en donde G
ab
K
designa el grupo de Galois de la extensi on
abeliana maximal de K. El isomorsmo de reciprocidad es compatible con la
ltraci on natural de
1
(U
K
) y la ltraci on de G
ab
K
aportada por los grupos
de ramicaci on dotados de la numeraci on superior. Al igual que en el caso
aritmetico, el isomorsmo de reciprocidad se logra por va cohomol ogica. En
el caso geometrico existe asimismo una teora del conductor, basada en las
representaciones de Artin.
Cuestiones de racionalidad sobre las representaciones de Artin fueron plan-
teadas por Serre en [46(1960)]. En este artculo, Serre pone de maniesto
la necesidad de disponer de una teora del conductor en dimensi on superior,
an aloga a la que proporciona en dimensi on 1 la teora de cuerpos de clases.
Material b asico para entender estos conceptos, en relaci on con la teora de
representaciones, se encuentra en el popular libro de Serre Representations
lineaires des groupes nis [RLGF(1968)], bien conocido por qumicos y por
fsicos.
AN
ALISIS NO ARQUIMEDIANO
En lo que sigue, p denotar a un n umero primo. La demostraci on de B. Dwork
(1960) de la racionalidad de la funci on zeta de una variedad algebraica denida
sobre un cuerpo nito (primera conjetura de Weil) favoreci o el desarrollo expe-
rimentado por el an alisis p- adico en la decada de los sesenta. Sea Z(t) =
a
n
t
n
la funci on zeta de una hipersupercie de un espacio afn sobre un cuerpo nito.
Dwork prob o que la serie Z(t) es expresable como cociente de determinantes
de Fredholm asociados a ciertos operadores de espacios de Banach p- adicos,
como paso previo para establecer su car acter racional. De la descomposici on
mencionada se deduce que la funci on Z(t) es estrictamente meromorfa en todo
el plano p- adico.
Serre [55(1962)] pone de maniesto que, en el ambito del an alisis p-
adico, las teoras de F. Riesz y de I. Fredholm son v alidas para una misma
familia de aplicaciones, formada por las aplicaciones nucleares (con traza) o
las completamente continuas (lmite de aplicaciones de rango nito). La me-
moria en cuesti on, que es auto-contenida, proporciona una excelente introduc-
ci on al estudio de estos temas. Serre traslada al contexto del an alisis p- adico
parte de los resultados de la tesis de A. Grothendieck (1955) sobre produc-
tos tensoriales topol ogicos y aplicaciones nucleares. Dado un endomorsmo u
completamente continuo de un espacio de Banach E = c(I) sobre un cuer-
po local K, Serre considera su determinante de Fredholm det(1 tu); la serie
det(1tu) =
m=0
c
m
t
m
tiene radio de convergencia innito y dene una fun-
ci on entera de t. La resolvente de Fredholm de u, P(t, u) = det(1tu)/(1tu),
es una funci on entera de t valorada en L(E, E). Dado un elemento a K, la
teora de Riesz, convenientemente adaptada, permite armar que el endomor-
smo 1 au es invertible si, y s olo si, det(1 au) ,= 0. Si este es el caso,
se satisface la relaci on det(1 au) = (1 au)P(a, u) = P(a, u)(1 au). Si
a K es un cero de orden h de la funci on det(1 tu), entonces el espa-
cio E descompone unvocamente en suma directa de dos subespacios cerra-
dos N, F invariantes por u. El endomorsmo 1 au es nilpotente en N y
es invertible en F; la dimensi on de N es h. Serre demuestra que, dada una
sucesi on exacta de espacios de Banach E
i
y aplicaciones d lineales y conti-
nuas, 0 E
0
E
1
. . . E
n
0, y, dados endomorsmos u
i
de E
i
completamente continuos tales que d
i
u
i
= u
i+1
d, 0 i < n, entonces
n
i=1
det(1 tu
i
)
(1)
i
= 1. La f ormula es esencial para poder simplicar cier-
tos c alculos que intervienen en el teorema de Dwork.
La publicaci on de Serre [57(1961/62)] resume un curso sobre an alisis p-
adico. Los mismos metodos p- adicos permitieron a B. Dwork (1964) probar la
ecuaci on funcional, conjeturada por Weil, de la funci on zeta de las variedades
denidas sobre cuerpos nitos, pero, como es bien conocido, fueron insucien-
tes para demostrar la hip otesis de Riemann sobre la localizaci on de sus
ceros. La demostraci on de la ultima conjetura de Weil requerira la teora
de esquemas de A. Grothendieck y el no trabajo de P. Deligne (1974; 1977)
sobre cohomologa - adica ( ,= p). Una exposici on realizada por Serre sobre
trabajos de Deligne se encuentra en [117(1978)].
LA GACETA 223
Una variedad analtica G sobre un cuerpo local k que sea un grupo en esta
categora se denomina un grupo de Lie (o analtico) sobre k; su algebra de Lie,
g, se dene como de costumbre. Cuando k = Q
p
es el cuerpo de los n umeros
p- adicos, se dice sencillamente que G es un grupo de Lie p- adico. El estudio
de los grupos de Lie p- adicos y de las algebras de Lie p- adicas se remonta a
R. Hooke (1942). Todo grupo de Lie p- adico es un grupo topol ogico localmente
compacto, totalmente discontinuo y sus subgrupos cerrados sucientemente
peque nos son grupos pro-p (es decir, lmite proyectivo de p-grupos nitos).
Todo homomorsmo continuo entre grupos de Lie p- adicos es analtico; todo
subgrupo cerrado de un grupo de Lie p- adico es analtico. Si G es un grupo de
Lie p- adico y compacto, entonces G es nitamente generado topol ogicamente.
En 1962, Serre se da cuenta que los misteriosos grupos de Galois asociados
a los m odulos de Tate, de los cuales hablaremos m as adelante, son grupos de
Lie p- adicos; por tanto, poseen una algebra de Lie, abordable por los metodos
propios de la teora. La constancia de este hecho abra un campo de enormes
posibilidades.
El libro de Serre Lie Algebras and Lie Groups [LALG(1965)] est a basado
en un curso impartido en la Universidad de Harvard. El libro consta de dos
partes; en la primera, Serre expone la teora general de algebras de Lie y la
teora cl asica de las representaciones del algebra sl
n
, sobre un cuerpo base
algebraicamente cerrado de caracterstica cero. En la segunda parte del libro,
Serre expone una teora de variedades analticas sobre un cuerpo completo k,
ya sea real, complejo o ultrametrico. Presenta en este contexto la teora de los
grupos de Lie, supuesto el cuerpo base de caracterstica cero. Hace especial
hincapie en aquellos aspectos de la teora relacionados con grupos formales,
estudiando su bi algebra asociada. En el caso ultrametrico, y k localmente
compacto, demuestra que los subgrupos compactos maximales de GL(n, k)
coinciden con los grupos de estabilizadores de las O-redes de k
n
y son, por
tanto, conjugados de GL(n, O), en donde O denota el anillo de la valoraci on
de k.
En [65(1965)] Serre clasica las variedades analticas p- adicas compac-
tas. Dado un cuerpo k, localmente compacto por la topologa denida por una
valoraci on discreta de anillo de valoraci on A, toda variedad analtica compacta
X sobre k, de dimensi on n en cada uno de sus puntos, es isomorfa a una suma
disjunta nita de copias de la bola A
n
. Dos sumas rA
n
y r
A
n
son isomorfas
si, y s olo si, r r
(mod q 1), en donde q denota el n umero de elementos del

cuerpo residual de k. El n umero i(X) = r (mod q 1) es un invariante de la
variedad, que Serre interpreta analticamente.
COHOMOLOG
IA DE GRUPOS PRO-FINITOS Y DE GRUPOS DE LIE p- ADICOS

Por denici on, un grupo pro-nito es un lmite proyectivo de grupos -
nitos; un caso particular son los grupos pro-p, ya mencionados. Los grupos
de Galois de las extensiones no nitas y los grupos de Lie p- adicos compactos
proporcionan los ejemplos m as interesantes de grupos pro-nitos. As, el grupo
aditivo de los enteros p- adicos, Z
p
, y los grupos SL
n
(Z
p
), Sp
2n
(Z
p
) son grupos
pro-nitos; el primero de ellos es, adem as, un grupo pro-p.
Las principales propiedades de la cohomologa de los grupos pro-nitos
fueron el tema del curso [59(1962/63)]. Constituyen el captulo I de los tres
que contiene el libro Cohomologie Galoisienne [CG(1964)]. Los captulos II
y III de [CG] se dedican al estudio de la cohomologa de Galois, en el caso
conmutativo y en el caso no conmutativo, respectivamente. A todo grupo pro-
nito G = lim
G
i
que opera de manera continua en un grupo abeliano discreto
A, se le asocian grupos de cohomologa H
q
(G, A), mediante el uso de cocadenas
continuas. Si A = lim
A
i
es un lmite inductivo de G
i
-m odulos discretos, se
satisface que H
q
(G, A) = lim
H
q
(G
i
, A
i
). En el captulo I, dados un primo p y
un grupo pro-nito G, se denen los conceptos de p-dimensi on cohomol ogica,
cd
p
(G), y de dimensi on cohomol ogica, cd(G). Se caracterizan ciertos grupos
pro-p, denominados de Poincare, que admiten una teora de dualidad y son de
dimensi on cohomol ogica nita.
El trabajo [60(1963/64)] expone la teora de M. Lazard relativa a grupos
de Lie p- adicos, presentada por Serre en el Seminaire Bourbaki. Si k es una
extensi on nita de Q
p
y G es un grupo algebraico denido sobre k, el grupo
G(k) formado por los puntos k-racionales de G posee una estructura can onica
de grupo de Lie sobre k la cual, por restricci on de escalares, proporciona un
grupo de Lie p- adico. Se ve que todo grupo topol ogico p-valorado y completo
G de rango nito es un grupo de Lie p- adico; si el rango de G es n, la dimensi on
cohomol ogica de G es igual a n. Un grupo topol ogico es un grupo analtico
p- adico si, y s olo si, posee un subgrupo abierto H que es un grupo pro-p y tal
que (H, H) H
p
, si p ,= 2; o bien (H, H) H
4
, si p = 2. Si G es un grupo
de Lie p- adico y compacto tal que cd(G) = n < , entonces G es un grupo
pro-p de Poincare de dimensi on n y el car acter (x) = det Ad(x) proporciona
la dualidad de G, en donde Ad(x) es el automorsmo del algebra de g denido
por x. Condici on necesaria para que un grupo analtico p- adico compacto sea
de dimensi on cohomol ogica nita es que sea libre de torsi on. Serre plantea si la
condici on es asimismo suciente. En la exposici on se comparan la cohomologa
de un grupo de Lie p- adico G y la de su algebra de Lie g.
El trabajo [66(1965)] se dedica al estudio de la dimensi on cohomol ogica
de los grupos pro-nitos. Serre demuestra que si G es un grupo pro-nito, libre
de p-torsi on, para todo subgrupo U de G abierto se satisface que cd
p
(U) =
cd
p
(G); la prueba de este resultado es complicada y en ella Serre utiliza po-
tencias de Steenrod, una herramienta adquirida en sus das de top ologo. El
teorema anterior y resultados de M. Lazard (1965) permiten probar que todo
grupo de Lie p- adico compacto libre de p-torsi on y de dimensi on n satisface que
cd
p
(G) = n. Como corolario, Serre obtiene que todo grupo pro-p sin torsi on
que contenga un subgrupo abierto libre es libre. Serre se pregunta si el an alogo
discreto de la armaci on anterior es cierto. J. Stallings (1968) y R. Swan (1969)
probaran que ello es as: todo grupo G sin torsi on que contenga un subgrupo
de ndice nito libre es libre.
LA GACETA 225
A nos despues, Serre dedicara a J. Tate el artculo [173(1998)] sobre
cohomologa de grupos pro-nitos. Dados un grupo pro-nito Gde p-dimensi on
cohomol ogica nita y un G-m odulo discreto A, que sea un espacio vectorial de
dimensi on nita sobre el cuerpo nito F
p
, se considera la caracterstica de
Euler-Poincare e(G, A) :=

(1)
i
dimH
i
(G, A), en el supuesto que
dimH
i
(G, A) < , para todo i. Serre demuestra que existe una distribuci on
G
sobre G
reg
con valores en Q
p
tal que e(G, A) =
A
,
G
), en donde
A
:
G
reg
Z
p
denota el car acter de Brauer sobre el subgrupo de G formado por
los elementos regulares.
COHOMOLOG
IA DE GALOIS
Parte del curso [59(1962/63)] y la segunda parte del libro [CG] se de-
dican al estudio de la cohomologa de Galois en el caso conmutativo, con
especial enfasis en los resultados de J. Tate. Al cabo de treinta a nos, el estudio
de la cohomologa de Galois sera reemprendido por Serre en los tres cursos
[153(1990/91), 156(1991/92), 165(1993/94)].
Sea G = Gal(K/k) el grupo de Galois de una extensi on de cuerpos y
supongamos dado un G-m odulo discreto A. Los grupos de cohomologa de
Galois H
q
(Gal(K/k), A) suelen denotarse tambien por H
q
(K/k, A), o bien,
simplemente, por H
q
(k, A) cuando K = k
s
es una clausura separable de k. La
cohomologa de Galois permite denir el concepto de dimensi on cohomol ogica
de un cuerpo, cd(k). Los grupos de Demuskin son grupos de Poincare que
intervienen en el estudio del grupo de Galois de la extensi on pro-p maximal de
un cuerpo local, extensi on nita de Q
p
. Sus propiedades fueron expuestas por
Serre en el Seminaire Bourbaki [58(1962/63)], en el curso [59(1962/63)]
y en [CG].
Sean k un cuerpo de n umeros, k(p)/k la extensi on pro-p no ramicada
maximal de k y G = Gal(k(p)/k) y denotemos por C
p
el grupo de p elemen-
tos. El estudio de los enteros d = dimH
1
(G, C
p
), r = dimH
2
(G, C
p
), que
proporcionan el n umero mnimo de generadores de G, en sentido topol ogico, y
el n umero mnimo de relaciones en un sistema de d generadores de G, permiti o
a E. S. Golod y I. Shafarevich (1964) probar la existencia de torres innitas de
cuerpos de clases edicadas sobre cuerpos de n umeros. El teorema de Golod
y Shafarevich fue expuesto por Serre en [CG] y en [69(1966)].
La obstrucci on asociada a un problema de inmersi on de Galois, deni-
do por una extensi on de Galois L/K y por una extensi on central del gru-
po Gal(L/K), viene dada por una clase de cohomologa, la anulaci on de la
cual caracteriza la resolubilidad del problema. Cuando el n ucleo de la ex-
tensi on central es C
2
, la clase en cuesti on se identica con un elemento de
H
2
(K, C
2
) = Br
2
(K). Serre [131(1984)], en un artculo dedicado a J. Moore,
calcula la obstrucci on para ciertos problemas de inmersi on de Galois, denomi-
nados espinoriales, en funci on de la segunda clase de Stiefel-Whitney de una
forma traza Tr(x
2
). Mediante la utilizaci on de la f ormula de Serre, N. Vila
(1984, 1985) demostr o que el doble recubrimiento no trivial del grupo alter-
nado,

A
n
= 2A
n
, es grupo de Galois de una extensi on regular de Q(T), para
innitos valores de n 4. J-F. Mestre (1990) extendi o el resultado anterior a
todo valor de n 4.
En [151(1990), 152(1990)] Serre interpreta ciertos c alculos, efectuados
por J-F. Mestre (1990) en la realizaci on de

A
n
, en terminos de invariantes
cohomol ogicos asociados a recubrimientos de curvas : Y X (proyectivas,
no singulares y denidas sobre C) de los que supone que todos sus ndices de
ramicaci on son impares. Mediante una f ormula, Serre relaciona los invarian-
tes cohomol ogicos, valorados en H
i
(X, C
2
), con las clases de Stiefel-Whitney
del brado ortogonal E
Y/X
asociado al divisor diferente D(Y/X). La f ormula
es demostrada mediante el estudio del comportamiento de caractersticas the-
ta de X bajo la acci on de
. En [152(1990)] Serre se pregunta si existe

una f ormula que abarque como casos particulares las f ormulas demostradas
en [131(1984)] y en [152(1990)]. La unicaci on de ambas f ormulas sera
efectuada por H. Esnault, B. Kahn y E. Vieweg (1993). El tratamiento de estos
problemas de inmersi on de Galois se contempla en el libro Topics in Galois
Theory [TGT(1992)]. Uno de los principales objetivos de este libro es el es-
tudio del problema inverso de la teora de Galois; est a basado en un curso
impartido por Serre en la Universidad de Harvard.
El curso impartido por Serre [156(1991/92)] vers o sobre la cohomologa
de Galois de las extensiones transcendentes puras. Supongamos que K es un
cuerpo dotado de una valoraci on discreta, v, de cuerpo residual k. Sea C un
Gal(K
s
/K)-m odulo discreto no ramicado en v y tal que nC = 0, para cierto
entero n > 0, primo con la caracterstica de K. Dada una clase de cohomologa
H
i
(K, C), Serre considera las nociones de residuo de en v, polo de
en v y valor (v). Cuando K = k(X) es el cuerpo de funciones de una curva
proyectiva, lisa y conexa denida sobre k, Serre demuestra que tales clases
de cohomologa satisfacen una f ormula de residuos y un an alogo del teorema
de Abel. La teora se aplica a la resoluci on de problemas de especializaci on
del grupo de Brauer de K en el grupo de Brauer de k. Si X es una recta,
x X(K), y Br
n
(K), entonces (x) Br
n
(k), siempre que x no sea un
polo de . Serre se ocupa de la funci on (x) y, en particular, del lugar V ()
de sus ceros. En [150(1990)] trata el caso K = Q(T
1
, . . . T
r
), n = 2; los
resultados se completan con estimaciones asint oticas sobre el n umero de ceros
de obtenidas mediante argumentos de criba y que dependen del n umero de
componentes Q-irreducibles del divisor polar de . Resultados de anulaci on
de clases de cohomologa por cambio de base racional fueron utilizados por
J-F. Mestre (1994, 1998) en la resoluci on de problemas de inmersi on de Galois
sobre Q(T) relativos a 6A
6
y 6A
7
.
COHOMOLOG
IA DE GALOIS DE GRUPOS ALGEBRAICOS LINEALES

En la ponencia [53(1962)] presentada al coloquio de Bruselas sobre gru-
pos algebraicos, Serre formul o las denominadas conjetura I y conjetura II re-
lativas a la cohomologa de los grupos algebraicos lineales.
LA GACETA 227
Dado un grupo algebraico Gdenido sobre un cuerpo k, se dispone del gru-
po de cohomologa H
0
(k, G) = G(k) y del conjunto de cohomologa H
1
(k, G).
La cohomologa de Galois no abeliana interviene especialmente en la resolu-
ci on de problemas de descenso del cuerpo base. Como ya hemos comentado,
la teora b asica se encuentra en [CL] y en [CG]. En lo que sigue supondremos
el cuerpo base k perfecto.
La conjetura I arma que H
1
(k, G) = 0, si cd(k) 1 y G es un grupo
lineal conexo.
La conjetura II arma que H
1
(k, G) = 0, si cd(k) 2 y G es un grupo
lineal semisimple y simplemente conexo.
Por aquel entonces, se conoca la validez de la conjetura I en los casos
siguientes: k cuerpo nito (S. Lang); k de caracterstica cero y casi algebraica-
mente cerrado (T. Springer); G lineal conexo y resoluble o bien G grupo semi-
simple cl asico (Serre). La conjetura I sera probada por R. Steinberg (1965).
El esplendido trabajo de Steinberg es explicado en la versi on inglesa de [CG].
Si k es de caracterstica cero, la conjetura II implica la conjetura I. M. Kne-
ser (1965) prob o la conjetura II cuando k es un cuerpo p- adico, y G. Harder
(1965) hizo lo propio cuando k es un cuerpo de n umeros algebraicos totalmente
imaginario y G carece de factores de tipo E
8
. La ultima parte de la prueba (el
caso de tipo E
8
) es debida a V. I. Chernusov (1989). M as generalmente, para
todo cuerpo de n umeros algebraicos k y para todo grupo algebraico lineal G
semisimple y simplemente conexo, la aplicaci on H
1
(k, G)
v real
H
1
(k
v
, G)
es biyectiva (principio de Hasse), de acuerdo asimismo con una conjetura de
Serre. Una exposici on detallada se encuentra en V. Platonov y A. Rapinchuk
(1991).
El estudio de la cohomologa de Galois de los grupos lineales semisimples
es reemprendido por Serre en el curso [153(1990/91)]. Uno de sus objetivos
es hacer explcitas relaciones existentes entre el conjunto de cohomologa no
abeliana H
1
(k, G) y ciertos grupos de cohomologa de Galois H
i
(k, C). Consi-
deremos dados: un grupo algebraico liso y lineal G, denido sobre un cuerpo
k
0
; un entero i 0; y un m odulo de Galois C sobre k
0
, de orden primo con la
caracterstica de k
0
. Un invariante cohomol ogico de tipo H
i
(, C) es, por de-
nici on, un morsmo del functor H
1
(k, G) en el functor H
i
(k, C), denido sobre
la categora de las extensiones k de k
0
. Supongamos que la caracterstica de k
es distinta de 2. Las clases de Stiefel-Whitney w
i
: H
1
(k, O(q)) H
i
(k, C
2
);
el invariante de Arason a : H
1
(k, Spin(q)) H
3
(k, C
2
); el invariante de
Merkurjev-Suslin ms : H
1
(k, SL
D
) H
3
(k,
2
n
), as como los invariantes de
Rost, que se denen para los distintos grupos lineales simplemente conexos,
proporcionan ejemplos de la situaci on anterior. Serre estudia el comportamien-
to de estos invariantes por torsi on y, con ayuda de los mismos, proporciona
descripciones ad hoc de los conjuntos H
1
(k, G).
E. Bayer y H. W. Lenstra (1990) haban obtenido un criterio cohomol ogico
necesario para la existencia de bases normales autoduales en algebras de Ga-
lois. Criterios sucientes para la existencia de tales bases fueron obtenidos
por E. Bayer y Serre [163(1994)]. Dados un grupo nito G y un G-m odulo
M, una clase x de H
q
(G, M) se denomina negligible si, para todo cuerpo k y
todo homomorsmo continuo : Gal(k
s
/k) G, se tiene que
(x) = 0 en
H
q
(k, M). En la obtenci on de los criterios mencionados, el concepto de clase
de cohomologa negligible juega un papel destacado.
En el curso [165(1993/94)], Serre prosigue el estudio de las clases de
cohomologa negligibles y asocia invariantes cohomol ogicos a algebras etales.
Por ejemplo, si E es una algebra etale de rango n sobre un cuerpo k de carac-
terstica ,= 2, la forma traza q
E
= Tr(x
2
) es una forma cuadr atica no degenera-
da; las clases de Stiefel-Whitney w
i
(q
E
) H
i
(k, C
2
) proporcionan invariantes
cohomol ogicos. Serre demuestra que son, esencialmente, los unicos. Mediante
el uso de estos invariantes obtiene una caracterizaci on de la forma traza en
rango 7. Concluye con la siguiente aplicaci on al problema de E. Noether:
dada la extensi on central no trivial del grupo alternado

A
7
= 2A
7
, y dado un
subgrupo G de

A
7
incluido en un grupo simetrico S
N
, entonces el subcuerpo
de G-invariantes de Q(T
1
, . . . , T
N
) no es una extensi on transcendente pura de
Q.
La presentaci on de progresos recientes sobre cohomologa de Galois, as
como la formulaci on de algunos de sus problemas abiertos, fueron el objeto de
la exposici on de Serre [166(1995)], en el Seminaire Bourbaki. En ella Serre
considera grupos algebraicos, lisos y lineales, denidos sobre un cuerpo k. A
todo grupo G semisimple y conexo cuyo sistema de races sobre k
s
sea irredu-
cible, Serre asocia un conjunto de n umeros primos, S(G), que desempe nan un
papel especial en el estudio del conjunto de cohomologa H
1
(k, G) y en el de
sus invariantes cohomol ogicos. Por ejemplo, todos los divisores del orden del
centro del recubrimiento universal

G de G est an incluidos en S(G). Un teo-
rema de J. Tits (1992) asegura que, para toda clase x H
1
(k, G), existe una
extensi on k
x
/k de grado S(G)-primario que anula x (es decir, tal que x es cero
en H
1
(k
x
, G)). Serre se pregunta si, dadas extensiones nitas k
i
/k cuyos gra-
dos sean primos con S(G), es cierto que la aplicaci on H
1
(k, G)
H
1
(k
i
, G)
es inyectiva. Serre presenta la resoluci on de R. Steinberg de la conjetura I,
para cuerpos perfectos de dimensi on cohomol ogica 1 y G conexo, as como
extensiones y variantes de la misma que hacen referencia a un cuerpo base
imperfecto o bien que exigen, unicamente, cd
p
(G) 1 para todo p S(G).
Serre menciona los casos en que la conjetura II ha sido probada: grupos de tipo
SL
D
asociados a los elementos de norma 1 de una k- algebra central y simple
D, de rango n
2
(llamados tambien de tipo A
n
interior), por A. S. Merkurjev
y A. Suslin (1983, 1985); grupos de espinores (en particular, todos los de tipo
B
n
), por A. S. Merkurjev; los grupos cl asicos (salvo un caso D
4
), por E. Bayer
y R. Parimala (1995); y grupos de tipo G
2
y F
4
, por el propio Serre. En con-
clusi on, la conjetura II queda pendiente para los tipos E
6
, E
7
, E
8
y en un caso
de tipo D
4
.
LA GACETA 229
GRUPOS ARITM
ETICOS. SUBGRUPOS DE CONGRUENCIA

El estudio de los subgrupos de congruencia de un grupo aritmetico se
remonta a F. Klein. De hecho, Klein saba que el grupo modular SL
2
(Z) posee
muchos subgrupos de ndice nito que no son subgrupos de congruencia.
Consideremos un cuerpo global k y un conjunto nito S de plazas de k;
supondremos que S contiene el conjunto S
de todas las plazas arquimedianas

de k. Sea O el anillo de S-enteros de k y denotemos por A
k
y A
S
k
los anillos
de adeles y de S-adeles de k, respectivamente. Escribiremos A
f
k
para denotar
el anillo de las adeles nitas de k, obtenido al tomar S = S
. Dado un grupo
algebraico lineal G denido sobre k, consideraremos jada una representaci on
el G GL
n
. Sea := G(k) GL
n
(O).
En G(k) se distinguen dos tipos de subgrupos: los subgrupos S-aritmeticos
y los subgrupos de S-congruencia. Un subgrupo
G(k) se denomina S-
aritmetico si
es de ndice nito en y en
.
Sean q O un ideal y GL
n
(O, q) := ker(GL
n
(O) GL
n
(O/q)). Dena-
mos
q
:= GL
n
(O, q). Un subgrupo
se denomina de S-congruencia
si contiene un subgrupo
q
, para alg un ideal q ,= 0.
Puesto que todo subgrupo de S-congruencia es S-aritmetico, se tiene un
homomorsmo de grupos topol ogicos :

G(k) G(k), en donde

G(k) de-
nota el completado de G(k) por la topologa denida por los subgrupos de
S-congruencia y G(k), por los subgrupos S-aritmeticos. El grupo G(k) se iden-
tica con la adherencia de G(k) en G(A
f
k
). Sea C
S
(G) el n ucleo de . El grupo
C
S
(G), que coincide con ker()[(
), es pro-nito y es un epimorsmo.
El problema de los subgrupos de S-congruencia plantea la caracterizaci on
de los grupos G para los cuales es un isomorsmo. Cuando G es un toro o
un grupo algebraico lineal unipotente, el problema tiene respuesta armativa.
Cuando G es un grupo algebraico lineal no simplemente conexo, el proble-
ma tiene respuesta negativa. Los grupos de Chevalley proporcionan un marco
adecuado para el estudio del problema de los subgrupos de congruencia. (Re-
cordemos que un grupo algebraico lineal se denomina de Chevalley si posee
un toro que descompone sobre k cuya dimensi on es igual al rango de G.)
H. Bass, J. Milnor y Serre [74(1967), 103(1975)] precisaron la conjetura
de los subgrupos de S-congruencia en la forma siguiente: Para todo grupo G de
Chevalley de rango 2, simplemente conexo y simple, la extensi on de grupos
1 C
S
(G(k))

G(k) G(k) 1 es central y, adem as, C
S
(G) = (k), si k
es totalmente imaginario, y C
S
(G) = 1, en caso contrario. Aqu (k) denota
el subgrupo de k
formado por las races de la unidad. Si S = S
, se habla,
simplemente, de la conjetura de los subgrupos de congruencia.
Previamente, H. Bass, M. Lazard y Serre [61(1964)] haban probado que
todo subgrupo de ndice nito de SL
n
(Z), n 3, o de Sp
2n
(Z), n 2, es
un subgrupo de congruencia. El mismo resultado fue obtenido, de manera
independiente, por J. Mennicke. La demostraci on de Bass, Lazard y Serre, por
inducci on sobre n 3, utiliza metodos de teora K algebraica y se basa en el
c alculo previo de la cohomologa de los grupos pro-nitos SL
2
(Z
p
), Sp
2n
(Z
p
)
con coecientes en Q/Z y en Q
p
/Z
p
. Los resultados de M. Lazard relativos a
la cohomologa de grupos de Lie p- adicos son asimismo necesarios.
En [74(1967)] H. Bass, J. Milnor y Serre prueban la conjetura de los
subgrupos de congruencia cuando k es un cuerpo de n umeros algebraicos,
G = SL
n
, n 3, y G = Sp
2n
, n 2. Para ello determinan los correspondientes
smbolos de Mennicke universales asociados a estos grupos y al anillo de enteros
de un cuerpo k totalmente imaginario. El c alculo de los smbolos de Mennicke
puede ser efectuado gracias al conocimiento explcito de leyes de reciprocidad
y smbolos de restos de normas, propios de la teora de cuerpos de clases, as
como de otros teoremas fundamentales en teora de n umeros.
Como generalizaci on de una construcci on de grupos metaplecticos, debida
a A. Weil (1964), C. Moore (1964) haba sugerido la existencia de una posi-
ble sucesi on exacta 1 (k)

G G(A
k
) 1, que descompone sobre
G(k) G(A
k
), de n ucleo pro-nito contenido en el centro de

G, y univer-
sal con respecto de estas propiedades. Al considerar la clase de cohomologa
en H
2
(G(A
k
), (k)) que corresponde a la sucesi on exacta anterior, la conje-
tura metaplectica puede formularse cohomol ogicamente. En [74(1976)] se
demuestra la equivalencia de la conjetura de los S-subgrupos de congruencia,
cuando k es un cuerpo de n umeros algebraicos totalmente imaginario, con la
conjunci on de dos conjeturas: la conjetura metaplectica y la conjetura que
arma que el subgrupo C
S
(G) est a contenido en el centro de

G(k).
La soluci on del problema de los subgrupos de congruencia para el ca-
so en que G es un grupo de Chevalley que descompone fue obtenida por
H. Matsumoto (1966, 1969), utilizando los resultados conocidos para SL
3
, Sp
4
.
El problema de los subgrupos de congruencia, as como su conexi on con la
teora de Moore de los recubrimientos universales de G(A
f
k
), fueron presenta-
dos por Serre en el Seminaire Bourbaki [77(1966/67)].
Serre [86(1970)] trata el problema de los subgrupos de S-congruencia
para SL
2
y k un cuerpo global. Si #S 2, demuestra que la respuesta es
casi armativa, por cuanto que C
S
(SL
2
) es un grupo nito cclico. Si #S = 1,
demuestra que el problema tiene respuesta esencialmente negativa, por cuanto
que C
S
(SL
2
) es un grupo innito; la innitud resulta de que
ab
es innito.
La demostraci on es muy interesante; en el caso #S = 1 utiliza metodos de
aritmetica sosticados (que incluyen la teora de cuerpos de clases); en el caso
#S > 1 utiliza herramientas topol ogicas. Daremos a continuaci on algunos
detalles de la misma.
En el caso #S 2, Serre demuestra que C
S
(G) est a contenido en el
centro de

G(k) y utiliza la teora de C. Moore. La nitud de C
S
(SL
2
) implica
consecuencias importantes. As, dados un subgrupo S-aritmetico N SL
2
(O),
un cuerpo K de caracterstica cero y una representaci on : N G(K),
existe un subgrupo N
1
N tal que la restricci on de a N
1
es algebraica.
La representaci on es semisimple. Para todo k[N]-m odulo V de rango nito
sobre K, se satisface que H
1
(N, V ) = 0; en particular, al tomar por V la
representaci on adjunta de N, se obtiene que N es rgido.
LA GACETA 231
Si #S = 1, la demostraci on distingue tres casos: caract(k) = p > 0,
k = Q, k cuerpo cuadr atico imaginario. En el caso de caracterstica p, Serre
utiliza el espacio simetrico asociado al grupo SL
2
(k
v
), en donde k
v
denota
el completado de k en la unica plaza perteneciente a S. El grupo PGL
2
(k
v
)
opera de manera natural en un arbol X cuyos vertices se corresponden con
las clases de homotecia de O
v
-redes de k
2
. El arbol X desempe na entonces
el mismo papel que el semiplano de Poincare para el grupo PGL
2
(R). El
grupo opera en X y los estabilizadores de los vertices de X proporcionan
los subgrupos compactos maximales de PGL
2
(k
v
). Al ser X contr actil, la
homologa de se relaciona con la homologa del grafo cociente X/. En el caso
cuadr atico imaginario y G = SL
2
, X es el espacio hiperb olico de dimensi on
3 y X/ resulta ser una variedad de dimensi on 3, orientable y no compacta.
Serre utiliza y describe una compacticaci on can onica, debida a A. Borel, del
espacio de Riemann simetrico X asociado a G(C), v alida para todo grupo
algebraico lineal G simple sobre R y de R-rango igual a 1. El borde de X es
una suma disjunta de toros E
i
(curvas elpticas) que admiten el cuerpo k como
cuerpo de multiplicaci on compleja. Puesto que X es contr actil, la homologa
de y la de X/ se identican. La informaci on obtenida permite el estudio
de SL
2
(O)
ab
.
En los artculos [62(1964), 89(1971)], Serre trata el problema de los
grupos de congruencia para las variedades abelianas. Demuestra que si A es
una variedad abeliana denida sobre un cuerpo de n umeros algebraicos k, todo
subgrupo de congruencia de A(k) es dendice nito. Para alcanzar el resultado,
demuestra la anulaci on de los grupos de cohomologa de ciertas algebras de
Lie p- adicas asociadas a A. Volveremos sobre esta cuesti on m as adelante.
COHOMOLOG
IA DE GRUPOS ARITM
ETICOS
El curso [84(1968/69)] vers o sobre grupos discretos. Una parte de su
contenido aparecera publicado en el libro Arbres, amalgames, SL
2
[AA(1977)];
otra, en los trabajos [83(1969), 88(1971)]. Las notas del curso fueron toma-
das por H. Bass, que colabor o en la edici on del libro. Serre muestra c omo se
puede reconstruir un grupo G que opera en un arbol X a partir del cociente
X/G y de los estabilizadores de los vertices y de las aristas. En particular, si es-
tos estabilizadores son triviales, G es libre. Los resultados se aplican al estudio
de los grupos SL
2
(k), en donde k es un cuerpo local. El grupo SL
2
(k) opera
sobre el arbol asociado al espacio k
2
. De esta forma, Serre obtiene un teorema
de Y. Ihara por el cual todo subgrupo discreto y sin torsi on de SL
2
(Q
p
) es
libre.
Sean k un cuerpo global y S un conjunto nito de plazas de k. Sea L
un grupo algebraico, lineal y reductivo, denido sobre k. Serre [83(1969),
88(1971)] aborda el estudio de la cohomologa de los subgrupos S-aritmeticos
contenidos en L(k). Para ello, el grupo se interpreta como un subgrupo dis-
creto de un producto nito G =
de grupos de Lie (reales o ultrametricos).

La principal herramienta viene dada por los inmuebles de Bruhat-Tits asocia-
dos a los grupos de Lie v- adicos L(k
v
), v SS
. Los resultados m as impor-

tantes hacen referencia a acotaciones de la dimensi on cohomol ogica cd(), a
propiedades de nitud, y a la caracterstica de Euler-Poincare ().
A. Borel y Serre [90(1970)] prueban que si G es un grupo algebraico,
lineal, reductivo y conexo, denido sobre Q, carente de caracteres no triviales,
se puede asociar a G una variedad compacta, X, cuyo interior, X, es un espacio
homogeneo por la derecha de G(R) isomorfo a un cociente KG(R), en donde
K denota un subgrupo compacto maximal de G(R). El borde X es del mismo
tipo de homotopa que el inmueble de Tits T(T) denido por el conjunto T de
los subgrupos parab olicos de G. T(T) es un complejo simplicial cuyas caras se
corresponden con los elementos P T. Todo subgrupo aritmetico G(Q)
opera propiamente sobre X y el cociente X/ es compacto. Si es sin torsi on,
la cohomologa de se identica con la de X/ y verica una cierta forma
de dualidad; en particular, la dimensi on cohomol ogica de viene dada por
cd() = dim(X) rg
Q
(G). Si G = SL
n
, el espacio X es, esencialmente, un
espacio denido por C. L. Siegel, que resulta de adjuntar a X puntos frontera
y puntos ideales por medio de la teora de la reducci on de formas cuadr aticas.
A. Borel y Serre [91(1971)] estudian el caso S-aritmetico. Demuestran
un teorema de dualidad para la cohomologa de los grupos S-aritmeticos y
determinan la dimensi on cohomol ogica de estos grupos. Borel y Serre parten
de un grupo algebraico lineal G semisimple, denido sobre un cuerpo local K.
El grupo G(K) se dota de una estructura de sistema de Tits (G(K), B, N, S).
El grupo de Weyl W = N/(B N) es un grupo de Coxeter nito de rango
igual al rango de G sobre K. El grupo G(K) opera en el inmueble de Tits
Y asociado al sistema de Tits. Si X denota el inmueble de Bruhat-Tits de
G, el espacio X Y
top
compactica X y es contr actil. La cohomologa con
soporte compacto de X viene entonces dada por H
i
c
(X, Z)

H
i
(Y
top
, Z).
Sean ahora G un grupo algebraico semisimple sobre un cuerpo de n umeros
algebraicos k y G(k) un subgrupo S-aritmetico. es un subgrupo discreto
de
vS
G(k
v
) y las construcciones anteriores permiten asociar a G un espacio
X
S
= X
vS\S
X
v
, en el que G(k) y, a fortiori, operan. X
v
es el
inmueble de Bruhat-Tits de G sobre k
v
; X
es la variedad compacta asociada

al grupo algebraico Res
k/Q
(G), obtenido por restricci on de escalares. Sean
d = dim(X
), m = dim(X
S
) = d +
vS\S
v
, en donde ,
v
denotan
el rango de G sobre k, k
v
, respectivamente. Si es sin torsi on, Borel y Serre
obtienen que H
q
(, M) H
mq
(, I
S
M), para todo -m odulo M y todo
entero q, siendo el m odulo dualizador I
S
= H
m
c
(X
S
, Z) libre sobre Z. Adem as,
cd() = m y el grupo H
q
(, Z()) es igual a 0, si q ,= m; e igual a I
S
, si
q = m. Las demostraciones se encuentran en dos trabajos de A. Borel y J-P.
Serre reproducidos en las uvres de A. Borel (n. 98 (1973) y n. 105 (1976)).
En Serre [120(1979)] se encuentra una relaci on de resultados sobre gru-
pos aritmeticos.
LA GACETA 233
M
ODULOS DE HODGETATE
El trabajo [72(1966)] corresponde a la ponencia presentada por Serre en
la conferencia sobre cuerpos locales de Driebergen (Bruselas). Tomemos como
cuerpo base un cuerpo local K de caracterstica 0 cuyo cuerpo residual sea de
caracterstica p > 0, y sea C
p
la completaci on de una clausura algebraica de
K. La teora de los grupos p-divisibles generaliza la de los grupos formales.
Si T es el m odulo de Tate asociado a un grupo p-divisible F denido sobre el
anillo de los enteros de K, un bello (y util) resultado de J. Tate arma que
C
p
T posee una descomposici on an aloga a la de Hodge para la cohomologa
compleja. Propiedades de T como m odulo de Galois resultan estar implcitas
en ella. Bajo hip otesis de semisimplicidad convenientes, Serre demuestra que,
si G es el grupo de Galois que opera en T, la envolvente algebraica de G
contiene un grupo de Mumford-Tate p- adico. Si se supone que End(F) = Z
p
,
y bajo hip otesis suplementarias, Serre demuestra que el grupo G es abierto en
Aut(T). El teorema es aplicable si F es un grupo formal uniparametrico que
no admite multiplicaci on compleja formal.
Las descomposiciones de Hodge-Tate seran utilizadas asimismo en el libro
[McGill (1968)], del que hablaremos en la secci on siguiente.
En [119(1979)] Serre destaca que el subgrupo de inercia del grupo de
Galois que opera en un m odulo de Hodge-Tate sobre un cuerpo local es casi-
algebraico, en el sentido que es abierto en un cierto subgrupo algebraico H
V
del grupo lineal GL
V
. En dos casos importantes, Serre determina la estructura
de la componente neutra H
0
V
de H
V
. En el caso conmutativo, H
0
V
es un toro.
Si los unicos pesos de V son 0 y 1, los factores simples de H
0
V
son de tipo
cl asico: A
n
, B
n
, C
n
, D
n
.
CURVAS EL
IPTICAS Y REPRESENTACIONES ADICAS

Serre imparti o varios cursos sobre curvas elpticas. Tres de ellos lo fueron
en el Collège de France [67(1964/65), 71(1965/66), 93(1970/71)]; y uno, en
la Universidad de McGill (Montreal), en 1967. En ellos present o abundante
material inedito, que se integrara en los trabajos [70(1966), 94(1972)] y el
libro Abelian -adic representations and elliptic curves [McGill (1968)].
El curso [67(1964/65)] tuvo un car acter b asico. En el, Serre estudi o
propiedades generales de las curvas elpticas: estructura del anillo de endomor-
smos, reducci on, m odulos de Tate, curvas elpticas de multiplicaci on comple-
ja, etc. Sean E curva elptica denida sobre un cuerpo k y sea un entero
primo con la caracterstica de k. El m odulo de Tate de E se dene como
T
(E) := lim
E[
n
](k
s
). El grupo de Galois Gal(k
s
/k) opera en T
(E) y en
el Q
-espacio vectorial V
(E) = Q
(E). Consideremos la representaci on

- adica asociada
: Gal(k
s
/k) Aut(T
) GL
2
(Z
). La imagen G
de
es un subgrupo de Lie - adico de Aut(T
). Sea g
el algebra de Lie de G
. La
extensi on de Galois asociada a G
se obtiene adjuntando al cuerpo k las

Conferencia de J.-P. Serre en el congreso
Finite Fields and Applications, University of Augsburg, 1999.
Fotografa cortesa de A. Travesa
coordenadas de todos los puntos de E(k) de orden una potencia de . Los
m odulos de Tate T
no son m as que casos particulares de grupos de homologa

- adica asociados a toda variedad algebraica.
Supongamos que k es un cuerpo de n umeros algebraicos. Si la curva E es
de multiplicaci on compleja; es decir si existen un cuerpo cuadr atico imaginario
F y un homomorsmo de anillos F QEnd
k
(E), entonces el grupo G
es
abeliano siempre que F k (y no abeliano en el caso contrario). Si F k, la
acci on de Gal(k/k) sobre T
(E) se efect ua por medio de un Gr ossencharakter

cuyo conductor tiene por soporte el conjunto de plazas de mala reducci on
de E (resultado debido a M. Deuring). Las curvas elpticas de multiplicaci on
compleja permiten hacer efectiva la teora global de cuerpos de clases sobre
cuerpos cuadr aticos imaginarios. Un resumen de la teora de la multiplicaci on
compleja cl asica se encuentra en el artculo [76(1967)].
Por medio de espacios brados cuyas bras son curvas elpticas de multi-
plicaci on compleja, Serre [63(1964)] construye ejemplos de variedades pro-
yectivas, no singulares y conjugadas en el sentido de la teora Galois, pero con
grupos fundamentales no isomorfos.
Serre [70(1966)] estudia los grupos de Lie - adicos y las algebras de Lie
- adicas asociadas a curvas elpticas denidas sobre un cuerpo k de n umeros
algebraicos y sin multiplicaci on compleja. El teorema central del artculo ar-
ma que g
= End(V
), cuando el cuerpo base es el cuerpo racional Q. En su

demostraci on, Serre utiliza h abilmente resultados sobre algebras de Lie y gru-
LA GACETA 235
pos de Lie - adicos; sobre el invariante de Hasse-Witt de las curvas elpticas;
propiedades de grupos pro-algebraicos; existencia de elevaciones can onicas de
curvas ordinarias en caracterstica p; control de las sub algebras de Lie de los
grupos de ramicaci on; el teorema de densidad de Chebotarev; teora de cuer-
pos de clases; teora de Hodge-Tate, etc. Serre observa que, de ser cierta una
conjetura de J. Tate, podra llevarse a cabo la determinaci on de g
cuando el
cuerpo base es un cuerpo de n umeros algebraicos arbitrario. La conjetura de
Tate en cuesti on sera probada por G. Faltings (1983), en el celebre trabajo en
que prob o la conjetura de Mordell y que le vali o, en 1986, la medalla Fields.
En el mismo trabajo, [70(1966)], Serre demuestra que el conjunto de
plazas de k en las que una curva E sin multiplicaci on compleja tiene reducci on
supersingular es de densidad igual a cero en el conjunto de todas las plazas de
k; lo cual no es obst aculo para que este conjunto de plazas sea innito; Serre
opina que este podra ser muy bien el caso. S. Lang y H. Trotter (1976) conje-
turaron una f ormula (no demostrada todava) para la frecuencia de los primos
supersingulares. N. D. Elkies (1987) probara que para toda curva elptica de-
nida sobre Q, existen innitos primos de reducci on supersingular, de acuerdo
con la opini on de Serre.
Los resultados y las demostraciones de [70(1966)] seran mejorados en
[McGill] y en el curso [71(1965/66)]. En el captulo I de [McGill], Serre
considera representaciones - adicas del grupo de Galois absoluto Gal(k
s
/k) de
un cuerpo k y, cuando k es un cuerpo de n umeros, dene los conceptos de
representaci on - adica racional, y de sistema compatible de representaciones
- adicas racionales. Estas nociones se remontan a Y. Taniyama (1957). Serre
establece conexiones entre problemas de equidistribuci on de clases de con-
jugaci on de elementos de Frobenius y propiedades analticas de funciones L
asociadas a sistemas compatibles de representaciones - adicas racionales.
En [McGill] la teora de la multiplicaci on compleja es presentada desde
un punto de vista cercano a la teora de motivos. En el captulo II, haciendo
abstracci on de situaciones provenientes de la teora global de cuerpos de cla-
ses, Serre logra asociar a todo cuerpo de n umeros algebraicos k una familia
proyectiva (S
m
) de grupos algebraicos conmutativos denidos sobre Q. Para
cada m odulo m de k, existe una sucesi on exacta de grupos algebraicos conmu-
tativos 1 T
m
S
m
C
m
1, en la cual C
m
es un grupo nito y T
m
es un
toro. Los caracteres de S
m
son, esencialmente, los Gr ossencharakteren de tipo
A
0
, en el sentido de A. Weil, que intervienen en la teora de la multiplicaci on
compleja, y de conductor m. Serre describe el grupo de caracteres X(T
m
).
En el captulo III de [McGill] se considera el concepto de representaci on
- adica abeliana localmente algebraica. Serre demuestra que las representacio-
nes lineales en el sentido algebraico de la familia (S
m
) proporcionan la fuente
de todos los sistemas compatibles de representaciones - adicas racionales y
abelianas de k que son localmente algebraicas. Cuando el cuerpo de n umeros
algebraicos k se obtiene por composici on de cuerpos cuadr aticos, Serre demues-
tra que toda representaci on - adica, racional, semisimple y abeliana asociada a
k es localmente algebraica. Serre basa la demostraci on de este ultimo resulta-
do en teoremas de transcendencia de C. L. Siegel y de S. Lang. Observa que la
conclusi on anterior es probablemente v alida para cualquier cuerpo de n umeros
algebraicos. Teoremas de transcendencia probados por M. Waldschmidt (1986)
permitiran extender el teorema de Serre a todo cuerpo de n umeros algebrai-
cos.
En el captulo IV de [McGill] se estudian las representaciones - adicas
asociadas a curvas elpticas. Serre demuestra que, para toda curva elptica E
sin multiplicaci on compleja denida sobre un cuerpo de n umeros algebraicos
k, es g
= End(V
). En ultima instancia, la demostraci on resulta de una h abil

combinaci on de un teorema de nitud de I. Shafarevich con las propiedades an-
tes mencionadas de las representaciones - adicas de k, abelianas y localmente
algebraicas.
Serre demuestra asimismo que, si E es una curva elptica denida sobre
un cuerpo de n umeros algebraicos k tal que su invariante j no es un entero de
k, entonces el grupo G := Im, =
, es abierto en

GL
2
(Z
). Equiva-
lentemente, se satisface que G
= GL
2
(Z
), para casi todo . Posteriormente,

Serre eliminara la condici on sobre el invariante modular j.
Asimismo, se demuestra en [McGill] que, si E, E
son curvas elpticas de-

nidas sobre un cuerpo de n umeros k, cuyos invariantes j(E), j(E
) no son
enteros algebraicos y cuyos Gal(k/k)-m odulos V
(E), V
(E
) son isomorfos,
entonces E y E
son is ogenas sobre k. Este resultado probaba, en un caso par-

ticular, una conjetura de J. Tate. El caso general sera probado por G. Faltings
(1983).
Los resultados anteriores seran mejorados en el artculo Proprietes galoi-
siennes des points dordre ni des courbes elliptiques [94(1972)], que Serre
publica en honor de A. Weil. Los resultados del mismo haban sido expues-
tos en el curso [93(1970/71)]. El artculo [94(1972)] aporta, respecto de
[McGill], una notable mejora en el estudio de la variaci on con de los gru-
pos G
. Serre demuestra que, para toda curva elptica E denida sobre un

cuerpo de n umeros algebraicos k, y sin multiplicaci on compleja, se satisface
que G
= Aut(T
(E)), para casi todo . Equivalentemente, se satisface que

Gal(k[E
]/k) GL
2
(F
), para casi todo . Es decir, elimina, respecto de [Mc-

Gill], la condici on sobre el invariante j. La demostraci on de este teorema se
basa en resultados de naturaleza local, relativos a la acci on de la inercia mode-
rada sobre los puntos de orden nito de las curvas elpticas. Esta acci on se hace
a traves de productos de caracteres fundamentales afectados por exponentes
que permanecen acotados por el ndice de ramicaci on del cuerpo local que
se considera. La existencia de estas cotas juega un papel similar a la hip otesis
de algebraicidad local que haba considerado en [McGill]. La demostraci on del
teorema requiere, asimismo, informaci on acerca de los subgrupos de GL
2
(F
).
En el artculo anterior, Serre plantea ciertas cuestiones de efectividad, que
podran resolverse caso de poseer formas efectivas del teorema de densidad de
Chebotarev. Incluye ejemplos numericos en que se calculan todos los n umeros
primos para los cuales Gal(k[E
]/k) , GL
2
(F
).
El estudio de los sistemas de representaciones - adicas, en especial de los
provenientes de la cohomologa - adica, fue el tema del curso [109(1975/76)].
Sea K un cuerpo de caracterstica cero, completo por una valoraci on discreta
LA GACETA 237
de cuerpo residual algebraicamente cerrado de caracterstica p > 0 y sea X una
variedad proyectiva y no singular denida sobre K. Serre hace notar que no
se sabe si los m odulos de Galois H
m
(X, Q
p
) son de Hodge-Tate, para todo m.
Es cierto si m 2, gracias a teoremas de J. Tate y M. Raynaud; y de M. Artin
y B. Mazur. Es de destacar que, en el resumen del curso, Serre menciona que
si A es una supercie abeliana tal que End(A) es un orden de un cuerpo de
cuaterniones D denido sobre Q, entonces el grupo (Gal(Q/Q)), =
, es
abierto en D
(A
f
). Cuando el orden O es maximal, este resultado haba sido
obtenido tambien por M. Ohta (1974), siguiendo las pautas de Serre.
FORMAS MODULARES Y REPRESENTACIONES ADICAS
El estudio de las representacions de Galois - adicas aparece en la obra
de Serre bajo prismas diversos. En la secci on anterior hemos visto que tales
representaciones surgen de manera natural en el estudio de los m odulos de
Tate asociados a las curvas elpticas. En esta secci on veremos que lo propio
ocurre en el estudio aritmetico de las formas modulares. En la secci on siguiente
trataremos el caso de las variedades abelianas.
En el Seminaire Delange-Pisot-Poitou [80(1967/68)], Serre haba hecho
la notable observaci on que ciertas congruencias satisfechas por la funci on de
Ramanujan hallaran una explicaci on natural caso de existir, para todo primo
, un Q
de dimensi on 2 y una representaci on lineal y

continua
: Gal(Q/Q) Aut(V
), no ramicada fuera de , que satisciera

las condiciones Tr(
(F
p
)) = (p), det(
(F
p
)) = p
11
, para todo elemento
de Frobenius F
p
, en un primo p ,= . La supuesta representaci on - adica,
caso de existir, dejara estable una red de V
, por lo que se podra considerar

valorada en GL
2
(Z
). Al variar los distintos primos , las representaciones
anteriores constituiran un sistema compatible de representaciones - adicas

racionales de Q, en el sentido de [McGill]. Las im agenes de
, al variar los
distintos , seran, casi siempre, lo m as grande posible. Los primos en los
cuales ello no ocurriera, en n umero nito, constituiran los llamados primos
excepcionales. Las congruencias se obtendran por reducci on (mod ) de las
representaciones - adicas en los primos excepcionales. Concretamente, en el
caso de la funci on , los primos excepcionales seran: 2, 3, 5, 7, 23, 691. Existen
f ormulas bien conocidas que proporcionan el valor de (n) (mod ) cuando
es uno de los primos anteriores. Por ejemplo: (p) 1 + p
11
(mod 691),
congruencia descubierta por el propio S. Ramanujan. De ser cierta la conjetura
Serre, para todo primo no excepcional, y para todo primo p ,= , el valor
(p) (mod ) no se podra deducir de una congruencia sobre p (mod ).
Funciones aritmeticas diversas se recuperan a traves de los coecientes
de Fourier de funciones modulares o de formas modulares. Una introducci on
al estudio de las formas modulares, con respecto del grupo modular SL
2
(Z),
se encuentra en el libro Cours dArithmetique [CA (1970)]. El libro (que en
su primera edici on tena un formato 11 cmx 17.6 cm y vala s olo 12 fran-
cos) es producto de dos cursos impartidos por Serre, en 1962 y 1964, en la
Ecole Normale Superieure. Incluye, asimismo, captulos de introducci on a los

n umeros p- adicos, formas cuadr aticas (racionales, y enteras de discriminante
1), metodos analticos, etc. En el a no 1995, Serre reciba el premio Leroy
P. Steele de exposici on matem atica por la redacci on de este delicioso texto.
Las observaciones de Serre sobre la funci on de Ramanujan impulsaran
los trabajos de P. Deligne (1971) sobre representaciones asociadas a formas
modulares, el estudio de las formas modulares m odulo p, de las formas modu-
lares p- adicas, as como el trabajo de H. P. F. Swinnerton-Dyer (1973) sobre el
tema. Los resultados de H. P. F. Swinnerton-Dyer fueron expuestos por Serre
en el Seminaire Bourbaki [95(1971/72)]. El estudio de las formas modula-
res p- adicas fue emprendido por Serre en el artculo [97(1973)], dedicado
a C. L. Siegel. En el se relacionan las formas modulares p- adicas con funcio-
nes zeta p- adicas de la teora de Iwasawa (cf. [41(1958/59)]). Uno de los
resultados m as novedosos del artculo es que si K es un cuerpo de n umeros
totalmente real, los valores en los enteros negativos de su funci on zeta de De-
dekind,
K
(s), (que son racionales, por un teorema debido a Siegel) pueden
interpolarse p- adicamente, de la misma manera que en la teora de Kubota-
Leopoldt, v alida unicamente para extensiones abelianas de Q. Los cursos [
96(1971/72), 98(1972/73)] versaron sobre este tema.
Bas andose en la existencia de representaciones - adicas asociadas a formas
modulares, Serre [100(1974), 108(1976)] demuestra que, dada una forma
modular f =

n=0
c
n
e
2inz/M
respecto de un subgrupo de congruencia del
grupo modular SL
2
(Z), y de peso entero k 1, entonces, para todo entero
m 1, el conjunto de los enteros n que satisfacen la congruencia c
n
0 (mod
m) es de densidad 1. La demostraci on utiliza un argumento analtico debido
a E. Landau. Dada una forma modular parab olica f =
a
n
q
n
, q = e
2iz
, sin
multiplicaci on compleja, de peso k 2, valor propio normalizado de todos los
operadores de Hecke y de coecientes en Z, Serre pregunta en [108(1976)] si
es cierto que el conjunto de los enteros n tales que a
n
,= 0 posee una densidad
> 0.
Serre y P. Deligne [101(1974)], en un artculo que dedican a H. Cartan,
demuestran que, mediante la transformada de Mellin, toda forma modular
nueva de peso 1 proporciona la funci on L de Artin de una representaci on lineal
compleja : Gal(Q/Q) GL
2
(C). Para la demostraci on de este teorema,
Serre y Deligne empiezan por construir, para todo primo , representaciones
de Galois (mod ), de imagen sucientemente peque na, lo cual les permite
elevarlas a caracterstica cero y obtener la representaci on compleja buscada.
En el trabajo se utiliza la existencia de representaciones - adicas asociadas
a formas modulares de peso k 2 para deducir un teorema de existencia
de representaciones (mod ) asociadas a formas modulares de peso k 1; la
peque nez de las representaciones (mod ) se establece gracias a una mayoraci on
en media de valores propios de operadores de Hecke. El conductor de Artin de
la representaci on compleja asociada coincide con el nivel de la forma modu-
lar. El artculo [101(1974)] se convirti o en una referencia b asica en el tema,
por cuanto que sus resultados permitieron vericar que ciertas funciones L
de Artin son enteras. Por otra parte, en el se pone de maniesto la validez
LA GACETA 239
de la conjetura de Ramanujan-Petersson en el caso de peso k = 1. Para peso
k 2, Ramanujan-Petersson resulta de la validez de las conjeturas de Weil
y de la existencia de representaciones - adicas asociadas a formas modulares.
(Ramanujan -Petersson controla el crecimiento en m odulo de los coecientes
de Fourier de las formas modulares parab olicas.) El estudio de las formas
modulares de peso k = 1 fue ilustrado por Serre en [110(1977)] con m ultiples
ejemplos numericos, facilitados por Tate.
En las Journees Arithmetiques de Burdeos del a no 1974, Serre fue el pri-
mer conferenciante. Su ponencia [104(1975)] vers o sobre los operadores de
Hecke (mod ). (Yo formaba parte de una desconcertada audiencia; era la pri-
mera vez que asista a un congreso internacional; todava conservo los apun-
tes.) Consideremos el algebra

M de las formas modulares (mod ) relativas al
grupo SL
2
(Z). Serre demostr o que los sistemas de valores propios (a
p
) de los
operadores de Hecke T
p
, p ,= , actuando en F
M son en n umero nito; es

decir, existe un peso k() tal que todo sistema de valores propios es realizable
por una forma de peso k(). La demostraci on se basa en la existencia de
una representaci on modular del grupo Gal(Q/Q) asociada a un tal sistema.
Serre calcula todos los sistemas (a
p
) que ocurren para los primos 23. En
Burdeos, Serre plante o una serie de problemas y de conjeturas que anticipa-
ban el que sera, al cabo de doce a nos, su gran trabajo [143(1987)] sobre
las representaciones de Galois modulares, pieza que result o ser clave para la
demostraci on del teorema de Fermat.
En [113(1977)] Serre y H. Stark demuestran que toda forma modular de
peso 1/2 es combinaci on lineal de series theta en una variable, respondiendo
as a una pregunta formulada por G. Shimura (1973).
En la memoria titulada Quelques applications du theorème de densite de
Chebotarev [125(1981)], Serre obtiene resultados de car acter efectivo, tanto
en el ambito de las curvas elpticas como en el de las formas modulares. Sus
resultados son de dos tipos: incondicionales o bien subordinados a la validez
de la hip otesis de Riemann generalizada (HRG). El trabajo en cuesti on, esen-
cialmente analtico, combina teoremas de efectividad debidos a J. C. Lagarias,
H. L. Montgomery y A. M. Odlyzko, y teoremas del propio Serre sobre represen-
taciones - adicas. Previamente, Serre necesita probar que el n umero de puntos
(mod
n
) de una variedad analtica - adica de dimensi on d es O(
nd
), para
n ; asimismo, necesita ampliar el teorema de Chebotarev a extensiones
de Galois innitas cuyo grupo de Galois sea un grupo de Lie - adico. A modo
de ejemplo, citaremos dos de las aplicaciones contenidas en el trabajo. Dada
una forma modular no nula f =

a
n
q
n
, valor propio de todos los operado-
res de Hecke y sin multiplicaci on compleja, Serre demuestra que la serie f no
es lagunar; es decir, si M
f
(x) designa el n umero de enteros n x tales que
a
n
,= 0, entonces existe una constante > 0 tal que M
f
(x) x para x .
Por el contrario, si f ,= 0 posee multiplicaci on compleja, existe una constante
> 0 tal que M
f
(x) x/(log x)
1/2
, para x . En ejemplos concretos,
Serre proporciona cotas de . Por otra parte, si E/Q es una curva elptica
sin multiplicaci on compleja y suponemos v alida (HRG), entonces existe una
constante absoluta c tal que el grupo de Galois G
de los puntos de -divisi on

de E es isomorfo a GL
2
(F
) para todo primo c(log N

E
)(log log 2N
E
)
3
, en
donde N
E
designa el producto de todos los primos de mala reducci on de E. En
la memoria, Serre pone de maniesto un total de 279 f ormulas que dependen
de (HRG), que no vamos a detallar.
La funci on de Dedekind es una forma modular parab olica de peso 1/2. En
el artculo [139(1985)], que Serre dedica a R. Rankin, trata la lagunaridad
de las potencias
r
. Si r es impar, se saba que
r
es lagunar si r = 1, 3. Si r es
par, se saba que
r
es lagunar si 2, 4, 6, 8, 10, 14, 26. Serre demuestra que, en el
caso r par, la lista anterior es completa. La demostraci on utiliza la existencia
de representaciones - adicas asociadas a formas modulares de peso entero.
El trabajo [143(1987)], dedicado a Y. I. Manin y titulado Sur les repre-
sentations modulaires de degre 2 de Gal(Q/Q), contiene una de las contribu-
ciones m as relevantes realizadas por Serre. En el Serre precisa las conjetu-
ras de [104(1975)], formuladas en Burdeos. Nos limitaremos a mencionar
las conjeturas (3.2.3
?
) y (3.2.4
?
) de [143(1987)]. Dada una representaci on
: Gal(Q/Q) GL
2
(F
p
), continua, irreducible y de determinante impar, la
conjetura (3.2.3
?
) arma la existencia de una forma modular parab olica f, de
coecientes en F
p
y funci on propia de los operadores de Hecke, cuya represen-
taci on
f
asociada es isomorfa a la representaci on de partida. La conjetura
(3.2.4
?
) precisa el tipo (N(), k(), ()) de la forma f de (3.2.3
?
): el nivel N()
debe ser igual al conductor de Artin de (da cuenta de la ramicaci on en los
primos ,= p); el car acter () debe coincidir con el determinante de ; el peso
conjetural k() da cuenta de la ramicaci on de en p, mediante los exponentes
de los caracteres de la inercia moderada y la acci on de la inercia salvaje. El
trabajo contiene ejemplos numericos para p = 2, 3, 7 en favor de la conjetura,
programados por J-F. Mestre. Algunos meses despues de la aparici on del traba-
jo, Serre modic o ligeramente las conjeturas para p = 2, 3 y, unicamente, en el
caso de representaciones de Galois de tipo diedral. Las conjeturas de Serre han
generado una abundante literatura; resultando (3.2.4
?
) mucho m as asequible
que (3.2.3
?
). Estas conjeturas implican, por si solas, el teorema de Fermat (y
variantes del mismo), as como la conjetura de Taniyama-Weil (TW) (y gene-
ralizaciones de la misma). Como es bien conocido, gracias a una idea de G. Frey
(1986), la demostraci on de una forma debil de la conjetura (3.2.4
?
), conocida
como conjetura epsilon, es suciente para probar la implicaci on TW en el caso
semiestable Fermat. La conjetura epsilon fue probada por K. Ribet (1990)
en un brillante trabajo. Tras el teorema de Ribet, para probar el teorema de
Fermat bastaba pues probar (TW) en el caso semiestable, circunstancia
que llev o a A. Wiles a encerrarse en el desv an.
La nota [145(1987/88)] contiene un resumen del curso impartido por
Serre sobre representaciones de Galois (mod p) y formas modulares (mod p).
En ella Serre relaciona las formas modulares m odulo p con cuaterniones. Dos
cartas de Serre sobre este tema, dirigidas a a J. Tate y a D. Kazhdan, se recogen
en [169(1996)].
LA GACETA 241
La estrategia general del trabajo de A. Wiles (1995), completado por
R. Taylor y A. Wiles (1995), sobre curvas elpticas modulares y el teorema
de Fermat, fue expuesta por Serre en el Seminaire Bourbaki [ 168(1996)].
En aquella ocasi on, Serre dijo no pretender haber vericado todos los detalles
tecnicos, qui sont essentiels, bien entendu.
VARIEDADES ABELIANAS Y REPRESENTACIONES ADICAS
Denotemos por A una variedad abeliana de dimensi on d, denida sobre
un cuerpo k. Dado un primo distinto de la caracterstica de k, el m odulo
de Tate, T
(A) = lim
A[
n
](k
s
), es un Z
-m odulo libre de rango 2d, al que se

asocia el Q
(A) = T
(A) Q
. La acci on del grupo de

Galois absoluto de k en el m odulo de Tate de A produce una representaci on
- adica
: Gal(k
s
/k) GL(T
(A)) = GL
2d
(Z
), la imagen de la cual, G
,
es un subgrupo compacto de GL
2
(Z
) y, por lo tanto, es un subgrupo de

Lie del grupo de Lie - adico GL(T
); su algebra de Lie, g
, es invariante por
extensiones nitas del cuerpo base. El algebra de Lie g
se identica con una

sub algebra de gl(V
), por lo que opera en V
. Se sabe que el rango de g
es
independiente de , pero se desconoce si ocurre lo mismo con la dimensi on de
g
.
Cuando k es un cuerpo de n umeros algebraicos, un teorema de A. Weil
garantiza que el grupo A(k) de sus puntos k-racionales es un grupo abeliano
nitamente generado. Como ya hemos mencionado, en [62 (1964)] Serre
pregunta si es cierto que todo subgrupo de ndice nito de A(k) contiene
un subgrupo de congruencia y transforma el problema de los subgrupos de
congruencia para las variedades abelianas en un problema sobre la cohomologa
de grupos de Lie - adicos. Serre demuestra que el problema tiene respuesta
armativa cuando A es, o bien una curva elptica, o bien una variedad abeliana
con sucientes multiplicaciones complejas. Daremos algunos indicios sobre la
prueba.
Sea End(A) el anillo de endomorsmos de A, del que supondremos que
todos sus elementos est an denidos sobre k. En tal caso, sus elementos con-
mutan con los elementos de Gal(k/k); por tanto, el algebra de Lie - adica g
est a contenida en el conmutador de End(A) en End(V
). Si A posee sucientes
multiplicaciones complejas, es decir, si QEnd(A) es una algebra conmutati-
va semisimple de rango 2d, entonces el conmutador de End(A) en End(V
) es
Q
End(A). Por tanto, g
est a incluida en Q
End(A), y g
es una algebra
abeliana.
En el caso general, toda polarizaci on de A da lugar a una forma bilineal
alternada y no degenerada B : V
p
(A) V
p
(A) V
p
(G
m
), que es invariante
por Gal(k
s
/k). Con ello, el grupo de Lie - adico G
es un subgrupo del grupo

de semejanzas simplecticas de B. Si sp denota el algebra de Lie del grupo
simplectico de B y c, el algebra de Lie de las homotecias, se tiene que g
csp.
En [62(1964)] Serre demuestra que si A posee sucientes multiplicacio-
nes complejas, entonces H
n
(g
, V
) = 0, para todo n 0. Para ello estudia

previamente la cohomologa de la sub algebra de Lie c tangente al subgru-
po de G
generado topol ogicamente por el elemento de Frobenius. Al ser

g
un algebra conmutativa, c es un ideal. Serre deduce la anulaci on de los

grupos de cohomologa a partir de la sucesi on espectral de Hochschild-Serre
H(g
/c
, H(c
, V
)) H(g
, V
). Serre se plantea la extensi on del resultado

anterior a todas las variedades abelianas. Para ello necesita saber si se satis-
face una de las condiciones siguientes: 1
?
) V
es un g
-m odulo semisimple; 2
?
)
g
contiene las homotecias. La primera de las preguntas anteriores sera con-

testada armativamente por G. Faltings (1983); la segunda, por F. Bogomolov
(1980).
Mediante la obtenci on, y posterior vericaci on, de un criterio de anula-
ci on de grupos de cohomologa de algebras de Lie, Serre puede probar en
[89(1971)] que, si A es una variedad abeliana denida sobre un cuerpo de
n umeros algebraicos, entonces H
n
(g
, V
) = 0, para todo n 0. Con ello cierra

armativamente el problema de los subgrupos de S-congruencia para cualquier
variedad abeliana denida sobre un cuerpo de n umeros algebraicos. Al mismo
tiempo, obtiene para tales variedades que H
n
(G
, V
) = 0 y H
n
(G
, T
) es un
-grupo nito, para todo n 0.
El artculo de Serre y J. Tate [79(1968)], relativo a la buena reducci on
de variedades abelianas, es fundamental. Sean K un cuerpo, v una valoraci on
discreta, O
v
el anillo de valoraci on de v y k
v
su cuerpo residual (que se supone
perfecto). Dada una variedad abeliana A denida sobre K, los autores parten
de la existencia del modelo de Neron A
v
de A relativo a v. A
v
es un esquema
en grupos de tipo nito sobre Spec O
v
. Serre y Tate denen el concepto de
buena reducci on potencial de A, que generaliza el de buena reducci on, debido
a D. Mumford (1965). Demuestran que A posee buena reducci on en v si, y
s olo si, el m odulo de Tate T
(A) es no ramicado en v, en donde denota un

primo distinto de la caracterstica de k
v
. El criterio es debido parcialmente
A. P. Ogg (en el caso de las curvas elpticas) y parcialmente a I. Shafarevich.
En su demostraci on interviene la estructura de la componente conexa

A
0
v
de
la bra especial

A
v
de A
v
. La componente

A
0
v
es extensi on de una variedad
abeliana B por un grupo lineal L y el grupo L es producto de un toro S por
un grupo unipotente U. Notemos que, sobre K, A posee buena reducci on si,
y s olo si,

A
0
v
= B; A posee buena reducci on potencial si, y s olo si, L = U;
y A posee reducci on semiestable si, y s olo si, L = S. Un segundo teorema
establece que A posee buena reducci on potencial si, y s olo si, la imagen del
grupo de inercia I(v) por la representaci on - adica
: Gal(K
s
/K) Aut(T
)
es nita. Un uso conveniente de los caracteres de Artin y de Swan permite
entonces asignar a A un conductor. Posteriormente, el teorema de la reducci on
semiestable, conjeturado por Serre en 1964 y demostrado por A. Grothendieck
[SGA 7], permitira asignar un conductor a toda variedad abeliana. El teorema
de la reducci on semiestable fue probado tambien por D. Mumford, si bien
su demostraci on, basada en el uso de funciones theta, no inclua el caso de
caracterstica residual 2.
LA GACETA 243
Supongamos que A es de multiplicaci on compleja por F sobre el cuerpo K;
es decir, que existe un homomorsmo de anillos F QEnd
K
(A), en donde
F denota un cuerpo de n umeros algebraicos de grado 2d, siendo d = dim(A).
En el mismo trabajo, Serre y Tate demuestran que toda variedad abeliana de-
nida sobre un cuerpo de n umeros algebraicos K y de multiplicaci on compleja
sobre este cuerpo, posee buena reducci on potencial en todas las plazas de K, y
buena reducci on en las plazas de K fuera del soporte de su Gr ossencharakter,
ofreciendo una versi on generalizada y revisada de resultados de M. Deuring
(1955) en el caso de las curvas elpticas. El exponente del conductor en v viene
dado por 2dn
v
, en donde n
v
es el entero m as peque no tal que el Gr ossencha-
rakter se anula en el grupo de ramicaci on I(v)
nv
, provisto de la numeraci on
superior. En un apendice, Serre y Tate formulan diversos problemas sobre
representaciones de Galois asociadas a la cohomologa - adica de variedades.
En el curso [135(84/85)], Serre explica c omo los teoremas obtenidos
por G. Faltings (1983), a raz de su demostraci on del teorema de Mordell,
permiten una comprensi on mejor de las propiedades de las representaciones
- adicas, especialmente en el caso de las variedades abelianas. En una primera
parte del curso, Serre establece un criterio efectivo para el reconocimiento de
representaciones - adicas isomorfas. El criterio es aplicado a probar que dos
curvas elpticas, estudiadas por J-F. Mestre, de conductor 5077 son is ogenas.
Sean K un cuerpo de n umeros algebraicos y A una variedad abeliana
denida sobre K de dimensi on d. Sea
: Gal(K/K) GL(T
(A)) la repre-
sentaci on - adica asociada al m odulo de Tate de A. Sea G
alg
la adherencia de
G
por la topologa de Zariski, que es un Q
-subgrupo algebraico del grupo

lineal GL
2d
. Los teoremas de F. Bogomolov (1980) y de G. Faltings (1983)
permiten armar que el algebra de Lie g
es una sub algebra algebraica de

End(V
) y que G
alg
es un grupo lineal reductivo cuyo conmutador en End(V
)
es Q
End
K
(A). En particular, g
es un algebra de Lie reductiva de conmu-

tador igual a Q
End
K
(A). D. Mumford y J. Tate conjeturaron que, dados A
y K, el grupo G
alg
es independiente de y, m as precisamente, la componente

conexa del elemento neutro (G
alg
)
0
se deduce del grupo de Mumford-Tate por
extensi on de escalares de Q a Q
. En la segunda parte del curso [135(84/85)],

Serre establece una serie de resultados en favor de estas conjeturas. Establece
que el rango de G
alg
es independiente de . Escribiendo el grupo reductivo

conexo en forma est andar, (G
alg
)
0
= C
, en donde C
es un toro central y
D
es un grupo semisimple, el teorema de Bogomolov nos dice que C
contiene
el grupo G
m
de las homotecias. El teorema de Faltings permite armar que, si
End(A) = Z, entonces C
= G
m
; si A es de multiplicaci on compleja, entonces
D
= 1.
En el curso [136(1985/86)], Serre se dedic o a estudiar la variaci on con
de los grupos de Lie - adicos asociados a variedades abelianas. Mantengamos
las notaciones anteriores. Dado el homomorsmo : Gal(K/K)
Aut(T
), Serre demuestra que, si K es sucientemente grande, la imagen

de es abierta en el producto

. Si n es impar, o bien igual a 2 o bien

a 6 y si End(A) = Z, Serre puede probar que la imagen de es abierta en el
producto de los grupos de semejanzas simplecticas
GSp(T
, e
), en donde e
es la forma alternada sobre el m odulo de Tate T
(A) deducida a partir de una

polarizaci on e de A escogida previamente. Ingredientes de la demostraci on son,
adem as de los teoremas de Bogomolov y de Faltings ya mencionados, toros de
Frobenius, teora abeliana, propiedades de los grupos de inercia en las plazas
que dividen a , as como informaciones precisas sobre subgrupos de GL
N
(F
),
proporcionadas por teoremas de F. Frobenius (1911) y de V. Nori.
Las demostraciones de los resultados mencionados en estos dos ultimos
cursos no han sido publicadas de una manera formal. Informaci on al respecto
se encuentra en las cartas de Serre a K. Ribet [133(1981), 138(1986)], en la
carta de Serre a D. Bertrand [[134](1984)], y en la carta de Serre a M-F.
Vigneras [137(1986)].
MOTIVOS
La exposici on en el Seminaire Delange-Pisot-Poitou [87(1969/70)], en
que Serre formul o conjeturas diversas sobre factores locales de funciones zeta
de variedades algebraicas, puede entenderse como un avance de posteriores
conjeturas en el ambito de la teora de motivos de Grothendieck. Como di-
ce Serre, los motivos de Grothendieck pueden entenderse grosso modo como
factores directos de la cohomologa de variedades proyectivas, obtenidos me-
diante proyectores algebraicos. En su exposici on de 1969, Serre record o las
conjeturas est andar (un total de nueve) relativas a la cohomologa - adica
de las variedades proyectivas y no singulares. Las conjeturas C
1
, C
2
son las
cl asicas conjeturas de Weil sobre las variedades proyectivas y no singulares
denidas sobre un cuerpo nito que, probadas por P. Deligne (1974), permiten
denir, sin problemas, los buenos factores de las funciones zeta asociadas a
la cohomologa de las variedades denidas sobre un cuerpo global K. Denote-
mos por v una plaza de K y sea k
v
su cuerpo residual, de caracterstica p
v
.
Sean G
v
= Gal(K
v,s
/K
v
) y I
v
= Gal(K
v,s
/K
v,nr
), el grupo de descomposici on
y de inercia en v, respectivamente. Consideremos una variedad proyectiva y
no singular X sobre K
v
y sea V
= H
m
(X, Q
). Ahora, el grupo G
v
opera
en V
dando lugar a una representaci on - adica
. Las conjeturas C
5
, C
6
, C
7
hacen referencia a la acci on de G
v
en V
Iv
para ,= p
v
. Sea = codimV
Iv
.
Bajo la hip otesis suplementaria de que la acci on de la inercia es localmente
unipotente, se puede denir un car acter Tr
sobre I
v
. Con este car acter y el
car acter de Swan se dene un entero,
v
, denominado la componente salvaje
del conductor de la representaci on - adica. El entero f
v
=
v
+
v
constituye
el exponente del conductor de
en v. La conjetura C
3
arma que los enteros
v
,
v
, f
v
son independientes de . C
4
arma que la restricci on a I
v
de la fun-
ci on Tr
toma valores en Z y es independiente de . Si el cuerpo k

v
es nito,
el grupo G
v
/I
v
est a provisto de un generador can onico, el Frobenius F
v
, que
dene un automorsmo de V
Iv
. Escribamos P
(T) = det(1
T), en donde
denota el inverso de (F
v
[V
Iv
). La conjetura C
5
arma que los coecientes
LA GACETA 245
de P
son independientes de . Escribamos P

m
(T) =
(1
T). La conje-
tura C
6
arma que [
[ = Nv
m()/2
, siendo m() un entero, 0 m() m.
La conjetura C
7
arma que que si = 0, entonces m() = m, para todo .
(Omitimos la conjetura C
8
, por ser muy tecnica.) Los ingredientes anteriores,
unidos a la teora de Hodge para jar los factores arquimedianos, permiten
denir la m-esima funci on zeta,
m
(X, s), de una variedad X, proyectiva y no
singular, denida sobre un cuerpo global K. La conjetura C
9
hace referencia
a la existencia de una prolongaci on meromorfa y una ecuaci on funcional del
tipo s m+ 1 s para
m
(X, s). Las conjeturas C
3
, , C
8
son ciertas para
las variedades abelianas, gracias al teorema de la reducci on semiestable. En
el caso de las curvas elpticas y K = Q la conjetura C
9
es consecuencia de la
conjetura de Taniyama-Weil (TW). Las conjeturas C
3
, . . . , C
9
siguen abiertas
en general, debido, entre otros factores, a la falta de un teorema de reducci on
semiestable, an alogo al de las variedades abelianas.
El tema de las representaciones - adicas ya aparece tratado por Serre en
[112(1977)], en el simposio sobre teora algebraica de n umeros de Kyoto. El
trabajo, que es rico en problemas y conjeturas propias de la teora de motivos,
contiene el enunciado de la conjetura de Taniyama (1955)-Weil (1955). Una
introducci on a la teora de motivos se encuentra asimismo en [154(1991)]. En
esta lnea, es tambien de destacar el artculo [160(1993)], que corresponde a
un texto de Serre escrito para Bourbaki en 1968. Su contenido hace referencia
a envolventes algebraicas de grupos lineales y su relaci on con distintos tipos
de algebras, cogebras y bigebras.
Para acabar haremos un breve resumen del artculo Proprietes conjectu-
rales des groupes de Galois motiviques et des representations -adiques [161
(1994)]. En el Serre formula una serie de conjeturas sobre representaciones
- adicas, que generalizan muchos de sus resultados previos.
Designemos por M la categora de motivos puros sobre un subcuerpo k
de C, que supondremos de tipo nito sobre Q. El grupo de Galois motvico
G
M
se relaciona con el grupo de Galois absoluto de k por medio de una su-
cesi on exacta 1 G
0
M
G
M
Gal(k/k) 1. Dado un motivo E sobre
k, sea M(E) la subcategora tannakiana de M m as peque na que contiene a
E. Supongamos que las conjeturas est andar y que la conjetura de Hodge son
ciertas. En esta situaci on, Serre formula en tono optimista una serie de con-
jeturas y preguntas encaminadas a la descripci on del paraso motvico de
A. Grothendieck. De ellas extraemos las siguientes: 1
?
) El grupo de Galois
motvico G
M
es pro-reductivo. 2
?
) El grupo de Galois motvico G
M(E)
queda
caracterizado por sus invariantes tensoriales. 3
?
) El grupo G
M(E)/Q
es la ad-
herencia por la topologa de Zariski de la imagen de la representaci on - adica
,E
: Gal(k/k) G
M(E)
(Q
), asociada a E. 4
?
) El grupo pro-reductivo y
conexo G
0
M
descompone como G
0
M
= C D, en donde C es un pro-toro, igual
a la componente neutra del centro de G
0
M
, y D es un grupo pro-semisimple,
igual al grupo derivado de G
0
M
. 5
?
) Si S = (G
0
M
)
ab
, entonces S es lmite pro-
yectivo de pro-toros T
m
. 6
?
) Todo homomorsmo G
0
M
PGL
2
posee una
elevaci on a G
0
M
GL
2
. 7
?
) Que grupos reductivos y conexos se realizan
como G
M(E)
? 8
?
) El grupo G
,E
= Im(
,E
) es abierto en G
M(E)
(Q
). Sea
E
= (
,E
) : Gal(k/k)
G
,E
G
M(E)
(A
f
). Supongamos que G
M(E)
es
conexo. 9
?
) E es un motivo maximal si, y s olo si, Im(
E
) es abierta en el grupo
G
M(E)
(A
f
), en donde A
f
es el anillo de las adeles nitas de Q.
BIBLIOGRAF
IA
[] SERRE, J-P.: uvres. Collected Papers, vol. I (1949-1959), II (1960-1971),
III (1972-1984); IV(1985-1998). Springer, 1986; 2000.
[GACC] SERRE, J-P.: Groupes algebriques et corps de classes. Hermann, 1959;
2a. ed.
1975 [traducido al ingles y al ruso].
[CL] SERRE, J-P.: Corps Locaux. Hermann, 1962; 3a. ed. 1980 [traducido al
ingles].
[CG] SERRE, J-P.: Cohomologie galoisienne. Springer LNM, n. 5, 1964; 5a. ed.
revisada y completada 1994 [traducido al ingles y al ruso].
[LALG] SERRE, J-P.: Lie Algebras and Lie Groups. Benjamin, 1965; 2a. ed.,
Springer LNM, n. 1500, 1992 [traducido al ruso].
[ALM] SERRE, J-P.: Algèbre Locale. Multiplicites. Springer LNM, n. 11, 1965,
editado con la colaboraci on de P. Gabriel; 3a. ed. 1975 [traducido al ingles
y al ruso].
[ALSC] SERRE, J-P.: Algèbres de Lie semi-simples complexes. Benjamin, 1966
[traducido al ingles y al ruso].
[RLGF] SERRE, J-P.: Representations lineaires des groupes nis. Hermann,
1968; 3a. ed. 1978 [traducido al alem an, espa nol, ingles, japones y ruso].
[McGill] SERRE, J-P.: Abelian l-adic representations and elliptic curves. Benja-
min, 1968, editado con la colaboraci on de W. Kuyk y J. Labute; 2a. ed. AK
Peters, 1998 [traducido al japones y al ruso].
[CA] SERRE, J-P.: Cours dArithmetique. Presses Univ. de France, 1970; 4a. ed.
1995 [traducido al chino, ingles, japones y ruso].
[AA] SERRE, J-P.: Arbres, amalgames, SL
2
. Asterisque, n. 46, Soc. Math. de
France, 1977, editado con la colaboraci on de H. Bass; 3a. ed. 1983 [tra-
ducido al ingles y al ruso].
[MW] SERRE, J-P.: Lectures on the Mordell-Weil Theorem, Vieweg, 1989; 3a. ed.
1997, traducci on y edici on por Martin Brown a partir de unas notas de
M. Waldschmidt.
LA GACETA 247
[TGT] SERRE, J-P.: Topics in Galois Theory, Jones and Bartlett Publ. 1992,
notas escritas por H. Darmon.
Pilar Bayer
Departament d
`
Algebra i Geometria
Facultat de Matem` atiques
Universitat de Barcelona
Gran Via de les Corts Catalanes 585
08007 Barcelona
correo electr onico: bayer@mat.ub.es

Jean Pierre Serre

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Jean Pierre Serre

Uploaded by

Copyright:

Available Formats

LA GACETA 211

LAS MEDALLAS FIELDS

(A, O) se identica con el algebra exterior del espacio vectorial

(mod q 1), en donde q denota el n umero de elementos del

IA DE GRUPOS PRO-FINITOS Y DE GRUPOS DE LIE p- ADICOS

. En [152(1990)] Serre se pregunta si existe

IA DE GALOIS DE GRUPOS ALGEBRAICOS LINEALES

ETICOS. SUBGRUPOS DE CONGRUENCIA

de todas las plazas arquimedianas

formado por las races de la unidad. Si S = S

de grupos de Lie (reales o ultrametricos).

. Los resultados m as impor-

es la variedad compacta asociada

IPTICAS Y REPRESENTACIONES ADICAS

(E). Consideremos la representaci on

es un subgrupo de Lie - adico de Aut(T

se obtiene adjuntando al cuerpo k las

no son m as que casos particulares de grupos de homologa

(E) se efect ua por medio de un Gr ossencharakter

), cuando el cuerpo base es el cuerpo racional Q. En su

). En ultima instancia, la demostraci on resulta de una h abil

), para casi todo . Posteriormente,

son curvas elpticas de-

son is ogenas sobre k. Este resultado probaba, en un caso par-

. Serre demuestra que, para toda curva elptica E denida sobre un

(E)), para casi todo . Equivalentemente, se satisface que

), para casi todo . Es decir, elimina, respecto de [Mc-

de dimensi on 2 y una representaci on lineal y

), no ramicada fuera de , que satisciera

, por lo que se podra considerar

). Al variar los distintos primos , las representaciones

anteriores constituiran un sistema compatible de representaciones - adicas

Ecole Normale Superieure. Incluye, asimismo, captulos de introducci on a los

M son en n umero nito; es

de los puntos de -divisi on

) para todo primo c(log N

-m odulo libre de rango 2d, al que se

. La acci on del grupo de

) y, por lo tanto, es un subgrupo de

se identica con una

), por lo que opera en V

. Se sabe que el rango de g

est a contenida en el conmutador de End(A) en End(V

End(A). Por tanto, g

es un subgrupo del grupo

) = 0, para todo n 0. Para ello estudia

generado topol ogicamente por el elemento de Frobenius. Al ser

un algebra conmutativa, c es un ideal. Serre deduce la anulaci on de los

). Serre se plantea la extensi on del resultado

contiene las homotecias. La primera de las preguntas anteriores sera con-

) = 0, para todo n 0. Con ello cierra

(A) es no ramicado en v, en donde denota un

por la topologa de Zariski, que es un Q

-subgrupo algebraico del grupo

es una sub algebra algebraica de

es un grupo lineal reductivo cuyo conmutador en End(V

es un algebra de Lie reductiva de conmu-

es independiente de y, m as precisamente, la componente

. En la segunda parte del curso [135(84/85)],

es independiente de . Escribiendo el grupo reductivo

es un grupo semisimple, el teorema de Bogomolov nos dice que C

), Serre demuestra que, si K es sucientemente grande, la imagen

. Si n es impar, o bien igual a 2 o bien

es la forma alternada sobre el m odulo de Tate T