Planar Riemann surface

In mathematics, a planar Riemann surface (or schlichtartig Riemann surface) is a Riemann surface sharing the topological properties of a connected open subset of the Riemann sphere. They are characterized by the topological property that the complement of any closed Jordan curve in the Riemann surface has two connected components. An equivalent characterization is the differential geometric property that any closed differential 1-form of compact support is exact. Any simply connected Riemann surface is planar. The class of planar Riemann surfaces was studied by Koebe who proved in 1910 as a generalization of the uniformization theorem that any such surface is conformally equivalent to either the Riemann sphere or the complex plane with slits parallel to the real axis removed.

Elementary properties

This follows from the Poincaré lemma for 1-forms and the fact that ∫δ df = f(δ(b)) – f(δ(a)) for a path δ parametrized by [a, b] and f a smooth function defined on an open neighbourhood of δ([a, b]). This formula for ∫δ df extends by continuity to continuous paths, and hence vanishes for a closed path. Conversely if ∫γ ω = 0 for every closed Jordan curve γ, then a function f(z) can be defined on X by fixing a point w and taking any piecewise smooth path δ from w to z and set f(z) = ∫δ ω. The assumption implies that f is independent of the path. To check that df = ω, it suffices to check this locally. Fix z0 and take a path δ1 from w to z0. Near z0 the Poincaré lemma implies ω =dg for some smooth function g defined in a neighbourhood of z0. If δ2 is a path from z0 to z, then f(z) = ∫δ1 ω + ∫δ2 ω = ∫δ1 ω + g(z) - g(z0), so f differs from g by a constant near z0. Hence df = dg = ω near z0.
If the closed Jordan curve γ separates the surface, it is homotopic to a smooth Jordan curve δ (with non-vanishing derivative) that separates the surface into two halves. The integral of dω over each half equals ± ∫δ ω by Stokes' theorem. Since dω = 0, it follows that ∫δ ω = 0. Hence ∫γ ω = 0.
Conversely suppose γ is a Jordan curve that does not separate the Riemann surface. Replacing γ by a homotopic curve, it may be assumed that γ is a smooth Jordan curve δ with non-vanishing derivative. Since γ does not separate the surface, there is a smooth Jordan curve δ (with non-vanishing derivative) which cuts γ transversely at only one point. An open neighbourhood of γ ∪ δ is diffeomorphic to an open neighbourhood of corresponding Jordan curves in a torus. A model for this can be taken as the square [−π,π]×[−π,π] in R2 with opposite sides identified; the transverse Jordan curves γ and δ correspond to the x and y axes. Let ω = a(x) dx with a ≥ 0 supported near 0 with ∫ a = 1. Thus ω is a closed 1-form supported in an open neighbourhood of δ with ∫γ ω = 1 ≠ 0.
Let ω be a closed 1-form of compact support on a planar Riemann surface. If γ is a closed Jordan curve on the surface, then it separates the surface. Hence ∫γ ω = 0. Since this is true for all closed Jordan curves, ω must be exact.
Conversely suppose that every closed 1-form of compact support is exact. Let γ be closed Jordan curve. Let ω be closed 1-form of compact support. Because ω must be exact, ∫γ ω = 0. It follows that γ on separates the surface into two disjoint connected regions. So the surface is planar.
This is immediate from the characterization in terms of 1-forms.
If ω is a closed 1-form of compact support, the integral ∫γ ω is independent of the homotopy class of γ. In a simply connected Riemann surface, every closed curve is homotpic to a constant curve for which the integral is zero. Hence a simply connected Riemann surface is planar.

Uniformization theorem

Koebe's Theorem. A compact planar Riemann surface X is conformally equivalent to the Riemann sphere. A non-compact planar Riemann surface X is conformally equivalent to the complex plane with isolated points or closed intervals parallel to the real axis removed.

This is a consequence of Dirichlet's principle, which can be proved using Weyl's method of orthogonal projection in the space of square integrable 1-forms.
where M = sup (|φ|, |φ'|, |ψ|, |ψ'|), and
contradicting the orthogonality condition on U.
(1) Since V is only defined up to a constant, it suffices to prove this for the level curve V = 0.[6] It suffices to show that V = 0 divides the surface into two connected open regions. If not, there is a connected component W of the complement of V = 0 not containing the pole of f in its closure. Take g = f and a = 0 and b = ∞ if V > 0 on W and a = −∞ and b = 0 if V < 0 on W. The boundary of W lies on the level curve V = 0. Take g = f in this case. Since ψ(v) vanishes to infinite order when v = 0, h is a smooth function, so Koebe's argument gives a contradiction.
(2) It suffices to show that the open set defined by a < V < b is connected.[7] If not, this open set has a connected component W not containing the pole of f in its closure. Take g = f in this case. The boundary of W lies on the level curves V = a and V = b. Since ψ(v) vanishes to infinite order when v = a or b, h is a smooth function, so Koebe's argument gives a contradiction.
(3) Translating f by a constant if necessary, it suffices to show that if U = 0 = V at a regular point of f, then the two level curves U = 0 and V = 0 divide the surface into 4 connected regions.[8] The level curves U = 0, V = 0 divide the Riemann surface into four disjoint open sets ±u > 0 and ±v > 0. If one of these open sets is not connected, then it has an open connected component W not containing the pole in its closure. If v > 0 on W, take a = 0 and b = ÷∞; if v < 0 on W, set a = −∞ and b = 0. Take g = f in this case. The boundary of W lies on the union of the level curves U = 0 and V = 0. Since φ and ψ vanish to infinite order at 0, h is smooth function, so Koebe's argument gives a contradiction. Finally, using f as a local coordinate, the level curves divide an open neighbourhood of the regular point into four disjoint connected open sets; in particular each of the four regions is non-empty and contains the regular point in its closure; similar reasoning applies at the pole of f using f(z)–1 as a local coordinate.
Suppose that f takes the same value at two regular points z and w and has a pole at ζ. Translating f by a constant if necessary, it can be assumed that f(z) = 0 = f(w). The points z, w and ζ lies in the closure of each of the four regions into which the level curves U = 0 and V = 0 divide the surface. the points z and w can be joined by a Jordan curve in the region U > 0, V > 0 apart from their endpoints. Similarly they can be joined by a Jordan curve the region U < 0, V < 0 apart from their endpoints, where the curve is transverse to the boundary. Together these curves give a closed Jordan curve γ passing through z and w. Since the Riemann surface X is planar, this Jordan curve must divide the surface into two open connected regions. The pole ζ must lie in one of these regions, Y say. Since each of the connected open regions U > 0, V < 0 and U < 0, V > 0 is disjoint from γ and intersects a neighbourhood of ζ, both must be contained in Y. On the other hand using f to define coordinates near z (or w) the curve lies in two opposite quadrants and the other two open quadrants lie in different components of the complement of the curve, a contradiction.[9]
If f is not regular at a point, in local coordinates f has the expansion f(z) = a + b zm (1 + c1z + c2z2 + ⋅⋅⋅) with b ≠ 0 and m > 1. By the argument principle—or by taking the mth root of 1 + c1z + c2z2 + ⋅⋅⋅ —away from 0 this map is m-to-one, a contradiction.[10]
Considered as a holomorphic mapping from the Riemann surface X to the Riemann sphere, f is regular everywhere including at infinity. So its image Ω is open in the Riemann sphere. Since it is one-one, the inverse mapping of f is holomorphic from the image onto the Riemann surface. In particular the two are homeomorphic. If the image is the whole sphere then the first statement follows. In this case the Riemann surface is compact. Conversely if the Riemann surface is compact, its image is compact so closed. But then the image is open and closed and hence the whole Riemann sphere by connectivity. If f is not onto, the complement of the image is a closed non-empty subset of the Riemann sphere. So it is a compact subset of the Riemann sphere. It does not contain ∞. So the complement of the image is a compact subset of the complex plane. Now on the Riemann surface the open subsets a < V < b are connected. So the open set of points w in Ω with a < Im w < b is connected and hence path connected. To prove that Ω is a horizontal slit region, it is enough to show that every connected component of C \ Ω is either a single point or a compact interval parallel to the x axis. This follows once it is known that two points in the complement with different imaginary parts lie in different connect components.
Suppose then that w1 = u1 + iv1 and w2 = u2 + iv2 are points in C \ Ω with v1 < v2. Take a point in the strip v1 < Im z < v2, say w. By compactness of C \ Ω, this set is contained in the interior of a circle of radius R centre w. The points w ± R lie in the intersection of Ω and the strip, which is open and connected. So they can be joined by a piecewise linear curve in the intersection. This curve and one of the semicircles between z + R and z − R give a Jordan curve enclosing w1 with w2 in its exterior. But then w1 and w2 lie on different connected components of C \ Ω. Finally the connected components of C \ Ω must be closed, so compact; and the connected compact subsets of a line parallel to the x axis are just isolated points or closed intervals.[11]

Applications

Koebe's uniformization theorem for planar Riemann surfaces implies the uniformization theorem for simply connected Riemann surface. Indeed, the slit domain is either the whole Riemann sphere; or the Riemann sphere less a point, so the complex plane after applying a Möbius transformation to move the point to infinity; or the Riemann sphere less a closed interval parallel to the real axis. After applying a Möbius transformation, the closed interval can be mapped to [–1,1]. It is therefore conformally equivalent to the unit disk, since the conformal mapping g(z) = (z + z−1)/2 maps the unit disk onto C \ [−1,1].

Koebe's theorem also implies that any finitely connected bounded region in the plane is conformally equivalent to the open unit disk with finitely many smaller disjoint closed disks removed, or equivalently the extended complex plane with finitely many disjoint closed disks removed. This result is known as Koebe's "Kreisnormierungs" theorem.

Following Goluzin (1969) it can be deduced from the parallel slit theorem using a variant of Carathéodory's kernel theorem and Brouwer's theorem on invariance of domain. Goluzin's method is a simplification of Koebe's original argument.

In fact any conformal mapping of such a circular domain onto another circular domain is necessarily given by a Möbius transformation. To see this, it can be assumed that both domains contain the point ∞ and that the conformal mapping f carries ∞ onto ∞. The mapping functions can be continued continuously to the boundary circles. Successive inversions in these boundary circles generate Schottky groups. The union of the domains under the action of both Schottky groups define dense open subsets of the Riemann sphere. By the Schwarz reflection principle. f can be extended to a conformal map between these open dense sets. Their complements are the limit sets of the Schottky groups. They are compact and have measure zero. The Koebe distortion theorem can then be used to prove that f extends continuously to a conformal map of the Riemann sphere onto itself. Consequently, f is given by a Möbius transformation.[12]

Now the space of circular domains with n circles has dimension 3n – 2 (fixing a point on one circle) as does the space of parallel slit domains with n parallel slits (fixing an endpoint point on a slit). Both spaces are path connected. The parallel slit theorem gives a map from one space to the other. It is one-one because conformal maps between circular domains are given by Möbius transformations. It is continuous by the convergence theorem for kernels. By invariance of domain, the map carries open sets onto open sets. The convergence theorem for kernels can be applied to the inverse of the map: it proves that if a sequence of slit domains is realisable by circular domains and the slit domains tend to a slit domain, then the corresponding sequence of circular domains converges to a circular domain; moreover the associated conformal mappings also converge. So the map must be onto by path connectedness of the target space.[13]

An account of Koebe's original proof of uniformization by circular domains can be found in Bieberbach (1953). Uniformization can also be proved using the Beltrami equation. Schiffer & Hawley (1962) constructed the conformal mapping to a circular domain by minimizing a nonlinear functional—a method that generalized the Dirichlet principle.

Koebe also described two iterative schemes for constructing the conformal mapping onto a circular domain; these are described in Gaier (1964) and Henrici (1986). In fact suppose a region on the Riemann sphere is given by the exterior of n disjoint Jordan curves and that ∞ is an exterior point. Let f1 be the Riemann mapping sending the outside of the first curve onto the outside of the unit disk, fixing ∞. The Jordan curves are transformed by f1 to n new curves. Now do the same for the second curve to get f2 with another new set of n curves. Continue in this way until fn has been defined. Then restart the process on the first of the new curves and continue. The curves gradually tend to fixed circles and for large N the map fN approaches the identity; and the compositions fN ∘ fN−1 ∘ ⋅⋅⋅ ∘ f2 ∘ f1 tend uniformly on compacta to the uniformizing map.[14]

Uniformization by parallel slit domains holds for arbitrary connected open domains in C; Koebe (1908) conjectured (Koebe's "Kreisnormierungsproblem") that a similar statement was true for uniformization by circular domains. He & Schramm (1993) proved Koebe's conjecture when the number of boundary components is countable; although proved for wide classes of domains, the conjecture remains open when the number of boundary components is uncountable. Koebe (1936) also considered the limiting case of osculating or tangential circles which has continued to be actively studied in the theory of circle packing.

Notes

  1. ↑ Kodaira 2007, pp. 257,293
  2. ↑ Napier & Ramachandran 2011, pp. 267,335
  3. ↑ Napier & Ramachandran 2011, p. 267
  4. ↑ Kodaira 2007, pp. 320–321
  5. ↑ See:
  6. ↑ Weyl 1955, pp. 161–162
  7. ↑ Kodaira, pp. 324–325
  8. ↑ Springer 1957, pp. 220–222
  9. ↑ Springer 1957, p. 223
  10. ↑ Springer 1957, p. 223
  11. ↑ Kodaira 2007, pp. 328–329
  12. ↑ Goluzin 1969, pp. 234–237
  13. ↑ Goluzin 1969, pp. 237–241
  14. ↑ Henrici 1986, pp. 497–504

References

This article is issued from Wikipedia - version of the 10/14/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.