Discriminant d'un corps de nombres

Soit K un corps de nombres, et soit ${\displaystyle {\mathcal {O}}_{K}}$ l'anneau de ses entiers. Soit ${\displaystyle (b_{1},\ldots ,b_{n})}$ une base intégrale de ${\displaystyle {\mathcal {O}}_{K}}$ (c'est-à-dire une base en tant que ${\displaystyle \mathbb {Z} }$-module libre), et soit ${\displaystyle \{\sigma _{1},\ldots ,\sigma _{n}\}}$ l'ensemble des plongements de K dans ${\displaystyle \mathbb {C} }$ (c'est-à-dire des morphismes de K dans le corps des nombres complexes). Le discriminant de K est le carré du déterminant de la matrice B dont le coefficient (i, j) est ${\displaystyle \sigma _{i}(b_{j})}$. Formellement,

${\displaystyle \Delta _{K}=\det \left({\begin{array}{cccc}\sigma _{1}(b_{1})&\sigma _{1}(b_{2})&\cdots &\sigma _{1}(b_{n})\\\sigma _{2}(b_{1})&\ddots &&\vdots \\\vdots &&\ddots &\vdots \\\sigma _{n}(b_{1})&\cdots &\cdots &\sigma _{n}(b_{n})\end{array}}\right)^{2}.}$

De manière équivalente, on peut utiliser la trace de K sur ${\displaystyle \mathbb {Q} }$. Plus précisément, définissons la forme trace comme étant la matrice dont le coefficient (i, j) est ${\displaystyle \mathrm {Tr} _{K/\mathbb {Q} }(b_{i}b_{j})}$. Cette matrice vaut ${\displaystyle B^{T}B}$, donc le discriminant de K est le déterminant de cette matrice.

• Corps quadratiques : soit d un entier sans facteur carré, alors le discriminant de ${\displaystyle K=\mathbb {Q} ({\sqrt {d}})}$ est

${\displaystyle \Delta _{K}=\left\{{\begin{array}{ll}d&{\text{si }}d\equiv 1{\pmod {4}}\\4d&{\text{si }}d\equiv 2,3{\pmod {4}}.\\\end{array}}\right.}$

Un entier qui apparaît comme le discriminant d'un corps quadratique est appelé un discriminant fondamental^[2].

• Corps cyclotomiques : soit ${\displaystyle n>2}$ un entier, soit ${\displaystyle \zeta _{n}}$ une racine primitive n-ième de l'unité, et soit ${\displaystyle K_{n}=\mathbb {Q} (\zeta _{n})}$ le n-ième corps cyclotomique. Le discriminant de ${\displaystyle K_{n}}$ est donné par^[3]

${\displaystyle \Delta _{K_{n}}=(-1)^{\varphi (n)/2}{\frac {n^{\varphi (n)}}{\displaystyle \prod _{p|n}p^{\varphi (n)/(p-1)}}}}$

où ${\displaystyle \varphi }$ est la fonction indicatrice d'Euler, et le produit au dénominateur porte sur les nombres premiers p divisant n.

• Bases de puissances : dans le cas où l'anneau des entiers peut s'écrire ${\displaystyle {\mathcal {O}}_{K}=\mathbb {Z} [\alpha ]}$, le discriminant de K est égal au discriminant du polynôme minimal de ${\displaystyle \alpha }$. Pour voir cela, on peut choisir ${\displaystyle (1,\alpha ,\ldots ,\alpha ^{n-1})}$ comme base intégrale de ${\displaystyle {\mathcal {O}}_{K}}$. Alors, la matrice dans la définition est la matrice de Vandermonde associée à α_i = σ_i(α), dont le déterminant au carré est

${\displaystyle \prod _{1\leq i<j\leq n}(\alpha _{i}-\alpha _{j})^{2}}$

qui est exactement la définition du discriminant du polynôme minimal.

• Soit ${\displaystyle K=\mathbb {Q} (\alpha )}$ le corps de nombres obtenu en adjoignant une racine α du polynôme ${\displaystyle X^{3}-X^{2}-2X-8}$. Il s'agit de l'exemple original de Richard Dedekind d'un corps de nombre dont l'anneau d'entiers ne possède pas de base de puissance. Une base intégrale est ${\displaystyle \left\{1,\alpha ,{\frac {\alpha (1+\alpha )}{2}}\right\}}$ et le discriminant de K est –503^[4],[5].
• Discriminants répétés : le discriminant d'un corps quadratique l'identifie de manière injective, mais ce n'est pas vrai en général, pour les corps de nombres de degré supérieur. Par exemple, il existe deux corps cubiques (en) non isomorphes de discriminant 3969. Ils sont obtenus en adjoignant une racine du polynôme ${\displaystyle X^{3}-21X+28}$ ou ${\displaystyle X^{3}-21X-35}$, respectivement^[6].

• Théorème de Brill^[7] : le signe du discriminant est ${\displaystyle (-1)^{r_{2}}}$ où ${\displaystyle r_{2}}$ est le nombre de plongements complexes de K^[8].
• Un nombre premier p se ramifie dans K si et seulement si p divise ${\displaystyle \Delta _{K}}$^[9].
• Théorème de Stickelberger^[10] :${\displaystyle \Delta _{K}\equiv 0{\text{ ou }}1{\pmod {4}}.}$
• Borne de Minkowski^[11] : soit n le degré de l'extension ${\displaystyle K/\mathbb {Q} }$ et ${\displaystyle r_{2}}$ le nombre de plongements complexes de K, alors${\displaystyle |\Delta _{K}|^{1/2}\geq {\frac {n^{n}}{n!}}\left({\frac {\pi }{4}}\right)^{r_{2}}\geq {\frac {n^{n}}{n!}}\left({\frac {\pi }{4}}\right)^{n/2}.}$
• Théorème de Minkowski^[12] : si ${\displaystyle K\neq \mathbb {Q} }$, alors ${\displaystyle |\Delta _{K}|>1}$ (ceci découle directement de la borne de Minkowski).
• Théorème d'Hermite-Minkowski^[13] : soit N un entier strictement positif. Il n'y a qu'un nombre fini (à isomorphismes près) de corps de nombres K avec ${\displaystyle |\Delta _{K}|<N}$. Encore une fois, cela découle de la borne de Minkowski ainsi que du théorème d'Hermite.

La définition du discriminant d'un corps de nombres général a été donnée par Dedekind en 1871. À ce stade, il connaissait déjà la relation entre le discriminant et la ramification^[14].

Le théorème d'Hermite est antérieur à la définition générale du discriminant, Charles Hermite en publiant une preuve en 1857^[15]. En 1877, Alexander von Brill détermina le signe du discriminant^[16]. Leopold Kronecker fut le premier à énoncer le théorème de Minkowski en 1882^[17], mais la première preuve ne fut donnée qu'en 1891, par Hermann Minkowski^[18]. La même année, Minkowski publia sa borne sur le discriminant^[19]. Vers la fin du XIX^e siècle, Ludwig Stickelberger obtint son théorème sur le résidu du discriminant modulo 4^[20],[21].

Le discriminant défini ci-dessus est parfois appelé discriminant absolu de K pour le distinguer du discriminant relatif ${\displaystyle \Delta _{K/L}}$ d'une extension de corps de nombres ${\displaystyle K/L}$, qui est un idéal dans ${\displaystyle {\mathcal {O}}_{L}}$. Le discriminant relatif est défini de manière similaire au discriminant absolu, mais doit tenir compte du fait que les idéaux dans ${\displaystyle {\mathcal {O}}_{L}}$ peuvent ne pas être principaux et qu'il peut ne pas y avoir de ${\displaystyle {\mathcal {O}}_{L}}$-base de ${\displaystyle {\mathcal {O}}_{K}}$. Soit ${\displaystyle \{\sigma _{1},\ldots ,\sigma _{n}\}}$ l'ensemble des plongements de K dans ${\displaystyle \mathbb {C} }$ qui sont l'identité sur L. Si ${\displaystyle (b_{1},\ldots ,b_{n})}$ est une base quelconque de K sur L, soit ${\displaystyle d(b_{1},\ldots ,b_{n})}$ le carré du déterminant de la matrice n par n dont le coefficient (i, j) est ${\displaystyle \sigma _{i}(b_{j})}$. Alors, le discriminant relatif de ${\displaystyle K/L}$ est l'idéal engendré par les ${\displaystyle d(b_{1},\ldots ,b_{n})}$ lorsque ${\displaystyle \{b_{1},\ldots ,b_{n}\}}$ varie sur toutes les bases intégrales de ${\displaystyle K/L}$. Alternativement, le discriminant relatif de ${\displaystyle K/L}$ est la norme de la différente de ${\displaystyle K/L}$^[22]. Lorsque ${\displaystyle L=\mathbb {Q} }$, le discriminant relatif ${\displaystyle \Delta _{K/\mathbb {Q} }}$ est l'idéal principal de ${\displaystyle \mathbb {Z} }$ engendré par le discriminant absolu ${\displaystyle \Delta _{K}}$. Dans une tour de corps ${\displaystyle K/L/F}$, les discriminants relatifs sont liés par

${\displaystyle \Delta _{K/F}={\mathcal {N}}_{L/F}\left({\Delta _{K/L}}\right)\Delta _{L/F}^{[K:L]}}$

où ${\displaystyle {\mathcal {N}}}$ désigne la norme relative^[23].

Le discriminant relatif régule les données de ramification de l'extension de corps ${\displaystyle K/L}$. Un idéal premier p de L se ramifie dans K si, et seulement si, il divise le discriminant relatif ${\displaystyle \Delta _{K/L}}$. Une extension est donc non ramifiée si, et seulement si, son discriminant est l'idéal (1)^[9]. La borne de Minkowski ci-dessus montre que ${\displaystyle \mathbb {Q} }$ n'a pas d'extension non ramifiée non triviale. En revanche, les corps plus grands que ${\displaystyle \mathbb {Q} }$ peuvent avoir des extensions non ramifiées : par exemple, si le nombre de classes d'un corps est strictement supérieur à 1, son corps de classes de Hilbert est une extension non triviale non ramifiée.