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é $𝔣 (L / K)$ , est le plus petit entier non négatif n tel que le groupe unitaire supérieur

U^{(n)} = 1 + 𝔪_{K}^{n} = {u \in 𝒪^{\times} : u \equiv 1 (\mod 𝔪_{K}^{n})}

est contenu dans N_L/K(L^×), où N_L/K est la norme et $𝔪_{K}$ 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 $U_{K}^{(n)}$ . Parfois, le conducteur est défini comme $𝔪_{K}^{n}$ où 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 G_s est non trivial, alors $𝔣 (L / K) = η_{L / K} (s) + 1$ ^[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],

𝔪_{K}^{𝔣 (L / K)} = \underset{χ}{ppcm} 𝔪_{K}^{𝔣_{χ}}

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 L^ab/K, l'extension abélienne maximale de K dans L, grâce au théorème de limitation de norme, qui stipule que, dans cette situation^[8]^,^[9].

N_{L / K} (L^{\times}) = N_{L^{ab} / K} ({(L^{ab})}^{\times}) .

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 θ : I^m → 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é $𝔣 (L / K)$ , le facteur commun le plus élevé de tous les modules pour lesquels la réciprocité est valable ; en fait, la réciprocité vaut pour $𝔣 (L / K)$ , 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 $𝐐 (ζ_{n})$ , où $ζ_{n}$ 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 $\infty$ autrement.
Soit $𝐐 (\sqrt{d}) / 𝐐$ où d est un entier sans carré. Alors^[15],
$𝔣 (𝐐 (\sqrt{d}) / 𝐐) = {\begin{matrix} | Δ_{𝐐 (\sqrt{d})} | & pour d > 0 \\ \infty | Δ_{𝐐 (\sqrt{d})} | & pour d < 0 \end{matrix}$

où

Δ_{𝐐 (\sqrt{d})}

est le discriminant de

𝐐 (\sqrt{d}) / 𝐐

.

Relation avec les conducteurs locaux et ramification

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

𝔣 (L / K) = \prod_{𝔭} 𝔭^{𝔣 (L_{𝔭} / K_{𝔭})} .

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

Notes

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

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Conductor (class field theory) » (voir la liste des auteurs).
Emil Artin et John Tate, Class field theory, American Mathematical Society, 2009 (1^re éd. 1967) (ISBN 978-0-8218-4426-7, MR 2467155)
Henri Cohen, Advanced topics in computational number theory, vol. 193, Springer-Verlag, coll. « Graduate Texts in Mathematics », 2000 (ISBN 978-0-387-98727-9)
Gerald Janusz, Algebraic Number Fields, vol. 55, Academic Press, coll. « Pure and Applied Mathematics », 1973 (ISBN 0-12-380250-4, zbMATH 0307.12001)
James Milne, Class field theory, v4.0, 2008 (lire en ligne)
Jürgen Neukirch, Algebraic Number Theory, vol. 322, Berlin, Springer-Verlag, 1999 (ISBN 978-3-540-65399-8, MR 1697859, zbMATH 0956.11021)
Jean-Pierre Serre, Algebraic Number Theory, Proceedings of an instructional conference at the University of Sussex, Brighton, 1965, Londres, Academic Press, 1967 (ISBN 0-12-163251-2, MR 0220701), « Local class field theory »

Portail des mathématiques

[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] (en) Yu. I. Manin et A. A. Panchishkin, Introduction to Modern Number Theory, vol. 49, Berlin, Second, coll. « Encyclopaedia of Mathematical Sciences », 2007, 514 p. (ISBN 978-3-540-20364-3, ISSN 0938-0396, zbMATH 1079.11002), p. 155, 168

[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

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]