polyèdre de Schäfli

Imaginez un solide dont on pourrait observer les volumes intérieurs, les faces, les arêtes et les sommets depuis une dimension supplémentaire. Un polyèdre de Schläfli est l'équivalent régulier d'un tel objet en quatre dimensions. Sa régularité signifie que ses éléments jouent tous le même rôle : aucune cellule, aucune face, aucune arête ni aucun sommet n'est privilégié par ses symétries. Il prolonge ainsi l'idée d'un cube ou d'un tétraèdre au-delà de l'espace ordinaire.

Un polyèdre de Schläfli est un polytope régulier de dimension 4. Un polytope est une figure géométrique composée d'éléments emboîtés de dimensions différentes. Ici, les sommets sont de dimension 0, les arêtes de dimension 1, les faces de dimension 2 et les cellules de dimension 3 ; l'ensemble forme un objet de dimension 4.

La régularité ne signifie pas seulement que les cellules ont la même forme. Le groupe de symétrie doit pouvoir envoyer tout drapeau sur tout autre. Un drapeau est une chaîne complète d'éléments emboîtés — sommet, arête, face et cellule — reliés par leurs incidences. Cette transitivité rend équivalents les cellules, les faces, les arêtes et les sommets.

Le terme « polyèdre » est souvent conservé par extension, même si l'objet possède quatre dimensions. Dans l'espace tridimensionnel, les polyèdres réguliers sont les solides de Platon ; en dimension 4, les polytopes de Schläfli jouent le rôle analogue. Une représentation dessinée n'est donc qu'une projection ou un codage de sa structure, et non l'objet complet.

La structure comporte quatre niveaux emboîtés : les sommets forment les points, les arêtes relient certains sommets, les faces sont bordées par des arêtes, et les cellules sont des polyèdres tridimensionnels bordés par des faces. Le polytope lui-même organise ces cellules dans une dimension supplémentaire. La frontière d'une cellule fournit donc des faces, et la frontière d'une face fournit des arêtes.

Le groupe de symétrie relie ces parties entre elles : il conserve les incidences, c'est-à-dire les relations « appartient à » et « borde ». La forme régulière des cellules et l'équivalence de leurs positions définissent l'objet ; sa couleur, son orientation dans un dessin ou son échelle ne le définissent pas. Ces données suffisent à décrire sa combinatoire et à compter ses éléments, même sans visualiser directement la quatrième dimension.

Considérons le 4-simplexe régulier, l'analogue quadridimensionnel du tétraèdre. Pour vérifier sa structure, on dispose des données suivantes : il possède 5 sommets, chaque arête relie 2 sommets, chaque face triangulaire en utilise 3, et chaque cellule tétraédrique en utilise 4.

On compte d'abord les arêtes en choisissant 2 sommets parmi 5 : 5 × 4 ÷ 2 = 10.
On compte ensuite les faces en choisissant 3 sommets parmi 5 : 5 × 4 × 3 ÷ (3 × 2) = 10.
On compte enfin les cellules en choisissant 4 sommets parmi 5 : 5 × 4 × 3 × 2 ÷ (4 × 3 × 2) = 5.

Le résultat est donc : 5 sommets, 10 arêtes, 10 faces triangulaires et 5 cellules tétraédriques. Le contrôle consiste à remarquer que chaque cellule est obtenue en retirant un sommet parmi les 5, tandis que chaque face est commune à 2 cellules. La symétrie entre les 5 sommets est ainsi compatible avec l'organisation annoncée. Ces effectifs et incidences contrôlés ne suffisent toutefois pas, à eux seuls, à établir l'équivalence sous toutes les symétries : il faut encore vérifier le critère d'orbites présenté dans les limites.

Pour étudier un polyèdre de Schläfli, on commence par sa structure d'incidences : quels sommets appartiennent à quelles arêtes, faces et cellules. Cette description est préférable à un dessin isolé lorsque la projection masque des relations.

Pour compter ses éléments, on utilise les symétries et les choix de sommets. Une liste combinatoire convient lorsque les incidences sont la question principale ; une projection ou un modèle en perspective devient préférable lorsque l'objectif est de communiquer une organisation globale.

En géométrie quadridimensionnelle, l'enjeu pratique est donc de distinguer la donnée étudiée : la forme des cellules, leurs raccordements ou l'action des symétries. Le support de représentation se choisit selon ce critère observable.

Un polytope de dimension 4 n'est pas un polyèdre ordinaire auquel on aurait simplement ajouté une coordonnée. Le critère qui tranche est l'organisation complète des cellules, faces, arêtes et sommets, ainsi que leur équivalence sous les symétries.

Un polytope de dimension 4 n'est pas nécessairement un polytope de Schläfli. Le premier terme décrit une dimension, tandis que le second ajoute la régularité. Un objet dont les sommets ou les cellules ne sont pas tous interchangeables par symétrie ne satisfait donc pas cette définition.

Une projection sur une feuille peut donner l'impression que l'objet possède des croisements, des faces manquantes ou une forme irrégulière. Le symptôme vient de la perte d'une dimension et non d'une irrégularité du polytope ; il faut alors revenir aux incidences et aux symétries de la structure à quatre dimensions.

Le mot « polyèdre » peut aussi faire attendre un objet tridimensionnel. Ici, la dimension 4 est une condition charnière : les cellules sont tridimensionnelles, mais leur assemblage appartient à un objet quadridimensionnel. Pour éviter l'abus de langage, il faut employer « polytope régulier de dimension 4 » lorsque la dimension globale compte.

Enfin, une structure qui possède des cellules congruentes n'est pas automatiquement régulière. La congruence compare des formes ; la régularité exige en plus l'équivalence de toutes les positions sous le groupe de symétrie. Une orbite regroupe les éléments qu'une symétrie peut échanger entre eux : pour la tester, choisissez une cellule, une face, une arête ou un sommet et vérifiez qu'une symétrie peut l'envoyer vers n'importe quel autre élément du même type. Pour le 4-simplexe compté plus haut, ce contrôle porte donc sur chacun de ces quatre niveaux.

Le glossaire polytope situe les polytopes de Schläfli dans la famille plus large des objets géométriques composés de faces de différentes dimensions. Cette ouverture aide à comprendre ce que la régularité ajoute à la seule notion de polytope.