Talk

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...

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...

https://bbb.mpim-bonn.mpg.de/b/gae-a7y-hhd

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...

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.

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.

Automatic sequences - that is, sequences computable by finite automata,provide a basic model for computation. The main objective of the present talk is to show how a blend of ideas from number theory, combinatorics and ergodic theory can be used to characterize automatic sets with some
multiplicative properties.

Zoom Online Meeting ID: 919 6497 4060
For password see the email or contact Peter Moree (moree@mpim...).

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.

Surface representatives of second homology classes can be used to give geometric invariants for second homology classes, the most prominent examples are the genus and the Euler characteristic. In this talk I will introduce the minimal genus problem, explain why determining the minimal genus of a given homology class is in general undecidable, and how to compute it for a large class of "negatively-curved" spaces including 2-dimensional CAT(-1)-complexes.