Stefan Reppen: Derived schemes
Time: Fri 2020-04-17 10.15 - 12.00
Participating: Stefan Reppen
This is the eight talk of the seminar on algebraic K-theory and derived algebraic geometry .
The seminar will be held via Zoom .
We present the infinity category of simplicial commutative rings and the homotopy groups, tensor products, and localizations of the objects therein. We then introduce the fpqc pre-topology on this category, define derived (pre)stacks and derived affine schemes before we present the notion of open immersions of derived stacks, leading us to the final (and main) definition of the talk; derived schemes.