Mixed 3-manifolds are virtually special
Let M be a compact oriented irreducible 3-manifold which is neither a graph manifold nor a hyperbolic manifold. We prove that the fundamental group of M is virtually special.
math.GR↗
arXiv subjects
Daniel T. Wise
Publications and source records attributed to Daniel T. Wise.
Graph manifolds with boundary are virtually special
Let M be a graph manifold. We prove that fundamental groups of embedded incompressible surfaces in M are separable in the fundamental group of M, and that the double cosets for crossing surfaces are also separable. We deduce that if there is a "sufficient" collection of surfaces in M, then the fundamental group of M is virtually the fundamental group of a special nonpositively curved cube complex. We provide a sufficient collection for graph manifolds with boundary thus proving that their fundamental groups are virtually special, and hence linear.
math.GT↗
Quasiconvexity and relatively hyperbolic groups that split
We explore the combination theorem for a group G splitting as a graph of relatively hyperbolic groups. Using the fine graph approach to relative hyperbolicity, we find short proofs of the relative hyperbolicity of G under certain conditions. We then provide a criterion for the relative quasiconvexity of a subgroup H depending on the relative quasiconvexity of the intersection of H with the vertex groups of G. We give an application towards local relative quasiconvexity.
math.GR↗
C(6) groups do not contain F_2 X F_2
We show that a group with a presentation satisfying the C(6) small cancellation condition cannot contain a subgroup isomorphic to F_2 X F_2.
math.GR↗
Separability of embedded surfaces in 3-manifolds
We prove that if S is a properly embedded incompressible surface in a compact 3-manifold M, then the fundamental group of S is separable in the fundamental group of M.
math.GR↗
Some free-by-cyclic groups
We exhibit free-by-cyclic groups containing non-free locally-free subgroups, including some word hyperbolic examples. We also show that these groups are not subgroup separable. We use Bestvina-Brady Morse theory in our arguments.
math.GR↗
Relative Quasiconvexity using Fine Hyperbolic Graphs
We provide a new and elegant approach to relative quasiconvexity for relatively hyperbolic groups in the context of Bowditch's approach to relative hyperbolicity using cocompact actions on fine hyperbolic graphs. Our approach to quasiconvexity generalizes the other definitions in the literature that apply only for countable relatively hyperbolic groups. We also provide an elementary and self-contained proof that relatively quasiconvex subgroups are relatively hyperbolic.
math.GR↗
A boundary criterion for cubulation
We give a criterion in terms of the boundary for the existence of a proper cocompact action of a word-hyperbolic group on a CAT(0) cube complex. We describe applications towards lattices and hyperbolic 3-manifold groups. In particular, by combining the theory of special cube complexes, the surface subgroup result of Kahn-Markovic, and Agol's criterion, we find that every subgroup separable closed hyperbolic 3-manifold is virtually fibered.
math.GT↗
Packing subgroups in relatively hyperbolic groups
We introduce the bounded packing property for a subgroup of a countable discrete group G. This property gives a finite upper bound on the number of left cosets of the subgroup that are pairwise close in G. We establish basic properties of bounded packing, and give many examples; for instance, every subgroup of a countable, virtually nilpotent group has bounded packing. We explain several natural connections between bounded packing and group actions on CAT(0) cube complexes. Our main result establishes the bounded packing of relatively quasiconvex subgroups of a relatively hyperbolic group, under mild hypotheses. As an application, we prove that relatively quasiconvex subgroups have finite height and width, properties that strongly restrict the way families of distinct conjugates of the subgroup can intersect. We prove that an infinite, nonparabolic relatively quasiconvex subgroup of a relatively hyperbolic group has finite index in its commensurator. We also prove a virtual malnormality theorem for separable, relatively quasiconvex subgroups, which is new even in the word hyperbolic case.
math.GR↗
Kazhdan groups with infinite outer automorphism group
For each countable group $Q$ we produce a short exact sequence $1\to N \to G \to Q\to 1$ where $G$ is f.g. and has a graphical $\frac16$ presentation and $N$ is f.g. and satisfies property $T$. As a consequence we produce a group $N$ with property $T$ such that $\Out(N)$ is infinite. Using the tools developed we are also able to produce examples of nonHopfian and non-coHopfian groups with property $T$. One of our main tools is the use of random groups to achieve certain properties.
math.GR↗
The Tits alternative for CAT(0) cubical complexes
We prove a Tits alternative theorem for groups acting on CAT(0) cubical complexes. Namely, suppose that $G$ is a group for which there is a bound on the orders of its finite subgroups. We prove that if $G$ acts properly on a finite-dimensional CAT(0) cubical complex, then either $G$ contains a free subgroup of rank 2 or $G$ is finitely generated and virtually abelian. In particular the above conclusion holds for any group $G$ with a free action on a finite-dimensional CAT(0) cubical complex.
math.GR↗
A flat plane that is not the limit of periodic flat planes
We construct a compact nonpositively curved squared 2-complex whose universal cover contains a flat plane that is not the limit of periodic flat planes.
math.GR↗
Coherence, local quasiconvexity, and the perimeter of 2-complexes
A group is coherent if all its finitely generated subgroups are finitely presented. In this article we provide a criterion for positively determining the coherence of a group. This criterion is based upon the notion of the perimeter of a map between two finite 2-complexes which is introduced here. In the groups to which this theory applies, a presentation for a finitely generated subgroup can be computed in quadratic time relative to the sum of the lengths of the generators. For many of these groups we can show in addition that they are locally quasiconvex. As an application of these results we prove that one-relator groups with sufficient torsion are coherent and locally quasiconvex and we give an alternative proof of the coherence and local quasiconvexity of certain 3-manifold groups. The main application is to establish the coherence and local quasiconvexity of many small cancellation groups.
math.GR↗
The engulfing property for 3-manifolds
We show that there are Haken 3-manifolds whose fundamental groups do not satisfy the engulfing property. In particular one can construct a pi_1-injective immersion of a surface into a graph manifold which does not factor through any proper finite cover of the 3-manifold.
math.GT↗
An Endomorphism of a Finitely Generated Residually Finite Group
Let $ϕ:G\rightarrow G$ be an endomorphism of a finitely generated residually finite group. R.~Hirshon asked if there exists~$n$ such that the restriction of $ϕ$ to $ϕ^n(G)$ is injective. We give an example to show that this is not always the case.
math.GR↗