Source author record

Giles Gardam

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

ResearcherUnclaimed source record

math.GR math.GT

Catalog footprint

Research overview

5works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

The Surface Group Conjectures for groups with two generators

The Surface Group Conjectures are statements about recognising surface groups among one-relator groups, using either the structure of their finite-index subgroups, or all subgroups. We resolve these conjectures in the two generator case. More generally, we prove that every two-generator one-relator group with every infinite-index subgroup free is itself either free or a surface group.

preprint2022arXiv

Two generalisations of Leighton's Theorem

Leighton's graph covering theorem says that two finite graphs with a common cover have a common finite cover. We present a new proof of this using groupoids, and use this as a model to prove two generalisations of the theorem. The first generalisation, which we refer to as the symmetry-restricted version, restricts how balls of a given size in the universal cover can map down to the two finite graphs when factoring through the common finite cover - this answers a question of Neumann. Secondly, we consider covers of graphs of spaces (or of more general objects), which leads to an even more general version of Leighton's Theorem. We also compute upper bounds for the sizes of the finite covers obtained in Leighton's Theorem and its generalisations. An appendix by Gardam and Woodhouse provides an alternative proof of the symmetry-restricted version, that uses Haar measure instead of groupoids.

preprint2018arXiv

Profinite rigidity in the SnapPea census

A well-known question asks whether any two non-isometric finite volume hyperbolic 3-manifolds are distinguished from each other by the finite quotients of their fundamental groups. At present, this has been proved only when one of the manifolds is a once-punctured torus bundle over the circle. We give substantial computational evidence in support of a positive answer, by showing that no two manifolds in the SnapPea census of 72 942 finite volume hyperbolic 3-manifolds have the same finite quotients.

preprint2018arXiv

The geometry of one-relator groups satisfying a polynomial isoperimetric inequality

For every pair of positive integers $p > q$ we construct a one-relator group $R_{p,q}$ whose Dehn function is $\simeq n^{2 α}$ where $α= \log_2(2p / q)$ . The group $R_{p,q}$ has no subgroup isomorphic to a Baumslag-Solitar group $BS(m,n)$ with $m \neq \pm n$ , but is not automatic, not CAT(0), and cannot act freely on a CAT(0) cube complex. This answers a long-standing question on the automaticity of one-relator groups and gives counterexamples to a conjecture of Wise.

preprint2017arXiv

Detecting laws in power subgroups

A group law is said to be detectable in power subgroups if, for all coprime $m$ and $n$ , a group $G$ satisfies the law if and only if the power subgroups $G^m$ and $G^n$ both satisfy the law. We prove that for all positive integers $c$ , nilpotency of class at most $c$ is detectable in power subgroups, as is the $k$ -Engel law for $k$ at most 4. In contrast, detectability in power subgroups fails for solvability of given derived length: we construct a finite group $W$ such that $W^2$ and $W^3$ are metabelian but $W$ has derived length $3$ . We analyse the complexity of the detectability of commutativity in power subgroups, in terms of finite presentations that encode a proof of the result.

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.