Machine de Cox-Zucker

La machine de Cox-Zucker est un algorithme créé par David A. Cox et Steven Zucker (en). Cet algorithme détermine si un ensemble donné de sections fournit une base (à torsion près) pour le groupe de Mordell-Weil d'une surface elliptique (en) E → S, où S est isomorphe à la droite projective.

L'algorithme a été publié pour la première fois dans l'article de 1979 « Intersection numbers of sections of elliptic surfaces » (litt. « Nombres d'intersection de sections de surfaces elliptiques ») par Cox et Zucker^[1] et a ensuite été nommé « Cox-Zucker machine » (« machine de Cox-Zucker ») par Charles Schwartz en 1984^[2]. Le nom est un jeu de mots, par homophonie avec « cocksucker »^[a]. Ce trait d'humour était voulu par Cox et Zucker, qui ont eu l'idée de co-écrire un article en tant qu'étudiants à Princeton dans l'unique but de réaliser cette blague, une blague qu'ils ont poursuivie lorsqu'ils étaient professeurs à Rutgers cinq ans plus tard. Comme Cox l'a expliqué dans un hommage commémoratif à Zucker dans Notices of the American Mathematical Society en 2021 :

« Quelques semaines après notre rencontre, nous avons réalisé que nous devions rédiger un article commun car la combinaison de nos noms de famille, dans l'ordre alphabétique habituel, est remarquablement obscène. »^[3]

• Portail de l’algèbre