Related papers: Geometry of the word problem for 3-manifold groups

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…

We prove that the compressed word problem in a group that is hyperbolic relative to a collection of free abelian subgroups is solvable in polynomial time.

We prove that cyclic subgroup separability is preserved under exponential completion for groups that belong to a class that includes all coherent RAAGs and toral relatively hyperbolic groups; we do so by exploiting the structure of these…

We define cusp-decomposable manifolds and prove smooth rigidity within this class of manifolds. These manifolds generally do not admit a nonpositively curved metric but can be decomposed into pieces that are diffeomorphic to finite volume,…

We study a class $\mathfrak{M}$ of cyclically presented groups that includes both finite and infinite groups and is defined by a certain combinatorial condition on the defining relations. This class includes many finite metacyclic…

For closed oriented manifolds, we establish oriented homotopy invariance of higher signatures that come from the fundamental group of a large class of orientable 3-manifolds, including the ``piecewise geometric'' ones in the sense of…

We give an expository account of our proof that each cusp-free hyperbolic 3-manifold M with finitely generated fundamental group and incompressible ends is an algebraic limit of geometrically finite hyperbolic 3-manifolds.

We introduce the Insertion Chain Complex, a higher-dimensional extension of insertion graphs, as a new framework for analyzing finite sets of words. We study its topological and combinatorial properties, in particular its homology groups,…

Group languages are regular languages recognized by finite groups, or equivalently by finite automata in which each letter induces a permutation on the set of states. We investigate the separation problem for this class of languages: given…

Proper group actions are ubiquitous in mathematics and have many of the attractive features of actions of compact groups. In this survey, we discuss proper actions of Lie groups on smooth manifolds. If the group dimension is sufficiently…

Let N be a topologically finite, orientable 3-manifold with ideal triangulation. We show that if there is a solution to the hyperbolic gluing equations, then all edges in the triangulation are essential. This result is extended to a…

We give a geometric characterisation of those groups that arise as fixed subgroups of finite-order untwisted automorphisms of right-angled Artin groups (RAAGs). They are precisely the fundamental groups of a class of compact special cube…

Given a group $G$ with bounded torsion that acts properly on a systolic complex, we show that every solvable subgroup of $G$ is finitely generated and virtually abelian of rank at most $2$. In particular this gives a new proof of the above…

We prove that, for a finitely generated residually finite group, having solvable word problem is not a sufficient condition to be a subgroup of a finitely presented residually finite group. The obstruction is given by a residually finite…

In this note we prove that every finite collection of connected algebraic subgroups of the group of triangular automorphisms of the affine space generates a connected solvable algebraic subgroup.

We introduce a notion of autonomous dynamical systems and apply it to prove rigidity of partially hyperbolic diffeomorphisms on closed compact three-manifolds under some smoothness hypothesis of their associated framing.

We generalize the equivariant intermediate Jacobian torsor obstruction over $\mathbb{C}$ to algebraically closed fields of characteristic zero. It is an obstruction to the (projective) linearizability problem of finite group actions on…

We show that if the Sch\"{u}tzenberger graph of every positive word, that contains an $R$-word only once as it's subword, is finite over an Adain presentation $\langle X|u=v\rangle$, then the Sch\"{u}tzenberger graph of every positive word…

We consider various decision problems for automatic semigroups, which involve the provision of an automatic structure as part of the problem instance. With mild restrictions on the automatic structure, which seem to be necessary to make the…

We deal with first-order definability in the substructure ordering $(\mathcal{D}; \sqsubseteq)$ of finite directed graphs. In two papers, the author has already investigated the first-order language of the embeddability ordering $(…