Localization of André–quillen–goodwillie Towers, and the Periodic Homology of Infinite Loopspaces

Let K(n) be the n Morava K–theory at a prime p, and let T (n) be the telescope of a vn–self map of a finite complex of type n. In this paper we study the K(n)∗–homology of Ω ∞X, the 0 space of a spectrum X, and many related matters. We give a sampling of our results. Let PX be the free commutative S–algebra generated by X: it is weakly equivalent to the wedge of all the extended powers of X. We construct a natural map sn(X) : LT (n)P(X) → LT (n)Σ ∞(Ω∞X)+ of commutative algebras over the localized sphere spectrum LT (n)S. The induced map of commutative, cocommutative K(n)∗–Hopf algebras sn(X)∗ : K(n)∗(PX) → K(n)∗(Ω ∞ X), satistfies the following properties. It is always monic. It is an isomorphism if X is n–connected, πn+1(X) is torsion, and T (i)∗(X) = 0 for 1 ≤ i ≤ n−1. It is an isomorphism only if K(i)∗(X) = 0 for 1 ≤ i ≤ n− 1. It is universal: the domain of sn(X)∗ preserves K(n)∗–isomorphisms, and if F is any functor preserving K(n)∗–isomorphisms, then any natural transformation F (X) → K(n)∗(Ω ∞X) factors uniquely through sn(X)∗. The construction of our natural transformation uses the telescopic functors constructed and studied previously by Bousfield and the author, and thus depends heavily on the Nilpotence Theorem of Devanitz, Hopkins, and Smith. Our proof that sn(X)∗ is always monic uses Topological André–Quillen Homology and Goodwillie Calculus in nonconnective settings.