Source author record

James Howie

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
2topics
4close collaborators

Published work

12 publications

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 2n2n vertices that satisfy seven conditions (concerning planarity, regularity, and a cyclic automorphism of order nn). 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 xixi+mxi+k−1x_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)F(2,n) and the Sieradski groups S(2,n)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 nn is even the groups F(2,n),S(2,n)F(2,n),S(2,n) admit alternative cyclic presentations on n/2n/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.

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∣xp=yq=w(x,y)r=1>G = < x,y | x^p=y^q=w(x,y)^r=1>, where p,q,r≥2p,q,r\geq 2 and w(x,y)w(x,y) is a cyclically reduced word of length at least 2 in the free product Zp∗Zq=<x,y∣xp=yq=1>\Z_p*\Z_q=< x,y | x^p=y^q=1>. Rosenberger has conjectured that every generalized triangle group GG satisfies the Tits alternative. It is known that the conjecture holds except possibly when the triple (p,q,r)(p,q,r) is one of (2,3,2),(2,4,2),(2,5,2),(3,3,2),(3,4,2)(2,3,2), (2,4,2),(2,5,2),(3,3,2),(3,4,2), or (3,5,2)(3,5,2). In this paper we show that the Tits alternative holds in the case (p,q,r)=(3,4,2)(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 G1,...,GnG_1,...,G_n are in E then a subgroup Γ⊂G1×...×GnΓ\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 nn groups from E\mathcal E. This answers a question of Sela.

Research graph

See the researcher in context

Open full explorer

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.