Hypersolides. Polytopes & hypersphères, de la 3ème à la 16ème dimension.
Un parcours guidé à travers les deux grandes familles d'objets géométriques qui structurent les espaces de dimension supérieure : les polytopes, squelettes anguleux et finis, et les hypersphères, surfaces lisses traversées de fibrations cachées. Des solides de Platon au polytope 421, du Tesseract à la fibration octonionique.
Deux familles règnent sur la géométrie des dimensions.
Quand on cherche à donner une forme à un espace, à n'importe quelle dimension, on retombe presque toujours sur l'une de ces deux grammaires.
D'un côté, les polytopes, les cousins des polyèdres mais en dimension quelconque. On y compte des sommets, des arêtes, des faces, des cellules, des hypercellules ; tout est fini, énumérable, anguleux. Le cube et le tétraèdre sont des polytopes 3D ; le tesseract et le pentachore en sont les analogues 4D ; et au-delà, des familles entières s'étendent à toutes les dimensions, comme on étend les nombres entiers à l'infini.
De l'autre, les hypersphères, l'ensemble des points à distance constante d'un centre, dans n'importe quel nombre de dimensions. Lisses, infiniment symétriques, sans coin ni arête. Mais malgré leur apparente uniformité, elles dissimulent à certaines dimensions privilégiées des structures cachées : fibrations, qui les feuilletent en familles emboîtées de sphères plus petites, indéfectiblement entrelacées.
Ces deux langages ne sont pas équivalents. Les polytopes finissent par s'épuiser : à partir de la 9ème dimension, il ne reste plus que quatre familles infinies et toutes les exceptions ont disparu. Les hypersphères, elles, existent en toute dimension, mais leurs fibrations exceptionnelles ne se manifestent qu'en quatre cas, et le dernier, en dimension 16, est le bout de la route.
Cet article suit ce double mouvement. On part de la 3ème dimension, celle de notre intuition, on franchit le seuil de la 4ème avec le Tesseract et le Glome, on grimpe ensemble aux structures exceptionnelles de la 8ème dimension, puis on regarde ce qui survit au-delà.
Polytopes
Squelettes finis, exactement énumérables. En 3D : 5 solides de Platon. En 4D : 6 polychores réguliers. En dimension N ≥ 9 : 4 familles infinies, et plus rien d'autre.
Hypersphères
Une par dimension, toujours. Mais trois fibrations exceptionnellesseulement (sur S3, S7, S15) chacune adossée à une algèbre de division : ℂ, ℍ, 𝕆.
Les solides de Platon, point de départ.
Avant de monter en dimension, il faut un point de comparaison. En dimension 3, l'inventaire est connu depuis l'Antiquité, et il est étonnamment court.
Il existe exactement cinq polyèdres réguliers convexes : le tétraèdre, le cube, l'octaèdre, le dodécaèdre et l'icosaèdre. La régularité est une contrainte forte. Toutes les faces doivent être identiques, tous les sommets équivalents, toutes les arêtes de même longueur. À ces conditions, l'espace tridimensionnel ne tolère que cinq solutions, et nulle de plus.
Platon les associa, dans le Timée, aux quatre éléments du monde sensible (feu, terre, air, eau), plus un cinquième, l'éther céleste, pour le dodécaèdre. Cette correspondance n'a évidemment plus aucune valeur scientifique, mais elle garde une force poétique : le fait que la matière, à son niveau le plus pur, n'admette qu'un nombre fini de formes parfaites continue de structurer la pensée géométrique.
Chacun de ces solides admet (et c'est ce qui rend la suite possible) un ou plusieurs analogues en dimension supérieure. Mais avant d'y monter, observons-les comme des plans de coupe d'un édifice plus vaste.
Le seuil de la 4ème dimension. Tesseract et Glome.
Comment dessiner ce qu'on ne peut pas voir ? La 4ème dimension n'est pas une dimension temporelle ni « spirituelle », c'est simplement un degré de liberté de plus dans l'espace, orthogonal à tous les autres. On y accède par analogie.
Le Tesseract.
On dessine un cube en reliant deux carrés parallèles, séparés dans la 3ème dimension, par des arêtes orthogonales. On dessine un tesseract exactement de la même manière : deux cubesparallèles, séparés cette fois dans la 4ème dimension, dont on relie les sommets correspondants.
Chacun de ces deux cubes est une cellule. Et il y en a six de plus (gauche, droite, haut, bas, devant, derrière) formant les espaces autour du cube central, eux aussi des cellules cubiques, simplement déformés par la projection plane.
Le nom tesseract signifie « quatre rayons », les quatre arêtes orthogonales qui se croisent à chaque sommet. Une projection particulière donne deux octogones imbriqués (la projection de Petrie). Une autre, deux hexagones centrés. Aucune ne capture la véritable géométrie 4D, qui exige de renoncer aux longueurs, aux angles, ou aux deux.
Coord. · (±1, ±1, ±1, ±1)
Projection cube-en-cube · 8 cellulesLe Glome.
L'analogue 4D de la sphère. Tous les points de ℝ⁴ à distance fixe de l'origine, tout simplement. Mais sa visualisation oblige, comme pour le tesseract, à passer par des coupes successives.
Si l'on traverse une 3-sphère le long d'un axe, ses tranches successives sont des sphères ordinaires, qui croissent depuis un point, atteignent un équateur, puis se contractent vers l'autre point. Trois degrés de liberté à sa surface, alors que la 2-sphère terrestre n'en a que deux.
Sur le plan algébrique, le Glome a quelque chose que la 2-sphère n'a pas : il porte une multiplication. On peut l'identifier aux quaternions de norme 1, ce qui en fait un groupe. C'est cette structure cachée qui rendra possible, quelques pages plus loin, la fibration de Hopf.
Les six polychores réguliers convexes.
Le Tesseract n'est qu'un membre d'une famille plus large. La 4èmedimension admet exactement six polychores réguliers, un de plus qu'il n'y a de solides de Platon, et c'est l'une de ses singularités. Ils ont été décrits il y a plus d'un siècle, mais rares sont ceux qui les ont vraiment dessinés.
Pentachore
5 cellules · l'analogue 4D du tétraèdre. Le plus simple des polychores : cinq sommets équidistants en 4D. Sa projection de Petrie forme unpentagramme inscrit dans un pentagone.
Tesseract
8 cellules cubiques · l'analogue 4D du cube. Construction très régulière, orthogonale ; coordonnées (±1, ±1, ±1, ±1). Petrie : deux octogones imbriqués.
Hexadécachore
16 cellules tétraédriques · l'analogue 4D de l'octaèdre. Dual du tesseract : ses sommets sont les centres des cellules du tesseract. Petrie : un octogone.
24-Cellules
Sans aucun analogue 3D. 24 cellules octaédriques, structure hautement symétrique qui n'apparaît qu'en dimension 4 (et nulle part ailleurs). Auto-dual. Point d'entrée de la lignée de Gosset.
120-Cellules
120 cellules dodécaédriques, 720 pentagones. L'analogue 4D du dodécaèdre, dont la structure entière est transcendée par les puissances dunombre d'or.
600-Cellules
600 cellules tétraédriques. L'analogue 4D de l'icosaèdre, et le dual du 120-cellules. Sa structure ultra-dense est elle aussi fondée sur le nombre d'or.
Trois familles fondamentales, plus une, plus une lignée d'exceptions.
Au-delà de la 4ème dimension, l'espace se rigidifie. Les groupes H (nombre d'or) et F (24-cellules) ne survivent pas. Mais trois familles infinies se déploient à toutes les dimensions, et trois objets exceptionnels apparaissent en 6, 7 et 8D.
Les trois familles fondamentales.
La forme la plus économe.
N+1 sommets équidistants en dimension N. Le segment, le triangle, le tétraèdre, le pentachore, le 5-simplexe, le 6-simplexe… chaque dimension ajoute simplement un sommet. L'objet le plus simple à chaque étage.
tétraèdre → pentachore → 5-simplexe → …
L'orthogonal qui pave l'espace.
Chaque dimension double les sommets : 2, 4, 8, 16, 32, 64… À chaque sommet d'un N-cube, toutes les arêtes sont orthogonales entre elles. Et l'hypercube est la seule des trois familles qui pave intégralement l'espace en toute dimension.
cube → tesseract → penteract → hexeract → …
Le dual.
2N sommets, placés sur les axes de coordonnées. L'octaèdre, le 16-cellules, le 5-orthoplexe… Chaque orthoplexe est le dual de l'hypercube de même dimension : ses sommets se logent au centre des facettes de l'hypercube, et inversement.
octaèdre → hexadécachore → 5-orthoplexe → …
La quatrième famille : les démicubes.
Si l'on prend un hypercube et qu'on n'en garde qu'un sommet sur deux (ceux dont la somme des coordonnées est paire, par exemple), on obtient undémicube. La construction est élémentaire mais elle engendre une famille Dn à part entière, distincte des trois précédentes, à partir de la 5ème dimension.
En 3D, le démicube est simplement le tétraèdre. En 4D, il coïncide avec le 16-cellules. Mais à partir de la 5D, le démipenteract apparaît comme un objet distinct : 16 sommets, codé 121, et appartenant déjà, par sa structure, à la famille de Gosset.
Les démicubes deviennent particulièrement importants en dimensions 6, 7, 8 car ils s'articulent avec les groupes exceptionnels E6, E7, E8. C'est l'arbre généalogique : on part d'un démicube, on lui ajoute un sommet ici, une symétrie là, et on tombe sur les polytopes de Gosset.
À ce stade, on dispose donc de quatre familles infinies (A, B, B*, D) qui peuplent toutes les dimensions, et qu'on peut considérer comme la charpente ordinaire des espaces de dimension supérieure.
Les polytopes de Gosset.
Au-delà des familles fondamentales, il existe une seconde lignée, semi-régulière, composée de plusieurs briques régulières assemblées de manière hautement symétrique. Cette lignée est codée k21, où k augmente d'un cran à chaque dimension. Elle fascine les physiciens parce qu'elle aboutit, en 8D, à l'un des objets les plus riches de toute la géométrie, le polytope 421, dont le réseau de symétrie est le célèbre E8.
24-Cellules
Le seul « régulier » de la série. Code 021. Point d'entrée | Exclusivité 4D.
Démipenteract
Code 121. Une moitié de penteract qui adopte le schéma de Gosset.
Polytope 221
Première branche réellement exceptionnelle. 27 sommets, plutôt léger !
Polytope 321
56 sommets. La saturation de l'espace devient nettement plus dense.
Petrie projection · réseau E8Le polytope 421.
Voici l'aboutissement. Le 421 est le monarque 8D des familles exceptionnelles, près de 250 000 tétraèdres, 240 sommets, la complétion maximale théorique qui prolonge le 321.
C'est aussi le dernier de la lignée. Toute tentative pour l'étendre en 9D retombe sur des pavages infinis, sans nouvelle figure remarquable. Il est, en quelque sorte, l'horizon des polytopes finis.
Le réseau qu'il engendre par translation atteint le plus fortdegré de remplissage possible de l'espace 8D, au point que certains ont spéculé qu'il pourrait suffire à coder, dans ses 240 sommets, l'ensemble des particules et interactions de la physique fondamentale. La spéculation reste une spéculation, mais elle dit quelque chose de la richesse de cet objet.
Quand la sphère cesse d'être homogène.
Les hypersphères, à première vue, sont d'une simplicité décourageante : une seule forme par dimension, infiniment symétrique. Pourtant, à certaines dimensions privilégiées, elles révèlent des structures cachées d'une beauté singulière.
Avant de parler de fibrations, il faut deux notions élémentaires :méridiens et suspensions. Toute hypersphère Sn+1 peut être décrite comme la suspension de Sn : on relie chaque point de Sn à deux pôles (Nord et Sud) par des méridiens. Le 3-sphère est ainsi un empilement continu de 2-sphères, qui croissent à partir d'un pôle, atteignent un équateur, puis se contractent vers l'autre.
Ce qui distingue certaines dimensions, c'est l'existence de structures algébriques plus riches : les algèbres de division. Il n'en existe que quatre (les réels ℝ, les complexes ℂ, les quaternions ℍ, et les octonions 𝕆), de dimensions respectives 1, 2, 4 et 8. Et c'est par là, exactement, que se déclinent les fibrations sphériques exceptionnelles.
Fibration de Hopf.
Première et plus simple des fibrations exceptionnelles. On voit la 3-sphère comme un sous-ensemble de ℂ², l'ensemble des couples (z1, z2) tels que |z1|² + |z2|² = 1.
On définit alors une projection π : S3 → S2. Au-dessus de chaque point de la 2-sphère, on trouve tout un cercle de S3. Ces cercles, deux à deux, sont indéfectiblement entrelacés.
L'horizon, et une dernière exception.
À partir de la 9ème dimension, le paysage se simplifie brutalement. Du côté discret, il ne reste que les quatre familles fondamentales (A, B, B*, D). Mais du côté continu, une dernière fibration attend.
Fibration octonionique.
Les hypersphères réservent un dernier acte d'exception. On voit S15 ⊂ 𝕆². La projection π : S15 → S8 a pour fibre la 7-sphère elle-même.
L'atlas des dimensions, en synthèse.
Une carte récapitulative, ce que les polytopes font, ce que les hypersphères font, et l'algèbre de division qui leur sert d'ossature.
| Dimension | Polytopes finis | Hypersphères | Algèbre |
|---|---|---|---|
| 3D | 5 solides de Platon Tétraèdre · Cube · Octaèdre · Dodécaèdre · Icosaèdre. | S² ordinaire Pas de fibration sphérique non triviale. | ℝ |
| 4D | 6 polychores · A · B · F · H Pentachore · Tesseract · Hexadécachore · 24-cellules · 120- & 600-cellules. | Glome · fibration de Hopf S¹ ↪ S³ → S². La sphère cesse d'être homogène. | ℂ |
| 5–8D | 3 familles + démicubes + Gosset Aₙ, Bₙ, Bₙ*, Dₙ + 2₂₁, 3₂₁, 4₂₁ (E₆, E₇, E₈). | Fibration quaternionique S³ ↪ S⁷ → S⁴. Fibre = 3-sphère entière. | ℍ |
| 9–16D | 4 familles seules Aₙ, Bₙ, Bₙ*, Dₙ. Plus aucun objet exceptionnel. | Fibration octonionique S⁷ ↪ S¹⁵ → S⁸. La dernière fibration possible. | 𝕆 |