Théorie des Genres des Corps globaux

Théorie des Genres des Corps globaux ^∗

Bruno Anglès et Jean-François Jaulent

Abstract. We establish the fundamental results of genus theory for nite (non nec- essary Galois) extensions of global elds by using narrow S -class groups, when S is an arbitrary nite set of places. This exposition, which involves both the number elds and the functions elds cases, generalizes most classical results on this subject.

Résumé. Nous établissons les résultats fondamentaux de la théorie des genres pour les extensions nies (quelconques) de corps globaux dans le cadre des groupes de S - classes d'idéaux signés pour un ensemble ni arbitraire de places ; la présentation donnée vaut indiéremment pour les corps de nombres et les corps de fonctions et contient ou généralise la plupart des résultats connus.

Introduction

La Théorie des Genres pour les corps de nombres remonte aux Disquisitiones Arithmeticae. Gauss étudiait les formes quadratiques alors que le point de vue actuel met l'accent sur l'Arithmétique des extensions abéliennes. C'est seule- ment en 1951 que Hasse donna une interprétation du genre des corps quadra- tiques basée sur la Théorie du corps de classes, et en 1959 que Fröhlich donna une dénition générale du corps des genres attaché à un corps de nombres arbi- traire. Dans cet article, nous étendons la Théorie des genres aux cas des corps de fonctions dans le cadre des groupes de S -classes d'idéaux signés que nous introduisons en parallèle avec celui des corps de nombres (voir paragraphe 2.1).

Il existe en eet une forte analogie entre les corps de nombres et les corps de fonctions d'une variable sur les corps nis. Ainsi, si F ^q est un corps ni et T est une indéterminée sur F ^q , on peut voir F ^q [T ] comme l'analogue de Z, son corps de fractions F q (T ) comme l'analogue de Q, et _T

comme l'analogue de la place à l'inni de Q donc F q (( _T

)) comme l'analogue de R . C'est sous cette correspondance que nous nous plaçons dans cet article en abordant la Théorie des genres en toute caractéristique.

Dans la première section, nous poursuivons les travaux de Rosen ([11]) en introduisant le corps de classes de Hilbert au sens restreint pour les corps de fonctions. Nous sommes alors armés pour dénir la notion de S -corps des gen- res d'un corps global en toute caractéristique (paragraphe 2.2). Le théorème 2.3.1 généralise ainsi les formules des genres obtenues par Furuta ([5]) et Gold- stein ([7]). Nous terminons par l'étude du corps des S -classes centrales d'une extension séparable nie de corps globaux.

∗

Manuscripta Math. 101 (2000), 513532.

Les résultats obtenus dans cet article seront utilisés dans un travail en pré- paration où est étudiée la "parité" des groupe de classes d'idéaux des corps de fonctions cyclotomiques et de leurs sous-corps "totalement réels".

Enn nous remercions tout particulièrement Georges Gras qui nous a signalé une inexactitude dans la version préliminaire de ce travail (cf. remarque 2.2.)

Notations

Soit F q un corps ni à q éléments et p sa caractéristique. Si T est une indéterminée sur F q , on pose Z = F q [T ] et Q = F q (T). On désigne enn par Q ¯ une clôture algébrique de Q .

Suivant l'usage on note Z l'anneau des nombres relatifs, Q son corps des frac- tions et Q ¯ le corps des nombres algébriques, c'est-à-dire la fermeture algébrique de Q dans C.

Dans ce qui suit, toutes les extensions nies de Q sont réputées contenues dans ¯

Q et toutes les extensions nies de Q contenues dans Q. ¯

Soit maintenant K un corps ; nous disons que K est un corps global si c'est un corps de nombres, i.e. une extension nie de Q , ou si K est une extension séparable nie de F q (T) = Q. En particulier, dans ce qui suit, toute extension L/K de corps globaux sera toujours réputée séparable et de degré ni.

Soit alors K un corps global ; nous notons :

P l

_K l'ensemble des places à l'inni de K si K est un corps de nombres, l'ensemble des places de K au-dessus de ∞ = 1/T si K/Q est séparable nie ;

P l

_K l'ensemble des places nies et P l K = P l

_K ∪ P l

_K ;

K _v le complété de K en la place v et, si v est nie, U _v groupe des unités de l'anneau des entiers O _v de K _v puis U v

= 1 + πO _v son sous-groupe principal ;

O _K l'anneau des entiers de K , i.e. la fermeture intégrale de Z dans K si K est un corps de nombres, celle de Z = F q [T ] si K est un corps de fonctions;

I K le groupe des idéaux fractionnaires non nuls de O K ;

P K le sous-groupe des idéaux fractionnaires principaux non nuls de O K ; Cl K le groupe des classes d'idéaux de O K , i.e. le quotient Cl K = I K /P K ; E K le groupe des éléments inversibles de O K ;

J K le groupe des idèles de K , i.e. le produit restreint des groupes multi- plicatifs K _v

des complétés K _v de K en ses diverses places ;

U _K = Π _{v∈P l}

K

K _v

Π _{v∈P l}

K

U _v le groupe des idèles unités ;

U _k

= Π _{v∈P l}

K

K _v

Π _{v∈P l}

K

U v le sous-groupe totalement positif de U K ; K

le groupe des éléments totalement positifs dans K

;

Sg K = K

/K

le groupe des signatures de K ; Is _K = I _K ⊕ Sg _K le groupe des idéaux signés ; P s _K le sous-groupe des idéaux signés principaux ;

Cs _K = Is _K /P s _K ' Cl _K

le groupe des classes d'idéaux signés ; S K = S _K

∪ S _K

un ensemble ni de places de K ;

U _K ^S le groupe des S -unités (réputées totalement positives en dehors de S ) dans J K ;

E _K ^S = U _K ^S ∩ K

le groupe des S -unités globales (totalement positives en dehors de S ) ;

Is ^S _K = Is K /Is K (S) le groupe des S -idéaux signés ; P s ^S _K = P s K Is K (S)/Is K (S) son groupe principal ; Cs ^S _K = Is ^S _K /P s ^S _K le groupe des S -classes d'idéaux signés.

1. Groupe de classes d'idéaux au sens restreint

Dans cette section nous introduisons les groupe de classes d'idéaux au sens restreint et la notion corps de classes de Hilbert au sens restreint pour les corps de fonctions.

1.1. Fonctions "signe" sur les corps de fonctions

Soit R

= Q

le groupe multiplicatif des nombres réels non nuls ; classique- ment on a une fonction signe

φ

: Q

→ Z

= {−1, 1} ,

qui est dénie par φ

(x) = 1 pour x > 0 et φ

(x) = −1 pour x < 0. Il est clair que φ

est un morphisme de groupes de noyau R

.

Si maintenant E/ R est une extension nie, avec E = R ou C , on pose φ _E = φ

◦ N _E/

. Alors φ _E : E

→ {−1, 1} est un morphisme de groupes de noyau Kerφ E = C

si E = C , et Kerφ E = R

si E = R .

Dans ce paragraphe nous allons introduire des fonctions analogues pour les extensions séparables nies de Q

= F q (( _T

)).

Soit x ∈ Q

; on peut écrire de manière unique : x = ( 1

T ) ⁿ

λ x ε x ,

avec n _x ∈ Z , λ _x ∈ F

q = Z

et ε _x ∈ U _Q

∞

. On dénit alors le "signe" de x par : φ

(x) = λ x .

Alors φ

: Q

→ F

q est un morphisme de groupes surjectif de noyau < _T

>

×U _Q

. Notons que pour M ∈ Z non nul le "signe" φ

(M ) est le coecient dominant du polynôme M.

1.1.0. Dénition. Soit K une extension séparable nie de Q

= F ^q (( _T

)).

Nous appellons signe sur K

le morphisme φ K = φ

◦ N _K/Q

à valeurs dans F

q .

1.1.1. Remarque. Si E/Q

est une sous-extension de K/Q

, on a alors : (i) φ K = φ E ◦ N _K/E ;

(ii) N _K/E (Kerφ K ) ⊂ Kerφ E .

1.1.2. Théorème. Soient E/Q

une extension séparable nie et E ^mod /Q

sa sous-extension abélienne modérément ramiée maximale. Soient f le degré d'inertie et e l'indice de ramication de E ^mod /Q

. Soit enn F E le sous-corps ni de E de degré [ F E : F q ] = f. Alors :

(i) Il existe ζ ∈ F

E tel qu'on ait E ^mod = F E (( ^e q

T )) et de plus : φ _E (E

) =< ( F

q ) ^e , N

_/

(ζ) > .

(ii) Si l'on a en outre _T

∈ N _E

/Q

(E ^mod× ), il vient E ^mod = F q (( ^e q

−1

T )) et φ E (E

) = ( F

q ) ^e .

Preuve. Observons tout d'abord que si E ^ab /Q

est la sous-extension abéli- enne maximale de E/Q

, nous avons N _E/Q (E

) = N _E

/Q (E ^ab× ) donc φ E (E

) = φ _E

(E ^ab× ), de sorte que le théorème sera établi si nous le démontrons dans le cas abélien.

Notons E ^nr = F E (( _T

)) la sous-extension (abélienne) non ramiée maximale de E . L'extension E ^mod /E ^nr est alors totalement ramiée de degré e . Si ρ est une uniformisante de E ^mod , nous pouvons donc écrire

ρ ^e = −ζu/T avec − ζ ∈ F E et u ∈ U _E

;

et l'hypothèse p - e nous assure que u est une puissance e-ième dans U _E

, disons u = v ^e . Quitte à remplacer ρ par ρ/v , nous pouvons donc supposer

ρ ^e = −ζ/T, comme attendu . Nous obtenons alors :

N _E

/Q

(ρ) = N _E

/Q

◦ N _E

/N

(ρ)

= N _E

/Q

(−1) ^e ζ/T

= (−1) ^ef N

_/

(ζ)/T ^f

d'où

φ _E

(ρ) = (−1) ^ef N

_/

(ζ).

Par ailleurs, nous avons immédiatement : φ _E

( F

E ) = φ E

N _E

/E

( F

E )

= φ E

( F

E ) ^e

=

φ E

( F

E ) e

= ( F

q ) ^e En résumé il vient :

φ _E

(E

) =< ( F

q ) ^e , (−1) ^ef N

_/

(ζ) >=< ( F

q ) ^e , N

_/

(ζ) > . Et le point (i) du théorème résulte de ce que, l'extension E ^ab /E ^mod ayant pour degré une puissance de p , ce dernier groupe coïncide avec φ _E

(E ^ab× ) = φ E (E

).

Enn, l'hypothèse _T

∈ N _E

/Q

(E ^mod× ) , qui entraîne f = 1 i.e. F E = F q , donne aussi (−1) ^e = N _E

/Q

(−1) donc ζ ∈ N _E

/Q

i.e. ζ ∈ ( F

q ) ^e , d'où le point (ii).

1.1.3. Corollaire L'extension abélienne de Q

associée à Kerφ

est le corps Q

= Q

[

p

−1/T ] = F q ((

p

−1/T ));

c'est la plus grande extension abélienne modérément ramiée de Q

dans la- quelle 1/T est norme. En particulier, si K est une extension séparable de Q

, l'extension abélienne de K associée à Kerφ _K par la théorie locale du corps de classes est le compositum K

= KQ

= K[ ^q−1 p

−1/T ] .

Preuve. La première assertion résulte immédiatement du théorème appliqué à l'extension abélienne E/Q

associée à Kerφ

par la théorie locale du corps de classes, laquelle vérie par construction l'identité normique :

N _E/Q

(E

) = Kerφ

= U Q

( 1 T )

.

La seconde assertion s'ensuit puisque Kerφ K est la préimage de Kerφ

par N _K/Q

.

1.1.4. Proposition. Soit K/Q

une sous-extension d'une extension séparable nie L/Q

. On a alors

Kerφ K : N _L/K (Kerφ L )

= [L ^ab : L ∩ K

],

où L ^ab est la sous-extension maximale de L qui est abélienne sur K et K

le compositum KQ

= K[ ^q−1 p

−1/T ] .

Preuve. Introduisons l'extension abélienne maximale L ¯ ^ab de L et notons K ¯ ^ab

celle de K . Par le corollaire 1.1.3., la sous-extension abélienne de K ¯ ^ab qui est

xée par N _L/K (Kerφ L ) est l'intersection L

^ab = L

∩ K ¯ ^ab qui n'est rien d'autre

que le compositum L ^ab

= L ^ab ×K

. Cela étant, puisque Kerφ K xe K

, il vient comme annoncé :

(Kerφ K : N _L/K (Kerφ L )) = [L ^ab K

: K

] = [L ^ab : L ^ab ∩ K

].

Et l'ensemble de la discussion peut se résumer par le schéma de corps :

L L

L K ¯ ^ab L ¯ ^ab

L ^ab L

^ab = L ^ab

K ¯ ^ab

L ∩ K

K

K

1.1.5. Corollaire. Notons d

(L/K) le degré [L ^ab : L ∩ K

] = [L

^ab : K

] . (i) Puisque l'extension K

/k est modérément ramiée, d

(L/K ) est un multiple de la partie sauvage de l'indice de ramication e ^ab (L/K) de l'extension abélienne L ^ab /K , l'égalité ayant lieu si et seulement si la sous-extension maximale L ^mod = L ∩ K ¯ ^mod de L qui est abélienne et modérée sur K est contenue dans K

. (ii) Lorsque _T

est norme dans l'extension L/Q

(ce qui implique en particulier que L/ Q

soit totalement ramiée) d

(L/K) est la plus grande puissance de p qui divise e ^ab (L/K) si et seulement si on a l'égalité (où a ∧ b désigne le pgcd de a et de b ) :

(q − 1) ∧ [L : Q

] = (q − 1) ∧ [L : K]

× (q − 1) ∧ [K : Q

]

Preuve. Soit π L un premier de L vériant N L/Q

(π L ) = _T

. Posons π K = N _L/K (π L ) . Alors π K est un premier de K de norme N _K/Q

(π K ) = _T

. Il vient donc :

L

= < π L > × F

q × U _L

et K

= < π K > × F

q × U _K

. Posons m K = [K : Q

] ∧ (q − 1) et m L = [L : Q

] ∧ (q − 1). il vient :

kerφ K = < π K > ×( F

q )

q−1

mK

× U _K

,

Kerφ L = < π L > ×( F

q )

q−1

mL

× U _L

. et

N _L/K (( F

q )

q−1

mL

) = ( F

q )

q−1 mL[L:K]

= ( F

q )

q−1

mL(m_L∧[L:K])

= ( F

q )

q−1

mL((q−1)∧[L:K])

. Ainsi l'égalité attendue : _N

= ^U

(1) E

N

équivaut bien à la condition

annoncée : m L = m K × ((q − 1) ∧ [L : K]) .

1.2. Classes au sens restreint et corps de classes de Hilbert Soit K un corps global. Rappelons que nous avons désigné par P l

_K l'ensemble des places à l'inni de K si K est un corps de nombres, des places au-dessus de

∞ = 1/T si K est un corps de fonctions. Pour v ∈ P l

_K , K se plonge dans K v , et φ K

(x) est bien déni pour x ∈ K

. On dénit le sous-groupe des élements totalement "positifs" de K

par :

K

= {x ∈ K

| ∀v ∈ P l

_K , φ K

(x) = 1}.

1.2.0. Dénition Nous appelons groupe des "signatures" d'un corps global K le quotient ni :

Sg _K = K

/K

.

Si R est un sous-groupe de K

, l'image de R dans Sg K est notée sg K (R). En particulier, on a donc Sg K = sg K (K

).

1.2.1. Lemme. On a :

Sg _K = sg _K (K) ' Y

v∈P l

φ K

(K _v

).

Preuve. C'est une conséquence directe du théorème d'approximation forte.

On pose P _K

= {xO K |x ∈ K

}. Alors le groupe de classes d'idéaux au sens restreint de O K est :

Cl

_K = I K /P _K

. On pose de même :

U _K = Y

v∈P l

K _v

× Y

v6∈P l

U _K

,

U _K

= Y

v∈P l

Kerφ K

× Y

v6∈P l

U K

.

Alors U K et U _K

sont des sous-groupes ouverts de J K .

1.2.2. Proposition. Les groupes de classes d'idéaux au sens ordinaire ou restreint sont donnés par les isomorphismes canoniques :

(i) Cl _K ' J _K /U _K K

; (ii) Cl

_K ' J _K /U _K

K

.

Preuve. C'est une conséquence immédiate de l'isomorphisme I K ' J K /U k . 1.2.3. Corollaire. Classes au sens ordinaires et classes au sens restreint sont liées par la suite exacte :

1 → sg(E K ) → Sg _K → Cl

_K → Cl K → 1.

Preuve. On a immédiatement :

U K /U _K

' sg(K), K

∩ U K = E K et K

∩ U _K

= K

∩ E K = E _K

.

Il sut alors d'appliquer la proposition 1.2.2.

Soit H _K /K l'extension abélienne de K correspondant par la théorie du corps de classes à K

U _K . Alors H _K est appelé le corps de classes de Hilbert au sens ordinaire de O _K . C'est l'extension abélienne maximale de K qui est non ramiée (aux places nies) dans laquelle toute place de P l

_K se décompose totalement.

Notons que l'application d'Artin donne lieu à l'isomorphisme canonique : Cl _K ' Gal(H _K /K).

Le lecteur pourra consulter [12] pour obtenir plus d'informations sur les corps de classes de Hilbert pour les corps de fonctions.

Soit H _K

/K l'extension abélienne de K correspondant à K

U _K

. Alors H _K

est appelé le corps de classes de Hilbert au sens restreint de O _K . L'application d'Artin donne lieu à l'isomorphisme :

Cl

_K ' Gal(H _K ^res /K).

1.2.4. Exemples.

(i) On a sg( Q ) = sg( Z

) = {−1, 1}. Il suit donc : H

= H

= Q . (ii) On a sg(Q) = sg( F

q ) = F

q . Ainsi H _Q = H _Q

= Q.

(iii) Soit n ≥ 3 et soit K = Q (e

) le n-ième corps cyclotomique. Alors, pour tout v ∈ P l

_K , on a K _v = C . Et il suit H _K = H _K

.

(iv) Soit M ∈ Z = F q [T ] un polynôme unitaire de degré supérieur ou égal à 1.

Soit K le M -ième corps de fonctions cyclotomique. Nous renvoyons le lecteur à [6] pour la dénition de K. Alors, pour tout v ∈ P l _K

, on a :

K v = F q (( ^q−1 r −1

T )).

Il suit donc Kerφ _K

= K _v

. Et il en résulte : H _K = H _K

.

1.2.5. Remarque. Soit L/K une extension séparable nie de corps globaux.

On a alors H _K

⊂ H _L

. Et si L/K est galoisienne, H _L

/K l'est aussi.

1.2.6. Proposition. Soient K un corps global et L = H _K

. Alors toute classe de Cl

_K a une image triviale dans Cl _L

.

Preuve. Ce n'est rien d'autre que la transposition au sens restreint du classique théorème d'Artin-Furtwängler pour les corps des nombres.

1.3. Idéaux signés et groupes de S -classes d'idéaux signés

Pour dénir le groupe des classes d'idéaux au sens restreint par analogie

avec le groupe des classes d'idéaux au sens ordinaire C` K = I K /P K , nous avons

restreint, dans la section qui précède, le dénominateur au sous-groupe P _K

des

idéaux principaux engendrés par les éléments totalement positifs. Mais il est

souvent commode de travailler plutôt sur le numérateur. Dans [8] est ainsi

introduite pour les corps de nombres la notions de "diviseur". Mais comme le

terme de diviseur a déjà un sens bien précis pour les corps de fonctions, nous préférons parler ici d'idéal signé :

1.3.0 Dénition. Nous appelons groupe des idéaux signés d'un corps global K la somme directe

Is _K = I _K ⊕ Sg _K

du groupe I _K des idéaux et du groupe Sg _K des signatures de K . L'image P s _K dans Is _K du groupe multiplicatif K

est le sous-groupe des idéaux signés prin- cipaux.

Si K est un corps de nombres possédant exactement r places réelles, on a Sg K = {±1} ^r et l'image d'un élément x de K

dans Is K et le couple formé de l'idéal principal engendré par x et des r signes des plongements de x aux places réelles. Si K est un corps de fonctions, on a un résultat analogue à cela près que {±1} ^r est remplacé par le produit Q

v|P l

φ K

(K _v

).

Soit, en eet, P une place de K ; on lui associe une valuation v P comme suit :

- si P est une place ultramétrique, alors P correspond à un idéal premier de O _K , et v _P est alors la valuation P -adique usuelle sur K

;

- si P est réelle, K se plonge dans K _P = R et v _P est alors à valeurs dans F

=

: on a v _P (x) = ¯ 0 pour x > 0 et v _P (x) = ¯ 1 pour x < 0 ;

- si P est complexe, v _P est la valuation triviale ; - si P divise _T

enn, on pose v P = φ K

.

Le groupe des idéaux signés de K est alors le groupe abélien libre engendré par les valuations attachées aux places de K , chaque élément D ∈ Is K , s'écrivant de manière unique sous la forme :

D = X

P

n P v P ,

avec n P ∈ Z si P est une place nie, n P ∈ F

si P est réelle, et n P ∈ Imφ K

si P divise _T

. L'application de K

dans Is K , est alors donnée par la formule :

x 7→ X

v _P (x)v _P .

1.3.1. Lemme. le groupe Cs _K = Is _K /P s _K des classes d'idéaux signés s'identie canoniquement au groupe C` ^res _K des classes d'idéaux au sens restreint.

Preuve : C'est immédiat.

Soit maintenant S = S K un ensemble ni de places de K . On note Is K (S) le sous-groupe de Is K engendré par les places de S :

Si v est une place nie, elle correspond à un idéal premier non nul et le

sous groupe engendré par v dans Is K est le sous-groupe de I K engendré

par cet idéal ;

Si v est une place à l'inni, le sous-groupe qu'elle engendre est le facteur φ K

(K _v

) de Sg K ; il est d'ordre 2 si K est un corps de nombres et v réelle, trivial si v est complexe.

1.3.2. Dénition. Le groupe S -classes d'idéaux signés d'un corps global K est le quotient

Cs ^S _K = Is _K /P s _K Is _K (S) ' Cs _K /Cs _K (S)

du groupe des classes d'idéaux signés par le sous groupe engendré par les classes des idéaux signés construits sur les places de S .

1.3.3. Remarques.

(i) Si S = ∅, on a déjà vu que l'on a Cs ^S _K ' Cl _K

.

(ii) Si K est un corps de nombres et S l'ensemble des places réelles de K, alors Cs ^S _K ' Cl K . Plus généralement, si S contient les places réelles de K, notons S

l'ensemble des places nies contenues dans S et O ^S _K l'ensemble des éléments de K réguliers en toute place nie en dehors de S

. Alors Cs ^S _K s'identie au groupe de classes d'idéaux de O ^S _K .

1.3.4. Dénition (Corps des S -classes de Hilbert). Considérons le groupe d'idèles

U _K ^S = Y

v∈P l

,v6∈S

Kerφ _K

× Y

v∈S

K _v

× Y

v6∈S

U _K

.

et notons H _K ^S l'extension abélienne de K correspondant à K

U _K ^S . Il vient : Gal(H _K ^S /K) ' J K /K

U _K ^S ' Cs ^S _K ;

et on dit que H _K ^S est le corps des S -classes de Hilbert (au sens restreint) de K . 1.3.5. Dénition. Le groupe des S -unités du corps K est le sous-groupe

E _K ^S = {x ∈ K

| ∀P 6∈ S v P (x) = 0}.

En d'autres termes, le groupe E _K ^S est caractérisé par la suite exacte : 1 → E _K ^S → K

→ Is _K → Cls _K → 1

1.3.6. Remarques.

(i) Pour S = ∅, E _K ^S est le groupe des unités "totalement positives".

(ii) Si K est un corps de nombres, et S l'ensemble des places réelles E _K ^S est le

groupe des unités (au sens ordinaire) de l'anneau des entiers de K . Plus générale-

ment, si S contient toutes les places réelles de K et si S

désigne l'ensemble des

places nies contenues dans S , le groupe E _K ^S est le groupe des unites de l'anneau

O ^S _K des S

-entiers de K .

2. Corps des genres et corps des classes centrales

2.1 Groupe des genres relatifs à une extension de corps globaux Considérons une extension L/K de corps globaux (i.e. soit une extension quelconque de corps de nombres de degré ni sur Q, soit une extension quel- conque de corps de fonctions séparables et de degré ni sur Q = F q (T ) ), et notons S _K un ensemble ni de places de K puis S _L l'ensemble ni des places de L au-dessus des places de S _K . Nous écrirons souvent S pour S _K ou S _L en l'absence de toute ambiguïté.

Rappelons que nous avons désigné par H _L ^S

(resp. H _K ^S

) le corps des S -classes de Hilbert de L (resp.K) i.e. l'extension abélienne de L (resp.de K) qui est associéee par la théorie du corps de classes au groupe d'idèles U _L ^S

(resp. U _K ^S

).

2.1.0 Dénition. Le corps des S -genres LH _L/K ^S de l'extension L/K est le plus grand sous-corps de H _L ^S qui provient, par composition avec L , d'une extension abélienne de K. En d'autres termes, H _L/K ^S est la plus grande sous-extension de H _L ^S qui est abélienne sur K .

Le corps des S -genres LH _L/K ^S contient toujours le corps des S -classes H _K ^S . 2.1.1. Exemples.

(i) Pour S = ∅ , le corps des genres au sens restreint LH _L/K

= LH _L/K ^φ est le plus grand sous-corps de H _L

qui provient d'une extension abélienne de K . (ii) Pour S = P l

_L , le corps des genres au sens ordinaire LH _L/K est le plus grand sous-corps de H L qui provient d'une extension abélienne de K .

2.1.2. Remarque. Puisque LH _L/K ^S /L est une sous-extension de H _L ^S /L , l'isomorphisme Gal(H _L ^S L) ' Cs ^S _L identie le quotient G _L/K ^S = Gal(LH _L/K ^S /L) à un quotient du groupe de S -classes Cs ^S _L . On dit que G _L/K ^S est le quotient des genres de Cs ^S _L relativement à l'extension L/K .

2.1.3. Proposition. Soit L/K une extension quelconque de corps globaux.

(i) Le groupe d'idèles de K qui correspond à la sous-extension abélienne H _L/K ^S /K de H _L ^S K est l'image N _L/K (U _L ^S )K

du groupe U _L ^S L

associé à H _L ^S L .

(ii) Le groupe d'idèles de L qui correspond à l'extension abélienne LH _L/K ^S /L est le saturé pour la norme N _L/K

(N _L/K (U _L ^S )K

)L

du groupe U _L ^S L

associé à H _L ^S L .

Preuve. C'est une conséquence immédiate de la Théorie globale du corps de classes.

2.1.4. Corollaire. Lorsque l'extension L/K est cyclique, de groupe de Galois Γ =< γ > , le quotient des S -genres G _L/K ^S s'identie au plus grand quotient

Γ

Cls ^S _L du groupe Cs ^S _L des S -classes de L sur lequel Γ opère trivialement : G _L/K ^S '

Cs ^S _L = Cs ^S _L /Cs ^S(γ−1) _L .

On retrouve ainsi, pour S = ∅ ou S = P l

les caractérisations traditionnelles

du quotient des genres dans le cas cyclique. Notons par ailleurs que, le groupe

Cs ^S _L étant ni, il en résulte que dans le cas cyclique le quotient des genres G _L/K ^S a même ordre que le sous-groupe ambige (i.e. xé par Γ ) de Cs ^S _L .

Preuve. Notons, pour simplier, N la norme arithmétique N _L/K et considérons un idèle x de J L dont la norme tombe dans N(U _L ^S )K

. Ecrivons donc N(x) = N(u)k , avec u ∈ U _L ^S et k ∈ K

. Nous obtenons k = N(x/u) ∈ K

∩ N J L

et, l'extension étant suposée cyclique, le principe de Hasse nous permet d'écrire k = N (l) pour un l ∈ L

. Il vient donc N(x/u) = 1 , d'où, via le théorème 90 pour les idèles, x/lu = y ^γ−1 pour un y ∈ J L , c'est-à-dire

x ∈ J _L ^γ−1 U _L ^S L

;

et nalement : G _L/K ^S ' J _L /J _L ^γ−1 U _L ^S L

' Cs ^S _L /Cs ^S(γ−1) _L comme attendu.

2.2. Formule des S -genres et suite exacte des S -genres

Soit L/K une extension quelconque de corps globaux; pour chaque place v de K , notons K v le complété correspondant de K et (L _w)w|v la famille des complétés de L aux places w au-dessus de v (considérés dans une même clôture algébrique de K v ) ; désignons enn par (L ^ab _w ) _w|v la famille des sous-extensions abéliennes maximales de K v respectivement contenues dans les (L w ) _w|v .

Soit alors L ˆ ^ab _v = Π _w|v L ^ab _w le compositum des L ^ab _w et L ˇ ^ab _v = ∩ _w|v L ^ab _w leur intersection, puis L ˜ ^ab _v le sous-corps de L ˆ ^ab _v xé par les sous-groupes d'inertie G

( ˆ L ^ab _v /L ^ab _w ) attachés aux extensions abéliennes L ˆ ^ab _v /L ^ab _w lorque w décrit les places au-dessus de v .

2.2.1. Remarques. Lorsque les L ^ab _w coïncident, ce qui se produit en parti- culier dès que l'extension L/K est galoisienne, il n'y a pas lieu de distinguer entre L ˆ ^ab _v , L ˇ ^ab _v et L ˜ ^ab _v . Nous écrivons donc dans ce cas L ^ab _v sans plus de détail ; mais cette simplication n'est pas possible dans le cas général.

D'après la Théorie locale du corps de classes, L ^ab _w est l'extension abéli- enne de K v associée au groupe de normes N _L

_/K

(L

_w ) , que nous écrirons de façon abrégée N (L

_w ) ; il coïncide naturellement avec le groupe N(L ^ab× _w ) = N _L

w

/K

(L ^ab× _w ) . Le compositum L ˆ ^ab _v des L ^ab _w correspond donc à l'intersection

∩ _w|v N (L

_w ) et leur intersection L ˇ ^ab _v au sous-groupe Π _w|v N (L

_w ) de K _v

engen- dré par les N (L

_w ) . Enn , pour chaque place w

au-dessus de v le groupe de Galois Gal( ˆ L ^ab _v /L ^ab _w

) s'identie au quotient N (L

_w

)/Π _w|v N(L

_w ) et son sous-groupe d'inertie à l'image N(U _w

) Π _w|v N (L

_w )

du sous-groupe U _w

des unités de L w

. Et le groupe d'idèles associé au corps L ˜ ^ab _v est ainsi le produit

Π _w|v N (U w )

∩ wLv N (L

_w ) . Il vient donc :

2.2.2. Proposition et dénition. Avec les notations ci-dessus :

(i) le quotient K _v

/Π _w|v N L

_w s'identie au groupe de Galois de l'extension abéli-

enne locale L ˇ ^ab _v /K v ; et nous disons que D _v ^ab (L/K) = Gal( ˇ L ^ab _v /K v ) est le groupe

de décomposition abélianisé de la place v dans l'extension L/K ;

(ii) le quotient U v /Π _w|v N U w s'identie au groupe d'inertie de l'extension abéli- enne locale L ˜ ^ab _v /K _v ; et nous disons que I _v ^ab (L/K) = G

( ˜ L ^ab _v /K _v ) est le groupe d'inertie abélianisé de la place v dans l'extension L/K .

Venons-en maintenant au cas particulier des places à l'inni :

(i) Si K est un corps de nombres et v une place réelle, on a k v = R et L w = R ou C pour chaque place w au-dessus de v . Dans ce cas les L w sont donc abéliens sur K _v , leur compositum L ˆ _v est égal à C dès que l'un au moins des L _w est complexe et leur intersection L ˇ _v est R si et seulement si l'un des L _w est réel.

En particulier le groupe de Galois

D

v (L/K) = Gal( ˇ L v /K v ) ' K _v

/Π _w|v N _L

_/K

(L

_w )

est d'ordre 1 ou 2, et trivial si et seulement si v admet un prolongement w réel.

(ii) Si K est un corps de fonctions, et v divise _T

, rappelons que nous avons posé K

v = K v [

p

−1/T ] et L

w = L w [

p

−1/T ] . Dans la correspondance du corps de classes, nous savons par (1.1.6.) que Kerφ k

xe K

v et que son sous-groupe N _L

_/K

(Kerφ L

) xe, lui, la sous-extension maximale L

^ab _w de L

w

qui est abélienne sur K v . D'après la théorie locale du corps de classes, le produit Π _w|v N L

/K

(Kerφ L

) est donc associé à l'intersection L

v = ∩ _w|v L

^ab _w , de sorte que le quotient K _v

/Π _w|v N _L

_/K

(Kerφ _L

) s'identie au groupe de Galois

D

_v (L/K ) = Gal(L

_v /K

_v ).

En résumé, nous avons :

2.2.3. Proposition. Soit v une place à l'inni de K et φ _K

la fonction signe associée.

(i) Si K est un corps de nombres, le quotient Kerφ k

/Π _w|v N _L

_/L

(Kerφ L

) s'identie au groupe de Galois D

v (L/K) = Gal( ˇ L v /K v ) d'ordre 1 ou 2.

(ii) Si K est un corps de fonctions, le quotient Kerφ _k

/Π _w|v N _L

_/L

(Kerφ _L

) s'identie au groupe de Galois D

_v (L/K) = Gal(L

_v /K

_v ).

Nous sommes maintenant en mesure d'établir la formule des genres : 2.2.4. Théorème (Formule des S -genres). Soient L/K une extension quel- conque de corps globaux, S K un ensemble ni de places de K et S L l'ensemble des places de L au-dessus de celles de S K . Le nombre de S -genres relatif à l'extension L/K est alors donné par la formule :

[LH _L/K ^S : L] = h ^S _K Π _{v∈P l}

K\S^∞_K

d

_v (L/K) Π _{v∈P l}

K\S⁰_K

e ^ab _v (L/K) Π _v∈S

d ^ab _v (L/K ) [L ^ab : K](E ^S _K : E ^S _K ∩ N _L/K ^S )

Dans celle-ci, h ^S _K désigne le cardinal du groupe des S -classes Cs ^S _K d'idéaux

signés et d

v (L/K) est le degré de l'extension abélienne locale L

v /K

v ; d ^ab _v (L/K)

est l'ordre du groupe de décomposition abélianisé D ^ab _v (L/K) et e ^ab _v (L/K) celui

du groupe d'inertie abélianisé I _v ^ab (L/K) ; le corps L ^ab est le plus grand sous-

corps de L qui est abélien sur K ; le groupe E _K ^S est le groupe des S -unités (au

sens restreint) de K ; et N _L/K ^S = K

∩ N _L/K (U _L ^S ) est le groupe des S -normes locales attaché à l'extension L/K .

2.2.5. Remarque. Lorsque l'extension globale L/K est abélienne, on a évidemment L ^ab = L ainsi que les égalités entre groupes locaux D _v ^ab (L/K) = D v (L/K) et I _v ^ab (L/K ) = I v (L/K) . Si elle est cyclique, on a en outre N L/K = N L/K (L

) en vertu du principe de Hasse.

Preuve. Rappelons que nous avons désigné par H _K ^S le corps des S -classes de Hilbert de K et par H _L/K ^S le sous-exension maximale de H _L ^S qui est abélienne sur K . Nous avons donc :

[LH _L/K ^S : L] =

[H _L/K ^S : K]

[L ∩ H _L/K ^S : K] =

[H _L/K ^S : H _K ^S ][H _K ^S : K]

[L ^ab : K] ,

puisque L ^ab = L ∩ H _L/K ^S est bien la sous-extension maximale de L qui est abélienne sur K . Cela étant, d'après (1.3.4.) le groupe d'idèles associé à H _K ^S est U _K ^S K

et , d'après (2.1.3.), celui associé à H _L/K ^S est N L/K (U _L ^S )K

. Il suit :

[H _L/K ^S : H _K ^S ] = (U _K ^S K

: N L/K (U _L ^S )K

) = (U _K ^S : N _L/K (U _L ^S )) (K

∩ U _K ^S : K

∩ N _L/K (U _L ^S )) . Pour conclure, il sut alors de remarquer que la contribution des diérentes places au numérateur est donnée par (2.2.2.) et (2.2.3.) ; tandis qu'au dénomi- nateur, on a K

∩ U _K ^S = E _K ^S et K

∩ N _L/K (U _L ^S ) = E _K ^S ∩ N _L/K ^S . Notons que lorsque l'extension L/K est galoisienne, cette dernière intersection n'est autre que E _K ^S ∩ N _L/K où N _L/K = K

∩ N _L/K (J _L ) est le groupe des éléments de K qui sont normes locales partout d ans l'extension L/K .

2.2.6. Corollaire. Soit L/K une extension quelconque de corps de nombres et L ^ab /K sa sous-extension abélienne maximale.

(i) Le nombre de genres relatif à l'extension L/K est donné par la formule : [LH _L/K : L] = h _K Q

v e

_v (L/K )

[L

: K] (E K : E K ∩ N _L/K (U L )) , où h _K est le nombre de classes de K.

(ii) Le nombre de genres au sens restreint est donné, lui, par la formule :

[LH _L/K

: L] = h

_K Q

v∈S

d

_v (L/K ) Q

v6∈S

e

_v (L/K) [L

: K] (E _K

: E _K

∩ N _L/K (U L )) ,

où h

_K est le cardinal de Cl

_K et E

_K est le groupe des unités qui sont positives

aux places réelles de K.

2.2.7. Remarque. Lorsque L/K est galoisienne, la formule obtenue pour le corps des genres au sens ordinaire dans (i) nous donne la formule de Furuta ([5]). Lorsque L/K est abélienne, la formule obtenue pour le corps des genres au sens restreint dans (ii) nous donne la formule de Goldstein ([7], Théorème 2.1).

2.2.8. Corollaire. Soit L/K une extension quelconque de corps de fonctions et L ^ab /K sa sous-extension abélienne maximale.

(i) Notons h K le cardinal du groupe des classes Cl K . Alors : [LH _L/K : L] = h _K Q

v∈S

d

_v (L/K ) Q

v6∈S

e

_v (L/K) [L

: K] (E K : E K ∩ N L/K (U L )) .

(ii) On suppose que pour toute place w ∈ P l _L

on a : _T

∈ N _L

_/Q

(L

_w ) et que [L _w : Q

] divise (q − 1)r _w où r _w est un entier premier à q − 1. Notons h

_K le cardinal de Cl _K

; le nombre de genres au sens restreint est alors :

[LH _L/K

: L] = h

_K Q

v∈P l

p ⁿ

Q

v6∈P l

e

_v (L/K ) [L

: K] (E _K

: E _K

∩ N _L/K (U L )) ,

où E

_K = E _K ∩ K

est le groupe des unités totalement positives et p ⁿ

est la plus grande puissance de p qui divise e

_v (L/K) ( p est la caractéristique de F ^q ).

Revenons maintenant au cas général. soit donc, comme plus haut, L/K une extension quelconque de corps globaux, S K un ensemble ni de places de K et S l l'ensemble des places de L au-dessus de celles de K ; Rappelons que nous avons noté H _L/K ^S la plus grande sous-extension de H L/K qui est abélienne sur K . Cela étant, avec les notations du théorème 2.2.4, nous avons :

2.2.9. Théorème (Suite exacte des S -genres). Les symboles locaux de restes normiques donnent la suite exacte courte qui relie corps des S -genres et corps des S -classes de Hilbert, groupes de Galois locaux et groupe de Galois global :

1 → E _K ^S

E _K ^S ∩ N _L/K ^S → Ram ^S _L/K → Gal(H _L/K ^S /H _K ^S ) → 1, où le groupe médian Ram ^S _L/K est la somme directe :

Ram ^S _L/K = ⊕ _{v∈P l}

K\S^∞_K

D _v

(L/K )

⊕ ⊕ _{v∈P l}

K\S_K⁰

I _v ^ab (L/K)

⊕ ⊕ v∈S D _v ^ab (L/K) . Preuve. C'est une conséquence immédiate de la démonstration du théorème 2.2.4. : le premier morphisme f : E _K ^S /E _K ^S ∩ N _L/K → Ram ^S _L/K est induit par les symboles locaux de restes normiques (pris dans les extensions abéliennes locales correspondantes) ; et le second morphisme g : Ram ^S _L/K → Gal(H _L/K ^S /H _K ^S ) n'est autre que la formule du produit (σ v ) v → Q

σ v | _H

L/K

prise dans l'extension

abélienne H _L/K ^S /K , chacun des σ _v agissant trivialement sur le corps des S -

classes de Hilbert H _K ^S . La théorie globale du corps de classes nous dit alors

que les S -unités globales (i.e. les éléments de E _K ^S ) ont une image triviale dans Gal(H _L/K ^S /K) , en d'autres termes que l'on a Imf ⊂ Kerg ; et l'exactitude de la suite résulte de l'identité donnée par le théorème 2.2.4.

|Ram ^S _L/K |

(E ^S _K : E _K ^S ∩ N _L/K ^S ) = [H _L/K ^S : L ^ab ][L ^ab : K]

[H _K ^S : K] = [H _L/K ^S : H _K ^S ], conformément au schéma de corps :

L LH _K ^S LH _L/K ^S H _L ^S

L ^ab L ^ab H _K ^S H _L/K ^S

L ∩ H _K ^S H _K ^S

K

Et, bien entendu, si l'extension L/K est abélienne, on a LH _L/K ^S = H _L/K ^S . Lorsque le groupe des unités E _K est particulièrement simple, il est naturelle- ment possible d'expliciter le terme normique dans la formule des genres ; ainsi :

2.2.10. Proposition. Soit K/ F q (T ) une extension séparable nie telle qu'il y ait une unique place de K au dessus de ∞. Si L/K est une extension galoisienne nie et v une place de K, on pose :

m v = q

_K

− 1

(q _K

− 1) ∧ e

_v (L/K)) ∧ (q K − 1),

où deg _v est le degré de la place v et q K est le cardinal du corps des constantes de K. Et on note :

m _L/K = p.g.c.d. {m(v), v place de K}.

Alors :

(i) (E K : E K ∩ N L/K ) = (E K : E K ∩ N L/K (U L )) = _m ^q

L/K

, (ii) Et sous la condition q _K = q, il vient

(E _K

: E _K

∩ N _L/K (U _L

)) = [K : Q] ∧ (q − 1) m L/K ∧ [K : Q] ∧ (q − 1) .

Preuve. Notons F K le corps des constantes de K. Comme il y a une unique place de K au dessus de ∞, on a E _K = F

K . Il suit :

E K ∩ N _L/K = ∩ v ( F

K ∩ N _L

v

/K

(U _L

)).

Or par [11], Proposition 2, le cardinal de F

K ∩ N _L

v

/K

(U _L

v

) est égal à m v . D'où la première assertion. Pour (ii), notons que E

_K est un sous-groupe de F

q

et que le cardinal de E _K

est [K : Q] ∧ (q − 1). La Proposition suit.

2.2.11. Corollaire. Soit K = F q (T ) et L/ F q (T ) une extension galoisienne nie :

(i) Le nombre de genres au sens ordinaire relatif à L/Q est alors donné par la formule :

[LH _L/Q : L] = m(L/Q) d

(L/Q) Q

v6=∞ e

_v (L/Q) (q − 1)[L

: Q] ,

(ii) Si pour toute place w ∈ P l

_L , on a _T

∈ N _L

_/Q

(L

_w ) et [L _w : Q

] divise (q − 1)r _w où r _w est un entier premier à q − 1 , le nombre de genres au sens restreint est :

[LH _L/Q

: L] = p ⁿ

Q

v6=∞ e

_v (L/Q) [L

: Q] ,

où p ⁿ

est la plus grande puissance de p divisant e

(L/Q) ( p est la carac- téristique de F q ).

Preuve. C'est une conséquence directe du Théorème 2.2.6. et de la Proposition 2.2.10.

2.3. Corps des classes centrales

Soient toujours L/K une extension quelconque de corps globaux, S _K un ensemble ni de places de K et S _L l'ensemble des places de L au-dessus des places dans S _K . Rappelons que nous avons posé :

U _L ^S

= Y

P l

Kerφ _L

Y

v∈S

L

_v Y

v∈P l

U _L

.

Ecrivons N J _L le noyau de la norme N _L/K : J _L → J _K .

2.3.0. Dénition. Le corps des S -classes centrales de l'extension L/K est l'extension abélienne C _L/K ^S

de L correspondant par la théorie du corps de classes au sous-groupe N J L U _L ^S

L

de J L .

Remarquons qu'on a la double inclusion :

L ⊂ LH _L/K ^S

⊂ C _L/K ^S

⊂ H _L ^S

.

Cela dit, l'appellation de corps des S -classes centrales se comprend comme suit :

2.3.1. Lemme. Lorsque L/K est galoisienne, le corps des S -classes centrales

C _L/K ^S

est la plus grande extension galoisienne de K contenue dans H _L ^S

telle

que Gal(C _L/K ^S

/L) soit contenu dans le centre de Gal(C _L/K ^S

/K ).

Preuve. Posons G = Gal(L/K) et observons que le quotient J L /U L s'identie au groupe des idéaux I L du corps L . Pour établir la proposition, il sut na- turellement de prouver que si I G est l'idéal d'augmentation de Z [G] on a :

N J _L U _L = J _L ^I

U _L .

Or les idéaux de L de norme 1 sont précisement ceux contenus dans I _L ^I

. Il vient donc N J L U L ⊂ J _L ^I

U L ⊂ N J L U L , puis N J L U _L ^S L

= J _L ^I

U _L ^S L

; d'où le résultat.

2.3.2 Exemples.

(i) Le corps des classes centrales de l'extension L/K est l'extension abélienne C _L/K de L correspondant au sous-groupe N J L U L L

de J L . On a :

L ⊂ LH _L/K ⊂ C _L/K ⊂ H _L .

(ii) Le corps des classes centrales au sens restreint est l'extension abélienne C _L/K

L correspondant à N J L U _L

L

. On a :

L ⊂ LH _L/K

⊂ C _L/K

⊂ H _L

.

2.3.3. Théorème. Soient L/K une extension galoisienne de corps globaux, S K un ensemble ni de places de K et S L l'ensemble des places de L au dessus des places de S K . Alors corps des S -genres et corps des S -classes centrales sont liés par l'isomorphisme :

Gal(C _L/K ^S

/LH _L/K ^S

) ' (N L/K /N _L/K (L

))

(E _K ^S

∩ N L/K /E _K ^S

∩ N L/K (L

)) . 2.3.4. Corollaire. Sous les hypothèses du théorème, on a :

Gal(C _L/K /LH _L/K ) ' (N _L/K /N _L/K (L

)) (E K ∩ N L/K /E K ∩ N L/K (L

)) ,

Gal(C _L/K

/LH _L/K

) ' (N _L/K /N _L/K (L

)) (E _K

∩ N _L/K /E _K

∩ N _L/K (L

)) .

Preuve. Posons

T

= {α ∈ J L , N _L/K (α) ∈ N _L/K (U _L ^S

L

)}, et

T

= {α ∈ J _L , N _L/K (α) ∈ N _L/K (U _L ^S

)K

}.

Alors T

et T

sont des sous-groupe de J L et on a T

⊂ T

. De plus, C _L/K ^S

/L correspond à T

et G ^S _L/K

/L correspond à T

. Cela entraîne

Gal(C _L/K ^S

/LH _L/K ^S

) ' T

T

.

Considérons l'application f : T

→

N

dénie comme suit : Pour α ∈ T

, de norme N _L/K (α) = N _L/K (β)x avec β ∈ U _L ^S

et x ∈ K

, notons f (α) la classe de x. Montrons que f est bien dénie. Supposons N _L/K (α) = N _L/K (β

)x

avec β

∈ U _L ^S

et x

∈ K

. Nous obtenons x(x

)

= N _L/K (β

β

).

D'où x(x

)

∈ E _K ^S

∩ N _L/K , comme entendu. Notons que f est un morphisme de groupes.

Soit maintenant x ∈ N _L/K , disons x = N _L/K (α) pour un certain α ∈ J _L . Nous avons alors α ∈ T

. Ainsi f est une surjection.

Il est clair que T

est contenu dans Kerf.

Soit maintenant α ∈ Kerf. De l'égalité N _L/K (α) = N _L/K (β )N _L/K (y)µ avec β ∈ U _L ^S

, y ∈ L

et µ ∈ E _K ^S

∩ N _L/K , nous tirons µ = N _L/K (τ) avec τ ∈ U _L ^S

. Ainsi α ∈ T

.

Nous avons donc obtenu :

Gal(C _L/K ^S

/LH _L/K ^S

) ' (N _L/K /N _L/K (L

))

(E _K ^S

∩ N _L/K /E _K ^S

∩ N _L/K (L

)) . Le Théorème suit.

Il est bien connu que le groupe des noeuds N _L/K /N _L/K (L

) qui intervient au numérateur est un invariant purement galoisien de l'extension L/K : 2.3.5. Théorème. Soient K un corps global et L/K une extension galoisienne nie de groupe de Galois G. Pour toute place v de K, choisissons une place w de L au dessus de v et notons G v le groupe de décomposition de w dans L/K.

Posons N _L/K = K

∩ N _L/k (J L ). il vient : (i) _N

' Coker Q

v H ˆ

(G _v , Z ) → H ˆ

(G, Z ) .

(ii) Supposons L/K abélienne ; alors _N

est isomorphe au conoyau de l'application f : Q

v

V

G _v → V

G dénie par f (· · · , σ _v ∧ τ _v , · · · ) = P σ _v ∧ τ _v . Preuve. L'assertion (i) est dans [13], page 198, et (ii) résulte de [10], Théorème 3.

2.3.6. Corollaire. Si L/K est cyclique, ou plus généralement s'il existe une place v de K telle que G _v = Gal(L/K), on a :

C _L/K ^S

= LH _L/K ^S

.

Réunissant 2.2.4. et 2.3.3. nous obtenons la formule des S -classes centrales : 2.3.7. Théorème (Formule des S -classes centrales). Dans une extension galoisienne L/K de corps globaux, le nombre de S -classes centrales est donné par la formule :

[C _L/K ^S : L] = h ^S _K Π _{v∈P l}

K\S_K^∞

d

_v (L/K ) Π _{v∈P l}

K\S_K⁰

e ^ab _v (L/K) Π _v∈S

d ^ab _v (L/K)

[L ^ab : K] E _K ^S : E _K ^S ∩ N _L/K (L

) κ _L/K

Dans celle-ci, h ^S _K désigne le cardinal du groupe des S -classes Cs ^S _K d'idéaux signés et d

v (L/K) est le degré de l'extension abélienne locale L

v /K

v ; d ^ab _v (L/K) est l'ordre du groupe de décomposition abélianisé D ^ab _v (L/K) et e ^ab _v (L/K) celui du groupe d'inertie abélianisé I _v ^ab (L/K) ; le corps L ^ab est le plus grand sous- corps de L qui est abélien sur K ; le groupe E _K ^S est le groupe des S -unités (au sens restreint) de K ; et N _L/K ^S = K

∩ N _L/K (U _L ^S ) est le groupe des S -normes locales attaché à l'extension L/K ; enn κ _L/K = N _L/K : N _L/K (L

) est le nombre de noeuds de l'extension L/K .

Références

[1] R. Clement, The Genus Field of an Algebraic Function Field, Journal of Num- ber Theory 40 (1992), 359-375.

[2] G. Cornell, Relative Genus Theory and the Class Group of `-Extensions, Trans. of the Amer. Math. Soc. volume 277 number 1 (1983), 421-429.

[3] A. Fröhlich Local Fields, in J.-W.-S. Cassels & A. Fröhlich, Algebraic Number Theory, Academic Press, London (1967), 1-41.

[4] A. Fröhlich Central Extensions, Galois Groups, and Ideal Class Groups of Number Fields, Contemporary Mathematics volume 24, Amer. Math. Soc.

(1983).

[5] Y. Furuta, The Genus Field and Genus Number in Algebraic Number Fields, Nagoya Math. J. 29 (1967), 281-285.

[6] S. Galovich & M. Rosen, Units and Class Groups in Cyclotomic Function Fields, Journal of Number Theory 14 (1982), 156-184.

[7] L. J. Goldstein, On Prime Discriminants, Nagoya Math. J. 45 (1971), 119- 127.

[8] G. Gras, Pratique du corps de classes global.

[9] J.-F. Jaulent, L'Arithmétique des `-Extensions, Thèse d'Etat, Publ. Math.

Fac. Sci. Besançon, Théor. Nombres 1984/1985 & 1985/1986 (1986).

[10] M. Razar, Central and Genus Class Fields and the Hasse Norm Theorem, Compositio Math. vol. 35 (1977), 281-298.

[11] M. Rosen, Ambiguous Divisor Classes in Function Fields, Journal of Number Theory 9 (1977), 160-174.

[12] M. Rosen, The Hilbert Class Field in Function Fields, Expo. Math. 5 (1987), 365-378.

[13] J. Tate, Global Class Field Theory, in J.-W.-S. Cassels & A. Fröhlich, Algebraic Number Theory, Academic Press, London (1967), 162-203.

Bruno Anglès Jean-François Jaulent

Université Paul Sabatier Université Bordeaux

Laboratoire Emile Picard Institut de Mathématiques

U.F.R. M.I.G. 351, cours de la Libération

118 route de Narbonne F-33405 TALENCE Cedex

F-31062 TOULOUSE Cedex 4

E-mail : angles@picard.ups-tlse.fr jaulent@math.u-bordeaux.fr