Symbole de Hilbert

En mathématiques, le symbole de Hilbert est une application algébrique permettant de tester les solutions de certaines équations algébriques, particulièrement dans les corps de nombres p-adiques, mais aussi un objet permettant de formuler certaines lois de réciprocité (en), et intéressant pour la théorie des corps de classes ; enfin, c'est un cas particulier de la notion de symbole sur un corps, qui est un concept important en K-théorie algébrique.

Le symbole de Hilbert $(a, b) 2$ de deux éléments non nuls $a$ et $b$ d'un corps K est 1 ou –1, suivant que l'équation $ax 2 + by 2$ = 1 admet ou non une solution $(x, y)$ dans K. Une telle équation revient en fait à se demander si $a$ est une norme dans l'extension a priori quadratique K( $\sqrt b$ ).

Cette définition se généralise, pour un corps local K, en une fonction (–, –) de K* × K* dans le groupe des racines de l'unité de K. Avec ce point de vue, en considérant tous les symboles de Hilbert définis sur le corps des réels et les différents corps ℚ_p de nombres p-adiques, on parvient à une formulation de la loi de réciprocité quadratique, et plus généralement à la loi de réciprocité pour les puissances n-ièmes.

Ce symbole a été introduit par Hilbert dans son Zahlbericht^[1], à la différence près que sa définition concernait les corps globaux. Il a été généralisé aux corps locaux supérieurs (en).

Symbole de Hilbert quadratique[modifier | modifier le code]

Sur un corps local K, dont le groupe multiplicatif des éléments non nuls est noté K*, le symbole de Hilbert quadratique est la fonction (–, –) de K* × K* dans {–1, 1} définie par

(a,b)={\begin{cases}1&{\mbox{ si }}z^{2}=ax^{2}+by^{2}{\mbox{ a une solution non nulle }}(x,y,z)\in K^{3},\\-1&{\mbox{ sinon.}}\end{cases}}

Propriétés[modifier | modifier le code]

Les trois propriétés suivantes résultent directement de la définition, en choisissant des solutions appropriées de l'équation diophantienne ci-dessus :

si a est un carré, alors (a, b) = 1 pour tout b ;
pour tous a, b dans K*, (a, b) = (b, a) ;
pour tout a dans K* tel que a – 1 soit aussi dans K*, on a (a, 1 – a) = 1.

La (bi)multiplicativité, i.e. pour tous a, b₁ et b₂ dans K* (a, b₁b₂) = (a, b₁)(a, b₂) est, quant à elle, plus difficile à démontrer et nécessite le développement de la théorie du corps de classe local.

La propriété 3 montre que le symbole de Hilbert est un exemple de symbole de Steinberg et donc se factorise par le deuxième groupe de K-théorie de Milnor K₂^M(K) = K* ⊗ K* / 〈 a ⊗ (1 – a), a ∈ K*\{1} 〉. D'après la propriété 1, il se factorise même par K₂^M(K)/2. C'est le premier pas vers la conjecture de Milnor.

Interprétation comme algèbre[modifier | modifier le code]

Si K est de caractéristique différente de 2, le symbole de Hilbert classifie l'algèbre de quaternions sur K de base $(1, i, j, k)$ dont la multiplication est définie par $i$ ² = a, $j$ ² = b, $ij = -ji = k$ : cette algèbre est isomorphe à M₂(K) si (a, b) = 1 et sinon, c'est un corps de quaternions H, dont la classe dans le groupe de Brauer de K est d'ordre 2 car H⊗H ≃ M₄(K).

Symboles de Hilbert sur les rationnels[modifier | modifier le code]

Soient $v$ une place sur le corps ℚ des rationnels et ℚ_$v$ le complété correspondant de ℚ (c'est-à-dire le corps des nombres p-adiques si $v$ est la valuation associée à un nombre premier p, et le corps des réels si $v$ est la « place infinie »).

Pour deux entiers $a, b$ vus comme éléments de ℚ_$v$, soit $(a, b) v$ la valeur du symbole de Hilbert.

Sur les réels, $(a, b) \infty$ vaut +1 si $a$ ou $b$ est positif et –1 s'ils sont tous deux négatifs.

Sur les p-adiques, en écrivant $a=p^{\alpha }u{\text{ et }}b=p^{\beta }v,$ où $u$ et $v$ sont des entiers non divisibles par p, on a :

si p est impair, $(a,b)_{p}=(-1)^{\alpha \beta \epsilon (p)}\left({\frac {u}{p}}\right)^{\beta }\left({\frac {v}{p}}\right)^{\alpha },\mathrm {~o{\grave {u}}~} \epsilon (p)=(p-1)/2$ et où l'expression fait intervenir les symboles de Legendre ;
si p = 2, $(a,b)_{2}=(-1)^{\epsilon (u)\epsilon (v)+\alpha \omega (v)+\beta \omega (u)},\mathrm {~o{\grave {u}}~} \omega (x)=(x^{2}-1)/8.$

La loi de réciprocité quadratique équivaut à la formule

\prod _{\rm {v}}(a,b)_{\rm {v}}=1,

qui a un sens car $(a, b) v$ = 1 pour toutes les places $v$ sauf un nombre fini.

Radical de Kaplansky[modifier | modifier le code]

Le symbole de Hilbert sur un corps K définit une application à valeurs dans son groupe de Brauer : $(\cdot ,\cdot ):K^{*}/K^{*2}\times K^{*}/K^{*2}\to {\rm {Br}}(K).$ Le noyau de cette application, constitué des éléments a tels que (a, b) = 1 pour tout b, est le radical de Kaplansky^[2] de K. Ce sous-groupe de K*/K*² est égal au groupe tout entier si et seulement si^[2] K n'est pas formellement réel et si son u-invariant (en) est au plus égal à 2 (c'est-à-dire si en dimension supérieure ou égale à 3, aucune forme quadratique n'est définie). Les corps K dont le radical, à l'opposé, est réduit à K*², sont appelés les corps de Hilbert^[3]^,^[4].

Symbole de Hilbert général[modifier | modifier le code]

Si un corps local K contient le groupe μ_n des racines n^e de l'unité pour un certain entier naturel n premier avec la caractéristique de K, alors le symbole de Hilbert général est une fonction (–, –) de K* × K* dans μ_n, définie en termes du symbole d'Artin de la théorie des corps de classes locaux, par :

(a,b)={\frac {(a,K({\sqrt[{n}]{b}})/K)({\sqrt[{n}]{b}})}{\sqrt[{n}]{b}}}.

Sa définition originelle par Hilbert (quand le symbole d'Artin n'existait pas encore), pour n premier, utilisait le symbole de puissance résiduelle quand la caractéristique de K est première à n, et était assez compliquée quand cette caractéristique divise n.

Propriétés[modifier | modifier le code]

Le symbole de Hilbert est

(multiplicativement) bilinéaire : (ab, c) = (a, c)(b, c) et (a, bc) = (a, b)(a, c),
antisymétrique : (a, b) = (b, a)⁻¹,
non dégénéré : (a, b) = 1 pour tout b si et seulement si a est une puissance n-ième dans K*.

Il détecte les normes (d'où son nom de symbole de norme résiduelle^[5]) : (a, b) = 1 si et seulement si a est une norme dans K( $n \sqrt b$ ).

Il a les « propriétés de symbole » : (a, 1 – a) = 1 et (a, –a) = 1.

Loi de réciprocité de Hilbert[modifier | modifier le code]

La loi de réciprocité de Hilbert établit que si $a$ et $b$ appartiennent à un corps de nombres K contenant les racines n-ièmes de l'unité, alors

\prod _{\rm {v}}(a,b)_{\rm {v}}=1,

où, comme plus haut, le produit est pris sur toutes les places finies et infinies $v$ de K et (–, –)_$v$ désigne le symbole de Hilbert du complété K_$v$.

La preuve moderne de cette loi de réciprocité est un corollaire de celle d'Artin.

Symbole de puissance résiduelle[modifier | modifier le code]

Si, à nouveau, K est un corps de nombres contenant les racines n-ièmes de l'unité, et si de plus p est un idéal premier ne divisant pas n, $π$ un élément premier du localisé en p et $a$ est premier à p, alors le symbole de puissance résiduelle (en) ${\binom {a}{p}}$ est relié au symbole de Hilbert par

{\binom {a}{p}}=(\pi ,a)_{p}.

Il s'étend aux idéaux fractionnaires par multiplicativité, et aux éléments de K en posant

{\binom {a}{b}}={\binom {a}{(b)}},

où (b) est l'idéal principal engendré par b. La loi de réciprocité de Hilbert entraîne alors la loi de réciprocité suivante pour le symbole de puissance résiduelle, pour $a$ et $b$ premiers entre eux et avec n :

{\binom {a}{b}}={\binom {b}{a}}\prod _{p|n,\infty }(a,b)_{p}.

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Hilbert symbol » (voir la liste des auteurs).

↑ (de) David Hilbert, « Die Theorie der algebraischen Zahlkörper », Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 4,‎ 1897, p. 175–546 (ISSN 0012-0456, lire en ligne), sections 64, 131 de la traduction en anglais de 1998
↑ ^{a et b} (en) Tsit-Yuen Lam, Introduction to Quadratic Forms over Fields, Providence (R.I.), AMS, coll. « Graduate Studies in Mathematics » (n^o 67), 2005, 550 p. (ISBN 0-8218-1095-2, lire en ligne), p. 450-451
↑ Lam 2005, p. 455
↑ Ne pas confondre avec les corps de classes de Hilbert.
↑ (en) « Norm-residue symbol », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)

Bibliographie[modifier | modifier le code]

(en) Z. I. Borevich (en) et I. R. Shafarevich, Number theory, Academic Press, 1966 (ISBN 0-12-117851-X, lire en ligne)
(en) Georges Gras, Class Field Theory. From Theory to Practice [détail de l’édition]
(en) David Hilbert, The theory of algebraic number fields, Springer, 1998, 351 p. (ISBN 978-3-540-62779-1, lire en ligne)
(en) Franz Lemmermeyer, Reciprocity Laws : From Euler to Eisenstein, Berlin/New York, Springer, 2000, 487 p. (ISBN 978-3-540-66957-9, lire en ligne), p. 60-76
(en) John Willard Milnor, Introduction to algebraic K-theory, PUP, coll. « Annals of Mathematics Studies » (n^o 72), 1971 (lire en ligne)
Jean-Pierre Serre, Cours d'arithmétique, 1970 [détail des éditions]
(en) S. V. Vostokov et I. B. Fesenko, Local fields and their extensions, AMS, coll. « Translations of Mathematical Monographs » (n^o 121), 2002, 345 p. (ISBN 978-0-8218-3259-2, lire en ligne)

Arithmétique et théorie des nombres

[1] (de) David Hilbert, « Die Theorie der algebraischen Zahlkörper », Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 4,‎ 1897, p. 175–546 (ISSN 0012-0456, lire en ligne), sections 64, 131 de la traduction en anglais de 1998

[Lam450-2] {a et b} (en) Tsit-Yuen Lam, Introduction to Quadratic Forms over Fields, Providence (R.I.), AMS, coll. « Graduate Studies in Mathematics » (n^o 67), 2005, 550 p. (ISBN 0-8218-1095-2, lire en ligne), p. 450-451

[3] Lam 2005, p. 455

[4] Ne pas confondre avec les corps de classes de Hilbert.

[5] (en) « Norm-residue symbol », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)

[1]

[2]

[3]

[4]

[5]