$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Conjecture de Mordell

En théorie des nombres, le théorème de Mordell-Faltings, qui répond à la conjecture de Mordell, est un résultat important concernant le nombre de solutions d'une équation diophantienne. Donnons-nous une courbe algébrique $C,$ à coefficients rationnels, ie une courbe donnée par une équation de la forme $P(x_1,\dots,x_n)=0,$ où $P$ est un polynôme à coefficients rationnels. On se demande combien de points $(x_1,\dots,x_n)$ où toutes les coordonnées $x_i$ sont des nombres rationnels sont sur la courbe. Comme souvent en théorie des nombres, sous l'hypothèse que la courbe n'est pas trop particulière, la réponse dépend du genre de la courbe :

  • s'il vaut 0, aucun point, ou une infinité.
  • s'il vaut 1, aucun point, ou alors $C$ est une courbe elliptique dont l'ensemble des points rationnels forme un groupe abélien. En 1920, Mordell a démontré que ce groupe était finiment engendré.
  • s'il est plus grand que 2, la réponse fut plus compliquée à obtenir. Dans le même article que celui où il traite le cas du genre 1, Mordell avait conjecturé qu'il n'y avait qu'un nombre fini de points si le genre est supérieur ou égal à 2. Ceci fut effectivement démontré par Gerd Faltings en 1983.

Une application importante est la suivante : l'équation de Fermat $x^n+y^n=z^n$ correspond à une courbe de genre $(n-1)(n-2)/2.$ Ainsi, pour $n\geq 4,$ elle est de genre supérieur ou égal à $2,$ et n'admet donc qu'un nombre fini de solutions. Ce fut une des pistes employées par Andrew Wiles en 1993 pour démontrer complètement le grand théorème de Fermat : cette équation n'admet aucune solution non triviale dès que $n$ est supérieur ou égal à 3.

Consulter aussi...
Recherche alphabétique
Recherche thématique