Search arXiv⌕ Search

arXiv · math/0408243

The isomorphism conjecture for 3-manifold groups and K-theory of virtually poly-surface groups

Abstract

This article has two purposes. In \cite{R3} (math.KT/0405211) we showed that the FIC (Fibered Isomorphism Conjecture for pseudoisotopy functor) for a particular class of 3-manifolds (we denoted this class by \cal C) is the key to prove the FIC for 3-manifold groups in general. And we proved the FIC for the fundamental groups of members of a subclass of \cal C. This result was obtained by showing that the double of any member of this subclass is either Seifert fibered or supports a nonpositively curved metric. In this article we prove that for any M in {\cal C} there is a closed 3-manifold P such that either P is Seifert fibered or is a nonpositively curved 3-manifold and π_1(M) is a subgroup of π_1(P). As a consequence this proves that the FIC is true for any B-group (see definition 3.2 in \cite{R3}). Therefore, the FIC is true for any Haken 3-manifold group and hence for any 3-manifold group (using the reduction theorem of \cite{R3}) provided we assume the Geometrization conjecture. The above result also proves the FIC for a class of 4-manifold groups (see \cite{R2}(math.GT/0209119)). The second aspect of this article is to relax a condition in the definition of strongly poly-surface group (\cite{R1} (math.GT/0209118)) and define a new class of groups (we call them {\it weak strongly poly-surface} groups). Then using the above result we prove the FIC for any virtually weak strongly poly-surface group. We also give a corrected proof of the main lemma of \cite{R1}.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

S. K. Roushon. 2006-03-30. The isomorphism conjecture for 3-manifold groups and K-theory of virtually poly-surface groups. https://doi.org/10.1017/is007011012jkt006

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

KEEP EXPLORING

Related papers

A secondary index map on relative K-homology

We introduce a secondary index map from relative K-homology to the K-theory of a relative structure algebra. We prove an algebraic Mayer-Vietoris sequence for the relative structure algebra, and prove compatibility of the secondary index map with the Mayer-Vietoris boundary map. As an application, we compute the secondary index of the Dirac operator on an even-dimensional spin manifold with collared metric having uniformly positive scalar curvature on the boundary. This computation leads to a refinement of the delocalized APS-index theorem.

math.KT↗

Higher Noncommutative Motives and Higher K-theory

We construct higher additive noncommutative motives of stable $(\infty,n)$-categories, extending the additive motives of Blumberg, Gepner, and Tabuada and the secondary theory of Mazel-Gee and Stern. We formulate a notion of exact sequences and establish the universal property of the resulting additive motives. We give two equivalent constructions: a localization of enriched presheaves and a weighted Waldhausen $S$-construction on complete exact flags. We then compute their Hom objects, obtaining ordinary K-theory at the first level and lower additive motives recursively at higher levels. Our results recover the classical and secondary theories, provide coherent multiplicative structures, and yield an endofunctor on the category of Stefanich rings. In short, higher motives are higher K-theory.

math.KT↗

Perfect Forms and Torsion Bounds in Algebraic $K$-Theory over Totally Real and CM Fields

We extend the method of Van Woerden \cite{woerden} to totally real and CM number fields to obtain an upper bound for the number of $\GLo-$equivalence classes of perfect forms. Moreover, by considering appropriate barycentric subdivisions of the Voronoi tessellation, we extend these estimates to the number of $\GLo$-orbits of $k$-dimensional faces of the Voronoi tessellation. As a consequence, we improve the asymptotic order of the bounds for the torsion part of $K_m(\rint)$ obtained by Soulé \cite{soule_hermitian_bounds} and Houriet \cite{Juliet_PHD}. We emphasise the improvement of the general bound for $F=\mathbb Q$, unchanged since Soulé's work, and the independence of the discriminant exponent from the field degree for totally real and CM fields.

math.KT↗