Shimura Goro

Imaginez deux façons de décrire un même objet mathématique. Une courbe elliptique est dessinée par une équation, tandis qu'une forme modulaire est reconnue par une organisation de nombres. Le travail associé à Shimura et Taniyama affirme que ces deux descriptions peuvent se répondre.

Cette idée relie la géométrie des courbes à l'arithmétique des nombres. Elle est devenue célèbre parce qu'un cas crucial démontré par Andrew Wiles en 1995 intervient dans la preuve du dernier théorème de Fermat.

Gorō Shimura est un mathématicien japonais de la théorie des nombres, né en 1930 et mort en 2019. Son nom est surtout lié à la conjecture de Taniyama-Shimura-Weil, élaborée avec Yutaka Taniyama puis associée à une correspondance entre deux familles d'objets : les courbes elliptiques définies sur les rationnels et les formes modulaires.

Une courbe elliptique est ici une courbe algébrique définie sur les nombres rationnels ; on peut ensuite étudier l'ensemble de ses points rationnels. Une forme modulaire est une fonction soumise à de fortes symétries, dont les coefficients arithmétiques peuvent être étudiés. La conjecture affirme qu'une courbe elliptique sur les rationnels est reliée à une forme modulaire correspondante ; cette formulation décrit une correspondance profonde, et non une identité entre les deux objets.

La source rattache cette histoire à la collaboration de Shimura avec Taniyama, à ses échanges avec André Weil et à son installation à Princeton en 1962. En 1995, Andrew Wiles en a démontré un cas crucial, ce qui a permis d'établir la preuve du dernier théorème de Fermat.

Prenons le cas borné de la courbe elliptique E : y² = x³ − x, définie sur les rationnels. L'objectif n'est pas de démontrer la correspondance en général, mais de suivre une association précise sur quelques données contrôlables.

Données du cas : courbe de départ E : y² = x³ − x ; domaine, les nombres rationnels ; forme modulaire associée f(q) = q − 2q⁵ − 3q⁹ + … ; relation étudiée, la correspondance de Taniyama-Shimura-Weil. Pour les premiers 3 et 5, les réductions de E donnent respectivement 4 et 8 points, donc a₃ = 3 + 1 − 4 = 0 et a₅ = 5 + 1 − 8 = −2 ; ces valeurs se lisent dans les coefficients de q³ et q⁵ de f.

1. On fixe l'équation de E et le domaine rationnel.
2. On compte les points de ses réductions modulo 3 et 5, puis on calcule aₚ = p + 1 − #E(𝔽ₚ).
3. On compare a₃ et a₅ aux coefficients correspondants de f : 0 et −2. L'association devient ainsi lisible sur ces deux contrôles, sans confondre les deux objets.

Le résultat attendu est une association entre E et f dans le cadre considéré, pas une démonstration générale de la conjecture. Les deux contrôles numériques rendent la lecture vérifiable ; ils ne suffisent pas, à eux seuls, à établir toute la correspondance ni le dernier théorème de Fermat.

En théorie des nombres, cette correspondance sert à transférer une question vers la description qui fournit les outils les plus adaptés. On part d'une courbe elliptique sur les rationnels et l'on examine la forme modulaire qui lui est associée.

Pour replacer Shimura dans cette histoire, on distingue son travail mathématique de la démonstration ultérieure d'un cas crucial par Andrew Wiles. Cette distinction est préférable à l'attribution de toute la preuve à Shimura.

Pour une lecture historique, la correspondance est donc un point de liaison : elle met en rapport courbes elliptiques et formes modulaires, puis permet de comprendre pourquoi l'histoire rejoint le dernier théorème de Fermat.

Shimura et Andrew Wiles. Shimura est le mathématicien associé à la conjecture avec Taniyama ; Wiles a démontré un cas crucial en 1995. Une phrase qui attribue à Shimura la preuve de Fermat confond donc deux contributions historiques distinctes.

Une courbe elliptique et une forme modulaire. La première est une courbe algébrique étudiée sur les rationnels ; la seconde est une fonction dotée de symétries particulières. La conjecture établit une correspondance entre elles, sans les rendre identiques.

Conjecture et théorème démontré. Une conjecture est une affirmation proposée comme vraie mais qui demande une preuve complète. Le cas crucial démontré par Wiles en 1995 ne doit pas être reformulé comme si toute l'histoire était une conjecture restée sans résultat.

Le domaine rationnel est décisif. La formulation de référence porte sur les courbes elliptiques définies sur les rationnels. Si le domaine change, il faut préciser la version de la correspondance étudiée au lieu de conserver cette formulation sans contrôle.

Une correspondance n'est pas une égalité. Une courbe et une forme modulaire sont des objets de nature différente. Le symptôme d'une lecture abusive est de chercher à superposer leurs graphes ; il faut plutôt comparer la relation arithmétique annoncée.

Le rôle de Fermat doit rester borné. La source parle d'un cas crucial démontré par Wiles en 1995, qui lui a permis d'établir la preuve du dernier théorème de Fermat. Il faut conserver cette chaîne précise et ne pas transformer la date en date de la conjecture initiale.

La fiche conjecture de Taniyama-Shimura permet d'approfondir l'énoncé auquel le nom de Shimura est associé.

La fiche courbe elliptique précise l'objet géométrique étudié sur les rationnels.

La fiche forme modulaire présente l'autre famille d'objets de la correspondance.

La fiche théorème de Fermat aide à situer la conséquence historique rendue possible par le résultat de 1995.