Les clés de lecture
Avant la preuve.
Des définitions et des exemples pour entrer dans les articles, une notion à la fois.
Courbes elliptiques
Des équations cubiques dont les points portent une loi d’addition.
Lire une borne
O, ≪, ∼ : trois symboles pour trois affirmations différentes.
L’uniformité
Une borne commune à une famille, et pas seulement une borne pour chaque objet.
Réseaux et covolume
Répéter une base dans l’espace, puis comparer les arrangements à densité égale.
Les fonctions L
Encoder des données arithmétiques dans une fonction d’une variable complexe.
Les nombres p-adiques
Une autre manière de mesurer la proximité, fondée sur la divisibilité par un premier.
Modules et idéaux de Fitting
Extraire un invariant d’un module à partir des mineurs d’une matrice.
Le conducteur
Pour une courbe elliptique sur les rationnels, le conducteur est un entier dont les facteurs premiers sont exactement les premiers de mauvaise réduction. Leurs exposants mesurent une information locale de ramification ; ils ne sont pas les exposants du discriminant.
Le discriminant minimal
Le discriminant détecte les singularités d’une équation de courbe elliptique. Le discriminant minimal provient d’un modèle entier minimal ; sa valeur absolue mesure notamment l’intensité des mauvaises réductions.
Les groupes de Selmer
Un groupe de Selmer sélectionne des classes de cohomologie globales qui satisfont des conditions locales. Il relie l’étude des points rationnels à des informations obtenues dans les complétés du corps de base.