Researcher profile

Gaven J. Martin

Gaven J. Martin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 published item(s)

preprint2020arXiv

New models for deformations: Linear Distortion and the failure of rank-one convexity

In this article, we discuss new models for static nonlinear deformations via scale-invariant conformal energy functionals based on the linear distortion. In particular, we give examples to show that, despite equicontinuity estimates giving compactness, minimising sequences will have strictly lower energy than their limit, and that this energy gap can be quite large. We do this by showing that Iwaniec's theorem on the failure of rank-one convexity for the linear distortion of a specific family of linear mappings, is actually generic and we subsequently identify the optimal rank-one direction to deform a linear map to maximally decrease its distortion.

preprint2014arXiv

Distortion and topology

For a self mapping $f:\mathbb{D}\to \mathbb{D}$ of the unit disk in $\mathbb{C}$ which has finite distortion, we give a separation condition on the components of the set where the distortion is large - say greater than a given constant - which implies that $f$ extends homeomorphically and quasisymetrically to the boundary $\mathbb{S}$ and thus $f$ shares its boundary values with a quasiconformal mapping whose distortion can be explicitly estimated in terms of the data. This result holds more generally. This condition, uniformly separated in modulus, allows the set where the distortion is large to accumulate densely on the boundary but does not allow a component to run out to the boundary. The lift of a Jordan domain in a Riemann surface to its universal cover $\mathbb{D}$ is always uniformly separated in modulus and this allows us to apply these results in the theory of Riemann surfaces to identify an interesting link between the support of the high distortion of a map and topology of the surface - again with explicit and good estimates. As part of our investigations we study mappings $φ:\mathbb{S}\to\mathbb{S}$ which are the germs of a conformal mapping and give good bounds on the distortion of a quasiconformal extension of $φ$. We extend these results to the germs of quasisymmetric mappings. These appear of independent interest and identify new geometric invariants.

preprint2014arXiv

Quasicircles as equipotential lines, homotopy classes and geodesics

We give an application of our earlier results concerning the quasiconformal extension of a germ of a conformal map to establish that in two dimensions the equipotential level lines of a capacitor are quasicircles whose distortion depends only on the capacity and the level. As an application we find that given disjoint, nonseparating and nontrivial continua $E$ and $F$ in $\hat{\mathbb{C} }=\mathbb{C} \cup\{\infty\}$, the closed hyperbolic geodesic generating the fundamental group $π_1\big(\hat{\mathbb{C} }\setminus (E\cup F) \big) \cong \hat{\mathbb{Z} }$ is a $K$-quasicircle separating $E$ and $F$ with explicit distortion bound depending only on the capacity of $\hat{\mathbb{C} }\setminus (E\cup F)$. This result is then extended to obtain distortion bounds on a quasicircle representing a given homotopy class of a simple closed curve in a planar domain. Finally we are able to use these results to show that a simple closed hyperbolic geodesic in a planar domain is a quasicircle with a distortion bound depending explicitly, and only, on its length.

preprint2013arXiv

Harmonic degree 1 maps are diffeomorphisms: Lewy's theorem for curved metrics

In 1936 H. Lewy showed that the Jacobian determinant of a harmonic homeomorphism between planar domains does not vanish and thus the map is a diffeomorphism. This built on the earlier existence results of Radó and Kneser. R. Shoen and S.T. Yau generalised this result to degree 1 harmonic mappings between closed Riemann surfaces. Here we give a new approach that establishes all these results in complete generality.

preprint2013arXiv

The Geometry and Arithmetic of Kleinian Groups

In this article we survey and describe various aspects of the geometry and arithmetic of Kleinian groups - discrete nonelementary groups of isometries of hyperbolic $3$-space. In particular we make a detailed study of two-generator groups and discuss the classification of the arithmetic generalised triangle groups (and their near relatives). This work is mainly based around my collaborations over the last two decades with Fred Gehring and Colin Maclachlan, both of whom passed away in 2012. There are many others involved as well. Over the last few decades the theory of Kleinian groups has flourished because of its intimate connections with low dimensional topology and geometry. We give little of the general theory and its connections with $3$-manifold theory here, but focus on two main problems: Siegel's problem of identifying the minimal covolume hyperbolic lattice and the Margulis constant problem. These are both "universal constraints" on Kleinian groups -- a feature of discrete isometry groups in negative curvature and include results such as Jørgensen's inequality, the higher dimensional version of Hurwitz's $84g-84$ theorem and a number of other things. We will see that big part of the work necessary to obtain these results is in getting concrete descriptions of various analytic spaces of two-generator Kleinian groups, somewhat akin to the Riley slice.

preprint2013arXiv

The Theory of Quasiconformal Mappings in Higher Dimensions, I

We present a survey of the many and various elements of the modern higher-dimensional theory of quasiconformal mappings and their wide and varied application. It is unified (and limited) by the theme of the author's interests. Thus we will discuss the basic theory as it developed in the 1960s in the early work of F.W. Gehring and Yu G. Reshetnyak and subsequently explore the connections with geometric function theory, nonlinear partial differential equations, differential and geometric topology and dynamics as they ensued over the following decades. We give few proofs as we try to outline the major results of the area and current research themes. We do not strive to present these results in maximal generality, as to achieve this considerable technical knowledge would be necessary of the reader. We have tried to give a feel of where the area is, what are the central ideas and problems and where are the major current interactions with researchers in other areas. We have also added a bit of history here and there. We have not been able to cover the many recent advances generalising the theory to mappings of finite distortion and to degenerate elliptic Beltrami systems which connects the theory closely with the calculus of variations and nonlinear elasticity, nonlinear Hodge theory and related areas, although the reader may see shadows of this aspect in parts.

preprint2010arXiv

Cofinitely Hopfian groups, open mappings and knot complements

A group $Γ$ is defined to be cofinitely Hopfian if every homomorphism $Γ\toΓ$ whose image is of finite index is an automorphism. Geometrically significant groups enjoying this property include certain relatively hyperbolic groups and many lattices. A knot group is cofinitely Hopfian if and only if the knot is not a torus knot. A free-by-cyclic group is cofinitely Hopfian if and only if it has trivial centre. Applications to the theory of open mappings between manifolds are presented.