arXiv subjects
Publications and source records attributed to Timothy Riley.
Brick and Corson introduced annular Dehn functions in 1998 to quantify the conjugacy problem for finitely generated groups and gave the fundamental relationships between it, the Dehn function, and the conjugator length function. We furnish the theory with diverse examples groups. In particular, we show that these three invariants are independent -- no two of the three functions determine the other.
We show that whether loops can be shortcut in a group's Cayley graph depends on the choice of finite generating set. Our example is the direct product of two rank-2 free groups and a consequence is that this group has asymptotic cones with isometrically embedded circles that are null-homotopic.
For all integers $p>q>0$ and $k >0$, and all non-elementary torsion-free hyperbolic groups $H$, we construct a hyperbolic group $G$ in which $H$ is a subgroup, such that the distortion function of $H$ in $G$ grows like $\exp^k(n^{p/q})$. Here, $\exp^k$ denotes the $k$-fold-iterated exponential function.
We exhibit exponentially distorted subgroups in $\mathbb{Z} \wr ( \mathbb{Z} \wr \mathbb{Z} )$ and $\mathbb{Z} \wr F_2$.
The algebraic mapping torus $M_{\Phi}$ of a group $G$ with an automorphism $\Phi$ is the HNN-extension of $G$ in which conjugation by the stable letter performs $\Phi$. We classify the Dehn functions of $M_{\Phi}$ in terms of $\Phi$ for a number of right-angled Artin groups $G$, including all $3$-generator right-angled Artin groups and $F_k \times F_l$ for all $k,l \geq 2$.
The Dehn property for a complex is that every non-trivial disk diagram has spurs or shells. It implies a linear isoperimetric inequality. It has been conjectured that the same is true of a more general property which also allows cutcells. We give counterexamples. La propri\'et\'e Dehn pour un complexe est que chaque diagramme de disque non trivial a des \'eperons ou des shells. Cela implique une in\'egalit\'e isop\'erim\'etrique lin\'eaire. Il a \'et\'e suppos\'e qu'il en \'etait de m\^eme pour une propri\'et\'e plus g\'en\'erale qui autorise \'egalement les cellules de coupe. Nous pr\'esentons des contre-exemples.
A group is sofic when every finite subset can be well approximated in a finite symmetric group. No example of a non-sofic group is known. Higman's group, which is a circular amalgamation of four copies of the Baumslag--Solitar group, is a candidate. Here we contribute to the discussion of the problem of its soficity in two ways. We construct variations on Higman's group replacing the Baumslag--Solitar group by other groups $G$. We give an elementary condition on $G$, enjoyed for example by $\mathbb{Z} \wr \mathbb{Z}$ and the integral Heisenberg group, under which the resulting group is sofic. We then use soficity to deduce that there exist permutations of $\mathbb{Z} / n\mathbb{Z}$ that are seemingly pathological in that they have order dividing four and yet locally they behave like exponential functions over most of their domains. Our approach is based on that of Helfgott and Juschenko, who recently showed the soficity of Higman's group would imply some the existence of some similarly pathological functions. Our results call into question their suggestion that this might be a step towards proving the existence of a non-sofic group.
We give polynomial-time dynamic-programming algorithms finding the areas of words in the presentations $\langle a, b \mid a, b \rangle$ and $\langle a, b \mid a^k, b^k; \ k \in \mathbb{N} \rangle$ of the trivial group. In the first of these two cases, area was studied under the name spelling length by Majumdar, Robbins and Zyskin in the context of the design of liquid crystals. We explain how the problem of calculating it can be reinterpreted in terms of RNA-folding. In the second, area is what Jiang called width and studied when counting fixed points for self-maps of a compact surface, considered up to homotopy. In 1991 Grigorchuk and Kurchanov gave an algorithm computing width and asked whether it could be improved to polynomial time. We answer this affirmatively.
Bartholdi, Neuhauser and Woess proved that a family of metabelian groups including lamplighters have a striking geometric manifestation as 1-skeleta of horocyclic products of trees. The purpose of this article is to give an elementary account of this result, to widen the family addressed to include the infinite valence case (for instance $\mathbb{Z} \wr \mathbb{Z}$), and to make the translation between the algebraic and geometric descriptions explicit. In the rank-2 case, where the groups concerned include a celebrated example of Baumslag and Remeslennikov, we give the translation by means of a combinatorial `lamplighter description'. This elucidates our proof in the general case which proceeds by manipulating polynomials. Additionally, we show that the Cayley 2-complex of a suitable presentation of Baumslag and Remeslennikov's example is a horocyclic product of three trees.
We construct an example of a hyperbolic group with a hyperbolic subgroup for which the Cannon-Thurston map does not exist. That is, inclusion does not induce a map of the boundaries.
This is an account of a series of lectures of Graham Higman on "januarials", namely coset graphs for actions of triangle groups which become 2-face maps when embedded in orientable surfaces.
There is a family of hyperbolic groups known as hyperbolic hydra which contain heavily distorted free subgroups. We prove the existence of Cannon--Thurston maps (that is, maps of the boundaries induced by subgroup inclusion) for these free subgroups. It is known that Cannon--Thurston maps between hyperbolic space boundaries can exist even in the presence of arbitrarily heavy (even non-recursive) distortion. The hyperbolic hydra examples show that Cannon--Thurston maps can exist even between hyperbolic group boundaries in the presence of arbitrarily heavy primitive recursive distortion.