Source author record

James Howie

James Howie appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GR math.GT

Catalog footprint

What is connected

12works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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

Building this map preview

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

preprint2020arXiv

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

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.

preprint2016arXiv

Fibonacci type presentations and 3-manifolds

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.

preprint2012arXiv

Tadpole Labelled Oriented Graph Groups and Cyclically Presented Groups

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.

preprint2011arXiv

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

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.

preprint2010arXiv

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

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.

preprint2007arXiv

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

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.

preprint2007arXiv

Magnus subgroups of one-relator surface groups

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.

preprint2006arXiv

Intersections of Magnus subgroups and embedding theorems for cyclically presented groups

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.

preprint2006arXiv

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

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)$.

preprint2005arXiv

Subgroups of direct products of elementarily free groups

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.