Burilish kompleksi - Curve complex

Yilda matematika, egri murakkab a soddalashtirilgan kompleks C(S) cheklangan tip bilan bog'liq sirt S, ning kombinatorikasini kodlaydi oddiy yopiq egri chiziqlar kuniS. Egri chiziq kompleksi ning geometriyasini o'rganishda asosiy vosita bo'lib chiqdi Teichmüller maydoni, ning sinf guruhlarini xaritalash va of Klein guruhlari. U 1978 yilda V.J.Harvey tomonidan kiritilgan.

Egri majmualar

Ta'rif

Ruxsat bering ${ displaystyle S}$ cheklangan turdagi bog'langan yo'naltirilgan sirt bo'ling. Aniqrog'i, ruxsat bering ${ displaystyle S = S_ {g, b, n}}$ jinsning bog'langan yo'naltirilgan yuzasi bo'lishi ${ displaystyle g geq 0}$ bilan ${ displaystyle b geq 0}$ chegara komponentlari va ${ displaystyle n geq 0}$ teshiklar.

The egri murakkab ${ displaystyle C (S)}$ quyidagicha ta'riflangan soddalashtirilgan kompleks:^[1]

Tepaliklar bepul homotopiya darslari muhim (na homotopik ahamiyatsiz, na atrof-muhit ) oddiy yopiq egri chiziqlar ${ displaystyle S}$ ;
Agar ${ displaystyle c_ {1}, ldots, c_ {n}}$ ning aniq tepalarini ifodalaydi ${ displaystyle C (S)}$ , agar ular juftlik bilan bo'linib ketish uchun homotoplash mumkin bo'lsa, ular oddiy simpandan iborat.

Misollar

Kichkina murakkablikdagi sirtlar uchun (asosan torus, teshilgan torus va to'rt teshikli shar), yuqoridagi ta'rif bilan egri chiziq kompleksi cheksiz ko'p bog'langan komponentlarga ega. Agar mos keladigan egri chiziqlar minimal kesishish raqamiga ega bo'lsa, tepaliklarni birlashtirib, muqobil va foydali ta'rif berish mumkin. Ushbu muqobil ta'rif bilan, hosil bo'lgan kompleks $ ga izomorfik bo'ladi Farey grafigi.

Egri chiziq kompleksining geometriyasi

Asosiy xususiyatlar

Agar ${ displaystyle S}$ jinslarning ixcham yuzasi ${ displaystyle g}$ bilan ${ displaystyle b}$ ning chegara komponentlari ${ displaystyle C (S)}$ ga teng ${ displaystyle xi (S) = 3g-3 + b}$ . Keyingi narsada biz buni taxmin qilamiz ${ displaystyle xi (S) geq 2}$ . Burilishlar kompleksi hech qachon mahalliy darajada cheklanmagan (ya'ni har bir tepalikning cheksiz ko'p qo'shnilari bor). Harerning natijasi ^[2] buni tasdiqlaydi ${ displaystyle C (S)}$ aslida homotopik jihatdan teng a xanjar summasi sohalar.

Kesishma raqamlari va masofa ochiq C(S)

Ning skeletlari bo'yicha kombinatorial masofa ${ displaystyle C (S)}$ izotopiya sinflaridagi ikki egri chiziqning eng kichik kesishish soni bo'lgan sirtdagi oddiy yopiq egri chiziqlar orasidagi kesishish soni bilan bog'liq. Masalan^[3]

{ displaystyle d_ {S} ( alfa, beta) leq 2 log _ {2} (i ( alfa, beta)) + 2}

istalgan ikkita qo'shma oddiy yopiq egri chiziqlar uchun ${ displaystyle alfa, beta}$ . Boshqa yo'nalishda taqqoslash mumkin, ammo natijalar juda nozik (masalan, ma'lum bir sirt uchun ham pastki pastki chegara mavjud emas) va isbotlash qiyinroq.^[4]

Giperboliklik

Bu isbotlangan Masur va Minskiy^[5] egri chiziqlar kompleksi a Gromov giperbolik fazosi. Keyinchalik turli mualliflarning asarlari ushbu dalilning muqobil dalillarini va giperboliklik to'g'risida yaxshiroq ma'lumot berdi.^[4]^[6]

Xaritalar sinfi guruhi va Teichmuller makoni bilan aloqasi

Xaritalar sinfi guruhining harakati

The xaritalarni sinf guruhi ning ${ displaystyle S}$ kompleksda ishlaydi ${ displaystyle C (S)}$ tabiiy usulda: u tepaliklarda harakat qiladi ${ displaystyle phi cdot alpha = phi _ {*} alpha}$ va bu to'liq kompleksdagi harakatga taalluqlidir. Ushbu aksiya xaritalar sinfi guruhlarining ko'plab qiziqarli xususiyatlarini isbotlashga imkon beradi.^[7]

Xaritalar sinf guruhi o'zi emas giperbolik guruh, haqiqat ${ displaystyle C (S)}$ hiperbolik hali ham uning tuzilishi va geometriyasiga ta'sir qiladi.^[8]^[9]

Teichmuller maydoni bilan taqqoslash

Dan tabiiy xarita mavjud Teichmüller maydoni iloji boricha eng kichik uzunlikni (yopiq egri chiziqlar yig'indisiga) belgilangan giperbolik tuzilmalarni oladigan egri chiziq kompleksiga sistola ). Bu ikkinchisining ba'zi geometrik xususiyatlarini o'qishga imkon beradi, xususan, Teyxmuller fazosining o'zi giperbolik bo'lmagan holda, u giperbolikaning ba'zi xususiyatlarini saqlab qolishi haqidagi empirik haqiqatni tushuntiradi.

3 o'lchovli topologiyaga tatbiq etish

Heegaard bo'laklari

Simpleks ${ displaystyle C (S)}$ ning "to'ldirilishini" aniqlaydi ${ displaystyle S}$ tutqichga. Ikkita sodda variantni tanlash ${ displaystyle C (S)}$ Shunday qilib a Heegaardning bo'linishi uch qirrali,^[10] Heegaard diagrammasining qo'shimcha ma'lumotlari bilan (ikkita tutqichning har biri uchun disklarni chegaralovchi maksimal yopiq oddiy egri chiziqlar tizimi). Heegaard bo'linmalarining ba'zi xususiyatlarini soddaliklarning nisbiy pozitsiyalaridan juda samarali o'qish mumkin:

bo'linish, agar u umumiy vertexga ega bo'lgan soddaliklar bilan ifodalangan diagrammaga ega bo'lsa, kamaytirilishi mumkin;
agar u chekka bilan bog'langan soddaliklar bilan ifodalangan diagrammaga ega bo'lsa, bo'linish kuchsiz kamayadi.

Umuman olganda bo'linish diagrammasini aks ettiruvchi soddaliklar orasidagi minimal masofa topologiya va geometriya to'g'risida ma'lumot berishi mumkin (ma'noda geometriya gumoni ko'p qirrali) va aksincha.^[10] Boshqaruv printsipi shundaki, Heegaard bo'linishining minimal masofasi bu manifoldning murakkabligi o'lchovidir.^[11]

Kleyniy guruhlari

Oldingi paragraf falsafasining alohida holi sifatida egri chiziq kompleksi geometrik 3-manifoldlarning kombinatorial va geometrik xususiyatlarini bog'laydigan muhim vosita hisoblanadi va shu sababli u Kleiniy guruhlarini o'rganishda foydali vosita hisoblanadi.^[12] Masalan, ning isbotida ishlatilgan laminatsiya gipotezasini tugatish.^[13]^[14]

Tasodifiy manifoldlar

Tasodifiy 3-manifoldlar uchun mumkin bo'lgan model - bu tasodifiy Heegaard bo'linishlarini olish.^[15] Ushbu model giperbolik ekanligining isboti deyarli aniq (ma'lum ma'noda) egri chiziqlar geometriyasidan foydalanadi.^[16]

Izohlar

^ Farb va Margalit, Ch. 4.1, p. 92
^ Harer, Jon L. (1986-02-01). "Yo'naltirilgan sirtni xaritalash klassi guruhining virtual kohomologik o'lchovi". Mathematicae ixtirolari. 84 (1): 157–176. Bibcode:1986InMat..84..157H. doi:10.1007 / BF01388737. ISSN 0020-9910.
^ Schleimer 2006 yil, Lemma 1.21.
^ ^a ^b Bowditch 2006 yil.
^ Masur va Minskiy 1999 yil.
^ Augab, Tarik (2013). "Egri chizmalarning bir xil giperbolikligi". Geom. Topol. 17 (5): 2855–2875. arXiv:1212.3160. doi:10.2140 / gt.2013.17.2855. JANOB 3190300.
^ Ivanov 1992 yil, 7-bob.
^ Manganas, Yoxanna (2010). "Xaritalar sinfi guruhi kichik guruhlarining bir xil bir xil eksponensial o'sishi". Geom. Vazifasi. Anal. 19: 1468–1480. JANOB 2585580.
^ Daxmani, Fransua; Guirardel, Vinsent; Osin, Denis. "Giperbolik singari kichik guruhlar va giperbolik bo'shliqlarda harakat qiluvchi guruhlarda aylanadigan oilalar". Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
^ ^a ^b Gempel 2001 yil.
^ Abrams, Aaron; Shleymer, Shoul (2005). "Heegaard bo'linishlarining masofalari". Geom. Topol. 9: 95–119. arXiv:matematik / 0306071. doi:10.2140 / gt.2005.9.95. JANOB 2115669.
^ Bowditch, Brian H. (2005). "Giperbolik 3-manifold va egri chiziq kompleksi". Evropa matematika kongressi. Yevro. Matematika. Soc. 103-115 betlar.
^ Minsky, Yair (2010). "Kleiniy sirt guruhlari tasnifi, I: modellar va chegaralar". Matematika yilnomalari. 171 (1): 1–107. arXiv:matematik / 0302208. doi:10.4007 / annals.2010.171.1. ISSN 0003-486X.
^ Brok, Jefri; Kanareykalar, Richard; Minsky, Yair (2012). "Kleiniy sirt guruhlari tasnifi, II: Oxirgi laminatsiya gipotezasi". Matematika yilnomalari. 176 (3): 1–149. arXiv:matematika / 0412006. doi:10.4007 / annals.2012.176.1.1. ISSN 0003-486X.
^ Dunfild, Natan M.; Thurston, William P. (2006). "Tasodifiy 3-manifoldlarning cheklangan qopqoqlari". Ixtiro qiling. Matematika. 166 (3): 457–521. arXiv:matematik / 0502567. Bibcode:2006InMat.166..457D. doi:10.1007 / s00222-006-0001-6. JANOB 2257389.
^ Maher, Jozef (2010). "Tasodifiy Heegaard bo'linmalari". J. Topol. 3 (4): 997–1025. arXiv:0809.4881. doi:10.1112 / jtopol / jtq031.

Adabiyotlar

Harvey, W. J. (1981). "Modulli guruhning chegaraviy tuzilishi". Riemann sirtlari va tegishli mavzular. 1978 yil Stoni Bruk konferentsiyasi materiallari . 1981.
Bowditch, Brian H. (2006). "Kesishma raqamlari va egri chiziq kompleksining giperbolikligi". J. Reyn Anju. Matematika. 598: 105–129. JANOB 2270568.CS1 maint: ref = harv (havola)
Gempel, Jon (2001). "Egri majmuadan ko'rinishda 3-manifoldlar". Topologiya. 40 (3): 631–657. arXiv:matematik / 9712220. doi:10.1016 / s0040-9383 (00) 00033-1. JANOB 1838999.CS1 maint: ref = harv (havola)
Ivanov, Nikolay (1992). Teichmuller modulli guruhlarining kichik guruhlari. Amerika matematikasi. Soc.CS1 maint: ref = harv (havola)
Masur, Xovard A.; Minsky, Yair N. (1999). "Egri chiziqlar kompleksi geometriyasi. I. Giperboliklik". Ixtiro qiling. Matematika. 138 (1): 103–149. arXiv:matematik / 9804098. Bibcode:1999InMat.138..103M. doi:10.1007 / s002220050343. JANOB 1714338.CS1 maint: ref = harv (havola)
Shleymer, Shoul (2006). "Egri chiziqlar majmuasi to'g'risida eslatmalar" (PDF).CS1 maint: ref = harv (havola)
Benson Farb va Dan Margalit, Sinf guruhlarini xaritalash bo'yicha primer. Prinston matematik seriyasi, 49. Prinston universiteti matbuoti, Princeton, NJ, 2012 yil. ISBN 978-0-691-14794-9

[1] Farb va Margalit, Ch. 4.1, p. 92

[2] Harer, Jon L. (1986-02-01). "Yo'naltirilgan sirtni xaritalash klassi guruhining virtual kohomologik o'lchovi". Mathematicae ixtirolari. 84 (1): 157–176. Bibcode:1986InMat..84..157H. doi:10.1007 / BF01388737. ISSN 0020-9910.

[FOOTNOTESchleimer2006Lemma_1.21-3] Schleimer 2006 yil, Lemma 1.21.

[FOOTNOTEBowditch2006-4] Bowditch 2006 yil.

[FOOTNOTEMasurMinsky1999-5] Masur va Minskiy 1999 yil.

[6] Augab, Tarik (2013). "Egri chizmalarning bir xil giperbolikligi". Geom. Topol. 17 (5): 2855–2875. arXiv:1212.3160. doi:10.2140 / gt.2013.17.2855. JANOB 3190300.

[FOOTNOTEIvanov1992Chapter_7-7] Ivanov 1992 yil, 7-bob.

[8] Manganas, Yoxanna (2010). "Xaritalar sinfi guruhi kichik guruhlarining bir xil bir xil eksponensial o'sishi". Geom. Vazifasi. Anal. 19: 1468–1480. JANOB 2585580.

[9] Daxmani, Fransua; Guirardel, Vinsent; Osin, Denis. "Giperbolik singari kichik guruhlar va giperbolik bo'shliqlarda harakat qiluvchi guruhlarda aylanadigan oilalar". Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)

[FOOTNOTEHempel2001-10] Gempel 2001 yil.

[11] Abrams, Aaron; Shleymer, Shoul (2005). "Heegaard bo'linishlarining masofalari". Geom. Topol. 9: 95–119. arXiv:matematik / 0306071. doi:10.2140 / gt.2005.9.95. JANOB 2115669.

[12] Bowditch, Brian H. (2005). "Giperbolik 3-manifold va egri chiziq kompleksi". Evropa matematika kongressi. Yevro. Matematika. Soc. 103-115 betlar.

[13] Minsky, Yair (2010). "Kleiniy sirt guruhlari tasnifi, I: modellar va chegaralar". Matematika yilnomalari. 171 (1): 1–107. arXiv:matematik / 0302208. doi:10.4007 / annals.2010.171.1. ISSN 0003-486X.

[14] Brok, Jefri; Kanareykalar, Richard; Minsky, Yair (2012). "Kleiniy sirt guruhlari tasnifi, II: Oxirgi laminatsiya gipotezasi". Matematika yilnomalari. 176 (3): 1–149. arXiv:matematika / 0412006. doi:10.4007 / annals.2012.176.1.1. ISSN 0003-486X.

[15] Dunfild, Natan M.; Thurston, William P. (2006). "Tasodifiy 3-manifoldlarning cheklangan qopqoqlari". Ixtiro qiling. Matematika. 166 (3): 457–521. arXiv:matematik / 0502567. Bibcode:2006InMat.166..457D. doi:10.1007 / s00222-006-0001-6. JANOB 2257389.

[16] Maher, Jozef (2010). "Tasodifiy Heegaard bo'linmalari". J. Topol. 3 (4): 997–1025. arXiv:0809.4881. doi:10.1112 / jtopol / jtq031.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]