Accueil🇫🇷Chercher

Conducteur (théorie du corps de classes)

En théorie algébrique des nombres, le conducteur d'une extension abélienne finie de corps locaux ou globaux fournit une mesure quantitative de la ramification dans l'extension. La définition du conducteur est liée à la réciprocité d'Artin.

Conducteur local

Soit L/K une extension abélienne finie de corps locaux non-archimédiens. Le conducteur de L/K, noté , est le plus petit entier non négatif n tel que le groupe unitaire supérieur

est contenu dans NL/K(L×), où NL/K est la norme et est l'idéal maximal de K[1]. De manière équivalente, n est le plus petit entier tel que le morphisme d'Artin locale soit triviale sur . Parfois, le conducteur est défini comme n est comme ci-dessus[2].

Le conducteur d'une extension mesure la ramification. Qualitativement, l'extension est non-ramifiée si, et seulement si, le conducteur est nul[3], et elle est modérément ramifiée si, et seulement si, le conducteur est 1[4]. Plus précisément, le conducteur calcule la non-trivialité des groupes de ramification supérieure : si s est le plus grand entier pour lequel le groupe de ramification supérieure Gs est non trivial, alors [5].

Le conducteur de L/K est également lié aux conducteurs d'Artin de caractères du groupe de Galois Gal(L/K). Plus précisément[6],

où χ varie sur tous les caractères complexes de Gal(L/K), est le conducteur d'Artin de χ, et ppcm est le plus petit commun multiple.

Corps généraux

Le conducteur peut être défini de la même manière pour L/K une extension galoisienne finie non nécessairement abélienne de corps locaux[7] Cependant, il ne dépend que de Lab/K, l'extension abélienne maximale de K dans L, grace au théorème de limitation de norme, qui stipule que, dans cette situation[8] - [9].

De plus, le conducteur peut être défini lorsque L et K sont autorisés à être légèrement plus généraux que locaux, à savoir s'il s'agit de corps valués complets avec un champ résiduel quasi-fini[10].

Conducteur global

Corps de nombres

Le conducteur d'une extension abélienne L/K de corps de nombres peut être défini, de manière similaire au cas local, à l'aide de la réciprocité d'Artin. Plus précisément, soit θ : Im → Gal(L/K ) soit l' application globale d'Artin où le module m est un module définissant L / K ; on dit que la réciprocité d'Artin tient pour m si θ se factorise par le groupe de classes de rayons modulo (en) m. On définit le conducteur de L/K, noté , le facteur commun le plus élevé de tous les modules pour lesquels la réciprocité est valable ; en fait, la réciprocité vaut pour , c'est donc le plus petit de ces modules[11] - [12] - [13].

Exemple

  • Prenant comme base le corps des nombres rationnels, le théorème de Kronecker-Weber énonce qu'un corps de nombres algébriques K est abélien sur Q si et seulement s'il s'agit d'un sous-corps d'un corps cyclotomique , où désigne une racine primitive n ième de l'unité[14]. Si n est le plus petit entier pour lequel cela est vrai, le conducteur de K est alors n si K est fixe par conjugaison complexe et autrement.
  • Soit d est un entier sans carré. Alors[15],
est le discriminant de .

Relation avec les conducteurs locaux et ramification

Le conducteur global est le produit de conducteurs locaux[16] :

Par conséquent, un nombre premier fini est ramifié dans L/K si, et seulement si, il divise [17]. Un premier infini v apparaît dans le conducteur si, et seulement si, v est réel et devient complexe dans L.

Notes

  1. Serre 1967, §4.2
  2. As in Neukirch 1999, definition V.1.6
  3. Neukirch 1999, proposition V.1.7
  4. Milne 2008, I.1.9
  5. Serre 1967, §4.2, proposition 1
  6. Artin et Tate 2009, corollary to theorem XI.14, p. 100
  7. As in Serre 1967, §4.2
  8. Serre 1967, §2.5, proposition 4
  9. Milne 2008, theorem III.3.5
  10. As in Artin et Tate 2009, §XI.4. This is the situation in which the formalism of local class field theory works.
  11. Milne 2008, remark V.3.8
  12. Janusz 1973, p. 158,168–169
  13. Some authors omit infinite places from the conductor, e.g. Neukirch 1999, §VI.6
  14. Yu. I. Manin et A. A. Panchishkin, Introduction to Modern Number Theory, vol. 49, Second, coll. « Encyclopaedia of Mathematical Sciences », , 155, 168 (ISBN 978-3-540-20364-3, ISSN 0938-0396, zbMATH 1079.11002)
  15. Milne 2008, example V.3.11
  16. For the finite part Neukirch 1999, proposition VI.6.5, and for the infinite part Cohen 2000, definition 3.4.1
  17. Neukirch 1999, corollary VI.6.6

Références

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.