SearcharxivSearch

arXiv · math/0405211

The Farrell-Jones isomorphism conjecture for 3-manifold groups

Abstract

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 prove FIC for the fundamental group of a graph of groups where all the vertex and edge groups satisfy FIC. A consequence of the first result gives a partial solution to a problem in the problem list of R. Kirby. We also deduce that the FIC is true for a class of virtually PD_3-groups. Another main aspect of this article is to prove the FIC for all Haken 3-manifold groups assuming that the FIC is true for B-groups. By definition a B-group contains a finite index subgroup isomorphic to the fundamental group of a compact irreducible 3-manifold with incompressible nonempty boundary so that each boundary component is of genus \geq 2. We also prove the FIC for a large class of B-groups and moreover, using a recent result of L.E. Jones we show that the surjective part of the FIC is true for any B-group.

Explore related subjects

Keep this discovery

BibTeXRIS

S. K. Roushon. 2006-03-30. The Farrell-Jones isomorphism conjecture for 3-manifold groups. https://doi.org/10.1017/is007011012jkt005

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Oka principle for \'etale Chow groups

The celebrated theorems of Shilov, Arens--Royden, and Forster give direct descriptions of the first three integral cohomology groups of the Gelfand spectrum of a commutative complex Banach algebra. In his 1974 ICM address, Taylor asked whether the higher cohomology groups admit descriptions in terms of the underlying ring. We give a solution to this question in even degrees: The \'etale (aka Lichtenbaum) Chow group in every codimension is canonically isomorphic to the corresponding even integral cohomology group of the Gelfand spectrum.

math.KT

General linear and Steinberg groups over the Leavitt algebra $L_{\mathbb F_2}(1,2)$

Let $R=L_{\F_2}(1,2)$. We prove that $\GL_r(R)$ is integrally acyclic for every $r\geq1$ and that the canonical map $\St_r(R)\to\GL_r(R)$ is an isomorphism for every $r\geq3$. The homology calculation combines simultaneous extensions of ordered frames with scalar actions of the multiplicative groups of finite fields on their stabilizers. The presentation associated with the same frame complex defines a surjective section of the Steinberg map. An explicit finite presentation of $R^\times$ then follows from the theorem of Krsti\'c and McCool. We formulate separate criteria for acyclicity and for the Steinberg comparison over other rings.

math.KT

The K-theory of uniform Roe algebras for coarse structures generated by finite-rank free abelian subgroups

For a uniformly locally finite coarse space $X$, the uniform Roe algebra $C_u^*(X)$ is the operator norm closure of the controlled operators on $\ell^2(X)$. The $K$-theory of uniform Roe algebras is known in asymptotic dimension zero, but it is not fully understood in higher dimensions. We compute $K_0(C_u^*(G,\mathcal E))$ and $K_1(C_u^*(G,\mathcal E))$ for every countable discrete abelian group $G$ and every finite-rank free abelian subgroup $H\leq G$, where $\mathcal E$ is the coarse structure generated by $H$. We use the Proietti--Yamashita spectral sequence to express the $K$-theory in terms of $H_*(H;\ell^\infty(G,\mathbb Z))$, which we then compute.

math.KT