Slant products on the Higson-Roe exact sequence


We construct a slant product $/ \colon \mathrm{S}_p(X \times Y) \times \mathrm{K}_{1-q}(\mathfrak{c}^{\mathrm{red}}Y) \to \mathrm{S}_{p-q}(X)$ on the analytic structure group of Higson and Roe and the K-theory of the stable Higson corona of Emerson and Meyer. The latter is the domain of the co-assembly map $\mu^\ast \colon \mathrm{K}_{1-\ast}(\mathfrak{c}^{\mathrm{red}}Y) \to \mathrm{K}^\ast(Y)$. In fact, we obtain such products simultaneously on the entire Higson-Roe sequence. The existence of these products implies injectivity results for external product maps on each term of the Higson-Roe sequence. Our results apply in particular to taking products with aspherical manifolds whose fundamental groups admit coarse embeddings into Hilbert space. To conceptualize the general class of manifolds where this method applies, we introduce the notion of Higson-essentialness. A complete $\mathrm{spin}^{\mathrm{c}}$-manifold is Higson-essential if its fundamental class is detected by the stable Higson corona via the co-assembly map. We prove that coarsely hypereuclidean manifolds are Higson-essential. Finally, we draw conclusions for positive scalar curvature metrics on product spaces, in particular on non-compact manifolds. We also construct suitable equivariant versions of these slant products and discuss related problems of exactness and amenability of the stable Higson corona.