Researcher profile

Alastair Fletcher

Alastair Fletcher contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
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

15 published item(s)

preprint2022arXiv

On the mean radius of quasiconformal mappings

We study the mean radius growth function for quasiconformal mappings. We give a new sub-class of quasiconformal mappings in $\mathbb{R}^n$, for $n\geq 2$, called bounded integrable parameterization mappings, or BIP maps for short. These have the property that the restriction of the Zorich transform to each slice has uniformly bounded derivative in $L^{n/(n-1)}$. For BIP maps, the logarithmic transform of the mean radius function is bi-Lipschitz. We then apply our result to BIP maps with simple infinitesimal spaces to show that the asymptotic representation is indeed quasiconformal by showing that its Zorich transform is a bi-Lipschitz map.

preprint2020arXiv

A Complete Realization of the orbits of generalized derivatives of Quasiregular Mappings

Quasiregular maps are differentiable almost everywhere maps which are analogous to holomorphic maps in the plane for higher real dimensions. Introduced by Gutlyanskii et al, the infinitesimal space is a generalization of the notion of derivatives for quasiregular maps. Evaluation of all elements in the infinitesimal space at a particular point is called the orbit space. We prove that any compact connected subset of $\R^n\setminus\{0\}$ can be realized as an orbit space of a quasiconformal map. To that end, we construct analogues of logarithmic spiral maps and interpolation between radial stretch maps in higher dimensions. For the construction of such maps, we need to implement a new tool called the Zorich transform, which is a direct analogue of the logarithmic transform. The Zorich transform could have further applications in quasiregular dynamics.

preprint2020arXiv

On Julia limiting directions in higher dimensions

In this paper we study, for the first time, Julia limiting directions of quasiregular mappings in $\mathbb{R}^n$ of transcendental-type. First, we give conditions under which every direction is a Julia limiting direction. Along the way, our methods show that if a quasi-Fatou component contains a sectorial domain, then there is a polynomial bound on the growth in the sector. Second, we give a contribution to the inverse problem in $\mathbb{R}^3$ of determining which compact subsets of $S^2$ can give rise to Julia limiting directions. The methods here will require showing that certain sectorial domains in $\mathbb{R}^3$ are ambient quasiballs, which is a contribution to the notoriously hard problem of determining which domains are the image of the unit ball $\mathbb{B}^3$ under an ambient quasiconformal map of $\mathbb{R}^3$ to itself.

preprint2015arXiv

Epicycloids and Blaschke products

It is well known that the bounding curve of the central hyperbolic component of the Multibrot set in the parameter space of unicritical degree $d$ polynomials is an epicycloid with $d-1$ cusps. The interior of the epicycloid gives the polynomials of the form $z^d+c$ which have an attracting fixed point. We prove an analogous result for unicritical Blaschke products: in the parameter space of degree $d$ unicritical Blaschke products, the parabolic functions are parameterized by an epicycloid with $d-1$ cusps and inside this epicycloid are the parameters which give rise to elliptic functions having an attracting fixed point in the unit disk. We further study in more detail the case when $d=2$ in which every Blaschke product is unicritical in the unit disk.

preprint2015arXiv

Fixed curves near fixed points

Let $H$ be a composition of an $\mathbb{R}$-linear planar mapping and $z\mapsto z^n$. We classify the dynamics of $H$ in terms of the parameters of the $\mathbb{R}$-linear mapping and the degree by associating a certain finite Blaschke product. We apply this classification to this situation where $z_0$ is a fixed point of a planar quasiregular mapping with constant complex dilatation in a neighbourhood of $z_0$. In particular we find how many curves there are that are fixed by $f$ and that land at $z_0$.

preprint2014arXiv

On quasiregular linearizers

Linearization is a well-known concept in complex dynamics. If $p$ is a polynomial and $z_0$ is a repelling fixed point, then there is an entire function $L$ which conjugates $p$ to the linear map $z\mapsto p'(z_0)z$. This notion of linearization carries over into the quasiregular setting, in the context of repelling fixed points of uniformly quasiregular mappings. In this article, we investigate how linearizers arising from the same uqr mapping and the same repelling fixed point are related. In particular, any linearizer arising from a uqr solution to a Schröder equation is shown to be automorphic with respect to some quasiconformal group.

preprint2014arXiv

Unicritical Blaschke products and domains of ellipticity

Elliptic Möbius transformations of the unit disk are those for which there is a fixed point in $\mathbb{D}$. It is not hard to classify which Möbius transformations are elliptic in terms of the parameters. The set of parameters can be identified with the solid torus $S^1 \times \mathbb{D}$, and the set of elliptic parameters is called the domain of ellipticity. In this paper, we study the domain of ellipticity for non-trivial unicritical Blaschke products. We will also study the set corresponding to the Mandelbrot set for this family, and show how it can be obtained from the domain of ellipticity by adding one point.

preprint2013arXiv

Poincare linearizers in higher dimensions

It is well-known that a holomorphic function near a repelling fixed point may be conjugated to a linear function. The function which conjugates is called a Poincaré linearizer and may be extended to a transcendental entire function in the plane. In this paper, we study the dynamics of a higher dimensional generalization of Poincaré linearizers. These arise by conjugating a uniformly quasiregular mapping in $\R^m$ near a repelling fixed point to the mapping $x\mapsto 2x$. In particular, we show that the fast escaping set of such a linearizer has a spider's web structure.

preprint2013arXiv

The fast escaping set for quasiregular mappings

The fast escaping set of a transcendental entire function is the set of all points which tend to infinity under iteration as fast as compatible with the growth of the function. We study the analogous set for quasiregular mappings in higher dimensions and show, among other things, that various equivalent definitions of the fast escaping set for transcendental entire functions in the plane also coincide for quasiregular mappings. We also exhibit a class of quasiregular mappings for which the fast escaping set has the structure of a spider's web.

preprint2013arXiv

The Moduli space of Riemann Surfaces of Large Genus

Let $\mathcal{M}_{g,ε}$ be the $ε$-thick part of the moduli space $\mathcal{M}_g$ of closed genus $g$ surfaces. In this article, we show that the number of balls of radius $r$ needed to cover $\mathcal{M}_{g,ε}$ is bounded below by $(c_1g)^{2g}$ and bounded above by $(c_2g)^{2g}$, where the constants $c_1,c_2$ depend only on $ε$ and $r$, and in particular not on $g$. Using the counting result we prove that there are Riemann surfaces of arbitrarily large injectivity radius that are not close (in the Teichmüller metric) to a finite cover of a fixed closed Riemann surface. This result illustrates the sharpness of the Ehrenpreis conjecture.

preprint2012arXiv

Dynamics of mappings with constant dilatation

Let h:C \to C be an R-linear map. In this article, we explore the dynamics of the quasiregular mapping H(z)=h(z)^2. Via the Böttcher type coordinate constructed in "On Böttcher coordinates and quasiregular maps" by Fletcher and Fryer, we are able to obtain results for any degree two mapping of the plane with constant complex dilatation. We show that any such mapping has either one, two or three fixed external rays, that all cases can occur, and exhibit how the dynamics changes in each case. We use results from complex dynamics to prove that these mappings are nowhere uniformly quasiregular in a neighbourhood of infinity. We also show that in most cases, two such mappings are not quasiconformally conjugate on a neighbourhood of infinity.

preprint2012arXiv

On Böttcher coordinates and quasiregular maps

It is well-known that a polynomial f(z)=a_d z^d(1+o(1)) can be conjugated by a holomorphic map phi to w \mapsto w^d in a neighbourhood of infinity. This map phi is called a Böttcher coordinate for f near infinity. In this paper we construct a Böttcher type coordinate for compositions of affine mappings and polynomials, a class of mappings first studied in "Quasiregular mappings of polynomial type in R^2" by A.Fletcher and D.Goodman. As an application, we prove that if h is affine and c is a complex number, then h(z)^2+c is not uniformly quasiregular.