Atiyah and Singer proved that the nontrivial component of the set of skew-adjoint Fredholm operators $ \hat{\mathcal{F}\_{\*}}(\mathscr{H})$ is homotopic to the loop space of Fredholm operators $\Omega\mathcal{F}(\mathscr{H})$.


But in their paper and in other sources what they prove is homotopy to a so-called **relative** loop space $\Omega(\mathcal{L},\mathcal{-C})$ where $\mathcal{L}$ is a retraction of the group of units of $\mathcal{B}(\mathscr{H})$, the set of bounded operators of a complex separable Hilbert space $\mathscr{H}$ and $\mathcal{-C}$ are operators of the form $I - T$, where $T$ is compact.


1) Does anyone know how to pass from the relative loop space $\Omega(\mathcal{L},\mathcal{-C})$ to $\Omega\mathcal{F}(\mathscr{H})$?


A related question is the following: By Atiyah-Singer $\mathbb{Z}\approx\mathcal{K}^{-1}(point) \approx [point,\hat{\mathcal{F}\_{\*}}(\mathscr{H})]$


2) Since $\forall A(t) \in \hat{\mathcal{F}\_{\*}}(\mathscr{H}), (0\leq t\leq 1)$, $Ind\, A(t) = 0 \,\,\forall t$ and $Ker\,A(t) \in \mathbb{Z}^{+} \,\,\forall t$, what property of $A(t)$ determines the equivalence class it belongs to in $\mathbb{Z}$?


Thank you for reading 



Loop space of Fredholm operators from a Relative loop space
On a complex Hilbert space $H$ we can easily identify the space of skew-adjoint operators with the space of self-adjoint operators. (Multiplication by $\sqrt{-1}$ will do the trick. The space $\newcommand{\FS}{\mathscr{FS}}$ $\FS$of Fredholm selfadjoint operators on $H$ has three components $\FS\_{\pm}$, $\FS\_\*$. The first two are homotopically trivial, the third $\FS\_\*$ classifies $K^1$. In particular, $\newcommand{\bZ}{\mathbb{Z}}$ $\pi\_1(\FS\_\*)\cong \bZ$ and there is a canonical isomorphism $\pi\_1(\FS\_\*)\to\bZ$ called the spectral *spectral flow*. You can visualize this isomorphism as follows.


The space $\FS\_\*$ is homotopy equivalent with the infinite dimensional Banach manifold $\newcommand{\L}{\mathscr{L}}$ $\L(H)$ consisting of the subspaces $L\subset H\oplus H$ satisfying the conditions


* The pair $(L, H\oplus 0)$ is a *Fredholm pair*, i.e. $\dim L\cap (H\oplus 0)<\infty$ and $L+(H\oplus 0)$ is closed in $H\oplus H$.
* The subspaces $L$ is *Lagrangian*, i.e., $L^\perp=JL$, where $J:H\oplus H\to H\oplus H$ is defined by $J(x,y)=(-y,x)$.


There is a natural map $\FS(H)\to \L(H)$ that associated to the operator $T$ its graph $\Gamma\_T\subset H\oplus H$. This map is a homotopy equivalence. 


As I mentioned above, $\L(H)$ is a Banach manifold and, moreover, it is equipped with a Schubert-like stratification by smooth strata with finite codimension. This stratification contains a single codimension-1 stratum $\newcommand{\M}{\mathscr{M}}$ $\M$ that is naturally co-oriented. (This stratum is sometime called the *Maslov divisor*.) Given smooth map $\alpha:S^1\to \L(H)$ we denote by $\mu(\alpha)$ its intersection number with $\M$. The resulting map $\mu:\pi\_1(\L(H))$\to\bZ$ is an isomorphism. There are similar descriptions for the isomorphisms 


$$\pi\_{2k-1}(\L(H))\to\bZ,\;\;k=1,2,\dotsc. $$


For details, I refer to [Daniel Cibotaru's dissertation](http://arxiv.org/abs/0901.2563).


