Integral Planes and Unit-Norm Polytopes

Résumé technique : Plans entiers et polytopes de norme unitaire

Énoncé du problème
L'article traite de la structure géométrique et algébrique découlant des ordres entiers au sein des algèbres de composition réelles (spécifiquement $\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$). Tandis que les squelettes arithmétiques de ces algèbres (par exemple, les entiers de Gauss, les quaternions de Hurwitz, les octonions de Coxeter–Dickson) sont bien étudiés en tant que systèmes de racines, l'auteur examine une question complémentaire : quels polytopes sphériques émergent si l'on considère l'ordre entier $\mathcal{O}$ non pas comme une algèbre isolée, mais comme les composantes d'un plan entier $\mathcal{O}^2$ muni de la forme quadratique $Q(x, y) = N(x) + N(y)$ ?

Plus précisément, ce travail vise à :

1. Classifier les coquilles de norme unitaire de ces plans entiers pour les ordres cristallins (sur $\mathbb{Z}$) et les ordres non cristallins (sur $\mathbb{Z}[\phi]$, où $\phi$ est le nombre d'or).
2. Déterminer s'il existe un ordre « octonion d'or » non cristallin de rang huit indécomposable dans le cadre non cristallin, analogue à l'ordre de Coxeter–Dickson dans le cadre cristallin.
3. Clarifier la relation entre l'application de Hopf algébrique et la structure discrète de la « coquille équilibrée » au sein de ces plans, en particulier dans le contexte des boucles de Moufang.

Méthodologie
L'auteur emploie une construction unifiée basée sur le plan entier $\mathcal{O}^2 = \mathcal{O} \oplus \mathcal{O}$ muni de la forme quadratique $Q(x, y) = N(x) + N(y)$. La méthodologie procède à travers trois piliers techniques principaux :

1. Décomposition des coquilles : La coquille unitaire $S_1(\mathcal{O}^2)$ est analysée en distinguant deux sous-coquilles :

   • La Coquille axiale $A(\mathcal{O}) = (S_1(\mathcal{O}) \times \{0\}) \cup (\{0\} \times S_1(\mathcal{O}))$.
   • La Coquille équilibrée $D(\mathcal{O}) = \frac{1}{\sqrt{2}} S_1(\mathcal{O}) \times S_1(\mathcal{O})$.
     Un « critère de non-division » (Lemme 3.6) est démontré, montrant que pour les ordres spécifiques considérés, les seules solutions à $N(x) + N(y) = 1$ sont triviales ($N(x)=1, N(y)=0$ ou vice versa). Par conséquent, la coquille unitaire complète coïncide avec la coquille axiale, $S_1(\mathcal{O}^2) = A(\mathcal{O})$.

2. Doublement de la coquille de racines : En utilisant l'orthogonalité des deux facteurs dans $\mathcal{O}^2$, l'article établit que le système de racines de la coquille axiale est la somme directe orthogonale $R \oplus R$ du système de racines $R$ associé à l'ordre original $\mathcal{O}$. Les enveloppes convexes de ces coquilles sont identifiées comme des sommes libres (ou téguums) des polytopes originaux.

3. Obstruction théorique de Coxeter : Pour aborder l'existence d'ordres non cristallins de rang supérieur, l'article applique la classification des groupes de réflexion réels finis irréductibles. Il restreint l'attention aux « systèmes de coquilles de racines » (Définition 2.3), qui exigent que toutes les racines aient la même longueur et que les coefficients de Cartan appartiennent à $\mathbb{Z}[\phi]$.

4. Analyse de la fibration : L'application de Hopf algébrique $h_A(a, b) = (2a\bar{b}, N(a) - N(b))$ est restreinte à la coquille équilibrée. L'article démontre que sur cette coquille, la deuxième coordonnée s'annule, et que l'application se factorise à travers l'équateur pour coïncider avec la fibration principale $\pi(u, v) = u\bar{v}$ de la boucle unitaire. Cela est démontré à la fois pour les algèbres associatives et le cas alternatif (Moufang) en utilisant le théorème d'associativité à deux générateurs d'Artin.

Résultats clés

• Classification uniforme : La construction produit une classification uniforme des polytopes de norme unitaire pour dix ordres cristallins et deux ordres non cristallins :

  • Cristallins : Les ordres $\mathbb{Z}, \mathbb{Z}[i], \mathbb{Z}[\omega]$, Hamilton, Hurwitz, Cayley–Graves et Coxeter–Dickson produisent les systèmes de racines de somme directe orthogonale $2A_1, A_2 \oplus A_2, 4A_1, D_4 \oplus D_4, 16A_1$, et $E_8 \oplus E_8$. Géométriquement, ceux-ci correspondent aux téguums du carré, de l'hexagone, du 16-cellule, du 24-cellule, du 8-cross polytope et du polytope de Gosset ($4_{21}$).
  • Non cristallins : L'ordre cyclotomique $\mathbb{Z}[\zeta_{10}]$ et l'anneau icosien $I$ produisent les systèmes de coquilles de racines $H_2 \oplus H_2$ et $H_4 \oplus H_4$ sur $\mathbb{Z}[\phi]$. Leurs enveloppes convexes sont les téguums décagonaux et du 600-cellule.

• Théorème d'obstruction de rang : L'article démontre qu'aucun système de coquille de racines non cristallin indécomposable sur $\mathbb{Z}[\phi]$ ne peut avoir un rang supérieur à 4.

  • Corollaire : Par conséquent, aucun ordre octonion d'or de rang huit indécomposable n'existe. Un tel ordre nécessiterait un système de coquille de racines de rang 8, ce qui est impossible sous les axiomes des systèmes de coquilles de racines à longueur unique sur $\mathbb{Z}[\phi]$. Ce résultat est dérivé purement de la théorie de Coxeter, indépendamment de la structure de multiplication des octonions.

• Fibrations principales finies : L'article identifie la restriction de l'application de Hopf algébrique à la coquille équilibrée comme une fibration principale finie de la boucle unitaire $U = S_1(\mathcal{O})$ sur elle-même.

  • Dans le cas associatif, $U \times U \to U$ est une fibration principale $U$ triviale.
  • Dans le cas alternatif (Moufang) (spécifiquement pour l'ordre de Coxeter–Dickson), l'application reste une fibration principale finie grâce au théorème d'Artin, malgré l'absence d'associativité complète. L'article distingue explicitement cette fibration discrète de la fibration de Hopf topologique $S^{2d-1} \to S^d$.

Signification et affirmations
L'article prétend fournir une « construction unique » qui unifie l'étude des squelettes arithmétiques cristallins et non cristallins au sein des algèbres de composition réelles. Ses contributions principales sont :

1. Unification géométrique : Il organise le doublement des systèmes de racines et des polytopes (par exemple, $E_8 \to E_8 \oplus E_8$) dans un cadre unique basé sur le plan entier $\mathcal{O}^2$, séparant les données algébriques des systèmes de racines des données géométriques des polytopes.
2. Résolution d'une question d'existence : Il clôt sans condition la question de l'existence d'un ordre octonion d'or de rang huit indécomposable, prouvant sa non-existence par un argument purement théorique de Coxeter.
3. Clarification des structures de Hopf : Il délimite précisément la relation entre l'application de Hopf algébrique continue et les fibrations principales discrètes sur les boucles unitaires, corrigeant d'éventuelles confusions terminologiques dans la littérature.
4. Distinction entre polytopes et systèmes de racines : L'œuvre souligne la distinction entre le système de racines $nA_1$ (algébrique) et le cross-polytope $\beta_n$ (géométrique), notant que bien qu'ils partagent le même ensemble de sommets, ils représentent des concepts structurels différents (par exemple, $4A_1$ contre le 16-cellule).

L'auteur note que si l'obstruction de rang ferme la porte aux systèmes de rang 8 indécomposables sous les axiomes actuels (longueur unique, fermeture complète par réflexion), la question reste ouverte si ces axiomes sont affaiblis (par exemple, en permettant plusieurs longueurs de racines ou en assouplissant la fermeture par réflexion). L'article se positionne comme établissant la « carte » de ce coin spécifique de la géométrie des algèbres de composition, fournissant une base pour de futures investigations sur des structures plus faibles ou des compagnons projectifs.