Homotopy nilpotent groups

arXiv:0709.3925

G. Biedermann, W.G. Dwyer

.

We study the connection between the Goodwillie tower of the identity and the lower central series of the loop group on connected spaces. We define the simplicial theory of homotopy n-nilpotent groups. This notion interpolates between infinite loop spaces and loop spaces. We prove, that the set-valued algebraic theory obtained by applying $\pi_0$ is the theory of ordinary n-nilpotent groups. Finally we prove, that the Goodwillie tower of a connected space is determined by a homotopy left Kan extension.