Multiplicação complexa
Na matemática, a multiplicação complexa (MC) é a teoria das curvas elípticas que possuem um anel de endomorfismos maior do que os inteiros.[1] Dito de outra forma, ela contém a teoria das funções elípticas com simetrias extras, tais como as que são visíveis quando o reticulado de períodos é o reticulado dos inteiros gaussianos ou dos inteiros de Eisenstein.
Ela possui um aspecto pertencente à teoria das funções especiais, porque tais funções elípticas, ou funções abelianas de várias variáveis complexas, são então funções 'muito especiais' que satisfazem identidades extras e assumem valores especiais explicitamente calculáveis em pontos particulares. Também se revelou um tema central na teoria algébrica dos números, permitindo que algumas características da teoria dos corpos ciclotômicos fossem transferidas para áreas mais amplas de aplicação. Diz-se que David Hilbert observou que a teoria da multiplicação complexa de curvas elípticas não era apenas a parte mais bela da matemática, mas de toda a ciência.[2]
Existe também a teoria da multiplicação complexa de dimensão superior de variedades abelianas que têm endomorfismos suficientes em um sentido preciso, grosso modo, que a ação no espaço tangente no elemento identidade de é uma soma direta de módulos unidimensionais.
Exemplo da extensão de corpo quadrático imaginário

Considere um corpo quadrático imaginário . Diz-se que uma função elíptica possui multiplicação complexa se existe uma relação algébrica entre e para todo em .
Inversamente, Kronecker conjecturou – no que ficou conhecido como o Kronecker Jugendtraum (Sonho de Juventude de Kronecker) – que toda extensão abeliana de poderia ser obtida pelas (raízes da) equação de uma curva elíptica adequada com multiplicação complexa. Até hoje, este continua a ser um dos poucos casos do décimo segundo problema de Hilbert que foi de fato resolvido.
Um exemplo de uma curva elíptica com multiplicação complexa é
onde é o anel dos inteiros gaussianos, e é qualquer número complexo não nulo. Qualquer toro complexo como este possui os inteiros gaussianos como anel de endomorfismos. Sabe-se que as curvas correspondentes podem todas ser escritas como
para algum , a qual demonstravelmente possui dois automorfismos conjugados de ordem 4 enviando
em conformidade com a ação de nas funções elípticas de Weierstrass.
De forma mais geral, considere o reticulado , um grupo aditivo no plano complexo, gerado por . Então definimos a função de Weierstrass da variável em da seguinte forma:
e
Seja a derivada de . Então obtemos um isomorfismo de grupos de Lie complexos:
do grupo do toro complexo para a curva elíptica projetiva definida em coordenadas homogêneas por
e onde o ponto no infinito, o elemento zero da lei de grupo da curva elíptica, é por convenção tomado como . Se o reticulado que define a curva elíptica for de fato preservado sob a multiplicação por (possivelmente um subanel próprio de) o anel de inteiros de , então o anel de automorfismos analíticos de acaba sendo isomorfo a este (sub)anel.
Se reescrevermos onde e , então
Isso significa que o invariante j de é um número algébrico – contido em – se possui multiplicação complexa.
Teoria abstrata de endomorfismos
O anel de endomorfismos de uma curva elíptica pode ter uma de três formas: os inteiros ; uma ordem em um corpo de números quadráticos imaginários; ou uma ordem em uma álgebra de quatérnios definida sobre .[3]
Quando o corpo de definição é um corpo finito, sempre existem endomorfismos não triviais de uma curva elíptica, provenientes do mapeamento de Frobenius, portanto, toda curva desse tipo possui multiplicação complexa (e a terminologia não é frequentemente aplicada neste contexto). Mas quando o corpo base é um corpo de números, a multiplicação complexa é a exceção. Sabe-se que, em um sentido geral, o caso da multiplicação complexa é o mais difícil de resolver para a Conjectura de Hodge.
Kronecker e extensões abelianas
Kronecker postulou primeiro que os valores das funções elípticas em pontos de torção deveriam ser suficientes para gerar todas as extensões abelianas para corpos quadráticos imaginários, uma ideia que remontava a Eisenstein em alguns casos, e até mesmo a Gauss. Isto ficou conhecido como o Kronecker Jugendtraum; e foi certamente o que motivou a observação de Hilbert acima, já que torna explícita a teoria de corpos de classes da mesma forma que as raízes da unidade o fazem para extensões abelianas do corpo dos números racionais, através da Lei de reciprocidade de Shimura.
De fato, seja um corpo quadrático imaginário com corpo de classes . Seja uma curva elíptica com multiplicação complexa pelos inteiros de , definida sobre . Então a extensão abeliana máxima de é gerada pelas coordenadas dos pontos de ordem finita em algum modelo de Weierstrass para sobre .[4]
Muitas generalizações foram procuradas para as ideias de Kronecker; no entanto, elas situam-se de forma um tanto oblíqua em relação ao impulso principal do programa de Langlands, e não existe uma declaração definitiva conhecida atualmente.
Consequência de exemplo
Não é por acaso que a Constante de Ramanujan, o número transcendente[5]
ou de forma equivalente,
é um quase inteiro, no sentido de que está muito próximo de um inteiro.[6] Este fato notável é explicado pela teoria da multiplicação complexa, juntamente com algum conhecimento de formas modulares, e o fato de que
é um domínio de fatoração única.
Aqui, satisfaz . Em geral, denota o conjunto de todas as expressões polinomiais em com coeficientes em , que é o menor anel contendo e . Como satisfaz essa equação quadrática, os polinômios necessários podem ser limitados ao grau um.
Alternativamente,
uma estrutura interna devido a certas séries de Eisenstein, e com expressões simples semelhantes para os outros números de Heegner.
Módulos singulares
Os pontos do semiplano superior que correspondem às razões de períodos de curvas elípticas sobre os números complexos com multiplicação complexa são precisamente os números quadráticos imaginários.[7] Os invariantes modulares correspondentes são os módulos singulares, provenientes de uma terminologia mais antiga em que "singular" referia-se à propriedade de ter endomorfismos não triviais, em vez de se referir a uma curva singular.[8]
A função modular é algébrica nos números quadráticos imaginários :[9] estes são os únicos números algébricos no semiplano superior para os quais é algébrico.[10]
Se é um reticulado com razão de período , então escrevemos para . Se, além disso, for um ideal no anel de inteiros de um corpo quadrático imaginário , então escrevemos para o módulo singular correspondente. Os valores são então inteiros algébricos reais, e geram o corpo de classes de Hilbert de : o grau da extensão de corpos é o número de classes de e a extensão é uma extensão de Galois com grupo de Galois isomorfo ao grupo de classes de ideais de . O grupo de classes age nos valores por .
Em particular, se tem número de classe um, então é um inteiro racional: por exemplo, .
Ver também
- Caráter de Hecke algébrico
- Ponto de Heegner
- Décimo segundo problema de Hilbert
- Grupo formal de Lubin-Tate, corpos locais
- Shtuka de Drinfeld, caso de corpo de funções global
- Demonstração do Último Teorema de Fermat por Wiles
Referências
- ↑ Silverman 2009, p. 69, Remark 4.3.
- ↑ Citação:
- ↑ Silverman 1986, p. 102.
- ↑ Serre 1967, p. 295.
- ↑ Weisstein, Eric W. «Transcendental Number». MathWorld (em inglês) fornece , baseado em Nesterenko, Yu. V. "On Algebraic Independence of the Components of Solutions of a System of Linear Differential Equations." Izv. Akad. Nauk SSSR, Ser. Mat. 38, 495–512, 1974. Tradução para o inglês em Math. USSR 8, 501–518, 1974.
- ↑ Ramanujan Constant – do Wolfram MathWorld
- ↑ Silverman 1986, p. 339.
- ↑ Silverman 1994, p. 104.
- ↑ Serre 1967, p. 293.
- ↑ Baker, Alan (1975). Transcendental Number Theory. [S.l.]: Cambridge University Press. p. 56. ISBN 0-521-20461-5. Zbl 0297.10013
Bibliografia
- Borel, A.; Chowla, S.; Herz, C. S.; Iwasawa, K.; Serre, J.-P. Seminar on complex multiplication. Seminário realizado no 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. Col: Graduate Texts in Mathematics. 111. [S.l.]: Springer-Verlag. ISBN 0-387-96371-5. Zbl 0605.14032 Parâmetro desconhecido
|outrem=ignorado (ajuda) - Lang, Serge (1983). Complex multiplication. Col: Grundlehren der Mathematischen Wissenschaften [Princípios Fundamentais das Ciências Matemáticas]. 255. New York: Springer-Verlag. ISBN 0-387-90786-6. Zbl 0536.14029
- Serre, J.-P. (1967). «XIII. Complex multiplication». In: Cassels, J.W.S.; Fröhlich, Albrecht. Algebraic Number Theory. [S.l.]: Academic Press. pp. 292–296
- Shimura, Goro (1971). Introduction to the arithmetic theory of automorphic functions. Col: 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. Col: 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. Col: Graduate Texts in Mathematics. 106. [S.l.]: Springer-Verlag. ISBN 0-387-96203-4. Zbl 0585.14026
- Silverman, Joseph H. (2009). The Arithmetic of Elliptic Curves. Col: Graduate Texts in Mathematics. 106 2ª ed. [S.l.]: Springer Science. ISBN 978-0-387-09493-9. doi:10.1007/978-0-387-09494-6
- Silverman, Joseph H. (1994). Advanced Topics in the Arithmetic of Elliptic Curves. Col: Graduate Texts in Mathematics. 151. [S.l.]: Springer-Verlag. ISBN 0-387-94328-5. Zbl 0911.14015
Ligações externas
- Multiplicação complexa do PlanetMath.org
- Exemplos de curvas elípticas com multiplicação complexa do PlanetMath.org
- Ribet, Kenneth A. (outubro de 1995). «Galois Representations and Modular Forms». Bulletin of the American Mathematical Society. 32 (4): 375–402. CiteSeerX 10.1.1.125.6114
. arXiv:math/9503219
. doi:10.1090/s0273-0979-1995-00616-6