Abstract

Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond geometrically to corner cycles.

Our main theorem is that, for any manifold with corners $X$ of any codimension, there is a natural and explicit morphism $K_{\ast }\left(\mathcal{𝒦}\left(X\right)\right)\underset{}{\overset{T}{\to }}{H}_{\ast }^{pcn}\left(X,\mathbb{Q}\right)$ between the $K$-theory group of the algebra $\mathcal{𝒦}\left(X\right)$ of $b$-compact operators for $X$ and the periodic conormal homology group with rational coefficients, and that $T$ is a rational isomorphism.

As shown by the first two authors in a previous paper, this computation implies that the rational groups $H_{ev}^{pcn}\left(X,\mathbb{Q}\right)$ provide an obstruction to the Fredholm perturbation property for compact connected manifolds with corners.

This paper differs from that previous paper, in which the problem is solved in low codimensions, in that here we overcome the problem of computing the higher spectral sequence $K$-theory differentials associated to the canonical filtration by codimension by introducing an explicit topological space whose singular cohomology is canonically isomorphic to the conormal homology and whose $K$-theory is naturally isomorphic to the $K$-theory groups of the algebra $\mathcal{𝒦}\left(X\right)$.

Keywords

Mathematical Subject Classification 2010

Milestones

Authors