We study the differentiable structure and the homotopy type of some spaces related to the Grassmannian of closed linear subspaces of an infinite dimensional Hilbert space, such as the space of Fredholm pairs, the Grassmannian of compact perturbations of a given space, and the essential Grassmannians. We define a determinant bundle over the space of Fredholm pairs. We lift the composition of Fre...
