String topologiyasi - String topology

String topologiyasi, filiali matematika, bo'yicha algebraik tuzilmalarni o'rganishdir homologiya ning bo'sh ko'chadan bo'shliqlar. Maydonni Moira Chas boshlagan va Dennis Sallivan (1999 ).

Motivatsiya

Da singular kohomologiya bo'shliq har doim mahsulot tuzilishiga ega, bu uchun to'g'ri emas singular homologiya bo'shliq. Shunga qaramay, bunday tuzilmani orientatsiya uchun qurish mumkin ko'p qirrali ${ displaystyle M}$ o'lchov ${ displaystyle d}$ . Bu shunday deb nomlangan kesishish mahsuloti. Intuitiv ravishda uni quyidagicha ta'riflash mumkin: berilgan sinflar ${ displaystyle x in H_ {p} (M)}$ va ${ displaystyle y in H_ {q} (M)}$ , ularning mahsulotlarini oling ${ displaystyle x times y in H_ {p + q} (M marta M)}$ va uni diagonalga o'tkazing ${ displaystyle M hookrightarrow M times M}$ . Keyinchalik kesishma - bu sinf ${ displaystyle H_ {p + q-d} (M)}$ , ning kesishish hosilasi ${ displaystyle x}$ va ${ displaystyle y}$ . Ushbu qurilishni qat'iy qilishning usullaridan biri bu foydalanishdir stratifoldlar.

Fazoning gomologiyasi mahsulotga ega bo'lgan yana bir holat bu (asoslangan) pastadir maydoni ${ displaystyle Omega X}$ bo'shliq ${ displaystyle X}$ . Bu erda makonning o'zi mahsulotga ega

{ displaystyle m colon Omega X times Omega X to Omega X}

avval birinchi tsiklga, so'ngra ikkinchisiga o'tish orqali. Erkin bo'shliq maydoni uchun o'xshash mahsulot tuzilishi mavjud emas ${ displaystyle LX}$ dan xaritalar ${ displaystyle S ^ {1}}$ ga ${ displaystyle X}$ chunki ikkita ko'chadan umumiy nuqta bo'lishi shart emas. Xaritaning o'rnini bosuvchi ${ displaystyle m}$ xarita

{ displaystyle gamma colon { rm {Map}} (S ^ {1} lor S ^ {1}, M) to LM}

qayerda ${ displaystyle { rm {Map}} (S ^ {1} lor S ^ {1}, M)}$ ning pastki fazosi ${ displaystyle LM marta LM}$ , bu erda ikkita tsiklning qiymati 0 ga to'g'ri keladi ${ displaystyle gamma}$ yana ko'chadan tuzish orqali aniqlanadi.

Chas-Sallivan mahsuloti

Chas-Sallivan mahsulotining g'oyasi, endi yuqoridagi mahsulot tuzilmalarini birlashtirishdir. Ikki sinfni ko'rib chiqing ${ displaystyle x in H_ {p} (LM)}$ va ${ displaystyle y in H_ {q} (LM)}$ . Ularning mahsuloti ${ displaystyle x marta y}$ yotadi ${ displaystyle H_ {p + q} (LM marta LM)}$ . Bizga xarita kerak

{ displaystyle i ^ {!} ikki nuqta H_ {p + q} (LM marta LM) dan H_ {p + qd} ({ rm {Map}} (S ^ {1} lor S ^ {1) }, M)).}

Buni qurishning bir usuli - transversal kesishishni amalga oshirish uchun stratifoldlardan (yoki homologiyaning boshqa geometrik ta'rifidan) foydalanish (izohlagandan keyin) ${ displaystyle { rm {Map}} (S ^ {1} lor S ^ {1}, M) subset LM times LM}$ qo'shilishi sifatida Hilbert manifoldlari ). Boshqa yondashuv qulash xaritasidan boshlanadi ${ displaystyle LM marta LM}$ uchun Bo'sh joy ning oddiy to'plamidan ${ displaystyle { rm {Map}} (S ^ {1} lor S ^ {1}, M)}$ . Gomologiyada induktsiya qilingan xaritani Toms izomorfizmi, biz kerakli xaritani olamiz.

Endi biz yozishimiz mumkin ${ displaystyle i ^ {!}}$ induksiya qilingan xaritasi bilan ${ displaystyle gamma}$ sinfga kirish ${ displaystyle H_ {p + q-d} (LM)}$ , Chas-Sallivan mahsuloti ${ displaystyle x}$ va ${ displaystyle y}$ (masalan, qarang Koen va Jons (2002) ).

Izohlar

Kesishish mahsulotida bo'lgani kabi, Chas-Sallivan mahsulotiga tegishli har xil belgi konventsiyalari mavjud. Ba'zi bir konventsiyalarda u komutativ deb baholanadi, ba'zilarida esa yo'q.
Agar biz almashtirsak, xuddi shu qurilish ishlaydi ${ displaystyle H}$ boshqa multiplikativ tomonidan gomologiya nazariyasi ${ displaystyle h}$ agar ${ displaystyle M}$ ga nisbatan yo'naltirilgan ${ displaystyle h}$ .
Bundan tashqari, biz o'rnini bosa olamiz ${ displaystyle LM}$ tomonidan ${ displaystyle L ^ {n} M = { rm {Map}} (S ^ {n}, M)}$ . Yuqoridagi qurilishning oson o'zgarishi bilan biz bunga erishamiz ${ displaystyle { mathcal {}} h _ {*} ({ rm {Map}} (N, M))}$ a modul ustida ${ displaystyle { mathcal {}} h _ {*} L ^ {n} M}$ agar ${ displaystyle N}$ o'lchovlarning ko'p qirrali qismidir ${ displaystyle n}$ .
The Serr spektral ketma-ketligi ikkalasi uchun ham yuqoridagi algebraik tuzilmalarga mos keladi tola to'plami ${ displaystyle { rm {ev}} nuqta LM dan M} gacha$ tola bilan ${ displaystyle Omega M}$ va tola to'plami ${ displaystyle LE to LB}$ tolalar to'plami uchun ${ displaystyle E to B}$ , bu hisoblash uchun muhim (qarang Koen, Jons va Yan (2004) va Meier (2010)).

Batalin-Vilkoviskiy tuzilishi

Amal bor ${ displaystyle S ^ {1} marta LM dan LM gacha}$ aylanish orqali, bu xaritani keltirib chiqaradi

{ displaystyle H _ {*} (S ^ {1}) otimes H _ {*} (LM) to H _ {*} (LM)}

.

Asosiy sinfga ulanish ${ displaystyle [S ^ {1}] H_ {1} (S ^ {1})} da$ , operatorni beradi

{ displaystyle Delta ikki nuqta H _ {*} (LM) dan H _ {* + 1} gacha (LM)}

daraja 1. Ushbu operator Chas-Sallivan mahsuloti bilan ular a tuzilishini birlashtirgan ma'noda yaxshi munosabatda bo'lishini ko'rsatish mumkin. Batalin-Vilkoviskiy algebra kuni ${ displaystyle { mathcal {}} H _ {*} (LM)}$ . Ushbu operator umuman hisoblashni qiyinlashtiradi. Batalin-Vilkoviskiy algebrasining aniqlovchi o'ziga xosliklari asl rasmda "rasmlar" orqali tekshirildi. Buning uchun kamroq to'g'ridan-to'g'ri, ammo bahsli ravishda kontseptual usul kaktus operadasining bo'sh ko'chadan bo'shliqqa ta'sirini qo'llash orqali bo'lishi mumkin. ${ displaystyle LM}$ .^[1] Kaktus operadasi ramkaga zaif ekvivalentdir kichik disklar operadasi^[2] va uning topologik makonga ta'siri Batalin-Vilkoviskiyning homologiyaga oid tuzilishini nazarda tutadi.^[3]

Dala nazariyalari

Shim

String topologiyasi orqali dala nazariyalarini (topologik) tuzishga bir necha bor urinishlar mavjud. Asosiy g'oya yo'naltirilgan manifoldni tuzatishdir ${ displaystyle M}$ va har bir sirt bilan bog'laning ${ displaystyle p}$ kiruvchi va ${ displaystyle q}$ chiquvchi chegara komponentlari (bilan ${ displaystyle n geq 1}$ ) operatsiya

{ displaystyle H _ {*} (LM) ^ { otimes p} to H _ {*} (LM) ^ { otimes q}}

uchun odatiy aksiomalarni bajaradigan topologik maydon nazariyasi. Chas-Sallivan mahsuloti shim bilan bog'langan. Agar sirtning jinsi 0 dan katta bo'lsa, ushbu operatsiyalar 0 ga teng ekanligini ko'rsatish mumkin (qarang Tamanoi (2010) )

Keyinchalik tizimli yondashuv (namoyish etilgan Godin (2008) ) beradi ${ displaystyle { mathcal {}} (H _ {*} (LM), H _ {*} (LM))}$ daraja tuzilishi ${ displaystyle d}$ ochiq-yopiq gomologik konformal maydon nazariyasi (HCFT) ijobiy chegara bilan. Ochiq yopiq qismga e'tibor bermaslik, bu quyidagi tuzilishga to'g'ri keladi: ruxsat bering ${ displaystyle S}$ chegara doiralari kiruvchi yoki chiquvchi deb belgilanadigan chegara bo'lgan sirt bo'ling. Agar mavjud bo'lsa ${ displaystyle p}$ kiruvchi va ${ displaystyle q}$ chiquvchi va ${ displaystyle n geq 1}$ , biz operatsiyalarni olamiz

{ displaystyle H _ {*} (LM) ^ { otimes p} to H _ {*} (LM) ^ { otimes q}}

ning ma'lum bir burama homologiyasi bilan parametrlangan xaritalarni sinf guruhi ning ${ displaystyle S}$ .

Adabiyotlar

^ Voronov, Aleksandr (2005). "Umumjahon algebra bo'yicha eslatmalar". Matematikada va nazariy fizikada grafikalar va naqshlar (M. Lyubich va L. Taxtajan, tahr.). Providence, RI: Amer. Matematika. Soc. 81-103 betlar.
^ Koen, Ralf L.; Xess, Ketrin; Voronov, Aleksandr A. (2006). "Kaktuslar". String topologiyasi va tsiklik homologiya. Bazel: Birkxauzer. ISBN 978-3-7643-7388-7.
^ Getzler, Ezra (1994). "Batalin-Vilkoviskiy algebralari va ikki o'lchovli topologik maydon nazariyalari". Kom. Matematika. Fizika. 159 (2): 265–285. arXiv:hep-th / 9212043.

Chas, Moira; Sallivan, Dennis (1999). "String topologiyasi". arXiv:matematik / 9911159v1.
Koen, Ralf L.; Jons, Jon D. S. (2002). "String topologiyasining gomotopiya nazariyasini amalga oshirish". Matematik Annalen. 324: 773–798. arXiv:matematik / 0107187. doi:10.1007 / s00208-002-0362-0. JANOB 1942249.
Ralf Lui Koen, Jon D. S. Jons va Jun Yan, Sharlar va proektsion bo'shliqlarning halqa homologiyasi algebrasi yilda Algebraik topologiyada kategorik dekompozitsiya texnikasi: Algebraik topologiyada xalqaro konferentsiya, Skay oroli, Shotlandiya, iyun 2001, Birkxauzer, p. 77-92 (2004).
Meier, Lennart (2011). "String topologiyasidagi spektral ketma-ketliklar". Algebraik va geometrik topologiya. 11 (5): 2829–2860. arXiv:1001.4906. doi:10.2140 / agt.2011.11.2829 yil. JANOB 2846913.
Godin, Veronik (2008). "Yuqori satr topologiyasi operatsiyalari". arXiv:0711.4859v2.
Tamanoi, Xirotaka (2010). "Yuqori darajadagi TQFT operatsiyalarining torli topologiyasida va ahamiyatsizligida ko'chadan mahsulot". Sof va amaliy algebra jurnali. 214 (5): 605–615. arXiv:0706.1276. doi:10.1016 / j.jpaa.2009.07.011. JANOB 2577666.

[1] Voronov, Aleksandr (2005). "Umumjahon algebra bo'yicha eslatmalar". Matematikada va nazariy fizikada grafikalar va naqshlar (M. Lyubich va L. Taxtajan, tahr.). Providence, RI: Amer. Matematika. Soc. 81-103 betlar.

[2] Koen, Ralf L.; Xess, Ketrin; Voronov, Aleksandr A. (2006). "Kaktuslar". String topologiyasi va tsiklik homologiya. Bazel: Birkxauzer. ISBN 978-3-7643-7388-7.

[3] Getzler, Ezra (1994). "Batalin-Vilkoviskiy algebralari va ikki o'lchovli topologik maydon nazariyalari". Kom. Matematika. Fizika. 159 (2): 265–285. arXiv:hep-th / 9212043.

[1]

[2]

[3]