We present the status of the Farrell-Jones Conjecture for algebraic K-theory for a group G and arbitrary coefficient rings R. We add new groups for which the conjecture is known to be true and study inheritance properties. We discuss new applications, focussing on the Bass Conjecture, the Kaplansky Conjecture and conjectures generalizing Moody's Induction Theorem. Thus we extend the class of groups for which these conjectures are known considerably.
We introduce the Farrell-Jones Conjecture with coefficients in an additive category with G-action. This is a variant of the Farrell-Jones Conjecture about the algebraic K- or L-Theory of a group ring RG. It allows to treat twisted group rings and crossed product rings. The conjecture with coefficients is stronger than the original conjecture but it has better inheritance properties. Since known proofs using controlled algebra carry over to the set-up with coefficients we obtain new results about the original Farrell-Jones Conjecture. The conjecture with coefficients implies the fibered version…
In this note, we prove the K- and L-theoretic Farrell-Jones Conjecture with coefficients in an additive category for fundamental groups of graphs of virtually cyclic groups.
These extended notes are based on a series of six lectures presented at the summer school ``Cohomology of groups and algebraic $K$-theory'' which took place in Hangzhou, China from July 1 until July 12 in 2007. They give an introduction to the Farrell-Jones and the Baum-Connes Conjecture.
We prove the K- and the $L$-theoretic Farrell-Jones conjecture with coefficients in additive categories and with finite wreath products for arbitrary lattices in virtually connected Lie groups.
We give a survey of the meaning, status and applications of the Baum-Connes Conjecture about the topological K-theory of the reduced group C^*-algebra and the Farrell-Jones Conjecture about the algebraic K- and L-theory of the group ring of a (discrete) group G.
We use the controlled algebra approach to study the problem that whether the Farrell-Jones conjecture is closed under passage to over-groups of finite indices. Our study shows that this problem is closely related to a general problem in algebraic $K$- and $L$-theories. We use induction theory to study this general problem. This requires an extension of the classical induction theorem for $K$- and $L$- theories of finite groups with coefficients in rings to with twisted coefficients in additive categories. This extension is well-known to experts, but a detailed proof does not exist in the liter…
Let G be a group and k a field of characteristic zero. We prove that if the Farrell-Jones conjecture for the K-theory of R[G] is satisfied for every smooth k-algebra R, then it is also satisfied for every commutative k-algebra R.
We prove the Farrell-Jones Conjecture for mapping tori of automorphisms of virtually torsion-free hyperbolic groups. The proof uses recently developed geometric methods for establishing the Farrell-Jones Conjecture by Bartels-Lück-Reich, as well as the structure theory of mapping tori by Dahmani-Krishna.
This paper contains the results of my PhD-thesis. I will show the K- and L-theoretic Farrell-Jones conjecture (FJC) for the general linear groups over the rationals and over the rational functions over a finite field. This especially implies the conjecture for all S-arithmetic groups.
We prove the Farrell-Jones Conjecture for algebraic K-theory of spaces for virtually poly-Z-groups. For this, we transfer the 'Farrell-Hsiang method' from the linear case to categories of equivariant, controlled retractive spaces.
We construct a Dirac morphism and prove that if this Dirac morphism is invertible, then the isomorphism conjecture for non-connective algebraic K-theory holds true.
We prove the Farrell-Jones Isomorphism Conjecture about the algebraic K-theory of a group ring RG in the case where the group G is the fundamental group of a closed Riemannian manifold with strictly negative sectional curvature. The coefficient ring R is an arbitrary associative ring with unit and the result applies to all dimensions.
We show that contracting self-similar groups satisfy the Farrell-Jones conjectures as soon as their universal contracting cover is non-positively curved. This applies in particular to bounded self-similar groups. We define, along the way, a general notion of contraction for groups acting on a rooted tree in a not necessarily self-similar manner.
Assuming the classical Farrell-Jones conjecture we produce an explicit (commutative) group ring $R$ and a thick subcategory $\mathsf{C}$ of perfect $R$-complexes such that the Waldhausen $K$-theory space $\mathrm{K}(\mathsf{C})$ is equivalent to a rational Eilenberg-Maclane space.
We prove the $K$- and $L$-theoretic Farrell-Jones Conjecture with coefficients in an additive category for every normally poly-free group, in particular for even Artin groups of FC-type, and for all groups of the form $A\rtimes \mathbb{Z}$ where $A$ is a right-angled Artin group. Our proof relies on the work of Bestvina-Fujiwara-Wigglesworth on the Farrell--Jones Conjecture for free-by-cyclic groups.
In this paper, we prove the K-theoretical and L-theoretical Farrell-Jones Conjecture with coefficients in an additive category for nearly crystallographic groups of the form $\mathbb{Q}^n \rtimes \mathbb{Z}$, where $\mathbb{Z}$ acts on $\mathbb{Q}^n$ as an irreducible integer matrix with determinant $d$, $|d |>1$.
We prove the A-theoretic Farrell-Jones Conjecture for virtually solvable groups. As a corollary, we obtain that the conjecture holds for S-arithmetic groups and lattices in almost connected Lie groups.
We prove the Farrell-Jones Conjecture for (non-connective) $A$-theory with coefficients and finite wreath products for hyperbolic groups, CAT(0)-groups, cocompact lattices in almost connected Lie groups and fundamental groups of manifolds of dimension less or equal to three. Moreover, we prove inheritance properties such as passing to subgroups, colimits of direct systems of groups, finite direct products and finite free products. These results hold also for Whitehead spectra and spectra of stable pseudo-isotopies in the topological, piecewise linear and smooth category.
We show that for groups acting acylindrically on simplicial trees the $K$- and $L$-theoretic Farrell-Jones Conjecture relative to the family of subgroups consisting of virtually cyclic subgroups and all subconjugates of vertex stabilisers holds. As an application, for amalgamated free products acting acylindrically on their Bass-Serre trees we obtain an identification of the associated Waldhausen Nil-groups with a direct sum of Nil-groups associated to certain virtually cyclic groups. This identification generalizes a result by Lafont and Ortiz. For a regular ring and a strictly acylindrical a…
In this article we study a coarse version of the K-theoretic Farrell-Jones conjecture we call coarse or bounded isomorphism conjecture. With techniques that have already been used to prove the Farrell-Jones conjecture for hyperbolic groups we are able to verify the bounded isomorphism conjecture for spaces of graphs with large girth and bounded geometry.
In this article we study a coarse version of the $K$-theoretic Farrell--Jones conjecture we call coarse or bounded isomorphism conjecture. Using controlled category theory we are able to translate this conjecture for asymptotically faithful covers into a more familiar form. This allows us to prove the conjecture for box spaces of residually finite groups whose Farrell--Jones assembly map with coefficients is an isomorphism.
We discuss an analogon to the Farrell-Jones Conjecture for homotopy algebraic K-theory. In particular, we prove that if a group G acts on a tree and all isotropy groups satisfy this conjecture, then G satisfies this conjecture. This result can be used to get rational injectivity results for the assembly map in the Farrell-Jones Conjecture in algebraic K-theory.
We provide two simple proofs of the fact that even Artin groups of FC-type are poly-free which was recently established by R. Blasco-Garcia, C. Martínez-Pérez and L. Paris. More generally, let $Γ$ be a finite simplicial graph with all edges labelled by positive even integers and $A_Γ$ be its associated Artin group; our new proof implies that if $A_T$ is poly-free (resp. normally poly-free) for every clique $T$ in $Γ$, then $A_Γ$ is poly-free (resp. normally poly-free). We prove similar results regarding the Farrell--Jones Conjecture for even Artin groups. In particular, we show that if $A_Γ$ i…
We study the Farrell-Jones Conjecture with coefficients in an additive G-category with involution. This is a variant of the L-theoretic Farrell-Jones Conjecture which originally deals with group rings with the standard involution. We show that this formulation of the conjecture can be applied to crossed product rings R*G equipped with twisted involutions and automatically implies the a priori more general fibered version.
We investigate when Isomorphism Conjectures, such as the ones due to Baum-Connes, Bost and Farrell-Jones, are stable under colimits of groups over directed sets (with not necessarily injective structure maps). We show in particular that both the K-theoretic Farrell-Jones Conjecture and the Bost Conjecture with coefficients hold for those groups for which Higson, Lafforgue and Skandalis have disproved the Baum-Connes Conjecture with coefficients.
We show how the existing proof of the Farrell-Jones Conjecture for virtually poly-$\mathbb{Z}$-groups can be improved to rely only on the usual inheritance properties in combination with transfer reducibility as a sufficient criterion for the validity of the conjecture.
We prove that the Waldhausen Nil-group associated to a virtually cyclic groups that surjects onto the infinite dihedral group vanishes if and only if the corresponding Farrell Nil-group associated to the canonical index two subgroup is trivial. The proof uses the transfer map to establish one direction, and uses controlled pseudo-isotopy techniques of Farrell-Jones to establish the reverse implication.
We show that the Fibered Isomorphism Conjecture (FIC) of Farrell and Jones corresponding to the stable topological pseudoisotopy functor is true for the fundamental groups of a large class of 3-manifolds. We also prove that if the FIC is true for irreducible 3-manifold groups then it is true for all 3-manifold groups. In fact, this follows from a more general result we prove here, namely we show that if the FIC is true for each vertex group of a graph of groups with trivial edge groups then the FIC is true for the fundamental group of the graph of groups. This result is part of a program to pr…
In this paper, we provide number-theoretic formulas for Farrell-Tate cohomology for SL\_2 over rings of S-integers in number fields satisfying a weak regularity assumption. These formulas describe group cohomology above the virtual cohomological dimension, and can be used to study some questions in homology of linear groups. We expose three applications, to (I) detection questions for the Quillen conjecture,(II) the existence of transfers for the Friedlander--Milnor conjecture,(III) cohomology of SL\_2 over number fields.
We call a group FJ if it satisfies the $K$- and $L$-theoretic Farrell-Jones conjecture with coefficients in $\mathbb Z$. We show that if $G$ is FJ, then the simple Borel conjecture (in dimensions $\ge 5$) holds for every group of the form $G\rtimes\mathbb Z$. If in addition $Wh(G\times \mathbb Z)=0$, which is true for all known torsion free FJ groups, then the bordism Borel conjecture (in dimensions $n\ge 5$) holds for $G\rtimes\mathbb Z$. One of the key ingredients in proving these rigidity results is another main result, which says that if a torsion free group $G$ satisfies the $L$-theoretic…
The K-theoretic Farrell-Jones isomorphism conjecture for a group ring $R[G]$ has been proved for several groups. The toolbox for proving the Farrell-Jones conjecture for a given group depends on some geometric properties of the group as it is the case of hyperbolic groups. The technique used to prove it for hyperbolic groups $G$ relies in the concept of an $N$-transfer space endowed with a $G$ action. In this work, we give an explicit construction of a $1$-transfer space.
We prove that the Fibered Isomorphism Conjecture of T. Farrell and L. Jones holds for various mapping class groups. In many cases, we explicitly calculate the lower algebraic K-groups, showing that they do not always vanish.
We prove that the Waldhausen nilpotent class group of an injective index 2 amalgamated free product is isomorphic to the Farrell-Bass nilpotent class group of a twisted polynomial extension. As an application, we show that the Farrell-Jones Conjecture in algebraic K-theory can be sharpened from the family of virtually cyclic subgroups to the family of finite-by-cyclic subgroups.
In this short note we prove that the Farrell-Jones Fibered Isomorphism Conjecture in L-theory, after inverting 2, is true for a group whose some derived subgroup is free.
We define asymptotic transfers in bounded K-theory together with a context where this can be done in great generality. Controlled algebra plays a central role in many advances in geometric topology, including recent work on Novikov, Borel, and Farrell-Jones conjectures. One of the features that appears in various manifestations throughout the subject, starting with the original work of Farrell and Jones, is an asymptotic transfer whose meaning and construction depend on the geometric circumstances. We first develop a general framework that allows us to construct a version of asymptotic transfe…
This note surveys axiomatic results for the Farrell-Jones Conjecture in terms of actions on Euclidean retracts and applications of these to GL_n(Z), relative hyperbolic groups and mapping class groups.
We show that the holomorph of the free group on two generators satisfies the Farrell-Jones Fibered Isomorphism Conjecture. As a consequence, we show that the lower K-theory of the above group vanishes.
In this paper we show that the Farrell-Jones isomorphism conjectures are inherited in group extensions for assembly maps in algebraic $K$-theory and $L$-theory with twisted coefficients.
We develop an Eilenberg-Moore spectral sequence to compute Bredon cohomology of spaces with an action of a group given as a pullback. Using several other spectral sequences, and positive results on the Baum-Connes Conjecture, we are able to compute Equivariant K-theory and K-Homology of the reduced group C*-algebra of a 6-dimensional crystallographic group $Γ$ introduced by Vafa and Witten. We also use positive results on the Farrell-Jones Conjecture to give a vanishing result for the negative algebraic K-theory of the integral group ring of $Γ$.
We prove the Farrell-Jones fibered isomorphism conjecture for several classes of Artin groups of finite and affine types. As a consequence, we compute explicitly the surgery obstruction groups of the finite type pure Artin groups.
We use controlled topology applied to the action of the infinite dihedral group on a partially compactified plane and deduce two consequences for algebraic K-theory. The first is that the family in the K-theoretic Farrell-Jones conjecture can be reduced to only those virtually cyclic groups which admit a surjection with finite kernel onto a cyclic group. The second is that the Waldhausen Nil groups for a group which maps epimorphically onto the infinite dihedral group can be computed in terms of the Farrell-Bass Nil groups of the index two subgroup which maps surjectively to the infinite cycli…
Consider a totally disconnected group G, which is covirtually cyclic, i.e., contains a normal compact open subgroup L such that G/L is infinite cyclic. We establish a Wang sequence, which computes the algebraic K-groups of the Hecke algebra of G in terms of the one of L, and show that all negative K-groups vanish. This confirms the K-theoretic Farrell-Jones Conjecture for the Hecke algebra of G in this special case. Our ultimate long term goal is to prove it for any closed subgroup of any reductive p-adic group. The results of this paper will play a role in the final proof.
For a countable discrete group $G$, we construct a new and concrete model for the equivariant topological $K$-homology theory of $G$, which is defined for all $G$-actions, not just for proper $G$-actions. The construction of our model combines some of the ideas from the localization algebra approach to the coarse Baum-Connes conjecture and the controlled algebra approach to the Farrell-Jones conjecture. It brings new ideas into the study of the Baum-Connes conjecture. First, as the model is defined for all $G$-actions, we are able to define relative assembly maps. We prove, by using an inducti…
The Farrell-Jones and the Baum-Connes Conjecture say that one can compute the algebraic K- and L-theory of the group ring and the topological K-theory of the reduced group C^*-algebra of a group G in terms of these functors for the virtually cyclic subgroups or the finite subgroups of G. By induction theory we want to reduce these families of subgroups to a smaller family, for instance to the family of subgroups which are either finite hyperelementary or extensions of finite hyperelementary groups with infinite cyclic kernel or to the family of finite cyclic subgroups. Roughly speaking, we ext…
We compute the group homology, the topological K-theory of the reduced C^*-algebra, the algebraic K-theory and the algebraic L-theory of the group ring of the semi-direct product of the three-dimensional discrete Heisenberg group by Z/4. These computations will follow from the more general treatment of a certain class of groups G which occur as extensions 1-->K-->G-->Q-->1 of a torsionfree group K by a group Q which satisfies certain assumptions. The key ingredients are the Baum-Connes and Farrell-Jones Conjectures and methods from equivariant algebraic topology.
We introduce a new spectral sequence called the p-chain spectral sequence which converges to the (co-)homology of a contravariant C-space with coefficients in a covariant C-spectrum for a small category C. It is different from the corresponding Atiyah-Hirzebruch type spectral sequence. It can be used in combination with the Isomorphism Conjectures of Baum-Connes and Farrell-Jones to compute algebraic K- and L-groups of group rings and topological K-groups of reduced group C*-algebras.
We study the Fibered Isomorphism Conjecture of Farrell and Jones in L-theory for groups acting on trees. In several cases we prove the conjecture. This includes wreath products of abelian groups and free metabelian groups. We also deduce the conjecture in pseudoisotopy theory for these groups. Finally in B of Theorem 1.1 we prove the L-theory version of [[7], Theorem 1.2].
Based on results by S.K. Roushon (math.KT/0408243 and math.KT/0405211) this thesis summarizes in an axiomatic way when a Meta-Isomorphism-Conjecture in the sense of Lueck and Reich (math.KT/0402405) is true for fundamental groups of 3-dimensional manifolds. In particular we prove that the fibered Farrell-Jones isomorphism conjectures for L-theory and algebraic K-theory are true for this class of groups if they are true for semidirect products of $\mathbb{Z^2}$ with $\mathbb{Z}$.
