Abstract:We consider minimisers of the $p$-exponential conformal energy for homeomorphisms $f:R \to S$ of finite distortion $\IK(z,f)$ between analytically finite Riemann surfaces in a fixed homotopy class $[f_0]$,\[ \mE_p(f:R,S)=\int_R \exp(p\IK(z,f))\; d\sigma(z). \] Homeomorphic minimisers exist should the barrier be a homeomorphism of finite energy, $\mE_p(f_0,R,S)<\infty$. In general this problem is not variational, however the Euler-Lagrange equations show the inverses $h=f^{-1}$ of sufficiently regular stationary solutions have an associated holomorphic quadratic differential -- the Ahlfors-Hopf differential, \[\Phi=\exp(p\IK(w,h))\,h_w\overline{h_\wbar}\,d\sigma_R(h). \] From the Riemann-Roch theorem and an approximation technique, we show the variational equations hold for extremal mappings. We take this as a starting point for higher regularity to show that if $h:\Omega\to\tilde{\Omega}$ is a Sobolev homeomorphism between planar domains with holomorphic Ahlfors-Hopf differential, then $h$ is a diffeomorphism. It will follow that $h$ is harmonic in a metric induced by its own (smooth) distortion. We develop equations for the Beltrami coefficient of $h$, establishing a connection between degenerate elliptic non-linear Beltrami equations and these harmonic mappings. On the surface we conclude that minimisers $f_p\in [f_0]$ of $\mE_p(f:R,S)$ are diffeomorphisms and are unique stationary points. This now links two different approaches to Teichmüller theory; the classical theory of extremal quasiconformal maps and the harmonic mapping theory. As $p\to\infty$ we show $f_p\to f_\infty$ to recover the unique extremal quasiconformal mapping . This extremal quasiconformal mapping is not a diffeomorphism (unless it is conformal) and $f_p$ degenerates on a divisor. As $p\to0$ we recover the harmonic diffeomorphism in $[f_0]$ and Shoen-Yau's results.

Mappings of finite distortion on metric surfaces

Mappings of finite distortion on metric surfaces

On lower distance estimates of mappings in metric spaces

Definitions of quasiconformality on metric surfaces

Sobolev mappings on metric spaces and Minkowski dimension

On distortion estimates of mappings with the Poletsky condition in domains with Poincare inequality

Quasiconformal curves and quasiconformal maps in metric spaces

Gradient flows in asymmetric metric spaces and applications

On distortion of quasiregular mappings of the upper half plane

Boundary extensions for mappings between metric spaces

Dynamics of certain smooth one-dimensional mappings II: geometrically finite one-dimensional mappings

On Almost Regular Mappings

Lipschitz-Volume Rigidity and Sobolev Coarea Inequality for Metric Surfaces

On perturbed metric-preserved mappings and their stability characterizations

On nonexpansiveness of metric projection operators on Wasserstein spaces

Some geometric applications of the discrete heat flow

Lower semicontinuity, Stoilow factorization and principal maps

The exponential Teichmüller theory: Ahlfors--Hopf differentials and diffeomorphisms

Metric properties of boundary maps, Hilbert entropy and non-differentiability