Snop widm

W topologii algebraicznej presnop widm w przestrzeni topologicznej X jest funktorem kontrawariantnym z kategorii otwartych podzbiorów X , gdzie morfizmy są inkluzjami, do dobrej kategorii przemiennych widm pierścieniowych . Twierdzenie Jardine'a mówi, że takie presnopy tworzą uproszczoną kategorię modelu , gdzie F → G jest słabą równoważnością, jeśli indukowana mapa snopów homotopii ${\ Displaystyle \ pi _ {*} F \ do \ pi _ {*} G}$ jest izomorfizmem. Snop widm jest wtedy obiektem fibrantowym/kofibrantowym w tej kategorii.

Pojęcie to jest używane do zdefiniowania na przykład schematu pochodnego w geometrii algebraicznej.

Linki zewnętrzne

• Goerss, Paul (16 czerwca 2008). „Schematy” (PDF) . TAG Wykład 2 .