Klasična teorija homotopije

(Reading seminar)

Ovo je stranica na kojoj će se nalaziti informacije o neformalnom seminaru "Klasična teorija homotopije" za studente i doktorande.
Literatura koju ćemo okvirno pratiti: I. Moerdijk, Master Course on Homotopy Theory

Petkom 14.00-17.00 u prostoriji 109.

Voditelj: Matija Bašić.

Seminar je namijenjen studentima viših godina i doktorandima. Potrebno predznanje: položeni kolegiji Difraf.

Prvo predavanje (10.11.2017.): Topološki prostori.

- Hausdorffovi prostori, kontraprimjeri: pravac s dva ishodišta, topologija Zariskog
- kvocijentna topologija i topologija potprostora (najgrublja i najfinija topologija, univerzalno svojstvo)
- torus, projektivni prostor, Moebiusova vrpca, Kleinova boca
- baza topologije
- produktna topologija, definicija produkta u kategoriji
- koprodukt i pullback u kategoriji
- cilindar i Moebiusova vrpca kao primjeri svežnjeva (fibriranih prostora)
- eksponencijalno preslikavanje p: R -> S^1, možemo podići svaki put u S^1, ali ne možemo podići identitetu
- definicija prostora natkrivanja svojstvo podizanja puteva
- funktori između kategorija
- fundamentalna grupa - homotopija putova, nadovezivanje, dobra definicija operacije
- fundamentalna grupa kružnice je Z - ideja dokaza
- homotopna preslikavanja, homotopska ekvivalencija, deformacijska retrakcija (i pojam retrakcije i prereza)
- lema o uniji
- cilindar preslikavanja, f:X->Y je homotopska ekvivalencija ako i samo ako cilindar preslikavanja možemo deformacijski retrahirati na X i Y
- kontraktibilni i 1-povezani prostori - definicije
- konveksnost povlači kontraktibilnost
- sfera S^2 je 1-povezan prostor, ali nije kontraktibilna

Drugo predavanje (17.11.2017.): Fundamentalni grupoid.

- fundamentalni grupoid (osnovna svojstva o fundamentalnoj grupi)
- prostor petlji (loop space)
- kompaktno-otvorena topologija
- dokaz eksponencijalnog zakona (https://ncatlab.org/nlab/show/exponential+law+for+spaces)
- lokalno kompaktni prostori i pogodne kategorije prostora (https://ncatlab.org/nlab/show/convenient+category+of+topological+spaces)
- monoidalne kategorije, unutarnji hom i A-beskonačna struktura na prostoru petlji

Treće predavanje (8.12.2017.): Uvod u baždarne teorije (Fran Globlek).

Četvrto predavanje (22.12.2017.): Više grupe homotopije.

- wedge i smash produkt kao koprodukt i produkt u kategoriji prostora s baznom točkom
- reducirana suspenzija i prostor petlji kao funktor
- više grupe homotopije
- Eckmann-Hiltonov trik
- primjer: Hopfova fibracija
- H-prostori
- prirodne transformacije kao homotopije u kategoriji Cat
- adjungirani funktori

Peto predavanje (19.1.2018.): Dugi egzaktni niz.

- relativne grupe homotopije
- pripadni dugi egzaktni niz
- djelovanje fundamentalne grupe na višim grupama homotopije

Šesto predavanje (26.1.2018.): Fibracije.

- svojstvo podizanja
- Hurewiczeve i Serreove fibracije
- dugi egzaktni niz
- prostor puteva
- homotopsko vlakno

Sedmo predavanje (5.4.2018.): Ponavljanje i rješavanje zadataka.

Osmo predavanje (22.5.2018.): CW-kompleksi.

- pushout i homotopski pushout
- CW dekompozicija prostora
- slaba topologija obzirom na skelete i ćelije (W)
- svojstvo konačnosti zatvorenih ćelija (C)
- ćelijska preslikavanja
- CW - potkompleks, CW - par
- dodatna literatura: Hatcher, ćelijski kompleksi

Deveto predavanje (29.5.2018.): Kofibracije.

- svojstvo podizanja i proširenja homotopije
- kofibracije (tri ekvivalentne definicije)
- dokaz da je svaka kofibracija injekcija
- koprodukti i pushout kofibracija
- relativni CW kompleks je kofibracija

Deseto predavanje (5.6.2018.): CW aproksimacija.

Dodatna literatura: