arXiv Science⌕ Search

arXiv subjects

Christopher Wulff

Publications and source records attributed to Christopher Wulff.

12 recordsLinked to original sources
arXiv2025

The relative index in coarse index theory and submanifold obstructions to uniform positive scalar curvature

We provide a coarse version of the relative index of Gromov and Lawson and thoroughly establish all of its basic properties. As an application, we discuss a general procedure to construct wrong way maps on the $K$-theory of the Roe algebra mapping the coarse index class of the Dirac operator of a manifold to the one of a suitably embedded submanifold of arbitrary codimension, thereby establishing an abstract machinery to find obstructions to uniform positive scalar curvature coming from these submanifolds.

math.KT↗
arXiv2025

Duality pairings with the analytic structure group

We construct a slant product $\mathrm{S}^{G\times H}_p(X\times Y)\otimes \mathrm{K}_{-q}(\bar{\mathfrak{c}}^{\mathrm{red}} Y\rtimes H)\to \mathrm{K}_{p-q}(\mathrm{C}^\ast_G X)$ on the analytic structure group of Higson and Roe and the K-theory of the stable Higson compactification taking values in the (equivariant) Roe algebra. This complements the slant products constructed in earlier work of Engel and the authors ( arXiv:1909.03777 [math.KT] ). The distinguishing feature of our new slant product is that it specializes to a duality pairing $\mathrm{S}^H_p(Y) \otimes \mathrm{K}_{-p}(\bar{\mathfrak{c}}^{\mathrm{red}} (Y)\rtimes H)\to \mathbb{Z}$ which can be used to extract numerical invariants out of elements in the analytic structure group such as rho-invariants associated to positive scalar curvature metrics.

math.KT↗
arXiv2022

Generalized asymptotic algebras and $\mathrm{E}$-theory for non-separable $\mathrm{C}^*$-algebras

In previous definition of $\mathrm{E}$-theory, separability of the $\mathrm{C}^*$-algebras is needed either to construct the composition product or to prove the long exact sequences. Considering the latter, the potential failure of the long exact sequences can be traced back to the fact that these $\mathrm{E}$-theory groups accommodate information about asymptotic processes in which one real parameter goes to infinity, but not about more complicated asymptotics parametrized by directed sets. We propose a definition for $\mathrm{E}$-theory which also incorporates this additional information by generalizing the notion of asymptotic algebras. As a consequence, it not only has all desirable products but also all long exact sequences, even for non-separable $\mathrm{C}^*$-algebras. More precisely, our construction yields equivariant $\mathrm{E}$-theory for $\mathbb{Z}_2$-graded $G$-$\mathrm{C}^*$-algebras for arbitrary discrete groups $G$. We suspect that our model for $\mathrm{E}$-theory could be the right entity to investigate index theory on infinite dimensional manifolds.

math.OA↗
arXiv2020

Secondary cup and cap products in coarse geometry

We construct secondary cup and cap products on coarse (co-)homology theories from given cross and slant products. They are defined for coarse spaces relative to weak generalized controlled deformation retracts. On ordinary coarse cohomology, our secondary cup product agrees with a secondary product defined by Roe. For coarsifications of topological coarse (co-)homology theories, our secondary cup and cap products correspond to the primary cup and cap products on Higson dominated coronas via transgression maps. And in the case of coarse $\mathrm{K}$-theory and -homology, the secondary products correspond to canonical primary products between the $\mathrm{K}$-theories of the stable Higson corona and the Roe algebra under assembly and co-assembly.

math.AT↗
arXiv2020

Equivariant Coarse (Co-)Homology Theories

We present an Eilenberg-Steenrod-like axiomatic framework for equivariant coarse homology and cohomology theories. We also discuss a general construction of such coarse theories from topological ones and the associated transgression maps. A large part of this paper is devoted to showing how some well-established coarse (co-)homology theories, whose equivariant versions are either already known or will be introduced in this paper, fit into this setup. Furthermore, a new and more flexible notion of coarse homotopy is given which is more in the spirit of topological homotopies. Some, but not all, coarse (co-)homology theories are even invariant under these new homotopies. They also led us to a meaningful concept of topological actions of locally compact groups on coarse spaces.

math.AT↗
arXiv2019

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)$. We obtain such products on the entire Higson--Roe sequence. They imply injectivity results for external product maps. Our results apply to products with aspherical manifolds whose fundamental groups admit coarse embeddings into Hilbert space. To conceptualize the class of manifolds where this method applies, we say that a complete $\mathrm{spin}^{\mathrm{c}}$-manifold is Higson-essential if its fundamental class is detected by the co-assembly map. We prove that coarsely hypereuclidean manifolds are Higson-essential. We draw conclusions for positive scalar curvature metrics on product spaces, particularly on non-compact manifolds. We also obtain equivariant versions of our constructions and discuss related problems of exactness and amenability of the stable Higson corona.

math.KT↗
arXiv2017

Coronas for properly combable spaces

This paper is a systematic approach to the construction of coronas (i.e. Higson dominated boundaries at infinity) of combable spaces. We introduce three additional properties for combings: properness, coherence and expandingness. Properness is the condition under which our construction of the corona works. Under the assumption of coherence and expandingness, attaching our corona to a Rips complex construction yields a contractible $\sigma$-compact space in which the corona sits as a $Z$-set. This results in bijectivity of transgression maps, injectivity of the coarse assembly map and surjectivity of the coarse co-assembly map. For groups we get an estimate on the cohomological dimension of the corona in terms of the asymptotic dimension. Furthermore, if the group admits a finite model for its classifying space $BG$, then our constructions yield a $Z$-structure for the group.

math.MG↗
arXiv2016

Coarse indices of twisted operators

Several formulas for computing coarse indices of twisted Dirac type operators are introduced. One type of such formulas is by composition product in $E$-theory. The other type is by module multiplications in $K$-theory, which also yields an index theoretic interpretation of the duality between Roe algebra and stable Higson corona.

math.KT↗
arXiv2015

Ring and module structures on $K$-theory of leaf spaces and their application to longitudinal index theory

Pursuing conjectures of John Roe, we use the stable Higson corona of foliated cones to construct a new $K$-theory model for the leaf space of a foliation. This new $K$-theory model is -- in contrast to Alain Connes' $K$-theory model -- a ring. We show that Connes' $K$-theory model is a module over this ring and develop an interpretation of the module multiplication in terms of indices of twisted longitudinally elliptic operators.

math.KT↗
arXiv2014

Coarse co-assembly as a ring homomorphism

The $K$-theory of the stable Higson corona of a coarse space carries a canonical ring structure. This ring is the domain of an unreduced version of the coarse co-assembly map of Emerson and Meyer. We show that the target also carries a ring structure and co-assembly is a ring homomorphism, provided that the given coarse space is contractible in a coarse sense.

math.KT↗
arXiv2011

Bordism Invariance of the Coarse Index

We prove bordism invariance of the coarse index of complex elliptic pseudodifferential operators. In our discussion we introduce directed $c$-bordisms, whose usefulness is illustrated in the context of existence of uniformly positive scalar curvature metrics on open manifolds.

math.KT↗