Complexes with free actions by the group of automorphisms of a free group
We define two complexes on which the group Aut$(F_n)$ acts freely. The homotopy groups of these are studied. They map to the K-groups of Z and are themselves a sort of pre-K-theory.
math.KT↗