Biangular lines with angles arccos(1/5) and arccos(3/5)

Imaginez que vous vous tenez au centre d'une pièce géante et invisible. Vous tenez un long bâton fin qui part de votre main vers le mur. Maintenant, imaginez que vous avez toute une collection de ces bâtons, partant tous de votre main, pointant dans des directions différentes. Dans le monde des mathématiques, cela s'appelle un « système de droites ». Habituellement, les mathématiciens adorent quand tout est parfaitement égal. Si vous avez un ensemble de bâtons où chaque paire forme exactement le même angle, on appelle cela des « droites equiangulaires », et c'est un peu comme un mobile parfaitement équilibré suspendu au plafond.

La vie est rarement aussi parfaite. Parfois, on veut savoir ce qui se passe si l'on permet deux angles différents au lieu d'un seul. C'est le monde des « droites biangulaires ». C'est comme une danse où les partenaires ne peuvent faire que deux types de pas ensemble : peut-être une inclinaison large et paresseuse ou un tour vif et brusque. La question que les mathématiciens posent est : « Combien de danseurs pouvons-nous faire entrer dans cette pièce avant qu'ils ne commencent à s'entrechoquer ? » Plus la pièce est grande (plus la dimension est élevée), plus on pourrait penser pouvoir faire entrer de danseurs, mais les règles de la géométrie sont strictes. Il existe une limite au nombre de bâtons que l'on peut compacter sans briser la règle des « deux angles ».

Ce document est une enquête policière visant à trouver le nombre absolu maximum de ces bâtons dans des pièces de tailles spécifiques, de la dimension 7 jusqu'à la dimension 10, et même en jetant un coup d'œil à la dimension 15. Les auteurs, Paul Tricot, étudient un type très spécifique de danse : une danse où les angles entre les bâtons sont fixés à deux valeurs très précises, déterminées par 1/5 et 3/5. Ils ne font pas que deviner ; ils utilisent un tour astucieux qui relie ces bâtons dansants aux « réseaux entiers » (integral lattices). Considérez un réseau comme une grille géante de points invisibles, comme les points sur une feuille de papier millimétré qui s'étend à l'infini. Les auteurs ont découvert que si vous disposez vos bâtons de la bonne manière, ils s'alignent parfaitement avec les « racines » (vecteurs spéciaux) de ces réseaux. En utilisant cette connexion, ils peuvent prouver exactement combien de bâtons entrent dans la pièce et montrer que les agencements connus sont en réalité les meilleurs.

Le Grand Concours de Remplissage de Bâtons

Le document se concentre sur un puzzle spécifique : dans un espace de dimension 7 (ce qui est difficile à visualiser, alors imaginez une pièce avec 7 directions différentes pour vous déplacer), quel est le nombre maximum de droites que vous pouvez tracer passant par le centre si chaque paire de droites doit former un angle de soit $\arccos(1/5)$ soit $\arccos(3/5)$ ?

Avant ce document, les mathématiciens connaissaient de grands nombres. Pour les dimensions 7 à 20, les plus grands groupes de droites connus avaient des tailles comme 72, 126, 240, et ainsi de suite. Ceux-ci étaient construits en utilisant une méthode ingénieuse impliquant des réseaux de racines spéciaux (spécifiquement $E_6$, $E_7$ et $E_8$). Mais personne ne savait avec certitude si ces groupes étaient les plus grands possibles, ou si quelqu'un pouvait en caser quelques-uns de plus en étant encore plus habile.

Le document de Tricot dit : « Voyons si nous pouvons faire mieux. » Et la réponse, pour les dimensions 7, 8 et 9, est un non retentissant.

Voici ce que le document a réellement trouvé, classé par taille de pièce :

• Dimension 7 : Le document prouve que le nombre maximum de droites est exactement 72. Si vous essayez d'en faire entrer 73, la géométrie se brise. La seule façon d'obtenir 72 est d'utiliser l'agencement spécifique construit à partir du réseau $E_6$. C'est l'unique solution.
• Dimension 8 : La limite est de 126 droites. Là encore, le document prouve que l'on ne peut pas en mettre plus. La seule façon d'atteindre ce nombre est d'utiliser l'agencement dérivé du réseau $E_7$.
• Dimension 9 : La limite est de 240 droites. La preuve montre que l'agencement issu du réseau $E_8$ est le vainqueur unique. Vous ne pouvez pas caser une 241ème droite.
• Dimension 10 : Le document cherche à classifier les systèmes les plus grands dans cette dimension également, en suivant le même processus rigoureux utilisé pour les dimensions inférieures. Cependant, le texte fourni du document s'arrête avant que la preuve finale pour la dimension 10 ne soit terminée, laissant cette limite spécifique comme un travail en cours dans ce document.

Les auteurs n'ont pas seulement deviné ces nombres ; ils ont utilisé un mélange de déduction logique et de recherches informatiques pour écarter toute autre possibilité. Ils ont montré que si l'on suppose l'existence d'un groupe plus grand de droites, on finit par se heurter à une contradiction mathématique — comme essayer de faire entrer une cheville carrée dans un trou rond, mais le trou est fait de mathématiques pures.

L'Indice du « Triangle Spécial »

Comment ont-ils prouvé cela ? Ils ont utilisé un outil de détective appelé « triangle spécial ». Imaginez trois bâtons dans votre main. Si deux d'entre eux s'inclinent selon l'angle « large » ($\arccos(3/5)$) et que le troisième s'incline selon l'angle « aigu » ($\arccos(-1/5)$, qui est l'opposé de l'angle large), ils forment un triangle spécial.

Le document prouve que dans n'importe quel grand groupe de ces droites (72 ou plus), vous devez avoir ces triangles spéciaux. Une fois que l'on sait qu'ils existent, les mathématiques deviennent très rigides. Les auteurs ont montré que si vous avez ces triangles, l'ensemble du groupe de droites est contraint de s'aligner avec un réseau spécifique. Une fois qu'ils ont forcé les droites à s'aligner sur le réseau, ils ont pu utiliser des programmes informatiques pour vérifier chaque façon possible d'arranger les bâtons sur ce réseau. Les ordinateurs ont vérifié des millions de combinaisons et ont trouvé que, dans chaque cas, on ne pouvait pas obtenir plus que les nombres connus (72, 126, 240).

Une Nouvelle Découverte en Dimension 15

Bien que la mission principale soit de prouver les limites pour les dimensions 7 à 9 (et de commencer sur la 10), le document a aussi eu une surprise amusante. En dimension 15, les auteurs ont construit un nouveau système de 456 droites. Cela correspond à la taille du meilleur système connu trouvé par d'autres mathématiciens (Ganzhinov et Szöllősi), mais ce document propose une nouvelle façon de le construire. C'est comme trouver une nouvelle recette, légèrement différente, qui produit exactement le même gâteau délicieux. Cela confirme que 456 est un candidat très sérieux pour être le maximum en dimension 15, bien que le document ne prétende pas avoir prouvé qu'il s'agit de la limite absolue (ce qui est un travail plus difficile pour les dimensions supérieures).

L'Essentiel

Ce document est une victoire pour la certitude. Pour les dimensions 7, 8 et 9, nous connaissons désormais le nombre exact maximum de droites pouvant danser sur le rythme des angles $\arccos(1/5)$ et $\arccos(3/5)$. Les nombres sont 72, 126 et 240. Le document prouve que les agencements que nous connaissions déjà ne sont pas seulement bons — ils sont les seules façons d'atteindre ces maximums.

Les auteurs ont utilisé la connexion entre ces droites et les réseaux entiers (les grilles invisibles) comme un super-pouvoir. En transformant le problème de « l'ajustement de bâtons » en un problème d'« ajustement de points sur une grille », ils ont pu utiliser des ordinateurs pour vérifier chaque possibilité et prouver que personne ne peut faire mieux. C'est un rappel que dans le vaste monde abstrait de la géométrie de haute dimension, parfois les motifs les plus beaux sont aussi les seuls qui conviennent.