The Italian premiere of a large IMAGINARY exhibition
Oliver Labs
Oliver Labs est un géomètre spécialisé dans des aspects algorithmiques. Cela comprend la construction de courbes et de surfaces remarquables, leur visualisation et l’étude de tout problème algorithmique pouvant alors apparaître. Ces images montrent des surfaces algébriques ayant (vraiment) beaucoup de singularités.
Formule
- P_6 − αK^2 = 0
- P_6 = ( τ^2x^2−y^2)( τ^2y^2−z^2)( τ^2z^2− x^2), τ = (1+\sqrt{5})/2
- α = (2τ+1)/4=(2+\sqrt{5})/4
- K = x^2+y^2+z^2−1
Sextique de Barth
Cette surface de degré 6 (sextique) a été construite par Wolf Barth en 1996. Au total, elle a 65 singularités en tenant compte des 15 qui sont invisibles, situées à l’infini. Ce nombre de 65 est le nombre maximal de singularités d’une sextique, comme démontré en 1997 par Jaffe et Ruberman.
La construction de Barth fut une grande surprise: les géomètres crurent longtemps qu’une surface de degré 6 ne pouvait avoir plus de 64 singularités. La symétrie icosaédrale est l’une des caractéristiques frappantes de la sextique de Barth. Les sextiques à 65 singularités n’ont cependant pas toutes ce type de symétrie; il existe en fait une famille à 3 paramètres de surfaces à 65 singularités ! On peut choisir presque arbitrairement ces trois paramètres pour obtenir une telle surface. L’équation exacte de la sextique de Barth est P6 − αK2 = 0, où P6 = ( τ2x2−y2)( τ2y2−z2)( τ2z2− x2), τ= 1/2(1+√5) est le nombre d’or, α = 1/4(2τ+1)=1/4(2+√5) et K = x2+y2+z2−1 décrit la sphère de rayon 1.
Formule
- x^7-21*x^5*y^2+35*x^3*y^4-7*x*y^6+7*x^6*1+21*x^4*y^2*1+21*x^2*y^4*1+7*y^6*1-57*x^4*1^3-114*x^2*y^2*1^3-57*y^4*1^3+(24/7*a^2+768/49*a+800/7)*x^2*1^5+(24/7*a^2+768/49*a+800/7)*y^2*1^5+(-149808/2401*a^2+3216/343*a-147584/2401)*1^7+(-49*a^2+7*a-52)*x^4*1^2*z+(-98*a^2+14*a-104)*x^2*y^2*1^2*z+(-49*a^2+7*a-52)*y^4*1^2*z+(128/7*a^2+704/49*a+128/7)*x^2*1^4*z+(128/7*a^2+704/49*a+128/7)*y^2*1^4*z+(-1632/343*a^2+16/7*a-192/343)*1^6*z+(-98*a^2+14*a-101)*x^4*1*z^2+(-196*a^2+28*a-202)*x^2*y^2*1*z^2+(-98*a^2+14*a-101)*y^4*1*z^2+(3016/7*a^2-2904/49*a+440)*x^2*1^3*z^2+(3016/7*a^2-2904/49*a+440)*y^2*1^3*z^2+(-17440/343*a^2+416/49*a-17040/343)*1^5*z^2+(-49*a^2+7*a-50)*x^4*z^3+(-98*a^2+14*a-100)*x^2*y^2*z^3+(-49*a^2+7*a-50)*y^4*z^3+(5776/7*a^2-5648/49*a+5888/7)*x^2*1^2*z^3+(5776/7*a^2-5648/49*a+5888/7)*y^2*1^2*z^3+(-313136/343*a^2+6288/49*a-319264/343)*1^4*z^3+(3680/7*a^2-3608/49*a+536)*x^2*1*z^4+(3680/7*a^2-3608/49*a+536)*y^2*1*z^4+(-592240/343*a^2+11856/49*a-603856/343)*1^3*z^4+(816/7*a^2-800/49*a+832/7)*x^2*z^5+(816/7*a^2-800/49*a+832/7)*y^2*z^5+(-458832/343*a^2+1312/7*a-467840/343)*1^2*z^5+(-166272/343*a^2+3328/49*a-169536/343)*1*z^6+(-166272/2401*a^2+3328/343*a-169536/2401)*z^7
Septique de Labs
En 2004, alors qu’il rédige sa thèse de doctorat à Mayence, Oliver Labs construit une surface de degré 7 (septique) à 99 singularités. On sait depuis 1997 que le nombre maximum de singularités pour les surfaces de degré 6 est de 65. Pour le degré 7, un résultat de 1982 de A. N. Varchenko nous dit qu’il ne peut y avoir plus de 104 singularités. En 1992, Chmutov construit une septique à 93 singularités, établissant le record de l’époque. Après la construction de Labs, le record fut porté à 99. On ne sait toujours pas s’il existe des septiques à 100, 101, … , 104 singularités.
La septique de Labs a la symétrie d’un heptagone régulier. On peut cependant montrer qu’il existe une famille à 5 paramètres de septiques à 99 singularités, rappelant ainsi le résultat de Duco van Straten pour les sextiques. Pour construire la septique, Oliver Labs a utilisé le logiciel de calcul formel Singular, développé à l’université technique de Kaiserslautern. Ce logiciel est très bien adapté au travail avec les surfaces algébriques singulières.
Formule
- S_5(x, y)+t(z) = 0\\ S_5(x, y) = x^5−10x^3y^2+5xy^4−5x^4−10x^2y^2− 5y^4+20x^2+20y^2−16\\ t(z) = −3z^5+10z^3−15z−8
Quintique à 15 plis
Cette surface de degré 5 (quintique) a 15 singularités dont le type est appelé pli ou A2. La surface fait partie d’une série infinie de surfaces de degrés distincts construite par Oliver Labs en 2005. Comme on peut le voir sur l’image, 5 singularités se distinguent des autres. Elles sont plus précisément de type A2++ et les autres de type A2+-. Les premières sont localement décrites par l’équation x3+y2+z2 = 0, les autres par x3+y2-z2 = 0. L’équation de la quintique à 15 plis est S5(x, y)+t(z) = 0, où S5(x, y) = x5−10x3y2+5xy4−5x4−10x2y2− 5y4+20x2+20y2−16 est un pentagone régulier, et où le polynôme t(z) = −3z5+10z3−15z−8 est une variante des polynômes de Tchebychev.
Quintique de Togliatti
Équation de W. Barth (1995).
Visualisation : Oliver Labs
Quartique de Kummer
Équation de E. E. Kummer (années 1860).
Visualisation : Oliver Labs
Une surface cubique avec une singularité D4
Équation : classique (19è siècle), adaptée par Oliver Labs.
Visualisation : Oliver Labs