The Italian premiere of a large IMAGINARY exhibition
Oliver Labs
Oliver Labs daha çok algoritmik yöntemlerin kullanımında uzmanlaşmış bir geometricidir. Oliver Labs’in çalışma alanı, ilginç yüzey ve eğrilerin oluşturulması, görselleştirilmesi ve ortaya çıkabilecek herhangi bir algoritmik problem üzerine çalışmaları kapsıyor. Bu galeride ise inanılmaz derecede fazla tekilliğe sahip cebirsel yüzeylerin görsellerini bulabilirsiniz.
Formül
- 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
Barth'ın Altıgili
Derecesi 6 olan bir polinomu sıfır yapan noktaların kümesine derecesi altı olan bir yüzey ya da kısaca altıgil diyoruz. Resimdeki altıgili Wolf Barth 1996 yılında inşa etmiştir. Burada görülemeyen sonsuz uzaktaki 15 tekilliği de sayarsak, yüzeyin toplam 65 tane tekilliği vardır. 1997 yılında Jaffe ve Ruberman’ın gösterdiği gibi, bir altıgilde olabilecek en fazla tekillik sayısı 65›tir.
Barth’ın buluşu büyük şaşkınlık yarattı çünkü geometriciler uzun yıllardır bir altıgilin 64’ten fazla tekilliğe sahip olamayacağına inanıyordu. Düzgün yirmiyüzlü simetrisi, Barth’ın altıgilinin en çarpıcı yanlarından biridir. Fakat 65 tekillikli altıgillerin hepsi bu simetriye sahip değildir.
Barth’ın altıgili tek değil! 3 parametreyle ifade edilen, her biri 65 tekillikli bir altıgil ailesi bile bulunmaktadır. Bu ailede, bu 3 parametre gelişigüzel seçilebilir ve her defasında 65 tekillikli yeni bir altıgil elde edilir.
Barth’ın altıgilinin tam formülü şöyledir: P6 − αK2 = 0. Bu eşitlikte P6 = ( τ2x2−y2)( τ2y2−z2)( τ2z2− x2) (derecesi 6 olan bir polinom); τ = (1+√5)/2, yani altın oran; α = (2τ+1)/4=(2+√5)/4; ve K = x2+y2+z2−1, (derecesi 2 olan bir polinom). K=0 denklemi, yarıçapı 1 olan küreyi tanımlar.
Formül
- 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
Labs'ın Yedigili
Oliver Labs 2004 yılında Mainz’de doktora tezini yazarken 99 tekilliğe sahip derecesi 7 olan bir yüzey (yedigil) oluşturdu. Derecesi 6 olan yüzeyler için olası en yüksek tekillik sayısının 65 olduğu 1997’den beri biliniyordu. A. N. Varchenko’nun 1982›de elde ettiği bir sonuç, bir yedigilde 104’ten fazla tekillik olamayacağını söylemiştir. 1992’de S. V. Chmutov 93 tekilliğe sahip bir yedigil inşa etti; bu o zaman için bir dünya rekoruydu. Labs’ın rekoru halen kırılamamıştır. 100,101,…,104 tekilliğe sahip yedigillerin olup olamayacağı açık bir problem olarak keşfedilmeyi bekliyor halen.
Labs’ın Yedigili bir düzgün yedigenin simetrilerine sahiptir. Duco Van Straten’in altıgiller için olan hesaplamalarına benzer şekilde, her biri 99 tekilliğe sahip yedigillerin oluşturduğu ve 5 parametreyle ifade edilen bir yedigiller ailesinin hesabı yapılabilir. Labs, yedigil inşası için Kaiserslautern Teknik Üniversitesi’nde geliştirilen “Singular” cebirsel yazılımını kullandı. Bu yazılım tekil cebirsel yüzeyler üzerinde çalışmalar üretmek için gayet uygundur.
Formül
- 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
Quintic with 15 cusps
This surface of degree 5 (quintic) has 15 singularities whose type is called ordinary cusp or A2. The surface is part of a series of related surfaces of infinitely many degrees constructed by Oliver Labs in 2005. As one can see from the picture, five of the singularities look different than the others. These five ones are more specifically of type A2++ and the others of type A2+−. The former can be described locally by the equation x3+y2+z2 = 0, the others by x3+y2−z2 = 0. The equation of the quintic with 15 cusps is S5(x, y)+t(z) = 0, where S5(x, y) = x5−10x3y2+5xy4−5x4−10x2y2− 5y4+20x2+20y2−16 is a regular pentagon, and where the polynomial t(z) = −3z5+10z3−15z−8 is a variant of the so–called Tchebychev Polynomials.
A cubic surface with a D4 singularity
Equation: classical (19th century), adapted by Oliver Labs.
Visualization: Oliver Labs