Motivic stuff

Cohomology, homotopy theory, and arithmetic geometry

Maltsinotis: Grothendieck and homotopical algebra

Posted by Andreas Holmstrom on January 26, 2009

More notes from the Grothendieck conference: Maltsiniotis spoke on Grothendieck and homotopical algebra – here is my scan. In my opinion this talk was one of the best, given that the subject is often regarded as quite inaccessible, and still he managed to make it very enjoyable. The talk covered basic notions and ideas from Grothendieck’s work in the 80s, when he was thinking about stacks, higher categories, and homotopical algebra (among many other things). The original manuscripts of Grothendieck are available online; Pursuing stacks is available on the Grothendieck circle under Unpublished mathematical texts, and here is Les Derivateurs.

There is much one could say about the homotopical ideas of Grothendieck, and I am not really competent enough to say much. There is one small thing that I would like to comment on, which I have found strange since I first saw it, and which even experts, including Grothendieck, refer to as a mystery. It is the appearance of the \Delta category in the definition of simplicial sets. A simplicial set is by definition a contravariant functor from \Delta to Sets (see nLab or Wikipedia). In general, a simplicial object in a category C is a contravariant functor from \Delta to C.

Somehow an amazing miracle happens when we pass from the category Sets (extremely boring category, no geometry at all), to the category of such functors into Sets, in which the objects model all homotopy types, so in some sense encompass all the complexity of algebraic topology. A similar thing happens when we pass from the category of abelian groups, which is reasonably boring, to the category of simplicial abelian groups, which correspond, via the Dold-Kan correspondence, to complexes of abelian groups. These form the key tool for extracting cohomological data from geometric objects, and they are the building blocks for the rich world of derived categories. In a similar way one can pass from algebras to simplicial algebras, and get something which is in some sense behaves like the category of dg-algebras – not sure about the details of this though. Yet another example is the shift from schemes to simplicial schemes, which was one of the fundamental ideas in Deligne’s groundbreaking work on mixed Hodge theory in the 70s. In each of these processes, it seems that one passes to a category that is much richer, and which is a much more natural setting for the study of many problems. Why is this?

To make a long story short,  Grothendieck asks where on earth the category \Delta came from. He commences a study of the class of categories which behave like the \Delta category, i.e. which have the amazing property that presheaves on the category model homotopy types, and he calls such a category a test category. More about this in the scanned notes above. 

After Grothendieck, and especially in recent years, quite a lot of work has been done to develop his vision on homotopical algebra and higher categories. We refer to the webpages of Ronnie Brown, Denis-Charles Cisinski, Bertrand Toen, George Maltsinotis and of course to the n-category cafe. Something to look forward to, is that Pursuing stacks is being edited and hopefully soon published, together with much of Grothendieck’s correspondence with various people at the time.

About these ads

4 Responses to “Maltsinotis: Grothendieck and homotopical algebra”

  1. [...] March 27, 2009 A few months ago I posted some notes from the talks at the Grothendieck conference (Maltsiniotis, Bloch, Katz, Toen). Now the IHES has generously made all the talks available online here. The list [...]

  2. Thanos Papaioannou said

    Dear Andreas Holmstrom,
    Do you know anyone involved in the publication of Grothendieck’s Pursuing Stacks? I would like a texed version, if that would be possible.

    Thank you,
    Thanos

    • homotopical said

      Dear Thanos, unfortunately I don’t. My best bet would be to send an email to Maltsiniotis. I don’t know him personally but he must either have the TeX version himself or know whom to ask.

      As far as I know the book has still not appeared, but if you or anyone else have any news about this I would be interested.

      • Thanos Papaioannou said

        Dear Andreas,
        Since the typeset version of the document lies under SMF’s copyright, Maltsiniotis would not pass me the typeset version; but he explained that the first volume should be out by next year.

        Yours,
        T.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

 
Follow

Get every new post delivered to your Inbox.

Join 46 other followers

%d bloggers like this: