Multiplicación compleja

Una curva elíptica sobre los números complejos se obtiene como un cociente del plano complejo mediante una retícula Λ, aquí abarcada por dos períodos fundamentales ω₁ and ω₂. También se muestra la cuatro-torsión, correspondiente a la retícula 1/4 Λ conteniendo Λ.

Considérese un campo cuadrático imaginario ${\displaystyle K=\mathbb {Q} ({\sqrt {-d}})\ ,d\in \mathbb {Z} ,d>0}$. Se dice que una función elíptica ${\displaystyle f}$ posee multiplicación compleja si existe una relación algebraica entre ${\displaystyle f(z)}$ y ${\displaystyle f(\lambda z)}$ para todos los ${\displaystyle \lambda }$ en ${\displaystyle K}$.

A la inversa, Kronecker conjeturó (en lo que se conoció como Kronecker Jugendtraum; literalmente, "sueño juvenil de Kronecker") que toda extensión abeliana de ${\displaystyle K}$ podría obtenerse mediante la (raíces de la) ecuación de una curva elíptica adecuada con multiplicación compleja. A día de hoy, este sigue siendo uno de los pocos casos del duodécimo problema de Hilbert que se ha resuelto.

Un ejemplo de una curva elíptica con multiplicación compleja es

${\displaystyle \mathbb {C} /(\theta \mathbb {Z} [i])\ \ \;}$

donde Z [i] es el anillo entero gaussiano, y θ es cualquier número complejo distinto de cero. Cualquier toro complejo tiene los enteros gaussianos como anillo de endomorfismo. Se sabe que las curvas correspondientes se pueden escribir como

${\displaystyle Y^{2}=4X^{3}-aX\ \,}$

para algunos ${\displaystyle a\in \mathbb {C} }$, que demostrablemente tiene dos automorfismos conjugados de orden 4 que envían

${\displaystyle Y\rightarrow \pm iY,\ \ \ \ X\rightarrow -X}$

en línea con la acción de i en las funciones elípticas de Weierstrass.

Más en general, considérese la retícula L, un grupo aditivo en el plano complejo, generado por ${\displaystyle \omega _{1},\omega _{2}}$. A continuación se define la función de Weierstrass de la variable ${\displaystyle z}$ en ${\displaystyle \mathbb {C} }$ de la siguiente manera:

${\displaystyle \wp (z;L)=\wp (z;\omega _{1},\omega _{2})={\frac {1}{z^{2}}}+\sum _{n^{2}+m^{2}\neq 0}\left\{{\frac {1}{(z+m\omega _{1}+n\omega _{2})^{2}}}-{\frac {1}{\left(m\omega _{1}+n\omega _{2}\right)^{2}}}\right\}}$

donde

${\displaystyle g_{2}=60\sum _{(m,n)\neq (0,0)}(m\omega _{1}+n\omega _{2})^{-4}}$

${\displaystyle g_{3}=140\sum _{(m,n)\neq (0,0)}(m\omega _{1}+n\omega _{2})^{-6}.}$

Sea ${\displaystyle \wp '}$ la derivada de ${\displaystyle \wp }$. Entonces se obtiene un isomorfismo:

${\displaystyle w\mapsto (\wp (w):\wp '(w):1)\in \mathbb {P} ^{2}(\mathbb {C} )}$

a través de la correspondencia uno a uno entre el grupo de toros complejos ${\displaystyle \mathbb {C} /L}$ y la curva elíptica proyectiva expresada en coordenadas homogéneas

${\displaystyle E=\left\{(x:y:z)\in \mathbb {C} ^{3}\mid y^{2}z=4x^{3}-g_{2}xz^{2}-g_{3}z^{3}\;\right\}}$

y donde el punto en el infinito, el elemento cero de la ley de grupo de la curva elíptica, se toma por convención como ${\displaystyle (0:1:0)}$. Si la retícula que define la curva elíptica se conserva realmente en la multiplicación por (posiblemente por un subanillo propio de) el anillo de enteros ${\displaystyle {\mathfrak {o}}_{K}}$ de ${\displaystyle K}$, entonces el anillo de automorfismos analíticos de ${\displaystyle E=\mathbb {C} /L}$ resulta ser isomorfo a este (sub)anillo.

Si se reescribe ${\displaystyle \tau =\omega _{1}/\omega _{2}}$ donde ${\displaystyle \operatorname {Im} \tau >0}$ y ${\displaystyle \Delta (L)=g_{2}(L)^{3}-27g_{3}(L)^{3}}$, entonces

${\displaystyle j(\tau )=j(E)=j(L)=2^{6}3^{3}g_{2}(L)^{3}/\Delta (L)}$

Esto significa que el j-invariante de ${\displaystyle E}$ es un número algebraico (ubicado en ${\displaystyle K}$) si ${\displaystyle E}$ posee una multiplicación compleja.

El anillo de endomorfismos de una curva elíptica puede ser de una de las tres formas siguientes: los enteros Z; un orden en un cuerpo cuadrático; o un orden en un álgebra de cuaterniones definida sobre Q.[2]

Cuando el campo de definición es un cuerpo finito, siempre existen endomorfismos no triviales de una curva elíptica, provenientes del endomorfismo de Frobenius, por lo que el caso de multiplicación compleja es en cierto sentido típica (y la terminología no se aplica a menudo). Pero cuando el campo base es un campo numérico, la multiplicación compleja es la excepción. Se sabe que, en un sentido general, el caso de la multiplicación compleja es el más difícil de resolver para la conjetura de Hodge.

Kronecker primero postuló que los valores de función elíptica en los puntos de torsión deberían ser suficientes para generar todas las extensiones abelianas para campos cuadráticos imaginarios, una idea que se remonta a Eisenstein en algunos casos, e incluso a Gauss. Esto se conoció como el Kronecker Jugendtraum; y fue ciertamente lo que motivó el comentario de Hilbert anterior, ya que hace explícita la teoría de cuerpos de clases en la forma en la que las raíces de la unidad lo hacen para las extensiones abelianas del campo de los números racionales, a través de la ley de reciprocidad de Shimura.

De hecho, sea K un campo cuadrático imaginario con un campo de clase H. Sea E una curva elíptica con multiplicación compleja por los enteros de K, definida sobre H. Entonces, la máxima extensión abeliana de K es generada por las coordenadas x de los puntos de orden finito en algún modelo de Weierstrass para E sobre H.[3]

Se han buscado muchas generalizaciones de las ideas de Kronecker. Sin embargo, se sitúan un tanto oblicuamente con respecto al impulso principal de la filosofía de Langlands, y no hay ninguna declaración definitiva conocida actualmente.

No es casualidad que

${\displaystyle e^{\pi {\sqrt {163}}}=262537412640768743.99999999999925007\dots \,}$

o de forma equivalente, que

${\displaystyle e^{\pi {\sqrt {163}}}=640320^{3}+743.99999999999925007\dots \,}$

esté tan cerca de un entero. Este hecho notable se explica por la teoría de la multiplicación compleja, junto con algunos conocimientos de formas modulares, y por el hecho de que

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \mathbf{Z}\left[ \frac{1+\sqrt{-163}}{2}\right]}

es un dominio de factorización única.

Aquí ${\displaystyle (1+{\sqrt {-163}})/2}$ satisface a α² = α − 41. En general, S [α] denota el conjunto de todas las expresiones polinomiales en α con coeficientes en S, que es el anillo más pequeño que contiene a α y a S. Debido a que α satisface esta ecuación cuadrática, los polinomios requeridos pueden limitarse al grado uno.

Alternativamente,

${\displaystyle e^{\pi {\sqrt {163}}}=12^{3}(231^{2}-1)^{3}+743.99999999999925007\dots \,}$

exhibe una estructura interna debida a ciertas series de Eisenstein y con expresiones simples similares para los otros números de Heegner.

Los puntos del semiplano superior τ que corresponden a las relaciones de período de las curvas elípticas sobre los números complejos con multiplicación compleja son precisamente los números cuadráticos imaginarios.[4] Las invariantes modulares correspondientes j(τ) son los módulos singulares, proveniente de una terminología anterior en la que "singular" se refería a la propiedad de tener endomorfismos no triviales en lugar de referirse a una curva singular.[5]

La forma modular j(τ) es algebraica en números cuadráticos imaginarios τ:[6] estos son los únicos números algebraicos en el semiplano superior para los cuales j es algebraico.[7]

Si Λ es una retícula con una relación de periodos τ, entonces se escribe j(Λ) para j(τ). Si además Λ es un a ideal en el anillo de enteros O_K de un campo imaginario cuadrático K, entonces se escribe j(a) para el correspondiente módulo singular. Los valores j(a) son entonces enteros algebraicos reales, y generan el campo de clase de Hilbert H de K: el grado de la extensión de campo [H: K] = h es el número de clase de K y H/K es una extensión de Galois con un grupo de Galois isomorfo al grupo de clases de ideales de K. El grupo de clase actúa sobre los valores j (a) mediante [b]: j (a) → j(ab).

En particular, si K tiene el número de clase uno, entonces j(a) = j(O) es un número entero racional: por ejemplo, j (Z[i]) = j(i) = 1728.

• Variedad abeliana de tipo MC, dimensiones superiores
• Carácter de Hecke algebraico
• Punto de Heegner
• Duodécimo problema de Hilbert
• Grupo formal de Lubin-Tate, campos locales
• Drinfeld shtuka, caso de campo de funciones global

• Borel, A.; Chowla, S.; Herz, C. S.; Iwasawa, K.; Serre, J.-P. Seminar on complex multiplication. Seminar held at the Institute for Advanced Study, Princeton, N.J., 1957-58. Lecture Notes in Mathematics, No. 21 Springer-Verlag, Berlin-New York, 1966
• Husemöller, Dale H. (1987). Elliptic curves. Graduate Texts in Mathematics 111. With an appendix by Ruth Lawrence. Springer-Verlag. ISBN 0-387-96371-5. Zbl 0605.14032.
• Lang, Serge (1983). Complex multiplication. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 255. New York: Springer-Verlag. ISBN 0-387-90786-6. Zbl 0536.14029.
• Serre, J.-P. (1967). «XIII. Complex multiplication». En Cassels, J.W.S.; Fröhlich, Albrecht, eds. Algebraic Number Theory. Academic Press. pp. 292-296.
• Shimura, Goro (1971). Introduction to the arithmetic theory of automorphic functions. Publications of the Mathematical Society of Japan 11. Tokyo: Iwanami Shoten. Zbl 0221.10029.
• Shimura, Goro (1998). Abelian varieties with complex multiplication and modular functions. Princeton Mathematical Series 46. Princeton, NJ: Princeton University Press. ISBN 0-691-01656-9. Zbl 0908.11023.
• Silverman, Joseph H. (1986). The Arithmetic of Elliptic Curves. Graduate Texts in Mathematics 106. Springer-Verlag. ISBN 0-387-96203-4. Zbl 0585.14026.
• Silverman, Joseph H. (1994). Advanced Topics in the Arithmetic of Elliptic Curves. Graduate Texts in Mathematics 151. Springer-Verlag. ISBN 0-387-94328-5. Zbl 0911.14015.

• Multiplicación compleja Archivado el 9 de mayo de 2010 en Wayback Machine. de PlanetMath.org
• Ejemplos de curvas elípticas con multiplicación compleja Archivado el 9 de mayo de 2010 en Wayback Machine. de PlanetMath.org
• Ribet, Kenneth A. (October 1995). «Galois Representations and Modular Forms». Bulletin of the American Mathematical Society 32 (4): 375-402. arXiv:math/9503219. doi:10.1090/s0273-0979-1995-00616-6. «10.1.1.125.6114 ».