Irakli Patchkoria

On the Farrell-Tate K-theory of Out(F_n)

The classical Farrell-Tate cohomology measures the failure of duality in group (co)homology. Brown in 70s gave a general method for computing the p-local part of the Farrell-Tate cohomology. Using Brown’s methods Farrell-Tate cohomology has been computed for various arithmetic groups, mapping class groups and Out(F_n)-s, outer automorphism groups of Free groups. Later Klein introduced generalised Farrell-Tate cohomology with coefficients in an arbitrary spectrum. In this project we investigate the Farrell-Tate K-theory of Out(F_n). We will show that for any discrete group with finite classifying space for proper actions, the p-adic Farrell-Tate K-theory is rational. Then using Lück’s Chern character, we will give a general formula for the p-adic Farrell-Tate K-theory in terms of centralisers. In particular, we apply this formula to Out(F_{p+1}) which has curious p-torsion behaviour: It has exactly one conjugacy class of a p-torsion element which does not come from Aut(F_{p+1}). Computing the rational cohomology of the centraliser of this element allows us to fully compute the p-adic Farrell-Tate K-theory of Out(F_{p+1}). As a consequence we show for example that the 11-adic Farrell-Tate K-theory of Out(F_{12}) is non-trivial, thus detecting a non-trivial class in odd K-theory of Out(F_{12}) without using any computer calculations. This is joint work with Naomi Andrew.