Ahlfors theory

Last updated

Ahlfors theory is a mathematical theory invented by Lars Ahlfors as a geometric counterpart of the Nevanlinna theory. Ahlfors was awarded one of the two very first Fields Medals for this theory in 1936.

Contents

It can be considered as a generalization of the basic properties of covering maps to the maps which are "almost coverings" in some well defined sense. It applies to bordered Riemann surfaces equipped with conformal Riemannian metrics.

Preliminaries

A bordered Riemann surfaceX can be defined as a region on a compact Riemann surface whose boundary ∂X consists of finitely many disjoint Jordan curves. In most applications these curves are piecewise analytic, but there is some explicit minimal regularity condition on these curves which is necessary to make the theory work; it is called the Ahlfors regularity. A conformal Riemannian metric is defined by a length element ds which is expressed in conformal local coordinates z as ds = ρ(z) |dz|, where ρ is a smooth positive function with isolated zeros. If the zeros are absent, then the metric is called smooth. The length element defines the lengths of rectifiable curves and areas of regions by the formulas

Then the distance between two points is defined as the infimum of the lengths of the curves connecting these points.

Setting and notation

Let X and Y be two bordered Riemann surfaces, and suppose that Y is equipped with a smooth (including the boundary) conformal metric σ(z) dz. Let f be a holomorphic map from X to Y. Then there exists the pull-back metric on X, which is defined by

When X is equipped with this metric, f becomes a local isometry; that is, the length of a curve equals to the length of its image. All lengths and areas on X and Y are measured with respect to these two metrics.

If f sends the boundary of X to the boundary of Y, then f is a ramified covering. In particular,

a) Each point has the same (finite) number of preimages, counting multiplicity. This number is the degree of the covering.
b) The Riemann–Hurwitz formula holds, in particular, the Euler characteristic of X is at most the Euler characteristic of Y times the degree.

Now suppose that some part of the boundary of X is mapped to the interior of Y. This part is called the relative boundary. Let L be the length of this relative boundary.

First main theorem

The average covering number is defined by the formula

This number is a generalization of the degree of a covering. Similarly, for every regular curve γ and for every regular region D in Y the average covering numbers are defined:

The First Main Theorem says that for every regular region and every regular curve,

where L is the length of the relative boundary, and k is the constant that may depend only on Y, σ, D and γ, but is independent of f and X. When L = 0 these inequalities become a weak analog of the property a) of coverings.

Second main theorem

Let ρ be the negative of the Euler characteristic (so that ρ = 2m  2 for the sphere with m holes). Then

This is meaningful only when ρ(Y) > 0, for example when Y is a sphere with three (or more) holes. In this case, the result can be considered as a generalization of the property b) of coverings.

Applications

Suppose now that Z is an open Riemann surface, for example the complex plane or the unit disc, and let Z be equipped with a conformal metric ds. We say that (Z,ds) is regularly exhaustible if there is an increasing sequence of bordered surfaces Dj contained in Z with their closures, whose union in Z, and such that

Ahlfors proved that the complex plane with arbitrary conformal metric is regularly exhaustible. This fact, together with the two main theorems implies Picard's theorem, and the Second main theorem of Nevanlinna theory. Many other important generalizations of Picard's theorem can be obtained from Ahlfors theory.

One especially striking result (conjectured earlier by André Bloch) is the Five Island theorem.

Five-island theorem

Let D1,...,D5 be five Jordan regions on the Riemann sphere with disjoint closures. Then there exists a constant c, depending only on these regions, and having the following property:

Let f be a meromorphic function in the unit disc such that the spherical derivative satisfies

Then there is a simply connected region G contained with its closure in the unit disc, such that f maps G onto one of the regions Dj homeomorphically.

This does not hold with four regions. Take, for example f(z) = ℘(Kz), where K > 0 is arbitrarily large, and is the Weierstrass elliptic function satisfying the differential equation

All preimages of the four points e1,e2,e3,∞ are multiple, so if we take four discs with disjoint closures around these points, there will be no region which is mapped on any of these discs homeomorphically.

Remarks

Besides Ahlfors' original journal paper, [1] the theory is explained in books. [2] [3] [4] Simplified proofs of the Second Main Theorem can be found in the papers of Toki [5] and de Thelin. [6]

A simple proof of the Five Island Theorem, not relying on Ahlfors' theory, was developed by Bergweiler. [7]

Related Research Articles

<span class="mw-page-title-main">Holomorphic function</span> Complex-differentiable (mathematical) function

In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space Cn. The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (analytic). Holomorphic functions are the central objects of study in complex analysis.

<span class="mw-page-title-main">Riemann mapping theorem</span>

In complex analysis, the Riemann mapping theorem states that if is a non-empty simply connected open subset of the complex number plane which is not all of , then there exists a biholomorphic mapping from onto the open unit disk

<span class="mw-page-title-main">Cauchy's integral theorem</span> Theorem in complex analysis

In mathematics, the Cauchy integral theorem in complex analysis, named after Augustin-Louis Cauchy, is an important statement about line integrals for holomorphic functions in the complex plane. Essentially, it says that if is holomorphic in a simply connected domain Ω, then for any simply closed contour in Ω, that contour integral is zero.

<span class="mw-page-title-main">Winding number</span> Number of times a curve wraps around a point in the plane

In mathematics, the winding number or winding index of a closed curve in the plane around a given point is an integer representing the total number of times that curve travels counterclockwise around the point, i.e., the curve's number of turns. For certain open plane curves, the number of turns may be non-integer. The winding number depends on the orientation of the curve, and it is negative if the curve travels around the point clockwise.

In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold. It is a local invariant of Riemannian metrics which measures the failure of the second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is flat, i.e. locally isometric to the Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.

In vector calculus, Green's theorem relates a line integral around a simple closed curve C to a double integral over the plane region D bounded by C. It is the two-dimensional special case of Stokes' theorem.

In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space.

In the mathematical field of complex analysis, contour integration is a method of evaluating certain integrals along paths in the complex plane.

In mathematics, the Poincaré metric, named after Henri Poincaré, is the metric tensor describing a two-dimensional surface of constant negative curvature. It is the natural metric commonly used in a variety of calculations in hyperbolic geometry or Riemann surfaces.

In theoretical physics and mathematics, a Wess–Zumino–Witten (WZW) model, also called a Wess–Zumino–Novikov–Witten model, is a type of two-dimensional conformal field theory named after Julius Wess, Bruno Zumino, Sergei Novikov and Edward Witten. A WZW model is associated to a Lie group, and its symmetry algebra is the affine Lie algebra built from the corresponding Lie algebra. By extension, the name WZW model is sometimes used for any conformal field theory whose symmetry algebra is an affine Lie algebra.

When studying and formulating Albert Einstein's theory of general relativity, various mathematical structures and techniques are utilized. The main tools used in this geometrical theory of gravitation are tensor fields defined on a Lorentzian manifold representing spacetime. This article is a general description of the mathematics of general relativity.

In mathematics, the Teichmüller space of a (real) topological surface is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.

In mathematics, the von Mangoldt function is an arithmetic function named after German mathematician Hans von Mangoldt. It is an example of an important arithmetic function that is neither multiplicative nor additive.

In mathematics, Carathéodory's theorem is a theorem in complex analysis, named after Constantin Carathéodory, which extends the Riemann mapping theorem. The theorem, first proved in 1913, states that any conformal mapping sending the unit disk to some region in the complex plane bounded by a Jordan curve extends continuously to a homeomorphism from the unit circle onto the Jordan curve. The result is one of Carathéodory's results on prime ends and the boundary behaviour of univalent holomorphic functions.

In mathematical complex analysis, a quasiconformal mapping, introduced by Grötzsch (1928) and named by Ahlfors (1935), is a homeomorphism between plane domains which to first order takes small circles to small ellipses of bounded eccentricity.

The Kutta–Joukowski theorem is a fundamental theorem in aerodynamics used for the calculation of lift of an airfoil translating in a uniform fluid at a constant speed large enough so that the flow seen in the body-fixed frame is steady and unseparated. The theorem relates the lift generated by an airfoil to the speed of the airfoil through the fluid, the density of the fluid and the circulation around the airfoil. The circulation is defined as the line integral around a closed loop enclosing the airfoil of the component of the velocity of the fluid tangent to the loop. It is named after Martin Kutta and Nikolai Zhukovsky who first developed its key ideas in the early 20th century. Kutta–Joukowski theorem is an inviscid theory, but it is a good approximation for real viscous flow in typical aerodynamic applications.

In mathematics, specifically in differential geometry, isothermal coordinates on a Riemannian manifold are local coordinates where the metric is conformal to the Euclidean metric. This means that in isothermal coordinates, the Riemannian metric locally has the form

<span class="mw-page-title-main">Differential geometry of surfaces</span> The mathematics of smooth surfaces

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

In the mathematical theory of conformal and quasiconformal mappings, the extremal length of a collection of curves is a measure of the size of that is invariant under conformal mappings. More specifically, suppose that is an open set in the complex plane and is a collection of paths in and is a conformal mapping. Then the extremal length of is equal to the extremal length of the image of under . One also works with the conformal modulus of , the reciprocal of the extremal length. The fact that extremal length and conformal modulus are conformal invariants of makes them useful tools in the study of conformal and quasi-conformal mappings. One also works with extremal length in dimensions greater than two and certain other metric spaces, but the following deals primarily with the two dimensional setting.

In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms path integral, curve integral, and curvilinear integral are also used; contour integral is used as well, although that is typically reserved for line integrals in the complex plane.

References

  1. Ahlfors, L. (1935). "Zur Theorie der Uberlagerungsflachen". Acta Mathematica. 65: 157–194 (German). doi: 10.1007/BF02420945 . S2CID   123950277.
  2. Hayman, W. (1964). Meromorphic functions. Oxford University Press.
  3. Nevanlinna, R. (1970). Analytic functions. Springer Verlag.
  4. Tsuji, M. (1959). Potential theory in modern function theory. Tokyo: Maruzen.
  5. Toki, Yukinari (1957). "Proof of Ahlfors principal covering theorem". Rev. Math. Pures Appl. 2: 277–280.
  6. de Thelin, Henry (2005). "Une démonstration du théorème de recouvrement de surfaces d'Ahlfors". Ann. Fac. Sci. Toulouse Math. 51: 203–209. (French). arXiv: math/0503136 .
  7. Bergweiler, Walter (1998). "A new proof of the Ahlfors five islands theorem". Journal d'Analyse Mathématique . 76: 337–347. CiteSeerX   10.1.1.432.4324 . doi: 10.1007/BF02786941 . S2CID   122384897.