Kvillen birikmasi - Quillen adjunction

Yilda homotopiya nazariyasi, filiali matematika, a Kvillen birikmasi ikkitasi o'rtasida yopiq model toifalari C va D. ning maxsus turi birikma o'rtasida toifalar orasidagi bog'lanishni keltirib chiqaradi homotopiya toifalari Xo (C) va Ho (D.) orqali jami olingan funktsiya qurilish. Kvillen qo'shimchalari matematik sharafiga nomlangan Daniel Quillen.

Rasmiy ta'rif

Ikkita yopiq model toifalari berilgan C va D., a Kvillen birikmasi juftlik

(F, G): C ${displaystyle leftrightarrows}$ D.

ning qo'shma funktsiyalar bilan F qo'shni chap G shu kabi F saqlaydi kofibratsiyalar va ahamiyatsiz kofibratsiyalar yoki shunga o'xshash tarzda yopiq model aksiomalariga ko'ra G saqlaydi fibratsiyalar va ahamiyatsiz tolalar. Bunday qo'shilishda F deyiladi chap Quillen funktsiyasi va G deyiladi o'ng Quillen funktsiyasi.

Xususiyatlari

Bu chap (o'ng) Quillen funktsiyasi saqlaydigan aksiomalarning natijasidir zaif ekvivalentlar kofibrant (tolali) ob'ektlar o'rtasida. The jami olingan funktsiya teoremasi Quillenning aytishicha, chapdan olingan umumiy funktsiya

LF: Ho (C) → Ho (D.)

umumiy o'ng olingan funktsiyaga chap qo'shimchadir

RG: Ho (D.) → Ho (C).

Ushbu qo'shimcha (LF, RG) deyiladi olingan qo‘shimcha.

Agar (F, G) yuqoridagi kabi Kvillen birikmasi

F(v) → d

bilan v kofibrant va d fibrant - bu zaif ekvivalentlik D. agar va faqat agar

v → G(d)

ning zaif ekvivalenti C keyin u a deb nomlanadi Kvillen ekvivalenti yopiq model toifalari C va D.. Bu holda olingan qo'shma qo'shma gap toifalarning ekvivalentligi Shuning uchun; ... uchun; ... natijasida

LF(v) → d

Hoda izomorfizmdir (D.) agar va faqat agar

v → RG(d)

Hoda izomorfizmdir (C).

Adabiyotlar

• Goerss, P. G.; Jardin, J. F. (1999). Sodda gomotopiya nazariyasi. Matematikadagi taraqqiyot. 174. Bazel, Boston, Berlin: Birkxauzer. ISBN  978-3-7643-6064-1.
• [1] [2]
• Philip S. Hirschhorn, Model toifalari va ularni lokalizatsiya qilish, Amerika Matematik Sots., 2009 yil 24-avgust - Matematika - 457 bet