La Gaceta de la RSME, Vol. 00 (0000), Nm. 0, Pgs.

126

Desde Fermat, Lam y Kummer hasta Iwasawa: Una introduccin a la teora de Iwasawa
por

lvaro Lozano-Robledo

Resumen. En una conferencia de 1956, Kenkichi Iwasawa present la demostracin de un teorema que inauguraba lo que hoy llamamos la teora de Iwasawa. Desde entonces, las ideas de Iwasawa han ido abriendo numerosas nuevas vas de investigacin en teora de nmeros, y sus ideas y sus generalizaciones se han usado en cientos de artculos. Este artculo es una introduccin a la teora de Iwasawa desde un punto de vista histrico. Los orgenes de esta teora se remontan al famoso ltimo teorema de Fermat y, en particular, a un clebre intento fallido de demostrarlo por parte de Gabriel Lam. En la primera parte del artculo hablaremos sobre el intento de Lam y de cmo Ernst Kummer, que independientemente estaba estudiando ideas similares, logr encontrar una demostracin vlida del teorema de Fermat para primos regulares. La estrategia de Kummer motivar el estudio del nmero de clases y grupo de clases de ideales de un cuerpo de nmeros, que son precisamente el centro de atencin de la teora de Iwasawa.

1.

Introduccin

En una conferencia de 1956, Kenkichi Iwasawa present la demostracin de un teorema (Teorema 9.2 de este artculo) que inauguraba lo que hoy llamamos teora de Iwasawa. Desde entonces, las ideas de Iwasawa han ido abriendo numerosas nuevas vas de investigacin en teora de nmeros y tanto ellas como sus mltiples generalizaciones se han usado en cientos de trabajos cientcos. Este artculo es una introduccin histrica a la teora de Iwasawa. Est orientado hacia la comunidad matemtica en general (y no solo para aquellos interesados en teora de nmeros) y, por tanto, es parte de nuestro objetivo denir y motivar los conceptos segn vayan apareciendo, aunque corramos el riesgo de aburrir a los expertos. Los orgenes de esta teora se remontan al famoso ltimo teorema de Fermat y, en particular, a un clebre intento fallido de demostrarlo por parte de Gabriel Lam. En la primera parte del artculo hablaremos sobre el intento de Lam (en las secciones 2 y 3) y de cmo Ernst Kummer, que independientemente estaba estudiando ideas similares, logr encontrar una demostracin vlida del teorema de Fermat para primos regulares (en las secciones 4, 5 y 6). La estrategia de Kummer motivar el estudio del nmero y grupo de clases de ideales de un cuerpo de nmeros, que son precisamente el centro de atencin de la teora (clsica) de Iwasawa. En la seccin 5 repasaremos la denicin del nmero y grupo de clases de un cuerpo de nmeros, y

Una introduccin a la teora de Iwasawa

su relacin con factorizacin nica en el anillo de enteros del cuerpo. En la seccin 7 trataremos brevemente de las propiedades de divisibilidad de nmeros de clases en extensiones de cuerpos de nmeros. La teora de Iwasawa describe el crecimiento de la componente p-primaria del grupo de clases en un tipo de extensiones de cuerpos de nmeros llamadas extensiones p-dicas. En las secciones 8 y 9 describiremos el teorema que Iwasawa present en 1956, y hablaremos sobre extensiones p-dicas en general. En la seccin 10, trataremos las consecuencias del teorema de Iwasawa. En concreto, explicaremos el signicado de los invariantes , y que aparecen en el enunciado del teorema de Iwasawa, en relacin con los grupos de clases de una extensin p-adica. En las ltimas tres secciones del artculo, discutiremos una reformulacin del teorema de Iwasawa en trminos de extensiones sin ramicacin (gracias a la teora de cuerpos de clases), y haremos un resumen de la demostracin del teorema, usando la estructura de mdulos sobre Zp [[T ]]. Es necesario aclarar que en este artculo, cuando decimos teora de Iwasawa nos referimos a lo que los expertos denominan teora de Iwasawa clsica, que se centra en el estudio de nmeros y grupos de clases de torres de cuerpos de nmeros. En la actualidad, la teora de Iwasawa moderna abarca el estudio de otros grupos, como el grupo de Shafarevich-Tate, que se asemejan al grupo de clases. La teora sigue creciendo muy rpido y ahora tiene muchas ms aplicaciones, adems del estudio de nmeros de clases. Por ejemplo, la teora moderna de Iwasawa es de gran inters en el estudio de curvas elpticas y funciones L, y es uno de los ingredientes fundamentales en los avances en torno a la conjetura de Birch y Swinnerton-Dyer (uno de los siete problemas del milenio elegidos por el Instituto Clay). Por no omitir completamente los nombres de los grandes arquitectos de la teora de Iwasawa moderna, incluimos aqu algunos de ellos: Burns, Coates, Greenberg, Kato (el cual, precisamente, habl en Madrid sobre la teora de Iwasawa durante el ICM de 2006), Kolyvagin, Pollack, Rubin, y Wiles, entre muchos otros. Hay muy buenas referencias (en ingls) sobre la teora de Iwasawa. El libro de L. C. Washington, [15], es una de las referencias ms completas y ms recomendables para aquel que est comenzando en este tema. Muy desafortunadamente, no podemos tratar de abarcar en este artculo la Conjetura Central (Main Conjecture ) de la teora de Iwasawa (demostrada por B. Mazur y A. Wiles), pero el lector puede leer sobre ella en [15], o en el librito de J. Coates y R. Sujatha, [3]. El autor tambin recomienda encarecidamente el artculo [6] de R. Greenberg, que explica varias de las nuevas tendencias en la teora de Iwasawa (por ejemplo, las aplicaciones al estudio de rangos de curvas elpticas).

2.

El teorema de Fermat y los acontecimientos de 1847

Los orgenes de la teora de Iwasawa se remontan a un clebre (o, mejor dicho, tristemente clebre) pero fallido intento de demostrar el ltimo teorema de Fermat. Teorema 2.1 (ltimo teorema de Fermat, o teorema de Wiles [16]). La ecuacin xn + y n = z n

La Gaceta Artculos

Figura 1: Pierre de Fermat (1601-1665).

no tiene soluciones con x, y, z Z y xyz = 0, cuando n 3.

El primer da de Marzo de 1847, un excitadsimo Gabriel Lam present sus ideas sobre una posible demostracin del ltimo teorema de Fermat, ante la Academia de Pars. Lam propuso resolver el problema a travs de una factorizacin de xn + y n usando nmeros complejos (explicaremos sus ideas en ms detalle luego). De acuerdo con los documentos que han perdurado hasta nuestros das, la presentacin de Lam fue muy poco apropiada para la Academia, pues le faltaban muchos detalles y precisin. De cualquier modo, Lam proclam haber resuelto completamente el problema que Fermat haba enunciado a nales de la decada de 1630. Sin embargo, Lam no se quiso atribuir todo el mrito de la demostracin durante su charla, y mencion que la idea se origin tras una conversacin con Liouville.

Figura 2: Gabriel Lam, Joseph Liouville y Augustin Cauchy.

Ese mismo da de 1847, el mismsimo Liouville fue el siguiente orador en la Academia de Pars, pero su discurso estuvo cargardo de reproches hacia Lam. Para

Una introduccin a la teora de Iwasawa

empezar, Liouville dijo que la estrategia de Lam era una de las primeras que se le ocurriran a cualquier matemtico competente al enfrentarse con el problema por primera vez. De hecho, es muy probable que Liouville ya hubiese considerado la misma alternativa, y sabemos que Lagrange ya haba mencionado la misma factorizacin de xn + y n en conexin con el ltimo teorema de Fermat. Para acabar de rematar a Lam en su discurso, Liouville seal una laguna importante en la demostracin: su mtodo asuma la factorizacin nica en un subanillo de nmeros complejos y Lam no haba justicado en ningn momento porqu esta propiedad se tendra que cumplir. Tras Liouville, sin embargo, tom la palabra Cauchy y mencion su optimismo acerca de la estrategia de Lam, porque l mismo haba mandado a la Academia (supuestamente en Octubre de 1846) un bosquejo de una demostracin del teorema de Fermat, posiblemente muy parecida a la idea de Lam. El debate lo cerr Ernst Kummer, el 24 de Mayo de 1847. En una carta a la Academia de Pars (leida a la Academia por Liouville), Kummer explic que tres aos antes haba publicado una memoria en la que demostraba que, desafortunadamente, la factorizacin nica no se cumple en general en los anillos que Lam (y probablemente Cauchy) consideraba en su trabajo. En la misma carta Kummer prosegua diciendo que la teora de factorizacin se puede salvar introduciendo una nueva clase de nmeros complejos que l decidi llamar nmeros complejos ideales. Todos los detalles haban sido publicados en 1846 en las actas de la Academia de Berln, y una exposicin ms completa iba a aparecer en la revista de Crelle en breve. El lector que quiera saber ms sobre los interesantes y clebres acontecimientos de 1847 puede consultar el Captulo 4 de [5].

Figura 3: Ernst Eduard Kummer (1810-1893).

3.

La demostracin de Lam

Es bien sabido, y fcil de demostrar, que para vericar que la ecuacin de Fermat no tiene soluciones cuando n 3 basta demostrar que no hay soluciones en el caso

La Gaceta Artculos

n = 4 y cuando n = p 3 es un nmero primo. La prueba del caso n = 4 fue proporcionada por Fermat (y es una de las nicas demostraciones de Fermat que han perdurado hasta nuestros das). Cuando estudiamos la ecuacin xp + y p = z p , donde p 3 es primo, es conveniente considerar dos casos: 1. primer caso: xp + y p = z p con mcd(xyz, p) = 1, y 2. segundo caso: xp + y p = z p con mcd(xyz, p) = p. En general, el primer caso del ltimo teorema de Fermat es ms fcil de tratar, mientras que el segundo caso es, habitualmente, ms difcil de demostrar. En este artculo nos limitamos al primer caso por simplicidad aunque la demostracin de Lam, en principio, hubiera tratado ambos casos. La estrategia propuesta por Lam se basaba en una factorizacin de xp + y p , usando nmeros complejos. Comencemos calculando las races de xp + y p , considerndolo como un polinomio en la variable x. La igualdad xp + y p = 0 implica que xp = y p = (y )p . Por tanto, se debe cumplir que x = (y ), donde es una raz p-sima de la unidad.1 Sea p una raz primitiva de la unidad, dada por: 2 i 2 2 p = cos + i sen . p = e p p Las races p-simas de la unidad son las races de xp = 1, y todas ellas vienen dadas i i por p con i = 0, . . . , p 1. Por consiguiente, las races de xp + y p son x = p (y ) = i p p p y para i = 0, . . . , p 1. As que el polinomio x + y se puede factorizar como xp + y p = y, por tanto, z p = xp + y p =
p 1 i=0 p 1 i=0 i (x + p y ),

i p1 (x + p y ) = (x + y )(x + p y ) (x + p y ).

(1)

Ejemplo 3.1. Sea p = 3. Entonces x3 + y 3 = (x + y )(x2 xy + y 2 ) 1+ 3 1 3 = (x + y ) x + y x+ y , 2 2 donde 3 =

1+ 3 2 2 y 3 = 1 3 . 2

Consideraremos la ecuacin (1) como una factorizacin de xp + y p sobre el anillo

2 p1 Z[p ] = {a0 + a1 p + a2 p + + ap1 p : ai Z}.
1 lase

pe-sima, y no psima!

Una introduccin a la teora de Iwasawa

Lam demostr correctamente que, en el anillo Z[p ], dos nmeros cualquiera de i j la forma x + p y y x + p y son relativamente primos entre s, siempre que i = j . Pero su error fue concluir que si estos nmeros son relativamente primos y tenemos i la ecuacin (1), entonces cada x + p y tiene que ser una potencia p-sima de otro p i elemento de Z[p ]. Es decir, Lam arm que existe un i Z[p ] tal que x+p y = i , y despus deducira una contradiccin con la existencia de tales i . Tal y como seal Liouville, el problema con este argumento es que, para concluir i que cada x + p y es una potencia p-sima, Lam estaba armando implcitamente que Z[p ] es un dominio de factorizacin nica o DFU (es decir, todos los elementos del anillo tienen una factorizacin nica como producto de elementos primos). Pero no hay ninguna razn obvia por la que Z[p ] tenga que ser un DFU y, de hecho, Ernst Kummer ya haba demostrado que algunos de estos anillos no tienen la propiedad de factorizacin nica. (Vase [12], Captulo I, Ejercicios 19-27.)

4.

Los nmeros complejos ideales de Kummer

Anteriormente, y de manera independiente, Kummer haba descubierto la estratega que Lam intentaba seguir y haba llegado a la conclusin de que este mtodo tena un fallo fundamental. Sin embargo, Kummer encontr una manera de salvar esta idea (en ciertos casos) deniendo los que l llam nmeros complejos ideales (y que hoy en da llamamos ideales de un anillo). Esta nueva construccin le permiti demostrar el ltimo teorema de Fermat en un gran nmero de casos. Sean 1 , . . . , n elementos en Z[p ]. Denimos el ideal generado por {i : i = 1, . . . , n} en Z[p ] como (1 , 2 , . . . , n ) = {1 1 + 2 2 + + n n : i Z[p ]}. Por ejemplo, el ideal A = () es el conjunto de nmeros de la forma , donde Z[p ]. Decimos que un ideal A en Z[p ] es principal si hay un Z[p ] tal que A = ( ). i Sea Ai = (x + p y ) para cada i = 0, . . . , p 1. Entonces, como en la ecuacin (1) de la seccin 3, la igualdad:
p1 (x + y )(x + p y ) (x + p ) = zp

implica una factorizacin de la p-sima potencia del ideal (z ) como producto de ideales: (z )p = A0 A1 Ap1 .

Kummer comprendi que los ideales en Z[p ] tienen una estructura multiplicativa (la nica unidad es el anillo entero (1) = Z[p ]), y que cada ideal tiene una factorizacin nica como producto de ideales primos. Adems, demostr que los ideales Ai son primos entre s. Por tanto, se puede concluir que Ai = Bp i para cada i = 0, . . . , p 1, i. e., cada ideal Ai es una potencia p-sima de otro ideal Bi . Pero Kummer indic que Bi no es necesariamente principal. Si asumimos que el anillo Z[p ] es un dominio

La Gaceta Artculos

de ideales principales (DIP), entonces todos los ideales son principales, y existen elementos i Z[p ] tales que Bi = (i ). Por consiguiente, i p (x + p y ) = Ai = Bp i = (i ) . Esto conlleva que existen unidades i Z[p ] tales que
p i x + p y = i i ,

y Kummer prob que esta igualdad es imposible, lo cual demuestra el ltimo teorema de Fermat para todos aquellos primos p tales que Z[p ] es un DIP. No entraremos en este artculo en ms detalles del resto de la demostracin de Kummer, pero el lector interesado puede encontrarlos en el Captulo 1 de [15], o en [4], por ejemplo. Las aportaciones de Kummer en esta rea no terminan aqu, porque l era consciente de que la condicin Z[p ] es un DIP es demasiado fuerte,2 as que se propuso encontrar una manera de sortear esta hiptesis tan restrictiva. Para medir lo lejos que un anillo dado est de ser un DIP, deni un grupo de clases de idealesque, como veremos en la siguiente seccin, es, esencialmente, el grupo cociente de ideales, mdulo ideales principales.

5.

El grupo y nmero de clases de ideales

En esta seccin explicamos (y procuramos motivar) la denicin del grupo de clases de ideales y el nmero de clases de un cuerpo de nmeros K . Como ya hemos visto, estamos interesados en el caso particular de K = Q(p ), pero tambin necesitaremos hablar de grupos de clases de otros cuerpos ms adelante. Recordamos al lector que un cuerpo de nmeros K es simplemente una extensin nita (y por tanto algebraica) de Q, y el anillo de enteros de K , denotado por OK , es el anillo formado por todos los elementos de K que son races de polinomios mnicos con coecientes enteros. Ejemplo 5.1. Sea d Z un entero libre de cuadrados, y denamos un cuerpo de nmeros K = Q( d). La extensin K/Q es cuadrtica (grado 2) y Z + 1+2 d Z, si d 1 m od 4, OK = Z + d Z, s d 2, 3 m od 4. En otras palabras, si denimos =
1+ d , 2

2 De hecho, Montgomery y Uchida han demostrado (independientemente) que Z[ ] es un DIP p si y solo si p 19. Vase [14], por ejemplo.

entonces OK = Z n, m Z}. Por ejemplo, si K = Q( 3), entonces [ ] = {n + m : OK = Z 1+ 2 3 . Por cierto, Q( 3) = Q 1+ 2 3 = Q(3 ).

si d 1 m od 4, d, si d 2, 3 m od 4

Una introduccin a la teora de Iwasawa

Ejemplo 5.2. El cuerpo K = Q(p ) es un cuerpo de nmeros. La extensin K/Q es de Galois y su grado es [K : Q] = p 1. El anillo de enteros es OK = Z[p ]. En general, si n 2 y n = e2i/n es una raz n-sima de la unidad, entonces la extensin Q(n )/Q es de Galois, de grado (n) y su anillo de enteros es Z[n ]. Aqu representa la funcin de Euler. A continuacin, denimos el grupo de clases de ideales de un cuerpo de nmeros. Primero, denimos una relacin de equivalencia entre ideales. Definicin 5.3. Sea K un cuerpo de nmeros y sea OK el anillo de enteros de K . Decimos que dos ideales A y B de OK pertenecen a la misma clase de ideales si existen y OK tales que ()A = ( )B. En tal caso, escribiremos [A] = [B]. Por tanto: [A] = {ideales B OK : existen , OK con ()A = ( )B}. Denimos el grupo de clases de ideales de K , denotado por Cl(K ), como el grupo multiplicativo de clases de ideales de OK .3

Nota 5.4. El grupo de clases de ideales de un cuerpo de nmeros K es un grupo abeliano. El elemento identidad en Cl(K ) es la clase [(1)] = [OK ] que tambin denominaremos como la clase trivial. La clase de un ideal A es la clase trivial si y solo si A es principal. En efecto, si A = () entonces (1)A = ()OK , y por tanto [A] = [OK ]. Por otra parte, si [A] = [OK ] entonces existen , OK tales que ()A = ( )OK = ( ). As que debe ser un divisor de , i. e. hay un OK tal que = , y por tanto A = ( ) es principal. Nota 5.5. El grupo de clases de un cuerpo de nmeros K es un grupo nito (ni la nitud del grupo ni la existencia del inverso multiplicativo de cualquier clase de ideales son propiedades obvias). El orden (o cardinal) del grupo de clases se denomina el nmero de clases de K , y normalmente lo denotamos por hK o h(K ). En el caso particular de K = Q(p ), escribiremos hp en vez de hK para recalcar la dependencia de la eleccin del primo p. Nota 5.6. El nmero de clases de K es hK = 1 si y solo si K es un DIP. En efecto, supongamos primero que hK = 1. Entonces Cl(K ) solo tiene un elemento, la clase trivial, y todo ideal A satisface [A] = [OK ]. Por la nota 5.4, A es principal. A la inversa, si todos los ideales son principales, entonces todos pertenecen a la clase trivial [OK ] y, por tanto, Cl(K ) tiene un nico elemento. Nota 5.7. Todo DIP es tambin un dominio de factorizacin nica (DFU). Adems, si R es un dominio de Dedekind entonces DFU y DIP son condiciones equivalentes. Afortunadamente, el anillo de enteros de un cuerpo de nmeros es un dominio de Dedekind y, por tanto, DFU y DIP son sinnimos en los casos que nos interesan. Ejemplo 5.8. El anillo Z[ 5] no es un DFU. En efecto: 6 = 2 3 = (1 + 5)(1 5)

3 En libros de texto recientes, el grupo de clases es simplemente denido como el cociente de los ideales fraccionales de K , mdulo los ideales fraccionales principales.

La Gaceta Artculos

son dos factorizaciones distintas de 6 como producto de factores irreducibles. Por tanto, Z[ 5] no es tampoco un DIP. Se puede demostrar fcilmente que el ideal P = (2, 1 + 5) no es principal. De hecho, el grupo de clases de K = Q( 5) consiste en dos elementos, a saber {[OK ], [P]}, y el nmero de clases de K es 2.

6.

El criterio de Kummer

En la seccin 4 hemos indicado que si Z[p ] es un DIP entonces el ltimo teorema de Fermat es cierto para el exponente primo p. Sea Kp = Q(p ). Cundo es el nmero de clases de Kp igual a 1? Kummer identic esta pregunta como interesante pero difcil de reponder, as que intent buscar una solucin alternativa. Recordemos que, para que su demostracin funcionase, Kummer necesitaba precisamente que lo siguiente fuera cierto: si (x + p y ) = Bp entonces existe Z[p ] tal que B = ( ). Supongamos que (x + p y ) = Bp . Entonces, [B]p = [(x + p y )] = [OKp ] porque (x + p y ) es un ideal principal. Por consiguiente, la p-sima potencia de B es el elemento identidad en Cl(Kp ) y, por tanto, el orden del elemento [B] en el grupo es 1 p. De este modo, si Cl(Kp ) no tiene elementos de orden p, el orden de [B] tiene que ser 1, y B tiene que ser principal. Gracias al teorema de Lagrange sabemos que Cl(Kp ) tiene un elemento de orden p si y solo si p es un divisor del orden de Cl(Kp ) o, en otras palabras, si y solo si hp , el nmero de clases de Kp , es divisible por p. Teorema 6.1 (Kummer, 1846). Sea p 3 un nmero primo. Si el nmero de clases de Q(p ) no es divisible por p, entonces el ltimo teorema de Fermat se cumple para el exponente primo p. Definicin 6.2. Decimos que un nmero primo es irregular si hp = # Cl(Q(p )) es divisible por p. Si mcd(hp , p) = 1, entonces decimos que p es un primo regular. Esta denicin propicia una pregunta obvia: Pregunta 6.3. Cundo es p un primo regular? O de otro modo, cundo son p y hp primos entre s? Kummer fue capaz de encontrar una respuesta magnca a esta pregunta. Antes de ver su teorema, necesitamos denir los nmeros de Bernoulli. Definicin 6.4. Los nmeros de Bernoulli Bk , as llamados en honor de Jacob Bernoulli (gura 4), son nmeros racionales denidos por la siguiente expansin en serie t tk = Bk . t e 1 k! k=0 n1 Se pueden calcular fcilmente usando la frmula recursiva k=0 n k Bk = 0. Hemos incluido los primeros nmeros de Bernoulli en el cuadro 1. Si k 3 es impar, el nmero de Bernoulli Bk es cero.

10

Una introduccin a la teora de Iwasawa

k Bk

0 1

1 1 2

2
1 6

4
1 30

6
1 42

8
1 30

10
5 66

12
691 2730

14
7 6

16 3617 510

Cuadro 1: Los primeros nmeros de Bernoulli

Figura 4: Jacob Bernoulli (1654-1705).

Teorema 6.5 (Criterio de Kummer, 1847). Un nmero primo p es irregular si y slo si p divide al numerador del nmero de Bernoulli Bk para algn ndice par 2k en el intervalo 2 2k p 3. Ejemplo 6.6. El cuadro 1 muestra que el primo p = 5 es regular. En efecto, por el criterio de Kummer, slo tenemos que vericar que el numerador de B2 = 1/2 no es divisible por 5. De modo similar, la misma tabla muestra que p = 7, 11, 13, 17 y 19 son regulares, porque ninguno de estos primos aparecen como factores de uno de los numeradores de B2k con 2 2k p 3 16. Sin embargo, la misma tabla nos dice que p = 691 es irregular, porque el numerador de B12 es precisamente 691. Por tanto, el nmero de clases de Q(691 ) es un mltiplo de 691. Igualmente, el primo 3617 es irregular.

Nota 6.7. Los primeros primos irregulares son 37, 59, 67, 101, 103, 131, . . .. Sabemos demostrar que hay innitos primos irregulares pero, sorprendentemente, nadie ha sido capaz de demostrar que hay innitos primos regulares. Se cree que alrededor de un 39 % de todos los primos son irregulares (vase [15], p. 62, 63). Nota 6.8. Si p es irregular, el criterio de Kummer nos dice que hp , el nmero de clases de Q(p ) es un mltiplo de p, pero el criterio no nos dice nada del resto de divisores primos de hp . Por ejemplo, para p = 37, el nmero de clases h37 es

La Gaceta Artculos

11

precisamente igual a 37. Indicamos a continuacin la factorizacin de hp para los tres primeros primos irregulares: h37 = 37, h59 = 3 59 233, y h67 = 67 12739. Nota 6.9. Si p es un primo que es divisor de los numeradores de n nmeros de Bernoulli B2k distintos, todos con 2 2k p 3, entonces hp es un mltiplo de pn . Por ejemplo, los numeradores de B62 y B110 son divisibles por 157 (y ningn otro numerador de un nmero de Bernoulli entre 2 2k 154 es divisible por 157). Por tanto, h157 es divisible por 1572 (pero no es divisible por 1573 ). Un siglo despus de que Kummer resolviera el ltimo teorema de Fermat para primos regulares, Martin Eichler (vase la gura 5) extendi las ideas de Kummer a nmeros primos que no son demasiado irregulares. Denimos el ndice de irregularidad de un primo p, que denotamos por i(p), como el cardinal del conjunto de nmeros de Bernoulli B2k , con 2 2k p 3, cuyos numeradores son mltiplos de p. Por ejemplo, el ndice de irregularidad de p = 5, 7, 11, 13, 17 19 es i(p) = 0 (vase el ejemplo 6.6). Sin embargo, las notas 6.8 y 6.9 nos dicen que i(37) = i(59) = i(67) = 1, pero i(157) = 2. He aqu el teorema de Eichler (recordamos al lector que la distincin entre el primer y segundo caso de Fermat aparece al principio de la Seccin 3): Teorema 6.10 (Eichler, 1965). Supongamos que p es irregular con un ndice de irregularidad i(p) < p 2. Entonces el primer caso del ltimo teorema de Fermat es cierto para el exponente p.

Figura 5: Martin Eichler (1912-1992) y Harry Vandiver (1882 - 1973).

7.

El mximo subcuerpo real y la conjectura de Vandiver

En esta seccin mencionaremos brevemente algunas de las relaciones entre los nmeros de clases en extensiones (nitas) de cuerpos de nmeros. Antes de enunciar el tipo de problemas a los que nos referimos, recordemos la denicin de ramicacin en una extensin de cuerpos de nmeros F/K . Sea un ideal primo de OK , el anillo

12

Una introduccin a la teora de Iwasawa

de enteros de K . Entonces OF es un ideal de OF y tiene una factorizacin (nica!) e1 e2 er como un producto de ideales primos de OF . Es decir, OF = P1 P2 Pr , donde los Pi OF son ideales primos distintos. Decimos que se ramica en F/K si existe un ndice 1 i r tal que ei > 1. Si ei = 1 para todo i, entonces decimos que no se ramica. Si OK = P e , entonces decimos que (y tambin F/K ) se ramica totalmente. Una extensin F/K es no ramicada si ningn ideal primo de F se ramica. Teorema 7.1 ([15], Prop. 4.11). Sea F/K una extensin de cuerpos de nmeros tal que, si L/K es una extensin de Galois intermedia, con K L F , existe por lo menos un primo (nito o innito) que se ramica en la extensin L/K . Entonces, hK , el nmero de clases de K , es un divisor del nmero de clases de F , hF . Ms tarde, tambin haremos uso del siguiente teorema de divisibilidad de nmeros de clases: Teorema 7.2 (Teorema de empujar hacia abajo, o push-down; [9]). Sea F/K una p-extensin de cuerpos de nmeros (i. e. el grado de F/K es una potencia de p) y supongamos que slo un ideal primo de K ramica en F y la ramicacin es total. Entonces, si p es un divisor de hF , tambin lo es de hK . Nota 7.3. Para poder usar el Teorema 7.1, el lector ha de recordar lo siguiente acerca de extensiones ciclotmicas: el ideal primo (p) de Z ramica totalmente en la extensin Q(p )/Q. En efecto, el ideal (p) en Z[p ] es la (p 1)-sima potencia del ideal primo = (p 1). Como la extensin Q(p )/Q es de Galois y abeliana (i. e. el grupo de Galois es abeliano), cualquier cuerpo intermediario Q L Q(p ) es de Galois sobre Q, y el primo p ramica en L/Q y tambin en Q(p )/L. Por tanto, el nmero de clases de L es un divisor del nmero de clases de Q(p ), i. e. hL es un divisor de hp . En particular, el nmero de clases de Q(p ) esta ntimamente relacionado con los nmeros de clases de sus subcuerpos. Uno de los subcuerpos de mayor inters es el mximo subcuerpo real de Q(p ), que viene dado por
1 Q(p )+ = Q(p + p ) = Q(cos(2 /p)),

de modo que, Q(p )+ = Q(cos(2 /p)) R. Recordemos adems que la extensin Q(p )/Q es de grado p 1, y el estimado lector puede vericar fcilmente que p es una raz del polinomio 1 X 2 (p + p )X + 1 = 0.
1 Por tanto, la extensin Q(p )/Q(p + p ) es cuadrtica, y el grado de Q(p )+ /Q es (p 1)/2.

La Gaceta Artculos

13

Q(p )
2

(p1)

1 Q(p + p )

(p1) 2

Q
+ Como antes, sea hp el nmero de clases de Q(p ) y sea h+ p el de Q(p ) . El + nmero hp es un divisor de hp (vase la nota 7.3). La siguiente famosa conjectura apareci por primera vez en una carta de 1849 de Kummer a Kronecker, pero Harry Vandiver propus est pregunta en pblico frecuentemente, y lleva su nombre:

Conjetura 7.4 (La conjetura de Vandiver). El nmero de clases de Q(p )+ nunca es divisible por p, i. e. mcd(p, h+ p ) = 1. Esta misteriosa conjectura de Vandiver se ha vericado, por lo menos, para todos los primos p < 12 000 000 (vase [1]).

8.

Torres ciclotmicas y el teorema de Iwasawa

Hasta ahora, nos hemos concentrado en el grupo de clases del cuerpo ciclotmico Q(p ), para cada primo p. Es natural extender nuestro estudio a otros cuerpos ciclotmicos. En concreto, estamos interesados en nmeros de clases de cuerpos cin clotmicos de tipo Q(pn ), donde pn = e2i/p es una raz pn -sima de la unidad, y n 1. Los cuerpos Q(pn ), para cada n 1, forman lo que llamamos una torre de cuerpos: Q Q(p ) Q(p2 ) Q(pn ) Para cada n 1, la extensin Q(pn )/Q es de Galois, y el grupo de Galois es isomorfo a (Z/pn Z) y, por tanto, el grado de la extensin es (pn ) = pn1 (p 1). Por su parte, la extensin Q(pn+1 )/Q(pn ) es de Galois, de grado p. Sea hpn el nmero de clases de Q(pn ). El primo p ramica totalmente en la extensin Q(pn )/Q, y por tanto ramica totalmente en la torre n1 Q(pn ). El teorema 7.1 implica que hpk es un divisor de hpj , para todo k j . El primer paso de Kenkichi Iwasawa hacia lo que hoy llamamos la teora de Iwasawa fue demostrar un teorema muy interesante acerca de los nmeros de clases en una torre de ciertos subcuerpos de n1 Q(pn ) que denimos a continuacin. Primero, consideremos G2 = Gal(Q(p2 )/Q) que es un grupo abeliano (cclico) isomorfo a (Z/p2 Z) = Z/(p 1)pZ. Por tanto, G2 tiene un nico subgrupo (normal)

14

Una introduccin a la teora de Iwasawa

H1 de orden (p 1) tal que G2 /H es isomorfo a Z/pZ. Denimos Q1 como el subcuerpo de Q(p2 ) jo por H , i. e. Q1 = Q(p2 )H . Por consiguiente, Q1 /Q es una extensin de Galois y abeliana de grado p. Q(p2 ) Q(p )
Z/(p1)Z

Q1
Z/pZ

Q Podemos generalizar esta construccin como sigue. Para cada n 1, sea Gn+1 = Gal(Q(pn+1 )/Q) que es un grupo abeliano (cclico) isomorfo a (Z/pn+1 Z) = Z/(p 1)pn Z. Por tanto, Gn+1 tiene un nico subgrupo (normal) H de orden (p 1), tal que Gn+1 /H es isomorfo a Z/pn Z. Denimos Qn como el subcuerpo de Q(pn+1 ) jo por H , i. e. Qn = Q(pn+1 )H . As que Qn /Q es una extensin abeliana de grado pn , tal que Gal(Qn /Q) = Z/pn Z y Q Q 1 Q2 Qn Qn Q(pn ).
n1 n1

He aqu nuestra primera versin del teorema de Iwasawa: Teorema 8.1 (Iwasawa, 1956). Sea pen la mayor potencia de p que es un divisor del nmero de clases de Qn . Existen n0 0 y enteros no negativos , , Z tales que en = n + pn + para todo n n0 .

Figura 6: Kenkichi Iwasawa (1917-1998).

La Gaceta Artculos

15

En el resto del artculo primero explicamos el teorema de Iwasawa en toda la generalidad en la que fue demostrado originalmente (ver [10]), pues el teorema 8.1 es slo un caso particular. Para ello, repasaremos la teora de extensiones p-dicas, mencionaremos algunas de las consecuencias del teorema y, nalmente, trataremos de esbozar una demostracin.

9.

Extensiones p-dicas de cuerpos de nmeros

Fijemos un nmero primo p y sea Qn /Q la extensin abeliana denida en la seccin 8, que est completamente caracterizada por las condiciones Qn Q(pn+1 ) y Gal(Qn /Q) = Z/pn Z. Recordemos que Qn Qn+1 y denamos Q = n1 Qn . Entonces, Q /Q es una extensin de Galois y donde lim denota el lmite inverso de grupos via morsmos de conexin Z/pn+1 Z Z/pn Z, que vienen dados como reduccin mdulo pn . Por tanto, Gal(Q /Q) es isomorfo a Zp , los enteros p-dicos. Podemos denir extensiones p-dicas de otros cuerpos de nmeros como sigue. Definicin 9.1. Sea K un cuerpo de nmeros y sea p un primo jo. Supongamos n que, para cada n 1, existe una extensin K n /K tal que Gal(Kn /K ) = Z/p Z, y Kn Kn+1 . Entonces decimos que K = n1 Kn es una Zp -extensin, o una extensin p-dica, de K . En realidad, Iwasawa demostr el teorema 8.1 para todas las Zp -extensiones de un cuerpo de nmeros K , y a continuacin reformulamos el enunciado en toda su generalidad. Teorema 9.2 (Iwasawa, 1956). Sea p un nmero primo, sea K un cuerpo de nmeros y sea K = n1 Kn una Zp -extensin de K . Sea pen la mayor potencia de p que divide al nmero de clases de Kn . Entonces existe un n0 0 y enteros no negativos , , Z tales que en = n + pn + para todo n n0 . Antes de adentrarnos en la demostracin del teorema de Iwasawa, necesitamos algunos resultados de la teora de Zp -extensiones. Ejemplo 9.3. La extensin Q /Q denida al principio de esta seccin es una Zp extensin de Q, que llamamos la Zp -extensin ciclotmica de Q. Si K es un cuerpo de nmeros entonces el cuerpo K = K Q se conoce como la Zp -extensin ciclotmica de K . En efecto, sea m 1 el mayor entero tal que Qm K . Entonces K1 = K Qm+1 es una extensin abeliana de K de grado p y Kn = K Qm+n /K es una extensin abeliana con grupo de Galois isomorfo a Z/pn Z, para todo n 1. Por tanto, K /K es una Zp -extensin. Ejemplo 9.4. Sea p = 5. La extensin 5-dica ciclotmica Q de Q est contenida en la extensin ciclotmica n1 Q(5n ). Sea q = 11 y consideremos la extensin Q(11 )/Q de grado 10, con grupo de Galois isomorfo a Z/10Z. Gracias a la teora de Galois, sabemos que hay un subcuerpo (nico) F1 de Q(11 ) tal que F1 /Q es Gal(Q /Q) = lim Gal(Qn /Q) Z/pn Z = lim

16

Una introduccin a la teora de Iwasawa

abeliano con grado 5. Es F1 el primer nivel de una Z5 -extensin F de Q, distinta de Q ? En este ejemplo, hemos escogido el primo 11 porque 11 1 m od 5. Por el teorema de Dirichlet sobre primos en progresiones aritmticas, y si jamos un entero n 1, existen innitos nmeros primos q tales que q 1 m od 5n (por ejemplo, q = 101 1 m od 25). Por tanto, podemos encontrar innitas extensiones distintas de Q, con grupo de Galois Z/5n Z, cada una dentro de un cuerpo Q(q ), y cada una con un primo q diferente. Quiere esto decir que existen innitas Z5 -extensiones distintas de Q? La respuesta es no y el teorema 9.5 explica el porqu (vase tambin el ejemplo 9.8 ms abajo). Antes de enunciar el teorema, recordamos al lector que el grado de una extensin K/Q puede expresarse como [K : Q] = r1 + 2r2 , donde r1 es el nmero de homomorsmos inyectivos distintos de K en R y 2r2 es el nmero de homomorsmos inyectivos distintos de K en C, cuya imagen no esta incluida en R (que aparecen en pares conjugados). Teorema 9.5 ([15], Teorema 13.4). Sea K un cuerpo de nmeros y sea p un nmero la composicin de todas las Zp -extensiones de K . Existe un entero primo. Sea K d 1 tal que Gal(K/K ) = Zd p y r2 + 1 d r1 + 2r2 = [K : Q]. Ntese que el entero d en el teorema es el rango del Zp -mdulo Gal(K/K ). El nmero d es pues el nmero de Zp -extensiones linealmente independientes de K , y hay una famosa conjetura de H. W. Leopoldt que asegura que d es siempre r2 + 1. y d denidos como en el Conjetura 9.6 (Conjetura de Leopoldt). Sean K , K teorema 9.5. Entonces d = r2 + 1.

En mayo del 2009, Preda Miha ilescu anunci una demostracin de la conjetura que, hasta esta fecha, est todava siendo vericada. Desde que se propuso la conjetura ha habido numerosos anuncios de demostraciones, pero siempre se han encontrado errores en la prueba y, como consecuencia, la comunidad matemtica est siendo muy cautelosa con la vericacin de esta nueva demostracin. El indicio ms claro que tenemos a nuestra disposicin para creer que la conjetura es cierta es que lo es si K/Q es una extensin abeliana. Teorema 9.7 (Brumer, 1967, [2]). Sea K/Q una extensin nita de Galois y abeliana. Entonces la conjetura de Leopoldt es cierta para K . Ejemplo 9.8. Sea K = Q. Entonces r1 = 1 y r2 = 0, y Por tanto, el teorema 9.7 nos dice que hay solo una extensin p-dica de Q. Es decir, Q , la extensin p-dica ciclotmica del ejemplo 9.3 es la nica Zp -extensin de Q. Ejemplo 9.9. Sea K una extensin cuadrtica de Q. Como todas las extensiones cuadrticas son galoisianas (pues K = Q( m), para algn entero m libre de cuadrados), el teorema 9.7 se puede utilizar en este caso. Hay que considerar dos casos: /Q) = 0 + 1 = 1. d = rankZp Gal(Q

La Gaceta Artculos

17

Supongamos que K/Q es un cuerpo real cuadrtico, i. e. K = Q( m), donde m > 0. El nmero de inyecciones reales y complejas de K son r1 = 2 y r2 = 0, respectivamente, y rankZp Gal(K/K ) = 0+1 = 1. Por tanto K tiene una nica Zp -extensin, una para cada primo p, que es K = K Q , la extensin p-dica ciclotmica de K . Supongamos que K/Q es un cuerpo cuadrtico imaginario. Entonces r1 = 0, r2 = 1 y rankZp Gal(K/K ) = 1 + 1 = 2. Por consiguiente, K tiene dos Zp extensiones linealmente independientes. Una de ellas es la extensin ciclotmica. La otra extensin aparece de manera natural en la teora de curvas elpticas (se puede obtener al aadir a K las coordenadas de los puntos de torsin de orden pn de una curva elptica con multiplicacin compleja por K ). La otra extensin se denomina p -extensin anticiclotmica de K , y normalmente la Z ac ac ac escribimos K = n1 Kn . Los cuerpos intermedios Kn estn caracterizados como las nicas extensiones abelianas de K tales que el grupo de Galois ac de Kn /K es el grupo dihedral de orden 2pn .

10.

Acerca de los invariantes , y de una Zp -extensin

En esta seccin queremos explicar la importancia del teorema de Iwasawa y para ello describiremos la relacin entre los invariantes y y el grupo de clases de ideales de cuerpos intermedios de una Zp -extensin. Sea K un cuerpo de nmeros y sea K = n1 Kn una Zp -extensin de K . Por el teorema de Iwasawa 9.2, existen invariantes = (K /K ), = (K /K ) y = (K /K ) tales que, si pen es la mayor potencia de p que divide el orden de Cl(Kn ), entonces en = n + pn + para todo n n0 . De esto se desprende que, si o no es nulo, entonces el tamao de la parte p-primaria del grupo de clases Cl(Kn ) crece con n (y si = 0 muy rpidamente!). De ahora en adelante llamaremos An a la componente p-primaria de Cl(Kn ). Es decir, An es el subgroup de Cl(Kn ) formado por todos los elementos cuyo orden es una potencia de p. Con esta notacin, el teorema de Iwasawa nos dice que el rden del grupo An es precisamente pen y, por tanto, si o no es nulo, An crece con n. Pero, cual es la estructura de An como grupo abeliano? Z/pen Z, o (Z/pZ)en , o . . . ? El teorema de Iwasawa, y la teora que Iwasawa inici con este trabajo [10], describe precisamente la estructura de An . A continuacin ofrecemos ejemplos de resultados que conocemos acerca de esta cuestin. Teorema 10.1 ([6], Prop. 2.1). Sea K un cuerpo de nmeros con nmero de clases hK . Supongamos que hK no es divisible por p y que en K slo hay un ideal primo sobre p. Entonces = = = 0 para toda Zp -extensin de K . Ejemplo 10.2. Pongamos K = Q en el teorema 10.1. Claramente, el nmero de clases de Q es 1 (pues Z es un DIP) y slo hay un ideal primo en Z sobre p.

18

Una introduccin a la teora de Iwasawa

Por consiguiente = = = 0 para toda Zp -extensin de Q. En el ejemplo 9.8 hemos visto que, si jamos el primo p, slo hay una Zp -extensin de Q, la extensin ciclotmica Q /Q. As que = = = 0 en esta extensin. Que los invariantes , , se anulan en este caso tambin se puede deducir de la conjetura de Vandiver. En efecto, sea Qn el n-simo cuerpo de la Zp -extensin ciclotmica de Q. Como Qn es el subcuerpo de Q(pn+1 ) jo por H , donde H es el subgrupo de orden p 1 en el grupo de Galois (Z/pn+1 Z) , sabemos que Qn est contenido en Q(pn+1 )+ porque el mximo subcuerpo real es el cuerpo jo de un subgrupo de H de orden 2. La extensin Q(pn+1 )+ /Qn es abeliana, de grado (p 1)/2 y p ramica totalmente. Por el teorema 7.1, h(Qn ), el nmero de clases de Qn , es un divisor del nmero de clases h(Q(pn+1 )+ ). Supongamos que p divide a h(Qn ). En el parrafo anterior hemos visto que, entonces, p tambin divide a h(Q(pn+1 )+ ). Adems, Q(pn+1 )+ /Q(p )+ es una extensin de grado pn y, por tanto, por el teorema de push-down (Teorema 7.2), el primo p es un divisor de h(Q(p )+ ), en contradiccin con la conjetura de Vandiver (Conj. 7.4). As que si creemos que la conjetura de Vandiver es cierta, entonces p no puede ser un divisor de h(Qn ), para ningn n 1, lo cual implica que = = = 0 en la Zp -extensin ciclotmica de Q. Si combinamos el teorema 10.1 con el criterio de Kummer (teorema 6.5) obtenemos el siguiente resultado: Corolario 10.3. Supongamos que p no es divisor del numerador de ningn nmero de Bernoulli B2k con 2 2k p 3. Entonces = = = 0 para todas las Zp extensiones de K = Q(p ). La Zp -extensin ciclotmica de un cuerpo de nmeros es un tanto especial, pues tiene propiedades que no tienen por qu ocurrir en otras extensiones p-dicas. La siguiente conjetura fue propuesta por Iwasawa. Conjetura 10.4 (Iwasawa). Sea K un cuerpo de nmeros y sea K = K Q la Zp -extensin ciclotmica de K . Entonces (K /K ) = 0.

Sabemos que esta conjetura es cierta cuando K/Q es una extensin abeliana (este resultado es un teorema de Ferrero y Washington; vase [15], Teorema 7.15). Iwasawa encontr ejemplos de otras Zp -extensiones, distintas de la ciclotmica, tales que (K /K ) = 0 (vase [11]). Si K/Q es totalmente real, i. e. el nmero de inyecciones de K en R es igual al grado de K/Q, entonces se cree que el invariante de la Zp -extensin ciclotmica es tambin nulo. Esto ltimo es una conjetura que apareci en la tesis de Ralph Greenberg (gura 7), uno de los grandes expertos en este campo en la actualidad. Greenberg fue estudiante de Iwasawa, ha explorado muchas cuestiones en la teora de Iwasawa y contina atrayendo a muchos matemticos hacia este tipo de preguntas. Conjetura 10.5 ([7]). Sea K/Q un cuerpo de nmeros totalmente real y sea K = K la Z n p -extensin ciclotmica de K . Entonces (K /K ) = (K /K ) = 0. n1 Es decir, la mayor potencia de p que divide al nmero de clases de Kn est acotada por pen p = p (K /K ) , para todo n 1.

La Gaceta Artculos

19

Figura 7: Ralph Greenberg.

Qu ocurre cuando el invariante es nulo en una Zp -extensin? El siguiente teorema responder a esta pregunta, pero primero necesitamos introducir el concepto de p-rango de un grupo abeliano. Definicin 10.6. Sea G un grupo abeliano nito y sea G[p ] la componente pprimaria de G. Como G[p ] es un grupo abeliano nito tal que el orden de cada uno de sus elementos es una potencia de p, tenemos que existen enteros r 0 y e1 , . . . , er 1 tales que: Si r = 0 entonces G[p ] es trivial (con un solo elemento, la identidad). Por tanto, G[p ]/pG[p ] = (Z/pZ)r y el entero r 0 es llamado el p-rango de G. O lo que es lo mismo, r es la dimensin de G/pG como espacio vectorial sobre Z/pZ y decimos que r = rankZ/pZ (G/pG). Ntese que G/pG = G[p ]/pG[p ] = (Z/pZ)r , as que r tambin se puede calcular directamente desde G. Teorema 10.7 ([15], Prop. 13.23). Sea K un cuerpo de nmeros y sea K /K una Zp -extensin. Entonces (K /K ) = 0 si y slo si el p-rango de Cl(Kn ) est acotado cuando n . Este teorema nos dice que = 0 si y slo si existe un r0 tal que rankZ/pZ (An ) r0 para todo n 1 donde, como antes, An es la componente p-primaria de Cl(Kn ). Es decir, existen constantes en,i 1 para cada i = 1, . . . , r0 tales que An = (Z/pen,1 Z) (Z/pen,2 Z) (Z/pen,r0 Z) G [ p ] = (Z/pe1 Z) (Z/pe2 Z) (Z/per Z).

y en,i en+1,i (porque la norma de An+1 a An es sobreyectiva). Por tanto, para cada i = 1, . . . , r0 , tenemos una sucesin ascendente de enteros positivos i = {en,i }n1 . Se cumple que en,i cuando n , o es {en,i } una sucesin acotada? Es aqu donde el invariante entra en juego. Denimos A = lim An donde los morsmos de conexin vienen dados por la norma. Teorema 10.8 ([15], Prop. 13.25). Sea K un cuerpo de nmeros y sea K /K una Zp -extensin tal que (K /K ) = 0. Sea An la componente p-primaria de Cl(Kn ),

20

Una introduccin a la teora de Iwasawa

donde Kn es la n-sima capa de K /K . Entonces A = lim An = Z p G donde = (K /K ) y G es un grupo nito abeliano cuyo orden es una potencia de p. En general, es muy difcil calcular los valores exactos de los invariantes , y de una Zp -extensin dada. Sin embargo, en algunos casos particulares, tenemos cotas para estos invariantes. Teorema 10.9 ([6], Prop. 2.2). Sea K un cuerpo de nmeros y p un primo que se descompone completamente en K/Q (i. e. pOK = 1 2 r , donde todos los i son ideales primos distintos y r = [K : Q]). Sea K /K una Zp -extensin en la cual todos los ideales primos de OK sobre p ramican. Entonces (K /K ) r2 , donde, como siempre, [K : Q] = r1 + 2r2 . Tambin se ha conjeturado que, si jamos el cuerpo de nmeros K , el invariante de la Zp -extensin ciclotmica de K no puede ser arbitrariamente grande al variar el primo p. Conjetura 10.10 ([6], p. 13). Sea K un cuerpo de nmeros y, para cada primo p, sea K,p /K la Zp -extensin ciclotmica de K . Entonces existe un nmero N > 0 tal que (K,p /K ) N para todos los primos p 2.

11.

El cuerpo de clases de Hilbert

Antes de comenzar nuestra discusin de la demostracin del teorema de Iwasawa necesitamos un ingrediente ms, que es la sorprendente conexin entre el nmero de clases de un cuerpo de nmeros y sus extensiones sin ramicacin en ningn primo.

Figura 8: David Hilbert (1862 - 1943).

Teorema 11.1 (Hilbert, 1897). Sea K un cuerpo de nmeros y sea Cl(K ) el grupo de clases de ideales de K . Existe un cuerpo de nmeros H (conocido en la actualidad como el cuerpo de clases de Hilbert de K ) tal que:

La Gaceta Artculos

21

1. K H , la extensin H/K es de Galois, y Gal(H/K ) es abeliano, isomorfo a Cl(K ), y 2. H es la mxima extensin abeliana de K sin ramicacin en ningn primo. Este teorema, y los fundamentos de lo que hoy conocemos como la teora de cuerpos de clases, aparecieron en el libro de Hilbert [8], tambin conocido como su Zahlbericht. El teorema 11.1 constituye un diccionario entre grupos de clases de ideales y extensiones abelianas no ramicadas y, en particular nos dice que el nmero de clases de K es divisible por un primo p si y slo si existe una extensin F/K abeliana no ramicada de grado p. Supongamos que K es un cuerpo de nmeros y K = n1 Kn es una extensin p-dica de K . Sea Hn el cuerpo de clases de Hilbert de Kn y sea Ln la mxima pextensin de Kn que es abeliana y no ramicada (vase la gura 9). Por la denicin de Hn , sabemos que hay una inclusin Ln Hn . Tambin denimos: K = Kn , L = Ln , y H = Hn .
n1 n1 n1

Sea Xn = Gal(Ln /Kn ). Por el Teorema 11.1, sabemos que Gal(Hn /Kn ) = Cl(Kn ) y el grupo de Galois Gal(Ln /Kn ) es isomorfo a An , la componente p-primaria de Cl(Kn ). Como Ln /K es de Galois, la extensin L /K tambin es de Galois, es decir normal y separable. Si denimos X = Gal(L /K ) entonces sabemos que Gal(L /K )/X = Gal(K /K ) = Zp . A partir de ahora asumiremos, por simplicidad que la extensin K /K est totalmente ramicada en cada primo que ramica. Bajo esta hiptesis, tenemos que Kn+1 Ln = Kn porque Kn+1 /Kn est totalmente ramicada y Ln /Kn no se ramica. Por tanto, Gal(Ln /Kn ) = Gal(Ln Kn+1 /Kn+1 ) y Xn = Gal(Ln /Kn ) = Gal(Ln K /K ) y tambin Por consiguiente, est claro que nos interesa mucho conocer la estructura de X = An , para cada n 1. Gal(L /K ) porque resume la estructura de Xn = lim Gal(Ln K /K ) = lim Xn . X = Gal(L /K ) =

12.

La estructura de X como un mdulo sobre Zp [[T ]]

En esta seccin describimos como se puede dotar a X = Gal(L /K ) con una estructura de mdulo sobre Zp [[T ]] y tambin hablaremos de Zp [[T ]]-mdulos en general. Por abreviar, llamaremos = Zp [[T ]] al anillo de series en la variable T con coecientes en Zp . (a) Primero, sabemos que X = lim Xn es un lmite inverso de p-grupos abelianos nitos, porque Xn es isomorfo a An , la componente p-primaria de Cl(Kn ) y, por tanto, podemos considerar X como un Zp -mdulo de modo natural.

22

Una introduccin a la teora de Iwasawa

L
X

. . .

. . .

Hn

. . .
Xn

Ln

H1

Kn
Z/pZ X1

L1

H0

K1
Z/pZ X0

L0

K = K0

Q
Figura 9: La Zp -extensin K /K , la mxima p-extensin abeliana sin ramicacin de la capa Kn , y sus cuerpos de clases de Hilbert.

La Gaceta Artculos

23

Ejemplo 12.1. Supongamos que X = Z/pZ Z/p2 Z Zp . Denimos la accin natural de k Zp sobre un elemento x = (a m od p, b m od p2 , c) X , donde a, b Z y c Zp , como (b) Tambin hay una accin natural de = Gal(K /K ) sobre X = Gal(L /K ). En efecto, sea y sea cualquier elemento de Gal(L /K ) que extiende a (es decir, la restriccin de a K es ) y sea x X . Denimos la accin de sobre x X como Esta accin est bien denida porque, si es otra extensin de a todo Gal(L /K ), entonces y dieren en , un automorsmo de L /K (i. e. X ). De esto se deduce que porque X es abeliano, , x X y, por tanto, x1 = x. x( )1 = x( )1 = x1 1 = x 1 x= x 1 . k x = (ka m od p, kb m od p2 , kc).

Juntando (a) y (b) hemos construido una estructura natural para X como Zp []mdulo. Ntese que = Gal(K /K ) = Zp . Sea 0 un generador topolgico jo de y denamos la accin de un parmetro T sobre X como T X = (0 1)X (esto hace que consideremos la accin como aditiva, en vez de multiplicativa). Entonces X se puede considerar como un Zp [T ]-mdulo. Adems, la accin de T sobre X es topolgicamente nilpotente, i. e. cualquier subgrupo abierto de X contiene a T n X para todo n > 0 sucientemente grande. Por consiguiente, X es un Zp [[T ]]-mdulo, o un -mdulo por abreviar. El siguiente teorema es la clave de toda la teora: Teorema 12.2 (Serre, [13]). X = Gal(L /K ) es un -mdulo nitamente generado, y X es -torsin, i. e. para todo x X existe un , con = 0, tal que x = 0. El anillo no es un dominio de ideales principales pero, de todos modos, tenemos un teorema sobre la estructura de -mdulos, anlogo al de mdulos nitamente generados sobre un DIP. Definicin 12.3. Decimos que dos -mdulos X y Y son pseudoisomorfos, y escribimos X Y , si existe un homomorsmo de -mdulos X Y cuyo ncleo y concleo son nitos. El siguiente teorema fue demostrado primero por Iwasawa ([15], Thm. 13.12), pero Serre y Cohen encontraron demostraciones ms sencillas. Teorema 12.4 (Teorema de estructura para -mdulos nitamente generados). Sea X un -mdulo nitamente generado. Entonces X es pseudoisomorfo a un -mdulo Y tal que s t X Y = r /(pni ) /(fj (T ))mj
i=1 j =1

24

Una introduccin a la teora de Iwasawa

Recordamos al lector que un polinomio f (T ) = T n + an1 T n1 + + a1 T + a0 Zp [T ] es distinguido si ai es divisible por p para todo i = 0, . . . , n 1.

donde r, s, t, ni , mj Z y fj (T ) son polinomios distinguidos en Zp [T ].

13.

La demostracin del teorema de Iwasawa

En esta ltima seccin vamos a ensamblar todas las piezas para esbozar una demostracin del teorema de Iwasawa (Teorema 9.2). El objectivo es calcular el tamao de An , para todo n n0 . Por la teora de cuerpos de clases, An = Xn , y hemos demostrado en la seccin 11 que X = Gal(L /K ) lim X . = n Pregunta 13.1. Si conocieramos la estructura de X como -mdulo, podemos deducir la estructura de Xn ? Respondamos primero esta pregunta. Recordemos que hemos elegido un elemento 0 , que es un generador topolgico de = Gal(K /K ) = Zp , as que el elemento pn n = 0 es un generador topolgico de n = Gal(K /Kn ) = pn Zp . No es difcil demostrar que Ln K es la mxima extensin abeliana de Kn que est incluida en L . Por tanto, Hn = Gal(L /Ln K ) es el mayor subgrupo de Gn = Gal(L /Kn ) tal que el subcuerpo jo de Hn es abeliano sobre Kn . Deducimos, pues, que Hn es el subgrupo conmutador de Gn (por las propiedades de subgrupos conmutadores). Es decir, Hn = Gal(L /Ln K ) = [Gn , Gn ]. Adems, es fcil demostrar que el subgrupo conmutador [Gn , Gn ] = {aba1 b1 : a, b Gn } tambin se puede describir como 1 1 [Gn , Gn ] = { x : x X, n x n n extiende n n a Gn }. Si recordamos que la accin de n sobre x X viene precisamente denida por 1 n x = , si cambiamos a la notacin aditiva y si ponemos wn = n 1, n x n entonces el subgrupo conmutador de Gn es igual a [Gn , Gn ] = (n 1)X = wn X . Concluimos que Gal(Ln K /K ) = Gal(L /K )/[Gn , Gn ] Xn = Gal(Ln /Kn ) = = X/wn X. Por tanto, hemos demostrado el siguiente resultado. Proposicin 13.2. Sea X = Gal(L /K ) y Xn = Gal(Ln /Kn ). Sea 0 un genpn erador topolgico de = Gal(K /K ). Tambin, sea n = 0 y wn = n 1. Entonces Xn = X/wn X. Ahora podemos reescribir el isomorsmo Xn = X/wn X en funcin de la accin de = Zp [[T ]] sobre X . Recordemos que hemos denido T x = (0 1)x y, as pues, n pn wn x = (n 1)x = (0 1)x = ((1 + T )p 1)x.
n Por tanto, Xn = X/((1 + T )p 1)X y esto constituye una respuesta armativa a nuestra pregunta 13.1.

La Gaceta Artculos

25

Esbozo de la demostracin del teorema 9.2. El teorema 12.2 nos dice que X = Gal(L /K ) es un -mdulo nitamente generado y, por el teorema de estructura 12.4, existe un -mdulo Y tal que s t Y = r /(pni ) /(fj (T ))mj
i=1 j =1

y los mdulos X e Y son pseudoisomorfos. Por el Teorema 12.2, X es -torsin, y esto signica que r = 0 en la ecuacin anterior y, por tanto: s t XY = /(pni ) /(fj (T ))mj .
i=1 j =1

Ahora slo nos queda contar el nmero de elementos en los grupos cocientes indicados en la proposicin 13.2. s Dejamos que tel lector verique que existe un entero N1 tal que, poniendo m = i=1 ni y = j =1 deg(fj )mj , |Y /((1 + T )p 1)Y | = pmp
n n

+n+c

para todo n > N1 y para alguna constante c 0. Adems, si X Y entonces existe un entero N2 0 tal que |X/((1 + T )p 1)X | = pc |Y /((1 + T )p 1)Y |
n n

para todo n > N2 , donde c 0 es constante. Por consiguiente, si denimos = (K /K ) = m, = (K /K ) =

n

= c + c

entonces existe un nmero n0 = m ax(n1 , n2 ) tal que |An | = |Xn | = |X/((1 + T )p 1)X | = pp
n

+n+

para todo n n0 , lo cual concluye la demostracin del teorema de Iwasawa.

Referencias
[1] J. Buhler, R. Crandall, R. Ernwall, T. Metsnkyl, M. Shokrollahi, Irregular primes and cyclotomic invariants to 12 million, J. Symbolic Comp 31 (2001), 8996. [2] A. Brumer, On the units of algebraic number elds, Mathematika, 14 (1967), 121124. [3] J. Coates, R. Sujatha, Cyclotomic Fields and Zeta Values, Springer, 2009. [4] K. E. Conrad, Fermats last theorem for regular primes, disponible en su pgina: http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/fltreg.pdf

26

Una introduccin a la teora de Iwasawa

[5] H. M. Edwards, Fermats last theorem: A genetic introduction to algebraic number theory, GTM 50, Springer, 1977. [6] R. Greenberg, Iwasawa Theory - Past and Present, disponible en su pgina: http://www.math.washington.edu/~greenber/research.html [7] R. Greenberg, On some questions concerning the Iwasawa invariants, Princeton University thesis, 1971. [8] D. Hilbert, Theorie der algebraischen Zahlkrper (The theory of algebraic number elds), Springer, 1998 (publicado originalmente en 1897). [9] K. Iwasawa, A note on Class Numbers of Algebraic Number Fields, Abh. Math. Sem. Univ. Hamburg, 20 (1956), 257-258. [10] K. Iwasawa, On -extensions of algebraic number elds, Bull. Amer. Math. Soc. 65 (1959), 183-226. [11] K. Iwasawa, On the -invariants of Z -extensions, Number theory, Algebraic Geometry, and Commutative Algebra (in honor of Y. Akizuki), Kinokuniya: Tokyo, 1973, pp. 1-11. [12] D. Lorenzini, An invitation to Arithmetic Geometry, Graduate Studies in Mathematics, Vol 9, American Mathematical Society, 1996. [13] J. P. Serre, Classes des corpes cyclotomique (daprs K. Iwasawa), Seminaire Bourbaki, 174 (1959). [14] K. Uchida, Class numbers of imaginary abelian number elds, I, II y III, Thoku Math. J. (2) 23 (1971), 97-104, 335-348 y 573-580. [15] L. C. Washington, Introduction to cyclotomic elds, Second Edition, GTM 83, Springer, 1997. [16] A. Wiles, Modular elliptic curves and Fermats last theorem, Ann. of Math. 141 (1995), no. 3, 443551.
lvaro Lozano-Robledo, Dept. of Mathematics, University of Connecticut, Storrs, CT 06269, USA Correo electrnico: alvaro.lozano-robledo@uconn.edu Pgina web: http://www.math.uconn.edu/~alozano