English

Fredholm anomalies on manifold with corners of low codimensions and conormal corner cycles

K-Theory and Homology 2025-01-10 v1 Operator Algebras

Abstract

Given a connected manifold with corners XX 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's cycles, these conormal homology groups are denoted by Hcn(X)H^{cn}_*(X). Using our previous works we define an index morphism K0(bTX)Indev,cnXHevcn(X)K^0(^bT^*X)\stackrel{Ind_{ev,cn}^X}{\longrightarrow}H_{ev}^{cn}(X) for XX a manifold with corners of codimension less or equal to three and called here the even conormal index morphism. In the case that XX is compact and connected and DD is an elliptic bb-pseudodifferential operator in the associated bb-calculus of XX we know, by our previous works and other authors works, that, up to adding an identity operator, DD can be perturbed (with a regularizing operator in the calculus) to a Fredholm operator iff Indev,cnX([σD])Ind_{ev,cn}^X([\sigma_D]) (where [σD]K0(bTX)[\sigma_D]\in K^0(^bT^*X) is the principal symbol class) vanishes in the even conormal homology group Hevcn(X)H_{ev}^{cn}(X). The main result of this paper is the explicit computation of the even and odd conormal index morphisms Indev/odd,cnX(σ)Hev/oddcn(X)Ind_{ev/odd,cn}^X(\sigma)\in H_{ev/odd}^{cn}(X) for XX a manifold with corners of codimension less or equal to three. The coefficients of the conormal corner cycles Indev/odd,cnX(σ)Ind_{ev/odd,cn}^X(\sigma) are given in terms of some suspended Atiyah-Singer indices of the maximal codimension faces of XX and in terms of some suspended Atiyah-Patodi-Singer indices of the non-maximal codimension faces of XX. As a corollary we give a complete caracterization to the obstruction of the Fredholm perturbation property for closed manifolds with corners of codimension less or equal to three in terms of the above mentioned indices of the faces, this allows us as well to give such a characterization in terms of the respective topological indices.

Keywords

Cite

@article{arxiv.2501.05071,
  title  = {Fredholm anomalies on manifold with corners of low codimensions and conormal corner cycles},
  author = {Paulo Carrillo Rouse and Jean-Marie Lescure},
  journal= {arXiv preprint arXiv:2501.05071},
  year   = {2025}
}

Comments

Comments are welcome. arXiv admin note: text overlap with arXiv:1910.11049