Aşağıdaki çözülmemiş problemler listesi, Kasım 1989'da SUNY Stony Brook'ta düzenlenen Konformal Dinamik Konferansı'nda sunulmuştur. Problemler Ben Bielefeld, Adrien Douady, Curt McMullen, Jack Milnor, Mitsuhiro Shishikura, Folkert Tangerman ve Peter Veerman tarafından katkıyla oluşturulmuştur.
$f_\lambda(z) = \lambda z + z^2$ olsun, burada $\lambda = \exp(2\pi i\theta)$'dır. Eğer $\theta$ rasyonel ise böyle bir polinoma parabolik denir. Eğer $\theta$ irrasyonel ise ve $f_\lambda$, $0$ yakınında bir dönmeye analitik olarak eşlenik ise $f_\lambda$'ya bir Siegel polinomu deriz. Aksi takdirde $f_\lambda$'ya bir Cremer polinomu deriz. Douady ve Sullivan [Sul], bir Cremer polinomunun Julia kümesinin hiçbir zaman yerel bağlantılı olmadığını göstermiştir. Genel durumda, Douady (yayımlanmamış), karaya oturmayan, bunun yerine Julia kümesinde bütün bir limit noktaları süreklisi bulunan dış ışınların belirli örneklerini tarif etmiştir.
Soru 1. Bir Cremer polinomunun Julia kümesinde $0$'ı $-\lambda$'ya birleştiren bir yay var mıdır? ($-\lambda$, sabit noktanın ön görüntüsüdür.)
Soru 2. Bir Cremer polinomunun Julia kümesi için makul bir topolojik model verin.
Soru 3. Herhangi bir Cremer polinomunun Julia kümesinin iyi bir bilgisayar resmini yapın.
Soru 4. Bir Cremer polinomu için $0$'a inen herhangi bir ışın var mıdır?
Soru 5. Hangi Cremer polinomları için kritik nokta erişilebilirdir?
Soru 6. Bir Cremer polinomunun Julia kümesinden sabit noktayı çıkarırsak, elde edilen $J(f_\lambda) - \{0\}$ kümesinde kaç tane bağlantılı bileşen vardır, yani bileşenlerin sayısı sayılabilir sonsuz mudur?
Soru 7. Siegel diski sınırı bir Jordan eğrisi olmayan herhangi bir Siegel polinomu var mıdır?
$P_c(z) = z^2 + c$ olsun, burada $c$, $P_c$'nin Julia kümesinin bağlantılı olduğu değerler üzerinde dolaşsın.
Soru 8. Hangi $c$ için $P_c$'nin Julia kümesi yerel bağlantılıdır? [Bildirildiğine göre Yoccoz, hiperbolik bileşenlerin sınırlarındaki noktalar ve sonsuz kez renormalize edilebilir noktalar dışında yerel bağlantılılığı yakın zamanda kanıtlamıştır.]
Soru 9. $c$ gerçel olduğunda $P_c$'nin Julia kümesi yerel bağlantılı mıdır?
§1. Julia kümelerinin yerel bağlantılılığı
Soru 10. $c$ Feigenbaum noktası ise, $P_c$'nin Julia kümesi yerel bağlantılı mıdır?
Soru 11. $P_{c_1}$ ile $P_{c_2}$'nin topolojik eşlenikliğinin, $P_{c_1}$'in $P_{c_2}$'ye quasikonformal eşlenik olduğunu gerektirdiği gösterilebilseydi, bu, kuadratik bağlantılılık odağının (yani, $P_c$'nin Julia kümesinin bağlantılı olduğu tüm $c$'lerden oluşan Mandelbrot kümesinin) yerel bağlantılılığını gerektirir miydi?
$\tau = p/q$ olsun ve $M_\tau$, bağlantılılık odağının iç açısı $p/q$ olan kolu olsun.
Soru 12. $M_\tau$'nun çapı, $\tau$'dan bağımsız bir $K$ sabiti için $K/q^2$'den küçük müdür? Değilse, en azından $K \log(q)/q^2$'den küçük müdür? (Açıklama: henüz yayımlanmamış Yoccoz eşitsizliği, çapın $q$ üzerinden bir sabitle sınırlı olduğunu gerektirir. [P] ile karşılaştırın.)
Soru 13. $P_c$ geri dönüşsüz ise, bu, $P_c$'nin Julia kümesi üzerinde genişleyen olduğu bir konformal metriğin (integrallenebilir tekilliklere sahip $\rho(z)|dz|$ biçiminde bir metrik) varlığını gerektirir mi? [Yoccoz, geri dönüşsüz durumda yerel bağlantılılığı kanıtlamıştır.]
Referanslar
[D] A. Douady, Disques de Siegel et anneaux de Herman, Séminaire Bourbaki no 677, 1986-87.
[DH1] A. Douady ve J.H. Hubbard, Systèmes Dynamiques Holomorphes I, II: Itération des Polynômes Complexes, Publ. Math. Orsay 84.02 ve 85.04.
[G] E. Ghys, Transformations holomorphes au voisinage d’une courbe de Jordan, CRAS Paris 298 (1984) 385-388.
[P] C. Petersen, Yoccoz theorem and inequality, Aarhus Univ. (hazırlık aşamasında).
[Sul] D. Sullivan, Conformal dynamical systems, Geometric Dynamics, 725–752, Springer-Verlag Lecture Notes No. 1007, 1983.
[Y] J.-C. Yoccoz, Linéarisation des germes de difféomorphismes holomorphes de $(\mathbb{C}, 0)$, CRAS Paris 306 (1988) 55-58.
§2. Quasikonformal Cerrahi (Douady, Bielefeld, Shishikura)
[DH2], [BD] ve [S]'de geliştirilen quasikonformal cerrahi tekniğini kullanarak rasyonel fonksiyonları incelemek mümkündür. İki polinomu quasikonformal cerrahi yoluyla birbirine yapıştırarak yeni polinomlar veya rasyonel fonksiyonlar elde etmenin çeşitli yöntemleri vardır. Quasikonformal cerrahinin fikri, iki polinomun dinamik uzaylarını kesip yapıştırarak, dinamiği iki polinomun dinamiğini birleştiren bir dallanmış dönüşüm elde etmektir. Daha sonra, kürenin kendisine olan bu dallanmış dönüşümü altında korunan bir konformal yapı bulmaya çalışılır, böylece Ahlfors-Bers teoremi kullanılarak dönüşüm bir rasyonel fonksiyona eşlenik olur. Deneysel olarak var gibi görünen, ancak henüz kimsenin korunan bir karmaşık yapı bulamadığı birkaç topolojik cerrahi türü vardır.
Bu tür topolojik cerrahinin ilk türü, aynı dereceden iki monik polinomun çiftleştirilmesidir (mating). ([TL] ile karşılaştırın.) İlk adım, her polinomu, sonsuzu her bir açısal yön için bir nokta olmak üzere bir çember değerinde nokta olarak düşünerek, kapalı bir disk üzerinde bir dönüşüm olarak düşünmektir. Polinomun sonsuzdaki çembere bariz genişlemesi, $d$ polinomun derecesi olmak üzere $\theta \mapsto d\theta$'dır. Şimdi bu iki polinomu, birinci polinomun $\theta$'sını ikincide $-\theta$'ya göndererek sonsuzdaki çemberlerde birbirine yapıştırın. Son olarak, iki polinomun dış ışınlarının her birini tek bir noktaya büzmeliyiz. Sonuç, $d$ derecesinden bir rasyonel dönüşüme eşlenik olmalıdır. (Şaşırtıcı bir şekilde, bu inşa bazen her iki polinomun dolu Julia kümeleri boş içe sahip olduğunda bile anlamlı görünmektedir.)
Örneğin, ilk polinom olarak tavşanı alabiliriz, yani kritik noktası $3$ periyotlu periyodik olan $z^2 + c$ ($c \approx -0.122561 + 0.744862i$). Julia kümesi aşağıdaki resimde görünmektedir.
Tavşan
O zaman ikinci polinom olarak bazilikayı alabiliriz, yani $z^2 - 1$ (adını Venedik'teki San Marco Bazilikası'ndan alır. Bazilika üstte, sudaki yansıması altta görülebilir). Bazilikanın Julia kümesi aşağıdaki şekilde görünmektedir.
Bazilika
Daha sonra, tavşana yapıştıracağımız tersyüz edilmiş bazilikayı ($\frac{z^2}{z^2-1}$) gösteriyoruz.
Tersyüz edilmiş bazilika
Ve son olarak, çiftleştirmenin Julia kümesine sahibiz ($c$ tavşan değeri olmak üzere $\frac{z^2+c}{z^2-1}$).
Tavşanla çiftleştirilmiş bazilika
Soru 1. Hangi çiftleştirmeler rasyonel fonksiyonlara karşılık gelir? Bilinen bazı engeller vardır. Örneğin, Tan Lei, kuadratik polinomlar arasındaki çiftleştirmelerin ancak Mandelbrot kümesinin karmaşık eşlenik kollarına ait olmadıklarında var olabileceğini göstermiştir.
Soru 2. Çiftleştirmeler quasikonformal cerrahi ile inşa edilebilir mi?
Soru 3. Bir polinom sabit tutulup diğeri sürekli olarak değiştirilirse, elde edilen rasyonel fonksiyon sürekli olarak değişir mi? Çiftleştirme iki değişkenli sürekli bir fonksiyon mudur?
İkinci tür topolojik cerrahi ayarlamadır (tuning). İlk olarak, $k$ periyotlu bir periyodik kritik noktası $\omega$ olan bir $P_1$ polinomu alın ve bu süperçekici döngünün tüm havzasında başka hiçbir kritik nokta olmadığını varsayın. $P_2$, bir kritik noktası olan ve derecesi $\omega$'nın derecesiyle aynı olan bir polinom olsun. Ayrıca $P_1$ ve $P_2$'nin Julia kümelerinin bağlantılı olduğunu varsayıyoruz. İki tarif veriyoruz. İlk tarif için, $\omega$'nın yakın havzasının kapanışı $\overline{B}$'nin kapalı birim diske $\overline{D}$ homeomorfik olduğunu ve $P_2$ için Julia kümesinin yerel bağlantılı olduğunu varsayıyoruz. Şimdi, $P_1^k$, $\overline{B}$'yi, $d$ kritik noktanın derecesi olmak üzere $\overline{D}$'nin $z \mapsto z^d$ dönüşümüne eşlenik bir dönüşümle kendisine gönderir. (Aslında, eğer $d > 2$ ise, eşlenik homeomorfizma için $d-1$ olası seçenek vardır ve bunlardan birini seçmeliyiz.) Sezgisel olarak fikir şudur. $B$ havzasını, $P_2$ için dinamik düzlemin bir kopyası ile değiştirin, bu düzlem için "sonsuzdaki çemberi", $P_2$ için dış açılar $\overline{B}$'deki iç açılara karşılık gelecek şekilde $B$'nin sınırına yapıştırın. Şimdi $P_2$ için her bir dış ışını bir noktaya büzün. Ayrıca, $B$'nin her bir ön görüntüsünde benzer bir değişiklik yapın. Değiştirilmiş $B$'den görüntüsüne dönüşüm $P_2$ tarafından verilecek ve değiştirilmiş $B$'nin diğer tüm ters görüntülerindeki dönüşüm birim olacaktır. Sonuç, $P_3$, $P_1$'in $\omega$'da $P_2$ ile ayarlanmışı olarak adlandırılır, $P_1$ ile aynı dereceye sahip bir polinoma eşlenik olmalıdır. Tersine, $P_2$'nin $P_3$'ten renormalizasyon ile elde edildiği söylenir.
Kuadratik polinomlar durumunda, ayarlamalar $P_2$ yerel bağlantılı olmadığında da yapılabilir. Ayrıca, havza sınırında bir kritik nokta olduğu durum farklı olabilir. Örnek olarak $P_1$'i tavşan polinomu olarak alabiliriz. Daha sonra Julia kümesi $-2$'den $2$'ye kapalı doğru parçası olan $P_2(z) = z^2 - 2$'yi alabiliriz. Aşağıdaki şekil, tavşanın doğru parçasıyla ayarlanmasıyla elde edilen kuadratik Julia kümesini göstermektedir ($c \approx -0.101096 + 0.956287i$ olmak üzere $z^2 + c$). Resimde tavşanın her kulağının bir doğru parçasıyla değiştirildiğini görüyoruz.
Doğru parçasıyla ayarlanmış tavşan
Soru 4. Ayarlama inşası her zaman bir polinoma eşlenik olan bir sonuç verir mi? $P_1$ ve $P_2$ kuadratik olduğunda bu doğrudur.
Soru 5. Ayarlamalar quasikonformal cerrahi ile inşa edilebilir mi?
Soru 6. Elde edilen polinom $P_2$ ile sürekli olarak değişir mi? $P_1$ ve $P_2$ kuadratik olduğunda bu doğrudur [DH2].
Soru 7. Elde edilen ayarlama $P_1$ ile sürekli olarak değişir mi? (burada yalnızca süperkararlı bir yörüngeye sahip $P_1$'leri dikkate alıyoruz.)
Soru 8. Bir limite yaklaşan bir $P_{1,k}$ dizisi verildiğinde, $P_{1,k}$'lerin $P_2$ ile ayarlamaları $P_2$'den bağımsız bir limite yaklaşır mı?
Üçüncü tür cerrahi iç içe geçirme cerrahisidir (intertwining surgery). $P_1$, bağlantılı Julia kümesine sahip monik bir polinom olsun ve üzerine $p/q$ dönme sayılı bir ışının indiği itici bir $x_0$ sabit noktası olsun. İlkinin ileri görüntüleri olan $q$ ışından oluşan bir döngüye bakın. Bu ışınlar boyunca kesin ve $q$ tane ayrık kama elde ederiz. Şimdi $P_2$, aynı dönme sayısına sahip bir ışının, $q$'yu bölen (örneğin $1$ veya $q$) bir periyoda sahip itici bir periyodik noktaya indiği monik bir polinom olsun. Bu dinamik düzlemi aynı ışınlar boyunca yarıp kamalar için delikler açın. Delikleri yukarıdaki karşılık gelen kamalarla doldurarak yeni bir küre yapın. Yeni dönüşüm, kesilen ışınların ters görüntülerinin bir komşuluğu dışında $P_1$ ve $P_2$ tarafından verilecek, bu komşulukta sürekli olması için ayarlanması gerekecektir. Bu inşa, [BD]'deki yöntemler ve Shishikura'nın yeni (yayımlanmamış) ön cerrahi yöntemi ile birlikte, $P_2$ uzayındaki ışınların itici bir yörüngeye indiği durumda quasikonformal olarak yapılabilir olmalıdır. Bu inşa, ışınlar parabolik bir yörüngeye indiğinde işliyor gibi görünmemektedir.
Örneğin, $P_1(z) = z^2$ ve $P_2(z) = z^2 - 2$ alabiliriz. $P_1$ için Julia kümesi, $1$'de itici sabit noktası olan birim çemberdir ve $0$ açılı ışın $0$ dönme sayısıyla bu noktaya iner. $P_2$ için Julia kümesi $-2$'den $2$'ye kapalı doğru parçasıdır, $2$'de itici sabit nokta vardır ve $0$ açılı ışın $0$ dönme sayısıyla bu noktaya iner. Her iki durumda da $0$ ışını boyunca keseriz. Birinci dinamik uzaydaki kesiği açmak bize bir kama verir. İkinci uzaydaki kesiği açarak oluşturulan uzay, kamanın içine yerleştirildiği deliktir. Elde edilen kübik Julia kümesi aşağıdaki resimde gösterilmiştir (polinom $a \approx 2.55799i$ olmak üzere $z^3 + az$'dir).
Bir doğru parçasıyla iç içe geçmiş bir çember
Resimde çemberi ve doğru parçasını, doğru parçası üzerindeki sabit noktanın ters görüntüsünde ise başka bir çember görüyoruz. Çember üzerindeki sabit noktanın diğer ters görüntüsünde bir doğru parçası eklenmiş olarak görüyoruz. Diğer tüm süslemeler, ana çemberin ve doğru parçasının çeşitli terslerinin alınmasından gelir.
İkinci bir örnek olarak bazilikayı kendisiyle iç içe geçirebiliriz. $1/3$ ışını bir sabit noktaya iner ve $1/2$ dönme sayısına sahiptir. Aşağıdaki, kendisiyle iç içe geçirilmiş bazilikanın Julia kümesidir (buradaki polinom $z^3 - \frac{3}{2}z + \frac{1}{2}$'dir).
Kendisiyle iç içe geçmiş bir bazilika
Soru 9. Bir iç içe geçirme inşası ne zaman bir polinoma eşlenik olan bir şey verir?
Soru 10. İç içe geçirmeler quasikonformal cerrahi ile inşa edilebilir mi?
Soru 11. Elde edilen polinom $P_2$'de sürekli olarak değişir mi?
İşte farklı türde bir süreklilik sorusu. $z \mapsto z^n + a_{n-1}z^{n-1} + \dots + a_1 z$ biçimindeki, $|a_1| \ge 1$ olan ve böylece orijinde çekici olmayan bir sabit nokta bulunan tüm monik polinomların uzayını düşünün. Burada Julia kümesinin bağlantılı olmasını şart koşmuyoruz. Eğer en az bir dış ışın orijine inerse, bu dış ışınların $\theta \mapsto n\theta \pmod 1$ dönüşümü altında iyi tanımlı bir "dönme sayısı" vardır.
Soru 12. Bu dönme sayısı, polinomlar uzayımızdan $\mathbb{R}/\mathbb{Z}$'ye sürekli bir dönüşüme tek olarak genişler mi? ($a_1 = e^{2\pi i\theta}$ olduğunda, bu dönme sayısı dönüşümü $\theta$ değerini almalıdır.)
Referanslar
[BD] B. Branner ve A. Douady, Surgery on Complex Polynomials, Proc. Symp. of Dynamical Systems Mexico (1986).
[DH2] A. Douady ve J.H. Hubbard, On the Dynamics of Polynomial Like Mappings, Ann. Sc. E.N.S., 4ème Séries 18 (1985).
[S] M. Shishikura, On the Quasiconformal Surgery of Rational Functions, Ann. Sc. E.N.S., 4ème Séries 20 (1987).
[STL] M. Shishikura ve Tan Lei, A Family of Cubic Rational Maps and Matings of Cubic Polynomials, preprint of Max-Planck-Institut, Bonn 50 (1988).
[TL1] Tan Lei, Accouplements des polynômes quadratiques complexes, CRAS Paris (1986), 635-638.
[TL2] Tan Lei, Accouplements des polynômes complexes, Thèse, Orsay (1987).
[W] B. Wittner, On the Bifurcation Loci of Rational Maps of Degree Two, Ph.D thesis, Cornell Univ., Ithaca N.Y. (1986).
§3. Gerçel fonksiyonlar için Thurston algoritması (Bielefeld, Tangerman, Veerman, Milnor)
$n$ kıvrıma sahip olan ve $\{0, 1\}$ sınırını belirli bir $\mu$ dönüşümü ile kendisine gönderen $I = [0, 1]$ aralığının parçalı monoton $f$ dönüşümlerinin $\mathcal{P} = \mathcal{P}(n, \mu)$ uzayında çalışın. $\mathcal{P}$'de herhangi bir $f_0$ dönüşümü ile başlayarak, $p_0$, $\mathcal{P}$'de tüm kritik noktaları $[0,1]$'de olan ve $f_0$ ile aynı kritik değerlere, aynı sırada rastlanacak şekilde sahip olan tek $n$ dereceli polinom olsun. O zaman $[0,1]$'in, $f_0$'ın kritik noktalarını $p_0$'ın kritik noktalarına götüren ve $p_0 \circ h_0 = f_0$'ı sağlayan tek bir $h_0$ homeomorfizması vardır. Buradan $f_1 = h_0 \circ p_0 = h_0 \circ f_0 \circ h_0^{-1}$ dönüşümünün $f_0$'a topolojik olarak eşlenik olduğu çıkar. Şimdi tümevarımla devam ederek $f_{k+1} = h_k \circ f_k \circ h_k^{-1}$ dönüşümlerini inşa edin.
$$\begin{array}{ccc} I & \xrightarrow{\quad f_2 \quad} & I \\ \uparrow\scriptstyle h_1 & \searrow\scriptstyle p_1 & \uparrow\scriptstyle h_1 \\ I & \xrightarrow{\quad\quad\quad} & I \\ \uparrow\scriptstyle h_0 & \searrow\scriptstyle p_0 & \uparrow\scriptstyle h_0 \\ I & \xrightarrow{\quad\quad\quad} & I \end{array}$$
graph TD
classDef default fill:#f9f9f9,stroke:#333,stroke-width:1px;
I2L["I"] -- "f₂" --> I2R["I"]
I1L["I"] -- "h₁" --> I2L
I1R["I"] -- "h₁" --> I2R
I1L -- "p₁" --> I2R
I0L["I"] -- "h₀" --> I1L
I0R["I"] -- "h₀" --> I1R
I0L -- "p₀" --> I1R
Eğer $f_0$ kritik-ötesi sonlu ise ve hiçbir Thurston engeli yoksa, Thurston'ın argümanından, elde edilen $p_k$ polinom dizisinin $f_0$ ile aynı yoğurma dizisine sahip bir $p_\infty$ polinomuna yakınsadığı çıkar. Bilgisayar deneyleri, birçok durumda $f_k$ dönüşüm dizisinin de bu aynı limite yakınsadığını öne sürmektedir. Dahası, $f_0$ kritik-ötesi sonlu olmasa bile bu doğru gibi görünmektedir.
Soru 1. Bu yönde kesin bir ifade formüle edin ve kanıtlayın.
Şimdi, polinomlarla kaldırmak yerine $\mathcal{P}$'deki başka bir aile ile kaldırdığımız aynı problemi düşünebiliriz. Örneğin, bilgisayar deneyleri $p_k$'leri, $\alpha > 1$ olmak üzere $p(x) = -|x|^\alpha + c$ biçimindeki bir aileden seçebileceğimizi öne sürmektedir. (Daha kesin olmak gerekirse, önce afin bir dönüşümle koordinat değiştirerek $0,1$ sınırının $0$'a gitmesini sağlamalıyız. Bu, $0 < k \le 1$ olmak üzere birim aralıktan kendisine $x \mapsto k - k|2x - 1|^\alpha$ dönüşüm ailesini verir.)
Soru 2. Önperiyodik veya periyodik yoğurma dizisine sahip bir $f_0$ verildiğinde, Thurston algoritması yukarıdaki belirli aile için yakınsar mı? Yalnızca polinom durumu olan çift tamsayı $\alpha$ için bir kanıt vardır.
Soru 3. Kaldırma ailesi için, önperiyodik veya periyodik yoğurma dizileri için Thurston algoritmasının yakınsamasını garanti edecek genel bir özellik verin.
Soru 4. Kaldırma ailesi için, keyfi yoğurma dizileri için Thurston algoritmasının yakınsamasını garanti edecek genel bir özellik verin.
Referanslar
[MT] J. Milnor ve W. Thurston, Iterated maps of the interval, s. 465-563, “Dynamical Systems (Maryland 1986-87)”, edit. J.C. Alexander, Lect. Notes Math. 1342, Springer 1988 (cf. §13.4).
[DH3] A. Douady ve J.H. Hubbard, A Proof of Thurston Topological Characterization of Rational Functions, Institut Mittag-Leffler Preprint (1984).
§4. Karmaşık Hénon tipi dönüşümler için kararlı bölgeler (Milnor)
$f$, Jakobiyen determinantı $\delta$ olan $\mathbb{C}^2$'nin bir polinom diffeomorfizması olsun. İleri yörüngesi sınırlı olan noktaların $K^+(f)$ kümesinin boş olmayan bir içe sahip olduğunu varsayalım. $U$, bu içerin bağlantılı bir bileşeni olsun. Montel'e göre, $f$'nin $U$'ya kısıtlanmış itereleri kümesi, diyelim ki $g : U \to \mathbb{C}^2$'ye yakınsayan bir alt diziye sahiptir. Açıkça, $g$'nin rankı $r$, eğer $|\delta| < 1$ ise sıfır veya birdir ve eğer $|\delta| = 1$ ise ikidir.
Soru 1. $U$ gezgin bir bileşen olabilir mi? Eğer öyleyse, $|\delta| < 1$ olmalıdır. $g$'nin rankı sıfır veya bir olabilir mi? $U$, sınırlı, veya sonlu hacimli sınırsız, veya sonsuz hacimli olabilir mi?
Eğer $U$ gezgin bir bileşen değilse, o zaman $f$ altında tam periyodiktir ve $f$'yi sonlu bir iterasyonla değiştirerek $f(U) = U$ olduğunu varsayabiliriz. O zaman $f$'nin $g$ ile değişmeli olduğuna dikkat edin. Yararlı bir örnek ailesi Hénon dönüşümleri tarafından sağlanır. Sıfırdan farklı herhangi iki karmaşık sayı $\lambda$ ve $\mu$ verildiğinde, $\lambda$ ve $\mu$ özdeğerlerine sahip bir sabit noktası olan (esasen) tek bir (kuadratik) Hénon dönüşümü $H_{\lambda,\mu}$ vardır.
Rank Sıfır Durumu. Eğer $g(U) = x_0 \in U$ ise, o zaman $x_0$ çekici bir sabit noktadır. Örnekler, özdeğerler $\lambda$ ve $\mu$'nün delinmiş açık disk $D - \{0\}$'deki herhangi iki sayı olabildiği $H_{\lambda,\mu}$ Hénon dönüşümleri tarafından sağlanır. Eğer $x_0 \in \partial U$ ise, bir özdeğerin $1$'e eşit olması gerektiği sanılmaktadır. Açıkça diğer özdeğer $D - \{0\}$'da olmalıdır. Burada $H_{1,\mu}$ bir örnek sağlar.
Rank Bir Durumu. Eğer $g$'nin $U$'da bir sabit noktası varsa, o zaman $g$, $U$'nun bir Siegel diski üzerine bir retraksiyon olmalıdır. $1 = |\lambda| > |\mu|$ olan $H_{\lambda,\mu}$ biçiminde örnekler vardır. (Zehnder ile karşılaştırın.) $g$ bir Herman halkası üzerine (veya delinmiş bir Siegel diski üzerine) bir retraksiyon olabilir mi?
Rank İki Durumu. Eğer $g$'nin bir sabit noktası varsa, o zaman $U$ bir “Siegel bi-diskidir”. $|\lambda| = |\mu| = 1$ olan $H_{\lambda,\mu}$ biçiminde örnekler vardır. (Yine Zehnder'e bakın.) $U$ aynı zamanda bir Herman halkası ile bir Herman halkasının çarpımı veya bir Herman halkası ile bir Siegel diskinin çarpımı olabilir mi?
Referanslar
[Z] E. Zehnder, A simple proof of a generalization of a theorem by C. L. Siegel, in “Geometry and Topology III”, ed. do Carmo ve Palis, Lecture Notes Math. 597, Springer 1977.
[FM] Friedland ve J. Milnor, Dynamical properties of plane polynomial automorphisms, Erg. Th. & Dy. Sy. 9 (1989), 67-99.
[HO] J. Hubbard ve R. Oberste-Vorth, Hénon mappings in the complex domain, hazırlık aşamasında.
[BS] E. Bedford ve J. Smillie, Polynomial diffeomorphisms of $\mathbb{C}^2$: currents, equilibrium measure and hyperbolicity, yayımlanacak.
§5. Geometrik sonlu dönüşümler ve Kleincı gruplar (McMullen)
Geometrik sonlu rasyonel dönüşümler
$f(z)$ bir rasyonel dönüşüm, $C$ onun kritik noktalar kümesi, $P = \bigcup_{n=1}^\infty f^n(C)$ onun kritik-ötesi kümesi ve $J$ onun Julia kümesi olsun. Eğer $P \cap J = \emptyset$ ise $f$ dönüşümüne genişleyen denir. $f$'nin genişleyen olmasının, ancak ve ancak $f$'nin sabit bir iterasyonunun Julia kümesi üzerindeki küresel metriği düzgün olarak genişletmesi olduğu iyi bilinir; bu dönüşümlere ayrıca hiperbolik veya Axiom A da denir.
$\operatorname{Rat}_d$ (sırasıyla $\operatorname{Poly}_d$) $d$ dereceli rasyonel (polinom) dönüşümlerin uzayı, düzgün yakınsaklık topolojisi ile donatılsın. İyi bilinen ve temel bir problem şudur:
Sanı. Genişleyen dönüşümler $\operatorname{Rat}_d$ ve $\operatorname{Poly}_d$'nin yoğun bir alt kümesini oluşturur.
Cf. [MSS], burada bu problem, Julia kümesi üzerinde desteklenen değişmez ölçülebilir çizgi alanları problemine bağlanmıştır. (Genişleyen dönüşümlerin kümesinin açık olduğu bilinmektedir.) Bu, kuadratik polinomlar durumunda bile bilinmemektedir. Gerçel dönüşümler için karşılık gelen problemler de açıktır.
Birçok yönden genişleyen bir rasyonel dönüşüm iyi huyludur (cf. [Sul]); $H^3$'te kompakt dışbükey çekirdeğe sahip bir Kleincı gruba benzer.
Daha genel olarak, eğer $P \cap J$ sonlu bir küme ise bir rasyonel dönüşüme geometrik sonlu diyelim. Buna denk olarak, Julia kümesindeki her kritik nokta önperiyodiktir. (Bu durumda rasyonel kayıtsız döngülere izin verilir.) Bu dönüşümler geometrik sonlu Kleincı gruplarla karşılaştırılmalıdır.
Geometrik sonlu bir $f$ rasyonel dönüşümü için:
Problem 1. Ya Julia kümesi $J$'nin tüm küre olduğunu ve $f$'nin $J$ üzerindeki etkisinin ergodik olduğunu ya da $J$'nin Hausdorff boyutu $\delta$'nın $2$'den küçük olduğunu gösterin. İkinci durumda, $J$'nin $\delta$-boyutlu ölçüsü ve bu ölçü sınıfına göre dinamikler hakkında ne söylenebilir?
Problem 2. $J$'nin her bileşeninin yerel bağlantılı olduğunu gösterin.
Problem 3. $f$ için $3$-manifoldların Haken ayrışımının bir benzerini geliştirin. Örneğin, eğer $J$ bağlantısız ise, $f$ bağlantılı Julia kümelerine sahip rasyonel dönüşümlerden cerrahi ile inşa edilebilir mi?
Problem 4. Thurston'ın kritik sonlu rasyonel dönüşümler ($|P| < \infty$ olanlar) için kombinatorik teorisini tüm geometrik sonlu dönüşümlere genişletin. Yani, $f$'yi $P$'ye göre kombinatorik denklik sınıfına kadar sonlu miktarda topolojik veri ile tanımlayın ve rasyonel dönüşüm olarak ortaya çıkan kombinatorik tipleri karakterize edin.
Dışbükey hiperbolik $3$-manifoldlar
$N$, $H^3$'ün bir Kleincı $\Gamma$ grubunun etkisiyle bölümü olarak sunulan tam bir hiperbolik $3$-manifold olsun. $N$'nin dışbükey çekirdeği, limit kümesinin dışbükey örtüsünün bölümüdür. $N$'deki tüm kapalı jeodezikler dışbükey çekirdeğin içindedir.
Soru. $\pi_1(N)$'in $n$ eleman tarafından üretildiğini varsayalım. Tamamen $N$'nin dışbükey çekirdeğinin içinde kalan gömülü bir topun yarıçapı için bir $R_n$ üst sınırı var mıdır? (Burada $R_n$ yalnızca $n$'ye bağlı olmalıdır.)
Soru, $N$ bir quasifuchsiyen grup olduğunda olumlu cevaba sahiptir. Thurston'ın sonuçlarına göre [Th Ch. 13] dışbükey çekirdekteki her noktanın yakınında kıvrımlı bir yüzey vardır ve bu, injektivite yarıçapı için bir üst sınır sağlar.
Soru, hiperbolik $2$-manifoldlar için de (kolay) olumlu bir çözüme sahiptir ve herhangi bir boyuttaki hiperbolik manifoldlar için hiçbir karşı örnek bilmiyoruz.
$\mathbb{P}^n$ üzerinde kritik sonlu rasyonel dönüşümler
Riemann küresi üzerindeki kritik sonlu rasyonel dönüşümlerin incelenmesine yardımcı olan temel bir araç, kritik-ötesi $P$ kümesinin tümleyeni üzerindeki Poincaré metriğidir ($|P| > 2$ varsayılırsa). Bu metrik $f$ tarafından genişletilir. Aynı tür argümanlar, kritik-ötesi kümesinin tümleyeni Kobayashi hiperbolik olan $f : \mathbb{P}^n \to \mathbb{P}^n$, $n > 1$ kritik sonlu rasyonel dönüşümlerine uygulanabilmelidir.
Daha kesin olarak, eğer \[ f : (\mathbb{P}^n - W) \to (\mathbb{P}^n - V) \] bir örtü dönüşümü olacak şekilde (muhtemelen indirgenebilir) hiperyüzeyler $V \subset W \subset \mathbb{P}^n$ varsa, $f$'ye kritik sonlu denir.
Problem. $\mathbb{P}^n - V$'si Kobayashi hiperbolik olan kritik sonlu dönüşümlerin aşikar olmayan örnekleri var mıdır? Dinamik olarak nasıl davranırlar?
Referanslar
[MSS] R. Mañé, P. Sad ve D. Sullivan, On the dynamics of rational maps, Ann. Sci. Éc. Norm. Sup. 16 (1983), 193–217.
[Sul] D. Sullivan, Conformal dynamical systems, Geometric Dynamics, 725–752, Springer-Verlag Lecture Notes No. 1007, 1983.
[Th] W. P. Thurston, Geometry and Topology of Three-Manifolds, Princeton lecture notes, 1979.