Milnor John

Né en 1931 et formé à l’université de Princeton, John Milnor s’est attaqué très tôt à des objets difficiles à se représenter : nœuds, entrelacs et sphères de grande dimension. Sa thèse de 1954 porte sur l’isotopie des entrelacs, c’est-à-dire leur étude à travers des déformations continues.

Son résultat le plus célèbre montre surtout qu’un même objet peut cacher plusieurs géométries lisses. Sur la sphère de dimension 7, il met en évidence 28 structures différentielles non difféomorphes : aucun difféomorphisme ne permet de les identifier deux à deux. Ce constat a joué un rôle fondateur en topologie différentielle.

John Willard Milnor est un mathématicien américain né en 1931 et formé à l’université de Princeton. Ses travaux relèvent de la géométrie différentielle, de la topologie et de l’algèbre. En 1954, il soutient une thèse consacrée à l’isotopie des entrelacs. Au début de sa carrière, il démontre indépendamment de Fary le théorème de Fary-Milnor sur la courbure totale des nœuds.

Sa contribution la plus célèbre concerne la sphère de dimension 7, notée S⁷. Une structure différentielle précise la manière de faire de cet objet un espace lisse ; deux telles structures sont dites difféomorphes lorsqu’un difféomorphisme les identifie. Milnor met en évidence 28 structures différentielles non difféomorphes sur S⁷. Ce résultat est fondateur pour la topologie différentielle. La représentation associée rend visible la distinction entre l’unique sphère considérée et les 28 structures qui lui sont attachées.

Ses travaux lui valent la médaille Fields, le prix Wolf et le prix Abel. Ses ouvrages de référence couvrent plusieurs pans de ses recherches : Morse Theory, Characteristic Classes avec Stasheff, The h-Cobordism Theorem, Dynamics in One Complex Variable, Singular Points of Complex Hypersurfaces et Topology from the Differentiable Viewpoint.

Suivons le résultat le plus célèbre de Milnor comme un raisonnement de classement. Les données sont la sphère de dimension 7, notée S⁷, des structures différentielles portées par cette sphère et le difféomorphisme comme critère d’identification.

1. On fixe d’abord l’objet étudié : toutes les structures sont portées par S⁷.

2. On distingue ensuite la sphère elle-même de la structure différentielle qui lui donne son caractère lisse.

3. Prenons deux structures A et B portées par le même support S⁷. La donnée comparée est la structure lisse, A ou B, et non la sphère support. On cherche alors un difféomorphisme entre les espaces lisses (S⁷, A) et (S⁷, B) : s’il en existe un, le critère les place dans la même classe ; s’il n’en existe pas, il les distingue.

4. Le résultat attribué à Milnor fait apparaître 28 structures non difféomorphes. Le contrôle consiste à vérifier que le support reste toujours S⁷ et que le décompte porte sur les structures séparées par le critère de difféomorphisme, non sur 28 sphères de dimensions différentes.

Pour situer John Milnor dans l’histoire des mathématiques, on peut partir de sa thèse de 1954 sur l’isotopie des entrelacs. Si l’on cherche plutôt un résultat fondateur, le repère décisif est son travail sur les 28 structures différentielles de la sphère de dimension 7.

Pour entrer dans ses ouvrages, le sujet fournit le meilleur critère de choix. Morse Theory et Topology from the Differentiable Viewpoint orientent vers la topologie différentielle ; Dynamics in One Complex Variable conduit vers la dynamique complexe.

Pour distinguer reconnaissance institutionnelle et contenu mathématique, on relève séparément les résultats et les distinctions. La médaille Fields, le prix Wolf et le prix Abel signalent la portée de l’œuvre, mais ne remplacent pas l’identification précise d’un théorème ou d’un domaine.

John Milnor et le théorème de Fary-Milnor. John Milnor est la personne dont la fiche retrace les travaux ; le théorème de Fary-Milnor est un résultat précis sur la courbure totale des nœuds. La présence du second nom, Fary, et d’un énoncé sur les nœuds indique que l’on parle du théorème, non de l’ensemble de l’œuvre de Milnor.

Un entrelacs et son isotopie. L’entrelacs est l’objet étudié dans la thèse de 1954 ; l’isotopie est la relation de déformation mobilisée pour l’étudier. Une phrase qui nomme les courbes désigne l’objet, tandis qu’une phrase qui compare deux configurations par déformation désigne l’isotopie.

Le nombre 28 dépend du cadre précis du résultat. Il ne vaut pas pour toute classification de sphères ni pour toute convention. Le symptôme d’un raccourci est l’emploi de « 28 » sans préciser l’orientation et la relation d’équivalence retenues. Il faut revenir à l’énoncé mathématique de référence avant de transposer ce nombre.

La date de 1954 concerne la thèse. Elle ne date pas automatiquement la mise en évidence des structures sur S⁷. Une chronologie qui rattache les deux événements à cette même année les confond ; il faut vérifier séparément la date du second résultat.

L’indépendance de la démonstration doit être conservée. Milnor démontre indépendamment de Fary le théorème de Fary-Milnor. Une formulation qui attribuerait à Milnor seul l’ensemble du résultat effacerait cette précision ; il faut maintenir les deux noms et l’indépendance signalée.

Les ouvrages cités dessinent plusieurs prolongements possibles sans les confondre. Topology from the Differentiable Viewpoint, Morse Theory et The h-Cobordism Theorem prolongent l’axe topologique ; Characteristic Classes, écrit avec Stasheff, ouvre l’axe algébrique associé.

Deux autres directions apparaissent dans la bibliographie : les singularités avec Singular Points of Complex Hypersurfaces, et la dynamique complexe avec Dynamics in One Complex Variable. Ces titres permettent de choisir un prolongement selon le domaine recherché.