arXiv subjects
Publications and source records attributed to Ulrich Bunke.
We introduce the notion of a Bredon-style equivariant coarse homology theory. We show that such a Bredon-style equivariant coarse homology theory satisfies localization theorems and that a general equivariant coarse homology theory can be approximated by a Bredon-style version. We discuss the special case of algebraic and topological equivariant coarse $K$-homology and obtain the coarse analog of Segal's localization theorem.
This is a survey article with the goal to advertise spectrum valued versions of $K$- and $KK$- theory for $C^{*}$-algebras via a (stable and symmetric monoidal) $\infty$-categorical enhancement of Kasparov's classical $KK$-theory. The main purpose is to present, in the simplest case, homotopy theoretic arguments for classical results on operator $K$-theory, including Swan's theorems, Künneth and universal coefficient formulas, the bootstrap class, variations of Karoubi's conjecture, and spectra of units for strongly self-absorbing $C^*$-algebras, as well as some new aspects on twisted $K$-theory and coherent multiplicative structures on $C^*$-algebras, viewed as objects in the previously mentioned $\infty$-category.
This is a survey on coarse geometry with an emphasis on coarse homology theories.
In string theory, the concept of T-duality between two principal T^n-bundles E_1 and E_2 over the same base space B, together with cohomology classes h_1\in H^3(E_1) and h_2\in H^3(E_2), has been introduced. One of the main virtues of T-duality is that h_1-twisted K-theory of E_1 is isomorphic to h_2-twisted K-theory of E_2. In this paper, a new, very topological concept of T-duality is introduced. We construct a classifying space for pairs as above with additional "dualizing data", with a forgetful map to the classifying space for pairs (also constructed in the paper). On the first classifying space, we have an involution which corresponds to passage to the dual pair, i.e. to each pair with dualizing data exists a well defined dual pair (with dualizing data). We show that a pair (E,h) can be lifted to a pair with dualizing data if an only if h belongs to the second step of the Leray-Serre filtration of E (i.e. not always), and that in general many different lifts exist, with topologically different dual bundles. We establish several properties of the T-dual pairs. In particular, we prove a T-duality isomorphism of degree -n for twisted K-theory.
For a $C^{*}$-category with a strict $G$-action we construct examples of equivariant coarse homology theories. To this end we first introduce versions of Roe categories of objects in $C^{*}$-categories which are controlled over bornological coarse spaces, and then apply a homological functor. These equivariant coarse homology theories are then employed to verify that certain functors on the orbit category are CP-functors. This fact has consequences for the injectivity of assembly maps.
We show the Farrell-Jones conjecture with coefficients in left-exact $\infty$-categories for finitely $\mathcal{F}$-amenable groups and, more generally, Dress-Farrell-Hsiang-Jones groups. Our result subsumes and unifies arguments for the K-theory of additive categories and spherical group rings and extends it for example to categories of perfect modules over $\mathbb{E}_{1}$-ring spectra.
We propose the notion of a coarse cohomology theory and study the examples of coarse ordinary cohomology, coarse stable cohomotopy and of coarse cohomology theories obtained by dualizing coarse homology theories. We show that the dualizing spectrum of a finitely generated torsion-free group only depends on the coarse motivic spectrum represented by the underlying bornological coarse space of the group. This in particular implies a conjecture of J. R. Klein that the dualizing spectrum of a group is a coarse invariant.
We derive the Pimsner-Voiculescu sequence calculating the K-theory of a $C^{*}$- algebra with $\mathbb{Z}$-action using constructions with equivariant coarse K-homology theory. We then investigate to which extend this idea extends to more general equivariant coarse homology theories.
We provide a reference for basic categorial properties of the categories of (possibly non-unital) $\mathbb{C}$-linear $*$-categories or $C^{*}$-categories, and (not necessarily unit-preserving) functors. Generalizing the classical case of algebras with $G$-action, we extend the construction of crossed products to categories with $G$-action. We will show that the crossed product functor preserves exact sequences and excisive squares and sends weak equivalences to equivalences.
For every strong coarse homology theory we construct a coarse assembly map as a natural transformation between coarse homology theories. We provide various conditions implying that this assembly map is an equivalence. These results generalize known results for the analytic coarse assembly map for K-homology to general coarse homology theories. Furthermore, we calculate the domain of the coarse assembly map explicitly in terms of locally finite homology theory.
We show injectivity results for assembly maps using equivariant coarse homology theories with transfers. Our method is based on the descent principle and applies to a large class of linear groups or, more general, groups with finite decomposition complexity.
We propose an axiomatic characterization of coarse homology theories defined on the category of bornological coarse spaces. We construct a category of motivic coarse spectra. Our focus is the classification of coarse homology theories and the construction of examples. We show that if a transformation between coarse homology theories induces an equivalence on all discrete bornological coarse spaces, then it is an equivalence on bornological coarse spaces of finite asymptotic dimension. The example of coarse K-homology will be discussed in detail.
We construct model category structures on various types of (marked) *-categories. These structures are used to present the infinity categories of (marked) *-categories obtained by inverting (marked) unitary equivalences. We use this presentation to explicitly calculate the \infty-categorical G-fixed points and G-orbits for G-equivariant (marked) *-categories.
The goal of this paper is to associate functorially to every symmetric monoidal additive category $\mathbf{A}$ with a strict $G$-action a lax symmetric monoidal functor $\mathbf{V}_{\mathbf{A}}^{G}:G\mathbf{BornCoarse}\to \mathbf{Add}_{\infty}$ from the symmetric monoidal category of $G$-bornological coarse spaces $G\mathbf{BornCoarse}$ to the symmetric monoidal $\infty$-category of additive categories $ \mathbf{Add}_{\infty}$. This allows to refine equivariant coarse algebraic $K$-homology to a lax symmetric monoidal functor.
We construct an equivariant coarse homology theory arising from the algebraic $K$-theory of spherical group rings and use this theory to derive split injectivity results for associated assembly maps. On the way, we prove that the fundamental structural theorems for Waldhausen's algebraic $K$-theory functor carry over to its nonconnective counterpart defined by Blumberg--Gepner--Tabuada.
We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of pre-additive categories. These model category structures are used to present the corresponding $\infty$-categories obtained by inverting equivalences. We apply these results to explicitly calculate various limits and colimits in these $\infty$-categories.
We study equivariant coarse homology theories through an axiomatic framework. To this end we introduce the category of equivariant bornological coarse spaces and construct the universal equivariant coarse homology theory with values in the category of equivariant coarse motivic spectra. As examples of equivariant coarse homology theories we discuss equivariant coarse ordinary homology and equivariant coarse algebraic $K$-homology. Moreover, we discuss the cone functor, its relation with equivariant homology theories in equivariant topology, and assembly and forget-control maps. This is a preparation for applications in subsequent papers aiming at split-injectivity results for the Farrell-Jones assembly map.
We enlarge the category of bornological coarse spaces by adding transfer morphisms and introduce the notion of an equivariant coarse homology theory with transfers. We then show that equivariant coarse algebraic $K$-homology and equivariant coarse ordinary homology can be extended to equivariant coarse homology theories with transfers. In the case of a finite group we observe that equivariant coarse homology theories with transfers provide Mackey functors. We express standard constructions with Mackey functors in terms of coarse geometry, and we demonstrate the usage of transfers in order to prove injectivity results about assembly maps.