Bott davriyligi teoremasi - Bott periodicity theorem

Yilda matematika, Bott davriyligi teoremasi da davriylikni tasvirlaydi homotopiya guruhlari ning klassik guruhlar tomonidan kashf etilgan Raul Bott (1957, 1959 ), bu keyingi tadqiqotlar uchun muhim ahamiyatga ega ekanligini isbotladi, xususan K nazariyasi barqaror kompleks vektorli to'plamlar, shuningdek sohaning barqaror homotopiya guruhlari. Bott davriyligi ko'p jihatdan shakllantirilishi mumkin, chunki bu davriylik doimo o'lchovga bog'liq ravishda nazariya uchun davr-2 hodisasi sifatida namoyon bo'ladi. unitar guruh. Masalan, qarang topologik K-nazariyasi.

Tegishli nazariyalar uchun davriy-8 hodisalar mavjud, (haqiqiy ) KO-nazariyasi va (kvaternionik ) KSp nazariyasi, real bilan bog'liq ortogonal guruh va kvaternionik simpektik guruh navbati bilan. The J-homomorfizm ortogonal guruhlarning homotopiya guruhlaridan to gomomorfizmdir sohaning barqaror homotopiya guruhlari, bu esa 8 botning davriyligi sharlarning turg'un homotopiya guruhlarida ko'rinishini keltirib chiqaradi.

Natija to'g'risidagi bayonot

Bott buni ko'rsatdi ${ displaystyle O ( infty)}$ deb belgilanadi induktiv chegara ning ortogonal guruhlar, keyin uning homotopiya guruhlari davriy:^[1]

{ displaystyle pi _ {n} (O ( infty)) simeq pi _ {n + 8} (O ( infty))}

va dastlabki 8 homotopiya guruhlari quyidagilar:

{ displaystyle { begin {aligned} pi _ {0} (O ( infty)) & simeq mathbb {Z} _ {2} pi _ {1} (O ( infty)) & simeq mathbb {Z} _ {2} pi _ {2} (O ( infty)) & simeq 0 pi _ {3} (O ( infty)) & simeq mathbb {Z} pi _ {4} (O ( infty)) & simeq 0 pi _ {5} (O ( infty)) & simeq 0 pi _ {6} ( O ( infty)) & simeq 0 pi _ {7} (O ( infty)) & simeq mathbb {Z} end {hizalanmış}}}

Kontekst va ahamiyat

Bott davriyligining mazmuni shundaki homotopiya guruhlari ning sohalar, unda asosiy rol o'ynashi kutilgan edi algebraik topologiya o'xshashligi bilan gomologiya nazariyasi, aniqlanmagan (va nazariya murakkab). Mavzusi barqaror homotopiya nazariyasi ni soddalashtirish sifatida o'ylab topilgan to'xtatib turish (zararli mahsulot bilan doira ) operatsiyani bajarish va homotopiya nazariyasida (taxminan aytganda) nima qolganini ko'rish, agar kimdir tenglamaning har ikkala tomonini to'xtatmoqchi bo'lsa, xohlaganicha. Barqaror nazariyani amalda hisoblash qiyin edi.

Bottning davriyligi, ba'zi bir juda ahamiyatsiz bo'lmagan joylar haqidagi tushunchani taklif qildi, bu ularning topologiyasida bog'liqligi sababli topologiyada markaziy maqomga ega edi. kohomologiya bilan xarakterli sinflar, buning uchun barcha (beqaror) homotopiya guruhlarini hisoblash mumkin. Ushbu bo'shliqlar (cheksiz, yoki barqaror) unitar, ortogonal va simpektik guruhlar U, O va Sp. Shu nuqtai nazardan, barqaror ittifoqni qabul qilishni nazarda tutadi U (shuningdek,. nomi bilan ham tanilgan to'g'ridan-to'g'ri chegara ) qo'shilishlar ketma-ketligi

{ displaystyle U (1) subset U (2) subset cdots subset U = bigcup _ {k = 1} ^ { infty} U (k)}

va shunga o'xshash uchun O va Sp. Bottning so'zni ishlatishini unutmang barqaror uning seminal qog'ozi sarlavhasida ushbu barqarorga ishora qiladi klassik guruhlar va emas barqaror homotopiya guruhlar.

Bott davriyligining muhim aloqasi sohaning barqaror homotopiya guruhlari ${ displaystyle pi _ {n} ^ {S}}$ barqaror deb nomlangan orqali keladi J-omomorfizm (barqaror) klassik guruhlarning (beqaror) homotopiya guruhlaridan ushbu barqaror homotopiya guruhlariga ${ displaystyle pi _ {n} ^ {S}}$ . Dastlab tomonidan tasvirlangan Jorj V. Uaytxed, bu mashhur mavzusiga aylandi Adamsning taxminlari (1963) tomonidan nihoyat ijobiy hal qilindi Daniel Quillen (1971).

Botning asl natijalari qisqacha qisqacha bayon qilinishi mumkin:

Xulosa: (Cheksiz) ning (beqaror) homotopiya guruhlari klassik guruhlar davriy:

{ displaystyle { begin {aligned} pi _ {k} (U) & = pi _ {k + 2} (U) pi _ {k} (O) & = pi _ {k + 4} ( operatorname {Sp}) pi _ {k} ( operatorname {Sp}) & = pi _ {k + 4} (O) && k = 0,1, ldots end {aligned} }}

Eslatma: Ushbu izomorfizmlarning ikkinchi va uchinchisi birlashib, 8 marta davriylik natijalarini beradi:

{ displaystyle { begin {aligned} pi _ {k} (O) & = pi _ {k + 8} (O) pi _ {k} ( operator nomi {Sp}) & = pi _ {k + 8} ( operatorname {Sp}), && k = 0,1, ldots end {hizalangan}}}

Bo'shliqlar va tasniflash bo'shliqlari

Cheksiz bilan bog'liq nazariya uchun unitar guruh, U, bo'sh joy BU bo'ladi bo'shliqni tasniflash barqaror kompleks uchun vektorli to'plamlar (a Grassmannian cheksiz o'lchamlarda). Bott davriyligining bitta formulasi ikki fazali bo'shliqni tasvirlaydi, ya'ni²BU ning BU. Bu erda, pastadir maydoni funktsiya, o'ng qo'shma ga to'xtatib turish va chap qo'shma uchun bo'shliqni tasniflash qurilish. Bott davriyligi shuni ko'rsatadiki, bu ikki qavatli bo'shliq aslida BU yana; aniqrog'i,

{ displaystyle Omega ^ {2} BU simeq mathbb {Z} times BU}

mohiyatan (ya'ni, homotopiya ekvivalenti to) nusxalarining hisoblanadigan sonini birlashtirish BU. Ekvivalent formulalar

{ displaystyle Omega ^ {2} U simeq U.}

Ularning har biri darhol (nima uchun) topologik ekanligini ko'rsatadigan ta'sirga ega K- nazariya 2 barobar davriy nazariya.

Cheksiz uchun tegishli nazariyada ortogonal guruh, O, bo'sh joy BO bo'ladi bo'shliqni tasniflash barqaror real uchun vektorli to'plamlar. Bunday holda, Bott davriyligi shuni ta'kidlaydiki, 8 baravar pastadir oralig'i uchun

{ displaystyle Omega ^ {8} BO simeq mathbb {Z} marta BO;}

yoki unga teng ravishda,

{ displaystyle Omega ^ {8} O simeq O,}

bu natijani beradi KO- nazariya 8 martalik davriy nazariya. Bundan tashqari, cheksiz uchun simpektik guruh, Sp, bo'shliq BSp bu bo'shliqni tasniflash barqaror kvaternion uchun vektorli to'plamlar, va Bott davriyligi buni ta'kidlaydi

{ displaystyle Omega ^ {8} operator nomi {BSp} simeq mathbb {Z} times operator nomi {BSp};}

yoki unga teng ravishda

{ displaystyle Omega ^ {8} operator nomi {Sp} simeq operator nomi {Sp}.}

Shunday qilib ikkala topologik ham haqiqiydir K- nazariya (shuningdek ma'lum KO- nazariya) va topologik kvaternionik K- nazariya (KSp nazariyasi deb ham ataladi) 8 martalik davriy nazariyalardir.

Loop bo'shliqlarining geometrik modeli

Bott davriyligining bir nafis formulasi klassik guruhlar o'rtasida tabiiy yopiq joylar (yopiq kichik guruhlar kabi) mavjudligini kuzatishdan foydalanadi. Bott davriyligidagi tsikl bo'shliqlari, ga teng bo'lgan homotopiya nosimmetrik bo'shliqlar qo'shimcha diskret omillari bilan ketma-ket kvotalarning Z.

Murakkab raqamlar bo'yicha:

{ displaystyle U times U subset U subset U times U.}

Haqiqiy sonlar va kvaternionlar bo'yicha:

{ displaystyle O times O subset O subset U subset operatorname {Sp} subset operatorname {Sp} times operatorname {Sp} subset operatorname {Sp} subset U subset O subset O marta O.}

Ushbu ketma-ketliklar ketma-ketliklarga to'g'ri keladi Klifford algebralari - qarang Klifford algebralarining tasnifi; murakkab raqamlar bo'yicha:

{ displaystyle mathbb {C} oplus mathbb {C} subset mathbb {C} subset mathbb {C} oplus mathbb {C}.}

Haqiqiy sonlar va kvaternionlar bo'yicha:

{ displaystyle mathbb {R} oplus mathbb {R} subset mathbb {R} subset mathbb {C} subset mathbb {H} subset mathbb {H} oplus mathbb {H} subset mathbb {H} subset mathbb {C} subset mathbb {R} subset mathbb {R} oplus mathbb {R},}

bu erda bo'linish algebralari "o'sha algebra ustidagi matritsalar" ni ko'rsatadi.

Ular 2 davriy / 8 davriy bo'lgani uchun ular aylana shaklida joylashtirilishi mumkin, u erda ular Bott davriyligi soati va Klifford algebra soati.

Bott davriyligi natijalari keyin ketma-ketlikni yaxshilaydi homotopiya ekvivalentlari:

Murakkab uchun K- nazariya:

{ displaystyle { begin {aligned} Omega U & simeq mathbb {Z} times BU = mathbb {Z} times U / (U times U) Omega (Z times BU) & simeq U = (U marta U) / U end {hizalangan}}}

Haqiqiy va kvaternion uchun KO- va KSp-nazariyalari:

{ displaystyle { begin {aligned} Omega ( mathbb {Z} times BO) & simeq O = (O times O) / O & Omega ( mathbb {Z} times operatorname {BSp}) & simeq operatorname {Sp} = ( operatorname {Sp} times operatorname {Sp}) / operatorname {Sp} Omega O & simeq O / U & Omega operatorname {Sp} & simeq operator nomi {Sp} / U Omega (O / U) & simeq U / operatorname {Sp} & Omega ( operatorname {Sp} / U) & simeq U / O Omega (U / operatorname {Sp}) & simeq mathbb {Z} times operatorname {BSp} = mathbb {Z} times operatorname {Sp} / ( operatorname {Sp} times operatorname {Sp}) & Omega (U / O) & simeq mathbb {Z} times BO = mathbb {Z} times O / (O times O) end {hizalangan}}}

Natijada paydo bo'lgan bo'shliqlar klassik reduktivga teng gomotopiya hisoblanadi nosimmetrik bo'shliqlar va Bott davriyligi soati shartlarining ketma-ket kvotentlari. Ushbu tengliklar darhol Bott davriyligi teoremalarini keltirib chiqaradi.

Maxsus joylar quyidagilardir:^{[eslatma 1]} (guruhlar uchun asosiy bir hil bo'shliq shuningdek, keltirilgan):

Bo'sh joy	Miqdor	Kartan yorlig'i	Tavsif
${ displaystyle Omega ^ {0}}$	${ displaystyle mathbb {Z} times O / (O times O)}$	BDI	Haqiqiy Grassmannian
${ displaystyle Omega ^ {1}}$	${ displaystyle O = (O marta O) / O}$		Ortogonal guruh (haqiqiy Stiefel kollektori )
${ displaystyle Omega ^ {2}}$	${ displaystyle O / U}$	DIII	berilgan ortogonal tuzilishga mos keladigan murakkab tuzilmalar makoni
${ displaystyle Omega ^ {3}}$	${ displaystyle U / mathrm {Sp}}$	AII	berilgan murakkab tuzilishga mos kvaternion tuzilmalar makoni
${ displaystyle Omega ^ {4}}$	${ displaystyle mathbb {Z} times mathrm {Sp} / ( mathrm {Sp} times mathrm {Sp})}$	CII	Kvaternion Grassmannian
${ displaystyle Omega ^ {5}}$	${ displaystyle mathrm {Sp} = ( mathrm {Sp} times mathrm {Sp}) / mathrm {Sp}}$		Simpektik guruh (kvaternionik) Stiefel kollektori )
${ displaystyle Omega ^ {6}}$	${ displaystyle mathrm {Sp} / U}$	CI	murakkab Lagrangian Grassmannian
${ displaystyle Omega ^ {7}}$	${ displaystyle U / O}$	A.I.	Lagrangian Grassmannian

Isbot

Botning asl isboti (Bott 1959 yil ) ishlatilgan Morse nazariyasi, qaysi Bott (1956) ilgari Lie guruhlarining homologiyasini o'rganish uchun foydalangan. Ko'plab turli xil dalillar keltirildi.

Izohlar

^ Tafsir va etiketkalash biroz noto'g'ri va shunga ishora qiladi qisqartirilmaydi nosimmetrik bo'shliqlar, bu esa umumiyroqdir reduktiv bo'shliqlar. Masalan, SU/ Sp qisqartirilmaydi, ammo U/ Sp reduktivdir. Ushbu ko'rsatilgandek, farqni o'z ichiga olishi yoki kiritmasligi bilan izohlash mumkin yo'nalish.

Adabiyotlar

^ http://math.ucr.edu/home/baez/octonions/node1.html

Bott, Raul (1956), "Mors nazariyasining Lie-guruhlar topologiyasiga tatbiq etilishi", Xabar byulleteni de Société Mathématique de France, 84: 251–281, doi:10.24033 / bsmf.1472, ISSN 0037-9484, JANOB 0087035
Bott, Raul (1957), "Klassik guruhlarning barqaror homotopiyasi", Amerika Qo'shma Shtatlari Milliy Fanlar Akademiyasi materiallari, 43 (10): 933–5, doi:10.1073 / pnas.43.10.933, JSTOR 89403, JANOB 0102802, PMC 528555, PMID 16590113
Bott, Raul (1959), "Klassik guruhlarning barqaror homotopiyasi", Matematika yilnomalari, Ikkinchi seriya, 70 (2): 313–337, doi:10.2307/1970106, ISSN 0003-486X, JSTOR 1970106, JANOB 0110104, PMC 528555
Bott, R. (1970), "Klassik guruhlar uchun davriylik teoremasi va uning ba'zi qo'llanmalari", Matematikaning yutuqlari, 4 (3): 353–411, doi:10.1016/0001-8708(70)90030-7. Teorema va uni o'rab turgan matematikaning bayoni.
Giffen, KX (1996), "Botning davriyligi va Q konstruktsiyasi", Banaszak, Grzegorzda; Gayda, Voytsex; Krasoń, Pyotr (tahr.), Algebraik K-nazariyasi, Zamonaviy matematika, 199, Amerika matematik jamiyati, 107–124 betlar, ISBN 978-0-8218-0511-4, JANOB 1409620
Milnor, J. (1969). Morse nazariyasi. Prinston universiteti matbuoti. ISBN 0-691-08008-9.
Baez, Jon (21 iyun 1997). "105-hafta". Ushbu haftada matematik fizikada topilmalar.

[2] Tafsir va etiketkalash biroz noto'g'ri va shunga ishora qiladi qisqartirilmaydi nosimmetrik bo'shliqlar, bu esa umumiyroqdir reduktiv bo'shliqlar. Masalan, SU/ Sp qisqartirilmaydi, ammo U/ Sp reduktivdir. Ushbu ko'rsatilgandek, farqni o'z ichiga olishi yoki kiritmasligi bilan izohlash mumkin yo'nalish.

[1] ttp://math.ucr.edu/home/baez/octonions/node1.html

[1]

[eslatma 1]