arXiv subjects
Publications and source records attributed to Daniel T. Wise.
We complete the proof that every compact 3-manifold group is linear. Specifically, we construct a faithful representation in GL5(Q[u]) for a finite-index subgroup of every closed non-geometric graph-manifold group.
We prove that a tubular group is linear if and only if it is residually finite, equivalently virtually primitive. Every such group embeds in $\SL_n(\Z[u])$. For a primitive tubular decomposition with at most $m$ edge slopes at each vertex, our representation has dimension $2\max\{2,m\}$. In particular, Gersten's group embeds in $\SL_6(\Z[u])$, and this dimension is minimal.
We prove a concentration result for the leading eigenvalue of the non--backtracking matrix of the configuration model under the assumption of uniformly bounded degrees. Let $P$ denote the limiting degree distribution. Assuming polynomial approximation, we show that as the number of vertices tends to infinity, the leading eigenvalue of the non--backtracking matrix concentrates around \[ \frac{\mathbb{E}[P(P-1)]}{\mathbb{E}[P]}. \] This quantity corresponds to the mean offspring number of the excess--degree branching process associated with the local limit of the configuration model. As a byproduct of our work we explain how this result can be applied to prove the density of the growth rates of the subgroups of the free group.
We study the growth spectrum of groups acting on hyperbolic spaces, i.e.\ the set of exponential growth rates achieved by subgroups. For a finitely generated free group or a surface group acting convex-cocompactly on a proper geodesic hyperbolic metric space, we prove that the growth spectrum is the full interval $[0, ω_G]$. For any hyperbolic group, we prove that the growth spectrum contains a large interval $[0, ω_{\mathcal{F}}]$ where $ω_{\mathcal{F}} \geq ω_G / 2$, with strict inequality when the action is divergent. In the case of the Cayley graph of a free group, we also present an approach via the non-backtracking matrix of the configuration model, connecting the density of growth rates to a spectral concentration result for random graphs.
We construct a finitely generated residually finite group $G$ with the property that every finite index subgroup of $G$ contains a subgroup isomorphic to Promislow's group. Hence $G$ does not have a finite index subgroup with the unique product property.
We show that if $X$ is a compact nonpositively curved cube complex which is a non-product, then $π_1 X$ has a proper quotient that is $π_1$ of a cube complex with these same properties.
We define strict C(n) small-cancellation complexes, intermediate to C(n) and C(n+1), and we prove groups acting properly cocompactly on a simply-connected strict C(6) complex are hyperbolic relative to a collection of maximal virtually free abelian subgroups of rank 2. We study geometric walls in a simply-connected strict C(6) complex, and we use them to prove a convex cocompact (cosparse) core theorem for (relatively) quasiconvex subgroups of strict C(6) groups. We provide an examples showing the convex cocompact core theorem is false without the strict C(6) assumption.
For every $α\in [1,2r-1]$, we show there exists a subgroup $H<F_r$ whose growth rate is $α$.
We show that any partial ascending HNN extension of a free group embeds in an actual ascending HNN extension of a free group. Moreover, we can ensure that it embeds as the parabolic subgroup of a relatively hyperbolic group.
We show that any compact nonpositively curved cube complex $Y$ embeds in a compact nonpositively curved cube complex $R$ where each combinatorial injective partial local isometry of $Y$ extends to an automorphism of $R$. When $Y$ is special and the collection of injective partial local isometries satisfies certain conditions, we show that $R$ can be chosen to be special and the embedding $Y\hookrightarrow R$ can be chosen to be a local isometry.
Given a non-positively curved cube complex $X$, we prove that the quotient of $π_1X$ defined by a cubical presentation $\langle X\mid Y_1,\dots, Y_s\rangle$ satisfying sufficient non-metric cubical small-cancellation conditions is hyperbolic provided that $π_1X$ is hyperbolic. This generalises the fact that finitely presented classical $C(7)$ small-cancellation groups are hyperbolic.
We show that low-density random quotients of cubulated hyperbolic groups are again cubulated (and hyperbolic). Ingredients of the proof include cubical small-cancellation theory, the exponential growth of conjugacy classes, and the statement that hyperplane stabilizers grow exponentially more slowly than the ambient cubical group.
Given a monomorphism $Ψ:\mathcal{H}\rightarrow \mathcal{F}$ where $\mathcal{H}$ is a proper free factor of the free group $\mathcal{F}$, we show the associated mapping torus $X$ of $Ψ$ has negative immersions iff $\mathcal{H}$ has finite height in $π_1X$ iff $Ψ$ is fully irreducible. We survey related properties and discuss possible directions to pursue further.
Every 2-dimensional spine of an aspherical 3-manifold has the nonpositive towers property, but every collapsed 2-dimensional spine of a 3-ball containing a 2-cell has an immersed sphere.
We study a family of finitely generated residually finite groups. These groups are doubles $F_2*_H F_2$ of a rank-$2$ free group $F_2$ along an infinitely generated subgroup $H$. Varying $H$ yields uncountably many groups up to isomorphism.
We study a family of finitely generated residually finite small cancellation groups. These groups are quotients of $F_2$ depending on a subset $S$ of positive integers. Varying $S$ yields continuously many groups up to quasi-isometry.
We show that word-hyperbolic groups satisfy linear isoperimetric functions for all homotopy types of surface diagrams. This generalises the linear isoperimetric functions for disc and annular diagrams.
We give a simplified approach to the cubulation of small-cancellation quotients of free products of cubulated groups. We construct fundamental groups of compact nonpositively curved cube complexes that do not virtually split.