Soit E une courbe elliptique sur C ayant multiplication complexe (CM) par l’ordre maximal OK d’un corps quadratique imaginaire K. Le premier théorème principal de la multiplication complexe affirme que le corps K(j(E)), obtenu en adjoignant à K le j-invariant de E, est égal au corps de classes de Hilbert de K, confer Cox [11, Theorem 11.1]. Notons que lorsque E est définie sur Q, le corps de classes de Hilbert K(j(E)) est égal à K et le groupe des classes ClK est trivial. Se pose alors le problème de déterminer les corps quadratiques totalement imaginaires K pour lesquels la courbe elliptique à multiplication complexe par OK correspondante est définie sur Q. De façon équivalente, il s’agit de trouver tous les corps quadratiques imaginaires dont le groupe des classes est trivial. Ce problème est connu sous le nom de problème du nombre de classes 1 de Gauss et a été résolu par Heegner en 1952 [16], Baker en 1967 [2] et Stark en 1967 [41]; les corps quadratiques imaginaires dont le groupe des classes est trivial sont les corps Q(racine carrée−d), où d e {3, 4, 7, 8, 11, 19, 43, 67, 163}. Dans les années ’50, Shimura et Taniyama [39] ont généralisé le premier théorème principal de la multiplication complexe aux variétés abéliennes. On dit qu’une variété abélienne A de dimension g a multiplication complexe si son anneau d’endomorphismes contient un ordre d’un corps CM de degré 2g. Soit K un corps CM de degré 2g et d’ordre maximal OK et soit un type CM de K. Soit A une variété abélienne complexe simplement polarisée de dimension g ayant multiplication complexe par OK. Le premier théorème principal de la multiplication complexe dans ce cadre affirme que le corps de classes H du corps du modules M de la variété abélienne simplement polarisée A est une extension non ramifiée du corps reflex Kr de K. De plus, le corps des classes H correspond au groupe d’idéaux I0(.r) (voir page 17) qui ne dépend que de (K,.), confer Théorème 1.5.6. Notons que le premier théorème de la multiplication complexe implique que si la variété abélienne polarisée A est définie sur Kr, le groupe des classes CM IKr/I0(.r) est trivial. Comme dans le cas des courbes elliptiques, on peut alors chercher à déterminer les couples CM (K,.) pour lesquels les variétés abéliennes correspondantes sont définies sur Kr. De fa¸con équivalente, il s’agit de déterminer les couples CM (K,.) dont le groupe des classes CM, IKr/I0(.r), est trivial. Dans cette thèse, on résout ce problème dans le cas des corps CM quartiques imaginaires (voir Chapitre 2) ainsi que dans celui des corps CM sextiques contenant un corps quadratique imaginaire (voir Chapitre 3). Enfin, on peut se demander quels sont les corps CM pour lesquels la variété abélienne simple à multiplication complexe admet Q comme corps de module. Murabayashi et Umegaki [31] ont déterminé les corps quartiques CM correspondant aux surfaces abéliennes simples à multiplication complexe de corps du module Q. Dans le chapitre 4, on détermine les corps CM sextiques correspondant aux variétés abéliennes simples à multiplication complexe de dimension 3 de corps du module Q. / Let E be an elliptic curve over C with complex multiplication (CM) by the maximal order OK of an imaginary quadratic field K. The first main theorem of complex multiplication for elliptic curves then states that the field extension K(j(E)), obtained by adjoining the j-invariant of E to K, is equal to the Hilbert class field of K, see Theorem 11.1 in Cox [11]. Note that if E is defined over Q, then the Hilbert class field K(j(E)) is equal to K, which implies that the class group ClK is trivial. We can ask for which imaginary quadratic fields K the corresponding elliptic curve with CM by OK is defined over Q. This is equivalent to asking to find all imaginary quadratic fields with trivial class group ClK. This problem is known as Gauss’ class number one problem, which was solved by Heegner in 1952 [16], Baker in 1967 [2], and Stark in 1967 [41]. The imaginary quadratic fields with trivial class group are the fields Q(V−d) with d E {3, 4, 7, 8, 11, 19, 43, 67, 163}. In the 1950’s, Shimura and Taniyama [39] generalized the first main theorem of CM for elliptic curves to abelian varieties. We say that an abelian variety A of dimension g has CM if the endomorphism ring of A contains an order of a CM field of degree 2g. Let K be a CM field of degree 2g with maximal order OK, and let K be a CM type of K. Let A be a polarized simple abelian variety over C of dimension g that has CM by OK. Then the first main theorem of CM says that the field of moduli M of the polarized simple abelian variety A gives an unramified class field H over the reflex field Kr of K. Moreover, the class field H corresponds to the ideal group I0(?r) (see page 17), which only depends on (K,?), see Theorem 1.5.6. Note that the first main theorem of CM implies that if the polarized abelian variety A is defined over Kr, then the CM class group IKr/I0(?r) is trivial. As in the elliptic curve case, we can ask for which CM pairs (K,?) the corresponding CM abelian varieties are defined over Kr. Equivalently, we can ask for which CM pairs (K,?) the CM class group IKr/I0(?r) is trivial. In this thesis we give an answer to this problem for quartic CM fields (see Chapter 2), and for sextic CM fields containing an imaginary quadratic field (see Chapter 3). Furthermore, we can ask for which CM fields the corresponding simple CM abelian varieties have field of moduli Q. Murabayashi and Umegak [31] determined the quartic CM fields that correspond to a simple CM abelian surface with field of moduli Q. In Chapter 4, we determine the sextic CM fields that correspond to a simple CM abelian threefold with field of moduli Q.
| Identifer | oai:union.ndltd.org:theses.fr/2016BORD0046 |
| Date | 05 July 2016 |
| Creators | Kilicer, Pinar |
| Contributors | Bordeaux, Universiteit Leiden (Leyde, Pays-Bas), Enge, Andreas, Streng, Marco |
| Source Sets | Dépôt national des thèses électroniques françaises |
| Language | English |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation, Text |
Page generated in 0.002 seconds