The Kervaire invariant of immersions.
Let K(n)*(-) be a Morava K-theory at the prime 2. Invariant theory is used to identify K(n)*(BA4) as a summand of K(n)*(BZ/2 × BZ/2). Similarities with H*(BA4;Z/2) are also discussed.
We show that the geometric realization of a cyclic set has a natural, -equivariant, cellular decomposition. As an application, we give another proof of a well-known isomorphism between cyclic homology of a cyclic space and -equivariant Borel homology of its geometric realization.
We show that the Vietoris system of a space is isomorphic to a strong expansion of that space in the Steenrod homotopy category, and from this we derive a simple description of strong homology. It is proved that in ZFC strong homology does not have compact supports, and that enforcing compact supports by taking limits leads to a homology functor that does not factor over the strong shape category. For compact Hausdorff spaces strong homology is proved to be isomorphic to Massey's homology.