Anal.Math.Phys. (2018) 8:197–211 https://doi.org/10.1007/s13324-018-0211-2 Linus Bergqvist Received: 8 November 2017 / Revised: 10 January 2018 / Accepted: 15 January 2018 / Published online: 24 January 2018 © The Author(s) 2018. This article is an open access publication Abstract We use methods from potential theory and harmonic analysis to show non- cyclicity of polynomials on a polydisc whose zero set meets the distinguished boundary along a hypersurface. We also generalize methods used for proving cyclicity for poly- nomials in two variables with small zero sets to arbitrary dimension. In doing so, we show that in higher dimension, the cyclicity properties of a function do not only depend on the codimension, but also on the orientation of the zero set. Furthermore, we illustrate our results by studying a special class of polynomials. Finally, we use methods from potential theory to prove that our estimates for non-cyclicity are in fact sharp. Keywords Cyclic vectors · Dirichlet-type spaces · Polydiscs 1 Introduction In this article we study cyclic vectors for the shift operators on a range of Hilbert spaces on polydiscs, which among others include the Hardy space and the Dirichlet space. The problem of characterizing cyclic vectors is a difﬁcult one, and already in one variable, the cyclic vectors for the Dirichlet space are not entirely known. In order to better understand the phenomena which determine the cyclicity properties of different functions, we mainly restrict ourselves to studying polynomials in this article. More concretely, we investigate cyclicity properties of polynomials in the so called Dirichlet type spaces on the polydisc.For α ∈ R , we deﬁne the Dirichlet type space with parameter α, D , as the Hilbert space of holomorphic functions on the n-dimensional polydisc whose power series expansion B Linus Bergqvist linus@math.su.se Department of Mathematics, Stockholm University, Stockholm, Sweden 198 L. Bergqvist ∞ ∞ 1 k f (z ,..., z ) = ··· a z ... z 1 n k ,...,k 1 n n k =0 k =0 1 n satisﬁes ∞ ∞ 2 α α 2 1 n f = ··· (k + 1) ...(k + 1) |a | < ∞. 1 n k ,...,k α 1 n k =0 k =0 1 n When they dimension is obvious from the context, we will simply use the notation D . Furthermore, we denote the multiplier algebra of D by M (D ). α α α Several results regarding the one variables analogue of these spaces can be found in the book [4]. In [5], it was shown that for α with all α ≤ 2, D is characterized by i α ﬁniteness of the seminorm given by 2 2 1−α 2 1−α 1 n |∂ ...∂ f (z ,..., z )| (1 −|z | ) ...(1 −|z | ) dA(z )... dA(z ), 1 n 1 n 1 n 1 n (1) where A(z) is the normalized Lebesgue measure with respect to D. One important property of D is the fact that they are all reproducing kernel Hilbert spaces, that is, point evaluation is a bounded linear functional. The shift operators on D are deﬁned by S ( f (z)) = z f (z), and from their deﬁ- α i i nition and the deﬁnition of the norm, we see that they are commuting, bounded linear operators from D to itself. We say that a function f is cyclic if the smallest invariant subspace of the shift operators which contains f is all of D . This is equivalent to k n [ f ]= D , where [ f ]= span{z f (z) : k ∈ N }, where we have used multi-index notation in the previous deﬁnition. Since polynomials are dense subsets of all D ,we see that a function f is cyclic if and only if there exists a sequence of polynomials { p } such that lim p f − 1 = 0. See for example [3] for details. n n α n→∞ In one and two variables, the cyclic polynomials have been completely charac- terized. In [3] it was shown that all polynomials in one variable with no zeros in D are cyclic for all α ≤ 1. In [2] the authors studied isotropic spaces, i.e. spaces with α = ··· = α , and they showed that, apart from certain degenerate cases where the 1 n polynomial in C[z , z ] was in fact a polynomial in which only one variable was rep- 1 2 resented, the cyclicity properties were determined by the cardinality of the zero set on 2 2 T . They showed that polynomials with only ﬁnitely many zeros on T are cyclic for all α ≤ 1, and polynomials with an inﬁnite zero set are cyclic if and only if α ≤ 1/2. In [6], this result was extended to the anisotropic setting, where the authors showed that a polynomial with inﬁnite zero set is cyclic if and only if |α|= α + α ≤ 1. In 1 2 fact, this was shown to be true even when one α was negative. In this article, we generalize some of the methods used in [2] in order to tackle the analogous problem in higher dimension. In particular, a result from [2] which relates n n non-vanishing Gaussian curvature of the zero set of a function f on T , Z ( f ) ∩ T ,to non-cyclicity of f is shown to still be true in arbitrary dimension if Z ( f ) ∩ T contains a hypersurface. To avoid repetition, we will assume that f = 0in D , and furthermore, for simplicity we will usually talk about “the zero set of f ” instead of “Z ( f ) ∩ T ”. A note on cyclic polynomials in polydiscs 199 However, whereas in two variables we can only have ﬁnite zero sets or zero sets which contain a hypersurface, the situation is more complicated in higher dimensions. It turns out that this method does not yield a complete answer for polynomials whose zero set is not a hypersurface. In order to understand this problem, we instead study a special class of polynomials. The results for this class shows us that two polynomials that both have inﬁnite zero sets will have different cyclicity properties, depending on the dimension of the zero set. Furthermore, in two variables, the only deviations from the general behaviour were the “degenerate polynomials” in which not all variables were represented, but in this article, we show that there are true three-variable polynomials whose cyclicity properties deviate from those of other polynomials whose zero set has the same dimension, essentially as a consequence of the location of the zero set. Some of the results in this note are contained in the author’s 2017 master’s thesis at Stockholm University. 2 Preliminaries 2.1 Some lemmas regarding cyclicity The following lemmas will be very valuable for understanding cyclicity properties of functions, and especially polynomials. Lemma 1 Let f and g ∈ D be polynomials such that | f (z)| > |g(z)| for z ∈ D .If g is cyclic in D for some α ∈ R , then f is cyclic in D . α α The above theorem is merely a special case of the Corollary 1 on page 281 in [3] which concerns cyclicity in Dirichlet spaces. The proof for weighted Dirichlet spaces in several variables is analogous. Lemma 2 Let f ∈ D and g ∈ M (D ), then g f ∈ D is cyclic if and only if both f α α α and g are cyclic. The proof is given in Proposition 8 of [3]. The above lemma is very useful when working with polynomials. For example, it showsusthat if p(z ,... z ) is cyclic, then so is the polynomial p(z ,..., z ). 1 n 1 n The proof for the following lemma is completely analogous to the two dimensional counterpart, the proof of which is given in Proposition 2.4of[1]. Lemma 3 Let f (z ,..., z ) = g(z ,..., z )h(z ,..., z ) for g ∈ D and h ∈ 1 n 1 k k+1 n n−k D . Then f is cyclic in D if and only if g is cyclic in D and h is cyclic in (α ,α ) α α n−k D . The previous two lemmas are especially important when working with polynomials. For example, they imply that it is sufﬁcient to understand the cyclicity properties of irreducible polynomials. Also, when working with polynomials in several variables, for example three variables, it sufﬁcies to understand the cyclicity properties of polyno- mials which are really polynomials in all three variables, since the cyclicity properties of one variable and two variable polynomials are known. 200 L. Bergqvist 2.2 Möbius transformations and the type of a set For simplicity, we will later study polynomials in three variables. At that point we will need certain results which are related to Möbius transformations in three variables. The automorphism group of the tridisc consists of rotations, permutations of vari- ables, and Möbius transformations a − x b − y c − z m : (x , y, z) = , , , a,b,c 1 −¯ax 1 −¯cz 1 − by with a, b, c ∈ D. By using the integral norm of D , it can be shown that composition with any Möbius transformation deﬁnes a bounded operator from D to itself. In this article, this is mainly important since it implies that if a function f is cyclic then every function of the form f ◦ m is also cyclic. To see this, simply note that a,b,c (p ◦ m )( f ◦ m ) − 1 ≤m p f − 1 , n a,b,c a,b,c α a,b,c n α where m denotes the operator norm. a,b,c Furthermore, this implies that f is non-cyclic if any f ◦ m is non-cyclic. a,b,c Composition with any rotation or permutation is in fact an isometry, and so a func- tion is cyclic if and only if any such composite is cyclic. This is a major convenience as it allows us to, without loss of generality, study local behaviour at any suitable point. We will use this deﬁnition from section V III 3.2in [9]. n m n Deﬁnition 1 Let S ⊂ T be a smooth m-manifold. Let φ : I → T be a smooth parametrization, where I ⊂ R is an interval. We deﬁne the type of a point ξ = φ(x ) as n m the smallest τ such that for all unit vectors η ∈ R there exists a multi-index k ∈ N with |k|≤ τ such that d φ · η = 0. dt t =x We say that S has type τ if the maximum of the types of ξ ∈ S is τ . In particular, having type 2 is the same as having non-vanishing Gaussian curvature. For a function f ∈ D , it will later be proved that there is a strong connection between f being cyclic and Z ( f ) ∩ T having type 2. Therefore, it is especially important to understand when a set which can locally be parametrized by φ(x ) = (x , g(x ), h(x )) or φ(x , y) = (x , y, g(x , y)) has type 2. It will also be very useful to know that even if a curve or a surface does not have type 2, we can still, in certain circumstances, apply a Möbius transformation in order to obtain a new curve or surface which does have type 2. This new curve will be the zero set of another function whose cyclicity properties can be related to those of f . Now, given a function f such that Z ( f ) ∩ T is locally parametrized by φ(x , y) = (x , y, g(x , y)), we know that the zero set does not have type 2 at the point (0, 0, g(0, 0)) if and only if there is some η ∈ S such that η + g (0, 0)η = η + g (0, 0)η = 0 1 3 2 3 x y A note on cyclic polynomials in polydiscs 201 and g (0, 0)η = g (0, 0)η = g (0, 0)η = 0. 3 3 3 xx yy xy This is possible if and only if all second derivatives of g(x , y) vanish. However, even if all second order partial derivatives vanish, we can still precompose f with a Möbius transformation m in order to obtain a new function f ◦ m . a,b,0 a,b,0 A piece of the zero set of this new function will be parametrized by ix iy arg m e , arg m e , g(x , y) . a b ix For convenience we denote arg m e by ψ (x ). One can compute that ψ (0)> 0 a a and ψ (0) = 0 as long as Im(a) = 0. For suitable choices of a and b we see that this new surface fails to have type 2 if and only if there is some θ ∈ S such that ψ (0)θ + g (0, 0)θ = ψ (0)θ + g (0, 0)θ = 0 1 3 2 3 a x b y and ψ (0)θ + g (0, 0)θ = ψ (0)θ + g (0, 0)θ = g (0, 0)θ = 0. 1 3 2 3 3 a xx b yy xy But as noted before, if our original surface did not have type 2, then all second deriva- tives of g must vanish. Thus, in order for the second family of equations to hold both θ and θ must vanish. Together with the ﬁrst family of equations this implies that 1 2 the new surface does not have type 2 if and only if all ﬁrst order and second order derivatives of g vanish at the origin. If however a piece of Z ( f ) ∩ T can be parametrized locally by (x , g(x ), h(x )), then it has type 2 if and only if there is some η ∈ S for which η + g (x )η + h (x )η = 0 1 2 3 and g (x )η + h (x )η = 0. 2 3 If this surface does not have type 2, then we can once again apply a Möbius transfor- mation, m in order to obtain a new function and a new zero set. This new zero set a,0,0 has type 2 if and only if there exist θ ∈ S such that ψ (0)θ + g (x )θ + h (x )θ = 0 1 2 3 and ψ (0)θ + g (x )θ + h (x )θ = 0. 1 2 3 Unfortunately, there are several examples of when such θ ∈ S exist: for example, if both g (0) and h (0) = 0. 202 L. Bergqvist At this point, we wish to point out some similarities and differences between the above discussion and the two variable counterpart in Section 2.3in[2]. In two variables, the case of a curve coincides with that of a hypersurface. The results in three variables largely coincide with those of hypersurfaces in two variables, namely it is almost always possible to apply Möbius transformations in order to obtain a set of type 2. However, in three variables we also have a possibility which does not exist in two variables, namely when the zero set is locally a curve. The above calculations show that we can not in general expect to be able to apply the methods for determining non-cyclity that were used in [2], so we must instead ﬁnd other methods. 2.3 Riesz capacity We will later use known results which relate existence of measures of ﬁnite Riesz energy that are supported on Z ( f ) ∩ T to non-cyclicity of f . In this article we deﬁne the Riesz potential with parameter α ∈ (0, 1) , h ,as ix 1−α ix 1−α 1 1 n n h (x ,..., x ) = 1/|1 − e | ... 1/|1 − e | . α 1 n One important lemma regarding the Riesz energy of measures is the following. Lemma 4 Let h be the Riesz potential with parameter α ∈ (0, 1) , we have that I [μ]= dμ(x )dμ(y) ix iy 1−α ix iy 1−α n n n 1 1 1 n n |e − e | ... |e − e | T T ∞ ∞ = ··· h (k)|ˆ μ(k)| . k =−∞ k =−∞ 1 n It is known that the Fourier coefﬁcients of h satisfy −α −α −α −α 1 n 1 n c(|k |+ 1) ...(|k |+ 1) ≤ h (k) ≤ C (|k |+ 1) ...(|k |+ 1) . (2) 1 n α 1 n The summation formula for the Riesz α-energy will later be used in order to show that certain sets have non-zero Riesz capacity. 3 Cyclicity in n variables 3.1 Small zero sets In [2,6], Lemma 1 was used to show cyclicity for polynomials in C[x , y] with ﬁnite zero set. The idea was to use Łojasiewicz’s inequality, Lemma 1, combined with knowledge of the cyclicity properties of one-variable polynomials. In two variables not much more could be said using this idea. But in higher dimensions we observe that polynomials of the form c − x have very large zero sets. By combining this with j j the above idea we can show the following. A note on cyclic polynomials in polydiscs 203 n n Theorem 1 Let f be a polynomial with no zeros in D .If Z ( f ) ∩ T is contained in n n a ﬁnite union of coordinate hyperplanes of T , then f is cyclic for all α ∈ (0, 1] . Proof Denote by S the union of coordinate planes, {z : z = c }, with c ∈ T j j j which contain Z ( f ) ∩ T . By Łjasiewicz’s inequality (as quoted in [7]) we know that there exists C > 0 and q ∈ N such that q q | f (z)| > c · dist(z, Z ( f )) > C · dist(z, S) |z − c | j j = C · min{|z − c |} ≥ C · . j j By applying Lemmas 1 and 2 this shows us that f is cyclic whenever the polynomials z − c are cyclic, which is for all α ≤ 1. j j For n = 2, only one-variable polynomials and polynomials with ﬁnite zero set satisfy the assumptions of the above Theorem. But as we will see, this is no longer true in higher dimensions. 3.2 Large zero sets The cornerstone in our proofs regarding non-cyclicity is the following theorem, which relates properties of Z ( f ) ∩ T to non-cyclicity of f . n n Theorem 2 If f ∈ D for α ∈ (0, 1) , and Z ( f ) ⊂ T has positive Riesz capacity, then f is not cyclic. The proof is largely analogous to Brown and Shields’ proof for the Dirichlet space in the disc, with only minor differences related to using Riesz capacity instead of logarithmic capacity. See Theorem 5 in [3] for the complete proof. For a good outline of the proof idea in two variables we refer the reader to Proposition 4.2in [1]. Later on we will use a partial result from the proof of the above theorem, so for convenience we state that partial result as a lemma. Lemma 5 If f ∈ D has the property that Z ( f ) ∩ T supports a measure μ whose Cauchy transform C [μ] lies in D , then f is not cyclic in D . −α α Our next goal is to relate certain geometric properties of Z ( f ) ∩ T to existence of measures with ﬁnite Riesz energy. In order to do so we need the following theorem, the proof of which can be found on page 348, Theorem 1 and page 351 Theorem 2 in [9]. Theorem 3 Let S ⊂ T be a locally smooth m-manifold of ﬁnite type τ ∈ N and let σ be the measure on S induced by pulling back to the Lebesgue measure using the parametrization of S. If μ is a measure of the form dμ(x ) = φ(x )dσ(x ), x ∈ S ⊂ T , where φ(x ) is a non-negative smooth function with compact support (deﬁned on S), then there exists a constant C > 0 such that −1/2τ 2 2 |ˆ μ (k ,..., k ) |≤ C k + ··· + k , k ,..., k ∈ Z\{0}. 1 n 1 n 1 n 204 L. Bergqvist If we have a smooth hypersurface of non-vanishing Gaussian curvature, that is it has type 2, then (1−n) 2 2 2 |ˆ μ(k ,..., k )| ≤ C k + ··· + k , k ,..., k ∈ Z\{0}. 1 n 1 n 1 n n n Theorem 4 Assume that f ∈ D for α ∈ (0, 1) , is such that Z ( f ) ∩ T contains a locally smooth m-manifold of ﬁnite type τ . Then f is not cyclic in D for any α for which |α| > n − 2/τ . If it contains a locally smooth hypersurface of type 2, then f is not cyclic in D for any α for which |α| > 1. We only give the proof of the statement for a general m-manifold, the proof of the state- ment for the hypersurface is completely analogous if one uses the second inequality in Theorem 3 instead of the ﬁrst inequality. Proof Since S ⊂ Z ( f ) we know that the Riesz capacity of S is less than or equal to the Riesz capacity of Z ( f ). So if we can show that S supports a measure of ﬁnite α−energy for |α| > n − 2/τ , and thus show that S has positive Riesz capacity, then it follows that Z ( f ) has positive Riesz capacity. By applying Theorem 2 the statement follows. That S supports such a measure will be shown by using Theorem 3 together with Lemma 4, since these statements prove that all absolutely continuous measures have Fourier coefﬁcients which decay quickly. Let μ be any absolutely continuous measure on F. From Lemma 4 with K = h and the bound on the Fourier coefﬁcients of the Riesz capacity from Eq. 2,wehave ∞ ∞ |ˆ μ(k)| I [μ]≤ C ··· . (3) α α n 1 (|k |+ 1) ...(|k |+ 1) n 1 k =−∞ k =−∞ n 1 μ is a probability measure, |ˆ μ(0,..., 0)| = 1, and so, from Theorem 3 and the assumptions on μ, we have that ⎛ ⎞ ∞ ∞ ⎝ ⎠ (3) ≤ C 1 + ··· , α α 2 1/τ n 1 (|k |+ 1) ...(|k |+ 1) (k + ··· + k ) n 1 k =−∞ k =−∞ n 1 where k ,..., k are not all equal to zero in the above series. The above expression is 1 n ﬁnite if and only if the series is ﬁnite. By using that the summand is even in each k , we have that ∞ ∞ ··· α α 2 1/τ n 1 (|k |+ 1) ...(|k |+ 1) (k + ··· + k ) n 1 k =−∞ k =−∞ n 1 ∞ ∞ ≤ 2 ··· . α α 2 1/τ n 1 (|k |+ 1) ...(|k |+ 1) (k + ··· + k ) n 1 k =0 k =0 n 1 A note on cyclic polynomials in polydiscs 205 Note that we do not necessarily have equality since terms with at least one k equal to 0 are counted several times in the second expression. We can now bound the above series by k k ∞ σ(n) σ(2) 2 ··· , α α 2 1/τ n 1 (|k |+ 1) ...(|k |+ 1) (k + ··· + k ) n 1 1 n σ ∈Sym(n) k =1 k =0 k =0 σ(n) σ(n−1) σ(1) where Sym(n) is the symmetric group of n symbols, i.e. the group of permutations. Note that we again do not have equality, since terms with k = k for i = j will be i j counted several times in the last series, e.g. all terms with k = k will be covered by 1 2 both Id ∈ Sym(n) and (12) ∈ Sym(n). Note that k cannot be zero as this would force all k ’s to be zero. σ(n) i Since the symmetric group is ﬁnite, we are done if we can show that k k ∞ σ(n) σ(2) ··· < ∞ α α 2 1/τ n 1 (|k |+ 1) ...(|k |+ 1) (k + ··· + k ) n 1 1 n k =1 k =0 k =0 σ(n) σ(n−1) σ(1) is ﬁnite for α> 1 − 2/nτ for each σ . The calculations are completely analogous for each σ ∈ Sym(n), and so we will only show this for σ = Id, i.e. ∞ k k n 2 ··· . (4) α α 2 1/τ n 1 (|k |+ 1) ...(|k |+ 1) (k + ··· + k ) n 1 k =1 k =0 k =0 n n−1 1 That this is true can be seen in the following way. ∞ k k n 2 (4) ≤ C ··· (5) 2/τ α α n 1 (|k |+ 1) ...(|k |+ 1) k n 1 n k =1 k =0 k =0 n−1 1 k k k ∞ n 3 2 1 1 −2/τ = C k ··· α α α 2 1 (|k |+ 1) ...(|k |+ 1) (|k |+ 1) n 2 1 k =1 k =0 k =0 k =0 n n−1 2 1 (6) (m−1)−mα m−mα By applying the inequality (k + 1) ≤ C (l + 1) , inductively k=0 to (6) we get that k k ∞ n 1−α (k + 1) −2/τ 2 (6) ≤ C k ··· α α (|k |+ 1) ...(|k |+ 1) n 2 k =1 k =0 k =0 n n−1 2 k k k n 4 3 −2/τ 1−(α +α ) 1 2 = C k ··· (k + 1) n 2 α α n 3 (|k |+ 1) ...(|k |+ 1) n 3 k =1 k =0 k =0 k =0 n n−1 3 2 206 L. Bergqvist ∞ k k n 4 2−(α +α +α ) 1 2 3 (k + 1) −2/τ 3 ≤ C k ··· α α n 4 (|k |+ 1) ...(|k |+ 1) n 4 k =1 k =0 k =0 n n−1 3 ∞ ∞ −2/τ (n−1)−|α| (n−1)−|α|−2/τ ≤ C k (k + 1) ≤ C (k + 1) . n n n k =1 k =1 n n The last sum is ﬁnite if and only if (n − 1) −|α|− 2/τ < −1 ⇐⇒ n − 2/τ < |α|, which is what we want to show. 4 Polynomials in three variables For simplicity, we will now turn our attention to polynomials in three variables. Here we will show that the above theorem can in fact be applied “very often” for hypersurfaces. Theorem 5 Let f ∈ C[x , y, z] be a polynomial with no zeros in D , and in which all variables are represented. If Z ( f ) ∩ T contains a hypersurface S which is not 3 3 3 contained in some coordinate plane of T , then f is not cyclic in D for any α ∈ (0, 1) with |α| > 1. Proof We have two possibilities. Either S contains a point of type 2, or it does not contain a point of type 2. If S has type 2, then the statement follows immediately from Theorem 4. Without loss of generality, let a part of S be parametrized by (x , y, g(x , y)).From the discussion in Sect. 2.2, we can apply Möbius transformations to the parameters in the parametrization in order to obtain a new surface that is of type 2 at the point p,as long as some partial derivative of g is non-vanishing at some point in the parametrized part of S, i.e. g is not constant. But by assumption, S is not contained in some coordinate plane, and so we know that g has a non-vanishing partial derivative. After applying a Möbius transformation, we obtain a new surface which is a parametrization of a part of Z ( f ) ∩ T for the function f ◦ m . By applying a,b,0 Theorem 4, we can conclude that f ◦ m is not cyclic for any |α| > 1. This in a,b,0 turn implies that f is not cyclic, since assuming that f is cyclic, then there exists a sequence of polynomials p for which lim p f − 1 = 0. n α n→∞ But this is not possible since this would imply that (p ◦ m ) · ( f ◦ m ) − 1 ≤m p f − 1 , n a,b,0 a,b,0 α a,b,0 n α where the right hand side tends to zero as n →∞. But by approximating p ◦ m n a,b,0 by polynomials q , this implies that n A note on cyclic polynomials in polydiscs 207 lim q f ◦ m − 1 = 0, n a,b,0 α n→∞ and so f ◦ m would be cyclic, a contradiction. a,b,0 Note that the case where Z ( f ) ∩ T is contained in a coordinate plane was already covered in Theorem 1. 4.1 A special class of polynomials In the previous subsection we showed that methods, similar to those used in [2]for proving non-cyclicity of two-variable polynomials, worked well for proving non- cyclicity of three-variable polynomials whose zero set in the 3-torus contains a hypersurface. However, from the discussion in Sect. 2.2, it is clear that the situa- tion is more delicate for polynomials whose zero set meets the 3-torus along a curve. In this subsection, we will instead focus on a special class of polynomial and try to better understand their cyclicity properties. Consider all polynomials in C[x , y, z] of the form a b c i i i p(x , y, z) = 1 − d x y z , (7) i =1 where a , b , c ∈ N,Im(d ) = 0, d > 0 and d = 1. None of these polynomials i i i i i i have any zeros in D , and so they are good candidates for being cyclic. Since the cyclicity properties are completely understood for one-, and two-variable polynomi- als, as well as for polynomials with a ﬁnite zero set, we will only be interested in polynomials of the above form in which all three variables are represented and whose zero set is inﬁnite. By simple arguments from linear algebra, one can conclude that every zero set of polynomial of the form (7) will also be the zero set of a polynomial of the form a b c a b a c a b c 1 − x y z or 2 − x y − x z or 2 − x y − z , (8) or some composite of such a polynomial with an element in the automorphism group of the tridisc. For simplicity we will henceforth study polynomials of the form (8), which we will refer to as ﬂat polynomials. Since we are only interested in true three- variable polynomials, we assume that a, b, c = 0. The ﬁrst class of ﬂat polynomials will have a hyperplane with rational coefﬁcients as their zero set, and the last two will have a line with rational coefﬁcients as their zero set. One method for showing cyclicity for such polynomials is by comparing them to polynomials in fewer variables whose cyclicity properties are known, namely the polynomials 1 − z and 2 − x − y, both of which are known to be cyclic for all α ≤ 1 a b c (ﬁnite zero set). Note that by Theorem 1, we already know that 2 − x y − z is cyclic for all α ∈ (0, 1) . Theorem 6 All ﬂat polynomials whose zero set on the 3-torus is parametrized by a (ﬁnite) collection of curves which do not lie in a coordinate plane of T are cyclic for all α ∈ (0, 1] for which α + α and α + α ≤ 1. 1 2 1 3 208 L. Bergqvist Proof Let α ∈ (0, 1] be such that α + α and α + α ≤ 1. Denote by L ( f ) the 1 2 1 3 a,b,c a b a c operation which takes f (s, t ) to f (x y , x z ). We will show that L ( f ) ≤ a,b,c α C f , where α = (α + α ,α + α ). α 1 2 1 3 k l For f (s, t ) = f (k, l)s t , we have that k,l∈N p p p ak+al bk cl 1 2 3 L ( f )(x , y, z) = A x y z = f (k, l)x y z , a,b,c p p ,p ,p ∈N k,l∈N 1 2 3 and so A = f (k, l) if (p , p , p ) = (ak + al, bk, cl). It follows that p 1 2 3 2 2 α α α 1 2 3 L ( f ) = |A | (1 + p ) (1 + p ) (1 + p ) a,b,c p 1 2 3 p∈N 2 α α α 1 2 3 = | f (k, l)| (1 + ak + al) (1 + bk) (1 + cl) k,l∈N 2 α +α α +α ˆ 1 2 1 3 ≤ C (a, b, c) | f (k, l)| (1 + k) (1 + l) k,l∈N = C (a, b, c) f . a b a c By noting that L (2 − s − t )(x , y, z) = 2 − x y − x z , and using that 2 − s − t a,b,c is cyclic for all α ∈ (0, 1] , we know that there is a sequence of polynomials p such that lim (2 − s − t )p (s, t ) − 1 = 1, n (1,1) n→∞ By using the above norm inequality and setting q = L (p ), we see that n a,b,c n lim q L (2 − s − t ) − 1 = 0, n a,b,c α n→∞ a b a c and so 2 − x y − x z is cyclic for α with the described properties. a b c By using the same method as above but instead comparing 1 − x y z to 1 − s,we can conclude that the polynomials in our class whose zero set on T is a hypersurface will be cyclic for all α such that|α|≤ 1. By combining this with Theorem 5, we obtain the following. Theorem 7 Every ﬂat polynomial whose zero set on T is a hypersurface not entirely contained in a ﬁnite collection of coordinate planes is cyclic in D , α ∈ (0, 1) ,ifand only if |α|≤ 1. As previously noted, if the zero set of a polynomial is entirely contained in a coor- dinate plane, then that polynomial is cyclic for all α ∈ (0, 1] . We also note that there are true three-variable polynomials with this property, for example the polynomial 2 − y − xz. One might expect that this is always the case for polynomials whose zero set is a curve, but as the next example will show, this is not true. In fact, all remaining A note on cyclic polynomials in polydiscs 209 ﬂat polynomials are non-cyclic for all α ∈ (0, 1] with |α| > 2. This will be shown by ﬁnding a measure supported on Z ( f ) ∩ T whose Cauchy transform lies in D for all α with |α|≤−2, and then applying Lemma 5. The measure we have in mind is a simple one, namely the probability measure μ that has constant density everywhere on the parametrized piece of Z ( f ) ∩ T with respect to the pullback of the Lebesgue measure, and which has density zero everywhere else. We illustrate this method through an example. The general proof for ﬂat polynomials is analogous. Example 1 Consider the polynomial p(z , z , z ) = 2 − z z − z z . 1 2 3 1 2 1 3 A piece of the zero set of this polynomial is parametrized by (s, −s, −s), and so, the corresponding Cauchy transform is given by 2π 1 1 C [μ](z) = ds. is −is −is 2π (1 − e z )(1 − e z )(1 − e z ) 1 2 3 By replacing the factors in the integral by their power series expansions and changing orders of integration and summation, we see that 1 1 l m C [μ](z , z , z ) = (z z ) (z z ) = . 1 2 3 1 2 1 3 1 − z z 1 − z z 1 2 1 3 l,m∈N If the above function lies in D , then, by Lemma 5, p(z , z , z ) is not cyclic in D . −α 1 2 3 α We have that C [μ] lies in D (α< 0) if and only if ∞ ∞ 2 α α α 1 2 3 C [μ] = (1 + l + m) (1 + m) (1 + l) < ∞. l=0 m=0 The above series is ﬁnite if ∞ l α α α 3 1 2 (1 + l) (1 + l + m) (1 + m) < ∞. (9) l=0 m=0 and the corresponding series where m ≥ l is ﬁnite. The calculations for both series of the above form are analogous. Since l ≥ 0, we have that l l α α α +α α +α +1 1 2 1 2 1 2 (1 + l + m) (1 + m) ≤ (1 + m) ≤ c(1 + l) . m=0 m=0 By plugging this into (9), we see that ∞ l ∞ α α α α +α +α +1 3 1 2 1 2 3 (1 + l) (1 + l + m) (1 + m) ≤ c (1 + l) , l=0 m=0 l=0 210 L. Bergqvist and the last expression is ﬁnite if and only if |α|+ 1 < −1, which implies that |α| < −2. It follows that C [μ]∈ D if |α| < −2, and so 2 − z z − z z is not cyclic for any α 1 2 1 3 α ∈ (0, 1) with |α| > 2. Note that the above calculations only depend on the zero set, and really is not using any other property of the polynomial. For example, the corresponding calculations for 3 3 2 the polynomial 5 − xy − x y − xz − 2x yz are exactly the same. Note also that if one tries to carry out the corresponding calculations for the polynomial 2 − x − yz, then the result is that the corresponding series converges if and only if α> 1, which is in line with Theorem 1. By applying Frostman’s lemma it can be shown that the above calculations are in fact sharp. Theorem 8 Let S ⊂ T have (Hausdorff) dimension equal to s ∈ N. Then S has isotropic α−capacity equal to zero for all α ≤ 1 − s/3. Proof For all a, b, c ∈ R, we have that (2/3) (2/3) 3 2 2 2 2 (abc) ≤ max{a, b, c} = max{a, b, c} ≤ a + b + c . It follows that, for any positive measure μ dμ(x )dμ(y) ix iy ix iy ix iy 1−α 1 1 2 2 3 3 (|e − e ||e − e ||e − e |) S S dμ(x )dμ(y) ≥ . ix iy 2 ix iy 2 ix iy 2 3(1−α) 1 1 2 2 3 3 S S ( |e − e | +|e − e | +|e − e | ) By Frostman’s lemma (for example Theorem 8.9in[8]), we know that the right hand side is inﬁnite for every probability measure μ supported on S if 3(1 − α) ≥ s.It follows that S has α−capacity zero for all α ≤ 1 − s/3. This shows that the estimates in Example 1 and Theorem 5 are sharp in the sense that we could not have pushed non-cyclicity further by selecting different measures supported on these zero sets. If the Brown and Shields conjecture is true, then this would also imply that functions whose zero set is a curve are cyclic in the isotropic Dirichlet type space on the tridisc for all α ≤ 2/3, and functions whose zero set is a hypersurface are cyclic for all α ≤ 1/3. In two variables, only the cardinality of the zero set was important regarding cyclic- ity. However, the above example shows us that polynomials in three variables whose zero set is a curve have worse cyclicity properties than those whose zero set is ﬁnite, but better than those whose zero set is a hypersurface. It seems like dimension of the zero set, and not only cardinality is important. But furthermore, in two variables, the only deviation of this behaviour was for polynomials which were not truly two variable polynomials. In three variables, we still have this property, but furthermore, we know that even the orientation of the zero set is important, and we have examples of genuine three variable polynomials where this comes into play. A note on cyclic polynomials in polydiscs 211 Acknowledgements The author thanks the referee for a careful reading of the paper, and Alan Sola for several valuable discussions and ideas. Compliance with ethical standards Conﬂict of interest The author declares that he has no conﬂict of interest. Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 Interna- tional 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. References 1. Bénéteau, C., Condori, A.A., Liaw, C., Seco, D., Sola, A.: Cyclicity in Dirichlet-type spaces and extremal polynomials II: functions on the bidisk. Pac. J. Math. 276, 35–58 (2015) 2. Bénéteau, C., Knese, G., Kosinski, ´ Ł., Liaw, C., Seco, D., Sola, A.: Cyclic polynomials in two variables. Trans. Am. Math. Soc. 368, 8737–8754 (2016) 3. Brown, L., Shields, A.L.: Cyclic vectors in the Dirichlet space. Trans. Am. Math. Soc. 285, 269–304 (1984) 4. El-Fallah, O., Kellay, K., Mashreghi, J., Ransford, T.: A Primer on the Dirichlet Space. Cambridge Tracts in Mathematics, vol. 203. Cambridge University Press, Cambridge (2014) 5. Kaptanoglu, ˘ T.H.: Möbius invariant Hilbert spaces in polydiscs. Pac. J. Math. 163(2), 337–360 (1994) 6. Knese, G., Kosinski, ´ Ł., Ransford, T.J., Sola, A.A.: Cyclic polynomials in anisotropic Dirichlet spaces. arXiv:1512.04871.pdf 7. Łojasiewicz, S.: Introduction to Complex Analytic Geometry. Birkhäuser, Basel (1991) 8. Mattila, P.: Geometry of Sets and Measures in Euclidean Spaces. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1995) 9. Stein, E.M.: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton (1993)
Analysis and Mathematical Physics – Springer Journals
Published: Jan 24, 2018
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.