[Paper Review] The Riemann Mapping Problem

Zhijian Qiu|arXiv (Cornell University)|Jul 1, 2013

Meromorphic and Entire Functions4 citations

TL;DR

This paper solves the century-old Riemann mapping problem by introducing the concept of multiple points on the boundary of a simply connected domain. It proves that the Riemann map extends continuously to the closure if and only if the boundary contains no multiple points, offering a topological characterization independent of boundary smoothness.

ABSTRACT

In this article we investigate the century-old continuous extension problem of the Riemann map. Let $G$ be a simply connected domain. We call $λ$ in $\partial G$ a multiple point if there are simply connected subdomains $ U$ and $V$ such that $λ\in\partial U \cap\partial V$ and $ dist (\partial U\cap G , \partial V\cap G )>0$. We show that the Riemann map of $G$ has a continuous extension to $\overline G$ if and only if $\partial G$has no multiple points. All of the results in this paper, together with the Riemann mapping theorem, give a complete and desirable solution to the mapping problem that was originally raised by Riemann in 1851 and intensively investigated by many famous mathematicians throughout history.

Motivation & Objective

• To resolve the long-standing continuous extension problem of the Riemann map to the boundary of simply connected domains.
• To identify the precise topological condition on the boundary that determines whether the Riemann map extends continuously.
• To provide a complete and definitive solution to the boundary behavior problem originally raised by Riemann in 1851.
• To offer a localizable criterion for continuous extension that applies beyond Jordan domains and generalizes to non-simply connected settings.

Proposed method

• Introduces the novel concept of a 'multiple point' on the boundary: a point λ ∈ ∂G where two simply connected subdomains U and V meet, with positive distance between their relative interiors in G.
• Establishes a characterization of continuous extension via the absence of multiple points on ∂G.
• Uses topological and analytic tools, including prime ends and boundary behavior of conformal maps, to analyze the extension problem.
• Applies a local argument based on path lifting and connectedness of preimages to show that non-connected preimages lead to contradiction.
• Employs a quotient space construction to describe the structure of the extended map, showing that the inverse image of each boundary point is connected.
• Proves that the extended map is a quotient map and, under continuity, induces a homeomorphism from the quotient space of preimages to the closed unit disk.

Experimental results

Research questions

• RQ1 Under what topological conditions on the boundary of a simply connected domain does the Riemann map extend continuously to the closure?
• RQ2 How does the presence or absence of multiple points on the boundary affect the boundary behavior of the Riemann map?
• RQ3 Can the continuous extension problem be resolved without assuming smoothness or analyticity of the boundary?
• RQ4 What is the topological structure of the preimage of each boundary point under a continuous extension of the Riemann map?
• RQ5 Is there a homeomorphic characterization of the extended Riemann map in terms of the quotient space of boundary preimages?

Key findings

• The Riemann map of a simply connected domain G extends continuously to the closure if and only if ∂G contains no multiple points.
• The continuity of the Riemann map on the boundary depends solely on the multiplicity of boundary points, not on the smoothness or analyticity of the boundary.
• Each preimage φ⁻¹(z) for z ∈ ∂D is either a single point or a connected closed subset of ∂G.
• The extended map induces a homeomorphism from the quotient space of connected preimages to the closed unit disk.
• The result provides a complete and definitive solution to the Riemann mapping problem, unifying and extending classical results such as Carathéodory’s theorem.
• The method is localizable and can be adapted to treat conformal maps between non-simply connected domains with minor modifications.