Geometric obstructions for Fredholm boundary conditions for manifolds with corners (Q723133)

Given a compact manifold, it is well known that elliptic operators correspond to Fredholm; also the vanishing of the Fredholm index corresponds to invertibility up to perturbation by a regularizing operator. The Atiyah-Singer index theorem provides a \(K\)-theoretic viewpoint of these classical results. In the case of manifolds with boundary, the work of Atiyah, Patodi and Singer explains the vanishing of the obstruction to perturbing an elliptic operator to a (nonlocal) Fredholm one. Obtaining this result from the vanishing of an analytic index [\textit{R. B. Melrose} and \textit{P. Piazza}, J. Differ. Geom. 46, No. 1, 99--180 (1997; Zbl 0955.58020); J. Differ. Geom. 46, No. 2, 287--334 (1997; Zbl 0920.58053)], [\textit{B. Monthubert} and \textit{V. Nistor}, Compos. Math. 148, No. 2, 640--668 (2012; Zbl 1247.58016)] indicates that expicit \(K\)-theoretic computations provide a better understanding of the nature of this obstruction. Such computations become more important in the case manifolds with corners, where this obstruction does not vanish. Results regarding the understanding of this case have been given in [\textit{U. Bunke}, Mem. Am. Math. Soc. 928, 120 p. (2009; Zbl 1181.58017)] (for Dirac operators) and [\textit{V. Nazaikinskii} et al., in: \(C^*\)-algebras and elliptic theory II. Selected papers of the international conference, Bȩdlewo, Poland, January 2006. Basel: Birkhäuser. 207--226 (2008; Zbl 1205.58018); J. Math. Sci., New York 170, No. 2, 229--237 (2010; Zbl 1301.58013); translation from Sovrem. Mat., Fundam. Napravl. 34, 100--108 (2009)]. This interesting paper under review provides explicit \(K\)-theoretic computations for compact manifolds with corners which are finite products of manifolds with corners of codimension less or equal to 3. In particular, the authors introduce a homology theory which realises the spectral sequence associated with the filtration of the algebra of b-pseudodifferential operators involved. They show that (after killing the torsion), these homology groups model the \(K\)-theory. The main result of the paper is that the Euler character associated with this homology controls the Fredholm perturbation obstruction. The constructions and results given generalize results by Bunke and Nazaikinskii et al. [loc. cit.]. Moreover, the authors use groupoids to formulate the pseudodifferential calculus and the \(K\)-theory involved, as well as to provide simpler proofs of the necessary index-theoretic results.