Homotopy pullback of -spaces and its applications to -types of gauge groups
arXiv:1210.8252
Abstract
We construct the homotopy pullback of -spaces and show some universal property of it. As the first application, we review the Zabrodsky's result which states that for each prime , there is a finite CW complex which admits an -form but no -form. As the second application, we investigate -types of gauge groups. In particular, we give a new result on -types of the gauge groups of principal -bundles over , which is a complete classification when they are localized away from 2.
24 pages, made many corrections, separated Section 8 into Section 8 and 9