3
des courbes elliptiques qui semblent se traduire en plusieurs langues mathématiques,
je me suis intéressé aux fonctions L des courbes elliptiques, et aux formes modulaires
dont le lien avec les courbes elliptiques a été prouvé que très récemment (1994, par-
tiellement, avec le théorème de Fermat, puis 1999). Comme je n’ai pas pu consacrer
le temps mérité à ces branches des mathématiques, et que j’ai préféré accentuer mes
connaissances bien appuyées plutôt que les recherches récentes et autres questions
ouvertes, la dernière partie est très concentrée, et contient aucune démonstration.
Enfin, je remercie M. Hindry pour sa disponibilité et ses réponses patientes et
éclairantes, ainsi que mes compagnons d’infortune à Chevaleret, pour m’avoir rejoint
dans la lutte contre le sommeil, lors des après-midi de grande chaleur et de digestion.
2. Notions essentielles
2.1. En algèbre générale. — Je travaille uniquement sur des anneaux commuta-
tifs intègres.
Définition 2.1 (Module). — Un A-module est à l’anneau Ace qu’un K-espace
vectoriel est au corps K.
Toutes les définitions et propositions de base à ce sujet (je pense par exemple aux
théorèmes de structure) se trouvent dans tout cours d’algèbre digne de ce nom, [Hd1]
par exemple.
Par contre, pour les besoins de la cause je vais introduire un type particulier d’an-
neau, qui ressemble beaucoup aux corps de fractions. Un anneau local est un anneau
qui n’a qu’un seul idéal maximal. C’est une structure suffisamment simple pour qu’on
n’ait pas besoin d’être convaincu qu’elle revêt un intérêt particulier. Cependant, on
se rend vite compte que les anneaux classiques ne vérifient pas ceci (je ne peux que
citer l’anneau K[[X]] des séries formelles, d’idéal maximal unique (X))... Mais dans
un anneau quelconque, on peut encore localiser « en des idéaux premiers p».
Pour ce faire, soit pun idéal premier, et S=Arpqui est stable par multiplication
d’après la définition d’un idéal premier. Je considère la relation d’équivalence sur
A×S:(a, s)∼(a0, s0)⇔as0−a0s= 0 (∗). Avec ces notations, j’en arrive à la
Définition 2.2 (Anneau, module localisés). — On appelle anneau localisé en p,
qu’on note Ap, l’ensemble (A×S)/∼. Les éléments (a, s)de Apsont notés a
s. De même,
si Mest un A-module, les éléments m
sconstruits de la même manière constituent un
A-module, appelé module localisé en p.
Si par exemple p= (p)où pest un élément de A, on peut voir Apcomme les
fractions au dénominateur non divisible par p. Si bien qu’en prenant p={0}, on
retrouve le corps des fractions classique. Il est facile de vérifier que c’est un anneau
qui porte bien son nom, puisqu’il a pour unique idéal maximal l’ensemble des frac-
tions a
soù a∈p(ce qui rend la fraction non inversible dans Ap; le quotient donne
effectivement un corps). On peut aussi considérer le complémentaire d’un ensemble
∗. Dans le cas non intègre, remplacer par « ∃s0;s0(as0−a0s)=0», sinon la transitivité pose
problème.