A fixed point theorem for branched covering maps of the plane

It is known that every homeomorphism of the plane has a fixed point in a non-separating, invariant subcontinuum. Easy examples show that a branched covering map of the plane can be periodic point free. In this paper we show that any branched covering map of the plane of degree with absolute value at most two, which has an invariant, non-separating continuum $Y$, either has a fixed point in $Y$, or $Y$ contains a \emph{minimal (by inclusion among invariant continua), fully invariant, non-separating} subcontinuum $X$. In the latter case, $f$ has to be of degree -2 and $X$ has exactly three fixed prime ends, one corresponding to an \emph{outchannel} and the other two to \emph{inchannels}.

💡 Research Summary

The paper investigates fixed‑point phenomena for branched covering maps of the Euclidean plane, extending classical results that guarantee a fixed point for any plane homeomorphism within a non‑separating invariant continuum. While branched coverings can be constructed without periodic points, the author shows that a strong restriction emerges when the map’s degree has absolute value at most two.

The main theorem states: let (f:\mathbb{R}^2\to\mathbb{R}^2) be a branched covering map with (|\deg f|\le 2) and let (Y\subset\mathbb{R}^2) be a non‑separating continuum satisfying (f(Y)\subset Y). Then either (i) (f) possesses a fixed point in (Y), or (ii) the degree is exactly (-2) and (Y) contains a minimal (with respect to inclusion among invariant continua), fully invariant, non‑separating subcontinuum (X). In the latter case (X) has precisely three fixed prime ends: one corresponds to an “out‑channel” (a dynamical escape route from (X)) and the other two to “in‑channels” (entrance routes into (X)).

The proof proceeds in several stages. First, the author reviews the classical fixed‑point index and Lefschetz theory for planar maps, showing that degree (+1) (homeomorphisms) and degree (-1) (orientation‑reversing involutions) inevitably yield a fixed point inside any invariant non‑separating continuum. The novel difficulty lies in the degree (-2) case, where the map is a two‑sheeted covering that reverses orientation twice.

To handle this, the complement (\Omega=\mathbb{R}^2\setminus X) is shown to be a simply connected domain whose boundary is a Jordan curve. By Carathéodory’s theorem, the prime‑end compactification of (\Omega) is a closed disk, and the induced map on the circle of prime ends is a continuous degree‑zero circle map. Classical results on circle maps of degree zero guarantee at least three fixed points on the circle; these lift to three fixed prime ends of (f) on (\partial X). The author then classifies the dynamics near each fixed prime end, distinguishing the out‑channel (where forward orbits leave every compact subset of (X)) from the two in‑channels (where forward orbits accumulate inside (X)).

The existence of a minimal fully invariant subcontinuum (X) is obtained via Zorn’s lemma: the family of non‑empty invariant non‑separating continua ordered by inclusion has a minimal element, which must be fully invariant because any proper invariant subcontinuum would contradict minimality.

Several illustrative examples are provided, notably the map (f(z)=-z^{2}) on the complex plane, which has degree (-2) and exhibits exactly the described configuration: the unit disk is a minimal fully invariant non‑separating continuum, and its boundary supports three fixed prime ends, one out‑channel and two in‑channels.

The paper concludes by discussing the sharpness of the degree bound. For (|\deg f|\ge 3) one can construct branched coverings without any fixed points or the prescribed channel structure, showing that the theorem cannot be extended without additional hypotheses. The results open avenues for further research on higher‑degree branched coverings, possible extensions to surfaces of higher genus, and connections with complex dynamics where similar prime‑end techniques appear.