On les a découverts il y a plus d'un siècle, mais presque personne ne les a vus. Les hypersolides, objets de plus de trois dimensions, appartiennent à deux grandes familles : les polytopes et les hypersphères.
Les polytopes se construisent à partir de sommets (coordonnées spatiales) formant des squelettes finis (constitués de sommets, arêtes, faces, cellules...). Les hypersphères, objets courbes sans sommets, sont quant à elles définies par des cercles générateurs.
D'un côté, les polytopes constituent l'extension des polygones et polyèdres en dimension quelconque. Le cube et le tétraèdre sont des polytopes réguliers convexes de dimension 3, tandis que le tesseract et le pentachore en sont les équivalents en dimension 4. Les contraintes de régularité limitent leur diversité à mesure que la dimension augmente.
De l'autre, les hypersphères représentent l'ensemble des points situés à distance constante d'un centre dans un espace à N dimensions. Bien qu'uniformes, elles révèlent dans certaines dimensions spécifiques des structures topologiques appelées fibrations, qui les feuillettent en familles emboîtées de sphères de dimensions inférieures.
Ces deux familles évoluent différemment face à l'accroissement des dimensions. Les exceptions de symétrie des polytopes s'épuisent rapidement : à partir de la dimension 9, seules quatre familles "fondamentales" subsistent. Les hypersphères existent en toute dimension, mais leurs fibrations exceptionnelles sont strictement limitées à trois dimensions particulières.
Ce document décrit cette double évolution. En partant de la dimension 3 pour poser des repères familiers, nous franchirons le seuil de la dimension 4 avec le Tesseract et le Glome, avant d'aborder les polytopes exceptionnels de la dimension 5 à 8 et les limites algébriques de la dimension 16 pour les hypersphères.
Structures finies définies par des coordonnées précises. En 3D : 5 solides de Platon. En 4D : 6 polychores réguliers convexes. En dimension N ≥ 5 : 3 familles régulières fondamentaless et la famille semi-régulière des demicubes.
Une variété par dimension. Trois fibrations exceptionnelles associées aux algèbres hypercomplexes à division : les nombres complexes (ℂ), les quaternions (ℍ) et les octonions (𝕆).
En dimension 3, il existe exactement cinq polyèdres réguliers convexes, appelés solides de Platon. La contrainte de régularité impose que toutes leurs faces soient des polygones réguliers identiques, que leurs sommets soient équivalents et que leurs arêtes possèdent la même longueur.
Ces cinq formes géométriques de base et leurs associations traditionnelles sont :
Chaque solide possède un ou plusieurs analogues dans les dimensions supérieures. En dimension 4, les contraintes angulaires s'assouplissent pour permettre six solutions régulières (les polychores), avant de se resserrer à partir de la dimension 5.





La 4ème dimension ajoute un degré de liberté orthogonal aux trois dimensions de l'espace physique. Pour la visualiser, on utilise des analogies constructives et des projections.
De même qu'un cube s'obtient en reliant deux carrés décalés dans la 3ème dimension, un tesseract se dessine en reliant deux cubes décalés dans la 4ème dimension. Les arêtes de liaison sont parallèles entre elles et orthogonales à toutes les autres arêtes, bien que la projection plane en déforme les angles et les longueurs.
Le patron d'un tesseract comporte 8 cellules cubiques repliées dans la 4ème dimension : la cellule centrale (contenu), la cellule externe (contenant) et les 6 cellules intermédiaires (dessus, dessous, devant, derrière, gauche, droite) qui entourent le centre.
Le terme tesseract (signifiant « 4 rayons ») désigne les 4 arêtes orthogonales se croisant à chaque sommet. Selon l'angle choisi, sa projection plane peut former deux octogones imbriqués (projection de Petrie) ou deux hexagones centrés.
Coordonnées : (±1, ±1, ±1, ±1)
Projection cube-en-cube · 8 cellules
S³ · représentation par stratificationLe glome (ou 3-sphère) est l'analogue 4D de la sphère tridimensionnelle. Géométriquement, c'est l'ensemble des points à distance constante de l'origine dans ℝ⁴, formant une variété tridimensionnelle fermée.
Sa structure peut être étudiée selon trois modes de représentation : le maillage hyperméridien (rotation d'une sphère se projetant en 3D), la stratification (empilement de strates sphériques concentriques s'amenuisant vers les hyperpôles) ou la fibration de Hopf.
Sur le plan algébrique, les points du glome correspondent aux quaternions unitaires (de norme 1). Il possède une structure de groupe de Lie non commutatif SU(2), ce qui le distingue de la 2-sphère.
La dimension 4 admet exactement six polychores réguliers convexes qui généralisent les solides de Platon. Leurs représentations exigent des projections 3D impliquant une perte d'information inéluctable sur les angles ou les longueurs.

Analogue 4D du tétraèdre, constitué de 5 cellules tétraédriques. C'est le polychore le plus simple. Coordonnées : 5 sommets équidistants. Sa projection de Petrie forme un pentagramme dans un pentagone.

Analogue 4D du cube, constitué de 8 cellules cubiques. Construction orthogonale et régulière. Coordonnées : (±1, ±1, ±1, ±1). Sa projection de Petrie forme deux octogones imbriqués.

Analogue 4D de l'octaèdre, constitué de 16 cellules tétraédriques. Dual du tesseract. Coordonnées : (±1, 0, 0, 0) et permutations. Sa projection de Petrie forme un octogone.

Objet sans analogue en dimension 3, constitué de 24 cellules octaédriques. Sa structure hautement symétrique n'est possible qu'en dimension 4. Coordonnées : (±1, ±1, 0, 0) et permutations. Auto-dual.

Analogue 4D du dodécaèdre, constitué de 120 cellules dodécaédriques (720 faces pentagonales). Sa structure géométrique fait intervenir le nombre d'or.

Analogue 4D de l'icosaèdre, constitué de 600 cellules tétraédriques. Dual du 120-cellules, sa structure ultra-dense repose également sur le nombre d'or.
À partir de la dimension 5, les contraintes spatiales éliminent les familles exceptionnelles H (nombre d'or) et F (24-cellules). Les polytopes réguliers se limitent aux trois familles fondamentales, tandis qu'une lignée semi-régulière exceptionnelle (Gosset) se développe jusqu'à la dimension 8.

Un simplexe N-dimensionnel comporte N+1 sommets équidistants en dimension N. Il s'agit de la généralisation du triangle (2D), du tétraèdre (3D) et du pentachore (4D).
tétraèdre → pentachore → 5-simplexe → 6-simplexe…

Un hypercube de dimension N possède 2^N sommets. Obtenu en reliant deux (N-1)-cubes parallèles, il possède 2N facettes de dimension N-1. À chaque sommet, toutes les arêtes sont orthogonales.
cube → tesseract → penteract → hexeract…

Un orthoplexe possède 2N sommets placés sur les axes de coordonnées. C'est l'analogue de l'octaèdre (3D) et de l'hexadécachore (4D). Il forme le dual de l'hypercube.
octaèdre → hexadécachore → 5-orthoplexe → 6-orthoplexe…

Un demicube de dimension N est une moitié alternée d'hypercube. C'est un polytope semi-régulier qui définit, à partir de la dimension 5, le point de départ de la lignée de Gosset.
tétraèdre → hexadécachore → démipenteract…
La famille des demicubes (notée Dn) est obtenue en supprimant un sommet sur deux de l'hypercube de même dimension. En dimension 3, le demicube est un tétraèdre. En dimension 4, il coïncide avec l'hexadécachore.
À partir de la dimension 5, le demipenteract (5D, code 121, 16 sommets) s'individualise. Ses coordonnées sont de la forme (±1, ±1, ±1, ±1, ±1) en retenant les combinaisons de signes avec un nombre impair de +1.
Le demipenteract (5-demicube) sert de point d'ancrage aux polytopes semi-réguliers de Gosset (famille k21). Ces polytopes se structurent autour des groupes exceptionnels E6, E7 et E8 dans les dimensions 6, 7 et 8.
Les structures semi-régulières de Gosset assemblent des simplexes et des demicubes, offrant des configurations de symétrie et de saturation de l'espace particulièrement denses.
La famille de Gosset k21 augmente d'un degré de liberté à chaque dimension. Elle s'achève en dimension 8 avec le polytope exceptionnel 421 associé au groupe de Lie E8.

Code 121. Une moitié de penteract (cube 5D) possédant le schéma structurel de Gosset. Coordonnées à nombre impair de +1.

Première structure de Gosset réellement exceptionnelle. Composé de 1 080 cellules tétraédriques pour 27 sommets.

Étape de transition vers une symétrie plus complexe, comprenant 56 sommets et 10 080 cellules tétraédriques.
Projection de Petrie · réseau E8Le polytope 421 constitue la complétion maximale de la lignée de Gosset en dimension 8. Il possède 240 sommets et comporte plus de 240 000 cellules de dimension inférieure (dont de nombreux tétraèdres).
Il s'agit du dernier polytope fini de sa lignée. Au-delà (en dimension 9 et plus), les constructions analogues se transforment en pavages infinis (en ruches) de l'espace.
Le réseau de sommets E8 associé permet d'obtenir la densité d'empilement de sphères la plus élevée possible en dimension 8. Ses 240 sommets correspondent aux racines du groupe exceptionnel E8, utilisé par certains physiciens théoriciens.
Les hypersphères sont définies comme l'ensemble des points situés à distance constante d'un centre. Contrairement aux polytopes, elles n'ont pas de sommets mais reposent sur des cercles générateurs.
Pour chaque hypersphère, plusieurs représentations géométriques coexistent :
Les fibrations exceptionnelles s'appuient sur les quatre algèbres hypercomplexes à division (les réels ℝ, les complexes ℂ, les quaternions ℍ, et les octonions 𝕆), de dimensions 1, 2, 4 et 8.
S³ · maillage hyperméridien
Fibration de Hopf complexe sur ℂLa fibration de Hopf projette la 3-sphère (plongée dans ℂ²) sur la 2-sphère. Chaque point de la base (2-sphère) correspond à un grand cercle fermé (fibre) dans la 3-sphère.
Deux fibres circulaires distinctes de cette fibration forment toujours un lien entrelacé simple dans l'espace tridimensionnel (tores fibrés).
Au-delà de la dimension 4, les hypersphères continuent de se structurer via les algèbres hypercomplexes de dimension supérieure, avant de s'effondrer définitivement.
La fibration quaternionique (définie sur ℍ) projette la 7-sphère sur la 4-sphère, avec des fibres de dimension 3 (des 3-sphères entières).
La fibration octonionique (définie sur 𝕆) constitue l'ultime structure géométrique de ce type. Elle projette la 15-sphère sur la 8-sphère, avec pour fibre la 7-sphère.
À chaque extension algébrique, une propriété fondamentale est perdue : les nombres complexes perdent la relation d'ordre, les quaternions perdent la commutativité, et les octonions renoncent à l'associativité.
Les sédénions (algèbre de dimension 16) perdent la propriété de division, ce qui interdit toute fibration sphérique non triviale au-delà de la dimension 16. C'est la limite théorique des fibrations exceptionnelles.
Fibrations de Hopf supérieures
Fibration quaternionique de Hopf sur ℍLa fibration quaternionique est représentée par l'application S3 ↪ S7 → S4.
Chaque point de la base (la 4-sphère) est associé à une fibre tridimensionnelle (une 3-sphère entière) dans la 7-sphère. Elle s'appuie sur la structure non commutative des quaternions.
La fibration octonionique est représentée par l'application S7 ↪ S15 → S8.
Elle est rendue possible par les 7 unités imaginaires des octonions. C'est la dernière des fibrations topologiques régulières de sphères, car les algèbres de dimension supérieure perdent la propriété de division.
Fibration octonionique de Hopf sur 𝕆Tableau de synthèse comparatif des structures régulières des polytopes et des fibrations d'hypersphères selon les dimensions.
| Dimension | Polytopes finis | Hypersphères | Algèbre |
|---|---|---|---|
| 3D | 5 solides de Platon Tétraèdre · Cube · Octaèdre · Dodécaèdre · Icosaèdre. | 2-sphère (S²) Pas de fibration topologique non triviale. | ℝ (Réels) |
| 4D | 6 polychores (A₄, B₄, F₄, H₄) Pentachore · Tesseract · Hexadécachore · 24-cellules · 120- & 600-cellules. | 3-sphère (Glome, fibration de Hopf) S¹ ↪ S³ → S². Fibres circulaires simples entrelacées. | ℂ (Complexes) |
| 5–8D | 3 familles + demicubes + Gosset Aₙ, Bₙ, Bₙ*, Dₙ + polytopes de Gosset (2₂₁, 3₂₁, 4₂₁). | 7-sphère (fibration quaternionique) S³ ↪ S⁷ → S⁴. Fibres constituées de 3-sphères entières. | ℍ (Quaternions) |
| 9–16D | 4 familles infinies Aₙ, Bₙ, Bₙ*, Dₙ. Plus aucun polytope exceptionnel. | 15-sphère (fibration octonionique) S⁷ ↪ S¹⁵ → S⁸. Ultime fibration topologique possible. | 𝕆 (Octonions) |
| > 16D | 4 familles infinies Aₙ, Bₙ, Bₙ*, Dₙ. Aucune configuration exceptionnelle. | N-sphères standard Aucune fibration (perte de la propriété de division). | Sédénions et au-delà |