Proper maps of ball complements & differences and rational sphere maps

Abstract.

We consider proper holomorphic maps of complements and differences of balls in complex euclidean space of dimension at least $2$. We prove that every proper map of ball complements gives a polynomial proper map of balls, and conversely, every polynomial proper map of balls whose norm goes to infinity at infinity is a proper map of ball complements. The case of ball differences is more complex and naturally leads to what we call rational $m$-fold sphere maps, that is, rational maps taking $m$ zero-centric spheres to $m$ zero-centric spheres. A proper map of the difference of zero-centric balls is automatically a rational $2$-fold sphere map. We show that a polynomial $m$-fold sphere map of degree $m$ or less is an $\infty$-fold sphere map, that is, a map that takes infinitely many (and hence every) zero-centric spheres to zero-centric spheres. Similarly, every rational $m$-fold sphere map of degree less than $m$ is an $\infty$-fold sphere map. We then show that $\infty$-fold sphere maps are up to a unitary transformation direct sums of a finite number of homogeneous sphere maps. We construct rational $m$-fold degree-$m$ sphere maps that do not take any other zero-centric sphere to a zero-centric sphere. In particular, every first-degree rational proper map of the difference of zero-centric balls is a unitary composed with an affine linear embedding; however, there exist nonpolynomial second-degree rational maps of a difference of balls.

1. Introduction

Studying proper holomorphic maps between domains is a common problem in several complex variables. In general, such maps do not exist unless we choose specific domains. If the domain has many symmetries, such as the unit ball $\mathbb{B}_{n}\subset\mathbb{C}^{n}$, many maps exist. Alexander [alexander-1977-proper] proved that every proper holomorphic map $f\colon\mathbb{B}_{n}\to\mathbb{B}_{n}$, $n>1$, is an automorphism, and hence rational. On the other hand, Dor [dor-1990-proper] showed that there exist proper holomorphic maps from $\mathbb{B}_{n}$ to $\mathbb{B}_{n+1}$ that are continuous up to the boundary and are not rational. Forstnerič [forstneric-1989-extending] proved that if for some neighborhood $U$ of a point $p$ on the sphere, a sufficiently smooth $f\colon U\cap\overline{\mathbb{B}_{n}}\to\mathbb{C}^{N}$ is holomorphic on $U\cap\mathbb{B}_{n}$ and $f(U\cap S^{2n-1})\subset S^{2N-1}$, then $f$ is rational and extends to a proper map of $\mathbb{B}_{n}$ to $\mathbb{B}_{N}$. Moreover, the degree of $f$ is bounded by a function of $n$ and $N$ alone. We will make extensive use of Forstnerič’s result in this work. Rudin [rudin-1984-homogeneous] proved that every homogeneous polynomial proper map of balls is unitarily equivalent to the symmetrized $m$-fold tensor product of the identity map, while D’Angelo [dangelo-1988-polynomial] found a much simpler proof of Rudin’s result and moreover gave complete procedure for constructing all polynomial proper maps of balls. A key idea in D’Angelo’s work, and one that we will make use of, is that given two vector valued polynomials $p\colon\mathbb{C}^{n}\to\mathbb{C}^{m}$ and $q\colon\mathbb{C}^{n}\to\mathbb{C}^{k}$ such that $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}=\mathopen{}\mathclose{{}\left\lVert q(z)}\right\rVert^{2}$ for all $z$, there is a unitary map $U$ such that $U(p\oplus 0)=q\oplus 0$. By $\oplus 0$ we mean we add zero components if they are needed to match the target dimensions. For more information on this subject, see [faran-1982-maps, forstneric-1993-proper, huang-1999-linearity, hamada-2005-rational, huang-2006-new, huang-2014-third, lebl-2023-exhaustion] and the references therein. In particular, the books by D’Angelo [dangelo-1993-several, dangelo-2019-hermitian, dangelo-2021-rational] are relevant.

We change the point of view slightly and consider the complements of balls and the differences of balls, that is, without loss of generality we study maps between the sets of the form $\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}}$ and $\mathbb{B}_{n}\setminus\overline{B_{r}(c)}$, where $B_{r}(c)$ denotes the ball of radius $r$ centered at $c$. We remark that proper maps to domains that are complements of balls have been studied previously; see [forstnerivc-2014-oka]. However, we wish the domain of the map to also be a ball complement. First, we characterize all proper maps of ball complements.

Theorem 1.1.

Suppose $f\colon\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}}\to\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$, $n\geq 2$, is a proper holomorphic map. Then $f$ is a polynomial map, and when this polynomial is restricted to $\mathbb{B}_{n}$, it gives a proper map to $\mathbb{B}_{N}$.

Conversely, suppose $p\colon\mathbb{C}^{n}\to\mathbb{C}^{N}$ is a polynomial that takes $\mathbb{B}_{n}$ to $\mathbb{B}_{N}$ properly. Then

1. $p(\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}})\subset\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$, and

2. if also $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert\to\infty$ as $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert\to\infty$, then $p$ is a proper map of $\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}}$ to $\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$.

It is not clear if the hypothesis on the norm is necessary. We prove that the condition is satisfied if the polynomial takes the origin to the origin, or more trivially, if the top degree terms of $p$ do not vanish on the sphere.

That the proper map of ball complements is polynomial follows from a combination of the Hartogs phenomenon and Forstnerič’s theorem mentioned above. The key is then to show that polynomial maps of balls are precisely those that also take the outside to the outside. The theorem does not hold if $n=1$: $\mathbb{C}\setminus\overline{\mathbb{D}}$ is biholomorphic to the punctured disc $\mathbb{D}^{*}$, which properly, and certainly not rationally, embeds into $\mathbb{C}^{N}$ via the classical theorem of Remmert–Bishop–Narasimhan (see [forstneric-2017-stein-manifolds]*Theorem 2.4.1 and also Alexander [alexander-1977-punctured-disc] for an explicit embedding into $\mathbb{C}^{2}$). Such a map certainly avoids some small closed ball. What is true, even in one dimension, is that a rational map $f\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$ that restricts to a proper map of $\mathbb{B}_{n}$ to $\mathbb{B}_{N}$ takes all the (non pole) points of $\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}}$ to $\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$; see Lemma 2.1.

Proper maps of differences of balls are somewhat more complicated. Via a similar argument, again heavily dependent on the result of Forstnerič, we prove the following result.

Theorem 1.2.

Suppose $n\geq 2$ and $B_{r}(c)\subset\mathbb{C}^{n}$, $B_{R}(C)\subset\mathbb{C}^{N}$ are two balls such that $B_{r}(c)\cap\mathbb{B}_{n}\not=\varnothing$ and $B_{R}(C)\cap\mathbb{B}_{N}\not=\varnothing$. Suppose $f\colon\mathbb{B}_{n}\setminus\overline{B_{r}(c)}\to\mathbb{B}_{N}\setminus\overline{B_{R}(C)}$ is a proper holomorphic map. Then $f$ is rational and extends to a rational proper map of balls $f\colon\mathbb{B}_{n}\to\mathbb{B}_{N}$ that takes the sphere $(\partial B_{r}(c))\cap\mathbb{B}_{n}$ to the sphere $(\partial B_{R}(C))\cap\mathbb{B}_{N}$. If $c=0$ and $C=0$ and $f=\frac{p}{q}$ is written in lowest terms, then $\deg q<\deg p$. Conversely, every proper holomorphic map $f\colon\mathbb{B}_{n}\to\mathbb{B}_{N}$ that takes the sphere $(\partial B_{r}(c))\cap\mathbb{B}_{n}$ to the sphere $(\partial B_{R}(C))\cap\mathbb{B}_{N}$ is rational and restricts to a proper map of $\mathbb{B}_{n}\setminus\overline{B_{r}(c)}$ to $\mathbb{B}_{N}\setminus\overline{B_{R}(C)}$.

If $n=1$, the theorem need not hold. For example the function $z\mapsto\frac{1}{z}$ takes an annulus centered at the origin to an annulus, swaps the inside and outside circles and does not extend to the entire disc. The theorem leads us to study what we call rational $m$-fold sphere maps.

Definition 1.3.

A rational map $f\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$ is an $m$-fold sphere map if there exist $2m$ numbers $0<r_{1}<r_{2}<\cdots<r_{m}<\infty$ and $0<R_{1},R_{2},\ldots,R_{m}<\infty$, such that the pole set of $f$ misses $r_{j}S^{2n-1}$ and $f(r_{j}S^{2n-1})\subset R_{j}S^{2N-1}$ for all $j=1,\ldots,m$. If there are infinitely many such numbers $r_{j}$ and $R_{j}$, then we say that $f$ is an $\infty$-fold sphere map. We will call spheres such as $rS^{2n-1}$ zero-centric spheres and balls such as $r\mathbb{B}_{n}$ zero-centric balls.

In light of this definition, the theorem above says that every proper holomorphic map of ball complements centered at the origin is a rational $2$-fold sphere map. We remark that by Proposition 3.2, we can assume that $R_{1}<R_{2}<\cdots<R_{m}$.

For the tensor of two polynomial maps we find that $\mathopen{}\mathclose{{}\left\lVert f\otimes g}\right\rVert^{2}=\mathopen{}\mathclose{{}\left\lVert f}\right\rVert^{2}\mathopen{}\mathclose{{}\left\lVert g}\right\rVert^{2}$. Hence $\mathopen{}\mathclose{{}\left\lVert z^{\otimes d}}\right\rVert^{2}=\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2d}$, and so $z^{\otimes d}$ is a homogeneous $\infty$-fold sphere map. The map $z^{\otimes d}$ does not have linearly independent components for $d\geq 2$, but after applying a unitary and a projection we find a symmetrized homogeneous map $H_{d}$ with linearly independent components such that $\mathopen{}\mathclose{{}\left\lVert z^{\otimes d}}\right\rVert^{2}=\mathopen{}\mathclose{{}\left\lVert H_{d}(z)}\right\rVert^{2}$, where the number of components of $H_{d}$ is the rank of the underlying hermitian form of $\mathopen{}\mathclose{{}\left\lVert z^{\otimes d}}\right\rVert^{2}$. For example in $\mathbb{C}^{2}$, $(z_{1},z_{2})^{\otimes 2}=(z_{1}^{2},z_{1}z_{2},z_{2}z_{1},z_{2}^{2})$ is symmetrized to $H_{2}(z_{1},z_{2})=(z_{1}^{2},\sqrt{2}z_{1}z_{2},z_{2}^{2})$. See D’Angelo [dangelo-1993-several].

By Rudin’s theorem we mentioned above, a homogeneous $1$-fold sphere map is unitarily equivalent to a scalar multiple of $H_{d}$. Thus every homogeneous $1$-fold sphere map is an $\infty$-fold sphere map. Similarly, if we take a direct sum of properly scaled homogeneous sphere maps, we get an $\infty$-fold sphere map. In fact, we have the following:

Theorem 1.4.

Suppose that $f\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$, $n\geq 2$, is a rational $m$-fold sphere map, where $1\leq m\leq\infty$.

1. If $m<\infty$ and $f$ is a polynomial map of degree $m$ or less, then $f$ is an $\infty$-fold sphere map.

2. If $m<\infty$ and $f$ is a rational map of degree $m-1$ or less, then $f$ is an $\infty$-fold sphere map.

If $f$ is an $\infty$-fold sphere map, then $f$ is polynomial and for every $r>0$ there exists an $R>0$ such that $f(rS^{2n-1})\subset RS^{2N-1}$. Moreover, there exists a unitary $U\in U(\mathbb{C}^{N})$ and homogeneous sphere maps (possibly constant) $h_{j}\colon\mathbb{C}^{n}\to\mathbb{C}^{\ell_{j}}$, $j=1,\ldots,k$ and where $\ell_{1}+\cdots+\ell_{k}=N$, such that

$$f=U(h_{1}\oplus\cdots\oplus h_{k}\oplus 0).$$

The question then arises about the existence of other maps than the $\infty$-fold sphere maps. For every $k$ and $m\geq k$, we will show that there exists a rational (nonpolynomial) $k$-fold sphere map of degree $m$ that is not a $(k+1)$-fold sphere map. We will also show (Lemma 3.10) that the denominator of a $k$-fold sphere map for $k>1$ must be necessarily of a lower degree than the numerator, extending the analogous result by D’Angelo (see e.g. [dangelo-2019-hermitian]*Proposition 5.1) for sphere maps that also fix the origin.

Finally, we consider proper maps of ball differences to ball complements and vice versa. Using the result of Forstnerič, one can prove that when dimension is at least $2$, no proper holomorphic maps exist between the two different sets.

Proposition 1.5.

Suppose $n\geq 2$, $\mathbb{B}_{n}\cap B_{r}(c)\not=\varnothing$, and $\mathbb{B}_{N}\cap B_{R}(C)\not=\varnothing$. There exist no proper holomorphic maps $f\colon\mathbb{B}_{n}\setminus\overline{B_{r}(c)}\to\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$ nor $f\colon\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}}\to\mathbb{B}_{N}\setminus\overline{B_{R}(C)}$.

If $n=1$, start with a proper embedding of the disc into $\mathbb{C}^{N}$ (e.g. Remmert–Bishop–Narasimhan again). We can construct a nonrational proper map from $\mathbb{D}\setminus\overline{r\mathbb{D}}$ to $\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$: Take a proper holomorphic embedding $f\colon\mathbb{D}\to\mathbb{C}^{N}$. Take a small closed ball $\overline{B}\subset\mathbb{C}^{N}$ so that $f^{-1}(\overline{B})$ is a connected set with more than one point and $\mathbb{D}\setminus f^{-1}(\overline{B})$ is connected. Then it is classical that the doubly connected domain $\mathbb{D}\setminus f^{-1}(\overline{B})$ is biholomorphic to an annulus $\mathbb{D}\setminus\overline{r\mathbb{D}}$ for some $0<r<1$. Composition of the maps and taking $B$ to the unit ball obtains the desired map. To construct the second map when $n=1$, $\mathbb{C}\setminus\overline{\mathbb{D}}$ is biholomorphic to the punctured disc $\mathbb{D}^{*}$, which can be properly embedded into some $\mathbb{B}_{N}\setminus\overline{B_{R}(C)}$ in many ways (e.g., linearly).

Interestingly, it is not difficult to construct many nontrivial proper maps of $\mathbb{B}_{n}$ to $\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$ when $N>n$, but the proposition says that if $n\geq 2$, there is no way to properly map the annulus to the complement of the ball.

The organization of this paper is the following. In section 2, we study proper maps of ball complements and prove Theorem 1.1. In section 3, we study the rational $m$-fold sphere maps and prove Theorem 1.4. Finally, in section 4, we study proper map**s of ball differences and we prove Theorem 1.2.

2. Proper map**s of ball complements

We start with a lemma about where rational proper holomorphic maps of balls take the complement of the ball. We remark that unlike many of the results we consider, this lemma still holds in $n=1$.

Lemma 2.1.

If $f\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$ is a rational map such that the restriction of $f$ to $\mathbb{B}_{n}$ is a proper map to $\mathbb{B}_{N}$, then $\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert>1$ for every $z\notin\overline{\mathbb{B}_{n}}$ that is not a pole of $f$.

Proof.

Write $f=\frac{p}{q}$ for polynomials $p$ and $q$. As $f$ takes the sphere $S^{2n-1}$ to the sphere $S^{2N-1}$, there is a real polynomial $Q(z,\bar{z})$ such that

$$\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}-\mathopen{}\mathclose{{}\left\lVert q(z)}\right\rVert^{2}=Q(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-1\bigr{)}\quad\text{or}\quad\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert^{2}-1=\frac{Q(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-1\bigr{)}$$

outside the set where $q=0$. Polarization gives us

$$\mathopen{}\mathclose{{}\left\langle f(z),f(w)}\right\rangle-1=\frac{Q(z,\bar{w})}{q(z)\bar{q}(\bar{w})}\bigl{(}\mathopen{}\mathclose{{}\left\langle z,w}\right\rangle-1\bigr{)},$$

where $\mathopen{}\mathclose{{}\left\langle\cdot,\cdot}\right\rangle$ is the standard Hermitian inner product.

Suppose $z\notin\overline{\mathbb{B}_{n}}$ is not a pole of $f$. Set $w=\frac{z}{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}}$ so that $0<\mathopen{}\mathclose{{}\left\lVert w}\right\rVert=\frac{1}{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert}<1$. As $f$ has no poles in the ball, $g(w)\not=0$. Hence $\mathopen{}\mathclose{{}\left\lVert f(w)}\right\rVert<1$ and $\mathopen{}\mathclose{{}\left\langle z,w}\right\rangle=1$. Then

(1) $$\mathopen{}\mathclose{{}\left\langle f(z),f\mathopen{}\mathclose{{}\left(\frac{z}{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}}}\right)}\right\rangle=1.$$

Cauchy-Schwarz inequality gives

$$1=\mathopen{}\mathclose{{}\left\langle f(z),f(w)}\right\rangle\leq\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert\mathopen{}\mathclose{{}\left\lVert f(w)}\right\rVert<\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert.\qed$$

The lemma proves the converse statement of Theorem 1.1. That is, if $f\colon\mathbb{C}^{n}\to\mathbb{C}^{N}$ is a polynomial map such that its restriction to $\mathbb{B}_{n}$ is a proper map to $\mathbb{B}_{N}$, it takes the sphere $S^{2n-1}$ to the sphere $S^{2N-1}$, and the lemma says that it takes $\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}}$ to $\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$. If we furthermore assume that $\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert\to\infty$ as $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert\to\infty$, we find that $f$ is proper.

It is not clear if the norm of a polynomial proper of balls always goes to infinity at infinity thereby giving a proper map of $\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}}$ to $\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$. We provide a proof in some natural special cases.

Proposition 2.2.

Suppose $p\colon\mathbb{C}^{n}\to\mathbb{C}^{N}$ is a polynomial which is also a proper map of $\mathbb{B}_{n}$ to $\mathbb{B}_{N}$. Suppose that

1. $p(0)=0$, or

2. $p=p_{0}+p_{1}+\cdots+p_{d}$ is the decomposition into homogeneous parts and $p_{d}$ is not zero on the unit sphere.

Then $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert\to\infty$ as $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert\to\infty$.

Proof.

Suppose first that $p(0)=0$ and suppose for contradiction that the conclusion does not hold. Then without loss of generality, there is a sequence $(z_{k})\subset\mathbb{C}^{n}$ such that $\mathopen{}\mathclose{{}\left\lVert z_{k}}\right\rVert\to\infty$ and $p(z_{k})\to L\in\mathbb{C}^{N}$. Letting $k\to\infty$ in the reflection principle 1 with $z=z_{k}$, we get $1=\mathopen{}\mathclose{{}\left\langle L,p(0)}\right\rangle=\mathopen{}\mathclose{{}\left\langle L,0}\right\rangle=0$, a contradiction.

Next, suppose that $p_{d}$ is not zero on the unit sphere. Let $C>0$ be a lower bound for $\mathopen{}\mathclose{{}\left\lVert p_{d}(z)}\right\rVert$ for $z\in S^{2n-1}$. Writing any $z\in\mathbb{C}^{n}$ as $ru$ with $r\geq 0$ and $u\in S^{2n-1}$, we have

$$\mathopen{}\mathclose{{}\left\lVert p_{d}(z)}\right\rVert=r^{d}\mathopen{}\mathclose{{}\left\lVert p_{d}(u)}\right\rVert\geq Cr^{d}.$$

As $\mathopen{}\mathclose{{}\left\lVert p_{d}(z)}\right\rVert^{2}$ is the top degree homogeneous part of $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$, we find that $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert\to\infty$ as $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert\to\infty$. ∎

We remark that the conclusion of the proposition also follows if the polynomial proper map of balls is constructed using tensoring only starting with the identity in the procedure of D’Angelo [dangelo-1988-proper].

The rest of Theorem 1.1 follows from the following lemma.

Lemma 2.3.

Suppose $f\colon\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}}\to\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$, $n\geq 2$, is a proper holomorphic map. Then $f$ is a polynomial map, and when this polynomial is restricted to $\mathbb{B}_{n}$, it gives a proper map to $\mathbb{B}_{N}$.

Proof.

The Hartogs phenomenon says that $f$ extends to a holomorphic map of $\mathbb{C}^{n}$ to $\mathbb{C}^{N}$. This extended map is continuous on the sphere, so $f(S^{2n-1})\subset\mathbb{C}^{N}$. By the properness of $f$, we have $f(S^{2n-1})\subset S^{2N-1}$. The theorem of Forstnerič says that $f$ is rational and when restricted to $\mathbb{B}_{n}$ gives a proper map to $\mathbb{B}_{N}$. As $f$ is holomorphic on $\mathbb{C}^{n}$, it must necessarily be polynomial. ∎

3. $m$-fold sphere maps

3.1. Polynomial $m$-fold sphere maps

We remark that unlike many of the results we consider and except for Propositions 3.2 and 3.7, the results in this section still hold in $n=1$.

Definition 3.1.

For $k\geq 1$, distinct $r_{j}$s and $r_{j},R_{j}>0$ for $j=1,\dots,k$, we define the divided differences as

$$[R_{j}^{2}] =R_{j}^{2},\quad j=1,\dots,k,$$

$$[R_{1}^{2},\dots,R_{j}^{2},R_{\ell}^{2}] =\frac{[R_{1}^{2},\dots,R_{j-1}^{2},R_{\ell}^{2}]-[R_{1}^{2},\dots,R_{j-1}^{2},R_{j}^{2}]}{r_{\ell}^{2}-r_{j}^{2}},$$

$$\qquad\qquad\ell=j+1,\dots,k,\quad j=1,\dots,k-1.$$

For $j=1,\dots,k-1$, we write

$$b_{j}=[R_{1}^{2},\dots,R_{j}^{2},R_{j+1}^{2}]$$

and define the degree-$j$ Newton polynomial of the indeterminate $x$ as the real polynomial

$$b_{0}+b_{1}(x-r_{1}^{2})+\dots+b_{j}(x-r_{1}^{2})\dots(x-r_{j}^{2}).$$

Proposition 3.2.

Let $k\geq 2$, $n\geq 2$ and $f\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$ be a nonconstant rational $k$-fold sphere map, that is, it takes $r_{j}$-spheres to $R_{j}$-spheres, where all $r_{j}$s are distinct and $r_{j},R_{j}>0$ for $j=1,\dots,k$. Then $r_{j}<r_{\ell}$ implies $R_{j}<R_{\ell}$, and in particular, the divided differences $b_{0}$ and $b_{1}$ are positive.

Proof.

We notice that

$$b_{0}=[R_{1}^{2}]=R_{1}^{2}>0.$$

Suppose that $r_{j}<r_{\ell}$. As $f$ is a nonconstant rational map that takes $r_{\ell}$-sphere to $R_{\ell}$-sphere, it is a rational proper map of $r_{\ell}$-ball to $R_{\ell}$-ball. As $r_{j}<r_{\ell}$, $f(r_{j}S^{2n-1})\subset R_{\ell}\mathbb{B}_{N}$, so that $R_{j}<R_{\ell}$.

In particular,

$$b_{1}=[R_{1}^{2},R_{2}^{2}]=\frac{R_{2}^{2}-R_{1}^{2}}{r_{2}^{2}-r_{1}^{2}}>0.\qed$$

In the following few results, we will obtain convenient expressions of $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$ reminiscent of a Newton polynomial of indeterminate $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$ for the polynomial $m$-fold sphere map $p$.

Lemma 3.3.

Let $1\leq k\leq m$ and $p\colon\mathbb{C}^{n}\to\mathbb{C}^{N}$ be a polynomial $k$-fold sphere map of degree $m$, that is, it takes $r_{j}$-spheres to $R_{j}$-spheres, where all $r_{j}$s are distinct and $r_{j},R_{j}>0$ for $j=1,\dots,k$. Let $Q_{0}(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$. Then for $j=1,\dots,k$, there is a real polynomial $Q_{j}(z,\bar{z})$ of bidegree $(m-j,m-j)$ such that

$$Q_{j-1}(z,\bar{z})-Q_{j-1}(z,\bar{z})\Big{|}_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{j}}=Q_{j}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)}$$

which becomes

$$Q_{j-1}(z,\bar{z})-b_{j-1}=Q_{j}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)},$$

and for $\ell=j+1,\dots,k$, $Q_{j}(z,\bar{z})$ is constant on the $r_{\ell}$-sphere and equals $[R_{1}^{2},\dots,R_{j}^{2},R_{\ell}^{2}]$.

Proof.

We prove the result by induction on $j$. For $j=1$, on the $r_{1}$-sphere, $Q_{0}(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$ equals $R_{1}^{2}=[R_{1}^{2}]=b_{0}$ and so is constant on the $r_{1}$-sphere. Thus there is a real polynomial $Q_{1}(z,\bar{z})$ such that

$$Q_{0}(z,\bar{z})-Q_{0}(z,\bar{z})\Big{|}_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{1}}=Q_{1}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)},$$

that is,

$$Q_{0}(z,\bar{z})-b_{0}=Q_{1}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}.$$

As $Q_{0}(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$ is of bidegree $(m,m)$ and $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$ is of bidegree $(1,1)$, $Q_{1}(z,\bar{z})$ is of bidegree $(m-1,m-1)$. As for $\ell=2,\dots,k$, $Q_{0}(z,\bar{z})$ is constant and equals $R_{\ell}^{2}=[R_{\ell}^{2}]$ on the $r_{\ell}$-sphere, $Q_{1}(z,\bar{z})$ is constant on the $r_{\ell}$-sphere and equals

$$\frac{[R_{\ell}^{2}]-[R_{1}^{2}]}{r_{\ell}^{2}-r_{1}^{2}}=[R_{1}^{2},R_{\ell}^{2}].$$

Suppose that for some $j$, $1\leq j<k$, there is a real polynomial $Q_{j}(z,\bar{z})$ such that $Q_{j}(z,\bar{z})$ is of bidegree $(m-j,m-j)$, and for $\ell=j+1,\dots,k$, $Q_{j}(z,\bar{z})$ is constant on the $r_{\ell}$-sphere and equals $[R_{1}^{2},\dots,R_{j}^{2},R_{\ell}^{2}]$.

Now, $Q_{j}(z,\bar{z})$ is constant on the $r_{j+1}$-sphere. Thus there is a real polynomial $Q_{j+1}(z,\bar{z})$ such that

$$Q_{j}(z,\bar{z})-Q_{j}(z,\bar{z})\Big{|}_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{j+1}}=Q_{j+1}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j+1}^{2}\bigr{)}.$$

As $Q_{j}(z,\bar{z})$ is of bidegree $(m-j,m-j)$ and $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$ is of bidegree $(1,1)$, $Q_{j+1}(z,\bar{z})$ is of bidegree $(m-j-1,m-j-1)$. As for $\ell=j+2,\dots,k$, $Q_{j}(z,\bar{z})$ is constant on the $r_{\ell}$-sphere and equals $[R_{1}^{2},\dots,R_{j}^{2},R_{\ell}^{2}]$, $Q_{j+1}(z,\bar{z})$ is constant on the $r_{\ell}$-sphere and equals

$$\frac{[R_{1}^{2},\dots,R_{j}^{2},R_{\ell}^{2}]-[R_{1}^{2},\dots,R_{j}^{2},R_{j+1}^{2}]}{r_{\ell}^{2}-r_{j+1}^{2}}=[R_{1}^{2},\dots,R_{j+1}^{2},R_{\ell}^{2}].$$

Moreover, $Q_{j}(z,\bar{z})\big{|}_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{j+1}}=[R_{1}^{2},\dots,R_{j}^{2},R_{j+1}^{2}]=b_{j}$, that is,

$$Q_{j}(z,\bar{z})-b_{j}=Q_{j+1}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j+1}^{2}\bigr{)}.$$

The result then follows by induction. ∎

Lemma 3.4.

Let $1\leq k\leq m$ and $p\colon\mathbb{C}^{n}\to\mathbb{C}^{N}$ be a polynomial $k$-fold sphere map of degree $m$, that is, it takes $r_{j}$-spheres to $R_{j}$-spheres, where all $r_{j}$s are distinct and $r_{j},R_{j}>0$ for $j=1,\dots,k$. Then

$$\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2} =b_{0}+b_{1}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}+b_{2}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{2}^{2}\bigr{)}+\dots$$

$$\phantom{={}}+b_{k-1}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\dots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{k-1}^{2}\bigr{)}+Q_{k}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\dots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{k}^{2}\bigr{)}$$

for a real polynomial $Q_{k}(z,\bar{z})$ of bidegree $(m-k,m-k)$. In other words, $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$ can be written as a Newton polynomial of $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$ with the leading coefficient replaced by a bidegree-$(m-k,m-k)$ real polynomial.

Proof.

Let $Q_{0}(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert p}\right\rVert^{2}$. By Lemma 3.3, for $j=1,\dots,k$, there is a real polynomial $Q_{j}(z,\bar{z})$ of bidegree $(m-j,m-j)$ such that

$$Q_{j-1}(z,\bar{z})-b_{j-1}=Q_{j}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)}.$$

Inductively, we get

$$\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2} =Q_{0}(z,\bar{z})$$

$$=b_{0}+\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\biggl{(}b_{1}+\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{2}^{2}\bigr{)}\Bigl{(}b_{2}+\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{3}^{2}\bigr{)}\bigl{(}\dots$$

$$\phantom{={}}+b_{k-1}+\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{k}^{2}\bigr{)}Q_{k}(z,\bar{z})\bigr{)}\Bigr{)}\biggr{)}$$

$$=b_{0}+b_{1}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}+b_{2}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{2}^{2}\bigr{)}+\dots$$

$$\phantom{={}}+b_{k-1}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\dots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{k-1}^{2}\bigr{)}+Q_{k}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\dots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{k}^{2}\bigr{)},$$

where $Q_{k}(z,\bar{z})$ is a real polynomial of bidegree $(m-k,m-k)$. This is formally a degree-$m$ Newton polynomial of $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$ that passes through the $k$ points $(r_{1}^{2},R_{1}^{2}),\dots,(r_{k}^{2},R_{k}^{2})$. ∎

As an immediate consequence, we obtain the following, proving the first part of Theorem 1.4.

Theorem 3.5.

Let $p\colon\mathbb{C}^{n}\to\mathbb{C}^{N}$ be a polynomial $m$-fold sphere map of degree $m$. Then $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$ is a polynomial of $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$. In particular, $p$ is an $\infty$-fold sphere map. In fact, $p$ takes all zero-centric spheres to zero-centric spheres.

Proof.

The $Q_{m}(z,\bar{z})$ from Lemma 3.4 is of bidegree $(0,0)$, that is, a constant. So $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$ is a polynomial of $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$, and hence $p$ takes all zero-centric spheres to zero-centric spheres. In particular, $p$ is an $\infty$-fold sphere map. ∎

This gives us the following:

Corollary 3.6.

A polynomial $\infty$-fold sphere map takes all zero-centric spheres to zero-centric spheres.

Proof.

Let $p\colon\mathbb{C}^{n}\to\mathbb{C}^{N}$ be a polynomial $\infty$-fold sphere map of degree $m$. Then it is a polynomial $m$-fold sphere map. By Theorem 3.5, it takes all zero-centric spheres to zero-centric spheres. ∎

The $m$-fold requirement in Theorem 3.5 is necessary. In fact, we have the following:

Theorem 3.7.

Let $n\geq 2$, $1\leq k<m$. Then there exist some $N\geq n$ and monomial maps (see 2 below) of degree $m$ from $\mathbb{C}^{n}$ to $\mathbb{C}^{N}$ that are $k$-fold sphere maps, but not $(k+1)$-fold sphere maps. In particular, these maps do not take all zero-centric spheres to zero-centric spheres.

Proof.

Take arbitrary distinct $r_{j}>0$ for $j=1,\dots,k$. Consider the bidegree-$(k,k)$ real polynomial

$$Q^{\prime\prime}(z,\bar{z}) =\prod_{j=1}^{k}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)}$$

$$=\prod_{j=1}^{k}\bigl{(}\mathopen{}\mathclose{{}\left\lvert z_{1}}\right\rvert^{2}+\dots+\mathopen{}\mathclose{{}\left\lvert z_{n}}\right\rvert^{2}-r_{j}^{2}\bigr{)}$$

$$=\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k}c_{\alpha}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2},$$

which is constant on $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=s$ for all $s>0$. Choose $c$ such that

$$c>\max\bigl{\{}\mathopen{}\mathclose{{}\left\lvert c_{\alpha}}\right\rvert:0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k\bigr{\}}>0,$$

write

$$\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(k+1)}=\mathopen{}\mathclose{{}\left(\mathopen{}\mathclose{{}\left\lvert z_{1}}\right\rvert^{2}+\dots+\mathopen{}\mathclose{{}\left\lvert z_{n}}\right\rvert^{2}}\right)^{k+1}=\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k+1}d_{\alpha}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2},$$

and consider

$$Q^{\prime}(z,\bar{z}) =\frac{1}{c}\mathopen{}\mathclose{{}\left\lvert z_{1}}\right\rvert^{2}Q^{\prime\prime}(z,\bar{z})+\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(k+1)}$$

$$=\mathopen{}\mathclose{{}\left\lvert z_{1}}\right\rvert^{2}\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k}\frac{c_{\alpha}}{c}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2}+\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k+1}d_{\alpha}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2}$$

$$=\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k+1,\alpha_{1}>0}\frac{c_{\alpha_{1}-1,\alpha_{2},\dots,\alpha_{n}}}{c}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2}+\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k+1}d_{\alpha}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2}$$

$$=\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k+1}e_{\alpha}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2},$$

where

$$e_{\alpha}=\begin{cases}d_{\alpha},&\alpha_{1}=0\\ d_{\alpha}+\frac{c_{\alpha_{1}-1,\alpha_{2},\dots,\alpha_{n}}}{c},&\alpha_{1}>0\end{cases}.$$

We see that $Q^{\prime}(z,\bar{z})$ is constant on $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=s$ for only $s=r_{1},\dots,r_{k}$ due to the $\mathopen{}\mathclose{{}\left\lvert z_{1}}\right\rvert^{2}$ term, and is of bidegree $(k+1,k+1)$. Moreover, each $\mathopen{}\mathclose{{}\left\lvert\frac{c_{\alpha_{1}-1,\alpha_{2},\dots,\alpha_{n}}}{c}}\right\rvert<1$ and each $d_{\alpha}\geq 1$, so that each $e_{\alpha}>0$. This lets us write $Q^{\prime}$ as a sum of squared norms of polynomial maps, that is,

$$Q^{\prime}(z,\bar{z})=\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k+1}\mathopen{}\mathclose{{}\left\lvert\sqrt{e_{\alpha}}z^{\alpha}}\right\rvert^{2}$$

is the squared norm of the map

$$(\sqrt{e_{\alpha}}z^{\alpha})_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k+1}.$$

Finally, we form

$$Q_{0}(z,\bar{z}) =\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(m-k-1)}Q^{\prime}(z,\bar{z})$$

$$=\sum_{\begin{subarray}{c}0\leq\mathopen{}\mathclose{{}\left\lvert\beta}\right\rvert\leq m-k-1\\ 0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k+1\end{subarray}}f_{\beta}e_{\alpha}\mathopen{}\mathclose{{}\left\lvert z^{\beta}}\right\rvert^{2}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2},$$

where

$$\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(m-k-1)}=\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\beta}\right\rvert\leq m-k-1}f_{\beta}\mathopen{}\mathclose{{}\left\lvert z^{\beta}}\right\rvert^{2},$$

so that each $f_{\beta}e_{\alpha}>0$, as $f_{\beta}\geq 1$ and $e_{\alpha}>0$. We see that $Q_{0}(z,\bar{z})$ is constant on $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=s$ for only $s=r_{1}^{2},\dots,r_{k}^{2}$, and is of bidegree $(m,m)$.

As mentioned in the introduction, $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(m-k-1)}$ is the squared norm of the map $z^{\otimes(m-k-1)}$. We get that $Q_{0}(z,\bar{z})$ is the squared norm of the map

(2) $$p(z)=z^{\otimes(m-k-1)}\otimes(\sqrt{e_{\alpha}}z^{\alpha})_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k+1}.$$

This defines a family of maps for some $N$, where each member is a monomial $k$-fold sphere map $p\colon\mathbb{C}^{n}\to\mathbb{C}^{N}$ of degree of $m$ that is not a $(k+1)$-fold sphere map. ∎

3.2. Rational $m$-fold sphere maps

In the following few results, we will obtain convenient expressions of $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$ reminiscent of a Newton polynomial of indeterminate $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$ for the rational $m$-fold sphere map $\frac{p}{q}$.

Notation 3.8.

We write $Q(z,\bar{z})^{[d,d]}$ to denote the bidegree-$(d,d)$ homogeneous part of a real polynomial $Q(z,\bar{z})$, and write $q(z)^{[d]}$ to denote the degree-$d$ homogeneous part of a polynomial $q(z)$.

Remark 3.9.

For convenience, we consider the zero real polynomial as a bidegree-$(-1,-1)$ real polynomial in $(z,\bar{z})$.

Lemma 3.10.

Let $n\geq 2$, $1\leq k\leq m+1$, and $f=\frac{p}{q}\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$ be a rational $k$-fold sphere map of degree $m$ in reduced terms, that is, it takes $r_{j}$-spheres to $R_{j}$-spheres, where all $r_{j}$s are distinct and $r_{j},R_{j}>0$ for $j=1,\dots,k$. Let $Q_{0}(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$. Then for $j=1,\dots,k$, there is a real polynomial $Q_{j}(z,\bar{z})$ of bidegree at most $(m-j,m-j)$ such that

$$Q_{j-1}(z,\bar{z})-\mathopen{}\mathclose{{}\left.\frac{Q_{j-1}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}}\right|_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{j}}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}=Q_{j}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)}$$

which becomes

$$Q_{j-1}(z,\bar{z})-b_{j-1}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}=Q_{j}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)},$$

and for $\ell=j+1,\dots,k$, $\frac{Q_{j}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}$ is constant on the $r_{\ell}$-sphere and equals $[R_{1}^{2},\dots,R_{j}^{2},R_{\ell}^{2}]$.

Moreover, if $b_{j}\neq 0$, then $q(z)$ is of degree at most $m-j$.

We remark that by Proposition 3.2, both $b_{0}$ and $b_{1}$ are always nonzero, so an immediate consequence is that if $f=\frac{p}{q}$ is a rational $2$-fold sphere map, then $\deg q<\deg p$.

Proof.

The result is trivial if $f$ is constant, so we assume otherwise. The proof is essentially the same as that of Lemma 3.3. We prove the result by induction on $j$. For $j=1$, on the $r_{1}$-sphere, $\frac{Q_{0}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}=\frac{\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}$ equals $R_{1}^{2}=[R_{1}^{2}]=b_{0}$ and so is constant on the $r_{1}$-sphere. Rearranging,

$$Q_{0}(z,\bar{z})=\mathopen{}\mathclose{{}\left.\frac{Q_{0}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}}\right|_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{1}}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$$

on the $r_{1}$-sphere, so that there is a real polynomial $Q_{1}(z,\bar{z})$ such that

$$Q_{0}(z,\bar{z})-\mathopen{}\mathclose{{}\left.\frac{Q_{0}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}}\right|_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{1}}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}=Q_{1}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)},$$

that is,

$$Q_{0}(z,\bar{z})-b_{0}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}=Q_{1}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}.$$

We get

$$\frac{Q_{0}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}-\mathopen{}\mathclose{{}\left.\frac{Q_{0}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}}\right|_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{1}}=\frac{Q_{1}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}$$

outside the pole set.

As $f$ is a nonconstant rational map that takes $r_{1}$-sphere to $R_{1}$-sphere, it is a rational proper map of $r_{1}\mathbb{B}_{n}$ to $R_{1}\mathbb{B}_{N}$. By [dangelo-2019-hermitian]*Proposition 5.1, $\deg q\leq\deg p=m$. As $Q_{0}(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$ is of bidegree $(m,m)$ and $\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$ is of bidegree at most $(m,m)$, $Q_{1}(z,\bar{z})$ is of bidegree $(m-1,m-1)$. As for $\ell=2,\dots,k$, $\frac{Q_{0}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}$ is constant and equals $R_{\ell}^{2}=[R_{\ell}^{2}]$ on the $r_{\ell}$-sphere, $\frac{Q_{1}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}$ is constant on the $r_{\ell}$-sphere and equals

$$\frac{[R_{\ell}^{2}]-[R_{1}^{2}]}{r_{\ell}^{2}-r_{1}^{2}}=[R_{1}^{2},R_{\ell}^{2}].$$

Suppose that for some $j$, $1\leq j<k$, there is a real polynomial $Q_{j}(z,\bar{z})$ of bidegree at most $(m-j,m-j)$ such that

$$Q_{j-1}(z,\bar{z})-\mathopen{}\mathclose{{}\left.\frac{Q_{j-1}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}}\right|_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{j}}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}=Q_{j}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)},$$

and for $\ell=j+1,\dots,k$, $\frac{Q_{j}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}$ is constant on the $r_{\ell}$-sphere and equals $[R_{1}^{2},\dots,R_{j}^{2},R_{\ell}^{2}]$.

Now, $\frac{Q_{j}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}$ is constant on the $r_{j+1}$-sphere. Rearranging,

$$Q_{j}(z,\bar{z})=\mathopen{}\mathclose{{}\left.\frac{Q_{j}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}}\right|_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{j}}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$$

on the $r_{j+1}$-sphere, so that there is a real polynomial $Q_{j+1}(z,\bar{z})$ such that

(3) $$Q_{j}(z,\bar{z})-\mathopen{}\mathclose{{}\left.\frac{Q_{j}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}}\right|_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{j+1}}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}=Q_{j+1}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j+1}^{2}\bigr{)}.$$

We get

$$\frac{Q_{j}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}-\mathopen{}\mathclose{{}\left.\frac{Q_{j}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}}\right|_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{j+1}}=\frac{Q_{j+1}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j+1}^{2}\bigr{)}$$

outside the pole set.

As for $\ell=j+2,\dots,k$, $\frac{Q_{j}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}$ is constant on the $r_{\ell}$-sphere and equals $[R_{1}^{2},\dots,R_{j}^{2},R_{\ell}^{2}]$, $\frac{Q_{j+1}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}$ is constant on the $r_{\ell}$-sphere and equals

$$\frac{[R_{1}^{2},\dots,R_{j}^{2},R_{\ell}^{2}]-[R_{1}^{2},\dots,R_{j}^{2},R_{j+1}^{2}]}{r_{\ell}^{2}-r_{j+1}^{2}}=[R_{1}^{2},\dots,R_{j+1}^{2},R_{\ell}^{2}].$$

Moreover, $\frac{Q_{j}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}\big{|}_{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=r_{j+1}}=[R_{1}^{2},\dots,R_{j}^{2},R_{j+1}^{2}]=b_{j}$, that is,

$$Q_{j}(z,\bar{z})-b_{j}\mathopen{}\mathclose{{}\left\lvert q(z)^{2}}\right\rvert=Q_{j+1}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j+1}^{2}\bigr{)}.$$

If $b_{j}=0$, then

$$Q_{j}(z,\bar{z})=Q_{j+1}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j+1}^{2}\bigr{)}.$$

As $Q_{j}(z,\bar{z})$ is of bidegree at most $(m-j,m-j)$, $Q_{j+1}(z,\bar{z})$ is of bidegree at most $(m-j-1,m-j-1)$.

If $b_{j}\neq 0$, suppose for contradiction that the degree $\ell$ of $q$ is bigger than $m-j$. As $Q_{j}(z,\bar{z})$ is of bidegree at most $(m-j,m-j)$ and $\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$ is of bidegree $(\ell,\ell)$, $Q_{j+1}(z,\bar{z})$ is of bidegree $(\ell-1,\ell-1)$. Collecting bidegree-$(\ell,\ell)$ terms on both sides of 3 and using the notation from 3.8, we get

$$-b_{j}\mathopen{}\mathclose{{}\left\lvert q(z)^{[\ell]}}\right\rvert^{2}=Q_{j+1}(z,\bar{z})^{[\ell-1,\ell-1]}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}.$$

By Huang’s lemma [huang-1999-linearity]*Lemma 3.2, a product of $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$ that is not zero cannot be a sum or difference of fewer than $n$ hermitian squares, and so

$$\mathopen{}\mathclose{{}\left\lvert q(z)^{[\ell]}}\right\rvert^{2}=0,\quad Q_{j+1}(z,\bar{z})^{[\ell-1,\ell-1]}=0,$$

as $n>1$ and $b_{j}\neq 0$, contradicting $\deg q=\ell$. Thus $q(z)$ is of degree at most $m-j$. As both $Q_{j}(z,\bar{z})$ and $\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$ are of bidegree at most $(m-j,m-j)$, $Q_{j+1}(z,\bar{z})$ is of bidegree at most $(m-j-1,m-j-1)$. The result then follows by induction. ∎

Lemma 3.11.

Let $n\geq 2$, $1\leq k\leq m+1$, and $f=\frac{p}{q}\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$ be a rational $k$-fold sphere map of degree $m$ in reduced terms, that is, it takes $r_{j}$-spheres to $R_{j}$-spheres, where all $r_{j}$s are distinct and $r_{j},R_{j}>0$ for $j=1,\dots,k$. Then

$$\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2} =\Bigl{(}b_{0}+b_{1}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}+b_{2}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{2}^{2}\bigr{)}+\cdots$$

$$\phantom{=\Bigl{(}}+b_{k-1}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\cdots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{k-1}^{2}\bigr{)}\Bigr{)}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$$

$$\phantom{={}}+Q_{k}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\cdots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{k}^{2}\bigr{)}$$

for a real polynomial $Q_{k}(z,\bar{z})$ of bidegree at most $(m-k,m-k)$. In other words, $\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}$ can be written as a Newton polynomial of $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$ with the leading coefficient replaced by a real polynomial of bidegree $(m-k,m-k)$ and the rest of the Newton polynomial multiplied by $\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$.

Proof.

Let $Q_{0}(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert p}\right\rVert^{2}$. By Lemma 3.10, for $j=1,\dots,k$, there is a real polynomial $Q_{j}(z,\bar{z})$ of bidegree at most $(m-j,m-j)$ such that

$$Q_{j-1}(z,\bar{z})-b_{j-1}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}=Q_{j}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)}.$$

Inductively, we get

$$\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2} =Q_{0}(z,\bar{z})$$

$$=b_{0}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}+\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\Biggl{(}b_{1}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}+\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{2}^{2}\bigr{)}\biggl{(}b_{2}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$$

$$\phantom{={}}+\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{3}^{2}\bigr{)}\Bigl{(}\cdots+b_{k-1}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}+\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{k}^{2}\bigr{)}Q_{k}(z,\bar{z})\Bigr{)}\biggr{)}\Biggr{)}$$

$$=\Bigl{(}b_{0}+b_{1}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}+b_{2}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{2}^{2}\bigr{)}+\cdots$$

$$\phantom{=\Bigl{(}}+b_{k-1}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\cdots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{k-1}^{2}\bigr{)}\Bigr{)}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$$

$$\phantom{={}}+Q_{k}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\cdots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{k}^{2}\bigr{)},$$

where $Q_{k}(z,\bar{z})$ is a real polynomial of bidegree at most $(m-k,m-k)$. For $q\equiv 1$, this becomes formally a degree-$m$ Newton polynomial of $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$ that passes through the $k$ points $(r_{1}^{2},R_{1}^{2}),\dots,(r_{k}^{2},R_{k}^{2})$. ∎

As a consequence, we obtain the following, proving the second part of Theorem 1.4.

Theorem 3.12.

Let $n\geq 2$ and $f=\frac{p}{q}\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$ be a rational $(m+1)$-fold sphere map of degree $m$. Then $f$ is a polynomial $\infty$-fold sphere map. In particular, it takes all zero-centric spheres to zero-centric spheres.

Proof.

By Lemma 3.11,

$$\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}=Q(z,\bar{z})\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}+Q_{m+1}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\dots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{m+1}^{2}\bigr{)},$$

where

$$Q(z,\bar{z})=b_{0}+b_{1}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}+\dots\\ +b_{m}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\dots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{m}^{2}\bigr{)}$$

is a polynomial of $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}$, and $Q_{m+1}(z,\bar{z})$ is of bidegree at most $(-1,-1)$, hence zero. Thus outside the set where $q=0$, we have $\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert^{2}=\frac{\mathopen{}\mathclose{{}\left\lVert p(z)}\right\rVert^{2}}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}=Q(z,\bar{z})$.

Suppose that $f=\frac{p}{q}$ is in lowest terms. As $f$ takes $r_{1}$-sphere to $R_{1}$-sphere, $q(0)$ is not zero, and so $f$ has a power series expansion at the origin, and hence so does $\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert^{2}$. The (infinite) matrix of coefficients of this power series is positive semidefnite (being a squared norm) and as the matrix of coefficients of $Q(z,\bar{z})$ is a principal submatrix of this infinite matrix, it is itself positive semidefinite. Thus there is a polynomial map $P$ such that $Q(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert P(z)}\right\rVert^{2}$. But then $P=Uf=\frac{Up}{q}$ for some unitary matrix $U$ near the origin, again using the result of D’Angelo. This means that $q\equiv q(0)$ and so $f$ is a polynomial.

Since $f$ is a polynomial $(m+1)$-fold sphere map, it is a polynomial $m$-fold sphere map, so by Theorem 3.5, it is an $\infty$-fold sphere map and takes all zero-centric spheres to zero-centric spheres. ∎

This gives us the following, generalizing Corollary 3.6.

Corollary 3.13.

A rational $\infty$-fold sphere map takes all zero-centric spheres to zero-centric spheres.

Proof.

Let $f\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$ be a rational $\infty$-fold sphere map of degree $m$. Then it is a rational $(m+1)$-fold sphere map. By Theorem 3.12, it takes all zero-centric spheres to zero-centric spheres. ∎

The $(m+1)$-fold requirement in Theorem 3.12 is necessary. In fact, we have the following:

Theorem 3.14.

Let $n\geq 2$, $1\leq k<m+1$. Then there exist an integer $N\geq n$ and rational maps (see 4 below) of degree $m$ from $\mathbb{C}^{n}$ to $\mathbb{C}^{N}$ that are $k$-fold sphere maps, but not $(k+1)$-fold sphere maps. In particular, these maps do not take all zero-centric spheres to zero-centric spheres.

Proof.

Take any arbitrary degree-$1$ polynomial function $q\colon\mathbb{C}^{n}\to\mathbb{C}$, that is, of the form $a_{0}+a\cdot z=a_{0}+a_{1}z_{1}+\dots+a_{n}z_{n}$, which after a unitary transformation becomes $a_{0}+a_{1}z_{1}$ with $a_{1}\in\mathbb{C}$, which after another unitary transformation becomes $a_{0}+a_{1}z_{1}$ with $a_{1}>0$. If $q$ is the denominator of a rational map, $q$ can be scaled to have $q(0)=1$. Thus without loss of generality, assume that $q(z)=1+az_{1},a>0$.

Take arbitrary distinct $r_{j}>0$ for $j=1,\dots,k$. Consider the bidegree-$(k,k)$ real polynomial

$$Q^{\prime\prime}(z,\bar{z}) =\prod_{j=1}^{k}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)}$$

$$=\prod_{j=1}^{k}\bigl{(}\mathopen{}\mathclose{{}\left\lvert z_{1}}\right\rvert^{2}+\dots+\mathopen{}\mathclose{{}\left\lvert z_{n}}\right\rvert^{2}-r_{j}^{2}\bigr{)}$$

$$=\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k}c_{\alpha}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2},$$

which is constant on $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=s$ for all $s>0$. Choose $c$ such that

$$c>\max\bigl{\{}\mathopen{}\mathclose{{}\left\lvert c_{\alpha}}\right\rvert:0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k\bigr{\}}>0,$$

write

$$\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(k-1)}=\mathopen{}\mathclose{{}\left(\mathopen{}\mathclose{{}\left\lvert z_{1}}\right\rvert^{2}+\dots+\mathopen{}\mathclose{{}\left\lvert z_{n}}\right\rvert^{2}}\right)^{k-1}=\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k-1}d_{\alpha}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2},$$

and consider

$$Q^{\prime}(z,\bar{z}) =\frac{1}{c}Q^{\prime\prime}(z,\bar{z})+\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(k-1)}$$

$$=\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k}\frac{c_{\alpha}}{c}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2}+\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k-1}d_{\alpha}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2}$$

$$=\sum_{0\leq\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k}e_{\alpha}\mathopen{}\mathclose{{}\left\lvert z^{\alpha}}\right\rvert^{2},$$

where

$$e_{\alpha}=\begin{cases}\frac{c_{\alpha}}{c},&\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert=k\\ \frac{c_{\alpha}}{c}+d_{\alpha},&\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k-1\end{cases}$$

We see that for $\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert=k$, each $c_{\alpha}=1>0$, so that each $e_{\alpha}>0$, and for $\mathopen{}\mathclose{{}\left\lvert\alpha}\right\rvert\leq k-1$, each $\mathopen{}\mathclose{{}\left\lvert\frac{c_{\alpha}}{c}}\right\rvert<1$ and each $d_{\alpha}\geq 1$, so that each $e_{\alpha}>0$. Thus the matrix $(Q^{\prime})$ of coefficients of $Q^{\prime}(z,\bar{z})$ is positive definite.

Now consider

$$Q(z,\bar{z}) =\frac{1}{c}Q^{\prime\prime}(z,\bar{z})+\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(k-1)}.$$

As $a\to 0$, we get that $q\to 1$, $Q(z,\bar{z})\to Q^{\prime}(z,\bar{z})$ and the matrix $(Q)$ approaches $(Q^{\prime})$, which is positive definite. This means that $(Q)$ is also positive definite for small enough $a>0$. Thus there is a polynomial map $p_{0}$ such that $Q(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert p_{0}(z)}\right\rVert^{2}$.

Finally, we form

$$Q_{0}(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(m-k)}Q(z,\bar{z})=\mathopen{}\mathclose{{}\left\lVert z^{\otimes(m-k)}\otimes p_{0}(z)}\right\rVert^{2}.$$

This gives us

$$\frac{Q_{0}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}} =\frac{\frac{1}{c}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(m-k)}\prod_{j=1}^{k}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)}+\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(m-1)}\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}$$

$$=\frac{1}{c}\frac{\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(m-k)}\prod_{j=1}^{k}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)}}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}+\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2(m-1)}.$$

Now, $\prod_{j=1}^{k}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)}$ has a finite bidegree and hence can be divisible by $\mathopen{}\mathclose{{}\left\lvert 1+az_{1}}\right\rvert^{2}$ for only a finite number of values of $a$. So assume that $a>0$ is small enough so that $\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$ does not divide $\prod_{j=1}^{k}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{j}^{2}\bigr{)}$. We see that $\frac{Q_{0}(z,\bar{z})}{\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}}$ is constant on $\mathopen{}\mathclose{{}\left\lVert z}\right\rVert=s$ for only $s=r_{1},\dots,r_{k}$ due to the $\mathopen{}\mathclose{{}\left\lvert q(z)}\right\rvert^{2}$ term and gives a rational map in reduced terms

$$\frac{p(z)}{q(z)}=\frac{z^{\otimes(m-k-1)}\otimes p_{0}(z)}{1+az_{1}}.$$

Replacing $1+az_{1}$ with a more general denominator $q(z)=1+a\cdot z$ with small enough nonzero $a\in\mathbb{C}^{n}$ gives a rational map in reduced terms

(4) $$f(z)=\frac{p(z)}{q(z)}=\frac{z^{\otimes(m-k-1)}\otimes p_{0}(z)}{1+a\cdot z}.$$

This defines a family of maps for some $N$, where each member is a rational $k$-fold sphere map $f=\frac{p}{q}\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$ of degree of $m$ that is not a $(k+1)$-fold sphere map. ∎

The description of $\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert^{2}$ in Theorem 3.5 enables us to obtain a normal form of $f$ when $f$ is a rational $\infty$-fold sphere map, proving the last part of Theorem 1.4.

Theorem 3.15.

If $f$ is a rational $\infty$-fold sphere map, then $f$ is polynomial and for every $r>0$ there exists an $R>0$ such that $f(rS^{2n-1})\subset RS^{2N-1}$. Moreover, there exists a unitary $U\in U(\mathbb{C}^{N})$ and homogeneous sphere maps (possibly constant) $h_{j}\colon\mathbb{C}^{n}\to\mathbb{C}^{\ell_{j}}$, $j=1,\ldots,k$ and where $\ell_{1}+\cdots+\ell_{k}=N$, such that

(5) $$f=U(h_{1}\oplus\cdots\oplus h_{k}\oplus 0).$$

Proof.

The first part of the statement follows from Theorem 3.12.

Suppose the degree of the polynomial $f$ is $m$. To obtain the stated presentation of $f$, we use the expression of $\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert^{2}$ in Theorem 3.5:

$$\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert^{2} =[R_{1}^{2}]+[R_{1}^{2},R_{2}^{2}]\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}+[R_{1}^{2},R_{2}^{2},R_{3}^{2}]\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{2}^{2}\bigr{)}+\dots$$

$$\phantom{={}}+Q_{m}(z,\bar{z})\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{1}^{2}\bigr{)}\dots\bigl{(}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}-r_{m}^{2}\bigr{)},$$

where $Q_{m}(z,\bar{z})$ is a constant, and $f$ maps a sphere of radius $r_{j}$ centered at the origin to a sphere of radius $R_{j}$ centered at the origin.

Now as $f$ is a degree-$m$ polynomial, $\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert^{2}$ is a bidegree-$(m,m)$ polynomial in the coordinates $z_{j},\bar{z}_{j}$, and it must be of the above form. Thus $\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert^{2}$ is of the form:

$$\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert^{2}=C_{0}+C_{1}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2}+C_{2}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{4}+\dots+C_{m}\mathopen{}\mathclose{{}\left\lVert z}\right\rVert^{2m},$$

where the $C_{j}$s are nonnegative real numbers, and $C_{m}>0$ since $f$ is a polynomial map** of degree $m$. Set $h^{j}(z)=\sqrt{C_{j}}H_{j}(z)$ (where $h^{0}(z)$ is the constant map** $\sqrt{C_{0}}$), the scaled and symmetrized $j$-fold tensor of the identity map with itself. Suppose $d_{1}<d_{2}<\cdots<d_{k}$ are exactly the degrees for which $C_{d_{j}}>0$. Let $h_{j}=h^{d_{j}}$. Then $h=h_{1}\oplus\cdots\oplus h_{k}$ is a $\infty$-fold sphere map with linearly independent components. We have that $\mathopen{}\mathclose{{}\left\lVert f(z)}\right\rVert^{2}=\mathopen{}\mathclose{{}\left\lVert h(z)}\right\rVert^{2}$ for all $z$, thus by a result of D’Angelo [dangelo-1993-several], after possibly adding zero components to $h$, there is a unitary $U$ such that (5) holds. ∎

Remark 3.16.

Let $n\geq 2$. Given any nonconstant rational map $F\colon\mathbb{C}^{n}\dashrightarrow\mathbb{C}^{N}$ that takes $r$-sphere to $R$-sphere, we can scale it by $f(z)=\frac{1}{R}F(rz)$, giving us a rational sphere map and hence a rational proper map of balls $f\colon\mathbb{B}_{n}\to\mathbb{B}_{N}$.

Thus our results can be stated for rational proper maps of balls as the following:

Theorem 3.17.

Let $n\geq 2$. Let $f=\frac{p}{q}\colon\mathbb{B}_{n}\to\mathbb{B}_{N}$ be a rational proper map of balls that takes $m-1$ zero-centric spheres in $\mathbb{B}_{n}$ to zero-centric spheres in $\mathbb{B}_{N}$.

1. If $f$ is rational of degree less than $m$, then $f$ is a polynomial and takes all zero-centric spheres to zero-centric spheres. The limit $m$ is strict.

2. If $f$ is polynomial of degree at most $m$, then $f$ takes all zero-centric spheres to zero-centric spheres. The limit $m$ is strict.

4. Proper map**s of ball differences

The first part of Theorem 1.2 is the following lemma.

Lemma 4.1.

Suppose $n\geq 2$ and $B_{r}(c)\subset\mathbb{C}^{n}$, $B_{R}(C)\subset\mathbb{C}^{N}$ are two balls such that $B_{r}(c)\cap\mathbb{B}_{n}\not=\varnothing$ and $B_{R}(C)\cap\mathbb{B}_{N}\not=\varnothing$. Suppose $f\colon\mathbb{B}_{n}\setminus\overline{B_{r}(c)}\to\mathbb{B}_{N}\setminus\overline{B_{R}(C)}$ is a proper holomorphic map. Then $f$ is rational and extends to a rational proper map of balls $f\colon\mathbb{B}_{n}\to\mathbb{B}_{N}$ that takes the sphere $(\partial B_{r}(c))\cap\mathbb{B}_{n}$ to the sphere $(\partial B_{R}(C))\cap\mathbb{B}_{N}$.

Proof.

Since $(\partial B_{r}(c))\cap\mathbb{B}_{n}$ is nonempty and $f$ is defined on the pseudoconcave side of it, we find that $f$ extends locally past $\partial B_{r}(c)$ at some point. As $f$ is proper it means that $f$ must take a small piece of $\partial B_{r}(c)$ to some piece of the boundary of $\mathbb{B}_{N}\setminus\overline{B_{R}(C)}$. As the derivative of $f$ is of full rank at most points, we find that $f$ must take this small piece of the sphere to the pseudoconcave part of $\mathbb{B}_{N}\setminus\overline{B_{R}(C)}$, that is, it must go to some part of $\partial B_{R}(C)$. Via Forstnerič’s result, we find that $f$ is rational, and extends to a proper map of $B_{r}(c)$ to $B_{R}(C)$. In particular, $f$ extends past the boundary at some points of $S^{2n-1}$. Then again it must take those points to the sphere $S^{2N-1}$ via the same argument as above, and again it extends to a rational proper map of $\mathbb{B}_{n}$ to $\mathbb{B}_{N}$. That it takes $(\partial B_{r}(c))\cap\mathbb{B}_{n}$ to $(\partial B_{R}(C))\cap\mathbb{B}_{N}$ follows as the map we started with was proper. ∎

If the two spheres are concentric with the unit ball, that is, $c=0$ and $C=0$, then the hypotheses on the spheres mean that $r<1$ and $R<1$. The conclusion of the lemma is then that $f$ is a rational proper map of the unit balls, hence takes $S^{2n-1}$ to $S^{2N-1}$. Moreover, the lemma says that $f$ also takes $rS^{2n-1}$ to $RS^{2N-1}$, and thus is a rational $2$-fold sphere map. Hence, by Lemma 3.10, we find that the degree of the denominator is less than the degree of the numerator, proving the next part of Theorem 1.2.

For the last part of Theorem 1.2 we prove the following lemma.

Lemma 4.2.

Suppose $n\geq 2$ and $B_{r}(c)\subset\mathbb{C}^{n}$, $B_{R}(C)\subset\mathbb{C}^{N}$ are two balls such that $B_{r}(c)\cap\mathbb{B}_{n}\not=\varnothing$ and $B_{R}(C)\cap\mathbb{B}_{N}\not=\varnothing$. Suppose $f\colon\mathbb{B}_{n}\to\mathbb{B}_{N}$ is a holomorphic proper map that takes the sphere $(\partial B_{r}(c))\cap\mathbb{B}_{n}$ to the sphere $(\partial B_{R}(C))\cap\mathbb{B}_{N}$. Then $f$ is rational and restricts to a proper map of $\mathbb{B}_{n}\setminus\overline{B_{r}(c)}$ to $\mathbb{B}_{N}\setminus\overline{B_{R}(C)}$.

Proof.

The first part of the theorem follows by Forstnerič’s result again as we get that the piece of the sphere $(\partial B_{r}(c))\cap\mathbb{B}_{n}$ is taken to the piece of the sphere $(\partial B_{R}(C))\cap\mathbb{B}_{N}$. So $f$ is rational. As $f$ is a rational proper map of balls $\mathbb{B}_{n}$ to $\mathbb{B}_{N}$, it extends past the boundary by the result of Cima–Suffridge [cima-1990-boundary], and hence takes the the sphere $S^{2n-1}$ to the sphere $S^{2N-1}$. Similarly, as the application of Forstnerič’s theorem gave a proper rational map of $B_{r}(c)$ to $B_{R}(C)$, we get that $f$ takes $\partial B_{r}(c)$ to $\partial B_{R}(C)$. To be a proper map of the differences, we need no point of $\mathbb{B}_{n}\setminus\overline{B_{r}(c)}$ to go to a point of $\overline{B_{R}(C)}$. An even stronger conclusion holds, as $f$ is a proper rational map of $B_{r}(c)$ to $B_{R}(C)$, Lemma 2.1 gives that no point of the complement of $\overline{B_{r}(c)}$ in $\mathbb{C}^{n}$ can go to $\overline{B_{R}(C)}$. ∎

Theorem 1.2 is now proved. Finally, we prove Proposition 1.5: there are no proper maps from the difference of balls to the complement of balls or vice-versa.

Proposition 4.3.

Suppose $n\geq 2$, $\mathbb{B}_{n}\cap B_{r}(c)\not=\varnothing$, and $\mathbb{B}_{N}\cap B_{R}(C)\not=\varnothing$. There exist no proper holomorphic maps $f\colon\mathbb{B}_{n}\setminus\overline{B_{r}(c)}\to\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$ nor $f\colon\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}}\to\mathbb{B}_{N}\setminus\overline{B_{R}(C)}$.

Proof.

First, suppose $f\colon\mathbb{B}_{n}\setminus\overline{B_{r}(c)}\to\mathbb{C}^{N}\setminus\overline{\mathbb{B}_{N}}$ is a proper holomorphic map. As before, $f$ extends holomorphically across some piece of the pseudoconcave boundary $\partial B_{r}(c)$. Hence it takes some piece of $\partial B_{r}(c)$ to a bounded set, and as the map is proper it must go to the boundary of the target, that is, $S^{2N-1}$. By the theorem of Forstnerič, $f$ is rational. As $f$ is rational, we can also extend to most points of $S^{2n-1}$. But this means that this extension is a holomorphic map that takes a piece of the sphere $S^{2n-1}$ to the finite part of the boundary, that is, $S^{2N-1}$. Again, Forstnerič says that this map is actually a proper map of $\mathbb{B}_{n}\to\mathbb{B}_{N}$. That is impossible as $f$ takes $\mathbb{B}_{n}\setminus\overline{B_{r}(c)}$ to the complement of $\overline{\mathbb{B}_{N}}$.

Next, suppose that we are given a proper holomorphic map $f\colon\mathbb{C}^{n}\setminus\overline{\mathbb{B}_{n}}\to\mathbb{B}_{N}\setminus\overline{B_{R}(C)}$. By Hartogs, $f$ extends to all of $\mathbb{C}^{n}$. By the maximum principle $f$ takes $\overline{\mathbb{B}_{n}}$ to $\mathbb{B}_{N}$, but that violates Liouville’s theorem. ∎