The
goal of this note is to describe some of the tools which enter into the proof of
Sullivan's conjecture. Topics covered includes: Steenrod operations, The Adem
relations, Admissible monomials, Free unstable modules, A theorem of
Gabriel-Kuhn-Popesco, Injectivity of the cohomology of BV, Generating analytic
functors, Tensor products and algebras, Free unstable algebras, The dual
Steenrod algebra, The Frobenius, Finiteness conditions, Injectivity of tensor
products, Lannes T-functor, The T-functor and unstable algebras, Free E-infinity
algebras, A pushout square, The Eilenberg-Moore spectral sequence, Operations on
E-infinity algebras, The Sullivan conjecture.

**Author(s):** Prof. Jacob Lurie

NA**Pages**