Title:

Ltheory, Ktheory and involutions

In Part 1, we consider two descriptions of Lhomology of a (polyhedron of a) simplicial complex X. The classical approach of Ranicki via (Z,X)modules (cf. [Ran92]) iswell established and is used in Ranicki’s definition of the total surgery obstruction and his formulation of the algebraic surgery exact sequence (cf. [Ran79], [Ran92],[KMM]). This connection between algebraic surgery and geometric surgery has numerous applications in the theory of (highdimensional) manifolds. The approach described in [RW10] uses a category of homotopy complexes of cosheaves to construct for a manifold M a (rational) orientation class [M]L• in symmetric Lhomology which is topologically invariant per construction. This is used to reprove the topological invariance of rational Pontryagin classes. The Ltheory of the category of homotopy complexes of sheaves over an ENR X can be naturally identified with Lhomology of X. If X is a simplicial complex, both definitions give Lhomology, there is no direct comparison however. We close this gap by constructing a functor from the category of (Z,X)modules to the category of homotopy cosheaves of chain complexes of RanickiWeiss inducing an equivalence on Ltheory. The work undertaken in Part 1 may be considered as an addendum to [RW10] and suggests some translation of ideas of [Ran92] into the language of [RW10]. Without significant alterations, this work may be generalised to the case of X being a △set. The Ltheory of △sets is considered in [RW12]. Let A be a unital ring and I a category with objects given by natural numbers and two kinds of morphisms mn → n satisfying certain relations (see Ch.3.4). There is an Idiagram, given by n 7→ ˜K (A[x]/xn) where the tilde indicates the homotopy fiber of the projection induced map on algebraic Ktheory (of free modules) K(A[x]/xn) → K(A). In Part 2 we consider the following result by Betley and Schlichtkrull [BS05]. After completion there is an equivalence of spectra TC(A)∧ ≃ holim I ˜K(A[x]/xn)∧ where TC(A) is the topological cyclic homology of A. This is a very important invariant of Ktheory (cf. [BHM93], [DGM12]) and comes with the cyclotomic trace map tr : K(A) → TC(A). In [BS05], the authors prove that under the above identification the trace map corresponds to a “multiplication” with an element u∞ ∈ holim I ˜K (Z[x]/xn). In this work we are interested in a generalisation of this result. We construct an element u∞ ∈ holim I ˜K(Cn). where Cn can be viewed as the category of freemodules over the nilpotent extension S[x]/xn of the sphere spectrum S. Let G be a discrete group and S[G] its spherical group ring. Using our lift of u∞ we construct a map trBS : K(S[G]) → holim I ˜K (CG n ) where CG n should be interpreted as the category of free modules over the extension S[G][x]/xn. After linearisation this map coincides with the trace map constructed by Betley and Schlichtkrull. We conjecture but do not prove, that after completion the domain coincides with the topological cyclic homology of S[G]. Some indication is given at the end of the final chapter. To construct the element u∞ we rely on a generalisation of a result of Grayson on the Ktheory of endomorphisms (cf. [Gra77]). Denote by EndC the category of endomorphisms of finite CWspectra and by RC the Waldhausen category of free CWspectra with an action of N, which are finite in the equivariant sense. Cofibrations are given by cellular inclusions and weak equivalences are given bymaps inducing an equivalence of (reduced) cellular chain complexes of Z[x]modules, after inverting the set {1 + xZ[x]}. In Chapter 5 we prove (5.8) that there is a homotopy equivalence of spectra ˜K (EndC) ≃ ˜K (RC). where tildes indicate that homotopy fibres of the respective projections are considered. Furthermore, we pursue the goal of constructing an involutive tracemap for themodel of [BS05]. We employ the framework ofWaldhausen categories with duality (cf. [WW98]) to introduce for any G involutions on holim I ˜K (CG n ). We give enough indication for our trace map being involutive, in particular in the last three sections of Chapter 5, we sketch how the generalisation of the theoremof Grayson (5.8) can be improved to an involutive version. In the final chapter, we develop this further. Assuming that the element u∞ ∈ holim I ˜K (Cn) is a homotopy fixed point of the introduced involution, we construct a map from quadratic Ltheory of S[G] to the Tate homology spectrum of Z/2 acting on the fibre of trBS (see 6.9) : L•(S[G]) → (hofib(trBS))thZ/2 and discuss the connection of this to a conjecture of Rognes andWeiss. The two parts of the thesis are preluded with their own introduction andmay be read independently. The fewcross references are completely neglectible.
