arXiv:1404.5606v3 [math.KT] 25 May 2016

K -THEORY WITH FIBRED CONTROL GUNNAR CARLSSON AND BORIS GOLDFARB Abstract. Controlled methods proved to be very effective in the study of assembly maps in algebraic K -theory. For the questions concerning surjectivity of these maps in the context of geometries that have no immanent nonpositive curvature, the setting needs to be enlarged to bounded G-theory with fibred control. We set up the natural framework for this theory. As should be expected, the G-theory has better excision properties. The main result illustrates a fact that has no analogue in bounded K -theory. It is one of the major technical tools used in our work on the Borel Conjecture about topological rigidity of aspherical manifolds.

Contents 1. Motivation, Examples, and Discussion 1.1. Karoubi Filtrations of Pedersen-Weibel Categories 1.2. Equivariant Theory and the Lax Limits 1.3. Motivation 1.4. An Example 1.5. Discussion of Options and Outline of the Paper 2. Fibred Bounded K-theory 2.1. Definitions and Basic Properties 2.2. Elements of Coarse Geometry 2.3. Equivariant Fibred K -theory 2.4. Fibrewise Localization and Excision Theorems 2.5. The Cone Construction T 3. Fibred Bounded G-theory 3.1. Bounded G-theory 3.2. Fibred Bounded G-theory 3.3. Fibrewise Gradings and Localization 3.4. K -theoretic Preliminaries 3.5. Nonequivariant Excision Theorems 3.6. Functoriality, Equivariant Fibred G-theory 4. Fibrewise Excision Theorems 4.1. Equivariant Localization and Excision 4.2. Fibrewise Excision for Faux Lax Limits 4.3. An Application References

Date: June 14, 2016. 1

2 2 5 6 7 9 10 10 12 15 16 20 21 21 33 39 44 47 52 55 55 58 61 64

2

GUNNAR CARLSSON AND BORIS GOLDFARB

1. Motivation, Examples, and Discussion Controlled algebra of geometric modules has been a very successful device in geometric topology since its appearance in the work of Frank Quinn. The most effective work on Novikov and Farrell-Jones conjectures and other prominent problems uses the kind of bounded control or continuous control at infinity that is well-suited for generating K-theory spectra out of the associated additive controlled categories of modules. This introduction serves to explain the need for a generalization of geometric control and the need for new computational tools in this generalized setting. The rest of the paper will provide these tools. We include a high level explanation of the appearance of fibred control in the work of these authors [7, 8, 9] on surjectivity of the assembly maps as a natural extension of classical controlled algebra. This is a two-fold generalization of the notion of parametrization in geometric modules to filtrations and, at the same time, of the bounded control of the module homomorphisms to fibred control. The fibred category is a home for deformations necessary in our work but the setting seems natural for other purposes as well. After this motivation, we want to describe an elementary example of a desired fact that does not hold in the classical setting. The example will prompt the generalization we are forced to attempt and indicate the resolution in broad strokes. We will also include a discussion of some options one meets on the way that are viable in their own right. In fact, some of those options seem essential for the L-theory version of this material. 1.1. Karoubi Filtrations of Pedersen-Weibel Categories. Bounded K-theory introduced by Pedersen [15] and Pedersen–Weibel [16] associates a nonconnective spectrum K −∞ (M, R) to a proper metric space M (a metric space where closed bounded subsets are compact) and an associative ring R with unity. We are going to start with a careful, at times revisionist, review of the well-known features of this theory that will need generalization. 1.1.1. Definition. C(M, R) is the additive category of geometric R-modules whose objects are functions F : M → Freef g (R) which are locally finite assignments of free finitely generated R-modules Fm to points m of M . The local finiteness condition requires precisely that for any bounded subset S ⊂ M the restriction of F to S has finitely many nonzero values. Let d be the distance function in M . The morphisms in C(M, R) are the R-linear homomorphisms M M φ: Fm −→ Gn m∈M

n∈M

with the property that the components Fm → Gn are zero for d(m, n) > b for some fixed real number b = b(φ) ≥ 0. The associated K-theory spectrum is denoted by K(M, R), or K(M ) when the choice of ring R is implicit, and is called the bounded K-theory of M . 1.1.2. Notation. For a subset S ⊂ M and a real number r ≥ 0, S[r] will stand for the metric r-enlargement {m ∈ M | d(m, S) ≤ r}. In this notation, the metric ball of radius r centered at x is {m}[r] or simply m[r]. L Now for every object F there is a free R-module F (S) = m∈S Fm . The condition that φ is controlled as above is equivalent to existence of a number b ≥ 0 so that φF (S) ⊂ F (S[b]) for all choices of S.

K -THEORY WITH FIBRED CONTROL

3

A map between proper metric spaces is proper if the preimage of a bounded subset is a bounded subset. A map f : M1 → M2 is called eventually Lipschitz if, for some number k ≥ 0 and large enough s ≥ 0, dX (x1 , x2 ) ≤ s implies dY (f (x1 ), f (x2 )) ≤ ks. According to [17], the construction K(M, R) becomes a functor in the first variable on the category of proper metric spaces and proper eventually Lipschitz maps. Examples of proper eventually Lipschitz maps of immediate interest to us are inclusions of metric spaces. The main result of Pedersen–Weibel [16] is the delooping theorem which can be stated as follows. 1.1.3. Theorem (Nonconnective Delooping of Bounded K -theory). Given a proper metric space M and the standard Euclidean metric on the real line R, the natural inclusion M → M × R induces isomorphisms Kn (M ) ≃ Kn−1 (M × R) for all integers n > 1. If one defines the spectrum K −∞ (M, R) = hocolim Ωk K(M × Rk ), − − − − → k

then the stable homotopy groups of K −∞ (R) = K −∞ (pt, R) coincide with the algebraic K-groups of R in positive dimensions and with the Bass negative K-theory of R in negative dimensions. Suppose U is a subset of M . Let C(M, R) D for some fixed number D > 0 specific to F . This is an additive subcategory of C(M, R) with the associated K-theory spectrum K −∞ (M, R)