arxiv: v1 [math.cv] 31 Mar 2013

Transcription

1 Proper holoorphic appings, Bell s forula and the Lu Qi-Keng proble on tetrablock Maria Trybuła Institute of Matheatics, Faculty of Matheatics and Coputer Science, Jagiellonian University, Łojasiewicza 6, Kraków, Poland aria.trybula@i.uj.edu.pl arxiv: v1 [ath.cv] 31 Mar 2013 Septeber 26, 2018 Abstract We consider a proper holoorphic ap π : D G between doains in C n and show that it induces a unitary isoorphis between the Bergan space A 2 G) and soe subspace of A 2 D). Using this isoorphis we construct orthogonal projection onto that subspace and we derive Bell s transforation forula for the Bergan kernel under proper holoorphic appings. As a consequence of the forula we get that the tetrablock is not a Lu Qi-Keng doain. 1 Introduction In this paper we consider Bergan Space A 2 φ G) consisting of square integrable holoorphic functions on doain G in C n with weight φ, that is G f 2 φdv <, where φ L loc G) is soe positive function. Let D be another doain in C n and suppose there is soe proper holoorphic ap π : D G. Let denote the coplex Jacobian of π. We show that A 2 φ π D) has soe closed subspace H induced by π which is unitary isoorphic to A 2 φ G). We also derive the forula for orthogonal projection onto H. Briefly, we construct a unitary operator Γ : A 2 φ G) A2 φ π D) which is defined as follows Γf = 1 f π), where stands for the ultiplicity of π. In the sequel we use adjoint operator to Γ, which is in fact equal to Γ 1, if Γ is understood as an operator fro A 2 φ G) to ΓA2 φ G), therefore we show how Γ acts on ΓA 2 φ G). More precisely If we take any g ΓA2 g φ G) then is a well-defined function on a dense open subset of D the set of regular values of π), which is additionally invariant under π, that is if z, w D are such that πz) = πw), w),z) 0, then g πz)) = g πw)). Therefore, equality g )z) = g πz)), where z D, defines well a holoorphic function on D except for the analytic) set of critical points of π. But the Rieann Reovable Singularity Theore for square integrable holoorphic functions ensures that g ) has a holoorphic extension on D. Having this, adjoint operator to Γ ight be described by equation Γ g = g ). And now ore precisely: Theore 1. Let π : D G be a proper holoorphic ap between doains in C n with ultiplicity, φ L loc G,R >0). Then the Hilbert subspace ΓA 2 φ G) of A2 φ π D) is isoetrically isoorphic with A 2 φ G). The orthogonal projection P onto ΓA2 φ G) is given by the forula Pg = 1 g π k π)jπ k π) for g A 2 D), where {π j } j=1 are the local inverses to π. 1) 2010 Matheatics Subject Classification. Priary: 32A25, 32A70, Secondary: 32M15. Key words and phrases: Bergan kernel, proper holoorphic aps, tetrablock, Lu Qi-Keng doain. 1

2 Note that it will follow fro the proof that the forula on the right side actually defines a function fro ΓA 2 φ G) A2 π φ D). Recall that the Bergan Kerenel K φ with weightφis the reproducing kernel for the space A 2 φ G) that is all functionals of evaluation ev z : f fz) are bounded for every z G so fro Riesz Representation Theore there is unique K z A 2 φ G) s.t ev zf) = f,k z A 2 φ G), and K φ z,w) = K w,k z A 2 φ G). For φ = 1 we siply write K φ = K. Definition and basic properties of the Bergan kernel ight be found for instance in [7]. As a corollary of Theore 1 we get Bell s Theore. Corollary 1 see [2]). Let D, G be doains in C n and let π : D G be a proper holoorphic ap with ultiplicity. Denote by π 1,...,π the local inverses of π. Then w)k φ G πz),πw)) = for any z / π 1 πn))), where N) = { = 0}. K φ π D πk πz),w) k πz)) The idea of the definition of the operator Γ introduced above coes fro [10] where the Authors discussed the case of the syetrization apping between the polydisc and the syetrized polydisc. In our paper we show that those ethods work in general and in particular we show in details how we ay apply this ethod to another doain-tetrablock that is defined in a siilar anner to the syetrized polydisc. Recall the definition of that object. Let ϕ : R II C 3, ϕz 11,z 22,z) := z 11,z 22,z 11 z 22 z 2 ) where R II denotes the Cartan doain of the second type, that is the set of all syetric atrices of order 2 with the operator nor saller than 1 we identify z 11,z 22,z) with 2 2 syetric atrix z11 z z z 22 ) ). Then ϕ is a proper holoorphic ap and ϕr II ) = E is a doain, called tetrablock. We find the effective forula for the Bergan kernel of tetrablock and show that tetrablock is not the Lu Qi-Keng doain. Recall that the doain D is a Lu Qi-Keng doain if its Bergan kernel does not have zeros and is not a Lu Qi-Keng doain if it has. Corollary 2. For any z, w R II Jϕz)Jϕw)K E ϕz),ϕw)) = 1 2 A consequence of the last forula is the following. Corollary 3. E is not a Lu Qi-Keng doain. )) K RII z 11,z 22,z),w ) K RII z 11,z 22, z),w. One ay show directly the fact that ϕ described above is a proper holoorphic apping and E is a doain. However, it sees reasonable to forulate a result which will be the generalization of that fact and that will help us to avoid the ad hoc proof of properness and opennes of a wide class of appings. That is the reason why we present below soe auxiliary result whose idea of the proof basically coes fro the proof of Proposition 2.1 in [11]. We forulate and show it in a ore general setting so that it could be applied aong others to the above entioned case of the tetrablock and the syetrized polydisc. Proposition 1. Let π : D C n be a holoorphic ap where D C n is a doain and U is a finite group of hoeoorphic transforations of D such that D is precisely U-invariant, that is for z, w C n we get that πz) = πw) if and only if Uz = w for soe U U. Then πd) is a doain and π : D πd) is a proper apping. Reark 1. In Proposition 1 we only assued that every U U is a hoeoorphis but the equality π U = π easily iplies that actually U is necessarily contained in the group of holoorphic autoorphiss of D. Reark 2. Map ϕ defined above) is U E := {Id, diag1,1, 1)}-invariant. We need to verify whether U E describes subgroup of group of autoorphiss of R II. It can be derived fro two facts: 1)every syetric atrix can be represented in the for VΛV t, where V is unitary and Λ = diagλ,µ) with λ µ 0 see [6] p. 63); and 2) A 2 = raa ), where r is the spectral radius. Note that the forula for eigenvalues of AA, where A is syetric, involves only z 11, z 22, z 2. 2

3 Reark 3. Let us consider π = π 1,...,π n ), where π j is the j-th eleentary syetric polynoial. In that case the finite group of unitary transforations under which π is precisely invariant is the group of perutations S n. Proposition 1 gives the proof of the fact that π D n is a proper holoorphic apping onto the iage i. e. the syetrized polydisc and the syetrized polydisc is open. Reark 4. Fix any k > 2 and consider: function ϕ k : R II C 3, ϕ k z 11,z 22,z) = z 11,z 22,z 11 z 22 z k ) and set ϕ k R II ). Notice that ϕ is not proper onto its iage. If it were, then the ap R II R II, z 1,z 2,z) z 1,z 2,ζz) should be an isoetry with respect to the operator nor) for every ζ k = 1 but siple exaples show that the last one does not hold. We ight go further and consider Cartan doain of second type R II in C n 2), here RII is the set of all syetric atrices of order n with the operator nor saller than 1 for definitions and properties see [6]), and investigate holoorphic ap ϕ : R II C n+1 2 ), ϕzjk ) 1 j k n ) = z 1,1,...,z n,n,z 1,1 z 2,2 z 2 1,2,z 1,1 z 3,3 z 2 1,3,...,z 1,1 z n,n z 2 1,n,...,z n 1,n 1 z n,n z 2 n 1,n). Unfortunatelly, ϕ fails to be proper onto the iage for the sae reason as ϕ k are not), either. So, this indicates that there is no obvious generalization of the tetrablock in higher diension. The tetrablock was first studied in [1]. Afterwards it was studied by any authors. In particular, it was shown that the tetrablock is a C-convex doain see [13]). The iportance of the tetrablock for the geoetric function theory follows fro the fact that it is the second exaple the first one was was the syetrized bidisc) which is hyperconvex and not biholoorphically equivalent to a convex doain but despite it the Lepert Theore see [8] and [9]) holds for it see [5]). It is also natural to find the Bergan kernel for the tetrablock using the forula for the Bergan kernel of the Cartan doain and Bell s transforation forula). To our surprise it turned out the tetrablock is not the Lu Qi Keng doain; oreover, it vanishes at very siple points. As to the history of the Lu Qi Keng proble we refer the interested Reader to [3]. There are any results on both : doains being Lu Qi-Keng and being not Lu Qi-Keng see e.g. in [4], [12]). Recall that [6] p. 84) 1 ) 3 K RII t,s) = deti ts) VolR II ) for t, s R II. Since every point in R II can be carried by soe autoorphis of R II into origin see [6] p. 84), we get K RII 0. Thus R II is a Lu Qi-Keng doain. Therefore, we have a proper holoorphic apping ϕ : R II E of ultiplicity 2 such that R II is a Lu Qi-Keng doain whereeas E is not Lu Qi-Keng doain. Recall that another exaple of that type is { z + w < 1} z,w) z 2,w) { z w < 1} see [4]). In our situation there is equality of holoorphically invariant distances in both doains and both doains are C-convex see [5], [13]) whereas in the exaple fro [4] it is not the case. 2 Proof of ain result Proof of Proposition 1. The idea of the proof is based on [10]. Recall that the operator Γ : A 2 φ G) A2 φ π D) is defined as follows Γf)z) = 1 f π)z)z) where f A 2 φ G) and z D. The idea of the forula of Γ coes fro the forula 1) fφdv = f π) 2 φ π)dv for any f L 2 φg). G D which akes Γ an isoetry, so the range of Γ is a closed Hilbert subspace of A 2 φ π D). Therefore Γ is a unitary operator fro A 2 φ G) onto ΓA2 φ G). Thus, there is an orthogonal projection P fro A 2 φ π D) onto ΓA2 φ G). We prove that P is given by the forula Pg = 1 g π k π)jπ k π) 3

4 where g A 2 φ π D). Let us denote the right side by P. First, we need to show that P is well defined. For this purpose, using the properness of π one can easily copute Pg 2 A 2 φ π D) = 1 2 D g π k π)jπ k π) 2 φ π)dv 1 g π k π)jπ k π) 2 φ π)dv = g 2 A 2 φ π D) D for g A 2 φ π D). It reains to verify whether Pg is holoorphic. For this notice the ap Pg is a well defined holoorphic function on the set D\π 1 πn))), constant on the fibres of π, that is on the set π 1 Pg πz)) for any z D. So it induces soe ap ) which is holoorphic on G\πN)). Rieann Singularity Theore see. e.g. [7] p. 369) finishes the correctness of the definition of P provided we know Pg that ) is square integrable on G with weight φ. But for that it is enough to show that Pg A 2 φ π D) what we have just proved. Note that we have proved that for any g A 2 φ π D) the equation Pg = Γf has solution f in A 2 φ G). Secondly, notice that P 2 = P. Indeed, P 2 g = 1 Pg π l π)jπ l π) = 1 2 g π l π π k π)[jπ l π) π k π]jπ k π) l=1 k,l=1 = 1 2 g π l π)jπ l π π k π) = 1 2 g π l π)jπ l π) = Pg k,l=1 for g A 2 φ π D). Up to this point, we know that P is the projection. Next we proceed to show the equality ranγ = ran P. Siilarly as above we get P Γ = Γ, which gives " ". It reains to prove the oposite inclusion. So the question is whether P takes values in ΓA 2 φ G). Since P 2 = P it is enough to show that for any g A 2 φ π D) the equation Pg = Γf has solution f in A 2 φ G), and this is true as we proved it before. Proof of Corollary 1. We keep the notation fro the previous proof. Recall that the adjoint operator to Γ is given by the forula Γ g) = g ) for g Γ A 2 φ G). To finish it suffices to note that for any f A 2 φ G) and w D the following equalities hold k,l=1 Γf,PK φ π D,w) A 2 φ π D) = Γf,K φ π D,w) A 2 φ π D) = Γfw) = 1 fπw))w) So fro the Riesz Representation Theore uniqueness) we get = f,k φ G,πw)) A 2 φ G) w) = Γf,ΓK φ G,πw)) A 2 φ π D) w). w)k φ G π ),πw)) = Γ P)K φ π D,w)π )) and this equality holds on D \π 1 πn))) for arbitrary w D. If we take w / πn)) then on the sae set we have K φ G π ),πw)) = 1 Γ P) w) Kφ π D,w). 3 Application to tetrablock Proof of Proposition 1. Let {K k } k N be an increasing sequence of copact subdoains of D exhausting it. Consider the new sequence {D k := U U UK k)} k. Note that there is soe N such that for k > N the set D k is a relatively copact doain in D and the sequence {D k } k is exhausting D. Fix k > N. 4

5 Then {U Dk : U U} is a finite group of autoorphiss of D k and π Dk : D k C n is precisely U-invariant. These two facts together with the properness of U Dk as a selfap of D k iply that the set πd k ) π D k ) is epty. Let Ω k be the coponent of C n \π D k ) that contains πd k ) Ω k and consequently π D k ) Ω k. This iplies that π Dk : D k Ω k is a proper ap. Therefore, Ω k = πd k ). Let Ω = k Ω k then Ω = πd) is a doain in C n. The properness of π ight be checked as follows. If K Ω is copact then K Ω k for soe k. Hence π 1 K) is a copact subset of D k and thus a copact subset of Ω. In soe special cases it is easy to describe explicity subspace ΓA 2 G) looking at the Taylor expansion. For instance when π is the syetrization ap fro the unit polydisc to the syetrized polydisc then ΓA 2 G n ) consists of all antysyetric functions fro A 2 D n ) for details s.e. [10]). Another exaple the case of the tetrablock) is contained in the next proof, where we obtain forula for K E, which ight also be obtained explicitly fro Bell s forula. Proof of Corollary 2. We keep the notation fro the proof of Theore 1. The range of the operator Γ contains precisely those aps whose coefficients at z k 11 zl 22 z2n in the Taylor expansion at the origin vanish for k, l, n natural nubers see below). We showed that every function in ΓA 2 E) is of the for h for soe function h depending on z 11, z 22, z 2. Projection P : A 2 R II ) A 2 zr II ) acts as follows Pf)z 11,z 22,z) = 1 2 ) fz 11,z 22,z) fz 11,z 22, z). Finally, K E ϕz 11,z 22,z),ϕw 11,w 22,w)) = ) K RII z 11,z 22,z),w 11,w 22,w) ) K RII z 11,z 22, z),w 11,w 22,w) for z 11,z 22,z), w 11,w 22,w) / NJϕ). 2Jϕz 11,z 22,z)Jϕw 11,w 22,w) Proof of Corollary 3. We exaine a forula for the Bergan kernel for pair ϕ0,0,1), ϕ0,0,z) note that the forula for the Bergan kernel extends analytically to R II R II ). Easy calculation shows that 12 π K 3 E ϕ0,0,1),ϕ0,0,z)) = z 2 + 6z 4, z D. The last expresion has zero z 0 D s.t. z0 2 1,0)). Now the equality K Eϕ0,0,1),ϕ0,0,z 0 )) = K E ϕ0,0,r),ϕ0,0, 1 r z 0)) for 0 < r < 1 s.t. z 0 r D finishes the proof. References [1] A.A. Abouhajar, M.C. White, N.J. Young, A Schwarz lea for a doain related to µ-syntesis, J. Geo. Anal., ), [2] S.R. Bell, The Bergan kernel function and proper holoorphic appings, Trans. Aer. Math. Soc., ), [3] H.P. Boas, Lu Qi-Keng s proble, J. Korean Math. Soc., ), [4] H.P. Boas, S. Fu, E.J. Straube, The Bergan kernel function: explicit forula and zeroes, Proc. Aer. Math. Soc, ), no. 3, [5] A. Edigarian, Ł. Kosiński, W. Zwonek, Tetrablock and the Lepert Theore, J. Geo. Anal., to appear. [6] L.K. Hua, Haronic Analysis of Functions of Several Coplex Variables in the Classical Doains, AMS, Providence, vol 6,

6 [7] M. Jarnicki, P. Pflug, Invariant Distances and Metrics in Coplex Analysis, Walter de Gruyter, Berlin, [8] L. Lepert, La étrique de Kobayashi et la représentation des doaines sur la boule, Bull. Soc. Math. France, ), no. 4, [9] L. Lepert, Holoorphic retracts and intrinsic etrics in convex doains, Anal. Math., 81982),no. 4, [10] G. Misra, S.S. Roy and G. Zhang, Reproducing kernel for a class of weighted Bergan spaces on the syetrized polydisc, Proc. Aer. Math. Soc to appear). [11] W. Rudin, Proper holoorphic aps and finite reflection groups, Indiana Univ. Math. J., ), [12] L. Zhang, W. Yin, Lu Qi-Keng s proble on soe coplex ellipsoids, J. Math. Anal. Appl., ), [13] W. Zwonek, Geoetric properties of the tetrablock, Archiv d. Math 1002) 2013),