A homotopy theory for Lie n-groupoids with applications to integration and differentiation
I will present joint work in progress with Chenchang Zhu in which we study the relationship between the integration of Lie n-algebras/algebroids and differentiation of Lie n-groups/groupoids, in analogy with Lie's Second Theorem. A crucial first step (arXiv:1609.01394) involves constructing a user--friendly homotopy theory for Lie n-groupoids. This is a subtle problem, due to the fact that the category of manifolds lacks limits. I will describe how results of Behrend and Getzler can be generalized to develop a homotopy theory for Lie n-groups/groupoids that is compatible with the homotopy theory of Lie n-algebras/algebroids. In particular, we show that Henriques' integration functor sends quasi-isomorphisms between Lie n-algebras to weak equivalences between their corresponding Lie n-groups.