Formas Modulares y La Curva

Formas modulares y la curva
y
2
= x
3
35x 98
Dulcinea Raboso Paniagua
Trabajo de n de Master
Curso 20082009
Director: Fernando Chamizo Lorente
No es el conocimiento, sino el acto de aprendizaje,
y no la posesion, sino el acto de llegar all,
lo que concede el mayor disfrute.
Carl Friedrich Gauss
Indice general
1. Funciones elpticas 1
1.1. Funciones elpticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Toros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3. Funcion de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4. Ley de grupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2. Formas modulares 13
2.1. El grupo modular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2. Formas modulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3. Operadores de Hecke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4. Formas modulares respecto a . . . . . . . . . . . . . . . . . . . . . . . 32
2.5. Formas cuadraticas binarias . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.5.1. Formas cuadr aticas de Q
7
. . . . . . . . . . . . . . . . . . . . . 42
2.6. La funcion de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3. Multiplicaci on compleja y la ecuacion modular 49
3.1. Multiplicaci on compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2. Funciones modulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.2.1. La ecuaci on modular . . . . . . . . . . . . . . . . . . . . . . . . . 57
4. La curva elptica y
2
= x
3
35x 98 59
4.1. La ecuacion modular y el invariante j . . . . . . . . . . . . . . . . . . . . 59
4.2. Endomorsmo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.2.1. Caso
_
7
p
_
= 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.2.2. Caso
_
7
p
_
= 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.3. Forma modular asociada a la curva . . . . . . . . . . . . . . . . . . . . . 71
i
Introducci on
Las integrales elpticas fueron estudiadas por importantes matem aticos y fsicos del
siglo XIX, trabajos que impulsaron el estudio de las curvas elpticas y de las formas
modulares.
Una curva elptica E es una curva c ubica no singular. En teora de n umeros son
especialmente importantes las denidas sobre Q, las cuales con cambios de variable
adecuados siempre se pueden reducir a la forma can onica y
2
= x
3
+ Ax + B con A y B
racionales (o incluso enteros).
Dados dos puntos racionales de la curva, el tercer punto de interseccion de la recta que
los une sera de nuevo racional (si dos de las races de una c ubica racional son racionales,
la otra tambien lo es), de este modo es posible dotar al conjunto de puntos racionales
de la curva de una estructura de grupo abeliano, pero dar una prueba geometrica de la
asociatividad sera difcil. Una manera de solventar este problema es la de construir una
: C E cuyas coordenadas son funciones meromorfas de periodos 1 y / R de forma
que la suma habitual de n umeros complejos se transforma en la suma de puntos en la
curva elptica y puesto que la primera es asociativa, la segunda tambien debe serlo.
A pesar de su simplicidad, las curvas elpticas han mostrado tener una sorprendente
riqueza aritmetica que ha dado lugar a aplicaciones inesperadas por ejemplo en el campo
de la criptografa.
Las formas modulares tienen su origen en trabajos cl asicos del siglo XIX pero se puede
decir que es en la actualidad cuando viven su edad de oro pues en los ultimos a nos la
investigacion en este tema ha crecido espectacularmente, especialmente en relaci on con
la teora de n umeros. Sin embargo, en principio, la denici on de forma modular pertenece
al an alisis complejo. En su versi on mas sencilla una forma modular f de peso k es una
funci on holomorfa en el semiplano superior que verica
f(z) = f(z + 1), f(z) = z
k
f(1/z)
y que en cierta forma es tambien holomorfa en el innito. Estas relaciones implican
f(z) = (cz + d)
k
f
_
az + d
cz + d
_
para toda
_
a b
c d
_
SL
2
(Z)
donde SL
2
(Z) son las matrices enteras con determinante uno. La denicion se extiende
cambiando el grupo SL
2
(Z) por algunos subgrupos suyos, especialmente
0
(N) que son
las matrices en las que c es divisible por N.
Al ser funciones periodicas, tienen un desarrollo de Fourier f(z) =
a
n
e
2nz
y son
estos coecientes a
n
los que a menudo aportan informacion aritmetica.
En 1955, Y. Taniyama y G. Shimura enunciaron una importante conjetura relacio-
nando las curvas elpticas denidas sobre Q y las formas modulares. Sin embargo, en
el momento de su aparici on, la conjetura no mereci o mayor atenci on, por considerar
que se basaba en algunos casos aislados y solo llego a ser ampliamente conocida tras su
publicaci on en un artculo de Andre Weil en 1967.
Esencialmente la conocida como conjetura de Shimura-Taniyama-Weil establece que
si N
p
es el n umero de puntos de una curva elptica sobre Q al considerarla modulo un
primo p, entonces existe una forma modular de peso dos f(z) =
a
n
e
2nz
con ciertas
caractersticas tal que sus coecientes de Fourier a
p
coinciden con N
p
. Se dice entonces
que la curva elptica es modular.
Goro Shimura, Yutaka Taniyama y Andre Weil.
La importancia de la conjetura radica en que liga dos temas muy diferentes. Es algo
totalmente inesperado que haya relaciones entre el n umero de soluciones de una ecua-
ci on c ubica para diferentes primos, pero resulta que estos n umeros est an ligados entre
s pues se pueden combinar para formar una funci on holomorfa con ciertas simetras.
Sin embargo la difusi on de la conjetura entre el gran p ublico matematico vino por un
camino diferente a su profundidad.
La relaci on entre la conjetura de Shimura-Taniyama-Weil y el ultimo teorema de
Fermat apareca en 1985, cuando G. Frey propuso asociar a la ecuaci on de Fermat
a
n
+ b
n
= c
n
la curva elptica y
2
= x(x + a
n
)(x b
n
). Esta curva tiene propiedades
demasiado bellas para ser verdaderas; por ejemplo, a partir de estos coecientes, el
discriminante
=
_
(a
n
b
n
)
2
+ 4a
n
b
n
= a
n
+ b
n
= c
n
es una potencia n-esima perfecta.
K. Ribet, con una sugerencia de B. Mazur, demostro en 1986 que la curva de Frey no
puede ser parametrizada por funciones modulares. De este modo, la conjetura implicaba
la no existencia de soluciones de Fermat. En el mismo a no, A. Wiles se entero de la
demostraci on de Ribet, y decidi o concretar su sue no de juventud tratando de dar con
una demostracion de la conjetura.
En Junio de 1993, en la conferencia sobre Teora de N umeros, en Cambridge, Wiles
present o sus resultados bajo el ttulo de Formas modulares, curvas elpticas y repre-
sentaciones de Galois, pero tres meses despues y tras un analisis detallado del trabajo
presentado por Wiles se encontr o un fallo sustancial, una laguna en la demostraci on. . .
Andrew Wiles.
En 1995, Wiles con la ayuda de R. Taylor, demostr o la conjetura para una clase
de curvas elpticas llamadas semiestables, condicion suciente para probar el ultimo
teorema de Fermat. En 1999, la conjetura fue demostrada en su totalidad por C. Breuil,
B. Conrad, F. Diamond y R. Taylor.
Teorema 1 (Breuil, Conrad, Diamond, Taylor, Wiles.)
Toda curva elptica sobre Q es modular.
Nuestro objetivo en este trabajo sera demostrar la conjetura para una sola curva
elptica especial, E : y
2
= x
3
35x 98.
En el primer captulo veremos el concepto de funci on elptica, una funcion meromorfa
doblemente peri odica, asociada a un retculo y un paralelogramo R, correspondientes
a tales periodos.
De la relaci on existente entre las funciones elpticas y retculos, las primeras pueden
identicarse como funciones meromorfas de un toro complejo C/, este a su vez es
isomorfo a una curva elptica compleja, encontrando as la relaci on con las consabidas
curvas. Antes de describir este isomorsmo se aportan varios resultados que ayudan a
comprender cuando dos curvas son isomorfas a partir de los toros correspondientes, que
a su vez, se traduce en el estudio de los retculos y de cu ando dos de ellos son linealmente
equivalentes [Di-Sh], [Kn].
Fijado un retculo, de entre todas las funciones elpticas hay dos de ellas que son
b asicas, (z) y
(z). Un estudio detallado mostrar a c omo cualquier funcion elptica

puede escribirse a partir de estas [Kn], lo que nos llevar a a la relaci on (
)
2
= 4
3
g
2
g
3
donde g
1
y g
2
son constantes que dependen de .
De este modo, llegamos al isomorsmo entre la supercie de Riemann C/ y la curva
proyectiva E : y
2
= 4x
3
g
2
x g
3
, que vendra dado por
: C/ E
z ((z),
(z))
Como C/ es una variedad abeliana va el isomorsmo anterior podremos dotar a E de
una ley de grupo (E, +), que junto con varios ejemplos cierran el captulo [Ch].
La relaci on existente entre dos retculos linealmente equivalentes es una transforma-
ci on de M obius asociada a los elementos del grupo modular SL
2
(Z) actuando en H.
En el captulo 2 se daran las deniciones de funciones, formas modulares y formas cus-
pidales, todas ellas estrechamente vinculadas al grupo modular o como veremos tambien
en el mismo captulo, a subgrupos suyos [Di-Sh]. Deniremos los espacios correspondien-
tes y la forma de calcular sus correspondientes dimensiones [Iw], [Di-Sh], [Se]. A lo largo
de la exposici on aparecer an varios ejemplos importantes, a saber, la serie de Eisenstein
G
2k
y su normalizada E
2k
, la funci on discriminante y la funcion de Klein j.
Estudiando con m as detalle la estructura de los espacios aparecen los operadores
de Hecke [Iw], [Se], con los que se aanza la conexion entre las formas modulares y la
aritmetica. En supercies de Riemann uniformizadas por ciertos subgrupos de SL
2
(Z),
se puede probar que los coecientes de Fourier de las formas modulares de peso 2 de
la base de Hecke correspondiente, son n umeros algebraicos. Si adem as son enteros, la
teora de M. Eichler y G. Simura les asocia una curva elptica sobre Q cuyo n umero de
soluciones modulo p est a relacionado con estos coecientes.
Hablaremos sobre formas cuadraticas binarias en el marco de las formas modulares,
estableciendo la relacion existente entre formas cuadr aticas y el grupo modular. Un
estudio detallado del caso de discriminante 7, nos aportara mas informaci on sobre la
curva tratada.
La ultima secci on se centra en el estudio de una funci on theta en particular, la funcion
de Jacobi [Di-Sh]. Daremos un resultado sobre la representaci on de un n umero como
suma de cuadrados y la relacion de la funci on con las formas cuadraticas [Iw].
La multiplicaci on compleja es una valiosa propiedad en las curvas elpticas [Si]. Si
el retculo asociado a la curva posee esta propiedad, admite cierta noci on de simetra.
Veremos como en ciertos casos los coecientes de estas curvas son todos ellos racionales.
Todo ello estara incluido en el captulo 3.
Introduciremos tambien el concepto de invariante j de una curva. Con respecto al
grupo
0
(N) encontraremos explcitamente los generadores del cuerpo de funciones me-
romorfas junto con una ecuaci on polin omica irreducible que los relaciona, la ecuaci on
modular.
El estudio de la curva E : y
2
= x
3
35x 98 tendr a lugar en el captulo 4. A traves
de la ecuacion modular y el invariante j calcularemos el retculo asociado y veremos
c omo j() cumple propiedades que ya anunci abamos en el captulo anterior, puesto que
E resultar a ser una curva elptica con multiplicaci on compleja.
Estudiaremos con detenimiento el endomorsmo de Frobenius basandonos en que sus
puntos jos cuando act ua sobre una curva algebraica, corresponden a soluciones m odulo
p. Distinguiremos dos casos, en los que Frob proviene de un endomorsmo sobre C y en
los que este hecho no se puede asegurar [La]. En ambos, nuestro objetivo ser a hallar N
p
,
el n umero de puntos de E en F
p
.
Por ultimo se demostrara que la curva es modular, concretamente encontraremos una
forma modular de peso 2 tal que su p-esimo coeciente de Fourier es p + 1 N
p
.
De este modo, habremos probado el teorema de modularidad en un caso especial, lo
que da por nalizado el trabajo.
Dulcinea Raboso Paniagua
Madrid, Septiembre de 2009
Captulo 1
Funciones elpticas
1.1. Funciones elpticas
Denici on: Una funci on meromorfa f es una funcion elptica si es doblemente pe-
ri odica, es decir, si existen
1
,
2
C linealmente independientes sobre R tales que
f(z) = f(z +
1
) = f(z +
2
) para todo z C.
La independencia lineal de
1
y
2
equivale a que sean no nulos y
1
/
2
tenga parte
imaginaria no nula. Podemos, si fuera necesario, intercambiar los generadores
1
y
2
de modo que (
1
/
2
) > 0, es decir, podemos exigir que el punto z =
1
/
2
viva en el
semiplano superior
H = z = x + iy : x R, y > 0
Para f no constante, el conjunto : f(z) = f(z + ) es un retculo llamado
retculo de periodos
= m
1
+ n
2
: m, n Z
De ahora en adelante, siempre se dar a por supuesto que
1
y
2
son generadores de
.
El paralelogramo con vertices 0,
1
,
2
,
1
+
2
es el llamado paralelogramo funda-
mental R. Para ser mas precisos, R contiene al origen as como las dos partes adyacentes
al mismo, pero no los otros dos lados y tres vertices. De este modo, el plano complejo
se descompone en una union disjunta de trasladados de R.
Proposicion 1.1.1 (Teorema de Lioville) No existe ninguna funcion elptica no cons-
tante sin polos.
Demostracion: Una funci on de este tipo tendra que ser acotada en la clausura R,
por lo tanto, entera y acotada en C. 2
1
2 CAP
ITULO 1. FUNCIONES EL
IPTICAS
0
1
+
2
Figura 1.1: Paralelogramo fundamental
Corolario 1.1.2 Si dos funciones elpticas tienen los mismos polos e identicas partes
principales, entonces dieren en una constante.
Proposicion 1.1.3 Si f(z) es una funcion elptica sin polos en la frontera del para-
lelogramo fundamental R, entonces la suma de los residuos de f(z) en R es cero.
Corolario 1.1.4 Si f(z) es una funcion elptica no constante, entonces f tiene mas de
un polo en R o bien, f tiene un polo de orden > 1.
Corolario 1.1.5 Supongamos que f(z) es una funcion elptica sin polos ni ceros en la
frontera del paralelogramo R. Entonces f tiene el mismo n umero de ceros y de polos,
contando multiplicidades.
El orden de f es el n umero de ceros o de polos que tiene f en un paralelogramo
fundamental de (o en cualquiera de sus trasladados), contados siempre con su multi-
plicidad.
Corolario 1.1.6 Supongamos que f(z) es una funcion elptica de orden n y R es su
paralelogramo fundamental. Para cada c C, f toma el valor c exactamente n veces,
contando multiplicidades.
1.2. Toros complejos
Una funcion elptica puede considerarse como un elemento del cuerpo de funciones
de la supercie de Riemann C/, es decir, de un toro complejo. Aqu el cociente se hace
de la manera obvia: z
1
z
2
z
1
z
2
, denotando por [z] la clase de z.
Todo toro complejo es isomorfo como grupo a una curva elptica compleja. Este
isomorsmo induce a su vez un isomorsmo entre el cuerpo de funciones racionales
1.2. TOROS COMPLEJOS 3
de la curva elptica y el cuerpo de funciones meromorfas del toro, las cuales pueden
identicarse con las funciones meromorfas en C con periodos
1
y
2
.
Dos n umeros complejos
1
y
2
linealmente independientes sobre R determinan un
paralelogramo en C. Para trabajar mas comodamente en el toro que resulta de identicar
los lados opuestos de dicho paralelogramo se trabaja con el retculo generado por
1
y
2
1
.
Denici on: Un homomorsmo analtico : C/ C/
entre dos toros complejos

es un homomorsmo de grupos que adem as es una aplicaci on holomorfa entre las dos
supercies de Riemann.
Teorema 1.2.1 Si : C/ C/
es una aplicacion holomorfa entre dos toros com-

plejos que cumple (0) = 0, entonces es un homomorsmo analtico, inducido por la
multiplicacion por un cierto C.
Si : C/ C/
es un isomorsmo analtico entre dos toros complejos inducido por

la multiplicaci on de un cierto C entonces =
. De forma an aloga, si C es tal

que =
entonces induce un isomorsmo analtico entre los toros correspondientes.

Denici on: Dos retculos complejos y
son linealmente equivalentes si existe

C tal que =
.
Es decir, dos retculos complejos son linealmente equivalentes si se relacionan median-
te una rotacion y una homotecia. Usando los teoremas anteriores se tiene que dos toros
C/ y C/
son isomorfos si y solo si los retculos y
son linealmente equivalentes.

Si es el retculo generado por
1
,
2
, y
es el generado por
1
,
2
, entonces
y
son equivalentes si y s olo si existe un C
tal que Z
1
+Z
2
= Z
1
+Z
2
.
Esto es equivalente a que existan enteros a, b, c, d tales que
(1.1)
1
= a
1
+ b
2

2
= c
1
+ d
2
con ad bc = 1.
Llamando z
=
1
/
2
y z
1
/
2
es equivalente a que existan n umeros enteros
a, b, c, d tales que
z
=
az
+ b
cz
+ d
con ad bc = 1.
Suponiendo que los generadores de ambos retculos esten ordenados de modo que z
y z
esten ambos en H, y tomando la parte imaginaria en la expresion anterior llegamos

a que la unica opci on es ad bc = 1.
1
Dicho toro puede identicarse con el cociente C/, donde por comodidad se trabaja en todo el
plano complejo en lugar de con el paralelogramo determinado por
1
y
2
.
4 CAP
IPTICAS
1.3. Funcion de Weierstrass
Vamos a denir una funci on elptica no constante con perodos
1
y
2
, demostrando
la existencia de tales funciones. A continuacion se desarrollan algunas propiedades de
esta funcion.
Denici on: Dado un retculo de periodos se llama funcion de Weierstrass
asociada a a la funci on elptica
(1.2) (z) =
1
z
2
+
=0
_
1
(z + )
2

1
2
_
.
Observaci on: Vamos a hacer uso reiterado del siguiente hecho en la teora de va-
riable compleja: si una serie de funciones analticas en un conjunto abierto converge
uniformemente, entonces el lmite es analtico, y lmites y derivadas pueden intercam-
biarse.
Lema 1.3.1 Si s es un n umero real > 2, entonces
=0
1
s
converge absolutamente.
Proposicion 1.3.2 Si F es un subconjunto nito de y si los terminos correspondien-
tes a F se omiten en (1.2), entonces la serie resultante converge absolutamente de forma
uniforme en cualquier subconjunto compacto de C( F). En consecuencia, (z) es
meromorfa en C, ademas sus unicos polos son de multiplicidad 2 en los puntos de , y
(z) puede ser calculado termino a termino.

Demostracion: Podemos asumir que = 0 F. La suma para F es
F
_
1
(z )
2

1
2
_
=
F
2z
z
2
(z )
2
,
y se tiene que
2z
z
2
(z )
2
C
[[
3
en un conjunto compacto. Por el Lema 1.3.1,
F
C
||
3
< , por lo que se tiene
convergencia absoluta de forma uniforme. El resultado de la observaci on anterior muestra
que el lmite es meromorfo. Los polos son los que se indican a causa de la convergencia,
y el mismo resultado muestra que podemos calcular
(z) termino a termino. 2

1.3. FUNCI
ON DE WEIERSTRASS 5
Proposicion 1.3.3 La funcion (z) es una funcion elptica con
1
y
2
periodos, par
y de orden 2.
Demostracion: La funci on es meromorfa en C, con polos dobles en los puntos de
. La serie que la dene converge uniformemente en todo compacto que no contenga
puntos de , al igual que sucede con la serie que resulta de derivar termino a termino,
(z) = 2
1
(z + )
3
.
Es evidente que
(z) es una funci on elptica sobre de orden 3.

La funcion (z) es par, pues
(z) =
1
(z)
2
+
_
1
(z + )
2

1
2
_
=
=
1
(z)
2
+
_
1
(z + )
2

1
2
_
= (z)
donde se ha usado que recorre cuando lo hace.
Como
(z) es elptica sobre , la funcion (z + ) (z) con , es constante.

Para z = /2 se tiene
(z + ) (z) = (/2) (/2) = 0,
luego (z + ) (z) es la funci on nula. 2
Observaci on: De la propia denici on de serie innita se sigue que
(z) es impar,
es decir, que
(z) =
(z).
As, para cada retculo complejo hemos encontrado dos funciones elpticas no cons-
tantes asociadas a , las funciones (z) y
(z).
Teorema 1.3.4 Cualquier funcion elptica f puede escribirse como
f(z) = G((z)) +
(z)H((z)),
donde G y H son funciones racionales (cocientes de polinomios).
Por la identidad
f(z) =
f(z) + f(z)
2
+
(z)
f(z) f(z)
2
(z)
basta probar que toda funcion elptica par g es una funci on racional de (z).
Para ello, veamos antes el siguiente resultado,
6 CAP
IPTICAS
Lema 1.3.5 Sea R el paralelogramo fundamental de .
1. Para cualquier u C, la funcion elptica (z) u tiene dentro de R o dos ceros
simples o uno doble.
2. Los ceros de
(z) en R son
1
/2,
2
/2 y (
1
+
2
)/2, todos ellos simples.
3. Los valores u
1
= (
1
/2), u
2
= (
2
/2) y u
3
= ((
1
+
2
)/2) son exactamente
los us en R donde (z) u tiene un cero doble, y u
1
, u
2
, u
3
son distintos.
Demostracion:
1. Puesto que (z) tiene orden 2, basta aplicar el Corolario 1.1.6.
2. La funcion
(z) tiene orden 3, y por tanto como mucho 3 ceros. Usando que
(z)
es impar y periodica, tomando z =
1
/2 se tiene
(
1
/2) =
(
1
/2) =
(
1
1
/2) =
(
1
).
Por tanto
1
/2 es un cero y de forma similar,
2
/2 y (
1
+
2
)/2 son tambien
ceros.
3. Si (z) u tiene un cero en z
0
, dicho cero ser a doble si y solo si
(z
0
) = 0. Por
2., (z) u puede tener ceros dobles en
1
/2,
2
/2, (
1
+
2
)/2, y en ese caso u
debe ser u
1
, u
2
, u
3
, respectivamente. Por otro lado, si u = u
1
, entonces (z) u
1
es 0 en z =
1
/2, ademas
(
1
/2) = 0, es por tanto un cero doble. Se obtiene un
resultado an alogo, aplicando el argumento en
2
/2 y en (
1
+
2
)/2. Finalmente,
si dos de ellos fueran iguales, digamos u
0
, entonces (z) u
0
tendra dos ceros
dobles, en contradicci on con 1., lo que permite concluir que u
1
, u
2
, u
3
son todos
distintos.
2
Demostracion: (Teorema 1.3.4)
Sea f(z) una funci on elptica par. Sea f(c) = 0.
Supongamos c R y c / 0,
1
/2,
2
/2, (
1
+
2
)/2. Sea c
su punto simetrico, es
decir, un punto en R congruente con c. Si c tiene orden n, tambien lo tendr a c
. De
hecho
f(c
z) = f(c z) = f(c + z).

Si f(c + z) = c
n
z
n
+ (orden superior), entonces
f(c
+ z) = f(c z) = c
n
z
n
+ (orden superior)
Ahora supongamos que c
1
/2,
2
/2, (
1
+
2
)/2, por ejemplo c =
1
/2. Entonces
f(
1
/2 z) = f(
1
/2 z) = f(
1
/2).
1.3. FUNCI
ON DE WEIERSTRASS 7
f es par en c =
1
/2 y por tanto su orden es par.
Un argumento similar se aplica en los polos. Si f tiene un polo en p R con p /
0,
1
/2,
2
/2, (
1
+
2
)/2, entonces f tiene un polo en p
del mismo orden. Para

1
/2,
2
/2, (
1
+
2
)/2 el orden del polo es par.
Tomamos ahora la mitad de la lista de ceros y polos de f(z). Sea c
i
la lista de
los ceros de f(z) en R que no sean 0,
1
/2,
2
/2, (
1
+
2
)/2 tomado cada uno con
su multiplicidad, pero tomado s olo uno para cada par c, c
. Para los ceros entre

1
/2,
2
/2, (
1
+
2
)/2, la lista sera el punto medio tomado tantas veces como indique su
multiplicidad. De forma similar, sea p
j
la lista de la mitad de los polos en R excepto
el 0.
Puesto que todos los c
i
y p
j
son distintos de cero, (c
i
) y (pj) son nitos para todo
i, j. Tiene sentido entonces denir
g(z) =
i
((z) (c
i
))
j
((z) (p
j
))
.
Es claro que g tiene los mismos ceros y polos que f, contando multiplicidades. Dado que
los unicos polos del numerador y denominador se encuentran en z = 0, el resto de ceros
y polos de g(z) vienen dados por los ceros del numerador y del denominador.
Consideramos un cero z
0
del numerador, un punto que verique (z
0
) = (c
i
). Si c
i
es uno de
1
/2,
2
/2, (
1
+
2
)/2, entonces usando el Lema 1.3.5, toma el valor (c
i
)
dos veces en ese momento y en ninguna otra parte. Por tanto z
0
= c
i
y (z) (c
i
) tiene
un cero de orden dos en z
0
. Teniendo en cuenta la repeticion de los factores para ese c
i
,
se tiene que f y g tienen un cero del mismo orden en z
0
.
Supongamos ahora que c
i
/
1
/2,
2
/2, (
1
+
2
)/2. Se tiene que (c
i
) = (c
i
),
de modo que (z) (c
i
) tiene ceros distintos en c
i
y en c
i
. Por el lema, esos ceros son
simples. Teniendo en cuenta la repeticion de los factores para ese c
i
, se tiene que f y g
tienen un cero del mismo orden en z
0
.
Por lo tanto, f y g tienen el mismo n umero de ceros (incluyendo los ordenes) y de
forma similar, el mismo n umero de polos (incluyendo los ordenes) apartando el caso z =
0. Por el Corolario 1.1.5, tienen el mismo orden de cero o polo en z = 0. En consecuencia,
f/g es entera y por tanto constante por la Proposici on 1.1.1, lo que concluye la prueba.
2
La funcion (
)
2
es elptica y par, y por tanto se puede escribir en terminos de .
Teorema 1.3.6 La funcion verica
(
)
2
= 4
3
g
2
g
3
,
donde g
2
y g
3
son constantes que dependen de en el siguiente sentido:
(1.3) G
m
= G
m
() =
=0
1
m
para m 3
8 CAP
IPTICAS
(1.4)
g
2
= g
2
() = 60G
4
,
g
3
= g
3
() = 140G
6
.
Demostracion: Por un lado, usando
1
(1 z)
2
= 1 + 2z + 3z
2
+ . . . si [z[ < 1,
se deduce
1
(z )
2

1
2
=
n=1
(n + 1)
z
n
n+2
.
Por otro, puesto que recorre cuando lo hace, se tiene
(z) =
1
z
2
+
=0
n=1
(n + 1)
z
n
n+2
.
La serie G
n
denida por (1.3) es convergente para n 3, ademas G
n
= 0 si n es impar,
se tiene entonces
(z) =
1
z
2
+
n=1
(2n + 1)G
2n+2
z
2n
=
1
z
2
+ 3G
4
z
2
+ 5G
6
z
4
+ 7G
8
z
6
+ . . .
Derivando termino a termino,
(z) =
2
z
3
+
n=1
(2n + 1)2nG
2n+2
z
2n1
=
2
z
3
+ 6G
4
z + 20G
6
z
3
+ 42G
8
z
5
+ O(z
7
)
Con unos c alculos mas,
(z)
2
=
4
z
6
24G
4
1
z
2
80G
6
+ (36G
2
4
168)z
2
+ O(z
4
)
(z)
2
=
1
z
4
+ 6G
4
+ 10G
6
z
2
+ O(z
4
)
(z)
3
=
1
z
6
+ 9G
4
1
z
2
+ 15G
6
+ (21G
8
+ 27G
2
4
)z
2
+ O(z
4
)
=
(z)
2
4(z)
3
+ 60G
4
(z) + 140G
6
= O(z
2
)
y puesto que no tiene polos ni termino constante, usando la Proposici on 1.1.1
(z)
2
4(z)
3
+ 60G
4
(z) + 140G
6
= 0.
Por ultimo, deniendo g
2
y g
3
por (1.4), se tiene el resultado. 2
El cuerpo C(,
) de las funciones elpticas sobre el retculo es isomorfo al cuerpo

de funciones racionales de la curva proyectiva E determinada por la ecuaci on y
2
=
4x
3
g
2
xg
3
. Como C(,
) es tambien isomorfo al cuerpo de las funciones meromorfas

del toro complejo C/ que tiene genero 1, lo mismo le ha de suceder a E, luego E ha
de ser una c ubica regular, es decir, una curva elptica.
1.4. LEY DE GRUPO 9
Teorema 1.3.7 Si es un retculo en C con base
1
,
2
, entonces
4x
3
g
2
x g
3
= 4 (x (
1
/2)) (x (
2
/2)) (x ((
1
+
2
)/2)) .
En particular, la curva plana
E : y
2
= 4x
3
g
2
x g
3
es regular.
Demostracion: (vease [Kn]). 2
Seg un hemos visto hasta aqu, a cada retculo complejo le hemos asociado una
funci on de Weierstrass y unos n umeros complejos g
2
y g
3
que a su vez determinan una
ecuaci on de Weierstrass que a su vez determina una curva elptica plana. A continuacion
se demuestra que las funciones y
parametrizan la curva de forma natural.

Teorema 1.3.8 La aplicacion
: C/ E
z ((z),
(z))
establece un isomorsmo holomorfo entre la supercie de Riemann C/ y la curva pro-
yectiva E : y
2
= 4x
3
g
2
x g
3
, entendiendo que ([0]) es el punto del innito de E,
de coordenadas proyectivas (0 : 1 : 0).
Demostracion: La inyectividad se sigue porque deniendo R como en la demostra-
ci on del Teorema 1.3.4, (z) (z
1
) s olo tiene como ceros z
1
y z
1
. La sobreyectividad
se sigue porque ambas son supercies de Riemann compactas y no es constante [Kn].
2
1.4. Ley de grupo
La supercie C/ es una variedad abeliana porque sus puntos conforman un grupo
abeliano. Para sumar en el toro simplemente sumamos en C y tomamos modulo .
Entonces en E debe haber tambien una forma de sumar puntos.
Lema 1.4.1 Si u +v +w , es decir, si [u], [v], [w] suman cero en C/, entonces los
puntos (u), (v) y (w) estan alineados.
El proceso se puede invertir asociando a cada curva no singular de la forma E : y
2
=
4x
3
x un toro C/ cuya imagen por es E.
Consideramos E : y
2
= x
3
+ ax + b en lugar de E : y
2
= 4x
3
g
2
x g
3
, tales
curvas s olo dieren en un cambio lineal que por tanto no destruye la alineaci on de los
puntos. La no singularidad de E equivale a que x
3
+ ax + b no tenga races dobles, o
equivalentemente, a que el determinante 4a
3
+ 27b
2
sea no nulo.
10 CAP
IPTICAS
Proposicion 1.4.2 Sea E : y
2
= x
3
+ ax + b curva proyectiva sobre C no singular.
Entonces se puede dotar a sus puntos de una ley de grupo (E, +) de forma que el elemento
neutro O es el punto del innito, el elemento inverso de P = (x, y) es P = (x, y) y si
P + Q = R entonces P, Q y R estan alineados.
Demostracion: La ley de grupo viene heredada de la suma en C/, es decir,
P + Q = (
1
(P) +
1
(Q))
y comparte las propiedades de grupo abeliano con la suma usual.
Considerando ([0]) y la paridad de podemos deducir los elementos neutro y opues-
to. Si P +QR = 0, por denici on
1
(P) +
1
(Q)
1
(R) = [0] y el lema anterior
prueba que P, Q y R est an alineados [Ch]. 2
Denici on: Una curva elptica E sobre un cuerpo K admite varias deniciones todas
ellas equivalentes,
Una c ubica plana regular denida sobre K, junto con un punto O E(K).
Una curva en P
2
regular denida por una ecuacion de Weierstrass,
y
2
+ a
1
xy + a
3
y = x
3
+ a
2
x
2
+ a
4
x + a
6
con a
i
K
Una curva regular denida sobre K con genero g(E) = 1, junto con un punto
O E(k)
En cuerpos de caracterstica distinta de 2 y 3, toda curva elptica tras un cambio
de variable se escribe como y
2
= x
3
+ ax + b con 4a
3
+ 27b
2
,= 0, la existencia de tal
cambio de coordenadas es una consecuencia del teorema de Riemann-Roch (vease [Si]).
Cuando esto no es posible (por ejemplo en F
2
) haran falta m as terminos, pero es posible
encontrar una expresion similar [Ca]. Por ello la ley de grupo se extiende a todas las
curvas c ubicas no singulares.
La ley de grupo en una curva elptica se dene a traves de la Proposicion 1.4.2 como
el simetrico del tercer punto de intersecci on de la recta secante.
Para una curva elptica E : y
2
= x
3
+ ax
2
+ b, se tienen las formulas:
P = (x
1
, y
1
), Q = (x
2
, y
2
), P + Q = (x, y)
con
1.4. LEY DE GRUPO 11
a) Si x
1
,= x
2
,
_
x =
_
y
1
y
2
x
1
x
2
_
2
x
1
x
2
y =
y
1
y
2
x
1
x
2
x
x
1
y
2
x
2
y
1
x
1
x
2
b) Si x
1
= x
2
, pero P ,= Q, entonces P + Q = O.
c) Si P = Q,
_
x =
_
3x
2
1
+a
2y
1
_
2
2x
1
y =
3x
2
1
+a
2y
1
x
x
3
1
+ax
1
+2b
2y
1
a)
P
Q
R = P + Q
b)
P
Q
O
c)
r
P
P
R = 2P
Figura 1.2: Sumas en la curva elptica
Observaci on: Un punto P E cumple 2P = O si la recta tangente a E en el punto
P es vertical, lo que es equivalente a pedir que P sea de la forma (a, 0).
Ejemplo: Considerando la curva elptica E : y
2
= x
3
+1 sobre Q, el orden del punto
P = (2, 3) es 6.
P = (x
1
, y
1
) = (2, 3) 2P = (x
2
, y
2
)
x
2
=
_
3x
2
1
2y
1
_
2
2x
1
=
_
3 4
2 3
_
2
4 = 4 4 = 0,
y
2
=
3x
2
1
2y
1
x
2
x
3
1
+ 2
2y
1
=
8 + 2
2 3
= 1,
2P = (0, 1).
12 CAP
IPTICAS
P = (x
1
, y
1
) = (2, 3)
2P = (x
2
, y
2
) = (0, 1)
3P = (x, y)
x =
_
y
1
y
2
x
1
x
2
_
2
x
1
x
2
=
_
3 1
2
_
2
2 = 1 2 = 1,
y =
y
1
y
2
x
1
x
2
x
x
1
y
2
x
2
y
1
x
1
x
2
=
3 1
2
1 = 0,
3P = (1, 0).
Usando la observacion anterior
2 3P = O 6P = O.
Ejemplo: Considerando la curva E del ejemplo anterior sobre F
5
, el punto Q = (2, 2)
tiene orden 6.
Q = (x
1
, y
1
) = (2, 2) 2Q = (x
2
, y
2
)
x
2
=
_
3 4
2 2
_
2
4 = 9 4 0 (mod 5),
y
2
=
8 + 2
4
4 (mod 5),
2Q = (0, 4).
Q = (x
1
, y
1
) = (2, 2)
2Q = (x
2
, y
2
) = (0, 4)
3Q = (x, y)
x =
_
2 4
2
_
2
2 4 (mod 5),
y =
2 4
2
4
2 4
2
0 (mod 5),
3Q = (4, 0).
Usando de nuevo la observacion
2 3Q = O 6Q = O.
Captulo 2
Formas modulares
Una funci on elptica f(z), adem as de ser una funci on meromorfa en z C, es tambien
una funci on asociada a un retculo, f(z) = f(z,
1
,
2
), donde
1
,
2
son los generado-
res. Esta dependencia de los retculos da la nocion clasica de funciones modulares. En
la secci on anterior se vio como dos pares de n umeros complejos, linealmente indepen-
dientes sobre R, determinan el mismo retculo si se relacionan por una transformaci on
unimodular, es decir, una transformaci on de M obius asociada a los elementos de SL
2
(Z).
2.1. El grupo modular
La acci on de transformaciones unimodulares en el retculo = n
1
+m
2
: n, m
Z se corresponde con la accion del grupo modular
SL
2
(Z) =
_
a b
c d
_
: a, b, c, d Z, ad bc = 1
en H por las transformaciones lineales
z =
az + b
cz + d
si =
_
a b
c d
_
.
El grupo modular SL
2
(Z) es el primer subgrupo discreto de SL
2
(R) con interesantes
propiedades aritmeticas.
Los elementos de SL
2
(Z) no envan un punto jado a cualquier punto
1
de H porque
no todos los retculos son iguales.
El grupo modular esta generado por dos matrices,
T =
_
1 1
0 1
_
, S =
_
0 1
1 0
_
1
Se dice que dos puntos de H son equivalentes bajo un subgrupo de SL
2
(R) si uno puede trans-
formarse en el otro mediante un elemento de .
13
14 CAP
ITULO 2. FORMAS MODULARES

La primera corresponde a la traslaci on z z +1 y la segunda a la inversi on z 1/z,
[Kn].
El analogo al paralelogramo fundamental de un retculo es el concepto de dominio
fundamental.
Denici on: Un subconjunto cerrado D H es un dominio fundamental para si
todo punto de H es equivalente a un punto de D y dos puntos de D no son equivalentes
salvo quiz a si ambos estan en la frontera.
Ciertamente, los paralelogramos fundamentales de un retculo complejo cumplen
esta denicion respecto al grupo de traslaciones asociadas a .
Proposicion 2.1.1 El conjunto
D = z : [1z[
1
2
, [z[ 1,
donde se identica la parte izquierda de la frontera con la correspondiente parte derecha,
es el dominio fundamental del grupo modular = SL
2
(Z), es decir, tiene las propiedades:
D es dominio en H.
Toda orbita de tiene un punto en D.
Puntos distintos en el interior de D estan en orbitas distintas de .
1
1
2
1
2
1
Figura 2.1: Dominio fundamental de SL
2
(Z)
Demostracion: A base de trasladar podemos enviar cualquier z H a [1z[ 1/2
y con una inversi on podemos sacar fuera lo que est a dentro del crculo unidad [z[ 1.
La traslacion T y la inversi on S, pasan la frontera izquierda a la derecha de ah la
ambig uedad de estos puntos y hay que suprimir una de ellas para preservar la unicidad
[Ch]. 2
2.2. FORMAS MODULARES 15
2.2. Formas modulares
Denici on: Una funci on meromorfa f en H se dice funcion modular de peso k si
satisface:
f(z) = j
k
(z)f(z) =
_
a b
c d
_
SL
2
(Z),
donde j
(z) = cz +d. Adem as, existe un entero n

0
tal que la expansi on de Fourier de f
en la variable e(z) = e
2iz
es de la forma
f(z) =
n=n
0
a
n
e(nz).
Puesto que T = (
1 1
0 1
), S = (
0 1
1 0
) generan cualquier SL
2
(Z), f ser a funci on
modular de peso k si
f(z + 1) = f(z) y f(1/z) = z
k
f(z).
Una funci on modular de peso 0 es simplemente una funcion en H que es SL
2
(Z)-
invariante. Las funciones modulares de peso 2 se corresponden con uno formas dife-
renciales, y las de peso superior a diferenciales invariantes de orden superior.
Observaci on: La SL
2
(Z)-invarianza en el semiplano superior requiere que las dife-
renciales f(z)dz sean invariantes cuando z se reemplaza por z, como
d(z) = d
_
az + b
cz + d
_
=
ad bc
(cz + d)
2
dz = (cz + d)
2
dz,
junto con la relaci on f(z)d(z) = f(z)dz se tiene que
f(z) = (cz + d)
2
f(z).
Observaci on: Tomando = I =
_
1 0
0 1
_
, entonces z = z para todo z H. Por
lo tanto, si f es una funci on modular de peso k, con k un entero impar, entonces
f(z) = (1)
k
f(z) = f(z)
y por tanto f es identicamente cero. As, una funci on modular no trivial en SL
2
(Z) es
necesariamente de peso par.
El caso de peso 2 es sin duda especial sobre el resto de pesos
2
.
2
Multiplicando dos funciones modulares de peso 2 se obtiene una funcion modular de peso 4 y
as sucesivamente.
16 CAP

Otra idea para motivar la modularidad es que, si bien una funci on modular f no es
plenamente SL
2
(Z)-invariante, al menos, f(z) y f(z) tienen siempre los mismos polos
y ceros ya que el factor cz + d en H no los tiene.
Denici on: Una funcion f denida en H se dice forma modular de peso k si
1. f es holomorfa en H.
2. f es funcion modular de peso k.
3. La expansi on de Fourier de f es de la forma
f(z) =
n=0
a
n
e(nz).
Se dice entonces que f es holomorfa en el innito y se dene f(i) = a
0
.
El conjunto de formas modulares de peso k es denotado por /
k
(SL
2
(Z)) o simplemente
por /
k
.
/
k
es un espacio vectorial sobre C y el espacio de todas las formas modulares es la
suma directa
3
de los /
k
,
/=
kZ
/
k
.
Las formas modulares pueden verse como funciones homogeneas de cierto grado de-
nidas en el espacio de retculos. Por ejemplo, si F es homogenea (de grado 0), la condicion
para que no dependa de los generadores elegidos es F(
1
,
2
) = F(a
1
+b
2
, c
1
+d
2
),
que equivale a que F(z, 1) = F(z) = F(z), SL
2
(Z), con z =
1
/
2
.
La funci on cero en H es una forma modular para cada peso, y toda funci on constante
en H es forma modular de peso 0. Un ejemplo de formas modulares no triviales son las
llamadas series de Eisenstein,
Denici on: Sea un retculo y k 1 entero, se dene la serie de Eisenstein de
peso 2k como
G
2k
() =
=0
1
2k
.
Para z H, sea
z
= mz + n : m, n Z el retculo asociado, entonces
G
2k
(z) = G
2k
(
z
) =
n,m=
n
2
+m
2
=0
1
(mz + n)
2k
.
3
El producto de una forma modular de peso k con una forma modular de peso l es una forma
modular de peso k + l, por lo que el espacio / puede ser considerado como un algebra graduada con
la estructura aditiva.
Se dene la serie de Eisenstein normalizada como
E
2k
(z) =
G
2k
(z)
2(2k)
.
Proposicion 2.2.1 La serie de Eisenstein es una forma modular de peso 2k para k 2.
Demostracion: Para C
se tiene que
G
2k
() =
2k
G
2k
().
Por otro lado
z
= Z
az + b
cz + d
+Z =
1
cz + d
(Z(az + b) +Z(cz + d)) =
1
cz + d
z
.
Por lo tanto
G
2k
(z) = G
2k
(
z
) = G
2k
((cz + d)
1
z
) = (cz + d)
2k
G
2k
(
z
) = (cz + d)
2k
G
2k
(z),
se tiene entones que G
2k
(z) es funci on modular, queda ver que es holomorfa en H y en
. Una primera observaci on nos lleva a ver que si z pertenece al dominio fundamental
D descrito en la Proposici on 2.1.1, entonces
[mz + n[
2
= m
2
[z[
2
+ 2mn1z + n
2
m
2
mn + n
2
= [m n[
2
.
Por lo tanto, la serie en valores absolutos obtenida de G
2k
(z) est a dominada, termino
a termino, por la serie en valores absolutos obtenida de G
2k
(), se tiene entonces que
G
2k
es holomorfa en D. Pero H est a cubierto por la accion de SL
2
(Z) en D y G
2k
(z) =
(cz + d)
2k
G
2k
(z), obteniendose as la holomorfa en todo H.
Por ultimo, estudiamos el comportamiento de G
2k
(z) = G
2k
(x +iy) cuando y .
Puesto que la serie G
2k
converge absolutamente (para k 2), podemos tomar el lmite
termino a termino. Los terminos de la forma (mz + n)
2k
con m ,= 0 tienden a cero,
mientras que el resto dan n
2k
. Por lo tanto
lm
y
G
2k
(z) =
n=
1
n
2k
= (2k).
Esto demuestra que G
2k
es holomorfa en , y por tanto es forma modular de peso 2k.
2
A partir del desarrollo de la cotangente
i 2i
n=0
e(nz) = cot(z) =
n=
1
z + n
18 CAP

se puede hallar el desarrollo de Fourier de las funciones E
k
, obteniendo
(2.1) E
2k
(z) = 1 +
(2i)
2k
(2k)(2k 1)!
m=1
2k1
(m)e(mz) donde
2k1
(m) =
d|m
d
2k1
.
La serie de Eisenstein es forma modular para k 2, el caso k = 1 es especial.
Caso k = 1.
La denicion natural de la serie de Eisenstein de peso 2, G
2
(z) =
n
(mz +n)
2
(con m y n no simult aneamente nulos), converge pero no absolutamente pues
n,m=
n
2
+m
2
=0
1
(mz + n)
2
n,m=
n
2
+m
2
=0
1
[(mz + n)
2
[
=
n,m=
n
2
+m
2
=0
1
(mx + n)
2
+ (my)
2
.
Denotando la ultima suma por S y considerando para cada m > 0 los n tales que
m n + mx 2m, se llega a que
S
m=1
mn+mx2m
1
(2m)
2
+ (my)
2
=
m=1
m
(2m)
2
+ (my)
2
=
La convergencia no absoluta impide invertir el orden de sumaci on. Sorprendentemente
esto causa que la funcion denida por la serie deje de ser modular.
El desarrollo de Fourier de E
2k
(z) tambien es valido para k = 1,
G
2
(z) = 2(2)E
2
(z) =
n,m=
n
2
+m
2
=0
1
(mz + n)
2
=
m=0
n=
1
(mz + n)
2
+ 2
n=1
1
n
2
=
= 2(2) +
m=0
n=
1
(mz + n)
2
= 2(2) + 2
m=1
n=
1
(mz + n)
2
=
= 2(2) + 2
m=1
(2i)
2
1!
d=1
d e(dmz).
Efectuando el cambio dm m,
G
2
(z) = 2(2) 2(2)
2
m=1
d|m
d e(mz) = 2(2) 2(2)
2
m=1
(m)e(mz).
=E
2
(z) = 1
(2)
2
(2)
m=1
(m)e(mz)
que corresponde a poner formalmente k = 1 en (2.1).
Observaci on: Para solventar el problema de la convergencia no absoluta se introduce
el termino acelerador a(x, n) = 1/(x + n 1) 1/(x + n). De este modo,
E
2
(z) = 1 +
1
2(2)
m=0
n=
_
1
(mz + n)
2
a(mz, n)
_
converge absolutamente.
Demostracion: Primero nos aseguramos de que al introducir el termino a(x, n), la
serie E
2
(z) permanece invariante,
m=0
n=
a(mz, n) =
m=0
n=
_
1
mz + n 1

1
mz + n
_
.
Para m jo, sea a
n
(mz) =
1
mz+n
. De este modo se tiene que
n=
_
1
mz + n 1

1
mz + n
_
=
n=
(a
n1
(mz) a
n
(mz)) = 0
=
m=0
n=
a(mz, n) = 0.
Se tiene entonces que
E
2
(z) = 1 +
1
2(2)
m=0
n=
1
(mz + n)
2
=
= 1 +
1
2(2)
m=0
n=
_
1
(mz + n)
2
a(mz, n)
_
.
Y converge absolutamente pues
1
(mz + n)
2

1
mz + n 1
+
1
mz + n
=
1
(mz + n)
2

1
(mz + n 1)(mz + n)
=
=
1
(mz + n)
2
(mz + n 1)
.
Escribiendo z = x + iy con y > 0, y sumando las normas se tiene
m=0
n=
1
[(mx + n)
2
+ (my)
2
][mz + n 1[

m=0
n=
1
[(mx + n)
2
+ (my)
2
][my[
donde se ha usado que [w[ [w[.
20 CAP

La suma en n es de la forma,
S =
n=
1
(n + )
2
+
2
donde = mx y = my. Con una traslaci on en n, podemos suponer que 0 < 1 y
> 0, de modo que
S 2
n=0
1
n
2
+
2
2
n
1
n
2
+
2
+ 2
n>
1
n
2
+
2
.
La primera suma es < ( + 1)/
2
y en la segunda dividimos en intervalos diadicos
n>
1
n
2
+
2

k=1
2
k
<n2
k+1
1
n
2
+
2

k=1
2
k
+ 1
2
2k
2
+
2
.
Como
2
k
/(2
2k
+1) y
1/(2
2k
+1) convergen, se tiene que S
1
+
2
y por tanto
m=0
1
[my[
S
m=0
1
[my[
_
1
my
+
1
(my)
2
_
= 2
m=1
1
(my)
3
< .
2
Observaci on: E
2
no es modular pero satisface una relaci on parecida a la que satis-
facen las formas de peso 2,
z
2
E
2
(1/z) = E
2
(z) + 6/(iz).
Demostracion: Primero veamos que
E
2
(z) + S(z)/(2(2)) = z
2
E
2
(1/z) con S(z) =
n=
m=0
a(mz, n).
1
z
2
E
2
_
1
z
_
S(z)
2(2)
=
1
z
2
+
1
2(2)
m=0
n=
1
z
2
(n
m
z
)
2

S(z)
2(2)
=
=
1
z
2
+
1
2(2)
m=0
n=
1
(nz m)
2

S(z)
2(2)
=
=
1
z
2
+
1
2(2)
m=0
n=0
1
(nz m)
2
+
1
(2)
m=1
1
m
2

S(z)
2(2)
=
=
1
z
2
(2)
n=1
1
n
2
+
1
2(2)
m=0
n=0
1
(nz m)
2
+ 1
S(z)
2(2)
=
= 1 +
1
2(2)
m=
n=0
1
(nz m)
2

S(z)
2(2)
=
= 1 +
1
2(2)
m=
n=0
_
1
(nz + m)
2
a(nz, m)
_
= E
2
(z).
Calculamos S(z),
S(z) = lm
N
N
n=N+1
m=0
a(mz, n) = lm
N
m=0
N
n=N+1
a(mz, n)
m=0
N
n=N+1
a(mz, n) =
m=0
N
n=N+1
_
1
mz + n 1

1
mz + n
_
.
De nuevo, para m jo, sea a
n
(mz) =
1
mz+n
,
N
n=N+1
_
1
mz + n 1

1
mz + n
_
=
N
n=N+1
_
a
(n1)
(mz) a
n
(mz)
_
= a
N
(mz)a
N
(mz)
=
m=0
N
n=N+1
a(mz, n) =
m=0
_
1
mz N

1
mz + N
_
.
Usando el desarrollo de la cotangente cot(z) =
m=
1
z+m
,
m=0
_
1
mz N

1
mz + N
_
=
1
z
m=0
_
1
m
N
z
1
m +
N
z
_
=
=
1
z
m=
_
1
m
N
z
1
m +
N
z
_
+
2
N
=
2
z
m=
1
m
N
z
+
2
N
=
=
2
z
cot (N/z) +
2
N
.
S(z) = lm
N
N
n=N+1
m=0
a(mz, n) = lm
N
m=0
N
n=N+1
a(mz, n) =
= lm
N
m=0
_
1
mz N

1
mz + N
_
= lm
N
_
2z
1
cot(N/z) + 2/N
_
.
22 CAP

Adem as, como z > 0,
lm
N
_
2z
1
cot(
N
z
) +
2
N
_
=
2i
z
.
Finalmente, usando que (2) =
2
/6, se obtiene la relacion
z
2
E
2
(1/z) = E
2
(z) + 6/(iz).
2
Denici on: Una forma cuspidal (o parabolica) de peso k es una forma modular de
peso k cuya expansi on de Fourier tiene primer coeciente a
0
= 0, es decir,
f(z) =
n=1
a
n
e(nz).
El conjunto de formas cuspidales es denotado por o
k
(SL
2
(Z)), o simplemente por o
k
.
Observaci on: Una forma modular es forma cuspidal cuando lm
y
f(x +iy) = 0.
Escribiremos entonces f(i) = 0.
o
k
es un subespacio de /
k
y el anillo graduado
o =
kZ
o
k
.
un ideal en /.
Observaci on: La holomorfa en el innito hace que los espacios vectoriales /
k
y
o
k
tengan dimensi on nita. Ademas, como y dan lugar a la misma acci on sobre
H, estos espacios s olo pueden ser no triviales cuando k es par.
Proposicion 2.2.2 Para k 0 par
dim/
k
=
_
[k/12] si 12 [ k 2
[k/12] + 1 si 12 k 2
dimo
k
=
_
0 si k < 12
dim/
k12
si k 12
donde [] indica la parte entera.
Demostracion: (vease [Iw], [Se]). 2
El primer ejemplo de forma cuspidal, que aparece para el peso k = 12, es la funci on
.
Denici on: La funcion discriminante : H C, esta dada por
(z) = g
2
(z)
3
27g
3
(z)
2
= 60
3
G
4
(z)
3
27 140
2
G
6
(z)
2
.
De la modularidad de las funciones G
4
(z) y G
6
(z), es claro que la funci on discrimi-
nante es modular de peso 12 y holomorfa en H. De hecho, puesto que G
4
(i) = (4) y
G
6
(i) = (6), se tiene (i) = 0, es decir, la funcion es adem as holomorfa en innito
y por tanto (z) o
12
.
La serie de Fourier de la serie de Eisenstein es a menudo reescrita utilizando la
identidad
n=1
(n)e(nz) =
n=1
n
e(nz)
1 e(nz)
.
La funci on discriminante (z) tambien posee una expansi on en productos debida a
Jacobi, [Si].
Teorema 2.2.3
(2.2) (z) = (2)
12
e(z)
n=1
(1 e(nz))
24
.
En la demostraci on de la f ormula de Jacobi (2.2), nos valdremos de la funci on de
Dedekind denida en el semiplano H por
(z) = e
2iz/24
n=1
(1 e
2niz
).
Es claro que
n=1
(1 z
n
) es absolutamente convergente para [z[ < 1, luego (z) es
una funcion holomorfa en H que no se anula en ning un punto.
La funcion tiene derivada logartmica
D(z) =

(z)
(z)
=
2i
24
+
n=1
2in e(nz)
1 e(nz)
= 2i
_
1
24

n=1
ne(nz)
1 e(nz)
_
=
= 2i
_
1
24

n=1
m=1
ne(nmz)
_
.
24 CAP

Efectuando el cambio nm n, su derivada logartmica queda
D(z) =

(z)
(z)
= 2i
_
1
24

n=1
1
(n)e(nz)
_
.
Por otro lado,
E
2
(z) = 1
4
2
(2)
n=1
1
(n)e(nz) = 1 24
n=1
1
(n)e(nz).
Se tiene entonces que 24D(z) = 2iE
2
(z).
La funcion f dada por
f(z) =
24
(z) = e(z)
n=1
(1 e(nz))
24
,
tiene derivada logartmica
f
(z)
f(z)
= 24D(z) = 2iE
2
(z)dz.
Usando la relaci on z
2
E
2
(1/z) = E
2
(z) + 6/(iz),
f
(1/z)
f(1/z)
= 2iE
2
(1/z)
dz
z
2
= 2i
_
z
2
E
2
(z) +
6z
i
_
dz
z
2
= 2iE
2
(z)dz + 12
dz
z
.
La funcion z
12
f(z) tiene la misma derivada logartmica,
_
z
12
f(z)
_
z
12
f(z)
= 2iE
2
(z)dz + 12
dz
z
.
Existir a por tanto una constante C tal que f(1/z) = Cz
12
f(z) z H. Tomando,
por ejemplo, z = i se tiene que z
12
= 1, 1/z = z y f(z) ,= 0, y por tanto C = 1.
Por otro lado,
f(z + 1) = e(z + 1)
n=1
(1 e(n(z + 1)))
24
= e(z)
n=1
(1 e(nz))
24
= f(z),
luego f es una forma modular de peso 12. A un m as, pues estudiando su comportamiento
en innito,
f(i) = (i)
24
= 0
se tiene que f o
12
.
Demostracion: (Teorema 2.2.3)
Puesto que dimo
12
= 1, la funci on genera el espacio. Ahora bien, como f(z) =
(z)
24
o
12
, entonces se debe tener (z) = Cf(z), para C cierta constante. El coe-
ciente del primer termino en el desarrollo de Fourier de (z) es (2)
12
, mientras que el
correspondiente a la funci on f es 1, se concluye entonces que C = (2)
12
, es decir,
(z) = (2)
12
(z)
24
= (2)
12
e(z)
n=1
(1 e(nz))
24
.
2
Corolario 2.2.4 La funcion (z) tiene un desarrollo en serie de Fourier en H de la
forma
(2.3) (z) = (2)
12
n=1
(n)e(nz),
donde la funcion (n) toma valores enteros y (1) = 1.
Denici on: La funcion j, llamada invariante de Klein o invariante modular est a da-
da por
j(z) =
1728g
3
2
g
3
2
27g
2
3
=
1728g
3
2
(z)
.
Teorema 2.2.5 La funcion de Klein j tiene desarrollo de Fourier en H de la forma
j(z) = e(z) +
n=0
c(n)e(nz),
donde los coecientes c(n) son enteros.
Demostracion: El desarrollo de Fourier de la serie de Eisenstein (2.1) y la expansi on
en productos (2.2) dan lugar a la expresion
j(z) =
_
1 + 240
n=1
3
(n)e(nz)
_
3
e(z)
n=1
_
1 e(nz)
_
24
donde
3
(n) =
d|n
d
3
.
Basta observar que
1
1 e(nz)
=
m=0
e(mnz)
n=1
_
1
1 e(nz)
_
24
=
n=1
_

m=0
e(mnz)
_
24
26 CAP

y por tanto
j(z) = e(z)
_
1 + 240
n=1
3
(n)e(nz)
_
3
n=1
_

m=0
e(mnz)
_
24
.
Ahora es claro que el desarrollo de Fourier es de la forma
j(z) = e(z) +
n=0
c(n)e(nz)
donde todos sus coecientes son enteros. 2
2.3. Operadores de Hecke
Para profundizar en la estructura de los espacios de formas modulares es importante
considerar endomorsmos especiales de o
k
, los operadores de Hecke.
Para denirlos se considera un conjunto
n
de representantes de los cogrupos a la
derecha SL
2
(Z)M
n
con M
n
las matrices de determinante n, o dicho de otra manera, se
escoge
n
de manera que
M
n
=
_
n
SL
2
(Z)
sea una partici on.
Proposicion 2.3.1 Sea M
n
las matrices enteras de determinante n y
n
el subconjunto
de M
n
dado por las matrices triangulares (
a b
0 d
) con ad = n, 0 b < d, a > 0.
1. Para cada M
n
existe SL
2
(Z) tal que
n
.
2. Para cada M
n
existe un unico
n
tal que = para alg un SL
2
(Z).
3. Para cualquier SL
2
(Z) existen
1
,
2
, . . . ,
s
SL
2
(Z), con s el cardinal de
n
,
tales que
1
,
2
, . . . ,
s
=
1
1
,
2
2
, . . . ,
s
s
donde
i
son los elementos de
n
.
Demostracion:
1.
=
_
a b
c d
_
M
n
=
_
A B
C D
_
SL
2
(Z)
=
_
aA + cB bA + dB
aC + cD bC + dD
_

n

_
_
_
aC + cD = 0
(aA + cB)(bC + dD) = n
0 bA + dB < bC + dD
2.3. OPERADORES DE HECKE 27
Sea m = (a, c), por el teorema de Bezout existen k, l Z tales que m = ka + lc
1 = k
a
m
+ l
c
m
.
Tomando A = k, B = l, C = c/m, D = a/m, se obtiene una matriz del tipo
=
_
x y
0 z
_
la cual, si fuera necesario, se multiplicara por I para que los signos
de x y z sean positivos.
Por otro lado, multiplicando por una traslaci on, es decir
_
1 t
0 1
__
x y
0 z
_
=
_
x y + zt
0 z
_
siempre podemos elegir t de manera que y + zt este en [0, z).
2. La existencia de tal matriz viene de 1. ya que =
1
, por tanto s olo
queda ver la unicidad, es decir, que si
1
1
=
2
2
entonces
1
=
2
.
1
=
1
1

2
2
_
x y
0 z
_
=
_
A B
C D
__
X Y
0 Z
_
donde la primera y la ultima matriz estan en
n
y la otra en SL
2
(Z).
_
_
x = AX
y = AY + BZ
0 = CX
z = CY + DZ
X > 0 C = 0
_
_
x = AX
y = AY + BZ
z = DZ
xz = n = XZ
xz = ADXZ
_
AD = 1
x, X > 0
x = AX
_
A > 0
_
_
A = D = 1
_
_
x = X
y = Y + BZ
z = Z
0 y < z 0 Y + Bz < z
0 Y < z
_
B = 0
_
_
x = X
y = Y
z = Z
Por tanto, la unica solucion es
1
=
2
.
28 CAP

3. Dado SL
2
(Z), cada
i
con i = 1, . . . , s es un cierto M
n
. Usando 2., existe
un unico
n
tal que = para alg un SL
2
(Z), como
n
tiene cardinal
nito, =
i
con i = 1, . . . , s.
Para cada i, el correspondiente es el
i
buscado.
2
Proposicion 2.3.2 Para n N el operador de Hecke denido como
T
n
f(z) = n
k1
n
j
k
(z)f(z),
aplica /
k
en /
k
.
Demostracion: Tomando f forma modular de peso k y usando la relaci on j
(z)j
(z) =
j
(z),
T
n
f(z) = n
k1
n
j
k
(z)f(z) = n
k1
n
j
k
(z)j
k
(z)f(z)
La modularidad de la funci on f no puede ser aplicada en este caso, pues / SL
2
(Z),
usando el apartado 3. de la Proposici on 2.3.1, el problema queda resuelto.
T
n
f(z) = n
k1
s
i=1
j
k
i
(z)j
k
(z)f(
i
i
z) = j
k
(z)n
k1
s
i=1
j
k
i
(z)j
k
i
(
i
z)f(
i
z) =
= j
k
(z)n
k1
s
i=1
j
k
i
(z)f(
i
z) = j
k
(z)T
n
f(z).
Por tanto T
n
manda /
k
en /
k
. 2
Observaci on: La denicion anterior se puede escribir como
T
n
f(z) = n
k1
ad=n
d1
b=0
d
k
f
_
az + b
d
_
,
usando que
n
=
__
a b
0 d
_
: ad = n, 0 b < d
_
es un conjunto v alido de representantes.
Corolario 2.3.3 Si f es funcion modular y P(X
1
, . . . , X
s
) polinomio simetrico en las
s variables, entonces
G(z) = P(f(
1
z), . . . , f(
s
z)),
i

n
es modular, es decir, SL
2
(Z)
G(z) = P(f(
1
z), . . . , f(
s
z)) = P(f(
1
z), . . . , f(
s
z)) = G(z).
Proposicion 2.3.4 Sea f(z) =
m=0
c
m
(z)e(mz) /
k
, entonces
T
n
f(z) =
m=0
b
m
e(mz), donde b
m
=
a|(n,m)
a
k1
c
nm/a
2.
En particular, aplica o
k
en o
k
.
Demostracion:
T
n
f(z) = n
k1
ad=n
d>0
d1
b=0
d
k
m=0
c
m
e
_
m
az + b
d
_
=
= n
k1
m=0
ad=n
d>0
d
k
c
m
e
_
am
d
z
_
d1
b=0
e
_
mb
d
_
.
Observaci on:
d1
b=0
e
_
mb
d
_
=
_
0 si d m
d si d [ m
Efectuando el cambio m ld obtenemos
T
n
f(z) = n
k1
l=0
ad=n
d>0
d
k+1
c
ld
e(alz) =
l=0
ad=n
d>0
_
n
d
_
k1
c
ld
e(alz) =
=
l=0
a|n
a>0
a
k1
c
ln/a
e(alz).
El coeciente de e(mz) viene dado por 3-uplas (l, a, d) con al = m y a [ n. El factor c
ln/a
es c
mn/a
2 con a [ m y a [ n, por lo tanto
b
m
=
a|(n,m)
a
k1
c
mn/a
2.
Por otro lado, si c
0
= 0 entonces b
0
= 0 y por tanto T
n
manda o
k
en o
k
. 2
Corolario 2.3.5 Sea f(z) =
m=0
c
m
(z)e(mz) /
k
. Si n = p es primo, el coeciente
de Fourier m-esimo de T
n
f(z) con p m es c
mp
.
Proposicion 2.3.6 Los operadores de Hecke verican
T
m
T
n
=
a|(n,m)
a
k1
T
mn/a
2.
En particular los operadores de Hecke conmutan y si (n, m) = 1 se tiene T
m
T
n
= T
mn
.
30 CAP

Demostracion: Suponiendo el resultado cierto, es claro que los operadores de Hecke
conmutan pues (n, m) = (m, n) y el producto de n umeros enteros es conmutativo.
T
m
f(z) = m
k1
ad=m
d>0
d1
b=0
d
k
f
_
az + b
d
_
.
T
n
f(z) =
s=0
b
s
e(sz) =
s=0
a|(n,s)
a>0
a
k1
c
sn/ a
2e(sz).
T
m
T
n
f(z) = m
k1
ad=m
d>0
d1
b=0
d
k
s=0
a|(n,s)
a>0
a
k1
c
sn/ a
2 e
_
s
az + b
d
_
.
De nuevo, la suma
d1
b=0
e
_
mb
d
_
nos hace considerar unicamente el caso d [ m.
Efectuando el cambio s ld obtenemos
T
m
T
n
f(z) = m
k1
l=0
ad=m
d>0
d
k+1
a|(n,ld)
a>0
a
k1
c
ldn/ a
2e(laz) =
=
l=0
ad=m
d>0
_
m
d
_
k1

a|(n,ld)
a>0
a
k1
c
ldn/ a
2e(laz) =
=
l=0
a|m
a>0
a
k1
a|(n,
lm
a
)
a
k1
c
lmn/a a
2e(laz)
donde se ha usado que m = ad. Por ultimo, efectuando el cambio la s,
T
m
T
n
f(z) =
a|(m,n)
a>0
a
k1
s=0
a|(
nm
a
2
,s)
a
k1
c
smn/a
2
a
2e(sz) =
=
a|(n,m)
a>0
a
k1
T
mn/a
2.
2
Los operadores de Hecke son autoadjuntos con respecto al producto escalar de formas
modulares dado por
f, g) =
_
D
f(z)g(z)y
k2
dxdy,
y por tanto se pueden diagonalizar. Por simple algebra lineal si tenemos endomorsmos
(aplicaciones lineales del espacio en s mismo) diagonalizables y que conmutan, debe
existir una base en la que todos ellos diagonalicen simult aneamente.
Proposicion 2.3.7
1. Dado un conjunto de matrices reales simetricas nn que conmutan entre s, existe
una base en la que todas se diagonalizan simultaneamente.
2. Dado un espacio vectorial eucldeo sobre R de dimension nita y un conjunto de
endomorsmos autoadjuntos que conmutan entre s, entonces existe una base cuyos
elementos son autovectores de todos los endomorsmos.
Demostracion:
1. Las matrices reales simetricas son matrices que tienen todos los autovalores reales,
y que se pueden diagonalizar ortogonalmente.
Sean A y B dos matrices del conjunto, AB = BA. Es claro que si dos matrices
conmutan en una base tambien conmutan en otra, pues AB = BA C
1
AC
C
1
BC = C
1
BC C
1
AC.
Sean
1
,
2
, . . . ,
n
autovalores de A y sea Q la matriz formada por los autovectores
asociados, se denota por A y B a las matrices en esta nueva base de modo que A
es diagonal.
Si B = (b
ij
),
AB = BA
i
b
ij
= b
ij
j
(
i
j
)b
ij
= 0,
se tiene entonces que b
ij
= 0 siempre que
i
,=
j
.
Si A tiene k autovalores distintos, las matrices seran de la forma
A =
_
_
_
_
_
1
I
2
I
.
.
.
k
I
_
_
_
_
_
, B =
_
_
_
_
_
B
1
B
2
.
.
.
B
k
_
_
_
_
_
donde cada B
i
es una matriz cuadrada de tama no la multiplicidad del autovalor
de A correspondiente.
Como B es diagonalizable cada uno de los B
i
ser a diagonalizable, sea P
i
matriz
invertible tal que P
1
i
B
i
P
i
es diagonal.
Se tiene entonces que P
1
AP = P
1
IP = I y P
1
BP son las dos diagonales
donde P es
P =
_
_
_
_
_
P
1
P
2
.
.
.
P
k
_
_
_
_
_
2. Sea f un endomorsmo del espacio vectorial, como f es autoadjunto, es decir
f = f
, existe una base ortonormal B en la que la matriz de f es simetrica y por

32 CAP

lo tanto diagonalizable.
Que los endomorsmos del conjunto conmuten es equivalente a pedir que sus ma-
trices asociadas conmuten.
Estamos en las condiciones del apartado anterior y por tanto, existe una base en la
que todas las matrices se diagonalizan simultaneamente, es decir, existe una base
cuyos elementos son autovectores de todos los endomorsmos.
2
Denici on: Se dice que B = f
1
, f
2
, . . . , f
r
es una base de Hecke de /
k
o de o
k
si
cada f B cumple T
n
f(z) =
n
f(z) para todo n N y ciertos
n
(dependiendo de f).
Proposicion 2.3.8 Sea f(z) =
m=0
c
m
e(mz) un elemento de una base de Hecke con
c
1
= 1, entonces
1. c
n
=
n
, el autovalor de f en T
n
.
2. c
n
c
m
=
a|(n,m)
a
k1
c
nm/a
2.
Recordamos el desarrollo de Fourier de la funcion discriminante (z) dado por
(z) = (2)
12
n=1
(n)e(nz)
La funcion (n) se conoce como funcion tau de Ramanujan. Esta funci on posee muchas
propiedades aritmeticas, muchas de las cuales fueron conjeturadas por Ramanujan.
Corolario 2.3.9 La funcion es una funcion multiplicativa que satisface (p
n+1
) =
(p)(p
n
) p
11
(p
n1
) para p primo.
Demostracion: Como dimo
12
= 1, B = (z) es una base de Hecke. Puesto que
(1) = 1 se puede aplicar la proposicion. Finalmente, aplicando 2. se obtiene el resultado.
2
2.4. Formas modulares respecto a
Las necesidades aritmeticas llevan a generalizar la denicion de forma modular en
dos sentidos. En primer lugar admitiendo una posible raz de la unidad que multiplica
a la relaci on modular b asica, y por otro lado, considerando subgrupos de SL
2
(Z).
El subgrupo m as importante de SL
2
(Z) es
0
(N) =
__
a b
c d
_
SL
2
(Z) : c 0 (mod N)
_
, con N Z
+
.
2.4. FORMAS MODULARES RESPECTO A 33
En general, en las aplicaciones en teora de n umeros casi siempre aparecen grupos de
congruencias que se denen como subgrupos de SL
2
(Z) que contienen a
(N) =
__
a b
c d
_
SL
2
(Z) :
_
a b
c d
_
_
1 0
0 1
_
(mod N)
_
.
A (N) se le llama subgrupo de congruencias principal de nivel N.
Evidentemente (1) =
0
(1) = SL
2
(Z).
Proposicion 2.4.1
0
(N) y (N) son subgrupos de SL
2
(Z), en particular (N) es sub-
grupo normal.
Demostracion:
0
(N)
0
(N) es no vaco.
,

0
(N),

0
(N).
=
_
a b
c d
_
,
=
_
a
_
(N) c, c
0 (mod N)
=
_
aa
+ bc
ab
+ bd
ca
+ dc
cb
+ dd
_

0
_
(mod N)

0
(N).
1

0
(N) para cada
0
(N).
=
_
a b
c d
_

0
(N) c 0 (mod N)
1
=
_
d b
c a
_
_

0
_
(mod N)
1

0
(N).
(N)
Para ver que es subgrupo normal de SL
2
(Z), consideramos el homomorsmo de grupos
f : SL
2
(Z) SL
2
(Z/NZ)
que consiste en la reducci on modulo N, entonces (N) es el n ucleo de f y por tanto,
subgrupo normal [Mi]. 2
En general
0
(N) no tiene generadores tan sencillos como los de SL
2
(Z). El caso
N = 4 es excepcional.
34 CAP

Proposicion 2.4.2
0
(4) esta generado por I, T y

S donde
I =
_
1 0
0 1
_
, T =
_
1 1
0 1
_
y

S =
_
1 0
4 1
_
.
Demostracion: Es claro que I, T,

S)
0
(4), para ver la inclusi on contraria,
basta demostrar que dada cualquier matriz de
0
(4) se puede escribir como composicion
de elementos de I, T,

S).
Consideremos una matriz generica
_
a b
c d
_

0
(4).
a) Si a
2
+ b
2
= 1 entonces =
S
k
para alg un k Z.
=
_
a b
c d
_

0
(N) c 0 (mod 4) =ad 1 (mod 4).
a
2
+ b
2
= 1
_
a = 0 b = 1 ad 0 (mod 4)
a = 1 b = 0 d = 1
=
_
1 0
4k 1
_
=
_
1 0
4 1
_
k
=
S
k
.
b) Si a
2
+ b
2
> 1 con [a[ < 2[b[, al reemplazar o bien por T o bien por T
1
(por
uno solo de los dos), a
2
+ b
2
decrece.
T =
_
a b
c d
__
1 1
0 1
_
=
_
a b + a
c d + c
_
.
T
1
=
_
a b
c d
__
1 1
0 1
_
=
_
a b a
c d c
_
.
a
2
+ b
2
> 1
2[b[ > [a[ [b[ > [a[[b[ b
2
> ([a[[b[)
2
a
2
+ b
2
?
>
_
a
2
+ (a + b)
2
a
2
+ (b a)
2
si a > 0, b < 0 b
2
> ([a[ [b[)
2
= (a + b)
2
tomo T.
si a > 0, b > 0 b
2
> ([a[ [b[)
2
= (a b)
2
= (b a)
2
tomo T
1
.
c) Si a
2
+b
2
> 1 con [a[ > 2[b[, al reemplazar o bien por
S o bien por
S
1
, a
2
+b
2
decrece.
S =
_
a b
c d
__
1 0
4 1
_
=
_
a + 4b b
c + 4d d
_
.
S
1
=
_
a b
c d
__
1 0
4 1
_
=
_
a 4b b
c 4d d
_
.
a
2
+ b
2
> 1
2[b[ < [a[
a
2
+ b
2
?
>
_
(a + 4b)
2
+ b
2
(a 4b)
2
+ b
2
si a > 0, b < 0 [b[ <
a
2
(a + 4b)
2
= (a 4[b[)
2
< (a 2a)
2
= a
2
tomo
S.
si a > 0, b > 0 b <
a
2
(a 4b)
2
< (a 2b)
2
= a
2
tomo
S
1
.
Por a), una matriz que cumple a
2
+b
2
= 1, es una potencia de

S salvo signo (lo que
se corresponde con la multiplicaci on por I), y por tanto, un elemento de I, T,

S).
Usando b) y c), se puede llegar a la relaci on anterior multiplicando por los elementos T
y

S o por sus respectivas inversas.
As, dada cualquier matriz
0
(4), mediante las operaciones anteriores se llega a
una matriz =

S
k
, con I, T,

S). Basta entonces observar que
1
= , que
vuelve a estar en I, T,

S). 2
Si D es un dominio fundamental para SL
2
(Z), entonces podemos considerar icomo
un punto lmite de H que tambien es un punto lmite de D. Cada conjunto
1
D, con
SL
2
(Z), es tambien un dominio fundamental de SL
2
(Z). Si
1
=
_
a b
c d
_
, entonces
1
(i) =
a
c
es un punto lmite de H y un punto lmite de
1
D, decimos entonces que
a =
a
c
es una c uspide de
1
.
Para eliminar la dependencia de en la denicion de c uspide, se acostumbra a denir
las c uspides tomando Q, identicando puntos equivalentes bajo la accion del grupo
en cuestion.
Cuando = SL
2
(Z) todos los n umeros racionales son -equivalentes a iy por tanto
SL
2
(Z) tiene una unica c uspide, representada por i o simplemente , pero cuando
es un subgrupo propio de SL
2
(Z) el n umero de puntos -equivalentes es menor, as
puede tener m as c uspides, representadas por n umeros racionales. Dado que cada a Q
es de la forma a =
1
(i) para alg un SL
2
(Z), el n umero de c uspides es a lo sumo
el n umero de clases en SL
2
(Z), un n umero nito ya que el ndice [SL
2
(Z) : ] es
nito, [Di-Sh].
Denici on: Una funci on f denida en H se dice forma modular de peso k respecto
a si
1. f es holomorfa en H.
36 CAP

2. f es funcion modular de peso k respecto a , es decir
f(z) = j
k
(z)f(z) .
3. f es holomorfa en todas sus c uspides.
Si a es una c uspide y f es una funci on modular para , siempre se puede encontrar
un SL
2
(Z) tal que a = iy que f(z) sea 1-periodica. Se dice que f es holomorfa
en a si f(z) tiene un desarrollo del tipo
n=0
a
n
e(nz).
Denici on: Una forma cuspidal de peso k respecto a , es una forma modular
respecto a tal que en los desarrollos de Fourier de todas las c uspides se tiene a
0
= 0.
Se dene /
k
() como el espacio vectorial de formas modulares de peso k con respecto
a un subgrupo de congruencias . De forma an aloga, el espacio de formas cuspidales
respecto a es denotado por o
k
(). Las formulas de las dimensiones correspondientes a
estos espacios pueden verse en [Di-Sh].
Si f /
k
= /
k
_
0
(1)
_
, en general f(Nz) no es una forma modular de /
k
. La
importancia del caso =
0
(N) radica en parte en la siguiente propiedad,
Proposicion 2.4.3 Si f /
k
= /
k
(
0
(1)), entonces f(Nz) /
k
(
0
(N)).
Demostracion:
Sea g(z) = f(Nz). Si
_
a b
c d
_

0
(N), entonces c = cN, por lo tanto, si g es modular,
f(Nz) = g(z) =
1
(cz + d)
k
g
_
az + b
cz + d
_
=
1
(cz + d)
k
f
_
N
az + b
cz + d
_
=
=
1
( cNz + d)
k
f
_
aNz +
b
cNz + d
_
que coincide con la denici on de modularidad en f,
f(Nz) =
1
(cNz + d)
k
f
_
aNz + b
cNz + d
_
.
2
Observaci on: La proposici on anterior da una relaci on de inclusion entre /
k
, /
k
_
0
(N)
_
y /
k
_
0
(NM)
_
, a saber,
/
k
/
k
(
0
(N)) /
k
(
0
(NM)).
Para ello, basta observar que
0
(NM)
0
(N)
0
(1) = SL
2
(Z)
y que por tanto, las restricciones para las funciones son mas fuertes en /
k
que en
/
k
(
0
(N), y claro est a, que en /
k
(
0
(NM)).
Proposicion 2.4.4 E
2
(z)2E
2
(2z) y E
2
(2z)2E
2
(4z) forman una base de /
2
_
0
(4)
_
.
Demostracion: Usando que dim/
2
_
0
(4)
_
= 2, [Di-Sh], hay que comprobar que
E
2
(z) 2E
2
(2z) y E
2
(2z) 2E
2
(4z) estan en /
2
_
0
(4)
_
y son linealmente independien-
tes.
E
2
(z) =
1
z
2
E
2
(1/z)
6
iz
,
2E
2
(2z) =
1
2z
2
E
2
(1/2z)
6
iz
,
f(z) = E
2
(z) 2E
2
(2z) =
1
z
2
E
2
(1/z)
1
2z
2
E
2
(1/2z).
E
2
(2z) =
1
4z
2
E
2
(1/2z)
3
iz
,
2E
2
(4z) =
1
8z
2
E
2
(1/4z)
3
iz
,
g(z) = E
2
(2z) 2E
2
(4z) =
1
4z
2
E
2
(1/2z)
1
8z
2
E
2
(1/4z).
Para ver que f, g /
2
(
0
(4)) basta comprobar que son modulares para los genera-
dores,
T =
_
1 1
0 1
_
, Tz = z + 1
S =
_
1 0
4 1
_
,

Sz =
z
4z + 1
f(Tz) = f(z),
E
2
(z) = E
2
(z + 1) f(z) = f(z + 1).
f(
Sz) = (4z + 1)
2
f(z),
E
2
(z) E
2
(1/z)
E
2
_
z
4z + 1
_
E
2
_
1
z
4z+1
_
= E
2
_
4z 1
z
_
= E
2
_
4
1
z
_
= E
2
(1/z)
E
2
_
2
z
4z + 1
_
E
2
_
1
2z
4z+1
_
= E
2
_
4z 1
2z
_
= E
2
_
2
1
2z
_
= E
2
(1/2z)
38 CAP

f
_
z
4z + 1
_
= E
2
_
z
4z + 1
_
2E
2
_
2
z
4z + 1
_
=
=
_
4z + 1
z
_
2
E
2
(1/z)
1
2
_
4z + 1
z
_
2
E
2
(1/2z) =
= (4z + 1)
2
_
1
z
2
E
2
(1/z)
1
2z
2
E
2
(1/2z)
_
= (4z + 1)
2
f(z).
g(Tz) = g(z),
E
2
(z) = E
2
(z + 1) f(z) = f(z + 1).
g(
Sz) = (4z + 1)
2
g(z),
E
2
(z) E
2
(1/z)
E
2
_
2
z
4z + 1
_
E
2
_
1
2z
4z+1
_
= E
2
_
4z 1
2z
_
= E
2
_
2
1
2z
_
= E
2
(1/2z)
E
2
_
4
z
4z + 1
_
E
2
_
1
4z
4z+1
_
= E
2
_
4z 1
4z
_
= E
2
_
1
1
4z
_
= E
2
(1/4z)
g
_
z
4z + 1
_
= E
2
_
2z
4z + 1
_
2E
2
_
4z
4z + 1
_
=
=
_
4z + 1
4z
_
2
E
2
(1/2z)
1
8
_
4z + 1
z
_
2
E
2
(1/4z) =
= (4z + 1)
2
_
1
4z
2
E
2
(1/2z)
1
8z
2
E
2
(1/4z)
_
= (4z + 1)
2
g(z).
Por otro lado,
f(z) = E
2
(z) 2E
2
(2z) = 1 24
m=1
(m)e(mz) 2 + 48
m=1
(m)e(2mz) =
= 1 24
_

m=1
(m)e(mz) 2
m=1
(m)e(2mz)
_
=
= 1 24
_

m=1
(m)e(mz) 2
m=1
_
m
2
_
e(mz)
_
=
2.5. FORMAS CUADR
ATICAS BINARIAS 39
= 1 24
m=1
_
(m) 2
_
m
2
__
e(mz),
donde (n) = 0 si n / Z.
f(z) = 1 24 (e(z) + (1 + 2 2)e(2z) + (1 + 3)e(3z) + ) =
= 1 24 (e(z) + e(2z) + 4e(3z) + )
g(z) = E
2
(2z) 2E
2
(4z) = 1 24
m=1
(m)e(2mz) 2 + 48
m=1
(m)e(4mz) =
= 1 24
_

m=1
(m)e(2mz) 2
m=1
(m)e(4mz)
_
=
= 1 24
_

m=1
_
m
2
_
e(mz) 2
m=1
_
m
4
_
e(mz)
_
=
= 1 24
m=1
_
_
m
2
_
2
_
m
4
__
e(mz)
donde (n) = 0 si n / Z.
g(z) = 1 24 ((1 + 2)e(2z) + (1 + 2 + 4 2)e(4z) + (1 + 3)e(6z) + ) =
= 1 24 (3e(2z) + 5e(4z) + 4e(6z) + )
f y g son linealmente independientes, pues no son m ultiplo una de la otra. 2
2.5. Formas cuadraticas binarias
Las formas cuadraticas binarias de discriminante d son los elementos de
Q
d
= ax
2
+ bxy + cy
2
: a Z
+
, b, c, Z, b
2
4ac = d.
Diremos que una forma Q Q
d
representa un entero n si existen enteros (x, y) ,=
(0, 0) tales que ax
2
+ bxy + cy
2
= n.
Gauss creo una teora aritmetica de formas cuadraticas en su obra maestra Disqui-
sitiones Arithmeticae. Aqu solo consideraremos el caso d < 0, denido positivo.
40 CAP

Denici on: Se dice que Q
1
, Q
2
Q
d
son equivalentes, y escribiremos Q
1
Q
2
si Q
1
se transforma en Q
2
despues de hacer un cambio de variable
_
x
y
_
A
_
x
y
_
con
A SL
2
(Z).
Como indica la notaci on, dene una relaci on de equivalencia en Q
d
. Adem as es
bastante evidente que si Q
1
Q
2
entonces ambas formas cuadr aticas representan los
mismos enteros cuando (x, y) Z
2
.
Fijado d < 0, a cada Q = ax
2
+bxy +cy
2
Q
d
se le asigna la raz de ax
2
+bx+c = 0
en H, es decir, z
Q
= (b + i
d)/(2a).
Proposicion 2.5.1 Q
1
Q
2
z
Q
1
= z
Q
2
con SL
2
(Z).
Demostracion:
Q
1
(x, y) = a
1
x
2
+ b
1
xy + c
1
y
2
z
Q
1
= (b
1
+ i
d)/(2a
1
)
Q
2
(x, y) = a
2
x
2
+ b
2
xy + c
2
y
2
z
Q
2
= (b
2
+ i
d)/(2a
2
)
) Q
1
Q
2
, entonces Q
1
se transforma en Q
2
despues de hacer un cambio de
variable
_
x
y
_
_
x
y
_
con =
_
A B
C D
_
SL
2
(Z).
Q
2
(x, y) = Q
1
(Ax + By, Cx + Dy)
a
2
x
2
+ b
2
xy + c
2
y
2
= a
1
(Ax + By)
2
+ b
1
(Ax + By)(Cx + Dy) + c
1
(Cx + Dy)
2
.
Como z
Q
2
es raz de a
2
x
2
+ b
2
x + c
2
se tiene que
Q
2
(z
Q
2
, 1) = 0 = Q
1
(Az
Q
2
+ B, Cz
Q
2
+ D)
a
2
z
2
Q
2
+ b
2
z
Q
2
+ c
2
= 0 = a
1
(Az
Q
2
+ B)
2
+ b
1
(A
Q
2
+ B)(Cz
Q
2
+ D) + c
1
(Cz
Q
2
+ D)
2
.
SL
2
(Z), Cz
Q
2
+ D ,= 0, entonces
a
1
_
Az
2
+ B
Cz
2
+ D
_
2
+ b
1
Az
2
+ B
Cz
2
+ D
+ c
1
= 0.
Teniendo en cuenta que las unicas races del polinomio a
1
x
2
+b
1
x +c
1
son z
Q
1
y z
Q
1
, se
tendra que o bien z
Q
2
= z
Q
1
o bien z
Q
2
= z
Q
1
.
Por otro lado, como tiene determinante +1, conserva la orientacion, y puesto que
la conjugacion la invierte, la unica opcion es que z
Q
2
= z
Q
1
.
) z
Q
1
= z
Q
2
con =
_
A B
C D
_
SL
2
(Z).
Como z
Q
1
es raz de a
1
x
2
+ b
1
x + c
1
, la factorizaci on del polinomio queda a
1
(x
z
Q
1
)(x z
Q
1
), y por tanto la factorizacion de la forma Q
1
ser a
Q
1
(x, y) = a
1
(x z
Q
1
y)(x z
Q
1
y).
2.5. FORMAS CUADR
ATICAS BINARIAS 41
Por otro lado, puesto que z
Q
1
= z
Q
2
se tiene que
Q
1
(x, y) = a
1
(x z
Q
2
y)(x z
Q
2
y).
Si ahora hacemos el cambio de variable
_
x
y
_
_
x
y
_
se tiene
Q
1
(Ax +By, Cx +Dy) = a
1
_
Ax +By z
Q
2
(Cx +Dy)
__
Ax +By z
Q
2
(Cx +Dy)
_
tomando y = 1 obtenemos
a
1
(C
x
+ D)(x z
Q
2
)(x z
Q
2
),
y es evidente entonces que x = z
Q
2
es raz. Entonces Q
1
(Ax +By, Cx +Dy) = Q
2
(x, y)
y por tanto Q
1
Q
2
. 2
Denici on: Al n umero de clases de equivalencia para el discriminante d se le llama
n umero de clases y se denota con h(d).
La accion de SL
2
(Z) sobre las formas cuadr aticas es equivalente a la accion de SL
2
(Z)
sobre H. Deniendo H(d) Q
d
, con h(d) = #H(d), la condici on de que la raz asociada a
una forma este en el dominio fundamental es equivalente a que pedir que la forma este en
H(d). Utilizando este hecho se puede describir de manera mas precisa el conjunto,
Proposicion 2.5.2
H(d) = (a, b, c) Z
3
: b
2
4ac = d con a < b a < c o 0 b a = c
donde (a, b, c) se corresponde con la forma cuadratica Q = ax
2
+ bx + c Q
d
.
Demostracion: Sea z
Q
= (b+i
d)(2a) Hla raz asociada a la forma cuadr atica

Q Q
d
tal que z
Q
pertenece al dominio fundamental
D = z : [1z[ 1/2, [z[ 1.
Observaci on: Dado z H existe SL
2
(Z) tal que z D, y usando la equiva-
lencia en las formas cuadraticas asociadas, queda garantizada la existencia de tal z
Q
.
Entonces,
[z[ 1 [z[
2
=
b + i
d
2a
2
=
b
2
d
4a
2
=
b
2
b
2
+ 4ac
4a
2
=
c
a
1 c a
[1z[
1
2

b
2a
1
2
a b a.
42 CAP

Adem as, puesto que en D se identica la parte derecha de la frontera con la parte
izquierda,
[z[ > 1 1z
_
1
2
,
1
2
_
(c > a a < b a)
[z[ = 1 1z
_
1
2
, 0
_
(c = a b 0).
2
En general, dada una forma cuadr atica Q denida positiva con coecientes enteros
y m variables se dene la funci on theta correspondiente como
(2.4)
Q
(z) =
nZ
m
e(Q(n)z) =
n=0
r
Q
(n) e(nz),
donde r
Q
(n) es el n umero de soluciones de Q(n) = n con n Z
m
.
2.5.1. Formas cuadraticas de Q
7
El caso que mas nos interesa debido al contenido del captulo 4 es el de d = 7. Lo
estudiamos a continuaci on con m as detalle.
De la proposici on anterior se deducira que todas las formas cuadraticas de Q
7
son
equivalentes a x
2
+ xy + 2y
2
. Para ello debemos hallar el n umero de clases en Q
7
,
Si 0 b a = c,
b
2
4a
2
= (b + 2a)(b 2a) = 7
Pero las posibles soluciones tales que 0 b a no son enteras.
Si a < b a < c,
7 = b
2
4ac < b
2
4a
2
a
2
4a
2
= 3a
2
a = 1
_
1 < b 1 < c
7 = b
2
4c

_
b = 1
c = 2
Se tiene entonces que h(7) = #(1, 1, 2) = 1 y por tanto, todas las formas cuadr aticas
de Q
7
son equivalentes a x
2
+ xy + 2y
2
.
Proposicion 2.5.3 Para p primo, tal que
_
7
p
_
= 1, existen b y c con px
2
+bxy +cy
2
Q
7
, que evidentemente representa a p tomando x = 1, y = 0.
2.5. FORMAS CUADR
ATICAS BINARIAS 43
Demostracion:
x
2
+ 7 0 tiene soluci on m odulo p (ley de reciprocidad cuadr atica) y m odulo 4
(elemental). El teorema chino del resto asegura que existen b, c Z tales que b
2
+7 = 4pc.
Entonces px
2
+bxy+cy
2
Q
7
es equivalente a x
2
+xy+2y
2
y como la primera representa
a p, la segunda tambien. 2
Teorema 2.5.4
4p = x
2
+ 7y
2
tiene solucion x, y Z p = 7 o p 1, 2, 4 (mod 7).
Demostracion:
) Tomando congruencias modulo p,
x
2
+ 7y
2
0 (mod p) x
2
7y
2
(mod p)
que tiene soluci on si y solo si 7 0 (mod p) p = 7, o bien, 7 es residuo cuadr atico
m odulo p, es decir, si
_
7
p
_
= 1 y esta situaci on ocurre si y s olo si p 1, 2, 4 (mod 7).
_
7
p
_
=
_
1
p
__
7
p
_
= (1)
(p1)/2
(1)
3(p1)/2
_
p
7
_
=
_
p
7
_
,
donde en el segundo paso se ha empleado la ley de la reciprocidad cuadr atica y la ley
suplementaria. Teniendo en cuenta que cuadrados mod 7 = 0, 1, 2, 4, entonces
(2.5)
_
7
p
_
= 1
_
p
7
_
= 1 p 1, 2, 4 (mod 7).
) Si p = 7, la solucion sera x = 0, y = 2. Para p ,= 7, multiplicando por 4 la
expresi on x
2
+ xy + 2y
2
y completando cuadrados se obtiene la identidad
4(x
2
+ xy + 2y
2
) = (2x + y)
2
+ 7y
2
.
Basta observar entonces que la forma x
2
+xy +2y
2
representa a p para ciertos x, y Z,
escribiendo z = 2x + y se llega al resultado. 2
Observaci on: Si p es un primo > 2, entonces 4p se puede sustituir por p en el primer
miembro. Esto es as debido a que x e y son pares. Si fueran impares x
2
y
2
1 (mod 8)
implica 8 [ x
2
+ 7y
2
= 4p que es una contradicci on para p > 2.
En n umero de clases nos aporta informacion sobre la factorizaci on unica en los anillos
de enteros de un cuerpo cuadr atico, as cuando es uno se tiene factorizaci on unica y a
medida que crece estamos mas alejados de ella.
Observaci on: En el Captulo 4 consideraremos Z[] con = (1 + i
7)/2. Ser a en-

tonces de gran importancia saber si se tiene o no factorizacion unica en este caso.
44 CAP

Utilizando argumentos realizados con las formas de Q
7
es posible dar una solucion a
esta cuestion:
Todo ideal es de la forma I = x + y : x, y Z y la factorizaci on unica
est a asegurada si todos los ideales son principales, es decir, si I = Z[]. Se puede probar
que esto equivale a que exista un cambio lineal entero invertible (x, y) (x
, y
) tal que
N(x
+y
) [ N(x +y). Tomando Z

+
la norma del ideal,
1
N(x +y) Q
7
,
usando que h(7) = 1, todas las formas son equivalentes a x
2
+ xy + 2y
2
= N(x + y),
de donde se tiene factorizaci on unica.
2.6. La funcion de Jacobi
Las formas modulares m as antiguas son las funciones theta.
Las funciones theta clasicas fueron introducidas de dos maneras diferentes en la teora
de n umeros, por un lado su modularidad permitio a Riemann demostrar la ecuaci on
funcional de su celebre funci on zeta (vease [Ed]), por otro lado se utilizaron para contar
el n umero exacto de formas de representar un entero como la suma de n cuadrados.
Denici on: La funcion de Jacobi est a denida por
(z) =
n=
e(n
2
z) para z H.
Proposicion 2.6.1 La funcion verica
_
1
4z
_
=
_
2z
i
(z).
Demostracion: La formula de sumaci on de Poisson arma
n=
f(n) =
n=
f(n) con

f() =
_

f(x)e(x)dx.
Sea f(x) = e
2ix
2
z
, su transformada de Fourier ser a
f() =
_

e
2ix
2
z
e
2ix
dx.
Derivando bajo el signo de la integral obtenemos
() =
_

2ix e
2ix
2
z
e
2ix
dx =
2.6. LA FUNCI
ON DE JACOBI 45
_
u = e
2ix
dv = 2ix e
2ix
2
z
dx
_
du = 2i e
2ix
dx
v =
1
2z
e
2ix
2
z
=
1
2z
e
2ix
2
z
e
2ix
_
i
z
_

e
2ix
2
z
e
2ix
dx
_
z H, z = a + bi, b > 0
e
2ix
2
z
= e
2ix
2
(a+bi)
= e
2x
2
b
e
2ix
2
a
=
1
2z
e
2ix
2
z
e
2ix
= 0

f
() =
i
z
f(), de donde se puede calcular explcitamente
f(),
()
f()
=
i
z
ln

f() =
i
2
2z
+ C

f() =

Ce
i
2
/2z
.
_
_
e
x
2
dx =
2ix
2
z = y
2
y =
2izx x =
1
2iz
y dx =
1
2iz
dy
Usando ahora que la funcion I() =
_
e
x
2
e
ix
dx verica I(0) =
f(0) =
_

e
2ix
2
z
dx =
1
2iz
_

e
y
2
dy =
2iz
=
_
i
2z
=

f() =
_
i
2z
e
i
2
/2z
.
Por ultimo, usando la formula de sumacion de Poisson, se obtiene
(z) =
n=
e(n
2
z) =
n=
_
i
2z
e
_
n
2
4z
_
=
_
i
2z

_
1
4z
_
.
2
Proposicion 2.6.2 La funcion verica
(z) = w
j
1/2
(z)(z) para
0
(4)
donde w
es cierta raz cuarta de la unidad, esto es, w
1, i.
Demostracion: Basta comprobarlo para los generadores de
0
(4).
T =
_
1 1
0 1
_
, Tz = z + 1.
(Tz) = (z + 1) =
n=
e(n
2
(z + 1)) =
n=
e(n
2
z) = (z).
46 CAP
S =
_
1 0
4 1
_
,

Sz =
z
4z+1
.
Observaci on:
_
1
4z
_
=
_
2z
i
(z) = (2zi)
1/2
(z).
Nos gustara poder utilizar la matriz =
_
0 1
4 0
_
, pues z =
1
4z
, pero nos encontra-
mos con el problema de que / SL
2
(Z), sin embargo esto lo ponemos solucionar
usando los generadores de
0
(4),
1
T
1
=
_
0 1/4
1 0
_
. .
1/4z
_
1 1
0 1
_
. .
z1
_
0 1
4 0
_
. .
1/4z
=
_
1 0
4 1
_
. .
z/(4z+1)
=

S.
De este modo,
_
z
4z + 1
_
=
_
1
4
_
1
4z
1
_
_
=
_
2
_
1
4z
1
_
i
_
1/2
_
1
4z
1
_
=
=
__
1
2z
+ 2
_
i
_
1/2
_
1
4z
_
=
__
1
2z
+ 2
_
i
_
1/2
(2zi)
1/2
(z) =
= w
S
__
1
2z
+ 2
_
2z
_
1/2
(z) = w
S
(1 + 4z)
1/2
(z) = w
S
j
1/2
S
(z)(z).
Se concluye entonces
(z) = w
j
1/2
(z)(z) para
0
(4).
2
Observaci on: La dependencia de w
en viene dada por la formula

w
=
_
_
c
d
_
si d 1 (mod 4)
i
_
c
d
_
si d 3 (mod 4)
para =
_
a b
c d
_

0
(4),
donde
_
_
es el smbolo de Legendre.
es por tanto una forma modular de peso 1/2 respecto a
0
(4) salvo porque la
relaci on modular est a afectada por un multiplicador w
, pero este problema lo pode-

mos solventar elevando a una potencia adecuada. Por ejemplo, si estamos interesados en
r
4
(n), el n umero de representaciones de n como suma de cuatro cuadrados,
4
(z) =
n=0
r
4
(n) e(nz),
2.6. LA FUNCI
ON DE JACOBI 47
se tiene
4
(z) = j
2
(z)
4
(z)
0
(4).
Es decir,
4
/
2
(
0
(4)). En terminos generales,
Proposicion 2.6.3
4k
(z) = j
2k
(z)
4k
(z) /
2k
(
0
(4)).
Una bella consecuencia de la modularidad es el siguiente resultado de Jacobi,
Proposicion 2.6.4 El n umero de representaciones de n Z
+
como suma de cuatro
cuadrados es 8
_
1
(n)
1
(n/4)
_
donde
1
(n/4) se dene como 0 si n/4 no es entero.
Demostracion: Por un lado, usando los primeros valores de r
4
(n),
4
(z) =
n=0
r
4
(n)e(nz) = 1 + 8e(z) + 24e(2z) + . . .
Por otro lado, ya vimos en la Proposicion 2.4.4 c omo f = E
2
(z) 2E
2
(2z) y g =
E
2
(2z)2E
2
(4z) forman una base de /
2
(
0
(4)). Recordando que estas funciones venan
dadas por
f(z) = 1 24
m=1
_
(m) 2
_
m
2
__
e(mz) = 1 24e(z) 24e(2z) . . .
g(z) = 1 24
m=1
_
_
m
2
_
2
_
m
4
__
e(mz) = 1 24e(2z) 24e(4z) . . .
se tiene que
3
4
(z) = f(z) 2g(z) =
4
(z) =
1
3
f(z)
2
3
g(z).
4
(z) =
1
3
+ 8
n=1
_
(n) 2
_
n
2
__
e(nz) +
2
3
+ 16
n=1
_
n
2
_
_
n
4
_
e(nz) =
= 1 + 8
n=1
_
(n)
_
n
4
__
e(nz).
El n umero de representaciones de n Z
+
como suma de cuatro cuadrados sera
r
4
(n) = 8
_
(n)
_
n
4
__
,
48 CAP

donde (n) = 0 si n no es entero. 2
Observaci on: La multiplicacion compleja en el retculo induce una funci on en la
curva elptica que relaciona unos puntos con otros. De una forma que no es facil de
describir, dicha relacion lleva a que contar el n umero de puntos modulo p tenga que ver
con las representaciones de p por cierta forma cuadr atica.
Recordando la denici on dada por (2.4), el n umero de representaciones por una forma
cuadr atica son los coecientes de una forma modular
Q
.
Captulo 3
Multiplicacion compleja y la
ecuaci on modular
En el Captulo 1, vimos como a traves de las funciones elpticas cada retculo tena
asociada una curva elptica sobre C. Tal retculo puede tener cierta noci on de simetra
y aplicarse en s mismo al multiplicar por un n umero complejo (no real).
Esta propiedad se llama multiplicacion compleja y fue estudiada cl asicamente a partir
de la idea de generar n umeros algebraicos, a traves de valores especiales de funciones me-
romorfas, en el caso de las extensiones abelianas de los cuerpos cuadr aticos imaginarios,
ideas estudiadas por Kronecker, Weber y otros que evidenciaron su gran importancia en
teora algebraica de n umeros.
Este tipo de curvas elpticas se dice que son curvas de multiplicaci on compleja.
Adem as, si tal n umero est a en un dominio de factorizacion unica, entonces las curvas
de este tipo poseen una importante propiedad, la de que sus coecientes, que en principio
son complejos, realmente todos ellos estan en Q.
3.1. Multiplicacion compleja
Denici on: Sea = m
1
+ n
2
con (
2
/
1
) > 0. Se dice que tiene multi-
plicacion compleja si existe un n umero complejo / R tal que . (Cuando tal
n umero existe, no es unico).
Observaci on: Sin perdida de generalidad se puede suponer que
1
= 1 y
2
H,
pues es linealmente equivalente a un retculo complejo de la forma m + n con
=
2
/
1
H.
Proposicion 3.1.1 tiene multiplicacion compleja si y solo si
2
/
1
esta en una ex-
tension cuadratica (imaginaria) de Q, es decir, si y solo si es raz de una ecuacion de
segundo grado con coecientes enteros. En particular tambien esta en dicha extension.
49
50 CAP
ITULO 3. MULTIPLICACI
ON COMPLEJA Y LA ECUACI
ON MODULAR
Demostracion:
Sea = m + n.
) Si tiene multiplicacion compleja, con / R, entonces a, b, c, d
Z tales que
= a + b, = c + d
/ R c ,= 0, entonces
(c + d) = a + b c
2
+ (d a) b = 0.
es raz de una ecuaci on de segundo grado con coecientes enteros, por lo tanto
est a en una extension cuadr atica imaginaria de Q.
En particular, como = c + d con c, d Z, tambien esta en la extensi on.
) Sea Q(
h) cuerpo cuadr atico (h < 0 entero libre de cuadrados), entonces

a, b, c Z con a ,= 0 tales que
a
2
+ b + c = 0.
Tomando = a se tiene que
= a , = a
2
= c b .
Por tanto, con / R, es decir, tiene multiplicacion compleja. 2
Proposicion 3.1.2 Sea (con multiplicacion compleja) y como en la proposicion
anterior, entonces es un entero algebraico.
Demostracion: con / R, entonces a, b, c, d Z tales que
= a + b, = c + d.
( a) b = 0, c + d = 0.
a b
c d
= ( a)( d) bc =
2
(a + d) bc = 0
es un entero algebraico en Q(
h). 2
Proposicion 3.1.3 Si y es la funcion de Weierstrass de , entonces (z) =
P
_
(z)
_
/Q
_
(z)
_
para ciertos polinomios P y Q con gr P = gr Q + 1.
Demostracion: (z) es funci on elptica pues, para
((z + )) = (z +
..

) = (z)
3.1. MULTIPLICACI
ON COMPLEJA 51
y es par, pues
(z) =
1
(z)
2
+
_
1
(z + )
2

1
2
_
=
=
1
(z)
2
+
_
1
(z + )
2

1
2
_
= (z).
Es por tanto una funcion racional de (z) (Teorema 1.3.4), es decir
(z) =
P ((z))
Q((z))
,
para ciertos polinomios P y Q.
(z)Q((z)) = P ((z)) .
El primer termino en el desarrollo de ambas funciones es 1/z
2
(1/z
2
)
n
y (1/z
2
)
m
, donde
m y n son los grados de los polinomios P y Q respectivamente.
Puesto que el orden debe coincidir en ambas funciones 1 + n = m, es decir, gr P =
gr Q + 1. 2
Si E
1
/C y E
2
/C son dos curvas complejas, podemos representarlas mediante dos
toros complejos E
i
C/
i
, es claro entonces que se tiene un isomorsmo Hom(E
1
, E
2
)
Hom(C/
1
, C/
2
), donde es segundo grupo es el de los homomorsmos analticos entre
los toros. Identicando cada homomorsmo analtico entre C/
1
y C/
2
con el n umero
complejo que lo determina podemos ver a Hom(C/
1
, C/
2
) como un subgrupo de C.
(La suma de n umeros complejos se corresponde con la suma de homomorsmos denida
puntualmente).
Si los dos toros son el mismo C/, entonces la composicion de endomorsmos de C/
se corresponde con el producto de n umeros complejos, por lo que End(C/) resulta ser
un subanillo de C.
En particular, End(C/) es un anillo conmutativo.
Denici on: Las curvas elpticas sobre C que corresponden a un retculo con multi-
plicaci on compleja se dice que son curvas elpticas de multiplicacion compleja o curvas
elpticas CM.
Multiplicar por un entero n en el retculo se traduce en multiplicar por n en la curva
elptica. Por ejemplo, si n = 2, utilizando la parametrizacion z ((z),
(z)) y la
f ormula de duplicacion para (2z) que relaciona esta funci on con (z) se puede deducir
la formula para calcular 2P en la curva elptica sin ninguna referencia a la interpretaci on
geometrica con tangentes e intersecciones. De forma similar, la multiplicacion compleja
en un retculo por un n umero corresponde a cierto endomorsmo de la curva elptica.
52 CAP
ON MODULAR
Usando la Proposicion 3.1.3, tal endomorsmo admite una f ormula como funci on
racional de las coordenadas.
Una curva elptica de multiplicaci on compleja tiene simetras ocultas que pasan pun-
tos a puntos, distintas
1
de multiplicar por cualquier n Z.
En el caso de multiplicaci on compleja End(E) es (isomorfo a) Z[].
Ejemplo: Uno de los ejemplos m as sencillos de multiplicaci on compleja es la curva
elptica E : y
2
= 4x
3
x que corresponde a un retculo de la forma =
1
(n + im)
con cierto
1
que no tiene una expresion explcita sencilla (es una integral elptica).
Para este retculo se verica (iz) = (z).
(z) =
1
z
2
+
_
1
(z + )
2

1
2
_
(iz) =
1
(iz)
2
+
_
1
(iz + )
2

1
2
_
=
1
z
2
+
_
1
(z + i)
2

1
2
_
=
=
1
z
2
+
_
1
(z i)
2

1
(i)
2
_
.
Como , =
1
(n + im), entonces i =
1
(in m) , de donde
(iz) =
1
z
2
+
_
1
(z + )
2

1
2
_
=
_
1
z
2
+
_
1
(z + )
2
+
1
2
_
_
= (z).
Por otro lado
(iz) = (z) i
(iz) =
(z)
(iz) = i
(z).
Usando que la aplicaci on
C/ E
z ((z),
(z))
iz ((z), i
(z))
establece un isomorsmo holomorfo entre la supercie de Riemann C/ y la curva pro-
yectiva E : y
2
= 4x
3
x, el endomorsmo correspondiente a la multiplicaci on por i
est a dado por
: E E
(x, y) (x, iy)
1
En terminos algebraicos esta denicion pasa a ser End(E) ,
= Z. En cambio, las curvas normales

cumplen End(E)
= Z.
3.1. MULTIPLICACI
ON COMPLEJA 53
Por tanto el isomorsmo End(E)
= Z[i] vendr a dado por a +bi aP +b(P) donde la

multiplicaci on por a y b se hace en la curva elptica (sumar un punto consigo mismo).
La existencia de multiplicaciones complejas se conserva por isomorsmos. Ponemos
hablar entonces de invariantes con multiplicaci on compleja.
Un retculo = m
1
+n
2
, (
2
/
1
) > 0, da lugar a una curva elptica sobre C,
E : y
2
= 4x
3
g
2
x g
3
, que puede ser reescrita tras un cambio de variable en la forma
E : y
2
= x
3
+ Ax + B.
Recordando la Denici on 1.2, dos retculos son linealmente equivalentes si existe
C tal que =
. Tal puede verse como una aplicaci on lineal en C, que induce

un isomorsmo entre curvas elpticas.
Todo retculo es linealmente equivalente a uno de la forma m + n (en este caso
la aplicaci on lineal vendra dada por f(z) = z/
1
), que coincide con m+n
si y solo
si () =
con SL
2
(Z).
La funcion de Klein j, es una funci on modular de peso cero inyectiva en el dominio
fundamental [Kn], por tanto las curvas elpticas correspondientes a los retculos =
m
1
+n
2
y
= m
1
+n
2
son isomorfas (sobre C) si y s olo si j(
2
/
1
) = j(
2
/
1
).
Los coecientes de la curva elptica dependen del retculo y j se puede relacionar con
ellos. Las f ormulas son:
E : y
2
= 4x
3
g
2
x g
3
j =
1728g
3
2
g
3
2
27g
2
3
,
E : y
2
= x
3
+ Ax + B j =
6912A
3
4A
3
+ 27B
2
.
Por una variante del principio del m aximo, las unicas funciones modulares de peso
cero acotadas son las constantes. En particular,
Proposicion 3.1.4 Toda funcion modular de peso cero con un desarrollo de Fourier
n=N
a
n
e(nz) es un polinomio de grado N en j(z).
Demostracion: Sea f funci on modular de peso cero con un desarrollo de Fourier
n=N
a
n
e(nz). Por induccion sobre N,
N = 0,
f(z) es funcion modular de peso cero, cuyo desarrollo de Fourier es de la forma
n=0
a
n
e(nz), en particular es acotada, aplicando el teorema de Lioville 1.1.1, f
es constante y por tanto la podemos ver como un polinomio en j(z) de grado 0.
Suponemos cierto hasta N = m, es decir, si f tiene desarrollo de Fourier
n=N
a
n
e(nz)
entonces
f(z) = P
N
(j(z)),
donde P
N
es un polinomio de grado N en j(z), para todo N m.
54 CAP
ON MODULAR
N = m + 1,
f(z) =
n=(m+1)
a
n
e(nz) = a
(m+1)
e((m + 1)z) +
n=m
a
n
e(nz).
Sea g(z) = f(z) a
(m+1)
(j(z))
m+1
.
g es funci on modular de peso cero, cuyo desarrollo de Fourier es de la forma
n=m
b
n
e(nz), aplicando la hip otesis de inducci on en la funcion g se tiene que
g(z) = P
m
(j(z)),
donde P
m
es un polinomio de grado m en j(z).
Por tanto
f(z) = a
(m+1)
(j(z))
m+1
+ g(z) = P
m+1
(j(z)),
donde P
m+1
es un polinomio de grado m + 1 en j(z).
2
Identicando los lados opuestos de un paralelogramo fundamental asociado a un
retculo , obtenemos una supercie de Riemann C/ de genero 1, de modo que las
funciones elpticas sobre pueden verse como funciones holomorfas sobre C/.
Podemos repetir el mismo argumento, esta vez con la funci on j. Identicando los
puntos del domino fundamental D, obtenemos una supercie de Riemann S, que to-
pologicamente se corresponde con una esfera menos un punto. De este modo, j puede
verse como una funcion holomorfa sobre S. Si a nadimos un punto innito para compac-
ticar la supercie S, tenemos que j se extiende a una funci on holomorfa j : S
.
Los coecientes de j (respecto a una carta adecuada) alrededor del punto innito son
sus coecientes de Fourier, y puesto que el coeciente de e(z) es no nulo se tiene que
j tiene un polo en el innito. Como j es inyectiva en S, es por tanto una transforma-
ci on conforme entre dos esferas, podemos asegurar entonces que toma todos los valores
complejos.
3.2. Funciones modulares
Las funciones modulares estan muy relacionadas con ciertas supercies compactas
llamadas supercies modulares. La supercie modular m as simple es la que se obtiene
al identicar los puntos de H equivalentes respecto al grupo modular. Las supercies
modulares en general se obtienen del mismo modo a partir de grupos de transformaciones
adecuados, por ejemplo, el espacio cociente X
0
(N) = C/
0
(N), a nadiendole un n umero
nito de puntos para compacticarlo, es una curva modular.
3.2. FUNCIONES MODULARES 55
El cuerpo de las funciones meromorfas sobre una supercie de Riemann es un cuerpo
de funciones algebraicas, pero en general no es f acil determinar una ecuaci on que lo
determine. Sin embargo, para el cuerpo de las funciones modulares respecto al grupo
0
(N) podemos encontrar explcitamente unos generadores de su cuerpo de funciones
meromorfas junto con una ecuaci on polin omica irreducible que los relaciona.
Proposicion 3.2.1 Para cada entero positivo n existe un polinomio en dos variables
n
C[X, Y ] tal que
n
(X, j(z)) =
ad=n
a,d>0
d1
b=0
_
X j
_
az + b
d
_
_
.
Demostracion:
Observaci on: Sea P(X, X
1
, . . . , X
s
) =
s
i=1
(X X
i
) C[X, X
1
, . . . , X
s
]. Es claro
que P visto como polinomio en X, es de la forma X
s
+
s1
X
s1
+ +
0
, donde
sk
(X
1
, . . . , X
s
) es un polinomio simetrico en X
1
, . . . , X
s
igual a la suma de todos los
posibles productos de k de estas variables
2
.
Denotando por s a la dimensi on de
n
, sea
n
(X, j(z)) = P(X, j(
1
z), . . . , j(
s
z)).
n
es un polinomio m onico de grado s.
Cada coeciente es un polinomio,
sk
, simetrico en j(
i
z) con i = 1, . . . , s. Usando
la Proposici on 2.3.1 junto con el Corolario 2.3.3, cada
sk
ser a una funcion modular
de peso 0 (por serlo j), y por la Proposici on 3.1.4, un polinomio en j(z), es decir, en
C[j(z)]. Podemos por tanto ver a como polinomio en C[X, Y ] para cada n Z
+
. 2
Proposicion 3.2.2 Si /
22
(Z) con det = n, entones
n
_
j(z), j(z)
_
= 0.
Demostracion: Para comprobarlo, bastara ver que alg un factor de
n
es cero.
Fijado X, sea G(z) = P(X, j(
1
z), . . . , j(
s
z)). G(z) es un polinomio simetrico en
j(
i
), i = 1, . . . , s. Usando de nuevo la Proposici on 2.3.1 junto con Corolario 2.3.3, como
j es modular de peso 0, G tambien lo ser a.
Teniendo en cuenta que el producto por el que se dene la funci on
n
recorre todos
los elementos de
n
, usando la Proposici on 2.3.1, uno de ellos cumplir a = para
alg un SL
2
(Z).
Tomando precisamente dicho se tiene que j(z) = j(
i
z), y por tanto, para
X = j(z), G(z) = P(j(z), j(
1
z), . . . , j(
s
z)) = 0, usando ahora que G(z) es
modular de peso cero, se tiene el resultado. 2
2
A
sk
(X
1
, . . . , X
s
) se le suele llamar polinomio simetrico elemental de grado k y s variables.
56 CAP
ON MODULAR
Proposicion 3.2.3
n
Z[X, Y ].
Demostracion: La funcion j tiene desarrollo de Fourier e(z) +
k=0
a
k
e(kz), en-
tonces para
n
j(z) = j
_
az + b
d
_
= e
_
az + b
d
_
+
k=0
a
k
e
_
k
az + b
d
_
=
= e
_
az
d
_
e
_
b
d
_
+
k=0
a
k
e
_
kaz
d
_
e
_
kb
d
_
=
= e
_
az
d
_
b
d
+
k=0
a
k
e
_
kaz
d
_
kb
d
=
=
k=1
a
k
e
_
kaz
d
_
,
donde
d
= e(1/d) y a
k
Z[
d
]. Los coecientes de
n
(X, j(z)) son todos ellos polino-
mios,
sk
, simetricos en j(
i
z), i = 1, . . . , s, cada
sk
tendr a entonces un desarrollo de
Fourier de la forma
k=N
b
k
e
_
kz
n
_
, donde b
k
Z[
n
]
para cierto N entero (donde se ha usado que ad = n al sacar factor com un en los
denominadores de los exponentes). Aplicando la conjugacion de Galois
n

r
n
con
r (Z/nZ)
, estos automorsmos permutan las series j(

i
z) y por tanto jan la serie
sk
, por lo que los coecientes b
k
realmente est an en Z.
Por otro lado, cada
sk
es modular, en particular cada
sk
debe cumplir
k=N
b
k
e
_
k(z + 1)
n
_
=
k=N
b
k
k
n
e
_
kz
n
_
=
k=N
b
k
e
_
kz
n
_
de la igualdad se tiene que solo sobreviven los coecientes b
k
tales que
k
n
= 1, es decir,
si n [ k, y por tanto cada
sk
tendr a un desarrollo de la forma
k=N
b
k
e(kz), donde b
k
Z
Finalmente, como los coecientes de
n
(X, j(z)) son (usando la Proposici on 3.1.4)
polinomios en j(z) todos ellos con coecientes enteros, se concluye que
n
(X, Y )
Z[X, Y ]. 2
3.2. FUNCIONES MODULARES 57
3.2.1. La ecuaci on modular
n
es el llamado polinomio modular, denido como
n
pero exigiendo ahora que en
el producto mcd(a, b, d) = 1.
Si n = p
1
. . . p
k
, con p
i
primos todos distintos, es claro que
n
=
n
, pues en este
caso como ad = n se tiene que (a, d) = 1, y el a nadir b no aporta nada, se sigue teniendo
(a, b, d) = 1.
Para ver que
n
Z[X, Y ] no se hizo ninguna distinci on en funcion del valor de
n, por tanto si
n
(X, Y ) Z[X, Y ] para todo n entero positivo, tambien lo sera para
aquellos ns en cuya descomposici on no aparecen potencias, es decir,
n
Z[X, Y ].
Proposicion 3.2.4 Si z H esta en una extension cuadratica de Q, entonces j(z) es
un entero algebraico.
Demostracion: Si z H est a en una extensi on cuadr atica imaginaria, entonces
= m + nz tiene multiplicacion compleja, es decir, C/R tal que ,
entonces
z = az + b, = cz + d
con a, b, c, d Z tales que (a, b, c, d) = 1 (si (a, b, c, d) = m, se puede reducir a este caso
tomando /m).
Sea =
_
a b
c d
_
con ad bc = n para cierto n, entonces
M
n
y z =
az + b
cz + d
=
z
= z.
Se tiene que j(z) = j(z) y por tanto
n
(j(z), j(z)) =
n
(j(z), j(z)).
Por otra parte, por la Proposici on 3.2.2, los ceros de
n
(X, j(z)) son precisamente j(z)
con M
n
por tanto
n
(j(z), j(z)) = 0.
Es decir, j(z) es un cero de
n
(x, x). El objetivo por tanto, es demostrar que o bien el
polinomio
n
(x, x), o bien
n
(x, x) es m onico.
El coeciente del termino de menor potencia en el desarrollo de cada factor es 1 o
una raz de la unidad, en cualquier caso, al evaluar en todas las combinaciones posibles
de a, b, d y teniendo en cuenta que los coecientes son enteros, el termino de menor
potencia en el desarrollo nal ser a siempre 1 y por tanto dar a lugar a un polinomio
m onico. 2
58 CAP
ON MODULAR
De este modo, se ha probado que j manda irracionales cuadr aticos en enteros al-
gebraicos, lo que aporta mas informacion sobre las curvas que poseen multiplicacion
compleja, concretamente, todas ellas (salvo isomorsmos sobre C) est an denidas sobre
cuerpos de n umeros.
Pasada la primera mitad del siglo XX se prob o que solo hay nueve cuerpos cuadr aticos
imaginarios con anillos de enteros de factorizacion unica
3
, resolviendo as una conjetura
que provena de los trabajos de Gauss. Entonces, salvo isomorsmos sobre C, s olo hay
nueve curvas elpticas sobre Q de multiplicaci on compleja (o m as bien nueve familias de
ellas por los subanillos que no estamos considerando y por isomorsmos).
3
Q(
d), donde d = 1, 2, 3, 7, 11, 19, 43, 67, 163.

Captulo 4
La curva elptica y
2
= x
3
35x 98
En lo sucesivo p ser a un primo p > 7 y E denotar a la curva elptica
E : y
2
= x
3
35x 98.
Tambien se considerar a Z[] con = (1+
7)/2 que es el anillo de enteros de Q(
7)
y es un dominio de factorizacion unica.
4.1. La ecuacion modular y el invariante j
En esta secci on se probar a que j() es un entero sin apelar a la relaci on mencionada en
el captulo anterior con la factorizaci on unica. Esencialmente lo que haremos es resolver
la ecuacion modular para n = 2. Consideramos
P(x) =
2
(x, x) =
2
(x, x).
Proposicion 4.1.1 P es un polinomio monico de grado 4 en Z[x] y j(i) es una de sus
races. Ademas, j(i) = 1728.
Demostracion:
P(j(z)) =
2
(j(z), j(z)) = (j(z) j(2z)) (j(z) j(z/2)) (j(z) j((z + 1)/2))
j(z) j(2z) = e(z) +
k=0
a
k
e(kz) e(2z)
k=0
a
k
e(2k)
j(z) j(z/2) = e(z) +
k=0
a
k
e(kz) e(z/2)
k=0
a
k
e
_
kz/2
_
59
60 CAP
ITULO 4. LA CURVA EL
IPTICA Y
2
= X
3
35X 98
j(z) j((z + 1)/2) = e(z) +
k=0
a
k
e(kz) e
_
(z + 1)/2
_
k=0
a
k
e
_
k(z + 1)/2
_
.
En la Proposicion 3.1.4, se vio como la menor potencia en el desarrollo se corresponde
con el grado del polinomio en j(z), dicho termino sera el producto de los correspondientes
terminos de menor grado en cada uno de los factores, en este caso e(2z)e(z)e(z) =
e(4z), entonces es claro que P(x) =
2
(x, x) ser a un polinomio de grado 4 y m onico.
Para ver que j(i) es una raz de P(x) =
2
(x, x) repetimos los pasos dados en la
demostraci on de la Proposicion 3.2.4.
Si se considera z = i, = m + ni tiene multiplicaci on compleja, tomando = i + 1
i = 1 + i = ai + b, = i + 1 = ci + d
a = 1, b = 1, c = 1, d = 1
Sea =
_
1 1
1 1
_
M
2
, entonces
i =
i 1
i + 1
=
i
i
= i j(i) = j(i)
2
(j(i), j(i)) =
2
(j(i), j(i)) = P(j(i)).
Aplicando la Proposici on 3.2.2, (los ceros de
n
(X, j(z)) son j(z) con M
n
)
P(j(i)) =
2
(j(i), j(i)) = 0.
Es decir, j(i) es un cero de P(x) =
2
(x, x).
Por otro lado,
j(z) =
1728E
3
4
(z)
E
3
4
(z) E
2
6
(z)
donde E
2k
(z) =
1
2
n,m=
(n,m)=1
1
(mz + n)
2k
.
Sea = mi + n : m, n Z, (n, m) = 1, entonces se tiene que i = y por tanto
E
6
(i) =
1
2
n,m=
(n,m)=1
1
(mi + n)
6
=
1
2
n,m=
(n,m)=1
1
(i(mi + n))
6
=
=
1
2
n,m=
(n,m)=1
1
(mi + n)
6
= E
6
(i) E
6
(i) = 0
=j(i) =
1728E
3
4
(i)
E
3
4
(i)
= 1728.
4.1. LA ECUACI
ON MODULAR Y EL INVARIANTE J 61
2
Las soluciones de
2
_
x, j(z)
_
= 0 son x = j(z) con /
22
(Z) y det = 2. De
aqu
2
_
j((2
1
)z), j(z)
_
= 0 y cambiando la variable z z se tiene
2
_
j(z), j(z)
_
=
0. Entonces
2
_
x, j(z)
_
= 0 y
2
_
j(z), x
_
= 0 tienen las mismas races. De ello se deduce
f acilmente la simetra
2
(X, Y ) =
2
(Y, X) que, con practicamente la misma prueba, es
en realidad una propiedad general de
n
para n > 1.
Proposicion 4.1.2 j() es raz doble de P(x).
Demostracion:
P(j()) =
2
(j(), j()) = (j() j(
1
)) (j() j(
2
)) (j() j(
3
))
donde
1
=
_
2 0
0 1
_
,
2
=
_
1 0
0 2
_
,
3
=
_
1 1
0 2
_

2
.
Un par de observaciones, sobre el factor j() j(
2
),
2
= con =
_
0 1
1 1
_
SL
2
(Z) y =
_
1 2
1 0
_
tal que = .
j(
2
) = j() = j().
Usando que j(z) es modular, j() = j().
Se tiene entonces que j() j(
2
) = 0 y por tanto j() es raz de P(x).
Con un argumento similar para el factor j() j(
3
),
3
=
con
=
_
1 1
1 0
_
SL
2
(Z) y
=
_
0 2
1 1
_
tal que
= .
j(
3
) = j(
) = j(
).
Usando que j(z) es modular, j(
) = j().
Se tiene entonces que j() j(
3
) = 0.
2
(X, j()) = (X j(
1
)) (X j(
2
)) (X j(
3
)) .
2
X
(X, j()) = j(
1
) (X j(
2
)) (X j(
3
)) +
+(X j(
1
)) (j(
2
) (X j(
3
)) j(
3
) (X j(
2
))) .
Aplicando las observaciones anteriores,
2
X
_
j(), j()
_
= 0.
62 CAP
IPTICA Y
2
= X
3
35X 98
Como (X, Y ) = (Y, X),
2
Y
_
X, Y
_
=

2
Y
_
Y, X
_
=

2
X
_
X, Y
_
P
_
j()
_
=
_
2
X
+

2
Y
_
_
j(), j()
_
= 0
de donde se concluye que j() es raz doble de P(x).
2
Llegamos as al objetivo de la seccion,
Proposicion 4.1.3 j() es un entero.
Demostracion: Por la Proposici on 3.2.3 sabemos que P(x) Z[x], que es m onico lo
vimos en la demostraci on de la Proposicion 3.2.4.
Usando ahora el Lema de Gauss se tiene que mcd(P, P
) Z[x] y es monico. Puesto

que P tiene una raz doble, j(), entonces mcd(P, P
) = xj() llegando as al resultado.

2
Con la ayuda de una calculadora, unos pocos terminos del numerador y denominador
de la f ormula j(z) =
_
1 +240
n=1
3
(n)e(nz)
_
3
/(z) dan una aproximacion de j() y
el resultado anterior permite llegar a nuestro objetivo.
=
1+i
7
2
, llamando q = e
7
,
e(n) = e
2i
= e
ni
e
n
7
= (1)
n
q
n
.
1 + 240
n=1
3
(n)e(nz) = 1 + 240(q + 9q
2
28q
3
+ 53q
4
. . . ) 0,941189901
_
1 + 240
n=1
3
(n)e(nz)
_
3
0,833742185
n=1
(1 e(n))
24
= (1 + q)
24
(1 q
2
)
24
(1 + q
3
)
24
. . . 1,005909227
e()
n=1
(1 e(n))
24
0,000247034
j() 3375,009857
Usando que j() es entero, podemos entonces asegurar que
j() = 3375.
4.2. ENDOMORFISMO DE FROBENIUS 63
Proposicion 4.1.4 El invariante j de E es 3375, en particular E es C/ con =
1
(m + n).
Demostracion:
E : y
2
= x
3
35x 98.
j =
6912(35)
3
4(35)
3
+ 27(98)
2
=
29635200
171500 + 259308
= 3375.
Por otro lado, =
1
(m+n) = m
1
+n
1
= m+n, y acabamos de ver que
el invariante de la curva elptica asociada a este retculo es j() = j(
1+
7
2
) = 3375.
Puesto que dos curvas elpticas son isomorfas si y solo si tienen el mismo invariante,
E C/. 2
4.2. Endomorsmo de Frobenius
La aplicacion x x
p
pertenece a Gal(F
p
/F
p
) y cuando se considera E sobre F
p
induce un endomorsmo de E dado por Frob(x, y) = (x
p
, y
p
), Frob(O) = O llamado
endomorsmo de Frobenius. El interes de Frob es que sus puntos jos cuando act ua
sobre una curva algebraica corresponden a soluciones m odulo p.
(z) se puede escribir como una funci on racional de (z) y eso se traduce en un
endomorsmo : E E, una simetra oculta se corresponde con la multiplicaci on
por en C/. El procedimiento para hallar dicha funcion racional, y por tanto , es
constructivo. La formula resultante para el endomorsmo es
(x, y) =
_
2
_
x
7
4
x + 3 +
_
,
3
y
_
1 +
7
4
(x + 3 + )
2
_
_
donde es el conjugado de .
En particular E es una curva CM con anillo de multiplicacion compleja Z[] y todos
los endomorsmos de E sobre C son de la forma f(P) = [n]P + [m](P) con n, m Z
donde [n] signica el endomorsmo multiplicacion por n (en la curva elptica). Conti-
nuando con esta notaci on denotaremos en lo sucesivo a f con [n + m].
Si
_
7
p
_
= 1 (7 es residuo cuadratico modulo p), llamando F
p
a la soluci on de
la congruencia x
2
7 (mod p), se tiene
=
1 +
7
2
2
1
(1 + ) (mod p),
entonces el endomorsmo de E sobre C dado por [n+m] induce tambien un endomor-
smo de E sobre F
p
, que para no complicar la notaci on seguiremos llamando [n + m].
Observaci on: Esta situaci on ya vimos en (2.5) que ocurre si y s olo si p 1, 2, 4 (mod 7).
64 CAP
IPTICA Y
2
= X
3
35X 98
Deuring demostro que si en una curva elptica de multiplicaci on compleja todos los
endomorsmos sobre C inducen endomorsmos sobre F
p
entonces todos los endomors-
mos sobre F
p
(y sobre F
p
) se obtienen de esta forma. Esto sugiere distinguir para E dos
casos:
_
7
p
_
= 1 en el que Frob = [n
0
+ m
0
] para ciertos n
0
, m
0
Z y
_
7
p
_
= 1 en el
que no se asegura que Frob provenga de un endomorsmo de E sobre C.
Nuestro objetivo en ambos casos es hallar N
p
, el n umero de puntos de E en F
p
incluyendo O, es decir,
(4.1) N
p
= 1 + #(x, y) : 0 x, y < p, y
2
x
3
35x 98 (mod p).
Para ello emplearemos el endomorsmo denido por H(P) = P Frob(P) que verica
N
p
= #H
1
(O) = #Ker H.
En geometra algebraica, un morsmo de curvas algebraicas denidas sobre un cuerpo
K, f : C
1
C
2
, induce un monomorsmo K(C
2
) K(C
1
) que nos permite considerar
a K(C
1
) como una extension algebraica de K(C
2
). Usando que la extensi on es nita
1
, se
dene el grado de f como deg f = [K(C
1
) : K(C
2
)[. Si deg f = n, entonces cada punto
de C
2
tiene a lo sumo n preim agenes en C
2
.
Cuando K es algebraicamente cerrado, K = K, el grado de f coincide con el n umero
de preim agenes de un punto contando multiplicidades (ndices de ramicaci on). Se dice
que f es no ramicada si lo es en todo punto.
Los endomorsmos de curvas elpticas sobre C son no ramicados, y por tanto todo
punto de E tiene exactamente deg f preim agenes. Frob es inyectivo pero tiene grado p,
entonces el mismo resultado no se aplica en general sobre F
p
, esto se debe esencialmente
a que x
p
= tiene p races iguales en F
p
. Sin embargo se puede probar que las unicas
excepciones son Frob y en general f Frob. Estos endomorsmos son inseparables, y el
resto separables.
Observaci on: Para p > 7 primo, no tenemos problemas pues el grado de un en-
domorsmo de E denido sobre C es igual al grado cuando lo consideramos denido
sobre F
p
. Esto se debe a que los unicos primos que daran problemas son p = 7, pues en
este caso denominador y numerador no conservaran el grado al tomar modulos y p = 2,
donde tendramos problemas para denir .
1
K(C
1
) es nitamente generado sobre K.
4.2.1. Caso
_
7
p
_
= 1
(o equivalentemente p 1, 2, 4 modulo 7).
Comenzamos recordando que para Q(
7), la norma de se dene como

N
Q(
7)
() = N
Q(
7)/Q
() =
donde es el conjugado de .
Proposicion 4.2.1 Si Z[] N
Q(
7)
() Z.
Por otro lado, dado a Z[] ideal, la norma de a viene dada por
N
Q(
7)
(a) = #Z[]
_
a.
Adem as, si Z[] es tal que ) = a entonces,
N
Q(
7)
(a) = N
Q(
7)
()) = N
Q(
7)
().
El grado de la funci on [n+m] coincide con el n umero de preimagenes de z (n+m)z
actuando en C/Z[]. Este n umero coincide con el n umero de veces que Z[] contiene a
(n + m)Z[], es decir, el n umero de elementos del anillo cociente Z[]/(n + m)Z[], y
por tanto
deg[n + m] = N
Q(
7)
(n + m)) = (n + m)(n + m) = [n + m[
2
=
=
_
n +
m
2
_
2
+
_
m
7
2
_
2
= n
2
+ nm +
m
2
4
+
7m
2
4
= n
2
+ mn + 2m
2
.
Recordando que en este caso Frob = [n
0
+ m
0
] para ciertos n
0
, m
0
Z, y que el
endomorsmo de Frobenius tiene grado p primo se tiene
N
Q(
7)
(n
0
+ m
0
) = p.
Observaci on: Si a, b Z[] ideales, entonces N
Q(
7)
(ab) = N
Q(
7)
(a)N
Q(
7)
(b),
de donde a b N
Q(
7)
(b) [ N
Q(
7)
(a)
Si a, b son ideales de Z[] de normas r y s respectivamente, tales que ab n
0
+m
0
,
entonces p [ rs, usando ahora la primalidad de p se tiene que a n
0
+ m
0
o bien
b n
0
+ m
0
y por tanto llegamos a que n
0
+ m
0
es un primo (de norma p) de Z[].
H(P) = P Frob(P) = [1]P [n
0
+ m
0
]P = [1 n
0
m
0
]P.
Como N
p
= #H
1
(O) = #Ker H, podemos buscar el n umero de preimagenes del
elemento O E, puesto que H es separable, dicho n umero coincide con deg H = deg[1
66 CAP
IPTICA Y
2
= X
3
35X 98
n
0
m
0
], que como ya se vio antes, se corresponde con la norma del ideal 1n
0
m
0
,
es decir,
N
p
= deg[1 n
0
m
0
] = [1 n
0
m
0
[
2
= (1 n
0
)
2
+ (1 n
0
)(m
0
) + 2m
2
0
.
Frob = [n
0
+ m
0
] es de grado p y por tanto n
2
0
+ n
0
m
0
+ 2m
2
0
= p, entonces
N
p
= 1 + n
2
0
2n
0
m
0
+ n
0
m
0
+ 2m
2
0
= 1 + p (2n
0
+ m
0
).
Supongamos ahora que n y m satisfacen n
2
+ nm + 2m
2
= p = n
2
0
+ n
0
m
0
+ 2m
2
0
entonces es claro que (n+m)(n + m) = (n
0
+m
0
)(n
0
+ m
0
). Usando la factorizacion
unica de Z[] junto con que las unidades de Z[] son 1, llegamos a que o bien n
0
+m
0
=
(n + m) o bien n
0
+ m
0
= (n + m),
Si n
0
+ m
0
= n + m
_
n
0
= n
m
0
= m
Si n
0
+ m
0
= (n + m)
_
n
0
+ m
0
/2 = n + m/2
m
0
/2 = m/2
_
n
0
= n + m
m
0
= m
En ambos casos el resultado es 2n
0
+ m
0
= 2n + m.
Si n
0
+ m
0
= (n + m)
_
n
0
= n
m
0
= m
Si n
0
+ m
0
= (n + m)
_
n
0
+ m
0
/2 = n m/2
m
0
/2 = m/2
_
n
0
= n m
m
0
= m
En ambos casos el resultado es 2n
0
+ m
0
= (2n + m).
Finalmente, como N
p
= [1 n
0
m
0
[
2
= p + 1 (2n
0
+ m
0
), entonces
N
p
p 1 = (2n + m).
El ultimo c alculo determina N
p
p 1 salvo un signo.
La determinaci on del signo pasa por el c alculo explcito de E[
7], que es el grupo

de puntos sobre C (incluyendo O) que cumplen [
7]P = O, es decir, [1 +2]P = O.

[
7]P = O equivale a []P = []P y esto a (P) = (P) donde (P) tiene la
misma f ormula que pero cambiando por . La primera coordenada de la ecuaci on
(x, y) = (x, y) lleva a que x satisface la ecuaci on c ubica
2
_
x 7
4
/(x + 3 + )
_
=
2
_
x 7
4
/(x + 3 + )
_
,
cuyas races son x = a
k
1 con a
k
= 8 cos(2k/7) y k = 1, 2, 4. Despejando y se obtiene
E[
7] = O, P, 2P, 3P, 4P, 5P, 6P donde

P = (a
1
1,
7a
1
), 2P = (a
4
1,
7a
4
), 3P = (a
2
1,
7a
2
),
4P = (a
2
1,
7a
2
), 5P = (a
4
1,
7a
4
), 6P = (a
1
1,
7a
1
).
Estos puntos se pueden reducir a F
p
asignando a e
2i/7
una raz (,= 1) de x
7
= 1 que
seguiremos denotando con e
2i/7
y a
k
ser a 4
_
(e
2i/7
)
k
+ (e
2i/7
)
k
_
, en particular Frob
actuar a sobre ellos.
El endomorsmo de E sobre F
p
es el dado por Frob(x, y) = (x
p
, y
p
), Frob(O) = O.
Si P = (a
1
1,
7a
1
) en F
p
, entonces
Frob(P) = Frob(a
1
1,
7a
1
) = ((a
1
1)
p
, (
7a
1
)
p
).
Estudiando primera y segunda coordenada por separado,
Usando el binomio de Newton,
(a
1
1)
p
=
_
p
0
_
a
p
1
+
_
p
1
_
a
p1
1
(1) + +
_
p
p 1
_
a
1
(1)
p1
+
_
p
p
_
(1)
p
y que el n umero combinatorio se dene por
_
p
n
_
=
p(p 1) (p n + 1)
n!
,
excepto el primero y el ultimo, todos estos terminos desaparecen en F
p
. Por tanto
(a
1
1)
p
= a
p
1
1.
7 es residuo cuadratico m odulo p, sea la solucion de la congruencia x
2
7 (mod p), entonces la segunda coordenada quedara

(
7a
1
)
p
= (
7)
p
a
p
1
=
p
a
p
1
= a
p
1
=
7a
p
1
,
donde se ha utilizado el peque no teorema de Fermat para ver que
p
(mod p).
Por ultimo, como a
1
= 4
_
e
2i/7
+(e
2i/7
)
1
_
entonces a
p
1
= 4
p
_
e
2i/7
+(e
2i/7
)
1
_
p
,
y de nuevo usando el desarrollo del binomio de Newton y el peque no teorema de
Fermat llegamos a que
a
p
1
= a
p
.
68 CAP
IPTICA Y
2
= X
3
35X 98
Frob(P) = (a
p
1,
7a
p
).
Denici on: Para cada Q E[
7] se dene s(Q) como el signo que acompa na a
7a
k
en la segunda coordenada.
Observaci on: Si 7 k,
s(kP) =
_
k
7
_
=
_
1 si k = 1, 2, 4
1 si k = 3, 5, 6
Como
[n
0
+
m
0
2
]P = [n
0
+
m
0
2
]P + O = [n
0
+
m
0
2
]P + [
m
0
2
7]P =
= [n
0
+ m
0
]P = Frob(P) = (a
p
1,
7a
p
)
es claro que en este caso se debe cumplir
s
_
[n
0
+
m
0
2
]P
_
= 1
y esta condici on es equivalente a
_
n
0
+
m
0
2
7
_
=
_
2n
0
+m
0
2
7
_
= 1.
Por ultimo, observando que
_
2n
0
+ m
0
7
_
=
_
2
7
__
2n
0
+m
0
2
7
_
y que 2 es residuo cuadr atico modulo 7, es decir
_
2
7
_
= 1, se tiene
_
2n
0
+ m
0
7
_
= 1
_
2n
0
+m
0
2
7
_
= 1.
Conclusion:
Si p 1, 2, 4 (mod 7) entonces p se puede escribir como n
2
+mn +2m
2
y se
tiene
N
p
= p + 1
_
2n + m
7
_
(2n + m).
4.2.2. Caso
_
7
p
_
= 1
(o equivalentemente p 3, 5, 6 modulo 7).
Procederemos en dos fases: la primera es que E[p], el grupo de puntos en F
p
que
cumplen [p]P = O, es trivial, mientras que en la segunda obtendremos que si E[p] = O
entonces N
p
= p+1. Esto ultimo no requiere la multiplicaci on compleja y es un resultado
general de curvas elpticas.
En el razonamiento aparecer a el endomorsmo dual. Dado un endomorsmo f se
dene su dual

f como el endomorsmo que asigna a cada punto la suma de las coor-
denadas de sus preimagenes. Como en el caso del grado esta denici on es literalmente
v alida para C y para endomorsmos separables denidos sobre F
p
. Para Frob de nuevo el
problema de que x
p
= tenga p races iguales en F
p
lleva a que la denici on correcta sea
Frob(x, y) = [p](x
1/p
, y
1/p
) que se extiende de manera natural a cualquier endomorsmo
inseparable (con

f Frob =

Frob

f). Esta claro que

f f = [deg f] y

f g = g

f.
Una propiedad m as complicada, pero creble, es

f + g =

f + g cuya prueba requiere un
poco de geometra algebraica.
Si consideramos E[p] sobre C sera E[p]

= Z/pZ Z/pZ pero al reducir a F
p
algunos puntos se podran pegar, por tanto E[p] sobre F
p
es isomorfo a Z/pZZ/pZ, a
Z/pZ o a O. Veamos que los dos primeros casos son imposibles.
Frob Frob = [deg Frob] = [p]

deg
_
Frob Frob
_
= deg
Frob deg Frob = p

2
deg
Frob = p.
Por otro lado,
E[p] = [p]
1
(O) =
_
Frob Frob
_
1
(O) =
_
Frob
1
Frob
1_
(O).
De la inseparabilidad de Frob se tiene que Frob
1
(O) = O. Adem as, el n umero de
preim agenes del elemento O por

Frob, sera siempre menor o igual que el grado de

Frob,
por lo tanto
#E[p] #
_
Frob
_
1
(O) deg
Frob = p < p
2
lo que nos permite asegurar que
E[p] ,
= Z/pZ Z/pZ.
70 CAP
IPTICA Y
2
= X
3
35X 98
El endomorsmo induce un endomorsmo en E sobre F
p
y cumple + [2] =
2
=
_
1 +
7
2
_
2
=
1 + 2
7 7
4
= 2 +
1 +
7
2
= 2 +
como [] = , es claro que
= [
2
] = [2 + ] = [2] + [] = [2] +
y por tanto
+ [2] = .
Sea n End(Z/pZ) el endomorsmo multiplicar por n, (los posibles endomorsmos
son todos de esta forma), si n ,= 0 fuera tal que n
2
+ 2 n (mod p) se tendra que
n
2
n+2 = kp en Z pero
b
2
4ac =
7 + 4kp / Z pues 7 no es residuo cuadratico

m odulo p.
Por tanto,
E[p] ,
= Z/pZ.
Dadas dos curvas elpticas E : y
2
= x
3
+ax +b, E
: y
2
= x
3
+z
x +b
, no podemos
hacer cambios de grado mayor o igual que uno para pasar de una a otra porque no seran
invertibles, y entre los cambios lineales solo aquellos de la forma y
3
y, x
2
x
preservan la forma de la ecuacion c ubica. As pues la unica posibilidad para que sean
isomorfas es que a
=
4
a y b
=
6
b.
Para cualquier curva elptica que no sea de la forma y
2
= x
3
+ Ax o y
2
= X
3
+ B,
[1] y [1] son los unicos endomorsmos invertibles
2
, esto es, automorsmos.
Suponemos que E[p] es trivial (sobre F
p
), tal y como aseguran los calculos anteriores.
Puesto que E[p] = 0, entonces

Frob es inseparable y por tanto, debe ser igual a
alg un f Frob. Tomando grados se tiene que deg f = 1, es decir, f es un automorsmo.
Por otro lado, como E es de la forma y
2
= x
3
35x 98 los unicos automorsmos
son [1] y [1], de modo que o bien

Frob = Frob o bien

Frob = [1]Frob.
Desarrollando [deg H] =

H H con la f ormula para H,
H = [1] Frob,

H =

[1] Frob = [1]
Frob
[deg H] =

H H =
_
[1]
Frob
_
_
[1] Frob
_
=
= [1]
Frob Frob +
Frob Frob = [1] + [p]
Frob Frob.
2
Si a, b ,= 0 los posibles son = 1.
4.3. FORMA MODULAR ASOCIADA A LA CURVA 71
Usando que N
p
= deg H se tiene que
Frob + Frob = [1 + p N
p
].
Si

Frob = Frob, entonces
Frob + Frob = [2]Frob = [1 + p N

p
].
Por un lado,
deg[2]Frob = deg[2] deg Frob = 4p.
Por otro,
deg[1 + p N
p
] = (1 + p N
p
)
2
donde se ha utilizado que 1 + p N
p
es entero y por tanto la norma coincide con el
cuadrado del elemento.
Comparando normas llegamos a una contradicci on pues 4p no es un cuadrado per-
fecto. Por tanto

Frob = [1]Frob, de donde
Frob + Frob = [0] = [1 + p N

p
] N
p
= p + 1.
Conclusion:
Si p 3, 5, 6 (mod 7) entonces N
p
= p + 1.
4.3. Forma modular asociada a la curva
Dada la curva elptica y
2
= x
3
+ Ax + B con A, B Z, N
p
es su n umero de puntos
sobre F
p
(es decir, las soluciones modulo p) contando el punto del innito O. Se dene
a
p
= p + 1 N
p
.
El teorema de modularidad, en una forma debil, arma que los a
p
son los coecientes
p-esimos de una forma modular de peso 2 con respecto a alg un grupo
0
(N).
Para nuestra curva procederemos en dos fases: primero veremos que los a
p
son los
coecientes de cierta serie de Fourier (Prop. 4.3.1) y nalmente probaremos que dicha
serie dene una forma modular (Prop. 4.3.4).
72 CAP
IPTICA Y
2
= X
3
35X 98
Proposicion 4.3.1 Para la curva E : y
2
= x
3
35x98, a
p
coincide con el coeciente
de Fourier p-esimo de
(z) =
1
2
n,mZ
n
_
n
7
_
e
_
(n
2
+ 7m
2
)z
_
.
Demostracion: El coeciente p-esimo de es n
_
n
7
_
, donde n ha de cumplir que
n
2
+ 7m
2
= p.
Por el Teorema 2.5.4, n
2
+ 7m
2
= p tiene solucion si y solo si p = 7 o bien p
1, 2, 4 (mod 7).
Si p = 2, 3, 5 entonces n
2
+ 7m
2
= p no tiene soluciones enteras, por tanto el
p-esimo coeciente de es 0.
Recordando que la curva E viene dada por y
2
= x
3
35x 98 y la denici on de
N
p
por (4.1), calculamos su valor en estos casos,
p = 2
y
2
x
3
+ x (mod 2)
N
2
= 1 + #(0, 0), (1, 0) = 3 a
2
= 2 + 1 N
2
= 0.
p = 3
y
2
x
3
+ x + 1 (mod 3)
N
3
= 1 + #(0, 1), (0, 2), (1, 0) = 4 a
3
= 3 + 1 N
3
= 0.
p = 5
y
2
x
3
+ 2 (mod 5)
N
5
= 1 +#(2, 0), (3, 2), (3, 3), (4, 2), (4, 3) = 6 a
5
= 5 +1 N
5
= 0.
Si p = 7, las soluciones de n
2
+7m
2
= 7 son n = 0, m = 1 por tanto el coeciente
7-esimo de es 0. En este caso
p = 7
y
2
x
3
(mod 7)
N
7
= 1 + #(0, 0), (1, 1), (1, 6), (2, 1), (2, 6), (4, 1), (4, 6) = 8
a
7
= 7 + 1 N
7
= 0.
Si p > 7 y p 3, 5, 6 (mod 7) entonces n
2
+ 7m
2
= p no tiene soluciones enteras
y por tanto el p-esimo coeciente de es 0. Pero en este caso habamos visto que
N
p
= p + 1 por lo que
a
p
= p + 1 N
p
= 0.
Si p > 7 y p 1, 2, 4 (mod 7). En el Teorema 2.5.4 vimos
4(x
2
+ xy + 2y
2
) = (2x + y)
2
+ 7y
2
= 4p
para ciertos x, y Z, adem as como p > 7 entonces 4p se puede sustituir por p
obteniendo (2a +b)
2
+7b
2
= p para ciertos enteros a, b Z, entonces el coeciente
p-esimo de Fourier de sera
1
2
(2a + b)
_
2a + b
7
_
.
Por otro lado, en este caso se tiene que N
p
= p + 1 (2n +m)
_
2n+m
7
_
. Llamando
a = 2n, b = 2m y teniendo en cuenta que 2 es residuo cuadr atico m odulo 7, se
tiene
N
p
= p + 1
2a + b
2
_
2a+b
2
7
_
= p + 1
1
2
(2a + b)
_
2
7
_
_
2a+b
2
7
_
=
= p + 1
1
2
(2a + b)
_
2a + b
7
_
.
por lo que
a
p
= p + 1 N
p
=
1
2
(2a + b)
_
2a + b
7
_
.
2
En lo que sigue suponemos que z = (az + b)/(cz + d) cumple
0
(196).
Proposicion 4.3.2
(z) =
1
2
6
k=1
_
k
7
_
d
u,v=1
e
_
u
2
+ 7v
2
d
b
_
S(r, v) con S(r, v) =
nr (7d)
mv (d)
n e
_
n
2
+ 7m
2
d(cz + d)
z
_
donde r = r(u, d, k) es cualquier n umero congruente con u modulo d y con k modulo 7.
Aqu y en lo sucesivo se emplea (N) como abreviatura de (mod N).
Demostracion:
(z) =
1
2
n,mZ
n
_
n
7
_
e
_
(n
2
+ 7m
2
)z
_
.
Usando la identidad z =
b
d
+
z
d(cz+d)
,
(z) =
1
2
n,mZ
n
_
n
7
_
e
_
(n
2
+ 7m
2
)z
_
=
74 CAP
IPTICA Y
2
= X
3
35X 98
=
1
2
n,mZ
n
_
n
7
_
e
_
(n
2
+ 7m
2
)
_
b
d
+
z
d(cz + d)
__
=
=
1
2
n,mZ
n
_
n
7
_
e
_
n
2
+ 7m
2
d
b
_
e
_
n
2
+ 7m
2
d(cz + d)
z
_
=
=
1
2
6
k=1
_
k
7
_

m Z
nk (7)
n e
_
n
2
+ 7m
2
d
b
_
e
_
n
2
+ 7m
2
d(cz + d)
z
_
=
=
1
2
6
k=1
_
k
7
_

m Z
e
_
7m
2
d
b
_

nk (7)
n e
_
n
2
d
b
_
e
_
n
2
+ 7m
2
d(cz + d)
z
_
=
tomando v = 1, . . . , d, si m v(mod d) entonces e (m
2
/d) = e (v
2
/d), podemos por
tanto separar la suma en funcion de los valores de v,
=
1
2
6
k=1
_
k
7
_
d
v=1
e
_
7v
2
d
b
_

nk (7)
n e
_
n
2
d
b
_

mv (d)
e
_
n
2
+ 7m
2
d(cz + d)
z
_
=
aplicando ahora el mismo argumento en n se tiene
=
1
2
6
k=1
_
k
7
_
d
u,v=1
e
_
u
2
+ 7v
2
d
b
_

nk (7)
nu (d)
mv (d)
n e
_
n
2
+ 7m
2
d(cz + d)
z
_
=
Finalmente, usando el teorema chino del resto,
=
1
2
6
k=1
_
k
7
_
d
u,v=1
e
_
u
2
+ 7v
2
d
b
_

nr (7d)
mv (d)
n e
_
n
2
+ 7m
2
d(cz + d)
z
_
donde r = r(u, d, k) es cualquier n umero congruente con u m odulo d y con k m odulo 7.
2
A partir de la f ormula de sumaci on de Poisson cl asica, se puede deducir la f ormula
de sumacion de Poisson en progresiones aritmeticas:
n (q
1
)
m (q
2
)
f(n, m) =
1
q
1
q
2
n,mZ
e
_
n
q
1
+
m
q
2
_
f
_
n
q
1
,
m
q
2
_
donde

f(
) es la transformada de Fourier
__
R
2
f(x)e(x
) d
.
Para f(x, y) = x e
_
(x +7y
2
)z
_
se tiene

f(, ) =
i
7
28z
2
e
_
7
2
+
2
28z
_
, que junto con la
f ormula de sumaci on anterior
S(r, v) =
i
7
1372dz
2
(cz + d)
2
n,mZ
n e
_
nr
7d
+
mv
d
_
e
_
n
2
+ 7m
2
196dz
(cz + d)
_
.
Entonces
(z) =
i
7
2744dz
2
(cz + d)
2
n,mZ
nA(n, m) e
_
n
2
+ 7m
2
196z
_
donde
A(n, m) =
6
k=1
_
k
7
_
d
u,v=1
e
_
u
2
+ 7v
2
d
b +
nr
7d
+
mv
d

(n
2
+ 7m
2
)c
196d
_
.
Los resultados y calculos descritos a continuacion conllevan la simplicacion de
A(n, m), necesaria antes de aplicar Poisson por segunda vez.
Proposicion 4.3.3
6
k=1
_
k
7
_
e
_
nk
7
_
= i
7
_
n
7
_
.
Demostracion:
Si 7 [ n es f acil, pues por denici on de smbolo de Legendre, la parte derecha es cero,
y puesto que hay tantos residuos cuadr aticos como no residuos, la parte de la izquierda
tambien.
Si 7 n,
S =
6
k=1
_
k
7
_
e
_
k
7
_
= e
_
1
7
_
+ e
_
2
7
_
+ e
_
4
7
_
e
_
3
7
_
e
_
5
7
_
e
_
6
7
_
=
= 1 + 2
_
e
_
1
7
_
+ e
_
2
7
_
+ e
_
4
7
_
_
elevando al cuadrado,
S
2
= 1 + 8
_
e
_
1
7
_
+ e
_
2
7
_
+ e
_
3
7
_
+ e
_
4
7
_
+ e
_
5
7
_
+ e
_
6
7
_
_
=
= 1 + 8(1) = 7
S = i
7.
Por otro lado
S =
6
k=1
_
k
7
_
e
_
k
7
_
=
6
k=1
_
k
7
__
cos
_
2k
7
_
+ i sin
_
2k
7
_
_
=
76 CAP
IPTICA Y
2
= X
3
35X 98
= 2i
_
sin
_
2
7
_
+ sin
_
4
7
_
+ sin
_
8
7
_
_
teniendo en cuenta que
_
sin(
2
7
) + sin(
4
7
) + sin(
8
7
)
_
> 0, es signo queda determinado y
por tanto
S = i
7.
Por ultimo, efectuando un cambio de variable k nk (multiplicar por la clase de n
es un isomorsmo en Z
7
), se tiene
6
k=1
_
k
7
_
e
_
k
7
_
=
6
k=1
_
nk
7
_
e
_
nk
7
_
=
_
n
7
_
6
k=1
_
k
7
_
e
_
nk
7
_
por lo que
6
k=1
_
k
7
_
e
_
nk
7
_
= i
7
_
n
7
_
.
2
El n umero r = r(u, d, k) que aparece en la Proposici on 4.3.2, es cualquier n umero
congruente con u m odulo d y con k m odulo 7, es decir, es la soluci on del sistema de
congruencias,
_
x u (mod d)
x k (mod 7)
aplicando ahora el teorema chino del resto, se llega a que
x 7
7u + d
dk (mod 7d)
donde 7
y d
son los inversos de 7 y d m odulo d y 7 respectivamente. Entonces

A(n, m) =
6
k=1
_
k
7
_
d
u,v=1
e
_
u
2
+ 7v
2
d
b +
nr
7d
+
mv
d

(n
2
+ 7m
2
)c
196d
_
=
=
6
k=1
_
k
7
_
d
u,v=1
e
_
u
2
+ 7v
2
d
b +
n(7
7u + d
dk)
7d
+
mv
d

(n
2
+ 7m
2
)c
196d
_
=
=
6
k=1
_
k
7
_
e
_
nd
k
7
_
d
u,v=1
e
_
b(u
2
+ 7v
2
) + 7
nu + mv (n
2
+ 7m
2
)c/196
d
_
.
Aplicando ahora la Proposici on 4.3.3, y notando que
_
d
7
_
=
_
d
7
_
, pues el conjunto de
los inversos de 1, 2, 4 y de 3, 5, 6 m odulo 7, coincide en ambos casos con el propio
conjunto, se tiene que
A(n, m) = i
7
_
nd
7
_
d
u,v=1
e
_
b(u
2
+ 7v
2
) + 7
nu + mv (n
2
+ 7m
2
)c/196
d
_
.
Esta suma es invariante por cualquier traslacion entera de u y v (porque estas varia-
bles recorren todas las clases m odulo d).
Efectuando el cambio
u u +
cn
14
v v +
cm
14
se obtiene
b
_
u
2
+
nuc
7
+
n
2
c
2
196
+ 7v
2
+ mvc +
m
2
c
2
28
_
+7
nu+
7
n
2
c
14
+mv +
m
2
c
14

(n
2
+ 7m
2
)c
196
=
= b(u
2
+ 7v
2
) + (7
nu + mv)(bc + 1) +
bc
2
(n
2
+ 7m
2
) + 2c(n
2
+ 7m
2
) c(n
2
+ 7m
2
)
196
=
= b(u
2
+ 7v
2
) + (7
un + vm)(bc + 1) + (n
2
+ 7m
2
)(bc + 1)
c
196
teniendo en cuenta que
0
(196) SL
2
(Z), 196 [ c y d [ bc + 1,
d [ (7
un + vm)(bc + 1) + (n
2
+ 7m
2
)(bc + 1)
c
196
= B
ahora es claro que e(B) = 1 y por tanto
A(n, m) = i
7
_
nd
7
_
d
u,v=1
e
_
b(u
2
+ 7v
2
) + 7
nu + mv (n
2
+ 7m
2
)c/196
d
_
=
= i
7
_
nd
7
_
d
u,v=1
e
_
b(u
2
+ 7v
2
)
d
_
.
Observaci on: d es impar pues d [ bc + 1, y

0
(196) 196 [ c c es par bc + 1 es impar
d y b son coprimos pues d [ bc + 1, de hecho tambien sera coprimo con 7b porque 7 [ c.
Utilizando un resultado de Gauss que arma que para b y d coprimos con d impar,
se cumple
d
n=1
e(bn
2
/d) =
1
2
(1 + i)(1 i
d
)
_
b
d
_
d, se tiene
A(n, m) = i
7
_
nd
7
_
d
u,v=1
e
_
b(u
2
+ 7v
2
)
d
_
= i
7
_
nd
7
_
d
u,v=1
e
_
bu
2
d
_
e
_
7bv
2
d
_
=
= i
7
_
nd
7
_
1
4
(1 + i)
2
(1 i
d
)
2
_
b
d
__
7b
d
_
d = i
7
_
n
7
_
d
_
d
7
__
7
d
__
b
2
d
_
i
d+3
78 CAP
IPTICA Y
2
= X
3
35X 98
donde se ha utilizado que (1 +i)
2
= 2i y que (1 i
d
)
2
= 1 +(1)
d
2i
d
= 2i
d
usando
que d es impar.
Por ultimo, observando que
_
7
d
_
= (1)
6(d1)
4
_
d
7
_
= i
3(d1)
_
d
7
_
concluimos
A(n, m) = i
7
_
n
7
_
d
_
d
2
7
_
i
3(d1)
i
d+3
= i
7
_
n
7
_
d.
Terminamos probando tras los resultados anteriores que es una forma modular.
Proposicion 4.3.4
/
2
_
0
(196)
_
.
Demostracion:
(z) =
i
7
2744dz
2
(cz + d)
2
n,m Z
nA(n, m) e
_
n
2
+ 7m
2
196z
_
=
=
i
7
2744dz
2
(cz + d)
2
n,m Z
n i
7
_
n
7
_
d e
_
n
2
+ 7m
2
196z
_
=
=
1
392z
2
(cz + d)
2
n,m Z
n
_
n
7
_
e
_
(n
2
+ 7m
2
)
_
1
196z
__
.
Teniendo en cuenta que para f(x, y) = x e
_
(x
2
+ 7y
2
)
_
1
196z
__
se tiene

f(, ) =
i
7
28
196
2
z
2
e
_
7
2
+
2
28
196z
_
, usando la formula de sumaci on de Poisson, para cada k Z,
nk (7)
m Z
f(n, m) =
1
7
n,m Z
e
_
nk
7
+ m
_
f
_
n
7
, m
_
=
=
1
7
n,m Z
e
_
nk
7
_
i
7
28
196
2
z
2
n
7
e
_
n
2
7
+ m
2
28
196z
_
=
= 28i
7z
2
n,m Z
e
_
nk
7
_
n e
_
(n
2
+ 7m
2
)z
_
.
Entonces
(z) =
(cz + d)
2
392z
2
6
k=1
_
k
7
_

nk (7)
m Z
f(n, m) =
=
(cz + d)
2
14
i
n,m Z
_
6
k=1
_
k
7
_
e
_
nk
7
_
_
n e
_
(n
2
+ 7m
2
)z
_
=
=
(cz + d)
2
14
i
7i
n,m Z
n
_
n
7
_
e
_
(n
2
+ 7m
2
)z
_
=
= (cz + d)
2
1
2
n,m Z
n
_
n
7
_
e
_
(n
2
+ 7m
2
)z
_
= (cz + d)
2
(z)
donde se ha usado la relaci on
6
k=1
_
k
7
_
e
_
nk
7
_
= i
7
_
n
7
_
. Se concluye entonces que
/
2
_
0
(196)
_
.
2
Con un poco m as de trabajo se puede probar que de hecho /
2
_
0
(49)
_
y este
49 no se puede reducir m as.
Este nivel mnimo de la forma modular asociada es el llamado conductor de la curva
elptica.
80 CAP
IPTICA Y
2
= X
3
35X 98
Bibliografa
[Ba-Gu-Tr] P. Bayer, J. Gu`ardia, A. Travesa. El sue no de juventud de Kronecker, Notes
del Seminari de Teoria de Nombres (UB-UAB-UPC), Barcelona-La Rabida, 2005.
[Ca] J.W.S. Cassels. Lectures on elliptic curves, London Mathematical Society Student
Texts 24, Cambridge University Press, 1991.
[Ch] F. Chamizo. Seminario Avanzado. Teora de n umeros, Captulo 5, 2006.
[Da] H. Davenport. Multiplicative number theory, volume 74 of Graduate Texts in Mat-
hematics. Springer-Verlag, New York, third edition, 2000.
[Di-Sh] F. Diamond, J. Shurman. A rst course in modular forms, volume 228 of Gra-
duate Texts in Mathematics. Springer, New York, 2005.
[Ed] H.M. Edwards Riemanns Zeta Function. Academic Press, New York, 1974.
[Ga] C. F. Gauss. Disquisitiones Arithmeticae. Springer-Verlag, New York, 1986.
[Iw] H. Iwaniec. Topics in classical automorphic forms. Graduate Studies in Mathema-
tics, 17. American Mathematical Society, Providence, RI, 1997.
[Kn] A.W. Knapp. Elliptic curves, volume 40 of Mathematical Notes. Princeton Univer-
sity Press, Princeton, NJ, 1992.
[La] S. Lang. Elliptic functions, Springer-Verlag, 1987.
[Mi] J. S. Milne. Modular functions and modular forms, notes for Math 678, University
of Michigan, 1990.
[Mi2] J. S. Milne. Elliptic curves, notes for Math 679, University of Michigan, 1996.
[Se] J-P. Serre. A course in arithmetic. Graduate Texts in Mathematics, 7. Springer-
Verlag, New York-Heidelberg, 1973.
[Si] J. Silverman. The arithmetic of elliptic curves. Graduate Texts in Mathematics,
106. Springer-Verlag, 1986.
81

Formas Modulares y La Curva - Dulcinea Raboso

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Formas Modulares y La Curva - Dulcinea Raboso

Transféré par

Droits d'auteur :

Formats disponibles

(z). Un estudio detallado mostrar a c omo cualquier funcion elptica

entre dos toros complejos

es una aplicacion holomorfa entre dos toros com-

es un isomorsmo analtico entre dos toros complejos inducido por

. De forma an aloga, si C es tal

entonces induce un isomorsmo analtico entre los toros correspondientes.

son linealmente equivalentes si existe

son isomorfos si y solo si los retculos y

son linealmente equivalentes.

son equivalentes si y s olo si existe un C

esten ambos en H, y tomando la parte imaginaria en la expresion anterior llegamos

(z) puede ser calculado termino a termino.

(z) termino a termino. 2

(z) es una funci on elptica sobre de orden 3.

(z) es elptica sobre , la funcion (z + ) (z) con , es constante.

z) = f(c z) = f(c + z).

del mismo orden. Para

. Para los ceros entre

) de las funciones elpticas sobre el retculo es isomorfo al cuerpo

) es tambien isomorfo al cuerpo de las funciones meromorfas

parametrizan la curva de forma natural.

ITULO 2. FORMAS MODULARES

(z) = cz +d. Adem as, existe un entero n

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

, existe una base ortonormal B en la que la matriz de f es simetrica y por

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

ITULO 2. FORMAS MODULARES

d)(2a) Hla raz asociada a la forma cuadr atica

ITULO 2. FORMAS MODULARES

7)/2. Ser a en-

ITULO 2. FORMAS MODULARES

) [ N(x +y). Tomando Z

f(), de donde se puede calcular explcitamente

es cierta raz cuarta de la unidad, esto es, w

ITULO 2. FORMAS MODULARES

en viene dada por la formula

, pero este problema lo pode-

ITULO 2. FORMAS MODULARES

h) cuerpo cuadr atico (h < 0 entero libre de cuadrados), entonces

= Z. En cambio, las curvas normales

= Z[i] vendr a dado por a +bi aP +b(P) donde la

. Tal puede verse como una aplicaci on lineal en C, que induce

, estos automorsmos permutan las series j(

d), donde d = 1, 2, 3, 7, 11, 19, 43, 67, 163.

7)/2 que es el anillo de enteros de Q(

) Z[x] y es monico. Puesto

) = xj() llegando as al resultado.

7), la norma de se dene como

7], que es el grupo

7]P = O, es decir, [1 +2]P = O.

7] = O, P, 2P, 3P, 4P, 5P, 6P donde

7 (mod p), entonces la segunda coordenada quedara

7] se dene s(Q) como el signo que acompa na a