eikosiheptagramme

Imaginez une surface courbe qui n'est ni une sphère ni un simple morceau de plan. Sur cette surface, certaines droites restent entièrement tracées sans s'en échapper. Dans le cas le plus célèbre, on peut en compter exactement 27 : leur ensemble forme l'eikosiheptagramme.

Le mot paraît mystérieux, mais l'idée est concrète : il s'agit d'un dessin de 27 droites porté par une surface cubique lisse. Cette surface est liée à une équation de degré 3, tandis que les droites révèlent une structure géométrique cachée. D'autres surfaces du troisième ordre peuvent présenter 3, 7 ou 15 droites réelles.

L'eikosiheptagramme désigne la configuration des 27 droites réelles associées à une surface cubique lisse non réglée. Une surface cubique algébrique est le lieu des zéros d'un polynôme homogène de degré 3 dans l'espace projectif ; dans une carte affine, elle peut être décrite par une équation cubique. Ici, « lisse » signifie qu'elle ne présente pas de point singulier, et « non réglée » exclut une surface parcourue par une famille continue de droites qui en constitue la structure générale.

La notion se comprend aussi dans le cadre plus large de la surface du troisième ordre introduit par Christian Juel. Pour une surface algébrique définie par une équation de degré 3, toute droite qui n'est pas contenue dans la surface la rencontre en au plus trois points. Ce critère géométrique décrit une propriété du troisième ordre sous cette hypothèse algébrique ; il ne constitue pas à lui seul une définition suffisante d'une surface cubique.

Pour une surface lisse du troisième ordre, le nombre de droites réelles peut être 3, 7, 15 ou 27. L'eikosiheptagramme correspond au dernier cas, celui où les 27 droites sont présentes. Le résultat est associé à la géométrie algébrique du XIXe siècle, notamment aux travaux de Cayley et de Salmon.

On considère une surface cubique lisse non réglée dont on cherche les droites réelles. Les données utiles sont les suivantes : la surface est lisse ; elle est du troisième ordre ; on ne retient que les droites entièrement contenues dans la surface ; le cas étudié est celui qui en possède 27.

Pour rendre le test concret sans refaire le recensement des 27 droites, isolons le critère sur la surface cubique explicite F(x,y,z,w)=x³+y³+z³+w³=0, sans l'identifier à la surface du cas à 27, et prenons deux candidates projectives. Pour L(t,s)=[t:-t:s:-s], la substitution donne F(L(t,s))=t³+(-t)³+s³+(-s)³=0 : L est donc entièrement contenue dans la surface et peut être comptée. Pour M(t,s)=[t:0:0:s], on obtient F(M(t,s))=t³+s³, qui n'est pas identiquement nul ; M n'est donc pas contenue. Elle rencontre néanmoins la surface lorsque t³+s³=0, par exemple en [−1:0:0:1] : c'est une candidate sécante à écarter du comptage.

Le contrôle est visible sur ces deux candidates : la substitution de L donne le polynôme nul, donc L passe le test d'appartenance ; celle de M donne t³+s³, donc M échoue ce test et son point de rencontre [−1:0:0:1] ne suffit pas à la compter. Ce mini-test vérifie le geste de tri — conserver une droite entièrement contenue, écarter une sécante — tandis que le cas étudié dans son ensemble conserve le total attendu de 27 droites réelles.

En géométrie algébrique, l'eikosiheptagramme sert de cas d'étude pour relier une équation de degré 3 à une configuration géométrique finie. Le geste consiste à passer de la surface à ses droites entièrement contenues, puis à vérifier leur nombre.

Dans une représentation pédagogique, on utilise un schéma comptable : les 27 droites sont distinguées et numérotées, tandis que la surface est seulement suggérée. Cette convention évite de faire croire qu'un dessin plan reproduit fidèlement une surface cubique de l'espace.

Pour une recherche historique, on associe le résultat au problème classique des 27 droites sur une surface cubique lisse et aux noms de Cayley et Salmon. Pour une définition plus large, on retient plutôt le critère de rencontre en au plus trois points donné pour les surfaces du troisième ordre.

Une droite sécante à une surface cubique n'est pas l'une des 27 droites. Le critère testable est l'appartenance : une droite comptée est entièrement contenue dans la surface, alors qu'une sécante ne fait que la rencontrer, en au plus trois points dans le cadre du troisième ordre.

L'eikosiheptagramme ne désigne pas non plus une surface cubique entière. La surface est le support géométrique ; l'eikosiheptagramme est la configuration particulière des 27 droites qui y sont contenues. Un dessin de la surface sans ces droites ne suffit donc pas à identifier la figure.

Le nombre 27 ne vaut pas pour toute surface du troisième ordre. La source distingue quatre nombres possibles de droites réelles sur une surface lisse : 3, 7, 15 ou 27. Le symptôme d'une généralisation abusive est d'annoncer 27 avant d'avoir identifié le cas géométrique ; il faut d'abord vérifier les hypothèses et le nombre effectivement présent.

La condition « non réglée » est également importante. Une surface réglée contient des droites selon une organisation continue, tandis que l'eikosiheptagramme porte une configuration finie de 27 droites. Confondre ces deux situations transforme une propriété particulière en description de toute la surface.

Enfin, « au plus 3 points » concerne une droite non incluse dans la surface. Une droite entièrement contenue constitue précisément le cas exclu par cette formulation ; elle ne doit donc pas être comptée comme une simple droite de rencontre.

Le prolongement naturel consiste à étudier pourquoi une surface cubique lisse peut porter un nombre aussi contraint de droites réelles. Cette question ouvre vers la géométrie algébrique, où les propriétés d'une équation polynomiale se lisent à travers la forme et les sous-objets de la surface. Le cas des 27 droites constitue ainsi un exemple historique de correspondance entre calcul algébrique et géométrie de l'espace.