Showing 1–34 of 34 results for author: Howie, J

Lambda lengths in The figure eight knot complement

Authors: Joshua A. Howie, Dionne Ibarra, Daniel V. Mathews, Lecheng Su

Abstract: In the complete hyperbolic structure on the complement of the figure eight knot, we determine the set of lambda lengths from the maximal cusp to itself. Using the correspondence between spinors and spin-decorated horospheres, we show that these lambda lengths are precisely the Eisenstein integers, up to multiplication by a unit. We also show that the inter-cusp distances from the maximal cusp to i… ▽ More In the complete hyperbolic structure on the complement of the figure eight knot, we determine the set of lambda lengths from the maximal cusp to itself. Using the correspondence between spinors and spin-decorated horospheres, we show that these lambda lengths are precisely the Eisenstein integers, up to multiplication by a unit. We also show that the inter-cusp distances from the maximal cusp to itself are precisely the norms of Eisenstein integers. △ Less

Submitted 10 November, 2024; originally announced November 2024.

Comments: 14 pages, 4 figures

MSC Class: 57K32 (Primary) 15A66; 53C27; 11R04 (Secondary)

Generalised Triangle Groups of Type (2,4,2)

Authors: James Howie

Abstract: A conjecture of Rosenberger says that a group of the form $\langle x,y|x^p=y^q=W(x,y)^r=1\rangle$ (with $r>1$) is either virtually solvable or contains a non-abelian free subgroup. This note is an account of an attack on the conjecture in the case $(p,q,r)=(2,4,2)$. The results obtained are only partial, but nevertheless provide strong evidence in support of the conjecture in the case in question,… ▽ More A conjecture of Rosenberger says that a group of the form $\langle x,y|x^p=y^q=W(x,y)^r=1\rangle$ (with $r>1$) is either virtually solvable or contains a non-abelian free subgroup. This note is an account of an attack on the conjecture in the case $(p,q,r)=(2,4,2)$. The results obtained are only partial, but nevertheless provide strong evidence in support of the conjecture in the case in question, in that the word $W$ in any counterexample is shown to satisfy some strong restrictions. The exponent-sums of $x$ and $y$ in $W$ must be even and odd respectively, while its free-product (or syllable) length must be at least 68. There is also a report of computer investigations which yield a stronger lower bound of 196 for the free-product length. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 14 pages

MSC Class: 20F05 (Primary) 20E05; 20C99; 20-08 (Secondary)

Generalising Collins' Theorem

Authors: James Howie, Hamish Short

Abstract: We generalise a result of D. J. Collins on intersections of conjugates of Magnus subgroups of one-relator groups to the context of one-relator products of locally indicable groups. We generalise a result of D. J. Collins on intersections of conjugates of Magnus subgroups of one-relator groups to the context of one-relator products of locally indicable groups. △ Less

Submitted 28 July, 2023; originally announced July 2023.

Comments: 28 pages, 3 figures

MSC Class: Primary 20F65; 57K20. Secondary 20E06; 20F06; 57M07

A-Polynomials of fillings of the Whitehead sister

Authors: Joshua A. Howie, Daniel V. Mathews, Jessica S. Purcell, Em K. Thompson

Abstract: Knots obtained by Dehn filling the Whitehead sister link include some of the smallest volume twisted torus knots. Here, using results on A-polynomials of Dehn fillings, we give formulas to compute the A-polynomials of these knots. Our methods also apply to more general Dehn fillings of the Whitehead sister. Knots obtained by Dehn filling the Whitehead sister link include some of the smallest volume twisted torus knots. Here, using results on A-polynomials of Dehn fillings, we give formulas to compute the A-polynomials of these knots. Our methods also apply to more general Dehn fillings of the Whitehead sister. △ Less

Submitted 21 August, 2023; v1 submitted 25 June, 2021; originally announced June 2021.

Comments: 18 pages, 11 figures. V2: Added more background on A-polynomials, including those of this paper. Additional minor wording changes and corrections

MSC Class: 57K10; 57K14; 57K32; 57K31

A-polynomials, Ptolemy equations and Dehn filling

Authors: Joshua A. Howie, Daniel V. Mathews, Jessica S. Purcell

Abstract: The A-polynomial encodes hyperbolic geometric information on knots and related manifolds. Historically, it has been difficult to compute, and particularly difficult to determine A-polynomials of infinite families of knots. Here, we compute A-polynomials by starting with a triangulation of a manifold, then using symplectic properties of the Neumann-Zagier matrix encoding the gluings to change the b… ▽ More The A-polynomial encodes hyperbolic geometric information on knots and related manifolds. Historically, it has been difficult to compute, and particularly difficult to determine A-polynomials of infinite families of knots. Here, we compute A-polynomials by starting with a triangulation of a manifold, then using symplectic properties of the Neumann-Zagier matrix encoding the gluings to change the basis of the computation. The result is a simplification of the defining equations. We apply this method to families of manifolds obtained by Dehn filling, and show that the defining equations of their A-polynomials are Ptolemy equations which, up to signs, are equations between cluster variables in the cluster algebra of the cusp torus. △ Less

Submitted 4 April, 2024; v1 submitted 24 February, 2020; originally announced February 2020.

Comments: 46 pages, 18 figures. v4: adjusted orientation of Farey complex, added appendix B with example computations

MSC Class: 57K31; 57K32; 57K14

Journal ref: Algebr. Geom. Topol. 25 (2025) 1265-1320

On singular equations over torsion-free groups

Authors: Martin Edjvet, James Howie

Abstract: We prove a Freiheitssatz for one-relator products of torsion-free groups, where the relator has syllable length at most 8. This result has applications to equations over torsion-free groups: in particular a singular equation of syllable length at most 18 over a torsion-free group has a solution in some overgroup. We prove a Freiheitssatz for one-relator products of torsion-free groups, where the relator has syllable length at most 8. This result has applications to equations over torsion-free groups: in particular a singular equation of syllable length at most 18 over a torsion-free group has a solution in some overgroup. △ Less

Submitted 21 January, 2020; originally announced January 2020.

Comments: 29 pages, 14 figures

MSC Class: Primary 20F70; 20F05. Secondary 20E06; 20F06

Journal ref: Internat. J. Algebra Comput. 31 (2021) 551-580

Coherence and one-relator products of locally indicable groups

Authors: James Howie, Hamish Short

Abstract: We extend several results of Helfer, Wise, Louder and Wilton related to coherence in one-relator groups to the more general setting of one-relator products of locally indicable groups. The methods developed to do so also give rise to a new proof of a theorem of Brodsky. We extend several results of Helfer, Wise, Louder and Wilton related to coherence in one-relator groups to the more general setting of one-relator products of locally indicable groups. The methods developed to do so also give rise to a new proof of a theorem of Brodsky. △ Less

Submitted 6 January, 2020; originally announced January 2020.

Comments: 35 pages, 3 figures

Planar Whitehead graphs with cyclic symmetry arising from the study of Dunwoody manifolds

Authors: James Howie, Gerald Williams

Abstract: A fundamental theorem in the study of Dunwoody manifolds is a classification of finite graphs on $2n$ vertices that satisfy seven conditions (concerning planarity, regularity, and a cyclic automorphism of order $n$). Its significance is that if the presentation complex of a cyclic presentation is a spine of a 3-manifold then its Whitehead graph satisfies the first five conditions (the remaining co… ▽ More A fundamental theorem in the study of Dunwoody manifolds is a classification of finite graphs on $2n$ vertices that satisfy seven conditions (concerning planarity, regularity, and a cyclic automorphism of order $n$). Its significance is that if the presentation complex of a cyclic presentation is a spine of a 3-manifold then its Whitehead graph satisfies the first five conditions (the remaining conditions do not necessarily hold). In this paper we observe that this classification relies implicitly on an unstated, and unnecessary, 8th condition and that this condition is not necessary for such a presentation complex to be the spine of a 3-manifold. We expand the scope of Dunwoody's classification by classifying all graphs that satisfy the first five conditions. △ Less

Submitted 5 August, 2020; v1 submitted 31 May, 2019; originally announced May 2019.

Comments: 26 pages, 35 figures

MSC Class: 05C10; 57M15 (primary); 57M05; 57M07; 57M25; 57M50 (secondary)

Geometry of alternating links on surfaces

Authors: Joshua A. Howie, Jessica S. Purcell

Abstract: We consider links that are alternating on surfaces embedded in a compact 3-manifold. We show that under mild restrictions, the complement of the link decomposes into simpler pieces, generalising the polyhedral decomposition of alternating links of Menasco. We use this to prove various facts about the hyperbolic geometry of generalisations of alternating links, including weakly generalised alternat… ▽ More We consider links that are alternating on surfaces embedded in a compact 3-manifold. We show that under mild restrictions, the complement of the link decomposes into simpler pieces, generalising the polyhedral decomposition of alternating links of Menasco. We use this to prove various facts about the hyperbolic geometry of generalisations of alternating links, including weakly generalised alternating links described by the first author. We give diagrammatical properties that determine when such links are hyperbolic, find the geometry of their checkerboard surfaces, bound volume, and exclude exceptional Dehn fillings. △ Less

Submitted 18 June, 2019; v1 submitted 4 December, 2017; originally announced December 2017.

Comments: 44 pages, 14 figures. V3: Updated exposition, and extended results on volume to manifolds with geodesic boundary. V2: Extended main results to links in any compact 3-manifold, not necessarily just those with torus boundary

MSC Class: 57M50; 57M27

Generalised triangle groups of type (2,3,2) with no cyclic essential representations

Authors: James Howie, Olexandr Konovalov

Abstract: A conjecture of Roseberger asserts that every generalised triangle group either is virtually soluble or contains a non-abelian free subgroup. Modulo two exceptional cases, we verify this conjecture for generalised triangle groups of type (2,3,2) which do not admit essential representations onto the cyclic group of order 6. A conjecture of Roseberger asserts that every generalised triangle group either is virtually soluble or contains a non-abelian free subgroup. Modulo two exceptional cases, we verify this conjecture for generalised triangle groups of type (2,3,2) which do not admit essential representations onto the cyclic group of order 6. △ Less

Submitted 19 December, 2023; v1 submitted 1 December, 2016; originally announced December 2016.

Comments: 37 pages, 12 figures, 3 tables, 3 appendices

MSC Class: 20F05; 20F06

Fibonacci type presentations and 3-manifolds

Authors: James Howie, Gerald Williams

Abstract: We study the cyclic presentations with relators of the form $x_ix_{i+m}x_{i+k}^{-1}$ and the groups they define. These "groups of Fibonacci type" were introduced by Johnson and Mawdesley and they generalize the Fibonacci groups $F(2,n)$ and the Sieradski groups $S(2,n)$. With the exception of two groups, we classify when these groups are fundamental groups of 3-manifolds, and it turns out that onl… ▽ More We study the cyclic presentations with relators of the form $x_ix_{i+m}x_{i+k}^{-1}$ and the groups they define. These "groups of Fibonacci type" were introduced by Johnson and Mawdesley and they generalize the Fibonacci groups $F(2,n)$ and the Sieradski groups $S(2,n)$. With the exception of two groups, we classify when these groups are fundamental groups of 3-manifolds, and it turns out that only Fibonacci, Sieradski, and cyclic groups arise. Using this classification, we completely classify the presentations that are spines of 3-manifolds, answering a question of Cavicchioli, Hegenbarth, and Repovš. When $n$ is even the groups $F(2,n),S(2,n)$ admit alternative cyclic presentations on $n/2$ generators. We show that these alternative presentations also arise as spines of 3-manifolds. △ Less

Submitted 30 October, 2016; v1 submitted 20 May, 2016; originally announced May 2016.

Comments: 16 pages, 3 figures

MSC Class: 20F05; 57M05 (primary); 57M50 (secondary)

A characterisation of alternating knot exteriors

Authors: Joshua Howie

Abstract: We give a topological characterisation of alternating knot exteriors based on the presence of special spanning surfaces. This shows that alternating is a topological property of the knot exterior and not just a property of diagrams, answering an old question of Fox. We also give a characterisation of alternating link exteriors which have marked meridians. We then describe a normal surface algorith… ▽ More We give a topological characterisation of alternating knot exteriors based on the presence of special spanning surfaces. This shows that alternating is a topological property of the knot exterior and not just a property of diagrams, answering an old question of Fox. We also give a characterisation of alternating link exteriors which have marked meridians. We then describe a normal surface algorithm which can decide if a knot is prime and alternating given a triangulation of its exterior as input. △ Less

Submitted 16 November, 2015; originally announced November 2015.

Comments: 23 pages, 7 figures

MSC Class: 57M25

Journal ref: Geom. Topol. 21 (2017) 2353-2371

Non-triviality of some one-relator products of three groups

Authors: Ihechukwu Chinyere, James Howie

Abstract: In this paper we study a group G which is the quotient of a free product of three non-trivial groups by the normal closure of a single element. In particular we show that if the relator has length at most eight, then G is non-trivial. In the case where the factors are cyclic, we prove the stronger result that at least one of the factors embeds in G. In this paper we study a group G which is the quotient of a free product of three non-trivial groups by the normal closure of a single element. In particular we show that if the relator has length at most eight, then G is non-trivial. In the case where the factors are cyclic, we prove the stronger result that at least one of the factors embeds in G. △ Less

Submitted 27 October, 2015; v1 submitted 9 September, 2015; originally announced September 2015.

Comments: 21 pages, 3 figures

MSC Class: 20F05; 20F06

On One-relator products induced by generalised triangle groups

Authors: Ihechukwu Chinyere, James Howie

Abstract: In this paper we study a group G which is the quotient of a free product of groups by the normal closure of a word that is contained in a in a subgroup which has the form of a generalised triangle group. We use known properties of generalised triangle groups, together with detailed analyses of pictures and of words in free monoids, to prove a number of results such as a Freiheitssatz and the exi… ▽ More In this paper we study a group G which is the quotient of a free product of groups by the normal closure of a word that is contained in a in a subgroup which has the form of a generalised triangle group. We use known properties of generalised triangle groups, together with detailed analyses of pictures and of words in free monoids, to prove a number of results such as a Freiheitssatz and the existence of Mayer-Vietoris sequences for such groups under suitable hypotheses. The hypotheses are weaker than those in an earlier article of Howie and Shwartz, yielding generalisations in two directions of the results in that article. △ Less

Submitted 22 May, 2015; originally announced May 2015.

Comments: 32 pages, 5 figures

MSC Class: 20F65; 20F05; 20F06

Boundary slopes of some non-Montesinos knots

Authors: Joshua Howie

Abstract: It is shown that there exist alternating non-Montesinos knots whose essential spanning surfaces with maximal and minimal boundary slopes are not realised by the checkerboard surfaces coming from a reduced alternating planar diagram. It is shown that there exist alternating non-Montesinos knots whose essential spanning surfaces with maximal and minimal boundary slopes are not realised by the checkerboard surfaces coming from a reduced alternating planar diagram. △ Less

Submitted 13 January, 2014; originally announced January 2014.

Comments: 6 pages, 3 figures

MSC Class: 57M25

Seifert fibred knot manifolds

Authors: J. A. Hillman, J. Howie

Abstract: We consider the question of when is the closed manifold obtained by elementary surgery on an $n$-knot Seifert fibred over a 2-orbifold. After some observations on the classical case, we concentrate on the cases n=2 and 3. We have found a new family of 2-knots with torsion-free, solvable group, overlooked in earlier work. We know of no higher dimensional examples. We consider the question of when is the closed manifold obtained by elementary surgery on an $n$-knot Seifert fibred over a 2-orbifold. After some observations on the classical case, we concentrate on the cases n=2 and 3. We have found a new family of 2-knots with torsion-free, solvable group, overlooked in earlier work. We know of no higher dimensional examples. △ Less

Submitted 4 August, 2013; v1 submitted 8 January, 2013; originally announced January 2013.

Comments: New co-author, stronger restrictions on possible Seifert bases. Final section on 3-knots reduced to a paragraph, as a lemma was misused in the original version. Version 3; minor improvements to first paragraph and notation

MSC Class: 57Q45; 57M25

Journal ref: Journal of Knot Theory and its Ramifications 22 (2013), 1350082

Tadpole Labelled Oriented Graph Groups and Cyclically Presented Groups

Authors: James Howie, Gerald Williams

Abstract: We study a class of Labelled Oriented Graph (LOG) group where the underlying graph is a tadpole graph. We show that such a group is the natural HNN extension of a cyclically presented group and investigate the relationship between the LOG group and the cyclically presented group. We relate the second homotopy groups of their presentations and show that hyperbolicity of the cyclically presented gro… ▽ More We study a class of Labelled Oriented Graph (LOG) group where the underlying graph is a tadpole graph. We show that such a group is the natural HNN extension of a cyclically presented group and investigate the relationship between the LOG group and the cyclically presented group. We relate the second homotopy groups of their presentations and show that hyperbolicity of the cyclically presented group implies solvability of the conjugacy problem for the LOG group. In the case where the label on the tail of the LOG spells a positive word in the vertices in the circuit we show that the LOGs and groups coincide with those considered by Szczepanski and Vesnin. We obtain new presentations for these cyclically presented groups and show that the groups of Fibonacci type introduced by Johnson and Mawdesley are of this form. These groups generalize the Fibonacci groups and the Sieradski groups and have been studied by various authors. We continue these investigations, using small cancellation and curvature methods to obtain results on hyperbolicity, automaticity, SQ-universality, and solvability of decision problems. △ Less

Submitted 5 September, 2012; originally announced September 2012.

Comments: 20 pages, 2 figures. To appear in Journal of Algebra

MSC Class: 20F05; 20F06; 20F10; 57M05; 20F67

Journal ref: J. Algebra 371 (2012) 521-535

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

Generalised triangle groups of type (3,5,2)

Authors: James Howie

Abstract: If G is a group with a presentation of the form < x,y|x^3=y^5=W(x,y)^2=1 >, then either G is virtually soluble or G contains a free subgroup of rank 2. This provides additional evidence in favour of a conjecture of Rosenberger. If G is a group with a presentation of the form < x,y|x^3=y^5=W(x,y)^2=1 >, then either G is virtually soluble or G contains a free subgroup of rank 2. This provides additional evidence in favour of a conjecture of Rosenberger. △ Less

Submitted 10 February, 2011; originally announced February 2011.

Comments: 7 pages

MSC Class: 20F05; 20F32; 20E05

Generalised triangle groups of type (3,3,2)

Authors: James Howie

Abstract: If G is a group with a presentation of the form < x,y|x^3=y^3=W(x,y)^2=1 >, then either G is virtually soluble or G contains a free subgroup of rank 2. This provides additional evidence in favour of a conjecture of Rosenberger. If G is a group with a presentation of the form < x,y|x^3=y^3=W(x,y)^2=1 >, then either G is virtually soluble or G contains a free subgroup of rank 2. This provides additional evidence in favour of a conjecture of Rosenberger. △ Less

Submitted 13 December, 2010; originally announced December 2010.

Comments: 19 pages, 4 figures, 2 tables, GAP code listing attached

MSC Class: 20F05; 20F06

Self-Intersecting Periodic Curves in the Plane

Authors: J Howie, J F Toland

Abstract: Suppose a smooth planar curve $γ$ is $2π$-periodic in the $x$ direction and the length of one period is $\ell$. It is shown that if $γ$ self-intersects, then it has a segment of length $\ell- 2π$ on which it self-intersects and somewhere its curvature is at least $2π/(\ell - 2π)$. The proof involves the projection $Γ$ of $γ$ onto a cylinder. (The complex relation between $γ$ and $Γ$ was recently o… ▽ More Suppose a smooth planar curve $γ$ is $2π$-periodic in the $x$ direction and the length of one period is $\ell$. It is shown that if $γ$ self-intersects, then it has a segment of length $\ell- 2π$ on which it self-intersects and somewhere its curvature is at least $2π/(\ell - 2π)$. The proof involves the projection $Γ$ of $γ$ onto a cylinder. (The complex relation between $γ$ and $Γ$ was recently observed analytically by T. M. Apostol and M. A. Mnatsakanian. When $γ$ is in general position there is a bijection between self-intersection points of $γ$ modulo the periodicity, and self-intersection points of $Γ$ with winding number 0 around the cylinder. However, our proof depends on the observation that a loop in $Γ$ with winding number 1 leads to a self-intersection point of $γ$. △ Less

Submitted 9 November, 2010; originally announced November 2010.

Comments: 6 pages; 4 fgures

MSC Class: Primary 53A04; Secondary 55M25

Can Dehn surgery yield three connected summands?

Authors: James Howie

Abstract: A consequence of the Cabling Conjecture of Gonzalez-Acuña and Short is that Dehn surgery on a knot in $S^3$ cannot produce a manifold with more than two connected summands. In the event that some Dehn surgery produces a manifold with three or more connected summands, then the surgery parameter is bounded in terms of the bridge number by a result of Sayari. Here this bound is sharpened, providing… ▽ More A consequence of the Cabling Conjecture of Gonzalez-Acuña and Short is that Dehn surgery on a knot in $S^3$ cannot produce a manifold with more than two connected summands. In the event that some Dehn surgery produces a manifold with three or more connected summands, then the surgery parameter is bounded in terms of the bridge number by a result of Sayari. Here this bound is sharpened, providing further evidence in favour of the Cabling Conjecture. △ Less

Submitted 19 August, 2009; originally announced August 2009.

Comments: 11 pages, 2 figures

MSC Class: 57M25

A remark on double cosets

Authors: James Howie

Abstract: If a soluble group $G$ contains two finitely generated abelian subgroups $A,B$ such that the number of double cosets $AgB$ is finite, then $G$ is shown to be virtually polycyclic. If a soluble group $G$ contains two finitely generated abelian subgroups $A,B$ such that the number of double cosets $AgB$ is finite, then $G$ is shown to be virtually polycyclic. △ Less

Submitted 7 October, 2008; originally announced October 2008.

Comments: 9 pages

MSC Class: 20F16

Finitely presented residually free groups

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

Abstract: We establish a general criterion for the finite presentability of subdirect products of groups and use this to characterize finitely presented residually free groups. We prove that, for all $n\in\mathbb{N}$, a residually free group is of type ${\rm{FP}}_n$ if and only if it is of type ${\rm{F}}_n$. New families of subdirect products of free groups are constructed, including the first examples… ▽ More We establish a general criterion for the finite presentability of subdirect products of groups and use this to characterize finitely presented residually free groups. We prove that, for all $n\in\mathbb{N}$, a residually free group is of type ${\rm{FP}}_n$ if and only if it is of type ${\rm{F}}_n$. 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. The template for these examples leads to a more constructive characterization of finitely presented residually free groups up to commensurability. We show that the class of finitely presented residually free groups is recursively enumerable and present a reduction of the isomorphism problem. A new algorithm is described which, given a finite presentation of a residually free group, constructs a canonical embedding into a direct product of finitely many limit groups. The (multiple) conjugacy and membership problems for finitely presented subgroups of residually free groups are solved. △ Less

Submitted 22 September, 2008; originally announced September 2008.

Comments: 38 pages

MSC Class: 20F65

Magnus subgroups of one-relator surface groups

Authors: James Howie, Muhammad Sarwar Saeed

Abstract: A one-relator surface group is the quotient of an orientable surface group by the normal closure of a single relator. A Magnus subgroup is the fundamental group of a suitable incompressible sub-surface. A number of results are proved about the intersections of such subgroups and their conjugates, analogous to results of Bagherzadeh, Brodskii, and Collins in classical one-relator group theory. A one-relator surface group is the quotient of an orientable surface group by the normal closure of a single relator. A Magnus subgroup is the fundamental group of a suitable incompressible sub-surface. A number of results are proved about the intersections of such subgroups and their conjugates, analogous to results of Bagherzadeh, Brodskii, and Collins in classical one-relator group theory. △ Less

Submitted 27 September, 2007; originally announced September 2007.

Comments: 15 pages, 3 figures

MSC Class: 20F05

Journal ref: Journal of Algebra 323 (2010) 1860--1871

Freiheitssätze for one-relator quotients of surface groups and of limit groups

Authors: James Howie, Muhammad Sarwar Saeed

Abstract: Three versions of the Freiheitssatz are proved in the context of one-relator quotients of limit groups, where the latter are equipped with 1-acylindrical splittings over cyclic subgroups. These are natural extensions of previously published corresponding statements for one-relator quotients of orientable surface groups. Two of the proofs are new even in that restricted context. Three versions of the Freiheitssatz are proved in the context of one-relator quotients of limit groups, where the latter are equipped with 1-acylindrical splittings over cyclic subgroups. These are natural extensions of previously published corresponding statements for one-relator quotients of orientable surface groups. Two of the proofs are new even in that restricted context. △ Less

Submitted 4 September, 2007; originally announced September 2007.

Comments: 17 pages

MSC Class: 20F05 (Primary); 20E06; 20E08 (Secondary)

Journal ref: Quart. J. Math. 60 (2009) 313--325

Winding numbers and SU(2)-representations of knot groups

Authors: Dylan Bowden, James Howie

Abstract: Given an abelian group $A$ and a Lie group $G$, we construct a bilinear pairing from $A\timesπ_1({\mathcal R})$ to $π_1(G)$, where $\mathcal R$ is a subvariety of the variety of representations $A\to G$. In the case where $A$ is the peripheral subgroup of a torus or two-bridge knot group, $G=S^1$ and $\mathcal R$ is a certain variety of representations arising from suitable SU(2)-representatio… ▽ More Given an abelian group $A$ and a Lie group $G$, we construct a bilinear pairing from $A\timesπ_1({\mathcal R})$ to $π_1(G)$, where $\mathcal R$ is a subvariety of the variety of representations $A\to G$. In the case where $A$ is the peripheral subgroup of a torus or two-bridge knot group, $G=S^1$ and $\mathcal R$ is a certain variety of representations arising from suitable SU(2)-representations of the knot group, we show that this pairing is not identically zero. We discuss the consequences of this result for the SU(2)-representations of fundamental groups of manifolds obtained by Dehn surgery on such knots. △ Less

Submitted 7 June, 2007; originally announced June 2007.

Comments: 13 pages, 2 figures

MSC Class: 57M25; 20F05; 20G05

Subgroups of direct products of limit groups

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

Abstract: If $G_1,...,G_n$ are limit groups and $S\subset G_1\times...\times G_n$ is of type $\FP_n(\mathbb Q)$ then $S$ contains a subgroup of finite index that is itself a direct product of at most $n$ limit groups. This settles a question of Sela. If $G_1,...,G_n$ are limit groups and $S\subset G_1\times...\times G_n$ is of type $\FP_n(\mathbb Q)$ then $S$ contains a subgroup of finite index that is itself a direct product of at most $n$ limit groups. This settles a question of Sela. △ Less

Submitted 6 November, 2007; v1 submitted 30 April, 2007; originally announced April 2007.

Comments: 20 pages, no figures. Final version. Accepted by the Annals of Mathematics

MSC Class: 20F65; 20F67; 20J05

Intersections of Magnus subgroups and embedding theorems for cyclically presented groups

Authors: Martin Edjvet, James Howie

Abstract: A Magnus subgroup of a one-relator group is the free subgroup freely generated by a proper subset of the generators. Two such subgroups can intersect in the obvious way or in a larger, exceptional way. The condition of non-exceptional intersection of Magnus subgroups of a one-relator group is applied to give criteria for the resulting cyclically presented groups to contain nonabelian free subgro… ▽ More A Magnus subgroup of a one-relator group is the free subgroup freely generated by a proper subset of the generators. Two such subgroups can intersect in the obvious way or in a larger, exceptional way. The condition of non-exceptional intersection of Magnus subgroups of a one-relator group is applied to give criteria for the resulting cyclically presented groups to contain nonabelian free subgroups. △ Less

Submitted 5 September, 2006; originally announced September 2006.

Comments: 8 pages

MSC Class: 20F05 (Primary); 20E06; 20E08 (Secondary)

Journal ref: J. Pure Appl. Algebra 212 (2008), 47--52

The Tits alternative for generalized triangle groups of type (3,4,2)

Authors: James Howie, Gerald Williams

Abstract: A generalized triangle group is a group that can be presented in the form $G = < x,y | x^p=y^q=w(x,y)^r=1>$, where $p,q,r\geq 2$ and $w(x,y)$ is a cyclically reduced word of length at least 2 in the free product $\Z_p*\Z_q=< x,y | x^p=y^q=1>$. Rosenberger has conjectured that every generalized triangle group $G$ satisfies the Tits alternative. It is known that the conjecture holds except possibl… ▽ More A generalized triangle group is a group that can be presented in the form $G = < x,y | x^p=y^q=w(x,y)^r=1>$, where $p,q,r\geq 2$ and $w(x,y)$ is a cyclically reduced word of length at least 2 in the free product $\Z_p*\Z_q=< x,y | x^p=y^q=1>$. Rosenberger has conjectured that every generalized triangle group $G$ satisfies the Tits alternative. It is known that the conjecture holds except possibly when the triple $(p,q,r)$ is one of $(2,3,2), (2,4,2),(2,5,2),(3,3,2),(3,4,2)$, or $(3,5,2)$. In this paper we show that the Tits alternative holds in the case $(p,q,r)=(3,4,2)$. △ Less

Submitted 29 March, 2006; originally announced March 2006.

Comments: 8 pages

MSC Class: 20F05

Journal ref: Algebra and Discrete Mathematics No. 4 (2008), 40-48

Subgroups of direct products of two limit groups

Authors: Martin R. Bridson, James Howie

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

Submitted 17 October, 2005; originally announced October 2005.

Comments: 18 pages, no figures

MSC Class: 20F65; 20J05; 57M07; 20E08

Journal ref: Math. Res. Lett. 14 (2007), 547--558

Subgroups of direct products of elementarily free groups

Authors: Martin R Bridson, James Howie

Abstract: We exploit Zlil Sela's description of the structure of groups having the same elementary theory as free groups: they and their finitely generated subgroups form a prescribed subclass E of the hyperbolic limit groups. We prove that if $G_1,...,G_n$ are in E then a subgroup $Γ\subset G_1\times...\times G_n$ is of type $\FP_n$ if and only if $Γ$ is itself, up to finite index, the direct product o… ▽ More We exploit Zlil Sela's description of the structure of groups having the same elementary theory as free groups: they and their finitely generated subgroups form a prescribed subclass E of the hyperbolic limit groups. We prove that if $G_1,...,G_n$ are in E then a subgroup $Γ\subset G_1\times...\times G_n$ is of type $\FP_n$ if and only if $Γ$ is itself, up to finite index, the direct product of at most $n$ groups from $\mathcal E$. This answers a question of Sela. △ Less

Submitted 23 June, 2005; originally announced June 2005.

Comments: 19 pages, no figures

MSC Class: 20F06; 20E08; 20F67; 20J05

Journal ref: Geom. Funct. Anal. 17 (2007), 385--403

Normalisers in Limit Groups

Authors: Martin R Bridson, James Howie

Abstract: Let $\G$ be a limit group, $S\subset\G$ a subgroup, and $N$ the normaliser of $S$. If $H_1(S,\mathbb Q)$ has finite $\Q$-dimension, then $S$ is finitely generated and either $N/S$ is finite or $N$ is abelian. This result has applications to the study of subdirect products of limit groups. Let $\G$ be a limit group, $S\subset\G$ a subgroup, and $N$ the normaliser of $S$. If $H_1(S,\mathbb Q)$ has finite $\Q$-dimension, then $S$ is finitely generated and either $N/S$ is finite or $N$ is abelian. This result has applications to the study of subdirect products of limit groups. △ Less

Submitted 24 May, 2005; originally announced May 2005.

Comments: 10 pages, no figures

MSC Class: 20F65; 20E08; 20F67

Minimal Seifert manifolds for higher ribbon knots

Authors: James Howie

Abstract: We show that a group presented by a labelled oriented tree presentation in which the tree has diameter at most three is an HNN extension of a finitely presented group. From results of Silver, it then follows that the corresponding higher dimensional ribbon knots admit minimal Seifert manifolds. We show that a group presented by a labelled oriented tree presentation in which the tree has diameter at most three is an HNN extension of a finitely presented group. From results of Silver, it then follows that the corresponding higher dimensional ribbon knots admit minimal Seifert manifolds. △ Less

Submitted 22 October, 1998; originally announced October 1998.

Comments: 33 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTMon1/paper12.abs.html

Report number: G&T migration mon1-12 MSC Class: 57Q45; 20E06; 20F05; 57M05

Journal ref: Geom. Topol. Monogr. 1 (1998), 261-293