I will define sites, i.e. categories with a Grothendieck topology on them. I will give several examples of sites of topological spaces and of schemes. Sites are the right categorical context for sheaf theory, and I will explain how. Finally, I will sketch a proof of Grothendieck's result that representable functors are sheaves in the fpqc topology - and hence also in the fppf and étale topology. This is mostly based on Vistoli's notes, section 2.3.
https://bbb.mpim-bonn.mpg.de/b/rei-xh2-kg6 [3]
Organiser: Reinier Kramer
Please send an email to rkramer@mpim... for the password for the sessions.
Links:
[1] https://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/node/10395
[3] https://bbb.mpim-bonn.mpg.de/b/rei-xh2-kg6