Source author record

G. J. Martin

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

4works
3topics
4close collaborators

Published work

4 publications

preprint2022arXiv

The (4,p)(4,p)-arithmetic hyperbolic lattices, p≥2p\geq 2, in three dimensions

We identify the finitely many arithmetic lattices ΓΓ in the orientation preserving isometry group of hyperbolic 33-space H3\mathbb{H}^3 generated by an element of order 44 and and element of order p≥2p\geq 2. Thus ΓΓ has a presentation of the form Γ≅⟨f,g:f4=gp=w(f,g)=⋯=1⟩Γ\cong\langle f,g: f^4=g^p=w(f,g)=\cdots=1 \rangle We find that necessarily p∈{2,3,4,5,6,∞}p\in \{2,3,4,5,6,\infty\}, where p=∞p=\infty denotes that gg is a parabolic element, the total degree of the invariant trace field $kΓ=\mathbb{Q}(\{\tr^2(h):h\inΓ\})$ is at most 44, and each orbifold is either a two bridge link of slope r/sr/s surgered with (4,0)(4,0), (p,0)(p,0) Dehn surgery (possibly a two bridge knot if p=4p=4) or a Heckoid group with slope r/sr/s and w(f,g)=(wr/s)rw(f,g)=(w_{r/s})^r with r∈{1,2,3,4}r\in \{1,2,3,4\}. We give a discrete and faithful representation in PSL(2,C)PSL(2,\mathbb{C}) for each group and identify the associated number theoretic data.

preprint2020arXiv

The continuous part of the axial distance spectrum for Kleinian groups

Elements ff of finite order in the isometry group of hyperbolic three-space $\IH^3$ have a hyperbolic line as a fixed point set, this line is the axis of ff. The possible hyperbolic distances between axes of elements of order pp and qq, not both two, among {\em all} discrete subgroups ΓΓ of $Isom^+(\IH^3)$ has an initial discrete spectrum 0=δ0<δ1<δ2<…<δ∞, 0 =δ_0< δ_1 < δ_2 < \ldots <δ_\infty, each value taken with finite multiplicity, and above δ∞δ_\infty this spectrum of possible distances is continuous. The value δ∞δ_\infty is the smallest number with the property that for each λ<1λ<1 there are only finitely many discrete groups generated by elements of order pp and qq whose axes are no more than λδ∞(p,q)λδ_\infty(p,q) apart. Geometrically δ∞δ_\infty places a bound on embedded tubular neighbourhoods of components of the singular set in the orbifold quotients $\IH^3/Γ$ and provides other geometric information about this set. The value δ1(p,q)δ_1(p,q) is known and tends to ∞\infty with min⁡{p,q}\min\{p,q\}. Here we seek to determine - actually find asymptotically sharp upper-bounds for - δ∞(p,q)δ_\infty(p,q). We also show that the gap δ∞(p,q)−δ1(p,q)δ_\infty(p,q)-δ_1(p,q) is surprisingly small, less than 1.4059…1.4059\ldots, the sharp value for the Fuchsian case, independent of pp and qq. This is despite both of these numbers tending to ∞\infty with either pp or qq.

preprint1995arXiv

Arithmeticity, Discreteness and Volume

We give an arithmetic criterion which is sufficient to imply the discreteness of various two-generator subgroups of PSL(2,C)PSL(2,{\bold C}). We then examine certain two-generator groups which arise as extremals in various geometric problems in the theory of Kleinian groups, in particular those encountered in efforts to determine the smallest co-volume, the Margulis constant and the minimal distance between elliptic axes. We establish the discreteness and arithmeticity of a number of these extremal groups, the associated minimal volume arithmetic group in the commensurability class and we study whether or not the axis of a generator is simple.

preprint1995arXiv

On the Margulis constant for Kleinian groups, I curvature

The Margulis constant for Kleinian groups is the smallest constant cc such that for each discrete group GG and each point xx in the upper half space H3{\bold H}^3, the group generated by the elements in GG which move xx less than distance c is elementary. We take a first step towards determining this constant by proving that if ⟨f,g⟩\langle f,g \rangle is nonelementary and discrete with ff parabolic or elliptic of order n≥3n \geq 3, then every point xx in H3{\bold H}^3 is moved at least distance cc by ff or gg where c=.1829…c=.1829\ldots. This bound is sharp.

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.