Controlled algebra for simplicial rings and the algebraic K-theory assembly map [Elektronische Ressource] / vorgelegt von Mark Ullmann

Mark Ullmann

Sujets

• Mathematics

Informations

• Publié par: heinrich-heine-universitat_dusseldorf
• Publié le: 01 janvier 2010
• Nombre de lectures: 13
• Langue: English
• Poids de l'ouvrage: 2 Mo

Extrait

Controlled algebra for simplicial rings
and the algebraic K-theory assembly map
Inaugural - Dissertation
zur
Erlangung des Doktorgrades der
Mathematisch-Naturwissenschaftlichen Fakultät
der Heinrich-Heine-Universität Düsseldorf
vorgelegt von
Mark Ullmann
aus Osnabrück
Düsseldorf, Dezember 2010
Diese Forschung wurde gefördert durch die Deutsche Forschungsgemeinschaft im
Rahmen des Graduiertenkollegs „Homotopie und Kohomologie“ (GRK 1150)Aus dem Mathematischen Institut
der Heinrich-Heine-Universität Düsseldorf
Gedruckt mit der Genehmigung der
Mathematisch-Naturwissenschaftlichen Fakultät der
Heinrich-Heine-Universität Düsseldorf
Referent: Prof. Dr. H. Reich
Koreferent: Prof. Dr. W. Singhof
Tag der mündlichen Prüfung: 24. Januar 2011Summary
The algebraic K-theory Farrell-Jones Conjecture is a conceptional approach to
calculate the algebraic K-groups of a group ring R[G] where R is a simplicial ring
with unit and G an infinite group. It states that the assembly map
G G
h (E G,K )→h (pt,K )VCyc R Rn n
is an isomorphism for alln∈Z. The target calculates toK (R[G]), thenth algebraicn
K-group of the group ring R[G]. The conjecture has deep connections to geometric
topology. For example forG a torsion-free group andR =Z it predicts the vanishing
of the Whitehead group Wh(G) of G and hence by the famous s-cobordism theorem
of Barden-Mazur-Stallings and Smale the triviality of each h-cob over a
differentiable manifold of dimension≥ 5 with fundamental group G. The conjecture
is known for a large class of groups but the general case is open.
Recently Bartels, Lück and Reich proved the Farrell-Jones Conjecture for G a
word-hyperbolic group in the sense of Gromov andR an arbitrary discrete ring. This
prompts the question about an extension of it to a more general kind of rings. In this
thesis we formulate the Farrell-Jones Conjecture for simplicial rings. Simplicial rings
are a homotopy theoretic generalization of discrete rings and play itself an important
role in the investigation of higher-dimensional manifolds. Our work requires a whole
new set of tools. We prove, among other things:
Theorem A. Let R be a simplicial ring. For each free G-equivariant control space
X there is a category
GC (X,R)
of G-equivariant controlled simplicial R-modules over X. It has the structure of a
category with cofibrations and weak equivalences, so its algebraicK-theory is defined.
GTheorem B. Let R be a simplicial ring. The functor h (−,K ) from G-CW-R
complexes to spectra, defined as
−∞ G cc
Z→−→K (g wC (Z ,R)),∞
is a G-equivariant homology theory. Its coefficients are the non-connective algebraic
−∞K-theory spectra G/H→→K (R[H]).
This description allows the following conclusion:
Theorem C. The assembly map is an isomorphism if and only if
  
−∞ G cc
K wC (E G) ,RVCyc
is contractible.
This opens the door to attack the conjecture for word-hyperbolic groups and
simplicial rings with techniques known from the case of discrete rings. To establish
the theorems we considerably generalize the theory of “controlled modules” over a
discrete ring used by Bartels-Lück-Reich and introduce homotopy theoretic methods
into the subject. As a crucial step we obtain a definition of the non-connective
algebraic K-theory spectrum of any simplicial ring.
3Zusammenfassung
Die Farrell-Jones-Vermutung für algebraische K-Theorie ist ein konzeptioneller An-
satz zur Bestimmung der algebraischenK-Gruppen eines GruppenringesR[G], wobei
R ein simplizialer Ring mit Eins und G eine unendlichee ist. Die Vermutung
besagt, dass die Assembly-Abbildung
G Gh (E G,K )→h (pt,K )VCyc R Rn n
für alle n∈Z ein Isomorphismus ist. Die rechte Seite berechnet sich zu K (R[G]),n
dernten algebraischen K-Gruppe des Gruppenringes R[G]. Die Vermutung hat tiefe
Verbindungen zur geometrischen Topologie. So folgt aus ihr für G eine torsionsfreie
Gruppe und R = Z, dass die Whitehead-Gruppe Wh(G) von G trivial ist. Der
berühmtes-Kobordismussatz von Barden-Mazur-Stallings und Smale impliziert dann
die Trivialität jedes h-Kobordismus über einer differenzierbaren Mannigfaltigkeit der
Dimension≥ 5 mit Fundamentalgruppe G. Die Vermutung ist für eine große Klasse
von Gruppen bekannt, aber der allgemeine Fall ist offen.
Kürzlich zeigten Bartels, Lück und Reich die Farrell-Jones Vermutung wenn G
eine wort-hyperbolische Gruppe im Sinne Gromovs und R ein diskreter Ring ist.
Das wirft die Frage nach einer Erweiterung der Vermutung für eine allgemeinere Art
von Ringen auf. In dieser Dissertation formulieren wir die Farrell-Jones Vermutung
für simpliziale Ringe, diese können als homotopietheoretische Verallgemeinerung
von diskreten Ringen angesehen werden und spielen selbst eine wichtige Rolle in
der Untersuchung höher-dimensionaler Mannigfaltigkeiten. Unsere Untersuchen
benötigen eine Reihe neuer Methoden und Konstruktionen. Unter anderem zeigen
wir:
Theorem A. Sei R ein simplizialer Ring. Für jeden freien G-äquivarianten Kon-
trollraum X gibt es eine Kategorie
GC (X,R)
von G-äquivarianten kontrollierten simplizialen R-Moduln über X. Diese hat die
Struktur einer Kategorie mit Kofaserungen und schwachen Äquivalenzen, womit ihre
algebraische K-Theorie definiert ist.
GTheorem B. Sei R ein simplizialer Ring. Der Funktor h (−,K ) von G-CW-R
Komplexen nach Spektren, der als
−∞ G ccZ→−→K (g wC (Z ,R)),∞
definiert wird, ist eine G-äquivariante Homologietheorie. Ihr Koeffizientenspek-
trum sind die nicht-zusammenhängenden algebraischen K-Theorie-Spektren G/H→→
−∞
K (R[H]).
Diese Beschreibung erlaubt die folgende Schlussfolgerung:
5Theorem C. Die Assembly-Abbildung ist genau dann ein Isomorphismus, wenn das
Spektrum
  
−∞ G cc
K wC (E G) ,RVCyc
zusammenziehbar ist.
Diese Formulierung ermöglicht die Vermutung für wort-hyperbolische Gruppen
und simpliziale Ringe mit Methoden aus dem Fall der diskreten Ringe anzugreifen.
Zum Beweis der obigen Theoreme verallgemeinern wir die von Bartels-Lück-Reich
genutzte Theorie der „kontrollierten Moduln“ über diskreten Ringen und führen
homotopietheoretische Techniken in das Gebiet ein. Als wichtigen Zwischenschritt
erhalten wir eine Definition des nicht-zusammenhängenden algebraischen K-Theorie-
Spektrums eines simplizialen Ringes.
6Contents
Introduction 9
Notations and conventions . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1. Definitions 19
1.1. Simplicial Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2. Control . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.3. Controlled simplicial modules . . . . . . . . . . . . . . . . . . . . . . 24
1.4. The “Fundamental Lemma” . . . . . . . . . . . . . . . . . . . . . . . 29
1.5. Equivariant controlled modules . . . . . . . . . . . . . . . . . . . . . 30
G2. Structures onC (X,R,E,F) 35
2.1. Pushouts along cellular inclusions and cofibrations . . . . . . . . . . 36
G2.2. C (X,R,E,F) is a category with . . . . . . . . . . . . . 38
2.3. A cylinder functor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.4. Homotopies, horn-filling and the homotopy extension property . . . 44
2.4.1. Digression: Describing maps by diagrams . . . . . . . . . . . 48
2.5. Homotopy equivalences . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.6.y equivalences and mapping cylinders . . . . . . . . . . . . 53
2.7. Pushouts of homotopy equivalences which are cofibrations . . . . . . 57
2.8. The Extension Axiom . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3. Algebraic K-theory of categories of controlled modules 67
G3.1. C as a category with cofibrations and weak equivalences . . . . . . 67a
G3.2. Subcategories ofC . . . . . . . . . . . . . . . . . . . . . . . . . . . 70a
3.3. Object support conditions . . . . . . . . . . . . . . . . . . . . . . . . 71
3.4. Finite objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.5. Homotopy finite objects . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.6.y finitely dominated objects . . . . . . . . . . . . . . . . . . 77
3.7. Connective algebraic K-theory of controlled modules . . . . . . . . . 80
4. Germs 89
4.1. Modules with support on subsets . . . . . . . . . . . . . . . . . . . . 89
4.2. Motivation and controlled preliminaries . . . . . . . . . . . . . . . . 90
4.3. The category of germs . . . . . . . . . . . . . . . . . . . . . . . . . . 92
4.4. Germwise weak equivalences . . . . . . . . . . . . . . . . . . . . . . . 94
G4.5. C as a category with cofibrations and germwise weak equivalences . 97
7G5. Connective algebraic K-theory ofC 103f
5.1. The homotopy fiber sequence with germs . . . . . . . . . . . . . . . 103
5.2. Coarse Mayer-Vietoris . . . . . . . . . . . . . . . . . . . . . . . . . . 111
5.3. Flasque shift and Eilenberg swindle . . . . . . . . . . . . . . . . . . . 113
6. Non-connective algebraic K-theory 117
6.1. Overview and the theorems . . . . . . . . . . . . . . . . . . . . . . . 118
−∞6.2. The non-connective K-theory spectrumK . . . . . . . . . . . .