4
$\begingroup$

Suppose a sequence of analytic maps $f_n: \mathbb{D} \to \mathbb{D}$ from the unit disk to itself, each of which is a topological covering map to its image, converges locally uniformly to an analytic map $f$. Under what conditions will the limit $f$ also be a topological covering map to its image? (I am also interested in other possibilites for domain and range of the $f_n$.)

Using Rouche's theorem, one can show that the local uniform limit of injective analytic functions is again injective, provided that the limit is not constant. One thing I would like to know is if a similar result holds if we replace "injective" with "covering map".

This sort of question comes up if you try to prove the uniformization theorem in the special case of a plane domain $U\subset \mathbb{C}$.

$\endgroup$
2
  • $\begingroup$ Does $\mathbb{D}$ stand for the unit disk? If so, then an analytic map $\mathbb{C}\to\mathbb{D}$ is bounded and hence constant. $\endgroup$
    – algori
    Feb 20, 2012 at 0:39
  • $\begingroup$ Yeah, sorry, $\mathbb{D}$ is the unit disk, and both domain and range are supposed to be $\mathbb{D}$. $\endgroup$
    – Ben Dozier
    Feb 20, 2012 at 0:50

4 Answers 4

7
$\begingroup$

There are essentially two cases when the limit is not a covering map: (a) the limit is constant, (b) the images $S_n:=f_n(D)$ are annuli which collapse to a circle. There could be a more elementary explanation, but the one below uses Fuchsian groups and a bit of hyperbolic geometry.

Sketch of the proof. Each surface $S_n$ can be identified with the quotient $D/G_n$, where $G_n$ is a Fuchsian group (a discrete torsion-free isometry group of the unit disk $D$, which we will regard as the hyperbolic plane). Thus, I will think of $S_n$ as complete hyperbolic surfaces. Now, the sequence of discrete groups $G_n$ will subconverge in "Chabauty topology" (or "geometrically" in Thurston's terminology) to a closed subgroup $G$ of $PSL(2,R)$, the isometry group of $D$. Most the the time the group $G$ will be discrete and torsion-free. The one exception is when the groups $G_n$ converging to $G$ are elementary, i.e., cyclic, then the limit could be 1-dimensional (this is where you discover the annular example). Suppose now that the group $G$ is discrete and consider the quotient surface $D/G=S$. Then (after you choose base-points) the surfaces $S_n$ converge to $S$ in "Gromov-Hausdorff topology." (You may have to read something like "Lectures on Hyperbolic Geometry" by Benedetti and Petronio if the terminology is unfamiliar.) This means that large metric balls in $S$ (in the hyperbolic metric of $S$) are nearly conformal to corresponding metric balls in $S_n$ (i.e., quasiconformal with small quasiconformality constants). Thus, your limiting holomorphic map $f: D\to D$ (which I assume to be nonconstant) would factor as a composition of $p: D\to S$ (the universal covering map) and a holomorphic map $F: S\to D$, which I claim is 1-1. If the map $F$ were the limit of a sequence of conformal maps $S\to D$, you would be done (say, by Rauche's theorem), as you observed in your question. Instead it is a limit of almost conformal quasiconformal maps above ($S\to S_n$) defined on larger and larger compact subsets of $S$. Now, you have to check that the same conformal arguments that you know would go through in the quasiconformal situation as well (since they are nothing but degree arguments and work for local homeomorpisms as well), which concludes the proof.

Edit: Here is a better and more general argument which works in (smooth) topological setting:

Theorem. Let $M, N$ be smooth manifolds of the same dimension, so that $M$ is connected and $N$ is compact. Let $f_i: M\to N_i\subset N$ be a sequence of (locally diffeomorphic) covering maps, which converges on compacts in $C^1$-topology to a local diffeomorphism $f_0: M\to N$, whose image is a domain $N_0\subset N$. Then $f_0: M\to N_0$ is also a covering map.

Proof. Let $g$ be a Riemannian metric on $N$. Define function $\rho_i$ on $N_i$ to be the (minimal) distance function from $x\in N_i$ to the frontier of $N_i$ in $N$, $i\ge 0$. Then the sequence of functions $\rho_i$ is semicontinuous in the sense that for every $x\in N_0$, $\lim inf \rho_i(x) \ge \rho_0(x)$. Now define (Lipschitz) continuous Riemannian metrics $g_i=g/\rho_i$ on $N_i$. These are my replacements of Poincare metrics. used in the original argument One verifies easily that every $g_i$ is complete (here and below completeness is in Cauchy sense since exponential map need not be defined even locally).

It is a standard fact of Riemannian geometry that a local diffeomorphism of smooth connected manifolds is a covering map iff the pull-back of some (every) complete Riemannian metric on the target is complete as a Riemannian metric on the domain. It is easy to check that the proof goes through in the case of continuous Riemannian metrics.

Now, the continuous Riemannian metric $\tilde{g}_i=f_i^*(g_i)$ is complete for every $i>0$. On the other hand, for every $i$, $$ f_i^*(g_i)\le f_0^*(g_0). $$ Thus, completeness of the metrics $\tilde{g}_i$ for $i>0$ implies completeness of $\tilde{g}_0$. Hence, $f_0: M\to N_0$ is a covering map. Qed.

$\endgroup$
4
  • $\begingroup$ Thanks for the answer and the reference! I think I understand the general idea, but the topologies on groups and surfaces that you speak of are unfamiliar to me. $\endgroup$
    – Ben Dozier
    Feb 25, 2012 at 18:59
  • $\begingroup$ Misha can you please tell some reference(s) regarding your second argument (general one). $\endgroup$
    – dushya
    Aug 5, 2012 at 6:59
  • $\begingroup$ @dushya: The only reference you need is about characterization of coverings in terms of completeness: I read it in Kobayashi-Nomizu (1st volume, I think). It is typically used in the proof of Cartan-Hadamard theorem, so you should be able to find it in any book where this theorem is proven. $\endgroup$
    – Misha
    Aug 5, 2012 at 7:16
  • $\begingroup$ @Misha - I realise that this is a very old question, but one comment. The locally uniform limit of holomorphic functions is either holomorphic (hence open) or constant. So I don't think any case where the image of the limit map is a circle can occur. Am I misunderstanding something? $\endgroup$ Dec 21, 2020 at 0:10
1
$\begingroup$

If $f_n:U\to\mathbb{C}$ are holomorphic and $f=\lim_{n\to\infty} f_n$ uniformly on each compact subset of $U$, then $f'$ has no zeros, provided none of the $f'_n$'s have any and $f$ is not constant. Indeed, then $f'_n\to f'$ uniformly on all compact subsets of $U$ and if $f'(z)=0$, then we can apply Rouch\'e's theorem to $f',f'-f'_n$ and a disk $D\subset U$ such that $z\in D$, $f'$ has no zeros on $\partial D$ and $sup_{\partial D}|f'-f_n'|<inf_{\partial D}|f'|$ to conclude that $f'_n$ has a zero in the interior of $D$ as well.

On the other hand, it may happen that $f$ is constant: take $U$ to be the unit disk and $f_n(z)=z/n$.

$\endgroup$
3
  • $\begingroup$ I think I understand what you're saying, but I don't quite see the relevance of the first point. $\endgroup$
    – Ben Dozier
    Feb 20, 2012 at 18:09
  • $\begingroup$ Ben -- in my answer I assumed that by a "covering" you meant a map with a nowhere vanishing differential. Did you in fact mean an honest (topological) covering? If so, apologies. I'll then edit my answer to include this case as well. $\endgroup$
    – algori
    Feb 20, 2012 at 22:16
  • $\begingroup$ @algori: I mean a topological covering map. I'm not familiar with the other definition, but if it's somehow related, perhaps I should look into it. $\endgroup$
    – Ben Dozier
    Feb 20, 2012 at 23:43
1
$\begingroup$

The paper of Detlef Bargmann, "Normal families of covering maps" in Journal d'Analyse, 2001, is relevant to this question; see http://dx.doi.org/10.1007/BF02788084 .

His Theorem 1 implies, in particular, the answer to your question: a non-constant locally uniform limit of covering maps is again a covering map. More generally,

More precisely, Bargmann considers meromorphic covering maps $f$ from an open subset of the Riemann sphere to another. Theorem 1 states that, if a sequence $f_n$ of such covering maps converges uniformly in a neighbourhood of some point to a non-constant map, then they converge locally uniformly on the largest set for which this is possible (the kernel in the sense of Carathéodory of their domains), and the limit is a covering map onto its image.

So you do not need to assume that your maps converge locally uniformly on the whole disc, but only in the neighbourhood of some point.

In particular, it contains a proof of the uniformisation of plane domains by an approach via covering maps, which does not require knowledge of the covering of a triply-punctured sphere (i.e., the modular function).

$\endgroup$
1
  • 1
    $\begingroup$ Uniformisation of plane domains without use of elliptic modular functions is already in Rado's original paper where he also wrote up the Fejer Riesz proof of Riemann mapping theorem. $\endgroup$ Dec 23, 2020 at 16:47
0
$\begingroup$

Any covering from a disc to a disc is a homeomorphism. (Because the disc is simply connected). Thus every analytic covering of a disc to itself is fractional linear. The limit is either fractional-linear or a constant.

On my opinion, this topics should be closed; it does not belong to this list.

$\endgroup$
3
  • $\begingroup$ @Alexandre: The maps are only assumed to be covering maps to their images, not to the entire disk. The solution is not very hard but is not completely trivial either, see my answer. $\endgroup$
    – Misha
    Aug 4, 2012 at 15:47
  • $\begingroup$ In such case why to use the technical term "covering", (which has a precise meaning), rather than to say that they are injective. The limit of injective holomorphic map is a constant or an injective holomorhic map. What else are you asking? $\endgroup$ Aug 4, 2012 at 17:28
  • $\begingroup$ @Alexandre: Alex, I am personally not asking for anything here. However, the question that Ben asked is natural: Is it true that the limit of a sequence of covering maps is a covering map (under certain conditions)? Why is he interested in this particular question (and why did he consider only maps from disk to disk which is not very natural) I do not know, you should ask him and not me. If you read his question you notice that he knows that limit of injective maps is injective. In any case, as I said, the proof that is not hard, but is not immediate either, so the question does belong to MO. $\endgroup$
    – Misha
    Aug 5, 2012 at 4:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.