Search

We show that Klemenc's stable envelope of exact $\infty$-categories induces an equivalence between stable $\infty$-categories with a bounded heart structure and weakly idempotent complete exact $\infty$-categories. Moreover, we generalise the Gillet-Waldhausen theorem to the connective algebraic K-theory of exact $\infty$-categories and deduce a universal property of connective algebraic K-theory as an additive invariant on exact $\infty$-categories. A key tool is a generalisation of a theorem due to Keller which provides a sufficient condition for an exact functor to induce a fully faithful functor on stable envelopes., Comment: 24 pages more...

We construct a Poincar\'e complex whose periodic total surgery obstruction vanishes but whose Spivak normal fibration does not admit a reduction to a stable euclidean bundle. This contradicts the conjunction of two claims in the literature: Namely, on the one hand that a Poincar\'e complex with vanishing periodic total surgery obstruction is homotopy equivalent to a homology manifold, which appears in work of Bryant--Ferry--Mio--Weinberger, and on the other that the Spivak normal fibration of a homology manifold always admits a reduction to a stable euclidean bundle, which appears in work of Ferry--Pedersen. more...

We prove that any spectrum is equivalent to the nonconnective K-theory of a stable $\infty$-category. We use these results to construct a stable $\infty$-category $\mathcal{C}$ with a bounded t-structure such that $\operatorname{K}(\mathcal{C})$ is not equivalent to $\operatorname{K}(\mathcal{C}^\heartsuit)$, disproving a conjecture of Antieau, Gepner, and Heller., Comment: 17 pages more...

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., Comment: 133 pages; minor changes following a referee report more...

We associate to every $G$-bornological coarse space $X$ and every left-exact $\infty$-category with $G$-action a left-exact infinity-category of equivariant $X$-controlled objects. Postcomposing with algebraic K-theory leads to {new} equivariant coarse homology theories. This allows us to apply the injectivity results for assembly maps by Bunke, Engel, Kasprowski and Winges to the algebraic K-theory of left-exact $\infty$-categories., Comment: 136 p revised version more...

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., Comment: 41 pages more...

We modify Grayson's model of $K_1$ of an exact category to give a presentation whose generators are binary acyclic complexes of length at most $k$ for any given $k \ge 2$. As a corollary, we obtain another, very short proof of the identification of Nenashev's and Grayson's presentations., Comment: 10 pages, minor changes following a referee report, to appear in HHA more...

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., Comment: 44 pages more...

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., Comment: 81 pages; several minor changes and corrections following a referee report; to appear in Proc. LMS more...

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., Comment: 73 pages more...

We adapt Grayson's model of higher algebraic $K$-theory using binary acyclic complexes to the setting of stable $\infty$-categories. As an application, we prove that the $K$-theory of stable $\infty$-categories preserves infinite products., Comment: 20 pages; accepted for publication by the Journal of Topology more...

Using the language of coarse homology theories, we provide an axiomatic account of vanishing results for the fibres of forget-control maps associated to spaces with equivariant finite decomposition complexity., Comment: 32 pages more...

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., Comment: 110 pages, minor improvements more...

We show that in Grayson's model of higher algebraic $K$-theory using binary acyclic complexes, the complexes of length two suffice to generate the whole group. Moreover, we prove that the comparison map from Nenashev's model for $K_1$ to Grayson's model for $K_1$ is an isomorphism. It follows that algebraic $K$-theory of exact categories commutes with infinite products., Comment: 23 pages more...

We prove the A-theoretic Farrell-Jones Conjecture for virtually solvable groups. As a corollary, we obtain that the conjecture holds for S-arithmetic groups and lattices in almost connected Lie groups., Comment: 10 pages; added remark about related work of Farrell and Wu; updated author addresses. arXiv admin note: text overlap with arXiv:1607.06395 more...

We prove the Farrell-Jones Conjecture for (non-connective) $A$-theory with coefficients and finite wreath products for hyperbolic groups, CAT(0)-groups, cocompact lattices in almost connected Lie groups and fundamental groups of manifolds of dimension less or equal to three. Moreover, we prove inheritance properties such as passing to subgroups, colimits of direct systems of groups, finite direct products and finite free products. These results hold also for Whitehead spectra and spectra of stable pseudo-isotopies in the topological, piecewise linear and smooth category., Comment: 49 pages; improved exposition more...

We prove the Farrell-Jones Conjecture for algebraic K-theory of spaces for virtually poly-Z-groups. For this, we transfer the 'Farrell-Hsiang method' from the linear case to categories of equivariant, controlled retractive spaces., Comment: 62 pages; updated the cofinality theorem 4.3 and Remark 8.5; minor changes to the introduction; updated bibliography and author adresses more...

We show how the existing proof of the Farrell-Jones Conjecture for virtually poly-$\mathbb{Z}$-groups can be improved to rely only on the usual inheritance properties in combination with transfer reducibility as a sufficient criterion for the validity of the conjecture., Comment: 18 pages more...