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 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 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.
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 generalize the proof of the Farrell-Jones conjecture for CAT(0)-groups to a larger class of groups in particular also containing all hyperbolic groups. This way we give a unified proof for both classes of groups.
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…
Automorphisms of relatively hyperbolic groups and the Farrell--Jones Conjecture
Laboratoire de Mathématiques d’Orsay, Université Paris-Saclay(巴黎萨克雷大学);Université de Caen Normandie, CNRS, Laboratoire de Mathématiques Nicolas Oresme(诺曼底大学);Rheinische Friedrich-Wilhelms-Universität Bonn(波恩大学);University of Oxford(牛津大学);Univ. Lyon, ENS de Lyon, UMPA UMR 5669(里昂大学)
This is a survey of some of the work of Tom Farrell and Lowell Jones. This is the lead article of a special issue of the Pure and Applied Mathematics Quarterly. This issue is published in conjunction with the conference "Geometry,Topology, and their Interactions" held in Morelia, Mexico.
We prove that the Farrell-Jones isomorphism conjecture for non-connective algebraic K-theory for a discrete group G and a coefficient ring R holds true if G belongs to the class of groups acting on trees, under certain conditions on G (see theorem 0.5 below) and if the coefficient ring R is either regular or hereditary, depending on the structure of G. Our result is weaker than the result that has been established in [15] which says that these groups verify the conjecture for any coefficient ring, see remark 0.6 below.
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 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.
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…
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.
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…
In this paper we provide descriptions of the Whitehead groups with coefficients in a ring of the Hilbert modular group and its reduced version, as well as for the topological K-theory of $C^*$-algebras, after tensoring with $\mathbb{Q}$, by computing the source of the assembly maps in the Farrell-Jones and the Baum-Connes conjecture respectively. We also construct a model for the classifying space of the Hilbert modular group for the family of virtually cyclic subgroups.
We give a concise introduction to the Farrell-Jones Conjecture in algebraic $K$-theory and to some of its applications. We survey the current status of the conjecture, and we illustrate the two main tools that are used to attack it: controlled algebra and trace methods.
We provide descriptions of the Whitehead groups, and the algebraic $K$-theory groups, of the fundamental group of a connected, oriented, closed $3$-manifold in terms of Whitehead groups of their finite subgroups and certain Nil-groups. The main tools we use are: the K-theoretic Farrell-Jones isomorphism conjecture, the construction of models for the universal space for the family of virtually cyclic subgroups in 3-manifold groups, and both the prime and JSJ-decompositions together with the well-known geometrization theorem.
We develop a version of controlled algebra for simplicial rings. This generalizes the methods which lead to successful proofs of the algebraic K- theory isomorphism conjecture (Farrell-Jones Conjecture) for a large class of groups. This is the first step to prove the algebraic K-theory isomorphism conjecture for simplicial rings. We construct a category of controlled simplicial modules, show that it has the structure of a Waldhausen category and discuss its algebraic K-theory. We lay emphasis on detailed proofs. Highlights include the discussion of a simplicial cylinder functor, the gluing lem…
We prove the $K$-theoretic Farrell-Jones conjecture for groups as in the title with coefficient rings and $C^*$-algebras which are stable with respect to compact operators. We use this and Higson-Kasparov's result that the Baum-Connes conjecture with coefficients holds for such groups, to show that if $G$ is as in the title then the algebraic and the $C^*$-crossed products of $G$ with a stable $C^*$-algebra have the same $K$-theory.
Equivariant homotopy methods developed over the last 20 years lead to recent breakthroughs in the Borel isomorphism conjectures for Loday assembly maps in K- and L-theories. An important consequence of these algebraic conjectures is the topological rigidity of compact aspherical manifolds. Our goal is to strip the basic idea to the core and follow the evolution over time in order to explain the advantages of the flexible state that exists today. We end with an outline of the proof of the Borel conjecture in algebraic K-theory for groups of finite asymptotic dimension. We also discuss the relat…
We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the sense of Freedman and Quinn. On a separate note, we observe that the Borel Conjecture is true in dimension 4 up to s-cobordism, assuming that the fundamental group satisfies the Farrell--Jones Conjecture.
The paper is devoted to the problem when a map from some closed connected manifold to an aspherical closed manifold approximately fibers, i.e., is homotopic to Manifold Approximate Fibration. We define obstructions in algebraic K-theory. Their vanishing is necessary and under certain conditions sufficient. Basic ingredients are Quinn's thin h-Cobordism Theorem and End Theorem, and knowledge about the Farrell-Jones Conjectures in algebraic K- and L-theory and the MAF-Rigidity Conjecture by Hughes-Taylor-Williams.
In this article we study the K- and L-theory of groups acting on trees. We consider the problem in the context of the fibered isomorphism conjecture of Farrell and Jones. We show that in the class of residually finite groups it is enough to prove the conjecture for finitely presented groups with one end. Also, we deduce that the conjecture is true for the fundamental groups of graphs of finite groups and of trees of virtually cyclic groups. To motivate the reader we include a survey on some classical works on this subject.
We prove that the Farrell-Jones assembly map for connective algebraic K-theory is rationally injective, under mild homological finiteness conditions on the group and assuming that a weak version of the Leopoldt-Schneider conjecture holds for cyclotomic fields. This generalizes a result of Bökstedt, Hsiang, and Madsen, and leads to a concrete description of a large direct summand of $K_n(\mathbb{Z}[G])\otimes_{\mathbb{Z}}\mathbb{Q}$ in terms of group homology. In many cases the number theoretic conjectures are true, so we obtain rational injectivity results about assembly maps, in particular fo…
Let F be a finite group with a Sylow 2-subgroup S that is normal and abelian. Using hyperelementary induction and cartesian squares, we prove that Cappell's unitary nilpotent groups UNil_*(Z[F];Z[F],Z[F]) have an induced isomorphism to the quotient of UNil_*(Z[S];Z[S],Z[S]) by the action of the group F/S. In particular, any finite group F of odd order has the same UNil-groups as the trivial group. The broader scope is the study of the L-theory of virtually cyclic groups, based on the Farrell--Jones isomorphism conjecture. We obtain partial information on these UNil when S is a finite abelian 2…
We prove that certain involutions defined by Vogell and Burghelea-Fiedorowicz on the rational algebraic $K$-theory of spaces coincide. This gives a way to compute the positive and negative eigenspaces of the involution on rational homotopy groups of pseudoisotopy spaces from the involution on rational $S^{1}$-equivariant homology group of the free loop space of a simply-connected manifold. As an application, we give explicit dimensions of the open manifolds $V$ that appear in Belegradek-Farrell-Kapovitch's work for which the spaces of complete nonnegatively curved metrics on $V$ have nontrivia…
We study the algebraic property of the representation of the mapping class group of a closed oriented surface of genus 2 constructed by VFR Jones [Annals of Math. 126 (1987) 335-388]. It arises from the Iwahori-Hecke algebra representations of Artin's braid group of 6 strings, and is defined over integral Laurent polynomials Z[t, t^{-1}]. We substitute the parameter t with -e^{h}, and then expand the powers e^h in their Taylor series. This expansion naturally induces a filtration on the Torelli group which is coarser than its lower central series. We present some results on the structure of th…