John Leech (mathématicien)

Biographie
Naissance	21 juillet 1926; Weybridge
Décès	28 septembre 1992 (à 66 ans); Firth of Clyde
Nationalité	britannique
Formation	Trent College (en) (jusqu'en 1946); King's College (1946-1950); Université de Cambridge (1954-1959)
Activités	Mathématicien, professeur d'université
Conjoint	Jenifer Haselgrove (en)
A travaillé pour	Université de Stirling (1968-1980); Atlas Computer Laboratory (en) (1967-1968); Université de Glasgow (1959-1967); Ferranti (1950-1954)
	Réseau de Leech

John Leech (21 juillet 1926 – 28 septembre 1992) est un mathématicien britannique qui a travaillé en théorie des nombres, géométrie et théorie combinatoire des groupes. Il est surtout connu pour sa découverte du réseau de Leech en 1965. Il a été marié à Jenifer Haselgrove (en), une scientifique britannique.

Biographie

John Leech fréquente le Trent College dans le Derbyshire et le King's College de Cambridge, où il obtient une licence en mathématiques en 1950. Il travaille ensuite chez Ferranti à Manchester sur le développement des premiers ordinateurs. En 1954, il retourne à Cambridge en tant qu'étudiant chercheur. En 1959, il devient lecturer au Computing Laboratory de l'université de Glasgow. En 1967-1968, il est chercheur à l'Atlas Computer Laboratory près de Harwell. En 1968, il rejoint la nouvelle université de Stirling, où il enseigne l'informatique dans une chaire spécialement créée pour lui. En 1980, il prend une retraite anticipée pour des raisons de santé.

Leech est victime d'une crise cardiaque à bord du « Waverley », un bateau à aubes historique, alors que celui-ci effectue son dernier voyage de la saison entre Rothesay et Largs. Leech faisait partie du comité de soutien au bateau à vapeur.

Recherche

Leech est l'un des premiers à appliquer l'informatique à l'algèbre effective, par exemple en implémentant l'algorithme de Todd-Coxeter pour l'énumération des classes d'un groupe modulo un sous-groupe. Il est principalement connu pour sa découverte en 1964 du réseau de Leech, le réseau d'un empilement dense de sphères en 24 dimensions, qui est important pour la construction des groupes simples sporadiques. Par exemple, John H. Conway a construit trois nouveaux groupes sporadiques comme groupes de symétrie du réseau de Leech. Auparavant, Leech lui-même avait tenté en vain d'intéresser d'autres théoriciens des groupes et géomètres comme H. S. M. Coxeter, John Arthur Todd et Graham Higman à l'étude du groupe de symétries de son réseau.

En 1956, John Leech donne, dans une courte note, une nouvelle preuve du problème du nombre de contact en trois dimensions, à savoir qu'au plus douze autres sphères de même taille peuvent toucher une sphère centrale. Bartel Leendert van der Waerden et Kurt Schütte l'avaient déjà démontré en 1953. La preuve de Leech était présentée de manière très sommaire^[1], mais elle est considérée comme très élégante et c'est pourquoi Aigner et Ziegler l'ont incluse dans la première édition de leur livre Proofs from THE BOOK^[2].

Publications (sélection)

Leech, John, « Notes on sphere packings », Canadian Journal of Mathematics, vol. 19,‎ 1967, p. 251-267 (zbMATH 0162.25901).
Leech, John, « Some sphere packing in higher space. », Canadian Journal of Mathematics, vol. 16,‎ 1964, p. 657-682 (zbMATH 0142.20201).
Leech, John, « The problem of the thirteen spheres », Mathematical Gazette, vol. 40,‎ 1956, p. 22-23 (zbMATH 0070.17601).

Bibliographie

T. M. Thompson, From error-correcting codes through sphere packings to simple groups, Washington, 1983.
Douglas Munn, « John Leech : Navigator of maths », The Guardian,‎ 14 octobre 1992.
« Obituary John Leech », The Glasgow Herald Glasgow, 1er Octobre 1992.

Notes et références

↑ John Leech, « The Problem of the Thirteen Spheres », The Mathematical Gazette, vol. 40,‎ 1956, p. 22-23 (DOI 10.2307/3610264, JSTOR 3610264).
↑ Avec des extensions des auteurs qui se sont avéré insuffisantes. Dans d'autres éditions, elle ne figure plus : cf. Bill Casselman, « The Difficulties of Kissing in Three Dimensions », Notices of the AMS, vol. 51, n^o 8,‎ 2004, p. 884-885 (lire en ligne, consulté le 19 mars 2022).

Articles connexes

Liens externes

Ressource relative à la recherche :
- Scopus
Notice dans un dictionnaire ou une encyclopédie généraliste :
- Deutsche Biographie
Notices d'autorité :
- VIAF
- ISNI
- IdRef
- LCCN
- GND
- Pays-Bas
- WorldCat
(en) John J. O'Connor et Edmund F. Robertson, « John Leech », sur MacTutor, université de St Andrews.

Portail des mathématiques

[1] John Leech, « The Problem of the Thirteen Spheres », The Mathematical Gazette, vol. 40,‎ 1956, p. 22-23 (DOI 10.2307/3610264, JSTOR 3610264).

[2] Avec des extensions des auteurs qui se sont avéré insuffisantes. Dans d'autres éditions, elle ne figure plus : cf. Bill Casselman, « The Difficulties of Kissing in Three Dimensions », Notices of the AMS, vol. 51, n^o 8,‎ 2004, p. 884-885 (lire en ligne, consulté le 19 mars 2022).

[1]

[2]

Naissance	21 juillet 1926 Weybridge
Décès	28 septembre 1992 (à 66 ans) Firth of Clyde
Nationalité	britannique
Formation	Trent College (en) (jusqu'en 1946) King's College (1946-1950) Université de Cambridge (1954-1959)
Activités	Mathématicien, professeur d'université
Conjoint	Jenifer Haselgrove (en)