Spaces of unbounded Fredholm operators: I. Homotopy equivalences
arXiv:2110.14359 · doi:10.1142/S1793525325500116
Abstract
This paper is devoted to the space of unbounded Fredholm operators equipped with the graph topology, the subspace of operators with compact resolvent, and their subspaces consisting of self-adjoint operators. Our main results are the following: (1) Natural maps between these four spaces and classical spaces of bounded operators representing K-theory are homotopy equivalences. This provides an alternative proof of a particular case of results of Joachim. (2) The subspace of unbounded essentially positive Fredholm operators represents odd K-theory. (3) The subspace of invertible operators in each of these spaces of unbounded operators is contractible.
v3: 28 pages; proof of Proposition 4.5 is corrected; proofs in Sections 5--7 are written in more details; Propositions 4.1, 6.1 and Lemmas 6.3, 7.1 are added; typos are corrected. To be published in the Journal of Topology and Analysis