
In the past years several flavors of derived geometry have
appeared both in algebraic and in in differential geometry. I will try
to give a short overview and mention how they are connected.
We then focus on Lurie's and Toen-Vezzosi's derived algebraic
geometry. I will discuss two examples that hopefully motivate why this
is an interesting theory.
Links:
[1] http://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] http://www.mpim-bonn.mpg.de/node/3444
[3] http://www.mpim-bonn.mpg.de/node/158