Abstract
In this note we show that an one-dimensional algebraic subset \(\mathcal {V}\) of arbitrarily dimensional polidisc \(\mathbb {D}^n\), which has the polynomial extension property, is a holomorphic retract.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 The Main Result
Let \(f:\mathcal {V}\rightarrow \mathbb {C}\) be a function on some non-empty subset \(\mathcal {V}\) of \(\mathbb {C}^n\). We say that f is holomorphic (on \(\mathcal {V}\)) if for every point \(\zeta \in \mathcal {V}\) there exists U an open neighbourhood of \(\zeta \) in \(\mathbb {C}^n\) and there exists a holomorphic function \(F:U\rightarrow \mathbb {C}\) such that \(F|_{U\cap \mathcal {V}}=f|_{U\cap \mathcal {V}}\).
The algebra of bounded holomorphic functions on \(\mathcal {V}\) is denoted by \(H^\infty (\mathcal {V})\) and we equip this space with the supremum norm:
By \(\mathcal {P}(\mathcal {V})\) we denote the subalgebra of polynomials of \(H^\infty (\mathcal {V})\).
Definition 1
Take U a bounded domain in \(\mathbb {C}^n\) and let \(\mathcal {V}\) be a non-empty subset of U. We say that \(\mathcal {V}\) has the polynomial extension property with respect to U if for every polynomial \(f\in \mathcal {P}(\mathcal {V})\) there exists a bounded holomorphic function \(F\in H^\infty (U)\) satisfying \(F|_{\mathcal {V}}=f\) and
Recall that \(\mathcal {V}\) a subset of U is called holomorphic retract if there exists a holomorphic map \(r:U\rightarrow \mathcal {V}\) such that \(r|_{\mathcal {V}}=\text {id}|_\mathcal {V}\).
We call the set \(\mathcal {V}\) algebraic in \(\mathbb {D}^n\) if there are polynomials \(p_1,\ldots ,p_s\) such that \(\mathcal {V}=\mathbb {D}^n\cap \bigcap _{j=1}^s p_j^{-1}(0)\).
The main result of the paper is:
Theorem 2
Let \(n\ge 3\). Suppose that the set \(\mathcal {V} \subset \mathbb {D}^n\) is an one-dimensional, algebraic and that it has the polynomial extension property. Then it is a holomorphic retract.
This theorem is an n-dimensional generalization of the result by Kosiński and McCarthy (cf. [7], Theorem 5.1), where the authors proved it in case of the tridisc. In what follows, we will adopt their method, but with some modifications. Before we get to the proof, we will need some extra tools. For recent developments in the studies of extension properties and for some motivations we refer to [2, 8] and to the Agler, Lykova and Young paper [1].
2 Preliminaries
Recall the automorphism group of polidisc
where \(\Sigma \) is the group of all permutations of n-elements and each \(h_{w_j}\) is a Möbius map.
We denote by m the Möbius distance on the unit disc
Let U be a domain in \(\mathbb {C}^n\) and let \(k_U\) be the Kobayashi pseudodistance for U:
where \(p(\lambda ,\mu )=\text {tanh}^{-1}(m(\lambda ,\mu ))\) is the Poincaré distance on the unit disc \(\mathbb {D}\) in \(\mathbb {C}\). Denote by \(c_U\) the Carathéodory pseudodistance
We say that the function \(f \in \mathcal {O}(\mathbb {D},U)\) is a Kobayashi extremal map with respect to two distinct points \(z,w\in U\) if there are \(\lambda , \mu \in \mathbb {D}\) such that \(f(\lambda )=z, f(\mu )=w\) and
Similarly we define the Carathéodory extremal map for a pair of points z and w, as a map \(g\in \mathcal {O}(U,\mathbb {D})\) which satisfies
Finally, a complex geodesic is a range of Kobayashi extremal map. In case when the bounded domain U is convex, it follows from the Lempert theorem (see e.g. [6], Theorem 11.2.1) that for any pair of points in \(\mathbb {D}\) and for every Kobayashi extremal f through these points there exists a Carathéodory extremal map g, being a left-inverse to f, which means that \(g\circ f=\text {id}|_{\mathbb {D}}\).
Definition 3
Take two points z, w in polydisc \(\mathbb {D}^n\) such that \(z\ne w\). We say that z and w form a k-balanced pair, where \(2\le k \le n\), if after a possible permutation of coordinates, we have
If \(w=0\) then we will say that z is a k-balanced point.
Recall that the subset V of a domain U is called relatively polynomially convex if \(\overline{V}\) is polynomially convex and \(\overline{V}\cap U=V\).
Lemma 4
(cf. [7], Lemma 2.2) If U is a bounded domain and \(\mathcal {V}\) is a relatively polynomially convex subset of U that has the polynomial extension property, then \(\overline{\mathcal {V}}\) is connected.
Theorem 5
(cf. [7], Theorem 2.3) Let U be bounded, and assume that \(\mathcal {V}\subset U\) has the polynomial extension property. Let \(\varphi \) be a Carathéodory–Pick extremal for U for some data. If \(\varphi |_{\mathcal {V}}\) is in \(\mathcal {P}(\overline{\mathcal {V}})\), then \(\overline{\varphi (\mathcal {V})}\) contains the unit circle \(\mathbb {T}\).
Lemma 6
Let \(\mathcal {V}\subset \mathbb {D}^n\) be a relatively polynomially convex set that has the polynomial extension property. Suppose that \(\mathcal {V}\) contains an n-balanced pair (a, b). Then \(\mathcal {V}\) contains an n-balanced disc of the form
where \(h_{w_j}\) are Möbius maps, \(j=1,\ldots ,n\).
Proof
Take an automorphism that interchanges b with 0 and a with some point \(\alpha \in \mathbb {D}^n{\setminus } \lbrace 0 \rbrace \) such that \(\alpha _1=\cdots =\alpha _n\). Set \(\varphi (z)=(z_1+\cdots +z_n)/n\). Since \(c_{\mathbb {D}^n}(z,w)=\max \lbrace m(z_j,w_j): j=1,\ldots ,n\rbrace \) (cf. Corollary 2.3.5. in [6]), it follows that \(\varphi \) is a Carathéodory extremal for (a, b). By Theorem 5, the set \(\overline{\mathcal {V}}\) contains the unit circle \(\lbrace (\zeta ,\ldots ,\zeta ):\zeta \in \mathbb {T}\rbrace \), and the polynomial convexity of \(\overline{\mathcal {V}}\) leads to the conclusion that \(\mathcal {V}\) contains n-balanced disc \(\lbrace (\lambda ,\ldots ,\lambda ): \lambda \in \mathbb {D}\rbrace \). \(\square \)
Let \(\pi _k:\mathbb {C}^n\rightarrow \mathbb {C}^k\) denote the natural projection on the first k-coordinates \(z_1,\ldots ,z_k\).
Lemma 7
If we take a point \(a=(a',a'')\in \mathbb {C}^k\times \mathbb {C}^{n-k}\) which is an isolated point of \(\pi _k^{-1}(a')\cap \mathcal {V}\), then we are able to find a polydisc \(U=U'\times U'' \subset \mathbb {C}^k\times \mathbb {C}^{n-k}\) centered at a and such that \(\pi _k:U\cap \mathcal {V}\rightarrow U'\) is proper.
Proposition 8
([3], Theorem 3.7) Let \(\mathcal {X}\) be an analytic set in \(\mathbb {C}^n\) and \(a\in \mathcal {X}\) with \(\text {dim}_a\mathcal {X}=k\). If there is a connected neighborhood \(a\in U=U'\times U''\) such that \(\pi _k:U\cap \mathcal {X}\rightarrow U'\subset \mathbb {C}^k\) is proper, then there exists an analytic set \(\mathcal {Y}\subset U'\), \(\text {dim}\mathcal {Y}<k\) and \(p\in \mathbb {N}\) such that
-
(1)
\(\pi _k:U\cap \mathcal {X}{\setminus } \pi _k^{-1}(\mathcal {Y})\rightarrow U'{\setminus } \mathcal {Y}\) is a locally biholomorphic p-sheeted cover. In particular, \(\# \pi _k^{-1}(z')\cap \mathcal {V}\cap U=p\) for all \(z'\in U'{\setminus } \mathcal {Y}\).
-
(2)
\(\pi _k^{-1}(\mathcal {Y})\) is nowhere dense in \(\mathcal {X}_{(k)}\cap U\), where \(\mathcal {X}_{(k)}=\lbrace z\in \mathcal {X}:\text {dim}_z \mathcal {X}=k\rbrace \).
Proposition 9
([3], Proposition 3.3.3.) Let \(G'\subset \mathbb {C}^k, G''\subset \mathbb {C}^m\) be open subsets. Suppose V is analytic in \(G=G'\times G''\), and take a projection \(\pi _k:(z',z'')\mapsto z'\). Assume that \(V'=\pi _k(V)\) is a complex submanifold in \(G'\) and that \(\pi _k:V \rightarrow V'\) is one-to-one. Then V is a complex submanifold in G and \(\pi _k:V\rightarrow V'\) is a biholomorphic map.
The next lemma is standard.
Lemma 10
Let \(\mathcal {X},\mathcal {Y}\) be analytic where \(\mathcal {X}\) is additionally irreducible. Then if \(w\in \mathcal {X}\cap \mathcal {Y}\) and the germs \((\mathcal {X})_w\) and \((\mathcal {Y})_w\) are equal, then \(\mathcal {X}\subset \mathcal {Y}\).
To obtain the main result, we will prove that \(\mathcal {V}\) is a graph of holomorphic map. Then we will apply the following theorem by Heath and Suffridge [5]:
Theorem 11
The set \(\mathcal {V}\) is a holomorphic retract of \(\mathbb {D}^n\) if and only if, after a permutation of coordinates, \(\mathcal {V}\) is a graph of a map from \(\mathbb {D}^p\) to \(\mathbb {D}^{n-p}\) for some \(0\le p \le n\).
3 Proof of the Main Result
For any regular point w there exists a unique irreducible component containing it. Recall that the properties of having the polynomial extension property, connectedness, being relatively polynomially convex and being a retract are all invariant under application of an automorphism of \(\mathbb {D}^n\). Hence, for given k-balanced pair of points (z, w) which is not \((k+1)\)-balanced we can assume that \(z=0\) and \(w=(w_1,\ldots ,w_1,w_{k+1},\ldots ,w_n)\) with \(|w_1|>|w_j|\) for \(j>k\).
Lemma 12
Assume that \(\mathcal {V}\) is an algebraic and one-dimensional set in \(\mathbb {D}^n\) that satisfies the polynomial extension property. Suppose that \(\mathcal {V}\) contains both 0 and \(w=(w_1,w_1,\ldots ,w_1,w_{k+1},\ldots ,w_n)\), where w is a regular point of \(\mathcal {V}\) with \(|w_1|>|w_j|\) for \(j=k+1,\ldots ,n\) and \(2\le k \le n-1\). Then the irreducible component \(S\subset \mathcal {V}\) passing through w is contained in \(\lbrace z_1=z_2=\cdots =z_k \rbrace \).
Proof
Suppose that S is not contained in \(\lbrace z_1=\cdots =z_k \rbrace \).
Since w is a regular point, by Lemma 4 it is not isolated in \(\mathcal {V}\). Hence locally around w the set S can be described by holomorphic functions
Here we can assume that \(f_1(0)=\cdots =f_k(0)=w_1\) and \(f_p(0)=w_p\) whenever \(p\in \lbrace k+1,\ldots ,n \rbrace \). Decreasing \(\epsilon \) we may also assume that the above set is contained in \(\lbrace |z_{k+1}|,\ldots ,|z_n|<|z_1|,\ldots ,|z_k|\rbrace \). Define
and let
We claim that it is possible to find a pair of indices \(p,q\in \lbrace 1,\ldots ,k\rbrace \) with \(p\ne q\) and a sequence \(\lbrace \lambda _n \rbrace _{n=1}^\infty \subset S_p\cap S_q\) converging to zero.
Suppose the contrary. Since the functions describing first k coordinates coincide at a point 0, then for all pairs of indices \(1\le i,j \le k\) we have \(|f_i|=|f_j|\) on some subset \(\Gamma _{ij}\subset \mathbb {D}( \epsilon )\) with \(0\in \Gamma _{ij}\) being an accumulation point. If there exists an index p such that \(|f_p|\ge |f_j|\) on \(\mathbb {D}(\epsilon )\) for all \(j\ne p\), then we are done. Otherwise for some \(p\ne q\) we can pick two sequences \((\lambda _n)_{n=1}^\infty \) in \(S_{p}\) and \((\mu _n)_{n=1}^\infty \) in \(S_{q}\), both of them converging to \(0\in \mathbb {D}(\epsilon )\). Let permute the indices such that \(p=1, q=2\).
After possibly passing to a subsequence, any pair of points \(\lambda _n\) and \(\mu _n\) we can connect by an arc in \(\mathbb {D}(\epsilon )\) in a way that any n-th arc does not meet the previous \(n-1\) arcs. On every such n-th curve, by continuity argument, we can find a point \(\nu _n\) such that for some \(p\in \lbrace 2,\ldots ,k \rbrace \) we have \(|f_1(\nu _n)|=|f_p(\nu _n)|\ge |f_j(\nu _n)|\) for all \(j\ne 1,p\). Since there is only a finite number of coordinates, we can again pass to a subsequence if necessary, and find an index \(i_0\) such that \(|f_1(\nu _n)|=|f_{i_0}(\nu _n)|\) for all \((\nu _n)_{n=1}^\infty \). This proves the claim.
Now we have two possibilities.
Case 1 There is an index \(j_0\) such that we have \(f_1(\nu _n)=\omega _n f_{j_0}(\nu _n)\) for \(E:=\lbrace \omega _n:n\in \mathbb {N}\rbrace \) being an infinite subset of \(\mathbb {T}\) and such that \(1\in \mathbb {T}\) is an accumulation point of E. After a possible permutation of coordinates we may assume that \(j_0=2\).
Consider the mappings
For any \(\omega _n \in E\) we can take a point \(a=(a_1,\omega _n a_1, a_3,\ldots ,a_n):=(f_1(\nu _n),\ldots ,f_n(\nu _n))\) with \(|a_1|\ge |a_j|\) for all \(j=3,\ldots ,n\) and there is a geodesic
in \(\mathbb {D}^n\) passing through 0 and a. Now, \(F_\omega \) is a left inverse to the Kobayashi extremal through these points and by Theorem 5 we obtain that \(\mathbb {T}\subset \overline{F_{\omega _n} (\mathcal {V})}\). Therefore \(\mathbb {T}\times E \subset \pi _{2} (\overline{\mathcal {V}})\). On the other hand, the variety \(\mathcal {V}\) is one-dimensional and algebraic, so over any point \(\zeta \) in \(\mathbb {T}\) (except perhaps some zero-dimensional singular set) there is only a finite number of points lying over \(\zeta \). Hence we get a contradiction and so \(S \subset \lbrace z_1=\cdots =z_k\rbrace \).
Case 2 There is an index \(j_0\) and a sequence \((\nu _n)_{n=1}^\infty \) such that \(f_1=f_{j_0}\) on that sequence and hence on the whole \(\mathbb {D}(\epsilon )\). Then we have \(S\cap \mathbb {B}_w(t_0) \subset \lbrace z_1=z_{j_0} \rbrace \) for a suitable \(t_0>0\). Here \(\mathbb {B}_w(t_0)\) is a ball centered at w. Since S is irreducible, we have from Lemma 10 that in fact \(S\subset \lbrace z_1=z_{j_0}\rbrace \).
Choose all \(j\in \lbrace 2,\ldots ,n\rbrace \) for which we can find such a sequence \((\nu _n)_{n=1}^\infty \) where \(f_1(\nu _n)=f_j(\nu _n)\) for all n and repeat the above argument. After a possible permutation of indices we get \(S\subset \lbrace z_1=\cdots =z_l\rbrace \). Now, if \(l=k\) then we have finished. However, if \(l<k\) then for some \(j_0\in \lbrace l+1,\ldots ,k\rbrace \) we would find ourselves in a situation from Case one, which leads to the contradiction. \(\square \)
Lemma 13
If \(\mathcal {V}\) is an algebraic subset of \(\mathbb {D}^n\) of dimension one that satisfies the polynomial extension property, then locally \(\mathcal {V}\) is a graph of a holomorphic function.
The local character of the Lemma 13 allows us to make some simplifications. It is enough to prove that \(\mathcal {V}\) is smooth at \(0\in \mathcal {V}\). Moreover, any analytic set can be decomposed to its irreducible components and locally we can choose finite number of them. Therefore we can choose \(t>0\) for which all points in \(\mathcal {V}\cap \mathbb {B}(t){\setminus } \lbrace 0 \rbrace \) are regular and we can write \(\mathcal {V}\cap \mathbb {B}(t)=U_1\cup \cdots \cup U_s\) for some \(s\in \mathbb {N}\), where \(U_j\) are irreducible components passing through zero (and hence \(U_i\cap U_j=\lbrace 0 \rbrace \) whenever \(i\ne j\)).
We will prove the Lemma 13 in a batch of sublemmas.
Sublemma 14
If there exists a point \(w\in \mathcal {V}\cap \mathbb {B}(t)\) such that \(|w_1|>|w_j|\) for \(j=2,\ldots ,n\), then the irreducible component of \(\mathcal {V}\cap \mathbb {B}(t)\) passing through 0 and w is a graph \(\lbrace (\lambda , \lambda f_2(\lambda ),\ldots ,\lambda f_n(\lambda )):\lambda \in \mathbb {D}(\epsilon )\rbrace \), where \(f_j\) are in the open unit ball of \(H^\infty (\mathbb {D}(\epsilon ))\).
Proof
Take the projection to the first variable
Let S be the irreducible component of \(\mathcal {V}\) passing through 0 and w. Note, that \(\pi _1^{-1}(0)\cap S=\lbrace 0 \rbrace \). Otherwise we could find point \(x=(0,x_2,\ldots ,x_n)\in S\) with at least one \(x_j\ne 0\). Since S is irreducible, we could connect x and w by a curve on which there would be a point that forms with zero a pair which is at least 2-balanced. Then Lemma 12 would give a contradiction.
Now, it follows from Lemma 7 and Proposition 8 that there exists a polydisc U such that \(\pi _1|_{U\cap S}\) is an analytic d-sheeted covering with at most 0 being the critical point. If \(d=1\) then by the analytic graph theorem the irreducible component S is a graph of holomorphic function.
Suppose for the sake of contradiction that \(d>1\). We shall note that there is no nonzero point \(x \in S\cap \lbrace |z_1|=\cdots =|z_n| \rbrace \). Indeed, if there is one, then we can choose such a point x and a curve \(\gamma :[0,1]\rightarrow S\) connecting \(w=\gamma (0)\) and \(x=\gamma (1)\), and such that \(\gamma (t) \notin S\cap \lbrace |z_1|=\cdots =|z_n| \rbrace \) for any \(t\in [0,1)\). Then we apply Lemma 6 and we get n-balanced disc through x additionally to the curve \(\gamma \), which contradicts the assumption that x is a regular point.
Therefore we can assume that there is no point in \(S{\setminus } \lbrace 0 \rbrace \) with all the coordinates equal on modulus. The Lemma 12 allows us additionally to note that there is also no k-balanced point for \(2\le k\le n-1\). So we can see that \(|z_1|>|z_j|\), \(j=2,\ldots ,n\) for all nonzero z in S. Otherwise, by a continuity argument we would find a nonzero point \(x\in S\) such that \(|x_1|=|x_j|\) for some \(j\in \lbrace 2,\ldots ,n\rbrace \) and this as we noted is not possible.
Since we assumed that \(d>1\), we can find another point \(w'\) different than w in the fiber \(\pi _1^{-1}(w_1)\cap S\), with some coordinates \(w'=(w_1,w_2',\ldots ,w_n')\). Let \(\varphi \) be the automorphism which maps
where \(h_{w_j}\) is a Möbius map. Then
Now, all points except at most w are regular in \(\varphi (S)\). Let \(\gamma :[0,1]\rightarrow \varphi (S)\) be a curve that joins \(\gamma (0)=w\) and \(\gamma (1)=w''\). We can choose \(\gamma \) such that it does not pass through zero. It is easy to see that there has to be a point \(t_0\in (0,1)\) such that \(\gamma (t_0)\) is k-balanced for some \(k\ge 2\). Again Lemmas 6 and 12 give a contradiction.
Hence near zero S is a graph of a holomorphic function. Additionally we have shown that there is no k-balanced point for any \(k\ge 2\), which means that \(|f_j|<1\) on \(\mathbb {D}(\epsilon )\) for all \(j=2,\ldots ,n\). \(\square \)
Sublemma 15
Fix \(k \in \lbrace 2,\ldots , n-1\rbrace \). Suppose there is a point \(w\in \mathcal {V}\cap \mathbb {B}(t)\) such that \(|w_1|=\cdots =|w_k|>|w_j|\) for \(j\in \lbrace k+1,\ldots ,n\rbrace \). Then the irreducible component passing through 0 and w is a graph \(\lbrace (\lambda ,\omega _2 \lambda ,\ldots ,\omega _k \lambda , \lambda f_{k+1}(\lambda ),\ldots ,\lambda f_n(\lambda )):\lambda \in \mathbb {D}(\epsilon )\rbrace \), where \(f_j\in H^\infty (\mathbb {D}(\epsilon ))\) and \(\omega _j\in \mathbb {T}\).
Proof
The proof is essentially the same as the proof of Sublemma 14, so we just make few additional observations.
It follows from Lemma 12 that in the component S containing w there is no s-balanced points with \(k<s\le n-1\).
Take an automorphism which multiplies every of the first k coordinates by suitable unimodular constants, so we are allowed to assume that \(w_1=\cdots =w_k\). Therefore the unique component S passing through 0 and w is a subset of \(\lbrace z_1=\cdots =z_k \rbrace \). Take the projection \(\pi _k\) to the first k variables, which again we can assume to be proper when restricted to \(S\cap U\) for U being some polydisc.
We need only to show, that the projection is single sheeted. Suppose then that there is another point \(w'=(w_1,\ldots ,w_1,w_{k+1}',\ldots ,w_n')\in \pi _k^{-1}((w_1,\ldots ,w_1))\cap S \cap U\), different than w. Since S is contained in \(\lbrace z_1=\cdots =z_k\rbrace \), we have already reduced the problem to the situation from the Sublemma 14, so we can apply it to get the result. \(\square \)
Sublemma 16
Suppose \(\mathcal {V}\) contains two discs \(\mathcal {D}_1:=\lbrace (\lambda f_1(\lambda ),\lambda ,\lambda f_3(\lambda ),\ldots ,\lambda f_n(\lambda )): \lambda \in \mathbb {D}(\epsilon )\rbrace \) and \(\mathcal {D}_2:=\lbrace (\lambda , \lambda g_2(\lambda ),\ldots ,\lambda g_n(\lambda )): \lambda \in \mathbb {D}(\epsilon )\rbrace \), where all \(f_j,g_j\) are in the closed unit ball in \(H^\infty ({\mathbb {D}}(\epsilon ))\). Suppose there is no open set U such that \(\mathcal {D}_1\cap U=\mathcal {D}_2\cap U\). Then in arbitrarily small neighbourhood of the origin we can find two points \(w\in \mathcal {D}_1{\setminus } \lbrace 0 \rbrace \) and \(w'\in \mathcal {D}_2{\setminus } \lbrace 0 \rbrace \) such that \((w,w')\) forms a pair, which is at least 2-balanced.
Proof
If both \(f_1,g_2\equiv 0\), the result is obvious. We can assume at least one of them, say \(f_1\) is not the zero function. Take some point \(w=(w_1,\ldots ,w_n)\in \mathcal {D}_1\) with \(w_2=\lambda _0\) and \(w_j=\lambda _0 f_j(\lambda _0)\) for \(j\in \lbrace 1,\ldots ,n\rbrace {\setminus } \lbrace 2 \rbrace \). Choose \(\lambda _0\) so that \(f_1(\lambda _0)\ne 0\). Then we pick another point \(x=(x_1,\ldots ,x_n):=(\lambda _1,\lambda _1 g_2(\lambda _1),\ldots ,\lambda _1 g_n(\lambda _1))\) in \(\mathcal {D}_2\) so it satisfies \(\lambda _1=\lambda _0 f_1(\lambda _0)\).
Take an automorphism \(\varphi \) of the unit polydisc that interchanges 0 and x:
Since any point in \(\mathcal {D}_1\) can be joined with 0 by a curve, we can also link x with every point from \(\varphi (\mathcal {D}_1)\). Take an appropriate curve \(\gamma : [0,1]\rightarrow \varphi (\mathcal {V})\) with \(\gamma (0)=\varphi (w)=(0,m_{x_2}(w_2),\ldots ,m_{x_n}(w_n))\) and \(\gamma (1)=\varphi (0)=x\). By the continuity argument the curve \(\gamma \) has to meet a point which is at least 2-balanced. \(\square \)
Proof of the Lemma 13
The Lemma 6, Sublemmas 14 and 15 show that any irreducible component passing through 0 in its neighbourhood is a graph of holomorphic function. Suppose that the variety \(\mathcal {V}\) is a union of at least two graphs. After a permutation of coordinates \(\mathcal {V}\) contains two discs:
for \(f_j, g_j\) being in closed unit ball of \(H^\infty (\mathbb {D}(\epsilon ))\) and with 0 being the only point of intersection of these two discs.
Observe that none of points from \(\mathcal {D}_1{\setminus } \lbrace 0 \rbrace \) forms n-balanced pair with any point of \(\mathcal {D}_2 {\setminus } \lbrace 0 \rbrace \). Otherwise by Lemma 6 there is n-balanced disc through these points contradicting the assumption, that the only intersection point of \(\mathcal {D}_1\) and \(\mathcal {D}_2\) is the zero point.
Suppose there is k-balanced pair \((x,y)\in \mathcal {D}_1\times \mathcal {D}_2\) for \(2\le k \le n-1\). Choose k that is the largest possible. Then by Lemma 12, after perhaps permutation of coordinates we have
This implies, that in fact any pair \((z,w)\in \mathcal {D}_1\times \mathcal {D}_2\) except (0, 0) is k-balanced. In particular if we take \(z=0\in \mathcal {D}_1\), we see that \(\lambda g_1(\lambda )\ne 0\) for all \(\lambda \in \mathbb {D}(\epsilon ){\setminus } \lbrace 0 \rbrace \). Now, for some \(\lambda _0\in \mathbb {D}(\epsilon ){\setminus } \lbrace 0 \rbrace \) choose \(\lambda _1 \in \mathbb {D}(\epsilon )\) such that \(\lambda _1=\lambda _0g_1(\lambda _0)\). Therefore \(m(\lambda _1,\lambda _0g_1(\lambda _0))=0\) contradicting inclusions (3) and (4). Hence there is no k-balanced point either.
Finally, recall that discs (1) and (2) intersect only at point zero. So, by Sublemma 16 there is always a pair of point which is at least 2-balanced, but this is impossible by what we just showed.
This finishes the proof. \(\square \)
Proof of the Theorem 2
We know already that \(\mathcal {V}\) is smooth, i.e. free from singular points. Acting on \(\mathcal {V}\) with an automorphism we lose no generality if we assume that \(0\in \mathcal {V}\).
Suppose that \(\mathcal {V}\) contains a k-balanced pair of points for \(k\ge 2\) and take such a pair where k is the largest possible. If \(k=n\) then \(\mathcal {V}\) contains a n-balanced disc \(\mathcal {D}\) due to Lemma 6 and that disc covers the whole \(\mathcal {V}\), so Theorem 11 finishes the proof. Indeed, we can assume up to automorphism that \(\mathcal {D}=\lbrace (\lambda ,\ldots ,\lambda ):\lambda \in \mathbb {D}\rbrace \). If there exists some point \(x \in \mathcal {V}{\setminus } \mathcal {D}\), then for any point \(w=(\lambda _0,\ldots ,\lambda _0)\in \mathcal {D}\), the pair (x, w) is at most k-balanced for some \(k\le n-1\). By Lemma 12 and after permutation of coordinates we have \(m(x_1,\lambda )=\cdots =m(x_k,\lambda )>m(x_j,\lambda )\) for \(j=k+1,\ldots ,n\), for all \(\lambda \in \mathbb {D}\). Taking \(\lambda =x_1\) we get a contradiction.
Suppose now \(k<n\). It follows again from Lemma 12 that there is no j-balanced pair in \(\mathcal {V}\) which is not k-balanced, for any \(2\le j<k\). Hence we can assume that
Take the projection to the first coordinate \(\pi _1: \mathcal {V}\rightarrow \mathbb {D}\) which by virtue of the inclusion (5) is proper. Recall that for any \(a\in \mathcal {V}\) we have \(\text {dim}_a\mathcal {V}=1\). By Proposition 8 the projection \(\pi _1\) is a local p-sheeted covering except at most discrete set of singular points, for some \(p\in \mathbb {N}\). But the set of singularities is empty. Suppose now that \(p>1\). Then since we assumed that zero is in \(\mathcal {V}\), we can now pick two points \(\lbrace 0,w\rbrace \in \pi _1^{-1}(0)\cap \mathcal {V}\) where \(w=(0,w_2,\ldots ,w_n)\ne 0\). But this contradicts the assumption that for \(\mathcal {V}\) the inclusion (5) is satisfied, so in fact \(p=1\).
Therefore \(\pi _1:\mathcal {V}\rightarrow \mathbb {D}\) is an one-to-one map, so by Proposition 9 it is a biholomorphism. Now, Theorem 11 finishes the proof. \(\square \)
Remarks
If we strengthen the assumptions in Theorem 2, demanding that the variety \(\mathcal {V}\) has the \(H^{\infty }\)-extension property instead of the polynomial one, then \(\mathcal {V}\) is connected. Bearing in mind first three paragraphs of the Proof of the Theorem 2 we observe that
Define \(f:=z_n/z_1\in H^\infty (\mathcal {V})\). There exists \(F\in H^\infty (\mathbb {D}^n)\) an extension of f. Then \(g:=z_1F\) is an nontrivial extension of \(z_n|_{\mathcal {V}}\) so there are satisfied assumptions of the following theorem by Guo, Huang and Wang [4]:
Theorem 17
Suppose \(\mathcal {V}\) is a subset of \(\mathbb {D}^n\) and \(z_n|_{\mathcal {V}}\) has a nontrivial extension. Then \(\mathcal {V}\) has the form \(\mathcal {V}=\lbrace (z',f(z')):z'\in \pi _{n-1}(\mathcal {V}))\rbrace \), where f is the unit ball of \(H^\infty (\mathbb {D}^{n-1})\).
References
Agler, J., Lykova, Z., Young, N.J.: Geodesics, Retracts, and the Norm-Preserving Extension Property in the Symmetrized Bidisc. Memoirs of the AMS, vol. 258, nr. 1242 (2019)
Agler, J., McCarthy, J.E.: Norm preserving extensions of holomorphic functions from subvarieties of the bidisk. Ann. Math. 157, 289–312 (2003)
Chirka, E.M.: Complex Analytic Sets, Mathematics and Its Applications (Soviet Series), vol. 46. Kluwer Academic Publishers Group, Dordrecht (1989)
Guo, K., Huang, H., Wang, K.: Retracts in polydisk and analytic varieties with the \(H^\infty \)-extension property. J. Geom. Anal. 18(1), 148–171 (2008)
Heath, L.F., Suffridge, T.J.: Holomorphic retracts in complex n-space. Ill. J. Math. 25(1), 125–135 (1981)
Jarnicki, M., Pflug, P.: Invariant Distances and Metrics in Complex Analysis-Second Edition, de Gruyter Expositions in Mathematics 9. Walter de Gruyter, Berlin/Boston (2013)
Kosiński, Ł., McCarthy, J.E.: Extensions of bounded holomorphic functions on the tridisc. Revista Matemática Iberoamericana (2019) (forthcoming)
Kosiński, Ł., McCarthy, J.E.: Norm preserving extensions of bounded holomorphic functions. Trans. Am. Math. Soc. 371(10), 7243–7257 (2019)
Acknowledgements
I would like to express my gratitude to Łukasz Kosiński for his guidance and numerous suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Daniel Aron Alpay.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was supported by the NCN Grant 2017/26/E/ST1/00723.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Maciaszek, K. On Polynomial Extension Property in N-Disc. Complex Anal. Oper. Theory 13, 2771–2780 (2019). https://doi.org/10.1007/s11785-019-00912-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11785-019-00912-3