Related papers: Automatic structures, rational growth and geometri…

Let $G$ be a group hyperbolic relative to a collection of subgroups $\{H_\lambda ,\lambda \in \Lambda \} $. We say that a subgroup $Q\le G$ is hyperbolically embedded into $G$, if $G$ is hyperbolic relative to $\{H_\lambda ,\lambda \in…

We consider fiber-preserving complex dynamics on fiber bundles whose fibers are Riemann spheres and whose base spaces are compact metric spaces. In this context, without any assumption on (semi-)hyperbolicity, we show that the fiberwise…

A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a…

A result of Gersten states that if $G$ is a hyperbolic group with integral cohomological dimension $\mathsf{cd}_{\mathbb{Z}}(G)=2$ then every finitely presented subgroup is hyperbolic. We generalize this result for the rational case…

We propose two geometric versions of the bounded reduction property and find conditions for them to coincide. In particular, for the natural automatic structure on a hyperbolic group, the two notions are equivalent. We study endomorphisms…

We introduce a new class of semigroups arising from a restricted class of asynchronous automata. We call these semigroups "expanding automaton semigroups." We show that the class of synchronous automaton semigroups is strictly contained in…

We study two subclasses of the class of automatic structures: automatic structures of polynomial growth and Presburger structures. We present algebraic characterisations of the groups and the equivalence structures in these two classes.

Let $G$ and $\tilde G$ be Kleinian groups whose limit sets $S$ and $\tilde S$, respectively, are homeomorphic to the standard Sierpi\'nski carpet, and such that every complementary component of each of $S$ and $\tilde S$ is a round disc. We…

This paper studies automatic structures for subsemigroups of Baumslag--Solitar semigroups (that is, semigroups presented by $\ < x,y \mid (yx^m, x^ny)\ >$, where $m$ and $n$ are natural numbers). A geometric argument (a rarity in the field…

Building on the previous extensive study of Yang, Gould and the present author, we provide a more precise insight into the group-theoretical ramifications of the word problem for free idempotent generated semigroups over finite biordered…

It is shown that any finite group $A$ is realizable as the automizer in a finite perfect group $G$ of an abelian subgroup whose conjugates generate $G$. The construction uses techniques from fusion systems on arbitrary finite groups, most…

This note addresses some questions that arise in the series of works by Kyoji Saito on the growth functions of graphs. We study "hyperbolike" graphs, which include Cayley graphs of hyperbolic groups. We generalize some well-known results on…

We give sufficient conditions for when groups generated by automata in a class $\mathcal{C}$ of transducers, which contains the class of reset automata transducers, have infinite order. As a consequence we also demonstrate that if a group…

We consider closed hypersurfaces smoothly immersed in hyperbolic manifolds up to homotopy and commensurability. We prove that if a closed hyperbolic manifold $M$ contains a sequence of asymptotically geodesic hypersurfaces, then $\pi_1(M)$…

We construct compact hyperbolic 3-manifolds with totally geodesic boundary, such that the closed 3-pseudomanifolds obtained by coning off the boundary components are negatively curved and contain locally convex subspaces whose fundamental…

We introduce the co-surface graph $\mathcal{CS}$ of a finitely generated free group $\mathbb{F}$ and use it to study the geometry of hyperbolic group extensions of $\mathbb{F}$. Among other things, we show that the Gromov boundary of the…

Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= \pi_1(S)$ is the fundamental group of a closed surface $S$ of genus greater than one, $G$ is hyperbolic and $Q$ is finitely generated free. The aim of this paper is to provide…

In this article, we study the outer automorphism group of a group G decomposed as a finite graph of group with finite edge groups and finitely generated vertex groups with at most one end. We show that Out(G) is essentially obtained by…

Let $G$ be a word hyperbolic group in the sense of Gromov and $P$ its associated Rips complex. We prove that the fixed point set $P^H$ is contractible for every finite subgroups $H$ of $G$. This is the main ingredient for proving that $P$…

For a given divison algebra of the quaternions we construct two types of units: Pell units and Gauss units. If K is a rational quadratic extension and G is a finite group, we classify R and G, s.t., the unit group U(RG) of augmentation one…