Alternatively have a look at the program.

## Online: Category background for stacks

I will recall often-used categorical constructions, such as the Yoneda lemma, categorical limits, and adjunctions. Most examples will be algebraic or topological in nature, with more geometric examples coming in the next session. I will also introduce group objects and discrete group objects in a category.

## Online: Recap of scheme theory

I will recall the definition of sheaves and schemes and many of their properties, such as e.g. properness, smoothness, &c. This is all material from Hartshorne, parts II and III, with less of a focus on sheaf cohomology (already treated in the previous reading group, on DT invariants), and making use of the category theory background.

## Sites and sheaves

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.

## Fibered categories, I

In this talk, I will first introduce the notions of fibered categories over a category, pseudo-functors over a category and then give a correspondence between "fibered categories over a category C" and pseudo-functors over C. I will then give examples of fibered categories, in particular, the example of fibered category of quasi-coherent sheaves on Sch/S. I will then talk about special type of fibered categories, namely categories fibered in groupoids and categories fibered in sets. This is based on sections 3.1-3.4 of Vistoli's notes.

## Fibered categories (Part 2/2)

I will briefly recall the notion of fibered categories, and give the illustrative example of elliptic curves. I will then present some important results (foremost is Yoneda’s lemma for fibered categories), and conclude with a discussion of equivariant objects in a fibered category.

https://bbb.mpim-bonn.mpg.de/b/rei-xh2-kg6

For password email to rkramer@mpim...

## Definition and examples of stacks

As motivation, we will start by considering the category of continuous functions and illustrate some gluing properties that make it a stack over the category of topological spaces. We will then give the definition of a stack and explore some other examples of stacks coming from algebraic geometry.

https://bbb.mpim-bonn.mpg.de/b/rei-xh2-kg6

For password email to rkramer@mpim...

## Algebraic spaces and Algebraic stacks

In this talk, after recalling the notion of a stack over an arbitrary site, I will introduce the notions of an algebraic space, an algebraic stack and a Deligne-Mumford stack. I will then introduce some examples and properties of these "generalized schemes".

https://bbb.mpim-bonn.mpg.de/b/rei-xh2-kg6

For password email to rkramer@mpim...

© MPI f. Mathematik, Bonn | Impressum & Datenschutz |