Source author record

Martin R. Bridson

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.GT

Catalog footprint

Research overview

17works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Binary Subgroups of Direct Products

We explore an elementary construction that produces finitely presented groups with diverse homological finiteness properties -- the {\em binary subgroups}, $B(Σ,μ)<G_1\times\dots\times G_m$ . These full subdirect products require strikingly few generators. If each $G_i$ is finitely presented, $B(Σ,μ)$ is finitely presented. When the $G_i$ are non-abelian limit groups (e.g. free or surface groups), the $B(Σ,μ)$ provide new examples of finitely presented, residually-free groups that do not have finite classifying spaces and are not of Stallings-Bieri type. These examples settle a question of Minasyan relating different notions of rank for residually-free groups. Using binary subgroups, we prove that if $G_1,\dots,G_m$ are perfect groups, each requiring at most $r$ generators, then $G_1\times\dots\times G_m$ requires at most $r \lfloor \log_2 m+1 \rfloor$ generators.

preprint2021arXiv

Leighton's Theorem: extensions, limitations, and quasitrees

Leighton's Theorem states that if there is a tree $T$ that covers two finite graphs $G_1$ and $G_2$ , then there is a finite graph $\hat G$ that is covered by $T$ and covers both $G_1$ and $G_2$ . We prove that this result does not extend to regular covers by graphs other than trees. Nor does it extend to non-regular covers by a quasitree, even if the automorphism group of the quasitree contains a uniform lattice. But it does extend to regular coverings by quasitrees.

preprint2015arXiv

Determining Fuchsian groups by their finite quotients

Let $\C(Γ)$ be the set of isomorphism classes of the finite groups that are homomorphic images of $Γ$ . We investigate the extent to which $\C(Γ)$ determines $Γ$ when $Γ$ is a group of geometric interest. If $Γ_1$ is a lattice in ${\rm{PSL}}(2,\R)$ and $Γ_2$ is a lattice in any connected Lie group, then $\C(Γ_1) = \C(Γ_2)$ implies that $Γ_1$ is isomorphic to $Γ_2$ . If $F$ is a free group and $Γ$ is a right-angled Artin group or a residually free group (with one extra condition), then $\C(F)=\C(Γ)$ implies that $F\congΓ$ . If $Γ_1<{\rm{PSL}}(2,\Bbb C)$ and $Γ_2< G$ are non-uniform arithmetic lattices, where $G$ is a semi-simple Lie group with trivial centre and no compact factors, then $\C(Γ_1)= \C(Γ_2)$ implies that $G \cong {\rm{PSL}}(2,\Bbb C)$ and that $Γ_2$ belongs to one of finitely many commensurability classes. These results are proved using the theory of profinite groups; we do not exhibit explicit finite quotients that distinguish among the groups in question. But in the special case of two non-isomorphic triangle groups, we give an explicit description of finite quotients that distinguish between them.

preprint2015arXiv

Nilpotent completions of groups, Grothendieck pairs, and four problems of Baumslag

Two groups are said to have the same nilpotent genus if they have the same nilpotent quotients. We answer four questions of Baumslag concerning nilpotent completions. (i) There exists a pair of finitely generated, residually torsion-free-nilpotent groups of the same nilpotent genus such that one is finitely presented and the other is not. (ii) There exists a pair of finitely presented, residually torsion-free-nilpotent groups of the same nilpotent genus such that one has a solvable conjugacy problem and the other does not. (iii) There exists a pair of finitely generated, residually torsion-free-nilpotent groups of the same nilpotent genus such that one has finitely generated second homology $H_2(-,\Z)$ and the other does not. (iv) A non-trivial normal subgroup of infinite index in a finitely generated parafree group cannot be finitely generated. In proving this last result, we establish that the first $L^2$ betti number of a finitely generated parafree group of rank $r$ is $r-1$ . It follows that the reduced $C^*$ -algebra of the group is simple if $r\ge 2$ , and that a version of the Freiheitssatz holds for parafree groups.

preprint2015arXiv

The complexity of balanced presentations and the Andrews-Curtis conjecture

Motivated by problems in topology, we explore the complexity of balanced group presentations. We obtain large lower bounds on the complexity of Andrews-Curtis trivialisations, beginning in rank 4. Our results are based on a new understanding of how Dehn functions of groups behave under certain kinds of push-outs. We consider groups $S$ with presentations of deficiency 1 satisfying certain technical conditions and construct balanced group presentations $¶_w$ indexed by words $w$ in the generators of $S$ . If $w=1$ in $S$ then $¶_w$ is Andrews-Curtis trivialisable and the number of Andrews-Curtis moves required to trivialise it can be bounded above and below in terms of how hard it is to prove that $w=1$ in $S$ .

preprint2015arXiv

The strong profinite genus of a finitely presented group can be infinite

We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite completions.

preprint2014arXiv

The isomorphism problem for profinite completions of residually finite groups

We consider pairs of finitely presented, residually finite groups $u:P\hookrightarrow Γ$ . We prove that there is no algorithm that, given an arbitrary such pair, can determine whether or not the associated map of profinite completions $\hat{u}: \widehat{P} \to \widehatΓ$ is an isomorphism. Nor do there exist algorithms that can decide whether $\hat{u}$ is surjective, or whether $\widehat{P}$ is isomorphic to $\widehatΓ$ .

preprint2014arXiv

The virtual first Betti number of soluble groups

We show that if a group G is finitely presented and nilpotent-by-abelian-by-finite, then there is an upper bound on the first betti number of M as M runs through all subgroups of finite index in G.

preprint2012arXiv

On the Subgroups of Right Angled Artin Groups and Mapping Class Groups

There exist right angled Artin groups $A$ such that the isomorphism problem for finitely presented subgroups of $A$ is unsolvable, and for certain finitely presented subgroups the conjugacy and membership problems are unsolvable. It follows that if $S$ is a surface of finite type and the genus of $S$ is sufficiently large, then the corresponding decision problems for the mapping class group $Mod(S)$ are unsolvable. Every virtually special group embeds in the mapping class group of infinitely many closed surfaces. Examples are given of finitely presented subgroups of mapping class groups that have infinitely many conjugacy classes of torsion elements.

preprint2011arXiv

Abelian covers of graphs and maps between outer automorphism groups of free groups

We explore the existence of homomorphisms between outer automorphism groups of free groups Out(F_n) \to Out(F_m). We prove that if n > 8 is even and n \neq m \leq 2n, or n is odd and n \neq m \leq 2n - 2, then all such homomorphisms have finite image; in fact they factor through det: Out(F_n) \to Z/2. In contrast, if m = r^n(n - 1) + 1 with r coprime to (n - 1), then there exists an embedding Out(F_n) \to Out(F_m). In order to prove this last statement, we determine when the action of Out(F_n) by homotopy equivalences on a graph of genus n can be lifted to an action on a normal covering with abelian Galois group.

preprint2011arXiv

Actions of higher-rank lattices on free groups

If $G$ is a semisimple Lie group of real rank at least 2 and $Γ$ is an irreducible lattice in $G$ , then every homomorphism from $Γ$ to the outer automorphism group of a finitely generated free group has finite image.

preprint2011arXiv

On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups

We show that the isomorphism problem is solvable in the class of central extensions of word-hyperbolic groups, and that the isomorphism problem for biautomatic groups reduces to that for biautomatic groups with finite centre. We describe an algorithm that, given an arbitrary finite presentation of an automatic group $Γ$ , will construct explicit finite models for the skeleta of $K(Γ,1)$ and hence compute the integral homology and cohomology of $Γ$ .

preprint2011arXiv

The Dehn functions of Out(F_n) and Aut(F_n)

For n > 2, the Dehn functions of Aut(F_n) and Out(F_n) are exponential. Hatcher and Vogtmann proved that they are at most exponential, and the complementary lower bound in the case n=3 was established by Bridson and Vogtmann. Handel and Mosher completed the proof by reducing the lower bound for n>4 to the case n=3. In this note we give a shorter, more direct proof of this last reduction.

preprint2011arXiv

The rhombic dodecahedron and semisimple actions of Aut(F_n) on CAT(0) spaces

We consider actions of automorphism groups of free groups by semisimple isometries on complete CAT $(0)$ spaces. If $n\ge 4$ then each of the Nielsen generators of Aut $(F_n)$ has a fixed point. If $n=3$ then either each of the Nielsen generators has a fixed point, or else they are hyperbolic and each Nielsen-generated $\Z^4\subset Aut(F_3)$ leaves invariant an isometrically embedded copy of Euclidean 3-space on which it acts as a discrete group of translations with the rhombic dodecahedron as a fundamental domain. An abundance of actions of the second kind is described. Constraints on maps from Aut $(F_n)$ to mapping class groups and linear groups are obtained. If $n\ge 2$ then neither Aut $(F_n)$ nor Out $(F_n)$ is the fundamental group of a compact Kähler manifold.

preprint2010arXiv

Actions of automorphism groups of free groups on homology spheres and acyclic manifolds

For n at least 3, let SAut(F_n) denote the unique subgroup of index two in the automorphism group of a free group. The standard linear action of SL(n,Z) on R^n induces non-trivial actions of SAut(F_n) on R^n and on S^{n-1}. We prove that SAut(F_n) admits no non-trivial actions by homeomorphisms on acyclic manifolds or spheres of smaller dimension. Indeed, SAut(F_n) cannot act non-trivially on any generalized Z_2-homology sphere of dimension less than n-1, nor on any Z_2-acyclic Z_2-homology manifold of dimension less than n. It follows that SL(n,Z) cannot act non-trivially on such spaces either. When n is even, we obtain similar results with Z_3 coefficients.

preprint2010arXiv

Cofinitely Hopfian groups, open mappings and knot complements

A group $Γ$ is defined to be cofinitely Hopfian if every homomorphism $Γ\toΓ$ whose image is of finite index is an automorphism. Geometrically significant groups enjoying this property include certain relatively hyperbolic groups and many lattices. A knot group is cofinitely Hopfian if and only if the knot is not a torus knot. A free-by-cyclic group is cofinitely Hopfian if and only if it has trivial centre. Applications to the theory of open mappings between manifolds are presented.

preprint2005arXiv

Subgroups of direct products of two limit groups

If S is a subgroup of a direct product of two limit groups, and S is of type FP(2) over the rationals, then S has a subgroup of finite index that is a direct product of at most two limit groups.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Martin R. Bridson

Research overview

Is this your work?

17 publications

Binary Subgroups of Direct Products

Leighton's Theorem: extensions, limitations, and quasitrees

Determining Fuchsian groups by their finite quotients

Nilpotent completions of groups, Grothendieck pairs, and four problems of Baumslag

The complexity of balanced presentations and the Andrews-Curtis conjecture

The strong profinite genus of a finitely presented group can be infinite

The isomorphism problem for profinite completions of residually finite groups

The virtual first Betti number of soluble groups

On the Subgroups of Right Angled Artin Groups and Mapping Class Groups

Abelian covers of graphs and maps between outer automorphism groups of free groups

Actions of higher-rank lattices on free groups

On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups

The Dehn functions of Out(F_n) and Aut(F_n)

The rhombic dodecahedron and semisimple actions of Aut(F_n) on CAT(0) spaces

Actions of automorphism groups of free groups on homology spheres and acyclic manifolds

Cofinitely Hopfian groups, open mappings and knot complements

Subgroups of direct products of two limit groups

See the researcher in context

Building this map preview