Suppose $f: \mathbb{C}^n \to \mathbb{C}^n$ is a proper polynomial mapping and $\gamma: [0,1] \to \mathbb{C}^n$ is a continuous path. Further, suppose $z\_0 \in \mathbb{C}^n$ satisfies $f(z\_0)=\gamma(0)$. Does there exist a (not necessarily unique) lift of $\gamma$ under $f$ based at $z\_0$? Is there a published reference for this fact?



Do proper polynomial mappings have a path-lifting property?
The answer is yes, here is a proof.


Let $k=2n$. The polynomial, regarded as a map $f:\mathbb R^k\to\mathbb R^k$, has the following properties:


(1) The pre-image of every point if finite, moreover the cardinality of a pre-image is uniformly bounded by some constant $N$ (by Bezout's theorem, see comments).


(2) The set $\Sigma$ of singularities of $f$ (i.e. points where $\det df=0$) is a union of finitely many smooth submanifolds of (real) codimension at least 2.


This (along with smoothness and properness) implies the path-lifting property.


First, observe the following facts:


(3) $f(\Sigma)$ is closed (because $\Sigma$ is closed and $f$ is proper).


(4) $\mathbb R^k\setminus f(\Sigma)$ is path connected. Moreover any path in $\mathbb R^k$ is a uniform limit of paths avoiding $f(\Sigma)$. This follows from the fact that $f(\Sigma)$ has Hausdorff dimension at most $k-2$.


(5) For every compact set $K\subset\mathbb R^k$ and every $\varepsilon>0$, there exists $\delta>0$ such that for every connected set $S\subset K$ of diameter greater than $\varepsilon$, the diameter of $f(S)$ is greater than $\delta$. Indeed, if this is not the case, there would be a sequence $S\_i$ of connected subsets of $K$ with diameters at least some $\varepsilon\_0>0$ and diameters of images going to zero. By choosing a subsequence, we may assume that the images converge to some $y\_0\in\mathbb R^k$.
Since $S\_i$ is connected and has diameter at least $\varepsilon\_0$, it contains a finite subset $P\_i$ of cardinality $N+1$ such that all points of $P\_i$ are separated away from one another by distance at least $\varepsilon\_0/2N$. A subsequence of $\{P\_i\}$ converge to a set $P$ of cardinality $N+1$, and all points of $P$ are mapped by $f$ to $x\_0$, contrary to (1).


Now, in order to lift a path $\gamma$, approximate it by paths $\gamma\_i\subset\mathbb R^k\setminus f(\Sigma)$. The restriction of $f$ to the pre-image of $R^k\setminus f(\Sigma)$ is a covering map to $R^k\setminus f(\Sigma)$ because it is a proper local homeomorphism. So there are lifts $\tilde\gamma\_i$ of $\gamma\_i$. Now it suffices to find a converging subsequence of $\{\tilde\gamma\_i\}$. To do this, it suffices to show that this sequence is equi-continuous. And this follows from (5): if you could find arbitrarily close pair of points on some $\gamma\_i$ with lifts bounded away from each other, the lift of the segment of $\gamma\_i$ between these points would have diameter bounded away from zero but the diameter of the image arbitrarily small, contrary to (5).


To make sure that the limit lift starts from $z\_0$, choose $\gamma\_i$'s so that their starting points have pre-images near $z\_0$ and start $\tilde\gamma\_i$'s from there.


