Thorold Gosset

Thorold Gosset est né le 16 octobre 1869 à Thames Ditton au Royaume-Uni. Il est le fils de John Jackson Gosset, un fonctionnaire de l'état et agent de statistiques pour HM Customs[2], et de son épouse Eleanor Gosset (anciennement Thorold)[3].

Le 1^er octobre 1888, il est admis au Pembroke College de Cambridge, en tant que pensionnaire, et il obtient un BA ès lettres en 1891. Il est appelé à la barre de l'Inner Temple en juin 1895, et fût diplômé d'une maîtrise en 1896.

En 1900, il épouse Emily Florence Wood[4], et par la suite, ils ont eu deux enfants, nommé Kathleen et Jean[5].

Selon H. S. M. Coxeter[6], après l'obtention de son diplôme de droit en 1896 et ne plus avoir de clients, Thorold Gosset s'est amusé lui-même en tentant de classer les polytopes réguliers en plus de dimensions (plus de trois) de l'espace Euclidien. Après la redécouverte de tous, il a essayé de classer les semi-polytopes réguliers, qu'il définit comme polytopes à facettes régulières différentes, et qui sont vertex-uniforme (ou Figure de sommet uniforme), ainsi que l'analogue des nids d'abeilles ou tessélations (honeycombs) qu'il considérait comme des polytopes dégénérés. En 1897, il a présenté ses résultats à James W. Glaisher, alors rédacteur en chef de la revue le Messager de Mathématiques. Glaisher a été favorablement impressionné et a transmis les résultats à William Burnside et Alfred Whitehead. Burnside, cependant, a déclaré dans une lettre à Glaisher en 1899 que l'auteur de la méthode d'une sorte d'intuition géométrique n'a pas fait appel à lui. Il a admis qu'il n'a jamais trouvé le temps de lire plus de la première moitié de l'article de Gosset. En fin de compte Glaisher n'a publié qu'un bref résumé de Gosset[7].

Noms des 5 polytopes semi-réguliers de Thorold Gosset dans les dimensions 4 à 8

Les résultats de Thorold Gosset ont été largement passés inaperçus pendant de nombreuses années. Ses polytopes semi-réguliers ont été redécouverts par Elte en 1912[8]. et plus tard, par H. S. M. Coxeter qui a donné à la fois crédits à Gosset et à Elte pour cette découverte.

Une propriété générale d'un polytope V_n est que sa figure vertex est le polytope V_n-1 de dimension inférieure. Inversement, la figure vertex V_n-1 permet de construire le polytope V_n de dimension supérieure. L'exemple le plus simple concrétisé par le logiciel Stella4D[9] de Robert Webb, est donné par un prisme triangulaire pris comme figure vertex en 3D, qui devient le premier polytope semi-régulier de Gosset appelé la figure semi-régulière Tetraoctahedric en dimension 4 (4_ic) qui est aussi un Pentachore rectifié.

Coxeter a introduit le terme de Gosset polytopes pour les cinq polytopes semi-réguliers dans 4,5,6,7 et 8 dimensions découverts par Gosset, qu'il a appelé les 0₂₁, 1₂₁, 2₂₁, 3₂₁, et 4₂₁ polytopes. Les sommets des principaux polytopes 2₂₁, 3₂₁, et 4₂₁ ont été plus tard revus et sont apparus comme les racines des groupes de Lie exceptionnels E₆, E₇ et E₈.

Une nouvelle définition plus précise de la Série de Gosset des polytopes semi-réguliers a été donnée ensuite par Conway en 2008[10]. La Série des polytopes de Gosset a été complétée par deux tessélations uniformes. La première tessélation qui pave l'espace euclidien de dimension 8 a été aussi découverte par Gosset et nommée 9_ic semi-régulière figure, Coxeter l'appela ensuite 5₂₁. H.M. S. Coxeter a ensuite découvert la dernière tessélation 6₂₁ qui pave l'espace hyperbolique de dimension 9.

Les principaux trois polytopes semi-réguliers de Gosset 2₂₁, 3₂₁, et 4₂₁ ont été construits et présentés ensuite en projections 3D à partir du logiciel vZome de Stuart Vorthmann[11]. et à la suite de l'intérêt porté par le chercheur Pierre Etevenon aux polytopes de Gosset.