Showing 1–50 of 79 results for author: Bridson, R

Complete Embeddings of Groups

Authors: Martin R. Bridson, Hamish Short

Abstract: Every countable group $G$ can be embedded in a finitely generated group $G^*$ that is hopfian and complete, i.e. $G^*$ has trivial centre and every epimorphism $G^*\to G^*$ is an inner automorphism. Every finite subgroup of $G^*$ is conjugate to a finite subgroup of $G$. If $G$ has a finite presentation (respectively, a finite classifying space), then so does $G^*$. Our construction of $G^*$ relie… ▽ More Every countable group $G$ can be embedded in a finitely generated group $G^*$ that is hopfian and complete, i.e. $G^*$ has trivial centre and every epimorphism $G^*\to G^*$ is an inner automorphism. Every finite subgroup of $G^*$ is conjugate to a finite subgroup of $G$. If $G$ has a finite presentation (respectively, a finite classifying space), then so does $G^*$. Our construction of $G^*$ relies on the existence of closed hyperbolic 3-manifolds that are asymmetric and non-Haken. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 9 pages, 1 figure. Dedicated to Chuck Miller. To appear in the Bulletin of the Australian Mathematical Society

MSC Class: 20F65; 20E08; 20F67; 57K32

Profinite completions of free-by-free groups contain everything

Authors: Martin R. Bridson

Abstract: Given an arbitrary, finitely presented, residually finite group $Γ$, one can construct a finitely generated, residually finite, free-by-free group $M_Γ= F_\infty\rtimes F_4$ and an embedding $M_Γ\hookrightarrow (F_4\ast Γ)\times F_4$ that induces an isomorphism of profinite completions. In particular, there is a free-by-free group whose profinite completion contains $\widehatΓ$ as a retract. Given an arbitrary, finitely presented, residually finite group $Γ$, one can construct a finitely generated, residually finite, free-by-free group $M_Γ= F_\infty\rtimes F_4$ and an embedding $M_Γ\hookrightarrow (F_4\ast Γ)\times F_4$ that induces an isomorphism of profinite completions. In particular, there is a free-by-free group whose profinite completion contains $\widehatΓ$ as a retract. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Comments: 3 page note. Final version. To appear in Quarterly Journal of Mathematics

MSC Class: 20E26; 20E18 (20F65; 20J06)

Absolute profinite rigidity, direct products, and finite presentability

Authors: M. R. Bridson, A. W. Reid, R. Spitler

Abstract: We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $Γ\times Γ$ where $Γ$ is a profinitely rigid 3-manifold group; we describe a family of such groups with the property that if $P$ is a finitely generated, residually finite… ▽ More We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $Γ\times Γ$ where $Γ$ is a profinitely rigid 3-manifold group; we describe a family of such groups with the property that if $P$ is a finitely generated, residually finite group with $\widehat{P}\cong\widehat{Γ\timesΓ}$ then there is an embedding $P\hookrightarrowΓ\timesΓ$ that induces the profinite isomorphism; in each case there are infinitely many non-isomorphic possibilities for $P$. △ Less

Submitted 10 December, 2023; originally announced December 2023.

Comments: v1: 27 pages

MSC Class: 20E26; 20E18 (Primary) 20F65; 20F10; 57M25 (Secondary)

On the geometry of the free factor graph for ${\rm{Aut}}(F_N)$

Authors: Mladen Bestvina, Martin R. Bridson, Richard D. Wade

Abstract: Let $Φ$ be a pseudo-Anosov diffeomorphism of a compact (possibly non-orientable) surface $Σ$ with one boundary component. We show that if $b \in π_1(Σ)$ is the boundary word, $φ\in {\rm{Aut}}(π_1(Σ))$ is a representative of $Φ$ fixing $b$, and ${\rm{ad}}_b$ denotes conjugation by $b$, then the orbits of $\langle φ, {\rm{ad}}_b \rangle\cong\mathbb{Z}^2$ in the graph of free factors of $π_1(Σ)$ are… ▽ More Let $Φ$ be a pseudo-Anosov diffeomorphism of a compact (possibly non-orientable) surface $Σ$ with one boundary component. We show that if $b \in π_1(Σ)$ is the boundary word, $φ\in {\rm{Aut}}(π_1(Σ))$ is a representative of $Φ$ fixing $b$, and ${\rm{ad}}_b$ denotes conjugation by $b$, then the orbits of $\langle φ, {\rm{ad}}_b \rangle\cong\mathbb{Z}^2$ in the graph of free factors of $π_1(Σ)$ are quasi-isometrically embedded. It follows that for $N \geq 2$ the free factor graph for ${\rm{Aut}}(F_N)$ is not hyperbolic, in contrast to the ${\rm{Out}}(F_N)$ case. △ Less

Submitted 12 March, 2024; v1 submitted 6 December, 2023; originally announced December 2023.

Comments: 12 pages, 1 figure. To appear in GGD

MSC Class: 20F65; 20E05 (Primary) 20E36; 51F30 (Secondary)

Stallings's Fibring Theorem and $\mathrm{PD}^3$-pairs

Authors: Martin R. Bridson, Dawid Kielak, Monika Kudlinska

Abstract: We prove that if $G$ fibres algebraically and is part of a $\mathrm{PD}^3$-pair, then $G$ is the fundamental group of a fibred compact aspherical 3-manifold. This yields a new, homological proof of a classical theorem of Stallings: if $G = π_1(M^3)$ is the fundamental group of a compact irreducible 3-manifold $M^3$ and $φ\colon G \to \mathbb{Z}$ is a surjective homomorphism with finitely generated… ▽ More We prove that if $G$ fibres algebraically and is part of a $\mathrm{PD}^3$-pair, then $G$ is the fundamental group of a fibred compact aspherical 3-manifold. This yields a new, homological proof of a classical theorem of Stallings: if $G = π_1(M^3)$ is the fundamental group of a compact irreducible 3-manifold $M^3$ and $φ\colon G \to \mathbb{Z}$ is a surjective homomorphism with finitely generated kernel, then $φ$ is induced by a topological fibration of $M^3$ over the circle. △ Less

Submitted 20 July, 2023; originally announced July 2023.

Comments: 7 pages

MSC Class: 20J05; 57K30

Commensurations of ${\rm{Aut}}(F_N)$ and its Torelli subgroup

Authors: Martin R. Bridson, Richard D. Wade

Abstract: For $N \geq 3$, the abstract commensurators of both ${\rm{Aut}}(F_N)$ and its Torelli subgroup ${\rm{IA}}_N$ are isomorphic to ${\rm{Aut}}(F_N)$ itself. For $N \geq 3$, the abstract commensurators of both ${\rm{Aut}}(F_N)$ and its Torelli subgroup ${\rm{IA}}_N$ are isomorphic to ${\rm{Aut}}(F_N)$ itself. △ Less

Submitted 2 May, 2024; v1 submitted 23 June, 2023; originally announced June 2023.

Comments: 30 pages, 5 figures. Version accepted to appear in GAFA

MSC Class: 20F65; 20E36 (Primary) 20E05; 57M07 (Secondary)

Journal ref: Geom. Funct. Anal. (2024)

Rigidity of the free factor complex

Authors: Mladen Bestvina, Martin R Bridson

Abstract: We establish the following non-abelian analogue of the Fundamental Theorem of Projective Geometry: the natural map from ${\rm{Aut}}(F_n)$ to the automorphism group of the free-factor complex $\mathcal{AF}_n$ is an isomorphism. We also prove the corresponding theorem for the action of ${\rm{Out}}(F_n)$ on the complex of conjugacy classes of free factors. We establish the following non-abelian analogue of the Fundamental Theorem of Projective Geometry: the natural map from ${\rm{Aut}}(F_n)$ to the automorphism group of the free-factor complex $\mathcal{AF}_n$ is an isomorphism. We also prove the corresponding theorem for the action of ${\rm{Out}}(F_n)$ on the complex of conjugacy classes of free factors. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Profinite isomorphisms and fixed-point properties

Authors: Martin R. Bridson

Abstract: We describe a flexible construction that produces triples of finitely generated, residually finite groups $M\hookrightarrow P \hookrightarrow Γ$, where the maps induce isomorphisms of profinite completions $\widehat{M}\cong\widehat{P}\cong\widehatΓ$, but $M$ and $Γ$ have Serre's property FA while $P$ does not. In this construction, $P$ is finitely presented and $Γ$ is of type ${\rm{F}}_\infty$. Mo… ▽ More We describe a flexible construction that produces triples of finitely generated, residually finite groups $M\hookrightarrow P \hookrightarrow Γ$, where the maps induce isomorphisms of profinite completions $\widehat{M}\cong\widehat{P}\cong\widehatΓ$, but $M$ and $Γ$ have Serre's property FA while $P$ does not. In this construction, $P$ is finitely presented and $Γ$ is of type ${\rm{F}}_\infty$. More generally, given any positive integer $d$, one can demand that $M$ and $Γ$ have a fixed point whenever they act by semisimple isometries on a complete CAT$(0)$ space of dimension at most $d$, while $P$ acts without a fixed point on a tree. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: 10 pages, no figures

MSC Class: 20F67; 20J05; (20E08; 20E18)

Direct products of free groups in ${\rm{Aut}}(F_N)$

Authors: Martin R. Bridson, Richard D. Wade

Abstract: We give a complete description of the embeddings of direct products of nonabelian free groups into ${\rm{Aut}}(F_N)$ and ${\rm{Out}}(F_N)$ when the number of direct factors is maximal. To achieve this, we prove that the image of each such embedding has a canonical fixed point of a particular type in the boundary of Outer space. We give a complete description of the embeddings of direct products of nonabelian free groups into ${\rm{Aut}}(F_N)$ and ${\rm{Out}}(F_N)$ when the number of direct factors is maximal. To achieve this, we prove that the image of each such embedding has a canonical fixed point of a particular type in the boundary of Outer space. △ Less

Submitted 2 September, 2022; originally announced September 2022.

Comments: 31 pages, 2 figures

MSC Class: 20E36; 20E05 (Primary) 20E08; 20E07 (Secondary)

Weak commutativity, virtually nilpotent groups, and Dehn functions

Authors: Martin R. Bridson, Dessislava H. Kochloukova

Abstract: The group $\mathfrak{X}(G)$ is obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. We make significant additions to the list of properties that the functor $\mathfrak{X}$ is known to preserve. We also investigate the geometry and complexity of the word problem for $\mathfrak{X}(G)$. Subtle features of… ▽ More The group $\mathfrak{X}(G)$ is obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. We make significant additions to the list of properties that the functor $\mathfrak{X}$ is known to preserve. We also investigate the geometry and complexity of the word problem for $\mathfrak{X}(G)$. Subtle features of $\mathfrak{X}$ are encoded in a normal abelian subgroup $W<\mathfrak{X}(G)$ that is a module over $\mathbb{Z} Q$, where $Q= H_1(G,\mathbb{Z})$. We establish a structural result for this module and illustrate its utility by proving that $\mathfrak{X}$ preserves virtual nilpotence, the Engel condition, and growth type -- polynomial, exponential, or intermediate. We also use it to establish isoperimetric inequalities for $\mathfrak{X}(G)$ when $G$ lies in a class that includes Thompson's group $F$ and all non-fibered Kähler groups. The word problem is solvable in $\mathfrak{X}(G)$ if and only if it is solvable in $G$. The Dehn function of $\mathfrak{X}(G)$ is bounded below by a cubic polynomial if $G$ maps onto a non-abelian free group. △ Less

Submitted 20 August, 2023; v1 submitted 8 February, 2022; originally announced February 2022.

Comments: 25 pages, no figures. Final version. Accepted for publication in Commentarii Mathematici Helvetici

MSC Class: 20J05; 20E22 (20F10; 20F65; 20F18; 20F45)

Binary Subgroups of Direct Products

Authors: Martin R. Bridson

Abstract: 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),… ▽ More 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. △ Less

Submitted 31 August, 2022; v1 submitted 4 February, 2022; originally announced February 2022.

Comments: Final version. To appear in the L'Enseignement Mathématique memorial volume for Vaughan Jones

MSC Class: 20F05; 20J05

Profinite rigidity, Kleinian groups, and the cofinite Hopf property

Authors: Martin R. Bridson, Alan W. Reid

Abstract: Let $Γ$ be a non-elementary Kleinian group and $H<Γ$ a finitely generated, proper subgroup. We prove that if $Γ$ has finite co-volume, then the profinite completions of $H$ and $Γ$ are not isomorphic. If $H$ has finite index in $Γ$, then there is a finite group onto which $H$ maps but $Γ$ does not. These results streamline the existing proofs that there exist full-sized groups that are profinitely… ▽ More Let $Γ$ be a non-elementary Kleinian group and $H<Γ$ a finitely generated, proper subgroup. We prove that if $Γ$ has finite co-volume, then the profinite completions of $H$ and $Γ$ are not isomorphic. If $H$ has finite index in $Γ$, then there is a finite group onto which $H$ maps but $Γ$ does not. These results streamline the existing proofs that there exist full-sized groups that are profinitely rigid in the absolute sense. They build on a circleof ideas that can be used to distinguish among the profinite completions of subgroups of finite index in other contexts, e.g. limit groups. We construct new examples of profinitely rigid groups, including the fundamental group of the hyperbolic $3$-manifold ${\rm{Vol}}(3)$ and of the $4$-fold cyclic branched cover of the figure-eight knot. We also prove that if a lattice in ${\rm{PSL}}(2,\mathbb{C})$ is profinitely rigid, then so is its normalizer in ${\rm{PSL}}(2,\mathbb{C})$. △ Less

Submitted 20 September, 2021; v1 submitted 30 July, 2021; originally announced July 2021.

Comments: Final version. To be published in a special issue of the Michigan Math. J. honoring Gopal Prasad

MSC Class: 20E18; 57M50; 30F40; 11F06

Leighton's Theorem: extensions, limitations, and quasitrees

Authors: Martin R. Bridson, Sam Shepherd

Abstract: 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 u… ▽ More 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. △ Less

Submitted 18 March, 2021; v1 submitted 9 September, 2020; originally announced September 2020.

Comments: 29 pages, 10 figures; v2: minor changes made following referee's comments; v3: minor edits to proof of Theorem 1.1 and correction of Example 2.2; to appear in Algebraic & Geometric Topology

MSC Class: 20F65 (Primary); 20F67; 05C25 (Secondary)

Journal ref: Algebr. Geom. Topol. 22 (2022) 881-917

On the profinite rigidity of triangle groups

Authors: M. R. Bridson, D. B. McReynolds, A. W. Reid, R. Spitler

Abstract: We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method based on character varieties that can be used to distinguish between the profinite completions of certain groups. We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method based on character varieties that can be used to distinguish between the profinite completions of certain groups. △ Less

Submitted 15 April, 2020; originally announced April 2020.

Comments: v1, 11 pages

The homology of groups, profinite completions, and echoes of Gilbert Baumslag

Authors: Martin R Bridson

Abstract: We present novel constructions concerning the homology of finitely generated groups. Each construction draws on ideas of Gilbert Baumslag. There is a finitely presented acyclic group $U$ such that $U$ has no proper subgroups of finite index and every finitely presented group can be embedded in $U$. There is no algorithm that can determine whether or not a finitely presentable subgroup of a residua… ▽ More We present novel constructions concerning the homology of finitely generated groups. Each construction draws on ideas of Gilbert Baumslag. There is a finitely presented acyclic group $U$ such that $U$ has no proper subgroups of finite index and every finitely presented group can be embedded in $U$. There is no algorithm that can determine whether or not a finitely presentable subgroup of a residually finite, biautomatic group is perfect. For every recursively presented abelian group $A$ there exists a pair of groups $i:P_A\hookrightarrow G_A$ such that $i$ induces an isomorphism of profinite completions, where $G_A$ is a torsion-free biautomatic group that is residually finite and superperfect, while $P_A$ is a finitely generated group with $H_2(P_A,\mathbb{Z})\cong A$. △ Less

Submitted 10 December, 2019; v1 submitted 18 July, 2019; originally announced July 2019.

Comments: Final version, to appear in volume in honour of Baumslag: "Elementary Theory of Group Rings, and Related Topics"

MSC Class: 20J05; 20F10; 20E18; 20F65

On the recognition of right-angled Artin groups

Authors: Martin R Bridson

Abstract: There does not exist an algorithm that can determine whether or not a group presented by commutators is a right-angled Artin group. There does not exist an algorithm that can determine whether or not a group presented by commutators is a right-angled Artin group. △ Less

Submitted 7 May, 2019; originally announced May 2019.

Comments: Final version. To appear in the Glasgow Mathematical Journal

MSC Class: 20F36; 20F10

Absolute profinite rigidity and hyperbolic geometry

Authors: M. R. Bridson, D. B. McReynolds, A. W. Reid, R. Spitler

Abstract: We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group $\mathrm{PSL}(2,\mathbb{Z}[ω])$ with $ω^2+ω+1=0$ is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in $\mathrm{PSL}(2,\mathbb{C})$ and t… ▽ More We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group $\mathrm{PSL}(2,\mathbb{Z}[ω])$ with $ω^2+ω+1=0$ is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in $\mathrm{PSL}(2,\mathbb{C})$ and the fundamental group of the Weeks manifold (the closed hyperbolic $3$-manifold of minimal volume). △ Less

Submitted 11 August, 2020; v1 submitted 11 November, 2018; originally announced November 2018.

Comments: v2: 35 pages. Final version. To appear in the Annals of Mathematics, Vol. 192, no. 3, November 2020

Algorithms determining finite simple images of finitely presented groups

Authors: Martin R. Bridson, David M. Evans, Martin W. Liebeck, Dan Segal

Abstract: We address the question: for which collections of finite simple groups does there exist an algorithm that determines the images of an arbitrary finitely presented group that lie in the collection? We prove both positive and negative results. For a collection of finite simple groups that contains infinitely many alternating groups, or contains classical groups of unbounded dimensions, we prove that… ▽ More We address the question: for which collections of finite simple groups does there exist an algorithm that determines the images of an arbitrary finitely presented group that lie in the collection? We prove both positive and negative results. For a collection of finite simple groups that contains infinitely many alternating groups, or contains classical groups of unbounded dimensions, we prove that there is no such algorithm. On the other hand, for families of simple groups of Lie type of bounded rank, we obtain positive results. For example, given any fixed untwisted Lie type $X$ there is an algorithm that determines whether or not an arbitrary finitely presented group has infinitely many simple images isomorphic to $X(q)$ for some $q$, and if there are finitely many, the algorithm determines them. △ Less

Submitted 19 October, 2017; originally announced October 2017.

MSC Class: 20F10 (Primary); 20D05; 03D35; 03C60; 03C98; 20G25 (Secondary)

Concise presentations of direct products

Authors: Martin R Bridson

Abstract: Direct powers of perfect groups admit more concise presentations than one might naively suppose. If $H_1G=H_2G=0$, then $G^n$ has a presentation with $O(\log n)$ generators and $O(\log n)^3$ relators. If, in addition, there is an element $g\in G$ that has infinite order in every non-trivial quotient of $G$, then $G^n$ has a presentation with $d(G) +1$ generators and $O(\log n)$ relators. The bound… ▽ More Direct powers of perfect groups admit more concise presentations than one might naively suppose. If $H_1G=H_2G=0$, then $G^n$ has a presentation with $O(\log n)$ generators and $O(\log n)^3$ relators. If, in addition, there is an element $g\in G$ that has infinite order in every non-trivial quotient of $G$, then $G^n$ has a presentation with $d(G) +1$ generators and $O(\log n)$ relators. The bounds that we obtain on the deficiency of $G^n$ are not monotone in $n$; this points to potential counterexamples for the Relation Gap Problem. △ Less

Submitted 16 October, 2017; originally announced October 2017.

Comments: Final version. To appear in Proceedings of the American Mathematical Society. (9 pages, no figures)

MSC Class: 20F05; 20J06

Weak commutativity and finiteness properties of groups

Authors: Martin R Bridson, Dessislava H Kochloukova

Abstract: We consider the group $\mathfrak{X}(G)$ obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. Deceptively complicated finitely presented groups arise from this construction: $\mathfrak{X}(G)$ is finitely presented if and only if $G$ is finitely presented, but if $F$ is a non-abelian free group of finite rank then… ▽ More We consider the group $\mathfrak{X}(G)$ obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. Deceptively complicated finitely presented groups arise from this construction: $\mathfrak{X}(G)$ is finitely presented if and only if $G$ is finitely presented, but if $F$ is a non-abelian free group of finite rank then $\mathfrak{X}(F)$ has a subgroup of finite index whose third homology is not finitely generated. △ Less

Submitted 30 October, 2018; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 12 pages, 2 figures. Final version to appear in Bulletin of the London Math Soc

MSC Class: Primary 20F05; Secondary 20J05; 20E06

Blended Cured Quasi-Newton for Geometric Optimization

Authors: Yufeng Zhu, Robert Bridson, Danny M. Kaufman

Abstract: Optimizing deformation energies over a mesh, in two or three dimensions, is a common and critical problem in physical simulation and geometry processing. We present three new improvements to the state of the art: a barrier-aware line-search filter that cures blocked descent steps due to element barrier terms and so enables rapid progress; an energy proxy model that adaptively blends the Sobolev (i… ▽ More Optimizing deformation energies over a mesh, in two or three dimensions, is a common and critical problem in physical simulation and geometry processing. We present three new improvements to the state of the art: a barrier-aware line-search filter that cures blocked descent steps due to element barrier terms and so enables rapid progress; an energy proxy model that adaptively blends the Sobolev (inverse-Laplacian-processed) gradient and L-BFGS descent to gain the advantages of both, while avoiding L-BFGS's current limitations in geometry optimization tasks; and a characteristic gradient norm providing a robust and largely mesh- and energy-independent convergence criterion that avoids wrongful termination when algorithms temporarily slow their progress. Together these improvements form the basis for Blended Cured Quasi-Newton (BCQN), a new geometry optimization algorithm. Over a wide range of problems over all scales we show that BCQN is generally the fastest and most robust method available, making some previously intractable problems practical while offering up to an order of magnitude improvement in others. △ Less

Submitted 31 January, 2018; v1 submitted 28 April, 2017; originally announced May 2017.

Kodaira fibrations, Kähler groups, and finiteness properties

Authors: Martin R. Bridson, Claudio Llosa Isenrich

Abstract: We construct classes of Kähler groups that do not have finite classifying spaces and are not commensurable to subdirect products of surface groups. Each of these groups is the fundamental group of the generic fibre of a holomorphic map from a product of Kodaira fibrations onto an elliptic curve. We construct classes of Kähler groups that do not have finite classifying spaces and are not commensurable to subdirect products of surface groups. Each of these groups is the fundamental group of the generic fibre of a holomorphic map from a product of Kodaira fibrations onto an elliptic curve. △ Less

Submitted 4 December, 2018; v1 submitted 28 November, 2016; originally announced November 2016.

Comments: 21 pages, 1 figure, V2: Minor corrections and improvements to the exposition. Final accepted version, to appear in the Transactions of the American Mathematical Society

MSC Class: 32J27; 20J05 (Primary); 32Q15; 20F65 (Secondary)

Profinite rigidity and surface bundles over the circle

Authors: Martin R. Bridson, Alan W. Reid, Henry Wilton

Abstract: If $M$ is a compact 3-manifold whose first betti number is 1, and $N$ is a compact 3-manifold such that $π_1N$ and $π_1M$ have the same finite quotients, then $M$ fibres over the circle if and only if $N$ does. We prove that groups of the form $F_2\rtimes\mathbb{Z}$ are distinguished from one another by their profinite completions. Thus, regardless of betti number, if $M$ and $N$ are punctured tor… ▽ More If $M$ is a compact 3-manifold whose first betti number is 1, and $N$ is a compact 3-manifold such that $π_1N$ and $π_1M$ have the same finite quotients, then $M$ fibres over the circle if and only if $N$ does. We prove that groups of the form $F_2\rtimes\mathbb{Z}$ are distinguished from one another by their profinite completions. Thus, regardless of betti number, if $M$ and $N$ are punctured torus bundles over the circle and $M$ is not homeomorphic to $N$, then there is a finite group $G$ such that one of $π_1M$ and $π_1N$ maps onto $G$ and the other does not. △ Less

Submitted 13 July, 2017; v1 submitted 7 October, 2016; originally announced October 2016.

Comments: 17 pages, no figures. v2 minor corrections. This is the final version accepted for publication

MSC Class: 20E18; 57M27; 20E26

The torsion-free rank of homology in towers of soluble pro-p groups

Authors: Martin R Bridson, Dessislava H. Kochloukova

Abstract: We show that for every finitely presented pro-$p$ nilpotent-by-abelian-by-finite group $G$ there is an upper bound on $\dim_{\mathbb{Q}_p} (H_1(M, \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p )$, as $M$ runs through all pro-$p$ subgroups of finite index in $G$. We show that for every finitely presented pro-$p$ nilpotent-by-abelian-by-finite group $G$ there is an upper bound on $\dim_{\mathbb{Q}_p} (H_1(M, \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p )$, as $M$ runs through all pro-$p$ subgroups of finite index in $G$. △ Less

Submitted 13 April, 2016; originally announced April 2016.

Comments: Final accepted version. To appear in the Israel Journal of Mathematics

MSC Class: 20J05 (20E18)

Profinite rigidity, fibering, and the figure-eight knot

Authors: Martin R Bridson, Alan W Reid

Abstract: We establish results concerning the profinite completions of 3-manifold groups. In particular, we prove that the complement of the figure-eight knot $S^3-K$ is distinguished from all other compact 3-manifolds by the set of finite quotients of its fundamental group. In addition, we show that if $M$ is a compact 3-manifold with $b_1(M)=1$, and $π_1(M)$ has the same finite quotients as a free-by-cycl… ▽ More We establish results concerning the profinite completions of 3-manifold groups. In particular, we prove that the complement of the figure-eight knot $S^3-K$ is distinguished from all other compact 3-manifolds by the set of finite quotients of its fundamental group. In addition, we show that if $M$ is a compact 3-manifold with $b_1(M)=1$, and $π_1(M)$ has the same finite quotients as a free-by-cyclic group $F_r\rtimes\mathbb{Z}$, then $M$ has non-empty boundary, fibres over the circle with compact fibre, and $π_1(M)\cong F_r\rtimes_ψ\mathbb{Z}$ for some $ψ\in{\rm{Out}}(F_r)$. △ Less

Submitted 28 May, 2015; originally announced May 2015.

Comments: 15 pages, no figures

MSC Class: 20E18; 57M25; 20E26

The complexity of balanced presentations and the Andrews-Curtis conjecture

Authors: Martin R. Bridson

Abstract: 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 techni… ▽ More 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$. △ Less

Submitted 16 April, 2015; originally announced April 2015.

Comments: 25 pages, 2 figures

MSC Class: 57M05; 20F10; 20F65; 57M20

The Discretely-Discontinuous Galerkin Coarse Grid for Domain Decomposition

Authors: Essex Edwards, Robert Bridson

Abstract: We present an algebraic method for constructing a highly effective coarse grid correction to accelerate domain decomposition. The coarse problem is constructed from the original matrix and a small set of input vectors that span a low-degree polynomial space, but no further knowledge of meshes or continuous functionals is used. We construct a coarse basis by partitioning the problem into subdomains… ▽ More We present an algebraic method for constructing a highly effective coarse grid correction to accelerate domain decomposition. The coarse problem is constructed from the original matrix and a small set of input vectors that span a low-degree polynomial space, but no further knowledge of meshes or continuous functionals is used. We construct a coarse basis by partitioning the problem into subdomains and using the restriction of each input vector to each subdomain as its own basis function. This basis resembles a Discontinuous Galerkin basis on subdomain-sized elements. Constructing the coarse problem by Galerkin projection, we prove a high-order convergent error bound for the coarse solutions. Used in a two-level symmetric multiplicative overlap** Schwarz preconditioner, the resulting conjugate gradient solver shows optimal scaling. Convergence requires a constant number of iterations, independent of fine problem size, on a range of scalar and vector-valued second-order and fourth-order PDEs. △ Less

Submitted 3 April, 2015; originally announced April 2015.

Comments: 19 pages, 5 figures

MSC Class: 65N55 ACM Class: G.1.8

The virtual first Betti number of soluble groups

Authors: Martin R. Bridson, Dessislava H. Kochloukova

Abstract: 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. 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. △ Less

Submitted 21 September, 2014; originally announced September 2014.

Comments: 11 pages, no figures. To appear in Pacific Journal of Math

MSC Class: 20F16; 20J05

On the recognition problem for virtually special cube complexes

Authors: Martin R. Bridson, Henry Wilton

Abstract: We address the question of whether the property of being virtually special (in the sense of Haglund and Wise) is algorithmically decidable for finite, non-positively curved cube complexes. Our main theorem shows that it cannot be decided locally, i.e. by examining one hyperplane at a time. Specifically, we prove that there does not exist an algorithm that, given a compact non-positively squared 2-… ▽ More We address the question of whether the property of being virtually special (in the sense of Haglund and Wise) is algorithmically decidable for finite, non-positively curved cube complexes. Our main theorem shows that it cannot be decided locally, i.e. by examining one hyperplane at a time. Specifically, we prove that there does not exist an algorithm that, given a compact non-positively squared 2-complex X and a hyperplane H in X can decide whether or not there is a finite-sheeted cover of X in which no lift of H self-osculates. △ Less

Submitted 19 June, 2017; v1 submitted 11 August, 2014; originally announced August 2014.

Comments: 9 pages, 2 figures. This is the final version accepted for publication

MSC Class: 20F10; 20F67; 57M07

Undecidability and the developability of permutoids and rigid pseudogroups

Authors: Martin R. Bridson, Henry Wilton

Abstract: A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a finite permutoid based on a finite set can be completed to a finite permutation group, and he related this problem to the study of grou… ▽ More A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a finite permutoid based on a finite set can be completed to a finite permutation group, and he related this problem to the study of groups that have no non-trivial finite quotients. This note explains how our recent work on the profinite triviality problem for finitely presented groups can be used to prove Cameron's conjecture. We also prove that the existence problem for finite developments of rigid pseudogroups is unsolvable. △ Less

Submitted 8 February, 2017; v1 submitted 17 May, 2014; originally announced May 2014.

Comments: 18 pages, including an appendix by Benjamin Steinberg. This is the final version accepted for publication

MSC Class: 20F10; 05C60; (20M18; 08A50)

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

Authors: Martin R. Bridson

Abstract: 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. 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. △ Less

Submitted 7 January, 2015; v1 submitted 16 January, 2014; originally announced January 2014.

Comments: 10 pages, no figures. Final version to appear in Journal of the European Math. Soc

Determining Fuchsian groups by their finite quotients

Authors: Martin R. Bridson, Marston D. E. Conder, Alan W. Reid

Abstract: 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… ▽ More 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. △ Less

Submitted 7 January, 2015; v1 submitted 15 January, 2014; originally announced January 2014.

Comments: Minor edits. Version accepted by Israel J Math

The isomorphism problem for profinite completions of residually finite groups

Authors: Martin R. Bridson, Henry Wilton

Abstract: 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 is… ▽ More 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Γ$. △ Less

Submitted 13 January, 2014; originally announced January 2014.

Comments: 12 pages

MSC Class: 20E18; 20F10; (57M07; 20F65)

The triviality problem for profinite completions

Authors: Martin R. Bridson, Henry Wilton

Abstract: We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this remains undecidable among the fundamental groups of compact, non-positively curved square complexes. We deduce that many other properties of groups are undecidable. For hyperbolic groups, there cannot exist algorithms to determine largeness, the existence… ▽ More We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this remains undecidable among the fundamental groups of compact, non-positively curved square complexes. We deduce that many other properties of groups are undecidable. For hyperbolic groups, there cannot exist algorithms to determine largeness, the existence of a linear representation with infinite image (over any infinite field), or the rank of the profinite completion. △ Less

Submitted 7 January, 2015; v1 submitted 10 January, 2014; originally announced January 2014.

Comments: 36 pages, 2 figures. Final version as accepted for publication, incorporating referee's comments. To appear in Inventiones Mathematicae

MSC Class: 20F10; 20F67; 57M07; 20E18; 20F65

Volume gradients and homology in towers of residually-free groups

Authors: Martin R Bridson, Dessislava H. Kochloukova

Abstract: We study the asymptotic growth of homology groups and the cellular volume of classifying spaces as one passes to normal subgroups $G_n<G$ of increasing finite index in a fixed finitely generated group $G$, assuming $\bigcap_n G_n =1$. We focus in particular on finitely presented residually free groups, calculating their $\ell_2$ betti numbers, rank gradient and asymptotic deficiency. If $G$ is a… ▽ More We study the asymptotic growth of homology groups and the cellular volume of classifying spaces as one passes to normal subgroups $G_n<G$ of increasing finite index in a fixed finitely generated group $G$, assuming $\bigcap_n G_n =1$. We focus in particular on finitely presented residually free groups, calculating their $\ell_2$ betti numbers, rank gradient and asymptotic deficiency. If $G$ is a limit group and $K$ is any field, then for all $j\ge 1$ the limit of $\dim H_j(G_n,K)/[G,G_n]$ as $n\to\infty$ exists and is zero except for $j=1$, where it equals $-χ(G)$. We prove a homotopical version of this theorem in which the dimension of $\dim H_j(G_n,K)$ is replaced by the minimal number of $j$-cells in a $K(G_n,1)$; this includes a calculation of the rank gradient and the asymptotic deficiency of $G$. Both the homological and homotopical versions are special cases of general results about the fundamental groups of graphs of {\em{slow}} groups. We prove that if a residually free group $G$ is of type $\rm{FP}_m$ but not of type $\rm{FP}_{\infty}$, then there exists an exhausting filtration by normal subgroups of finite index $G_n$ so that $\lim_n \dim H_j (G_n, K) / [G : G_n] = 0 \hbox{for} j \leq m$. If $G$ is of type $\rm{FP}_{\infty}$, then the limit exists in all dimensions and we calculate it. △ Less

Submitted 13 April, 2016; v1 submitted 7 September, 2013; originally announced September 2013.

Comments: Final accepted version. To appear in Math Ann

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

Authors: Martin R. Bridson, Alan W. Reid

Abstract: 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… ▽ More 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. △ Less

Submitted 7 January, 2015; v1 submitted 2 November, 2012; originally announced November 2012.

Comments: Version accepted for Int Math Res Notices

MSC Class: 20E26; 20E18 (Primary); 20F65; 20F10; 57M25 (Secondary)

Dimension of elementary amenable groups

Authors: M. R. Bridson, P. H. Kropholler

Abstract: The paper has three parts. It is conjectured that for every elementary amenable group G and every non-zero commutative ring k, the homological dimension of G over k is equal to the Hirsch length of G whenever G has no k-torsion. In Part I this is proved for several classes, including the abelian-by-polycyclic groups. In Part II it is shown that elementary amenable groups of homological dimension o… ▽ More The paper has three parts. It is conjectured that for every elementary amenable group G and every non-zero commutative ring k, the homological dimension of G over k is equal to the Hirsch length of G whenever G has no k-torsion. In Part I this is proved for several classes, including the abelian-by-polycyclic groups. In Part II it is shown that elementary amenable groups of homological dimension one are filtered colimits of systems of groups of cohomological dimension one. Part III is devoted to the deeper study of cohomological dimension with particular emphasis on the nilpotent-by-polycyclic case. △ Less

Submitted 18 February, 2013; v1 submitted 6 August, 2012; originally announced August 2012.

Comments: Final version. To appear in J. fur die reine und angewandte Math. (Crelle's journal). 31 pages, 2 figures

MSC Class: 20F16; 20F19; 20J05; 16E10

Actions of arithmetic groups on homology spheres and acyclic homology manifolds

Authors: M. R. Bridson, F. Grunewald, K. Vogtmann

Abstract: We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary p-groups in the groups concerned. In some cases, including Sp(2n,Z), the bounds we obtain are sharp: if X is a generalized Z/3-homology sphere of dimension less than 2n-1 or a Z/3-acyclic Z/3-homology manifold of dimen… ▽ More We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary p-groups in the groups concerned. In some cases, including Sp(2n,Z), the bounds we obtain are sharp: if X is a generalized Z/3-homology sphere of dimension less than 2n-1 or a Z/3-acyclic Z/3-homology manifold of dimension less than 2n, and if n \geq 3, then any action of Sp(2n,Z) by homeomorphisms on X is trivial; if n = 2, then every action of Sp(2n,Z) on X factors through the abelianization of Sp(4,Z), which is Z/2. △ Less

Submitted 13 June, 2013; v1 submitted 12 July, 2012; originally announced July 2012.

Comments: Final version, to appear in Math Zeitschrift

MSC Class: 57S25; 53C24; 20F65; 20G30

On the finite presentation of subdirect products and the nature of residually free groups

Authors: Martin R. Bridson, James Howie, Charles F. Miller III, Hamish Short

Abstract: We establish {\em{virtual surjection to pairs}} (VSP) as a general criterion for the finite presentability of subdirect products of groups: if $Γ_1,...,Γ_n$ are finitely presented and $S<Γ_1\times...\timesΓ_n$ projects to a subgroup of finite index in each $Γ_i\timesΓ_j$, then $S$ is finitely presentable, indeed there is an algorithm that will construct a finite presentation for $S$. We use the… ▽ More We establish {\em{virtual surjection to pairs}} (VSP) as a general criterion for the finite presentability of subdirect products of groups: if $Γ_1,...,Γ_n$ are finitely presented and $S<Γ_1\times...\timesΓ_n$ projects to a subgroup of finite index in each $Γ_i\timesΓ_j$, then $S$ is finitely presentable, indeed there is an algorithm that will construct a finite presentation for $S$. We use the VSP criterion to characterise the finitely presented residually free groups. We prove that the class of such groups is recursively enumerable. We describe an algorithm that, given a finite presentation of a residually free group, constructs a canonical embedding into a direct product of finitely many limit groups. We solve the (multiple) conjugacy problem and membership problem for finitely presentable subgroups of residually free groups. We also prove that there is an algorithm that, given a finite generating set for such a subgroup, will construct a finite presentation. New families of subdirect products of free groups are constructed, including the first examples of finitely presented subgroups that are neither ${\rm{FP}}_\infty$ nor of Stallings-Bieri type △ Less

Submitted 28 May, 2012; originally announced May 2012.

Comments: 44 pages. To appear in American Journal of Mathematics. This is a substantial rewrite of our previous Arxiv article 0809.3704, taking into account subsequent developments, advice of colleagues and referee's comments

MSC Class: 20F65; 20E08; 20F67

On the Subgroups of Right Angled Artin Groups and Map** Class Groups

Authors: Martin R. Bridson

Abstract: 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 map** class group… ▽ More 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 map** class group $Mod(S)$ are unsolvable. Every virtually special group embeds in the map** class group of infinitely many closed surfaces. Examples are given of finitely presented subgroups of map** class groups that have infinitely many conjugacy classes of torsion elements. △ Less

Submitted 24 May, 2012; originally announced May 2012.

Comments: 10 pages, no figures

MSC Class: 20F65; 20F28; 53C24; 57S25

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

Authors: Martin R. Bridson

Abstract: 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 Euclide… ▽ More 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 map** 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. △ Less

Submitted 28 February, 2011; originally announced February 2011.

Comments: 14 pages, no figures

MSC Class: 20F67; 20F65; 20F28

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

Authors: Martin R. Bridson, Lawrence Reeves

Abstract: 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 c… ▽ More 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 $Γ$. △ Less

Submitted 28 February, 2011; originally announced February 2011.

Comments: 21 pages, 4 figures

MSC Class: 20F65; 20F67; 57M07

Cofinitely Hopfian groups, open map**s and knot complements

Authors: Martin R. Bridson, Daniel Groves, Jonathan A. Hillman, Gaven J. Martin

Abstract: 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 triv… ▽ More 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 map**s between manifolds are presented. △ Less

Submitted 8 December, 2010; originally announced December 2010.

Comments: 14 pages

Journal ref: Groups, Geometry and Dynamics, 4, no.4, 2010, 693-707

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

Authors: Martin R. Bridson, Karen Vogtmann

Abstract: 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. 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. △ Less

Submitted 26 November, 2011; v1 submitted 5 November, 2010; originally announced November 2010.

Comments: Final version, to appear in Annales de l'Institut Fourier

MSC Class: 20F65; 20F28; 53C24; 57S25

A simple finite difference method for time-dependent, variable coefficient Stokes flow on irregular domains

Authors: Christopher Batty, Robert Bridson

Abstract: We present a simple and efficient variational finite difference method for simulating time-dependent Stokes flow in the presence of irregular free surfaces and moving solid boundaries. The method uses an embedded boundary approach on staggered Cartesian grids, avoiding the need for expensive remeshing operations, and can be applied to flows in both two and three dimensions. It uses fully implicit… ▽ More We present a simple and efficient variational finite difference method for simulating time-dependent Stokes flow in the presence of irregular free surfaces and moving solid boundaries. The method uses an embedded boundary approach on staggered Cartesian grids, avoiding the need for expensive remeshing operations, and can be applied to flows in both two and three dimensions. It uses fully implicit backwards Euler integration to provide stability and supports spatially varying density and viscosity, while requiring the solution of just a single sparse, symmetric positive-definite linear system per time step. By expressing the problem in a variational form, challenging irregular domains are supported implicitly through the use of natural boundary conditions. In practice, the discretization requires only centred finite difference stencils and per-cell volume fractions, and is straightforward to implement. The variational form further permits generalizations to coupling other mechanics, all the while reducing to a sparse symmetric positive definite matrix. We demonstrate consistent first order convergence of velocity in L1 and Linf norms on a range of analytical test cases in two dimensions. Furthermore, we apply our method as part of a simple Navier-Stokes solver to illustrate that it can reproduce the characteristic jet buckling phenomenon of Newtonian liquids at moderate viscosities, in both two and three dimensions. △ Less

Submitted 12 May, 2011; v1 submitted 14 October, 2010; originally announced October 2010.

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

Authors: Martin R. Bridson, Karen Vogtmann

Abstract: 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(… ▽ More 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. △ Less

Submitted 28 July, 2011; v1 submitted 15 July, 2010; originally announced July 2010.

Comments: Final version, to appear in Mathematische Annalen. Minor errors and typos corrected, including range of n in Theorem B

MSC Class: 20F65; 20F28; 53C24; 57S25

Actions of higher-rank lattices on free groups

Authors: Martin R. Bridson, Richard D. Wade

Abstract: 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. 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. △ Less

Submitted 13 April, 2011; v1 submitted 19 April, 2010; originally announced April 2010.

Comments: 11 pages, no figures. Final version. To appear in Compositio Math

MSC Class: 20E36; 20F65 (22E40; 20F14)

On the difficulty of presenting finitely presentable groups

Authors: Martin R Bridson, Henry Wilton

Abstract: We exhibit classes of groups in which the word problem is uniformly solvable but in which there is no algorithm that can compute finite presentations for finitely presentable subgroups. Direct products of hyperbolic groups, groups of integer matrices, and right-angled Coxeter groups form such classes. We discuss related classes of groups in which there does exist an algorithm to compute finite pre… ▽ More We exhibit classes of groups in which the word problem is uniformly solvable but in which there is no algorithm that can compute finite presentations for finitely presentable subgroups. Direct products of hyperbolic groups, groups of integer matrices, and right-angled Coxeter groups form such classes. We discuss related classes of groups in which there does exist an algorithm to compute finite presentations for finitely presentable subgroups. We also construct a finitely presented group that has a polynomial Dehn function but in which there is no algorithm to compute the first Betti number of the finitely presentable subgroups. △ Less

Submitted 28 February, 2011; v1 submitted 26 March, 2010; originally announced March 2010.

Comments: Final version. To appear in GGD volume dedicated to Fritz Grunewald

MSC Class: 20F10 (20F65; 20F67)

On the dimension of CAT(0) spaces where map** class groups act

Authors: Martin R Bridson

Abstract: Whenever the map** class group of a closed orientable surface of genus g acts by semisimple isometries on a complete CAT(0) space of dimension less than g it fixes a point. Whenever the map** class group of a closed orientable surface of genus g acts by semisimple isometries on a complete CAT(0) space of dimension less than g it fixes a point. △ Less

Submitted 12 January, 2011; v1 submitted 5 August, 2009; originally announced August 2009.

Comments: 14 pages, 1 figure. Minor edits following referee's comments. To appear in Crelle's journal

MSC Class: 20F67; 57M50

Semisimple actions of map** class groups on CAT(0) spaces

Authors: Martin R Bridson

Abstract: Let S be an orientable surface of finite type and let Mod(S) be its map** class group. We consider actions of Mod(S) by semisimple isometries on complete CAT(0) spaces. If the genus of S is at least 3, then in any such action all Dehn twists act as elliptic isometries. The action of Mod(S) on the completion of Teichmüller space with the Weil-Petersson metric shows that there are interesting ac… ▽ More Let S be an orientable surface of finite type and let Mod(S) be its map** class group. We consider actions of Mod(S) by semisimple isometries on complete CAT(0) spaces. If the genus of S is at least 3, then in any such action all Dehn twists act as elliptic isometries. The action of Mod(S) on the completion of Teichmüller space with the Weil-Petersson metric shows that there are interesting actions of this type. Whenever the map** class group of a closed orientable surface of genus g acts by semisimple isometries on a complete CAT(0) space of dimension less than g it must fix a point. The map** class group of a closed surface of genus 2 acts properly by semisimple isometries on a complete CAT(0) space of dimension 18. △ Less

Submitted 5 August, 2009; originally announced August 2009.

Comments: To appear in "The Geometry of Riemann Surfaces", LMS Lecture Notes 368. Dedicated to Bill Harvey on his 65th birthday. 12 pages no figures

MSC Class: 20F67; 57M50