Bir juft shim (matematika) - Pair of pants (mathematics)

O'zining chegarasi qizil rangga ega bo'lgan kosmosda namoyish etilgan shim.

Yilda matematika, a shim a sirt qaysi gomeomorfik uchta teshikka soha. Ism o'chirilganlardan birini ko'rib chiqishdan kelib chiqadi disklar bel kabi, ikkitasi esa a-ning qo'llari kabi shim.

Shimlar jufti qurilish materiallari sifatida ishlatiladi ixcham turli xil nazariyalardagi yuzalar. Ikkita muhim dastur giperbolik geometriya, bu erda parchalanish yopiq yuzalar shimlarni qurish uchun ishlatiladi Fenchel-Nilsen koordinatalari kuni Teichmüller maydoni va topologik kvant maydon nazariyasi bu erda ular eng oddiy bo'lmagan narsadir kobordizmlar 1 o'lchovli o'rtasida manifoldlar.

Shim va shimlarning parchalanishi

Topologik yuzalar sifatida shimlar

Shimlar samolyot domeni sifatida (ko'k rangda, chegarasi qizil rangda)

Lidda aytilganidek, shim - bu uchta teshikli sharga gomomorf bo'lgan har qanday sirt, bu rasmiy ravishda uchta ochiq disklar shardan ajratilgan juft bo'linmalar bilan. Shunday qilib, shimning ixcham yuzasi tur nol bilan uch chegara komponentlari.

The Eyler xarakteristikasi shimning −1 ga teng. Eyler xarakteristikasining barcha sirtlari orasida u maksimal darajaga ega;^{[oydinlashtirish ]} bu xususiyatga ega bo'lgan boshqa sirt - bu teshilgan torus (torus minus ochiq disk).

Shimlarning parchalanishi

2-jins yuzasi uchun ikki xil shimlarning parchalanishi

Sirtlarni o'rganishda shimlarning ahamiyati quyidagi xususiyatdan kelib chiqadi: a murakkabligini aniqlang ulangan ixcham sirt ${ displaystyle S}$ ning tur ${ displaystyle g}$ bilan ${ displaystyle k}$ chegara komponentlari bo'lishi kerak ${ displaystyle xi (S) = 3g-3 + k}$va ulanmagan sirt uchun yig'indini barcha komponentlar bo'yicha oling. U holda salbiy Eyler xarakteristikasi va murakkabligi nolga teng bo'lgan yagona yuzalar kasaba uyushmalarini ajratish juft shim. Bundan tashqari, har qanday sirt uchun ${ displaystyle S}$ va har qanday oddiy yopiq egri chiziq ${ displaystyle c}$ kuni ${ displaystyle S}$ bu emas homotopik chegara komponentiga, kesish natijasida olingan ixcham sirtga ${ displaystyle S}$ birga ${ displaystyle c}$ dan kam bo'lgan murakkablikka ega ${ displaystyle S}$. Shu ma'noda, shimlar Eylerning salbiy xususiyatlariga ega bo'lgan barcha sirtlar orasida yagona "kamaytirilmaydigan" yuzalardir.

Rekursiya argumentiga ko'ra, bu har qanday sirt uchun sirtni shimlarga kesadigan oddiy yopiq egri chiziqlar tizimining mavjudligini anglatadi. Bunga a deyiladi shimlarning parchalanishi sirt uchun va egri chiziqlar deyiladi manjetlar parchalanish Ushbu dekompozitsiya noyob emas, ammo argumentni miqdoriy aniqlash bilan ma'lum bir sirtning barcha shimlarning parchalanishi bir xil miqdordagi egri chiziqlarga ega ekanligini ko'radi, bu aynan murakkablikdir.^[1] Bog'langan yuzalar uchun shimlarning parchalanishi to'liq mavjud ${ displaystyle 2g-2 + k}$ shim.

Sirtdagi oddiy yopiq egri chiziqlar to'plami shimlarning parchalanishidir, agar ular bir-biridan ajralgan bo'lsa, ularning ikkitasi ham homotopik va chegara komponentiga homotopik bo'lmagan bo'lsa va bu xususiyatlar uchun to'plam maksimal bo'lsa.

Shimlar majmuasi

Shimlarning parchalanishi orasidagi elementar harakatlar

Ushbu sirt cheksiz ko'p turli xil shimlarning parchalanishiga ega (biz ikkita parchalanishni homotopik bo'lmaganida alohida bo'lishini tushunamiz). Bu ajralishlar o'rtasidagi munosabatlarni tushunishga harakat qilishning bir usuli bu sirt bilan bog'langan shimlar kompleksi. Bu grafik vertex bilan shimlarning parchalanishini o'rnatdi ${ displaystyle S}$va ikkita tepalik birlashtirilsa, agar ular quyidagi ikkita operatsiyadan biri bo'lgan elementar harakat bilan bog'liq bo'lsa:

• egri chiziqni olmoq ${ displaystyle alpha}$ bir teshikli torusdagi parchalanish paytida va uni faqat bir marta kesib o'tgan torusdagi egri bilan almashtiring,
• egri chiziqni olmoq ${ displaystyle alpha}$ to'rt teshikli sharda parchalanishida va uni faqat ikki marta kesishgan sohadagi egri chiziq bilan almashtiring.

Shimlar majmuasi ulangan^[2] (har qanday ikkita shimning parchalanishi elementar harakatlar ketma-ketligi bilan bog'liqligini anglatadi) va cheksizdir diametri (bir parchalanishdan ikkinchisiga o'tish uchun zarur bo'lgan harakatlar sonining yuqori chegarasi yo'qligini anglatadi). Ayniqsa, sirt 1-murakkablikka ega bo'lsa, shimlar majmuasi izomorfik uchun Farey grafigi.

The harakat ning xaritalarni sinf guruhi shimlar majmuasida ushbu guruhni o'rganish qiziqish uyg'otadi. Masalan, Allen Xetcher va Uilyam Thurston bu haqiqatni isbotlash uchun foydalanganlar yakuniy taqdim etilgan.

Giperbolik geometriyadagi shimlar

Giperbolik shimlarning moduli maydoni

Shimdagi qiziqarli giperbolik tuzilmalar osongina tasniflanadi.^[3]

Barcha uchun ${ displaystyle ell _ {1}, ell _ {2}, ell _ {3} in (0, + infty)}$ giperbolik sirt mavjud ${ displaystyle M}$ bu shim uchun gomomorfik va uning chegara qismlari umuman geodezik va uzunliklar ${ displaystyle ell _ {1}, ell _ {2}, ell _ {3}}$. Bunday sirt noyob tarzda aniqlanadi ${ displaystyle ell _ {i}}$ qadar izometriya.

Manjet uzunligini nolga teng qilib, a ga erishiladi to'liq metrik shim bilan minus manjet, uning o'rniga a pog'ona. Ushbu tuzilish cheklangan hajmga ega.

Shim va olti burchakli

Oldingi xatboshidagi tasnifning geometrik isboti giperbolik shimlarning tuzilishini tushunish uchun muhimdir. U quyidagicha davom etadi: giperbolik shim, umuman geodezik chegaraga ega bo'lib, manjetlarni juft-juft qilib birlashtirgan va ularga uchiga perpendikulyar bo'lgan uchta geodeziya yoyi noyob aniqlangan va " tikuvlar shim.

Shimni tikuv bo'ylab kesib olsak, ikkita uzun burchakli giperbolik olti burchakli olamiz, ular uzunlikning uchta muqobil tomoniga ega. Quyidagi lemmani elementar giperbolik geometriya bilan isbotlash mumkin.^[4]

Agar ikkita to'g'ri burchakli giperbolik olti burchakning har birining uchta uzunligi bir xil uzunlikka ega bo'lsa, u holda ular bir-biriga izometrik bo'ladi.

Shunday qilib, biz shimning bu ekanligini ko'rmoqdamiz ikki baravar muqobil tomonlari bo'ylab to'rtburchak olti burchakli Olti burchakning izometriya klassi, shuningdek, yopishtirilmagan tomonlarning uzunliklari bilan aniq aniqlanganligi sababli, shimlarning tasnifi olti burchaklardan iborat.

Agar bitta manjetning uzunligi nolga teng bo'lsa, o'ng burchakli olti burchakdagi mos tomonni ideal tepalik bilan almashtiradi.

Fenchel-Nilsen koordinatalari

Sirtning Teyxmuller fazosidagi nuqta ${ displaystyle S}$ juftlik bilan ifodalanadi ${ displaystyle (M, f)}$ qayerda ${ displaystyle M}$ to'liq giperbolik sirt va ${ displaystyle f: S to M}$ diffeomorfizm.

Agar ${ displaystyle S}$ egri chiziqlar bilan shimlarning parchalanishiga ega ${ displaystyle gamma _ {i}}$ u holda Teichmuller juftligini quyidagicha aniqlanadigan Fenchel-Nilsen koordinatalari bo'yicha parametrlash mumkin. The uzunlik ${ displaystyle ell _ {i}}$ shunchaki yopiq geodeziya uzunliklari gomotopik ${ displaystyle f ( gamma _ {i})}$.

The burilish parametrlari ${ displaystyle tau _ {i}}$ aniqlash qiyinroq. Ular ikkita shimni bir-biriga yopishtirganda qancha aylanishga mos keladi ${ displaystyle gamma _ {i}}$: bu ularni modul bilan belgilaydi ${ displaystyle ell _ {i} mathbb {Z}}$. Ta'rifni takomillashtirish mumkin (analitik davomi yordamida)^[5] yoki geometrik usullar) qiymatini hisobga olgan holda burilish parametrlarini olish uchun ${ displaystyle mathbb {R}}$ (taxminan, nuqta shundaki, agar kishi to'liq burilishni boshlasa, Teyxmuller fazosidagi nuqtani oldindan tuzish bilan o'zgartiradi ${ displaystyle f}$ bilan Dehn burish atrofida ${ displaystyle gamma _ {i}}$).

Shimlar majmuasi va Vayl-Petersson metrikasi

Shimlar majmuasidan Teichmuller kosmosiga qadar xaritani belgilash mumkin, bu shimlarning dekompozitsiyasini Fenchel-Nilsen koordinatalarining manjet qismi etarlicha katta doimiy bilan chegaralangan mintaqaning o'zboshimchalik bilan tanlangan nuqtasiga olib boradi. Bu kvaziizometriya qachon Teichmuller fazosi bilan ta'minlangan Vayl-Petersson metrikasi, bu ushbu metrikani o'rganishda foydali ekanligini isbotladi.^[6]

Shim va Shotki guruhlari juftlari

Ushbu tuzilmalar mos keladi Shotki guruhlari ikkita generatorda (aniqrog'i, agar giperbolik tekislik Shotki guruhi tomonidan ikkita generatorda shimning ichki tomoni gomomorf bo'lib, uning qavariq yadrosi yuqorida tavsiflangan giperbolik shim bo'lib, barchasi shu tarzda olingan).

2 o'lchovli kobordizmlar

Bu havola o'rtasidagi kobordizm Hopf havolasi va aloqani uzish topologik jihatdan shim.

Ikkala o'rtasidagi kobordizm n- o'lchovli yopiq kollektorlar ixcham (n+1) - o'lchovli manifold, uning chegarasi ikkita manifoldning ajratilgan birlashishi. The toifasi o'lchov kobordizmlari n+1 - o'lchovlarning yopiq kollektorlari bo'lgan ob'ektlar toifasi nva morfizmlar ular orasidagi kobordizmlar (kobordizmning ta'rifi manifoldlar chegarasini aniqlashni o'z ichiga oladi). E'tibor bering, manifoldlardan biri bo'sh bo'lishi mumkin; xususan o'lchovning yopiq manifoldu n+1 ga endomorfizm ning bo'sh to'plam. Birinchisi oxiri ikkinchisining boshiga teng bo'lganda ikkita kobordizm tuzish mumkin. N-o'lchovli topologik kvant maydon nazariyasi (TQFT) - toifadagi monoidal funktsiya n- murakkab vektor fazosi toifasiga kobordizmlar (bu erda ko'paytma tenzor hosilasi bilan beriladi).

Xususan, 1-o'lchovli manifoldlar orasidagi kobordizmlar (ular doiralar birlashmalari), ularning chegarasi aylanalarning ikkita bo'linmagan birlashmalariga ajratilgan ixcham yuzalardir. Ikki o'lchovli TQFT mos keladi Frobenius algebralari, bu erda doira (yagona bog'langan yopiq 1-manifold) algebraning asosiy vektor makoniga to'g'ri keladi, shim esa chegara komponentlari qanday guruhlanganiga qarab mahsulot yoki qo'shma mahsulot beradi - bu komutativ yoki kommutativ. Bundan tashqari, disk bilan bog'langan xarita, yozishmalarni to'ldiradigan chegara guruhiga qarab, kounit (iz) yoki birlik (skalar) beradi.

Izohlar

Adabiyotlar

• Xetcher, Allen; Thurston, William (1980). "Yopiq yo'naltirilgan sirtni xaritalash sinf guruhi uchun taqdimot". Topologiya. 19: 221–237. doi:10.1016/0040-9383(80)90009-9.CS1 maint: ref = harv (havola)
• Imayoshi, Yoichi; Taniguchi, Masaxiko (1992). Teichmuller bo'shliqlariga kirish. Springer. xp + 279. ISBN  4-431-70088-9.CS1 maint: ref = harv (havola)
• Ratkliff, Jon (2006). Giperbolik manifoldlarning asoslari, Ikkinchi nashr. Springer. xii + 779-bet. ISBN  978-0387-33197-3.CS1 maint: ref = harv (havola)