Multiplication complexe
Un article de Wikipédia, l'encyclopédie libre.
- Cet article concerne certains anneaux d'endomorphismes. Pour plus d'information sur la multiplication des nombres complexes, voir nombres complexes.
En mathématiques, la multiplication complexe est la théorie des courbes elliptiques E qui ont un anneau d'endomorphisme plus grand que les entiers; et aussi la théorie dans les dimensions élevées de variétés abéliennes A ayant suffisamment d'endomorphismes dans un certain sens précis (cela signifie grossièrement que l'action sur l'espace tangent pour l'élément identité de A est une somme directe de modules à une dimension). David Hilbert est dit avoir remarqué que la théorie constitue la "partie la plus belle des mathématiques".
Sommaire |
[modifier] Exemple
Un exemple d'une courbe elliptique avec une multiplication complexe est
où est l'anneau des entiers de Gauss, et
est n'importe quel nombre complexe différent de zéro. Tout tore complexe de la sorte possède des entiers de Gauss comme anneau d'endomorphisme. Il est connu que les courbes correspondantes peuvent toutes être écrites sous la forme
,
ayant un automorphisme d'ordre 4, envoyant
,
sur la droite avec l'action de i sur les fonctions elliptiques de Weierstrass.
Ceci est un exemple typique d'une courbe elliptique avec multiplication complexe. Sur le corps des nombres complexes, de telles courbes sont toutes trouvées comme des quotients
- plan complexe/réseau de périodes
dans lequel certains ordre dans l'anneau des entiers dans un corps quadratique imaginaire prend la place des entiers de Gauss.
[modifier] Théorie abstraite d'endomorphismes
Lorsque le corps de base est un corps fini, toute courbe elliptique admet des endormorphismes non triviaux ; la multiplication complexe est dans un sens typique (et la terminologie n'est pas souvent utilisée). En revanche, lorsque le corps de base est un corps de nombres, la multiplication complexe est un cas exceptionnel. Il est connu que, dans un cas général, le cas de multiplication complexe est le plus difficile à résoudre pour la conjecture de Hodge.
[modifier] Kronecker et les extensions abéliennes
Kronecker postula le premier que les valeurs des fonctions elliptiques aux points de torsion devraient être suffisants pour engendrer toutes les extensions abéliennes pour des corps quadratiques imaginaires, une idée qui remontait à Eisenstein dans certains cas, et même à Gauss. Ceci devint connu comme le Kronecker Jugendtraum ; et ce fut certainement ce qui incita Hilbert à formuler la remarque ci-dessus, puisque cela permet de rendre explicite la théorie des corps de classes, de la même façon que les racines de l'unité le font pour les extensions abéliennes du corps des nombres rationnels. Beaucoup de généralisations ont été cherchées des idées de Kronecker ; cependant, elles se trouvent de manière légèrement oblique avec le courant principal de la philosophie de Langlands, et il n'existe pas de résultat définitif actuellement connus.
[modifier] Conséquence sur un échantillon
Ce n'est pas par hasard si
ou de manière équivalente,
est si proche d'un entier. Ce fait remarquable est expliqué par la théorie de la multiplication complexe, associé à une certaine connaissance des formes modulaires, et le fait que
est un anneau factoriel. (Ici, puisque
. En général,
est l'ensemble de toutes les expressions polynômiales en
à coefficients dans S, qui est le plus petit anneau contenant
et S.)
[modifier] Voir aussi
- Variété abélienne de type CM, de dimensions élevées
- Groupe formel de Lubin-Tate, corps local
- Module de Drinfel'd, cas du corps de fonction