arxiv: v3 [math.cv] 17 Nov 2017

Transcription

1 arxiv: v3 [math.cv] 17 Nov 017 TOTALLY REAL EMBEDDINGS WITH PRESCRIBED POLYNOMIAL HULLS LEANDRO AROSIO AND ERLEND FORNÆSS WOLD Abstract. We embed compact C manifolds into C n as totally real manifolds with prescribed polynomial hulls. As a consequence we show that any compact C manifold of dimension d admits a totally real embedding into C 3d with non-trivial polynomial hull without complex structure. We will prove the following result. 1. Introduction Theorem 1.1. Let X C m be a totally real C submanifold of dimension d > 1 and let K X be a compact subset. Let M be a compact C manifold of dimension d (possibly with boundary) and assume that there exists a C embedding φ : X M. Then there exists a totally real C embedding ψ : M C m+l, where l = max{ 3d m,0}, such that (i) ψ φ = id on K, and (ii) ψ(m) = ψ(m) K. Notice that by a slight abuse of notation we denote the compact set K {0} C m+l also by the letter K. Our motivation for proving this result is the following recent result by Izzo and Stout. Theorem 1. (Izzo Stout [9]). Let M be a compact C surface (possibly with boundary). Then M embeds into C 3 as a totally real C surface Σ such that Σ \ Σ is not empty and does not contain any analytic disc. In the case where M is a torus, Theorem 1. was proved by Izzo, Samuelsson Kalm and the second named author [8]. In a recent paper Gupta [4] gave an explicit example of an isotropic torus in C 3 whose polynomial hull consists only of an annulus attached to the torus. We note that the torus embedded in [8] is also isotropic, the image being the graph of a real valued function on the torus in C. Date: November 0, Mathematics Subject Classification. 3E0. Key words and phrases. Polynomial Convexity, Totally Real Manifolds. Supported by NRC grant no Supported by the SIR grant NEWHOLITE - New methods in holomorphic iteration no. RBSI14CFME. Part of this work was done during the international research program Several Complex Variables and Complex Dynamics at the Center for Advanced Study at the Academy of Science and Letters in Oslo during the academic year 016/017. 1

2 L. AROSIO AND E. F. WOLD As a corollary to Theorem 1.1 we prove the following generalization of Theorem 1. to every dimension d > 1. Corollary 1.3. Let M be a compact C manifold (possibly with boundary) of dimension d > 1. Then M embeds into C 3d as a totally real C submanifold Σ such that Σ\Σ is not empty and does not contain any analytic disc. The same result was proved in [8] for dimension d+4 of the target space. Notice that by [7, Theorem.1] the dimension 3d is optimal for totally real embeddings of d-dimensional manifolds, which implies that Corollary 1.3 is optimal. We emphasize that Theorem 1.1 is a simple consequence of the general fact that any C manifold of dimension d embeds into C 3d as a totally real submanifold, and the following general genericity result regarding polynomial hulls and totally real embeddings (to be proved in Section 4): Theorem 1.4. Let M be a compact C manifold (possibly with boundary) of dimension d < n and let f: M C n be a totally real C embedding. Let K C n be a compact polynomially convex set. Then for any k 1 and for any ε > 0 there exists a totally real C embedding f ε : M C n such that (1) f ε f C k (M) < ε, () f ε f = 0 on f 1 (K), (3) K fε (M) = K f ε (M). In the case K =, Theorem 1.4 was proved by Forstneric and Rosay for d = and n 3, by Forstneric [] for d n 3, and by Løw and the second named author [10] for d < n. To obtain Corollary 1.3 it is crucial that Alexander [1] has constructed a suitable compact set K in the totally real distinguished boundary of the bidisk in C (see Section ).. Proof of Theorem 1.1 and Corollary 1.3 In this section we prove Theorem 1.1 and Corollary 1.3 assuming Theorem 1.4 which will be proved in the next section. We recall first the following result [3, Lemma 5.3]. By generic we mean open and dense in the Whitney C -topology. Lemma.1. Let M be a compact C manifold (possibly with boundary) of dimension d. Then a generic C embedding ψ : M C 3d is totally real. Proof of Theorem 1.1: Let U be a relatively compact open subset of X containing K. Set U := φ(u ), and let ψ 1 : φ(x) C m be the inverse of φ. Let ψ : M C m be a C mapping which agrees with ψ 1 on U. Notice that since (m+l) d+1, by Whitney s theorem (see e.g. [5, Theorem.13]) a generic C mapping from M to C m+l is an embedding, and since m+l 3d, by Lemma.1 a generic C embedding of M into C m+l is totally real. Let ψ 3 : M C m+l be a small perturbation of ψ which is a totally real C embedding.

3 POLYNOMIALLY CONVEX HULLS 3 Let χ C0 (U) with χ 1 in a neighborhood of φ(k) and 0 χ 1. Then if the perturbationψ 3 wassmallenough,themappingfromm toc m+l definedasψ 4 := χ ψ 1 +(1 χ)ψ 3 is a totally real C immersion injective in U. There exists a small C perturbation ψ: M C m+l whichis atotally real C embeddingandsuchthat ψ φ(k) = ψ 4 φ(k) (see e.g. [6, Theorem.4.3] where the approximation is in C 0 -norm but the proof can be easily adapted to our case) which implies that K ψ(m). Notice that ψ 4 φ(k) = ψ 1 φ(k), and thus ψ φ = id on K. Since m+l > d, we can apply Theorem 1.4 with K replaced by K and Theorem 1.1 follows. To prove Corollary 1.3 we need the following result of Alexander: Theorem.. (Alexander, [1]) The standard torus T := {(e iϑ,e iψ ): ϑ,ψ R} in C contains a compact subset K such that K\K is not empty but contains no analytic discs. Such a set can be found in every neighborhood of the diagonal in T. Proof of Corollary 1.3: Choose a small annular neighbourhood A of the diagonal in T, and let K A be the compact subset given by Theorem.. Define a totally real C submanifold X of C d by X = {(z 1,z,z 3,...,z d ) : (z 1,z ) A,Im(z j ) = 0 and ε < Re(z j ) < ε for j = 3,...,d}, where ε > 0. Now X embeds into the into (any small portion) of the interior of M. By Theorem 1.1, there exists a totally real C embedding ψ: M C 3d such that K ψ(m) and ψ(m) = ψ(m) K. Recall [1, Theorem 6.3.] that for a polynomially convex subset H of a totally real C submanifold the uniform algebra P(H), consisting of all the functions on H that can be approximated uniformly by polynomials, coincides with the algebra of continuous functions on H. Hence the hull K cannot be contained in ψ(m), and the result follows from Theorem.. 3. Proof of the main lemma For any compact set K C n set h(k) := K \K. We will sometimes denote K by [K ]. The proof of the following main lemma is essentially contained in [10, Proposition 6,7] where it is given in the case of C 1 -regularity. We give a proof for completeness. Lemma 3.1. Let M be a compact C manifold (possibly with boundary) of dimension d < n and let f: M C n be a totally real C embedding. Let K C n be a compact polynomially convex set, and let U be a neighborhood of K. Then for any k 1 and for any ε > 0 there exists a totally real C embedding f ε : M C n such that (1) f ε f C k (M) < ε, () f ε f = 0 in a neighborhood of f 1 (K), (3) K fε (M) U f ε (M). The following result is proved in [10, Proposition 4].

4 4 L. AROSIO AND E. F. WOLD Proposition 3.. Let M be a compact C 1 manifold (possibly with boundary) and let f: M C n be a totally real C 1 embedding. Let U U C n be open sets. Then there exists an open neighborhood Ω of f(m) such that (1) if S M is closed and K U is compact, then h(k f(s)) U Ω h(k f(s)) U, () if f is a sufficiently small C 1 -perturbation of f, then (1) holds with f in place of f. The following lemma is proved in [10, Corollary ] Lemma 3.3. Let K C n be a compact subset. Let M be a compact C 1 manifold (possibly with boundary) and let f: M C n be a totally real C 1 embedding. Let S M be a closed subset. Let U be an open set such that h(k f(s)) U. Then there exists a constant c > 0 such that if f f C 1 (M) < c, then h(k f(s)) U. Proof of Lemma 3.1: The proof is in two steps. Let I denote the interval [0,1] R. First Step: The first step is proving the lemma in the case M = I d. The proof is by induction on d. Fix a strictly positive d N, and assume that the result holds for embeddings of I d 1. Since K is polynomially convex, it admits fundamental system of open neighborhoods which are Runge and Stein open sets. Thus there exists a Runge and Stein open set U C n such that K U U. Since U is Runge and Stein, it admits a normal exhaustion by polynomially convex subsets. Hence there exists a polynomially convex set K U such that K int(k ). Let us fix some notation. (1) for J N and α N d, 0 α j J 1, we denote by Iα J the cube [ Iα J := α1 J, α 1 +1 J ] [ αd J, α d +1 J () for 1 m d, 0 j J, we denote by G J m,j the (d 1)-dimensional cube { } j G J m,j := I I I I, J m-th index (3) we denote by G J the grid which is the union of all (d 1)-dimensional cubes G J := m,jg J m,j, (4) we denote by G J (δ) the closed δ-neighborhood of the grid G J, G J (δ) := {x I d : dist(x,g J ) δ}, (5) we denote by Q J α(δ) I J α the smaller d-dimensional cube Q J α(δ) := I J α \G J (δ), (6) we denote by S J an n-tuple of distinct cubes I J α. We will prove the following statement. There exists a big enough J, a small enough δ and a totally real C embedding f ε : I d C n such that ],

5 POLYNOMIALLY CONVEX HULLS 5 (i) f ε f C k (I d ) < ε, (ii) f ε f = 0 in a neighborhood of f 1 (K), (iii) f ε (Iα J) K f ε(iα J) K, (iv) h(k f ε (S J ) f ε (G J (δ))) U for any choice of n-tuple S J, (v) for all α such that f ε (Q J α (δ)) Cn \K, there exists an entire function g α O(C n ) such that f ε (Q J α(δ)) {g α = 0} =: Z(g α ), (vi) for all choices of n+1 different multi-indices α 1,...,α n+1 such that f ε (Q J α(δ)) C n \K we have 1 j n+1 Z(g αj) =. Once this is proved, the first step of the proof goes as follows. Assume that q [K f ε (I d ) ]. Let µ be a representative Jensen measure for the linear functional on P(K f ε (I d )) defined as the evaluation at q, such that for all entire functions g O(C n ) we have log g(q)) log g dµ. (3.1) Assume that there exists α such that µ(f ε (Q J α(δ))) > 0 and f ε (Q J α(δ)) K =. By (v) we get that log g α dµ =, and by (3.1) we have that q Z(g α ). By (vi), there exists an n-tuple of cubes S J such that the measure µ is concentrated on the subset K f ε (S J ) f ε (G J (δ)). It follows that q [K f ε (S J ) f ε (G J (δ)) ], and by (iv) we obtain that q U f ε (I d ). We proceed to prove the statement above. Claim 1: If J is big enough then h(k f(s J )) U (3.) for any choice of n-tuple S J. Moreover, for a fixed big enough J, if f 0 is a sufficiently small C 1 -perturbation of f, then (3.) holds with f 0 in place of f. Proof of Claim 1: Let U be an open neighborhood of K with U U. Let Ω be given by Proposition 3. with data (f,u,u ). Assume by contradiction that there is a sequence (J t ) t N, J t and a sequence S Jt of n-tuples such that h(k f(s Jt )) U. Let I Jt α 1 (t),...,ijt α n (t) be the cubes in SJt. Up to passing to a subsequence we may assume that for any 1 j n, the image f(i Jt α j (t) ) converges to a point q j M as t. Since K {q j } 1 j n is polynomially convex, there exists a Runge and Stein neighborhood V of K {q j } 1 j n such that V U Ω. For large enough t we have that K f(s Jt ) V, which implies h(k f(s Jt )) U Ω, and thus by Proposition 3. we have a contradiction. Since there are only a finite number of n-tuples S J for a fixed J, the perturbation claim follows from Lemma 3.3. End proof of Claim 1. Choose J big enough to ensure that Claim 1 holds and that for all α, f(i J α ) K f(ij α ) int(k ).

6 6 L. AROSIO AND E. F. WOLD Claim : There exists a totally real C embedding fε : Id C n such that (1) fε f C k (I d ) < ε, () fε = f in a neighborhood of f 1 (K ), (3) h(k fε (SJ ) fε (GJ )) U for any choice of n-tuple S J. Moreover, if f 0 is a sufficiently small C 1 -perturbation of fε, then (3) holds with f 0 in place of fε. Proof of Claim : Fix an n-tuple S J. Choose an ordering of the (d 1)-dimensional cubes (G J m,j ) m,j and denote them by G 1,...,G l. Fix 0 < η << 1 (to be determined later). We will construct inductively a family of totally real C embeddings (f j : I d C n ) 0 j l such that (a) f j f j 1 C k (I d ) η, (b) f j = f j 1 in a neighborhood of f 1 (K ) S J ( 1 i j 1 G i, (c) h K f j (S J ) ) 1 i j f j(g i ) U. If we set f 0 := f, then (c) is true by Claim 1. Assume we constructed f j, where 0 j l 1. Then by (c) the set h(k f j (S J ) 0 i j f j(g i )) is compact in U, so there exists a set U 1 such that K U 1 U satisfying h(k f j (S J ) 1 i j f j(g i )) U 1. Let Ω 1 be given by Proposition 3. with data (f j,u,u 1 ). Consider thetotally real C embeddingf j Gj+1 : G j+1 C n. Since [K f j (S J ) f j (G i ) ] U 1 Ω 1, 0 i j by the inductive assumption (the result holds for embeddings of I d 1 ) there exists a totally real C embedding f j Gj+1 : G j+1 C n such that (1) f j f j C k (G j+1 ) is small, () f j = f j in a neighborhood of fj 1 (K ) S J ( 1 i j G i, (3) h K f j (S J ) 1 i j f j(g i ) f ) j (G j+1 ) U 1 Ω 1. If f j f j C k (G j+1 ) is small enough, then we may extend f j to a totally real C embedding f j+1 : I d C n such that f j+1 f j C k (I d ) η, which coincides with f j on f 1 (K ) S J 1 i j G i. By the choice of Ω 1 it follows that h(k f j+1 (S J ) f j+1 (G i )) U. 1 i j+1 The mapping f l satisfies Claim for the chosen n-tuple S J. We then iterate this argument for every n-tuple S J (choosing η small enough), and we obtain fε. The perturbation claim follows from Lemma 3.3. End proof of Claim. Let Ω be an open neighborhood of fε (Id ) given by Proposition 3. with data (fε,u,u ).

7 Claim 3: There exists a δ > 0 such that POLYNOMIALLY CONVEX HULLS 7 h(k fε (SJ ) fε (GJ (δ))) U (3.3) for any choice of n-tuple S J. Moreover, if f 0 is a sufficiently small C 1 -perturbation of fε, then (3.3) holds with f 0 in place of fε. Proof of Claim 3: Fix an n-tuple S J. Since h(k fε (SJ ) fε (GJ )) U, there exists a Runge and Stein neighborhood V Ω U of K fε (SJ ) fε (GJ ). If δ > 0 is small enough we have that K fε (SJ ) fε (GJ (δ)) V, and thus h(k fε (SJ ) fε (GJ (δ))) U. Since the number of n-tuples is finite, we can choose a δ which works for all of them. The perturbation claim follows from Lemma 3.3. End proof of Claim 3. We end Step 1 by pushing each fε (QJ α (δ)) with f ε (QJ α (δ)) K = into an analytic hypersurface of C n. Fix a multi-index α such that fε (QJ α(δ)) K =. We identify the cube Iα J with the cube centred at the origin in R d, with the decomposition R d ir d C n d of C n, and after an affine linear change of coordinates we may assume that fε : IJ α C n satisfies fε(0) = 0, with the tangent space of fε (IJ α ) at the origin equal to Rd, and with Dfε(0) orientation preserving. We now claim that we may approximate fε arbitrarily well in Ck -norm on I J α by holomorphic automorphisms G α of C n. Granted this for a moment, we proceed as follows. Let χ be a cutoff function with compact support in int(iα) J such that χ 1 in a neighborhood of Q J α(δ). Define f α (x) := fε (x)+χ(x)(g α(x) fε(x)). (3.4) If we define g α as the n-th coordinate of G 1 α, then clearly g α (f α (Q J α (δ))) = 0. Notice that since f α = fε on Id \int(i J α), the maps f α patch up as α varies among all multiindices α such that fε (QJ α(δ)) K =, and we obtain an embedding f ε : I d C n satisfying the properties (i)-(v). Finally, by the following sublemma, we may assume, possibly having to perturb the automorphisms G α slightly, that the intersection 1 j n+1 Z(g αj) of any collection of n+1 zero sets is empty. Thus property (vi) is satisfied. Sublemma 3.4. Let {g j } 1 j N O(C n ) be a finite collection of non-constant holomorphic functions, and for each a j C set g a j j := g j a j. Then there exists a dense G δ set A C N such that for each a A the following holds: for any collection {g a i 1 i 1,...,g a i n+1 i n+1 } with i j i k if j k, we have that n+1 l=1 Z(g a i l i l ) =. (3.5) Proof. Let a = (a 1,...,a N ) C N be an arbitrary point. Let {I i } M i=1 = {(i 1,...,i n+1 )} M i=1 be the collection of vectors with all possible combinations, without repetition, of n + 1 of the indices {1,...,N}. Let δ > 0 and fix R > 0. We consider first the multi-index I 1. The set Z(g a ) B n R

8 8 L. AROSIO AND E. F. WOLD consists of a finite number of irreducible components, each of dimension n 1. Denote by δ (p) C the disc of center p and radius δ, and by B n R Cn the ball of radius R centered at the origin. Choosing a 1 1 δ (a 1 ) such that g a1 1 1 is not identically zero on the regular part of any of these components, we get that Z(g a ) Z(g a1 1 1 ) B n R (3.6) has a finite number of irreducible components, each of dimension at most n, where we have set a = a 11. Choosing a δ (a 13 ) such that g a is not identically zero on any of these components, and continuing in this fashion, we obtain a collection of points {a 1 1 l },l = 1,...,n+1, such that n+1 l=1 Z(g a1 1 l 1 l ) B n R =, (3.7) and such that a 1 1 l δ (a 1l ). Finally, by continuity, (3.7) is an open condition on the constants a 1 1 l, so we may choose δ 1 > 0 such that δ1 (a 1 1 l ) δ (a 1l ) such that (3.7) holds with each a 1 1 l replaced by an arbitrary ã 1l δ1 (a 1 1 l ). Based on this we continue an inductive construction, and we assume that we have constructed points {a k i l } for i = 1,...,k and l = 1,...,n +1, and δ k > 0, such that δk (a k i l ) δ (a il ), and such that n+1 l=1 Z(gãi l i l ) B n R =, (3.8) for i = 1,...,k, and ã il δk (a k i l ). Note that points may appear with repetition in the collection {a k i l }. We now consider the multi-index {(k + 1) 1,...,(k + 1) n+1 }. As we have seen, the condition corresponding to (3.7) is generic for a single set of n + 1 functions. So we may choose points a k+1 (k+1) such thata k+1 l (k+1) δk (a k l (k+1) ) if theindex (k+1) l appearedalready in theconstruction, l and a k+1 (k+1) δ (a (k+1)l ) if the index did not appear yet, and such that l n+1 l=1 Z(g ak+1 (k+1) l (k+1) l ) B n R =. (3.9) Relabel the remaining points a k i l,i = 1,...,k,l = 1,...,n + 1, with a superscript k + 1. By continuity, we may choose δ k+1 to reproduce our induction hypothesis with k+1 in place of k. We conclude that for each R N there exists an open dense set A R C N such that n+1 l=1 Z(g a i l i l ) B n R = (3.10) for all a A R and all (i 1,...,i n+1 ) without repetition. Set A = R A R.

9 POLYNOMIALLY CONVEX HULLS 9 To produce G α it suffices by [, Main Theorem] to produce a piecewise smooth isotopy of embeddings (G t : Iα J C n ) t [0,1] connecting the identity map G 0 = id I J α with the map G 1 = fε, such that G t (Iα) J is totally real and polynomially convex for all t. Notice that, if J is big enough, then f(iα) J is polynomially convex [11, Proposition 4.]. Once J is fixed, it follows by [10, Corollary 1] that if fε is a small enough C1 -perturbation of f, then fε (IJ α) is polynomially convex. Define an isotopy fε((1 t)x) for t [0,1 η], where η > 0 is to be chosen. Then fε (tij α) is totally real and polynomially convex for all t. Since any sufficiently small C 1 -perturbation of Iα J is polynomially convex and totally real, if η > 0 is small enough, we can choose a neighborhood W of the origin in fε (IJ α ) and an isotopy of embeddings (π t : W C d ) t [0,1] such that (1) fε (ηij α) W, () π 0 = id W and π 1 is the projection to R d, (3) π t (fε (ηij α)) is totally real and polynomially convex for all t [0,1]. We have thus connected fε to an orientation preserving embedding H : IJ α R d with H(0) = 0. Now H is connected to DH(0) via the path 1 th(tx), and then DH(0) is connected to the identity map id I J α. Second Step: For simplicity we assume that M is without boundary. Let I 1,...,I N be a cover of M by closed cubes, such that there is a collection of subcubes Ii 0 int(i i ) which also cover M. For each i let χ i be a cutoff function compactly supported in int(i i ) with χ i 1 in a neighborhood of Ii 0. Let U j U j+1 U be open sets for j = 1,...,N, and let Ω be given by Proposition 3. for all the data (f(m),u j+1,u j ) with j = 1,...,N. We will proceed to perturb the image f(m) cube by cube. Assume that we have constructed a small C k -perturbation f j : M C n of f such that h(k f j ( j i=1 I0 i )) U j (it will be clear from the construction how to construct f 1 ). By Step 1 we let g j+1 : I j+1 C n be a small C k -perturbation of f j such that h(k f j ( j i=1 I0 i ) g j+1(i j+1 )) Ω U j, and g j+1 coincides with f j in a neighbourhood of j i=1 I0 i f 1 j (K). Defining f j+1 by f j+1 := f j +χ j+1 (g j+1 f j ), we obtain h(k f j+1 ( j+1 i=1 I0 i)) U j+1. If all the perturbations were small enough, defining f ε := f N yields the result. 4. Proof of Theorem 1.4 Let ε > 0. Let (U j ) j 1 be a sequence of open neighborhoods of K such that U j+1 U j for all j 1 and K = j 1 U j. Set f 0 := f. We perturb f 0 inductively using Lemma 3.1, obtaining a family of totally real C embeddings (f j : M C n ) j N such that,

10 10 L. AROSIO AND E. F. WOLD (1) for all j 1 we have K fj (M) U j f j (M), () for all j N we have f j+1 f j C k+j (M) < η j, where the sequence (η j ) satisfies for all l N, η j < δ l, j=l where 0 < δ 0 ε is to be chosen and for all l 1, δ l is the constant c(f l,k,u l ) given by Lemma 3.3, (3) for all j N we have f j+1 f j on f 1 (K). The sequence (f j ) clearly converges to a C map f ε : M C n which coincides with f on f 1 (K), and such that f f ε C k (M) < δ 0. If δ 0 is small enough, then f ε is a totally real C embedding. We claim that for all l 1, This follows from Lemma 3.3, since K f ε (M) U l f ε (M). f ε f l C 1 (M) η j < δ l. j=l References 1. H. Alexander, Hulls of subsets of the torus in C, Ann. Inst. Fourier (Grenoble) 48 (1998), no. 3, F. Forstneric, Approximation by automorphisms on smooth submanifolds of C n, Math. Ann. 300 (1994), F. Forstneric, J.-P. Rosay, Approximation of biholomorphic mappings by automorphisms of C n, Invent. Math. 11 (1993), no., P. Gupta, A nonpolynomially convex isotropic two-torus with no attached discs, arxiv: M. W. Hirsch, Differential Topology, Graduate Texts in Mathematics 33 (1976). 6. A. Mukherjee, Differential Topology, Birkhäuser Basel (015). 7. P. T. Ho, H. Jacobowitz, P. Landweber, Optimality for totally real immersions and independent mappings of manifolds into C N, New York J. Math. 18 (01) A. Izzo, H. Samuelsson Kalm, E. F. Wold, Presence or absence of analytic structure in maximal ideal spaces, Math. Ann. 366 (016), no. 1-, A. Izzo, E. L. Stout, Hulls of surfaces, Indiana U. Math. J. (to appear). 10. E. Løw, E. F. Wold, Polynomial convexity and totally real manifolds, Complex Var. Elliptic 54 (009), Nos. 3 4, P. E. Manne, E. F. Wold, N. Øvrelid, Holomorphic convexity and Carleman approximation by entire functions on Stein manifolds, Math. Ann 351 (011), E. L. Stout, Polynomial convexity, Progress in Mathematics, 61 Birkhäuser Boston, Inc., Boston, MA, 007. L. Arosio: Dipartimento Di Matematica, Università di Roma Tor Vergata, Via Della Ricerca Scientifica 1, 00133, Roma, Italy address: arosio@mat.uniroma.it

11 POLYNOMIALLY CONVEX HULLS 11 E. F. Wold: Department of Mathematics, University of Oslo, Postboks 1053 Blindern, NO-0316 Oslo, Norway address: