Processing math: 100%

26 votos

Deligne, curvas elípticas y formas modulares

Estoy tratando de entender un argumento de Deligne (en Courbes elliptiques: Formulaire d'après J. Tate), pero no estoy lo suficientemente familiarizado con la geometría algebraica, así que estoy bastante confundido. Así que incluso en mi estado de cuenta me podría decir cosas que no tienen ningún sentido, por favor me corrigen si es así.

Una curva elíptica es un buen adecuada de morfismos p:E S de los planes, de tal manera que la geometría de las fibras están conectados curvas de género 1, junto con una sección e:SE. La gavilla de los diferenciales de ΩE/S puede ser empujado hacia adelante para obtener una gavilla de ωE/S=pΩE/S en S.

A continuación, se muestra cómo la E puede ser embebido en el espacio proyectivo de P2S, en la no-homogénea coordenadas: ()espacioespacioespacioespacioy2+a1xy+a3y=x3+a2x2+a4x+a6.

Más tarde, él define las formas modulares de peso n como si fuera una ley que asocia a cada curva elíptica E S como en el anterior, una sección de ωnE/S en una manera que es compatible con el cambio de base. Lo siguiente que dice: la aplicación de la definición de la ecuación anterior (*), podemos ver que cualquier forma modular de peso n es un polinomio de grado n en la ais'. He de ver cómo eso podría tener sentido, pero agradecería si alguien podría explicar un poco más a mí cómo explícitamente derivar a esa conclusión (que son polinomios en el ai's). Gracias de antemano!

Edit: pregunta extra: para un esquema general S, ¿qué hacen los ai's decir? si S=Spec(R), espero que sean los elementos de R, pero ¿qué son en el caso de un más complicado plan?

15voto

YequalsX Puntos 320

Deje que Δ denotar el discriminante de la cúbico de la curva dada por la fórmula (). (Este es un poco complicado de expresión en el ais que no voy a escribir aquí; pero déjame que me tenga en cuenta que hay estándar de las expresiones de c4 y c6 que son ciertos polinomios en el ais, tales que 1728Δ=c34c26.) La fórmula () a continuación se define una curva elíptica sobre S:=Spec Z[a1,a2,a3,a4,a6,Δ1]. También la invertible gavilla ω más de S adjunta a esta curva elíptica es canónicamente trivializado, porque se admite la sección global de dx/(2y+a1x+a3)=dy/(3x2+2a2x+a4a1y).

Por lo tanto, cualquier forma modular de peso n, cuando se evalúan en (), da lugar a una sección global de OS, es decir, un elemento de Z[a1,,a6,Δ1].

Además, como Deligne muestra y como usted señaló, dado cualquier ellptic curva de E sobre cualquier base S, podemos cubrir S por abrir conjuntos de U tales que E|U es la pull-back de () a través de un mapa de U§. Por lo tanto el valor de la forma modular en E es determinado por su valor en ().

En resumen, cualquier forma modular está determinado por dar un cierto elemento de Z[a1,,a6,Δ1].


Tenga en cuenta que no todos los elementos de este anillo es en realidad una forma modular, porque los mapas de U§ discutido anteriormente no son los únicos. Por lo tanto las formas modulares son aquellos elementos de Z[a1,,a6,Δ1] que son invariantes bajo la automorfismos de este anillo, que son inducidas por el "cambio de Weierstrass ecuación". Deligne se explica esto, y concluye que el anillo de las formas modulares es exactamente Z[c4,c6,Δ±1]. (También hay una cuestión de holomorphicity de las cúspides de la que estoy ignorando aquí; probablemente Deligne direcciones permitiendo ciertas singular curvas así, y por lo tanto el trabajo de más de Z[a1,,a6] en vez de Z[a1,,a6,Δ1]. Esto le dará la respuesta correcta de Z[c4,c6,Δ], es decir, no permitir que Δ1 como las formas modulares, ya que mientras este está bien definido en true curvas elípticas, no está bien definido en singular cúbicos curvas.)


Tenga en cuenta que también se puede reemplazar Z por otro anillo R, y restringir la atención a los R-planes, y por lo tanto definir el anillo de las formas modulares de más de R. E. g. si usted toma R=F2, se obtiene el anillo de las formas modulares mod 2. Usted puede comprobar, el uso de Deligne del formlas, que a1 es en la variante en virtud del cambio de la ecuación de Weierstrass en char. 2, y por lo tanto define un formato modular mod 2, la llamada de la Naturaleza invariante.

Del mismo modo, se puede comprobar que b2 es un bien definido de forma modular mod 3 (pero sólo mod 3). Este es el mod 3 Hasse invariante.

Estos son buenos ejemplos para pensar, para practicar el uso de Deligne (en realidad Tate) fórmulas para el cambio de Weierstrass ecuación para definir las formas modulares.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X