  Our main theorem is that the inclusion of a Birkhoff variety in the affine
Grassmannian is a homotopy equivalence. We also construct analogues of tubular
neighborhoods for Birkhoff and Schubert varieties. We include some observations
on torus-equivariant cohomology.
