**Title**: Homotopy theory for Kan simplicial manifolds and a smooth analog of Sullivan’s realization functor

**Abstract**: Kan simplicial manifolds, also known as “Lie infinity-groupoids”, are simplicial Banach manifolds which satisfy conditions similar to

the horn filling conditions for Kan simplicial sets. Group-like Lie infinity-groupoids (a.k.a “Lie infinity-groups”) have been used to construct geometric models for the higher stages of the Whitehead tower of the orthogonal group. With this goal in mind, Andre Henriques developed a smooth analog of Sullivan’s realization functor from rational homotopy theory which produces a Lie infinity-group from certain commutative dg-algebras (i.e. L-infinity algebras).

In this talk, I will describe a homotopy theory for both these commutative dg-algebras and for Lie infinity-groups, and discuss some examples that demonstrate the compatibility between the two. Conceptually, this work can be interpreted either as a smooth analog of classical results of Bousfield and Gugenheim in rational homotopy theory, or as a homotopy-theoretic analog of classical theorems from Lie theory.