10.07.2015 Views

here - Sites personnels de TELECOM ParisTech - Télécom ParisTech

here - Sites personnels de TELECOM ParisTech - Télécom ParisTech

here - Sites personnels de TELECOM ParisTech - Télécom ParisTech

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3. Multiplication complexe et polynômes <strong>de</strong> classes 237<strong>de</strong>s endomorphismes <strong>de</strong> la courbe avec ceux du réseau : une multiplication complexe est lamultiplication par un nombre complexe non réel qui envoie le réseau dans lui-même. Un telendomorphisme existe si et seulement si le nombre τ du <strong>de</strong>mi-plan <strong>de</strong> Poincaré correspondant auréseau est quadratique. Un exemple <strong>de</strong> ce type <strong>de</strong> réseaux est donné dans la Figure 9Si τ est quadratique et appartient au corps quadratique imaginaire K, alors l’anneau <strong>de</strong>sendomorphismes <strong>de</strong> la courbe correspondante E = E τ est un ordre O dans K, i.e. un réseauqui est aussi un sous-anneau <strong>de</strong> l’anneau <strong>de</strong>s entiers O K <strong>de</strong> K. Notons Ell(O) l’ensemble <strong>de</strong>scourbes elliptiques complexes à multiplication complexe par O. À homothétie près, Λ τ est unO-idéal. Plus précisément, O est le plus grand ordre pour lequel cette propriété est vraie. Unidéal fractionnaire vérifiant cette propriété est dit propre. Pour un corps quadratique, être propreest équivalent à être inversible. En utilisant la structure <strong>de</strong> O-idéal <strong>de</strong> Λ τ une action <strong>de</strong> Prop(O)sur Ell(O) peut être définie <strong>de</strong> la façon suivante : pour a un idéal fractionnaire propre <strong>de</strong> O,définissons a ∗ Λ τ comme l’idéala ∗ Λ τ = a −1 Λ τ .Modulo l’action triviale <strong>de</strong>s idéaux fractionnaires principaux, cette action est propre et transitive.Proposition 3.2 ([245, Proposition II.1.2]). Soient K un corps quadratique imaginaire et O unordre dans K. Alors l’action du groupe <strong>de</strong> Picard Pic(O) sur Ell(O) est simple et transitive. Enparticulier, #Ell(O) = h(O) le nombre <strong>de</strong> classes <strong>de</strong> O.Définissons maintenant le polynôme <strong>de</strong> classes <strong>de</strong> Hilbert.Définition 3.3 (Polynôme <strong>de</strong> classes <strong>de</strong> Hilbert). Soient K un corps quadratique imaginaire etO un ordre dans K. Le polynôme <strong>de</strong> classes <strong>de</strong> Hilbert H O (X) <strong>de</strong> O estH O (X) =∏(X − j(E)) .E∈Ell(O)Il est possible <strong>de</strong> définir une autre action sur Ell(O). Si σ ∈ Aut(C) est un automorphisme <strong>de</strong>C, la courbe E σ associée à E par l’action <strong>de</strong> σ a également multiplication complexe par O etappartient donc a Ell(O). Les considérations précé<strong>de</strong>ntes montrent que l’ensemble {j(τ) σ } σ∈Aut(C)est fini et que H O (X) est à coefficients rationnels. Il est en réalité possible <strong>de</strong> montrer que j(E) estun entier algébrique quand E a multiplication complexe [245, Theorem II.6.1], [160, Theorem 5.2.4]et que H O (X) est donc à coefficients entiers.Il est possible <strong>de</strong> relier les <strong>de</strong>ux actions décrites ci-<strong>de</strong>ssus. Le groupe Pic(O) est un groupe <strong>de</strong>classes d’idéaux généralisé. Par le théorème d’existence [216, Theorem VI.6.1], [145, Theorem 2.2],il existe une extension abélienne <strong>de</strong> K, appelée corps <strong>de</strong> classes d’anneaux <strong>de</strong> O, telle queGal(H O /K) ≃ Pic(O) .Théorème 3.4 ([145, Theorem 3.16], [245, Theorem II.4.3], [160, Theorem 10.3.5]). Soient K uncorps quadratique imaginaire et O un ordre dans K. Soient σ ∈ Aut(C/K) et b un idéal propre<strong>de</strong> O dont le symbole d’Artin sur le corps <strong>de</strong> classes d’anneaux est σ. Soit a un idéal propre <strong>de</strong> O.Alorsj(a) σ = j(b ∗ a) .En particulier, K(j(E)) est le corps <strong>de</strong> classes d’anneaux <strong>de</strong> O et [K(j(E)) : K] = [Q(j(E)) :Q] = h(O). Enfin, le théorème principal <strong>de</strong> la multiplication complexe se déduit assez aisémentdu théorème précé<strong>de</strong>nt et décrit l’action <strong>de</strong> σ sur les points <strong>de</strong> torsion <strong>de</strong> E.La construction du polynôme <strong>de</strong> classes <strong>de</strong> Hilbert est décrite dans l’Algorithme 1. Laconnaissance du polynôme <strong>de</strong> Hilbert d’un ordre permet <strong>de</strong> construire, par réduction, <strong>de</strong>s courbes

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!