In this article, we study connections between representation theory and efficient solutions to the conjugacy problem on finitely generated groups. The main focus is on the conjugacy problem in conjugacy separable groups, where we measure efficiency in terms of the size of the quotients required to distinguish a distinct pair of conjugacy classes.
We establish several characterizations of Anosov representations of word hyperbolic groups into real reductive Lie groups, in terms of a Cartan projection or Lyapunov projection of the Lie group. Using a properness criterion of Benoist and Kobayashi, we derive applications to proper actions on homogeneous spaces of reductive groups.
Relatively dominated representations give a common generalization of geometrically finiteness in rank one on the one hand, and the Anosov condition which serves as a higher-rank analogue of convex cocompactness on the other. This note proves three results about these representations. Firstly, we remove the quadratic gaps assumption involved in the original definition. Secondly, we give a characterization using eigenvalue gaps, providing a relative analogue of a result of Kassel--Potrie for Anosov representations. Thirdly, we formulate characterizations in terms of singular value or eigenvalue gaps combined with limit maps, in the spirit of Gueritaud--Guichard--Kassel--Wienhard for Anosov representations, and use them to show that inclusion representations of certain groups playing weak ping-pong and positive representations in the sense of Fock--Goncharov are relatively dominated.
We prove that for a one-ended hyperbolic graph $X$, the size of the quotient $X/G$ by a group $G$ acting freely and cocompactly bounds from below the number of simplices in an Eilenberg-MacLane space for $G$. We apply this theorem to show that one-ended hyperbolic cubulated groups (or more generally, one-ended hyperbolic groups with globally stable cylinders `a la Rips-Sela) cannot contain isomorphic finite-index subgroups of different indices.
In this paper we consider several classical and novel algorithmic problems for right-angled Artin groups, some of which are closely related to graph theoretic problems, and study their computational complexity. We study these problems with a view towards applications to cryptography.
We study a class of inverse monoids of the form M = Inv< X | w=1 >, where the single relator w has a combinatorial property that we call sparse. For a sparse word w, we prove that the word problem for M is decidable. We also show that the set of words in (X cup X^{-1})^* that represent the identity in M is a deterministic context free language, and that the set of geodesics in the Schutzenberger graph of the identity of M is a regular language.