Bonn THDM 2013: Program

• Background
• Schedule

1 Introduction

1.1 K₀ and Wall's finiteness obstruction

Speaker: WL

Abstract: We introduce the projective class group $K_0(R)$$* [[Bonn THDM 2013: Background|Background]] <!--* [[Bonn THDM 2013: Exercises|Exercises]] * [[Bonn THDM 2013: Glossary|Glossary]]--> * [[Bonn THDM 2013: Schedule|Schedule]] ==Introduction== ===K₀ and Wall's finiteness obstruction === <wikitex>; Speaker: [[User:Lueck|WL]] Abstract: We introduce the ''projective class group $K_0(R)$''. We explain computations for special rings, e.g., fields, complex group rings for finite groups. We state Swan's Theorem which relates the projective class group of the ring $C(X)$ of continuous $\Rr$-valued functions to the Grothendieck group of vector bundles over $X$, if $X$ is a finite $CW$-complex. We discuss Wall's finiteness obstruction which decides whether a finitely dominated $CW$-complex is homotopy equivalent to a finite $CW$-complex and takes values in the projective class group of the integral group ring of the fundamental group. Exercises: [[K-group, zeroth (Ex)]], [[Finitely dominated CW complexes (Ex)]]. References: {{cite|Lück1987}}, {{cite|Lück1989}}, {{cite|Mislin1995}}, {{cite|Ranicki1985}}, {{cite|Rosenberg1994}}, {{cite|Wall1965a}}, {{cite|Wall1966b}}. </wikitex> ===K₁ and Whitehead torsion === <wikitex>; Speaker: [[User:Lueck|WL]] Abstract: We introduce $K_1(R)$ and the Whitehead group $\textup{Wh}(G)$. We define the Whitehead torsion of a homotopy equivalence of finite connected $CW$-complexes. We discuss the algebraic and topological significance of these notions, in particular the $s$-cobordism theorem. We briefly introduce the surgery program. Finally we introduce negative $K$-theory and the Bass-Heller-Swan decomposition. Exercises: [[K-group, first (Ex)]], [[Whitehead torsion (Ex)]], [[Reidemeister torsion (Ex)]], [[K-group, all (Ex)]]. References: \cite{Cohen1973}, \cite{Lück1989}, \cite{Lück2002}, \cite{Milnor1966}, \cite{Ranicki1985a}, \cite{Ranicki1987}, \cite{Rosenberg1994}. </wikitex> ===Normal maps and surgery below the middle dimension === <wikitex>; Speaker: [[User:Spiros Adams-Florou|SA-F]] Abstract: We begin with a discussion of the surgery programme, motivating the definition of a degree one normal map. The surgery method proceeds via a two stage obstruction theory. We will primarily concentrate on the second $L$-theoretic obstruction which corresponds to the question of when a degree one normal map is normal bordant to a homotopy equivalence. Introducing surgery and the surgery step we explain how surgery can always be performed below the middle dimension. If surgery can also be done in the middle dimension Poincaré duality and Whitehead's theorem give us a homotopy equivalence. As we shall see in the next two lectures this cannot always be done... Exercises: References: \cite{Ranicki2002|Chapters 1 & 10}, \cite{Lück2001|Chapter 3}, \cite{Wall1970b|Chapter 1}, \cite{Kervaire&Milnor1963}, \cite{Browder1972} </wikitex> ===Even dimensional surgery obstruction === <wikitex>; Speaker: [[User:Spiros Adams-Florou|SA-F]] Abstract: We begin by explaining how we cannot necessarily do surgery on an element $x\in \pi_{k+1}(f)$ in the middle dimension if $n=2k$ as immersions may not be regularly homotopic to embeddings. For $k\geqslant 3$ we can do surgery if the self-intersection number of the immersion is trivial. This motivates us to study intersections and self-intersections which leads to the definition of the $Q$-groups and Wall's $\mu$ form. From the geometry we extract the algebraic obstruction to surgery in the middle dimension which lies in the even dimensional $L$-groups. For $k\geqslant 3$ the surgery obstruction vanishes if and only if we can do finitely many surgeries on our degree one normal map to obtain a degree one normal map covering a homotopy equivalence. Exercises: References: \cite{Ranicki2002|Chapter 11}, \cite{Lück2001|Chapter 4, 4.1-4.3}, \cite{Wall1970b|Chapters 5 & 8} </wikitex> ===Odd dimensional surgery obstruction === <wikitex>; Speaker: [[User:Spiros Adams-Florou|SA-F]] Abstract: We begin by discussing how even though we can always do surgery on an element $x \in \pi_{k+1}(f)$ for $n= 2k+1$ the surgery does not necessarily make the surgery kernel smaller as different choices of framing have different results. We discuss Heegaard splittings and from the geometry motivate the definition of quadratic formations. We introduce the kernel formation associated to a Heegaard splitting of a degree one normal map and the notion of a presentation. We characterise algebraically when we can do surgery to kill $\pi_*(f)$ and this leads to the definition of the odd-dimensional $L$-groups; in dimensions at least five the surgery obstruction vanishes if and only if our degree one normal map is normal bordant to a homotopy equivalence. Exercises: References: \cite{Ranicki2002|Chapter 12}, \cite{Lück2001|Chapter 4, 4.4-4.6}, \cite{Wall1970b|Chapters 6-7}, \cite{Wall1963}, \cite{Novikov1970}, \cite{Ranicki1973} </wikitex> ===The geometric surgery exact sequence === <wikitex>; Speaker: [[User:Spiros Adams-Florou|SA-F]] Abstract: We begin with a discussion of Wall realisation: if we permit ourselves to consider manifolds with boundary then every surgery obstruction can be realised. We then reach the culmination of the classical surgery programme, namely the surgery exact sequence - the main theoretical tool for the classification of high-dimensional manifolds. We also discuss the simple surgery exact sequence. Exercises: References: \cite{Ranicki2002|Chapter 13}, \cite{Lück2001|Chapter 5} </wikitex> == Surgery on smooth manifolds == ===Homotopy spheres and other examples === <wikitex>; Speaker: [[User:Diarmuid Crowley|DC]] Abstract: Exercises: References: </wikitex> ===Smoothing and surgery === <wikitex>; Speaker: [[User:Diarmuid Crowley|DC]] Abstract: Exercises: References: </wikitex> ===Classifying spaces for surgery === <wikitex>; Speaker: [[User:Diarmuid Crowley|DC]] Abstract: Exercises: References: </wikitex> ===The Kervaire invariant in surgery === <wikitex>; Speaker: [[User:Diarmuid Crowley|DC]] Abstract: Exercises: References: </wikitex> == Algebraic L-theory == ===L-groups via chain complexes === <wikitex>; Speaker: [[User:Tibor Macko|TM]] Abstract: We introduce symmetric and quadratic structures on chain complexes which are analogues of symmetric and quadratic forms on modules. A non-degeneracy condition yields Poincaré complexes. Further we generalize to structures on chain maps obtaining the notion of a symmetric pair and a quadratic pair and a non-degeneracy assumption on these produces the notion of a cobordism of symmetric and quadratic Poincaré complexes. Cobordism classes then define the promised $L$-groups. We introduce the technique of algebraic surgery which is the main tool in showing that the $L$-groups defined via chain complexes agree with the $L$-groups defined via forms and formations. Exercises: [[Equivariant maps (Ex)]], [[Structured chain complexes (Ex)]], [[Structured chain complexes II (Ex)]], [[Structured chain complexes III (Ex)]]. References: \cite{Ranicki1980}, \cite{Ranicki1980a}, \cite{Ranicki2002a}, \cite{Kühl&Macko&Mole2011}, \cite{Crowley&Lück&Macko2013|Chapter 8}. </wikitex> ===Signatures=== <wikitex>; Speaker: [[User:Tibor Macko|TM]] Abstract: We first show that an $n$-dimensional geometric Poincaré complex defines an $n$-dimensional Poincaré symmetric structure on its singular chain complex. Its class in an appropriate $L$-group is called the symmetric signature of that complex. Secondly we show that a degree one normal map between $n$-dimensional geometric Poincaré complexes defines an $n$-dimensional Poincaré quadratic structure on the mapping cone of the Umkehr map, again its class in an appropriate $L$-group is called the quadratic signature of that map. To obtain it, we introduce the suspension of a symmetric complex and of a quadratic complex and using it we state a condition for refining symmetric structures to quadratic structures. We use $S$-duality from stable homotopy theory to see that the condition is fulfilled for such a degree one normal map. In case our Poincaré complexes are manifolds the resulting complex represents the surgery obstruction in the $L$-group. Exercises: [[Structured chain complexes IV (Ex)]], [[Boundaries of symmetric complexes (Ex)]], [[S-duality III (Ex)]]. References: \cite{Ranicki1980}, \cite{Ranicki1980a}, \cite{Ranicki2002a}, \cite{Kühl&Macko&Mole2011}, \cite{Crowley&Lück&Macko2013|Chapter 8} and \cite{Browder1972|I §4} for S-duality; see also \cite{Adams1974}, \cite{Switzer2002|Ch.14}. </wikitex> ===L-groups of categories and assembly maps === <wikitex>; Speaker: [[User:Tibor Macko|TM]] Abstract: We generalize the notions from the first two talks to complexes over an arbitrary additive category with chain duality. We define such a chain duality on the category of modules over a simplicial complex. This yields on one hand a construction of the $L$-spectra. On the other hand imposing a certain local Poincaré condition produces homology of a space with coefficients in an $L$-theory spectrum. Relaxing the local Poincaré duality to global Poincaré duality produces the assembly map. Exercises: References: \cite{Ranicki1992}, \cite{Kühl&Macko&Mole2011}. </wikitex> ===Surgery obstructions and assembly maps === <wikitex>; Speaker: [[User:Tibor Macko|TM]] Abstract: We generalize the signatures from the second talk in the case when the Poincaré complexes are manifolds to signatures over the categories from the third talk. This produces a map (which turns out to be an isomorphism) from the geometric surgery exact sequence to the algebraic surgery exact sequence. This map identifies the surgery obstruction map with the assembly map. Exercises: [[Chain duality I (Ex)]], [[Chain duality II (Ex)]], [[Chain duality III (Ex)]], [[Chain duality IV (Ex)]], [[Chain duality V (Ex)]], [[Chain duality VI (Ex)]]. References: \cite{Ranicki1992}, \cite{Kühl&Macko&Mole2011}. </wikitex> == The isomorphism conjectures == ===The Isomorphism Conjectures in the torsion-free case === <wikitex>; Speaker :[[User:Lueck|WL]] Abstract: We introduce spectra and how they yield homology theories. We state the Farrell-Jones Conjecture and the Baum-Connes Conjecture for torsion free groups and discuss applications of these conjectures, such as the Kaplansky Conjecture and the Borel Conjecture. We explain that the formulations for torsion free groups cannot extend to arbitrary groups. Exercises: [[Smash product (Ex)]], [[K-groups of oriented surface groups (Ex)]], [[Idempotents in group rings (Ex)]], [[Borel conjecture in dimensions 1 and 2 (Ex)]]. References: \cite{Bartels&Lück&Reich2008}, \cite{Baum&Connes&Higson1994}, \cite{Farrell&Jones1993a}, \cite{Kreck&Lück2009}, \cite{Lück&Reich2006}. </wikitex> ===The Isomorphism Conjectures in general === <wikitex>; Speaker: [[User:Lueck|WL]] Abstract: We introduce classifying spaces for families. We define equivariant homology theories and explain how they can be construced by spectra over groupoids. Then we state the Farrell-Jones Conjecture and the Baum-Connes Conjecture in general. We discuss further applications, such as the Novikov Conjecture. Exercises: [[Classifying spaces for proper group actions (Ex)]], [[Equivariant homology (Ex)]], [[K-group, zeroth II (Ex)]]. References: \cite{Bartels&Lück&Reich2008}, \cite{Bartels&Lück&Weinberger2010}, \cite{Baum&Connes&Higson1994}, \cite{Kreck&Lück2005}, \cite{Lück2002a}, \cite{Lück2002b}, \cite{Lück2005}, \cite{Farrell&Jones1993a}, \cite{Lück&Reich2006}. </wikitex> ===Status and methods of proof; === <wikitex>; Speaker: [[User:Lueck|WL]] Abstract: We give a status report of the Farrell-Jones Conjecture, discuss open cases and the search for potential counterexamples, and briefly survey the methods of proof. References: \cite{Bartels2012}, \cite{Bartels&Farrell&Lück2011}, \cite{Bartels&Lück2012}, \cite{Bartels&Lück&Reich2008a}, \cite{Bartels&Lück&Reich2008}, \cite{Bartels&Lück&Reich&Rueping2012}, \cite{Lück2008a}. </wikitex> == References== {{#RefList:}} [[Category:Bonn THDM 2013]]K_0(R)$. We explain computations for special rings, e.g., fields, complex group rings for finite groups. We state Swan's Theorem which relates the projective class group of the ring $C(X)$$C(X)$ of continuous $\Rr$$\Rr$-valued functions to the Grothendieck group of vector bundles over $X$$X$, if $X$$X$ is a finite $CW$$CW$-complex. We discuss Wall's finiteness obstruction which decides whether a finitely dominated $CW$$CW$-complex is homotopy equivalent to a finite $CW$$CW$-complex and takes values in the projective class group of the integral group ring of the fundamental group.

Exercises: K-group, zeroth (Ex), Finitely dominated CW complexes (Ex).

References: [Lück1987], [Lück1989], [Mislin1995], [Ranicki1985], [Rosenberg1994], [Wall1965a], [Wall1966b].

1.2 K₁ and Whitehead torsion

Speaker: WL

Abstract: We introduce $K_1(R)$$K_1(R)$ and the Whitehead group $\textup{Wh}(G)$$\textup{Wh}(G)$. We define the Whitehead torsion of a homotopy equivalence of finite connected $CW$$CW$-complexes. We discuss the algebraic and topological significance of these notions, in particular the $s$$s$-cobordism theorem. We briefly introduce the surgery program. Finally we introduce negative $K$$K$-theory and the Bass-Heller-Swan decomposition.

Exercises: K-group, first (Ex), Whitehead torsion (Ex), Reidemeister torsion (Ex), K-group, all (Ex).

References: [Cohen1973], [Lück1989], [Lück2002], [Milnor1966], [Ranicki1985a], [Ranicki1987], [Rosenberg1994].

1.3 Normal maps and surgery below the middle dimension

Speaker: SA-F

Abstract: We begin with a discussion of the surgery programme, motivating the definition of a degree one normal map. The surgery method proceeds via a two stage obstruction theory. We will primarily concentrate on the second $L$$L$-theoretic obstruction which corresponds to the question of when a degree one normal map is normal bordant to a homotopy equivalence. Introducing surgery and the surgery step we explain how surgery can always be performed below the middle dimension. If surgery can also be done in the middle dimension Poincaré duality and Whitehead's theorem give us a homotopy equivalence. As we shall see in the next two lectures this cannot always be done...

Exercises:

References: [Ranicki2002, Chapters 1 & 10], [Lück2001, Chapter 3], [Wall1970b, Chapter 1], [Kervaire&Milnor1963], [Browder1972]

1.4 Even dimensional surgery obstruction

Speaker: SA-F

Abstract: We begin by explaining how we cannot necessarily do surgery on an element $x\in \pi_{k+1}(f)$$x\in \pi_{k+1}(f)$ in the middle dimension if $n=2k$$n=2k$ as immersions may not be regularly homotopic to embeddings. For $k\geqslant 3$$k\geqslant 3$ we can do surgery if the self-intersection number of the immersion is trivial. This motivates us to study intersections and self-intersections which leads to the definition of the $Q$$Q$-groups and Wall's $\mu$$\mu$ form. From the geometry we extract the algebraic obstruction to surgery in the middle dimension which lies in the even dimensional $L$$L$-groups. For $k\geqslant 3$$k\geqslant 3$ the surgery obstruction vanishes if and only if we can do finitely many surgeries on our degree one normal map to obtain a degree one normal map covering a homotopy equivalence.

Exercises:

References: [Ranicki2002, Chapter 11], [Lück2001, Chapter 4, 4.1-4.3], [Wall1970b, Chapters 5 & 8]

1.5 Odd dimensional surgery obstruction

Speaker: SA-F

Abstract: We begin by discussing how even though we can always do surgery on an element $x \in \pi_{k+1}(f)$$x \in \pi_{k+1}(f)$ for $n= 2k+1$$n= 2k+1$ the surgery does not necessarily make the surgery kernel smaller as different choices of framing have different results. We discuss Heegaard splittings and from the geometry motivate the definition of quadratic formations. We introduce the kernel formation associated to a Heegaard splitting of a degree one normal map and the notion of a presentation. We characterise algebraically when we can do surgery to kill $\pi_*(f)$$\pi_*(f)$ and this leads to the definition of the odd-dimensional $L$$L$-groups; in dimensions at least five the surgery obstruction vanishes if and only if our degree one normal map is normal bordant to a homotopy equivalence.

Exercises:

References: [Ranicki2002, Chapter 12], [Lück2001, Chapter 4, 4.4-4.6], [Wall1970b, Chapters 6-7], [Wall1963], [Novikov1970], [Ranicki1973]

1.6 The geometric surgery exact sequence

Speaker: SA-F

Abstract: We begin with a discussion of Wall realisation: if we permit ourselves to consider manifolds with boundary then every surgery obstruction can be realised. We then reach the culmination of the classical surgery programme, namely the surgery exact sequence - the main theoretical tool for the classification of high-dimensional manifolds. We also discuss the simple surgery exact sequence.

Exercises:

References: [Ranicki2002, Chapter 13], [Lück2001, Chapter 5]

2 Surgery on smooth manifolds

2.1 Homotopy spheres and other examples

Speaker: DC

Abstract:

Exercises:

References:

2.2 Smoothing and surgery

Speaker: DC

Abstract:

Exercises:

References:

2.3 Classifying spaces for surgery

Speaker: DC

Abstract:

Exercises:

References:

2.4 The Kervaire invariant in surgery

Speaker: DC

Abstract:

Exercises:

References:

3 Algebraic L-theory

3.1 L-groups via chain complexes

Speaker: TM

Abstract: We introduce symmetric and quadratic structures on chain complexes which are analogues of symmetric and quadratic forms on modules. A non-degeneracy condition yields Poincaré complexes. Further we generalize to structures on chain maps obtaining the notion of a symmetric pair and a quadratic pair and a non-degeneracy assumption on these produces the notion of a cobordism of symmetric and quadratic Poincaré complexes. Cobordism classes then define the promised $L$$L$-groups. We introduce the technique of algebraic surgery which is the main tool in showing that the $L$$L$-groups defined via chain complexes agree with the $L$$L$-groups defined via forms and formations.

Exercises: Equivariant maps (Ex), Structured chain complexes (Ex), Structured chain complexes II (Ex), Structured chain complexes III (Ex).

References: [Ranicki1980], [Ranicki1980a], [Ranicki2002a], [Kühl&Macko&Mole2011], [Crowley&Lück&Macko2013, Chapter 8].

3.2 Signatures

Speaker: TM

Abstract: We first show that an $n$$n$-dimensional geometric Poincaré complex defines an $n$$n$-dimensional Poincaré symmetric structure on its singular chain complex. Its class in an appropriate $L$$L$-group is called the symmetric signature of that complex. Secondly we show that a degree one normal map between $n$$n$-dimensional geometric Poincaré complexes defines an $n$$n$-dimensional Poincaré quadratic structure on the mapping cone of the Umkehr map, again its class in an appropriate $L$$L$-group is called the quadratic signature of that map. To obtain it, we introduce the suspension of a symmetric complex and of a quadratic complex and using it we state a condition for refining symmetric structures to quadratic structures. We use $S$$S$-duality from stable homotopy theory to see that the condition is fulfilled for such a degree one normal map. In case our Poincaré complexes are manifolds the resulting complex represents the surgery obstruction in the $L$$L$-group.

Exercises: Structured chain complexes IV (Ex), Boundaries of symmetric complexes (Ex), S-duality III (Ex).

References: [Ranicki1980], [Ranicki1980a], [Ranicki2002a], [Kühl&Macko&Mole2011], [Crowley&Lück&Macko2013, Chapter 8] and [Browder1972, I §4] for S-duality; see also [Adams1974], [Switzer2002, Ch.14].

3.3 L-groups of categories and assembly maps

Speaker: TM

Abstract: We generalize the notions from the first two talks to complexes over an arbitrary additive category with chain duality. We define such a chain duality on the category of modules over a simplicial complex. This yields on one hand a construction of the $L$$L$-spectra. On the other hand imposing a certain local Poincaré condition produces homology of a space with coefficients in an $L$$L$-theory spectrum. Relaxing the local Poincaré duality to global Poincaré duality produces the assembly map.

Exercises:

References: [Ranicki1992], [Kühl&Macko&Mole2011].

3.4 Surgery obstructions and assembly maps

Speaker: TM

Abstract: We generalize the signatures from the second talk in the case when the Poincaré complexes are manifolds to signatures over the categories from the third talk. This produces a map (which turns out to be an isomorphism) from the geometric surgery exact sequence to the algebraic surgery exact sequence. This map identifies the surgery obstruction map with the assembly map.

Exercises: Chain duality I (Ex), Chain duality II (Ex), Chain duality III (Ex), Chain duality IV (Ex), Chain duality V (Ex), Chain duality VI (Ex).

References: [Ranicki1992], [Kühl&Macko&Mole2011].

4 The isomorphism conjectures

4.1 The Isomorphism Conjectures in the torsion-free case

Speaker :WL

Abstract: We introduce spectra and how they yield homology theories. We state the Farrell-Jones Conjecture and the Baum-Connes Conjecture for torsion free groups and discuss applications of these conjectures, such as the Kaplansky Conjecture and the Borel Conjecture. We explain that the formulations for torsion free groups cannot extend to arbitrary groups.

Exercises: Smash product (Ex), K-groups of oriented surface groups (Ex), Idempotents in group rings (Ex), Borel conjecture in dimensions 1 and 2 (Ex).

References: [Bartels&Lück&Reich2008], [Baum&Connes&Higson1994], [Farrell&Jones1993a], [Kreck&Lück2009], [Lück&Reich2006].

4.2 The Isomorphism Conjectures in general

Speaker: WL

Abstract: We introduce classifying spaces for families. We define equivariant homology theories and explain how they can be construced by spectra over groupoids. Then we state the Farrell-Jones Conjecture and the Baum-Connes Conjecture in general. We discuss further applications, such as the Novikov Conjecture.

Exercises: Classifying spaces for proper group actions (Ex), Equivariant homology (Ex), K-group, zeroth II (Ex).

References: [Bartels&Lück&Reich2008], [Bartels&Lück&Weinberger2010], [Baum&Connes&Higson1994], [Kreck&Lück2005], [Lück2002a], [Lück2002b], [Lück2005], [Farrell&Jones1993a], [Lück&Reich2006].

4.3 Status and methods of proof;

Speaker: WL

Abstract: We give a status report of the Farrell-Jones Conjecture, discuss open cases and the search for potential counterexamples, and briefly survey the methods of proof.

References: [Bartels2012], [Bartels&Farrell&Lück2011], [Bartels&Lück2012], [Bartels&Lück&Reich2008a], [Bartels&Lück&Reich2008], [Bartels&Lück&Reich&Rueping2012], [Lück2008a].

5 References

• [Adams1974] J. F. Adams, Stable homotopy and generalised homology, University of Chicago Press, Chicago, Ill., 1974. MR0402720 (53 #6534) Zbl 0309.55016
• [Bartels&Farrell&Lück2011] A. Bartels, F. Farrell and W. Lück, The Farrell-Jones Conjecture for cocompact lattices in virtually connected Lie groups, (2011). Available at the arXiv:1101.0469v1.
• [Bartels&Lück&Reich&Rueping2012] A. Bartels, W. Lück, H. Reich and H. Rueping, K- and L-theory of group rings over GL_n(Z). To appear in Publ. Math. IHES, (2012). Available at the arXiv:1204.2418.
• [Bartels&Lück&Reich2008] A. Bartels, W. Lück and H. Reich, On the Farrell-Jones Conjecture and its applications, Journal of Topology 1 (2008), 57–86. MR2365652 (2008m:19001) Zbl 1141.19002
• [Bartels&Lück&Reich2008a] A. Bartels, W. Lück and H. Reich, The $K$$K$-theoretic Farrell-Jones conjecture for hyperbolic groups, Invent. Math. 172 (2008), no.1, 29–70. MR2385666 (2009c:19002) Zbl 1143.19003
• [Bartels&Lück&Weinberger2010] A. Bartels, W. Lück and S. Weinberger, On hyperbolic groups with spheres as boundary, J. Differential Geom. 86 (2010), no.1, 1–16. MR2772544 (2012b:57003) Zbl 1216.53043
• [Bartels&Lück2012] A. Bartels and W. Lück, The Borel conjecture for hyperbolic and CAT(0)-groups., Ann. of Math. (2) 175 (2012), 631–689. MR2993750 Zbl 06025000
• [Bartels2012] A. Bartels, On proofs of the Farrell-Jones Conjecture, (2012). Available at the arXiv:1210.1044.
• [Baum&Connes&Higson1994] P. Baum, A. Connes and N. Higson, Classifying space for proper actions and $K$$K$-theory of group $C^\ast$$C^\ast$-algebras, In $C^\ast$$C^\ast$-algebras: 1943–1993 (San Antonio, TX 1993), (1994), 240–291. MR1292018 (96c:46070) Zbl 0830.46061
• [Browder1972] W. Browder, Surgery on simply-connected manifolds, Springer-Verlag, New York, 1972. MR0358813 (50 #11272) Zbl 0543.57003
• [Cohen1973] M. M. Cohen, A course in simple-homotopy theory, Springer-Verlag, New York, 1973. MR0362320 (50 #14762) Zbl 0261.57009
• [Crowley&Lück&Macko2013] D. Crowley, W. Lück and T. Macko, Sugery Theory, Part I, in preparation, Bonn 2013.
• [Farrell&Jones1993a] F. T. Farrell and L. E. Jones, Isomorphism conjectures in algebraic $K$$K$-theory, J. Amer. Math. Soc. 6 (1993), no.2, 249–297. MR1179537 (93h:57032) Zbl 0798.57018
• [Kervaire&Milnor1963] M. A. Kervaire and J. W. Milnor, Groups of homotopy spheres. I, Ann. of Math. (2) 77 (1963), 504–537. MR0148075 (26 #5584) Zbl 0115.40505
• [Kreck&Lück2005] M. Kreck and W. Lück, The Novikov conjecture, Birkhäuser Verlag, Basel, 2005. MR2117411 (2005i:19003) Zbl 1058.19001
• [Kreck&Lück2009] M. Kreck and W. Lück, Topological rigidity for non-aspherical manifolds, Pure Appl. Math. Q. 5 (2009), no.3, Special Issue: In honor of Friedrich Hirzebruch., 873–914. MR2532709 (2010g:57026) Zbl 1196.57018
• [Kühl&Macko&Mole2011] P. Kuehl, T. Macko and A. Mole, The total surgery obstruction revisited, (2011). Available at the arXiv:1104.5092.
• [Lück&Reich2006] W. Lück and H. Reich, Detecting $K$$K$-theory by cyclic homology, Proc. London Math. Soc. (3) 93 (2006), no.3, 593–634. MR2266961 (2007h:19008) Zbl 1116.19002
• [Lück1987] W. Lück, The geometric finiteness obstruction, Proc. London Math. Soc. (3) 54 (1987), no.2, 367–384. MR872812 (88i:57007) Zbl 0626.57011
• [Lück1989] W. Lück, Transformation groups and algebraic $K$$K$-theory, LNM, 1408, Springer-Verlag, 1989. MR1027600 (91g:57036) Zbl 0709.57024
• [Lück2001] W. Lück, A basic introduction to surgery theory, 9 (2001), 1–224. Available from the author's homepage. MR1937016 (2004a:57041) Zbl 1045.57020
• [Lück2002] W. Lück, $L^2$$L^2$-invariants: theory and applications to geometry and $K$$K$-theory, Springer-Verlag, Berlin, 2002. MR1926649 (2003m:58033) Zbl 1009.55001
• [Lück2002a] W. Lück, Chern characters for proper equivariant homology theories and applications to $K$$K$- and $L$$L$-theory, J. Reine Angew. Math. 543 (2002), 193–234. MR1887884 (2003a:19003) Zbl 0987.55008
• [Lück2002b] W. Lück, The relation between the Baum-Connes conjecture and the trace conjecture, Invent. Math. 149 (2002), no.1, 123–152. MR1914619 (2003f:19005) Zbl 1035.19003
• [Lück2005] W. Lück, Survey on classifying spaces for families of subgroups, Infinite groups: geometric, combinatorial and dynamical aspects, Progr. Math., 248, Birkhäuser, Basel (2005), 269–322. MR2195456 (2006m:55036) Zbl 1117.55013
• [Lück2008a] W. Lück, Survey on geometric group theory, Münster J. Math. 1 (2008), 73–108. MR2502495 (2010a:20092) Zbl 1197.20036
• [Milnor1966] J. Milnor, Whitehead torsion, Bull. Amer. Math. Soc. 72 (1966), 358–426. MR0196736 (33 #4922) Zbl 0147.23104
• [Mislin1995] G. Mislin, Wall's finiteness obstruction, Handbook of algebraic topology, North-Holland, Amsterdam, (1995), 1259–1291. MR1361911 (97g:57029) Zbl 0870.57030
• [Novikov1970] S. P. Novikov, Algebraic construction and properties of Hermitian analogs of $K$$K$-theory over rings with involution from the viewpoint of Hamiltonian formalism. Applications to differential topology and the theory of characteristic classes. I. II, Math. USSR-Izv. 4 (1970), 257–292; ibid. 4 (1970), 479–505; translated from Izv. Akad. Nauk SSSR Ser. Mat. 34 (1970), 253–288; ibid. 34 (1970), 475. MR0292913 (45 #1994) Zbl 0216.45003 Zbl 0233.57009
• [Ranicki1973] A. A. Ranicki, Algebraic $L$$L$-theory. I. Foundations, Proc. London Math. Soc. (3) 27 (1973), 101–125. MR0414661 (54 #2760a) Zbl 1256.19004
• [Ranicki1980] A. Ranicki, The algebraic theory of surgery. I. Foundations, Proc. London Math. Soc. (3) 40 (1980), no.1, 87–192. MR560997 (82f:57024a) Zbl 0471.57012
• [Ranicki1980a] A. Ranicki, The algebraic theory of surgery. II. Applications to topology, Proc. London Math. Soc. (3) 40 (1980), no.2, 193–283. MR566491 (82f:57024b) Zbl 0471.57012
• [Ranicki1985] A. Ranicki, The algebraic theory of finiteness obstruction, Math. Scand. 57 (1985), no.1, 105–126. MR815431 (87d:18014) Zbl 0589.57018
• [Ranicki1985a] A. Ranicki, The algebraic theory of torsion. I. Foundations, Algebraic and geometric topology (New Brunswick, N.J., 1983), Lecture Notes in Math., 1126, Springer (1985), 199–237. MR802792 (87a:18017) Zbl 0591.18007
• [Ranicki1987] A. Ranicki, The algebraic theory of torsion. II. Products, $K$$K$-Theory 1 (1987), no.2, 115–170. MR899919 (89f:18008) Zbl 0591.18007
• [Ranicki1992] A. A. Ranicki, Algebraic $L$$L$-theory and topological manifolds, Cambridge University Press, 1992. MR1211640 (94i:57051) Zbl 0767.57002
• [Ranicki2002] A. Ranicki, Algebraic and geometric surgery, The Clarendon Press Oxford University Press, Oxford, 2002. MR2061749 (2005e:57075) Zbl 1003.57001
• [Ranicki2002a] A. Ranicki, Foundations of algebraic surgery, Topology of high-dimensional manifolds, No. 1, 2 (Trieste, 2001), Abdus Salam Int. Cent. Theoret. Phys., Trieste (2002), 491–514. MR1937022 (2004a:57042) Zbl 0471.57010
• [Rosenberg1994] J. Rosenberg, Algebraic $K$$K$-theory and its applications, Graduate Texts in Mathematics, 147, Springer-Verlag, 1994. MR1282290 (95e:19001) Zbl 0801.19001
• [Switzer2002] R. M. Switzer, Algebraic topology - homotopy and homology, Classics in Mathematics. Reprint of the 1975 original, Springer-Verlag, 2002. MR1886843 Zbl 0629.55001
• [Wall1963] C. T. C. Wall, Quadratic forms on finite groups, and related topics, Topology 2 (1963), 281–298. MR0156890 (28 #133) Zbl 0215.39903
• [Wall1965a] C. T. C. Wall, Finiteness conditions for $CW$$CW$-complexes, Ann. of Math. (2) 81 (1965), 56–69. MR0171284 (30 #1515) Zbl 0152.21902
• [Wall1966b] C. T. C. Wall, Finiteness conditions for $CW$$CW$ complexes. II, Proc. Roy. Soc. Ser. A 295 (1966), 129–139. MR0211402 (35 #2283)Zbl 0152.21902
• [Wall1970b] C. T. C. Wall, Surgery on compact manifolds, Academic Press, London, 1970. MR0431216 (55 #4217) Zbl 0935.57003