arxiv: v1 [math.fa] 23 Jan 2009

Transcription

1 MULTIPLICATION OPERATORS ON THE BERGMAN SPACE VIA ANALYTIC CONTINUATION arxiv: v1 [math.fa] 23 Jan 2009 RONALD G. DOUGLAS, SHUNHUA SUN, AND DECHAO ZHENG ABSTRACT. In this paper, using the group-like property of local inverses of a finite Blaschke product φ, we will show that the largest C -algebra in the commutant of the multiplication operator M φ by φ on the Bergman space is finite dimensional, and its dimension equals the number of connected components of the Riemann surface of φ φ over the unit disk. If the order of the Blaschke product φ is less than or equal to eight, then everyc -algebra contained in the commutant ofm φ is abelian and hence the number of minimal reducing subspaces of M φ equals the number of connected components of the Riemann surface ofφ φ over the unit disk. 1. INTRODUCTION Let D be the open unit disk in C. Let da denote Lebesgue area measure on the unit disk D, normalized so that the measure of D equals 1. The Bergman space L 2 a is the Hilbert space consisting of the analytic functions on D that are also in the space L 2 (D,dA) of square integrable functions on D. For a bounded analytic function φ on the unit disk, the multiplication operator M φ is defined on the Bergman space L 2 a given by M φ h φh forh L 2 a. The classification of invariant subspaces or reducing subspaces of various operators acting on function spaces has proved to be one very rewarding research problem in analysis. Not only has the problem itself turned out to be important, but also the methods used to solve it are interesting. The classical Beurling theorem [5] gives a complete characterization of the invariant subspaces of the unilateral shift. Extensions of this idea have led to many important works by other investigators. On the Bergman space, the lattice of invariant subspaces of the Bergman shift M z is huge and rich [4] although a Beurling-type theorem is established in [2]. A reducing subspace M for an operator T on a Hilbert space H is a subspace M of H such that TM M and T M M. A reducing subspace M of T is called minimal if the only reducing subspaces contained in M are M and {0}. Let {M φ } denote the commutant of M φ, which is the set of bounded operators on the Bergman space commuting with M φ. The problem of determining the reducing subspaces of an operator is equivalent to finding the projections in the commutant of the operator. An 1991 Mathematics Subject Classification. 47B35, 30D50, 46E20. Key words and phrases. Reducing subspaces, multiplication operators, Blaschke products. 1

2 2 DOUGLAS, SUN, AND ZHENG nth-order Blaschke product is the function analytic on the unit diskdgiven by n z a j φ(z) 1 a j z j1 for a j D. For an nth-order Blaschke product φ, since Mφ belongs to the Cowen- Douglas class B n (D), [11], [14], one can apply results from complex geometry to note that reducing subspaces correspond to some subspaces of a single fiber which is isomorphic toc n. This implies immediately that there can t be more thannpairwise orthogonal reducing subspaces of M φ. However, the lattice of reducing subspaces of the bounded operatorm φ could still be infinite LetA φ be the von Neumann algebra, defined to be the intersection of the commutants {M φ } and {Mφ }. The goal of this paper is to study A φ for a Blaschke product φ of finite order. This is a continuation of the investigation begun in [20], [27]. In [20], [27], one used the Hardy space of the bidisk to study multiplication operators on L 2 a by bounded analytic functions on the unit diskdand to give complete classification of the reducing subspaces of multiplication operators on L 2 a by Blaschke products with order 3 or4. In this paper, we will take a completely different approach from the one in [20], [27]. On one hand, the multiplication operators have deep connections with the analytic properties of their symbols φ. On the other hand, those multiplication operators are typical subnormal operators whose minimal normal extensions have a thick spectrum and the adjoints of the multiplication operators are in the Cowen-Douglas class [11]. We will make use of two more ingredients. One is local inverses of a finite Blaschke product and their analytic continuations on a subset of the unit disk. The germs induced by these local inverses have a group-like property by compositions of germs (for details of compositions of germs, see [30]). The group-like property was used in [10], [28], [29] in studying the commutant of Toeplitz operators on the Hardy space. The other ingredient is the theory of subnormal operators [9] which, combined with properties of the Cowen-Douglas classes [11], can be used to show that unitary operators in the commutant of the multiplication operators have a nice representation. Combining the group-like property of local inverses and the nice representation of unitary operators, we will obtain a symmetric and unitary matrix representation of the action of these unitary operators acting on reproducing kernels. Our main result in the paper is that the dimension of A φ equals the number of connected components of the Riemann surface ofφ φ overd. This result was obtained for Blaschke products of order3or4in [20], [27] and suggests the following conjecture. Conjecture 1. For a Blaschke product φ of finite order, the number of nontrivial minimal reducing subspaces ofm φ equals the number of connected components of the Riemann surface ofφ φ over D. Our main result implies that Conjecture 1 is equivalent to that the C -algebra A φ is abelian. The conjecture is also equivalent to the statement whether or not the minimal reducing subspaces are orthogonal. For a Blaschke product φ with order smaller than

3 COMMUTANT AND REDUCING SUBSPACES 3 or equal to 8, we will confirm the conjecture by showing that A φ is abelian in the last section. This paper is motivated by Richter s work on unitary equivalence of invariant subspaces of the Bergman space [21], Stephenson s work on hypergroups [23], [24], [25] and Zhu s conjecture on the number of minimal reducing subspaces of M φ [33]. Many ideas in the paper are, however, inspired by nice works on the commutant of an analytic Toeplitz operator on the Hardy space in [10], [28], [29]. C. Cowen also used the Riemann surface ofφ φ overdto describe the commutant of the multiplication operator by φ on the Hardy space in [10]. Thomson s representation of local inverses in [28], [29] is also useful in the Bergman space context. Using those local inverses as in [28], one can easily see that for an analytic and nonconstant functionf in the closed unit disk D, there exists a finite Blaschke productφsuch that {M f } {M φ }. This shows that the multiplication operator by a finite Blaschke product will play an important role in studying the other multiplication operators on the Bergman space. We would like to point out that the results and arguments can carry over to the weighted Bergman spaces, but do not work on the Hardy space. On the Hardy space, because the spectral measure of the minimal normal extension of the multiplication operator by φ is supported on the unit circle which is its essential spectrum. On the other hand, the spectral measure of the minimal normal extension of the multiplication operator by φ on the weighted Bergman space is supported on the unit disk, which is its spectrum. The key fact is that the spectral measure is supported on the boundary of the disk in view of the maximum principle. Although the proof doesn t make it explicit, we believe if points on the interior of the disk are essential with respect to the spectral measure then the argument goes through. 2. ANALYTIC CONTINUATION AND LOCAL INVERSES First we introduce some notation. An analytic function element is a pair(f, U), which consists of an open disk U and an analytic function f defined on this disk. A finite sequenceu {(f j,u j )} m j1 is a continuation sequence if U j U j+1 is not empty forj 1,,m and f j f j+1 on U j U j+1, forj 1,,m. Letγ be an arc with parametrizationz(t),z(t) being a continuous function on an interval [a,b]. A sequence{u 1,,U m } is admissible or a covering chain forγ if each U j is an open disk, and if there exist increasing numbers t 1, t m in [a,b] such that z(t j ) U j forj 1,,m and U 1, a t t 1 z(t) U j U j+1, t j t t j+1 U m, t m t b. A continuation sequence U {(f j,u j )} m j1 is an analytic continuation along the arc γ if the sequenceu 1,,U m is admissible for γ. Each of the elements{(f j,u j )} m j1 is

4 4 DOUGLAS, SUN, AND ZHENG an analytic continuation of the other along the curveγ. We say that the analytic function f 1 on U 1 admits a continuation to U m. A famous result on analytic continuations is the following Riemann monodromy theorem [1], [18] and [30]. Theorem 2.1. Suppose Ω C is a simply connected open set. If an analytic element, (f, U) can be analytically continued along any path inside Ω, then this analytic function element can be extended to be a single-valued holomorphic function defined on the whole of Ω. Letφbe an n-th order Blaschke product. Let E D\[φ (φ({β D : φ (β) 0}))]. Note that D\ is finite. For an open set V D, we define a local inverse of φ in V to be a function f analytic in V with f(v) D such that φ(f(z)) φ(z) for every z in V. That is,f is a branch ofφ φ defined inv. A finite collection,{f i }, of local inverses in V is complete if for each z in V, φ (φ(z)) D {f i (z)} and f i (z) f j (z) for i j. An open set V is invertible if there exists a complete collection of local inverses inv. A local inverse(f,v) admits an analytic continuation along the curveγ ine if there is a continuation sequenceu {(f j,u j )} m j1 admissible forγ and (f 1,U 1 ) equals (f,v). A local inverse in V E is admissible for φ if it admits unrestricted continuation in E. Note that the identity function is always admissible. The set of admissible local inverses has the useful property that it is closed under composition, which can be shown as follows. Let f and g be admissible local inverses in open discs V and W centered at a and f(a), respectively, with f(v) W. Let γ be a curve in E with initial point a. Since f is admissible, it can be analytically continued along γ. There is an obvious image curve γ ofγ under this analytic continuation alongγ. Sinceg is also admissible, it can be analytically continued along γ. By refining the covering chain ofγ, if necessary, we can assume that if Ṽ is a covering disc of γ and ( f,ṽ) the corresponding function element, then f(ṽ) is contained in one of the covering discs of γ. We now compose corresponding function elements in the analytic continuations along γ and γ to obtain an analytic continuation for (g f, V) along γ. LetV be an invertible open disc and let{f i } be the family of admissible local inverses inv. By shrinkingv, we can assume that each f i (V) is contained in an invertible open disc W i. Let {g ij } j be the family of admissible local inverse in W i. Since g ij f i is admissible andg ij f i g ik f i ifj k, we observe that{g ij f i } {f j }, for each i. In particular, for each f i, there exists g ij such that g ij f i is the identity function in V, which meansf i g ij for somej, and thusf i is admissible. For each z E, the function φ is one-to-one in some open neighborhood D zi of each point z i in φ φ(z) {z 1,,z n }. Let φ φ {ρ k (z)} n k1 be n solutions φ(ρ(z)) φ(z). Thenρ j (z) is locally analytic and arbitrarily continuable ine. Assume

5 COMMUTANT AND REDUCING SUBSPACES 5 thatρ 1 (z) z. Every open subsetv ofe is invertible forφ. Then{ρ j } n j1 is the family of admissible local inverses in some invertible open disc V D. For a given point z 0 V, label those local inverses as{ρ j (z)} n onv. If there is a loopγ ine atz 0 such that ρ j and ρ j in {ρ i (z)} n are mutually analytically continuable along γ, we can then write ρ j ρ j, and it is easy to check that is an equivalence relation. Using this equivalence relation, we partition{ρ i (z)} n into equivalence classes {G i1,g i2,,g iq }, where i 1 1 < i 2 < i 3 < < i q n for some integer 1 < q n and ρ ik is in G ik. Not all of the branches ofφ φ can be continued to a different branch. For example,z is a single valued branch ofφ φ. Thenq is greater than1. Thus each element ing ik extends analytically to the other element ing ik, but it does not extend to any element in G il ifi k i l. So {ρ i (z)} n q k1 G i k. (2.1) The collection{g i1,g i2,,g iq } does not depend on the choice ofz 0 ine. Let k α denote the reproducing kernel of the Bergman space at the point α in D. As in [15], [28], we will use local inverses to obtain a local representation of an operatort in the commutant {M φ }. The proof of the following theorem is similar to the ones in [10], [28]. Theorem 2.2. Let φ be a finite Blaschke product,u be an invertible open set ofe, and t{ρ i (z)} n j1 be a complete collection of local inverses onu. Then for eacht in{m φ }, there are analytic functions{s i (α)} n onu such that for each h in the Bergman space L 2 a, Th(α) s i (α)h(ρ i (α)), T k α s i (α)k ρi (α) for each α in U. Moreover, these functions {s i (α)} n admit unrestricted continuation in E. Proof. Since T commutes with M φ, the adjoint T commutes with Mφ. Thus T commutes with Mφ φ(α) for each α in the invertible set V. So the kernel of M φ φ(α) is invariant fort. Note that the kernel ofmφ φ(α) is the finite dimensional space spanned by {k ρi (α)} n. Hence for each α inu, there is a sequence{s i (α)} n of complex numbers such that T k α s i (α)k ρi (α).

6 6 DOUGLAS, SUN, AND ZHENG Thus for each h inl 2 a, we have Th(α) Th,k α h,t k α h, s i (α)k ρi (α) s i (α) h,k ρi (α) s i (α)h(ρ i (α)). To finish the proof we need to show that{s i (z)} n are analytic inu. To do so, for each i, define n P i (α,z) (z ρ j (α)) j i for z in D and α in U. Thus {P i (α,z)} is a family of functions analytic in z on D and analytic in α on U. An easy calculation gives that for each α inu P i (α,.),t k α P i (α,.), s j (α)k ρi (α) Thus j1 s j (α) P i (α,.),k ρi (α) j1 s i (α)p i (α,ρ i (α)) n (ρ i (α) ρ j (α)). j i s i (α) P i(α,.),t k α n j i (ρ i(α) ρ j (α)) for α in U and hence s i is analytic in U. Noting that {ρ i (z)} n j1 admit unrestricted continuation ine, we conclude that the functions{s i (α)} n admit unrestricted continuation in E to complete the proof. 3. RIEMANN SURFACES φ φ OVER D Let φ P(z) be an n-th order Blaschke product of where P(z) and Q(z) are two Q(z) coprime polynomials of degree less than or equal to n. In this section we will study the Riemann surface for the Blaschke productφ φ overd. In particular, it was shown in [27] how the number of the connected components of the Riemann surfaceφ φ over D is related to the zeros ofφfor the fourth order Blashcke product φ. Let f(w,z) P(w)Q(z) P(z)Q(w).

7 COMMUTANT AND REDUCING SUBSPACES 7 Then f(w, z) is a polynomial of w with degree n and its coefficients are polynomials of z with degree n. For each z D, f(w,z) 0 has exactly n solutions in D counting multiplicity. An algebraic function is a function w g(z) defined for values z in D by an equationf(w,z) 0. LetC denote the set of the critical points ofφindand F φ φ(c) {z 1,,z m }. ThenF is a finite set and is called the set of branch points ofφ, andφ φ {ρ k (z)} n k1 is an n-branched analytic function defined and arbitrarily continuable in D\F. Not all of the branches ofφ φ can be continued to a different branch, for examplez is a single valued branch of φ φ. The Riemann surface S φ for φ φ over D is an n-sheeted cover of D with at most n(n 1) branch points, and it is not connected. We denote a point ofs φ lying overd\f by(ρ(α),α), whereαis ind\f andρis a branch ofφ φ defined in a neighborhood ofα. Visualization of Riemann surfaces is complicated by the fact that they are embedded in C 2, a four-dimensional real space. One aid to constructing and visualizing them is a method known as cut and paste. Here we present only details on how to constructs f. For general cases, see [3], [6], [17]. We begin with n copies of the unit disk D, called sheets. The sheets are labeled D 1,,D n and stacked up over D. Then {z 1,,z m } are the branch points. Suppose Γ is a curve drawn through those branch points and a fixed point on the unit circle so thatd\γ is a simply connected region. By the Riemann monodromy theorem, n distinct function elements ρ k (z), k 1,,n of the algebraic equation f(w,z) 0 can be extended to be a single-valued holomorphic functions defined over the whole of D\Γ. We denote these extended functions still by ρ j (z). We may assume that Γ consists of line segments l k to connect z k to z k+1. The sheets D j are cut open along those line segments l k. Then various sheets are glued to others along opposite edges of cuts. With the point in the k-th sheet over a value z in D\Γ we associate the pair of values (ρ k (z),z). In this way a one-to-one correspondence is set up between the points in S f over D\Γ and the pair of points on the n sheets over D\Γ. In order to make the correspondence continuous along the cuts exclusive of their ends, let two regions R 1 and R 2 be defined in a neighborhood of each cut l i. On each of the n sheets, in the region formed by R 1, R 2 and the cut l i between them exclusive of its ends, the values of the algebraic function w g(z) form again n distinct holomorphic functions ρ k (z) (k 1,,n), and these can be numbered so thatg l (z) ρ l (z) inr 1. In the regionr 2 the functions g k (z) are the same functions in the set {ρ k (z)} but possibly in a different order. We join the edge of the cut bounding R 1 in the k-th sheet to the edge bounding R 2 in the l-th sheet, where l is so determined that g k (z) ρ l (z) in R 2. The continuous Riemann surface so formed has the property that points in the Riemann surfaces f over non-branch points D\{z 1,,z m } are in one-to-one continuous correspondence with the nonsingular points (w,z) which satisfies the equation f(w,z) 0. We not only get a manifold; that is, these identifications are continuous but the Riemann surface also has an analytic structure or the match ups are analytic.

8 8 DOUGLAS, SUN, AND ZHENG We need to use the number of connected components of the Riemann surface S φ in the last two sections. By the unique factorization theorem for the ring C[z,w] of polynomials inz and w, we can factor q f(w,z) p j (w,z) n j, j1 wherep 1 (w,z),,p q (w,z) are irreducible polynomials. Bochner s Theorem [31] says thatφhas finitely many critical points in the unit diskd. Thus we have q f(w,z) p j (w,z). j1 The following theorem implies that the number of connected components equals the number of irreducible factors f(w, z). This result holds for Riemann surfaces over complex plane (cf. [6], page 78 and [17], page 374). Theorem 3.1. Letφ(z) be ann-th order Blaschke product andf(w,z) q j1 p j(w,z). Suppose that p(w,z) is one of factors of f(w,z). Then the Riemann surface S p is connected if and only if p(w,z) is irreducible. Hence q equals the number of connected components of the Riemann surfaces φ S f. Proof. Let {z j } m j1 be the branch points of p(w,z) 0 in D. Bochner s Theorem [31] says that those points {z j } m j1 are contained in a compact subset of D. Suppose that p(w,z) is irreducible. If the Riemann surface S p is not connected, let {ρ k (z)} np k1 be n p distinct branches of p(w,z) 0 over D\Γ. Then {ρ k (z)} np k1 are also roots of the equation φ(w) φ(z) 0. Assuming that S p is not connected, we will derive a contradiction. Suppose that one connected component of S p is made up of the sheets corresponding to {ρ 1,,ρ n1 } (n 1 < n p ). Let σ s (x 1,,x n1 ) be elementary symmetric functions of variables x 1,, x n1 with degrees: σ s (x 1,,x n1 ) x j1 x j2 x js. 1 j 1 <j 2 < <j s n 1 Since the continuation of any path ind\f only leads to a permutation in{ρ 1 (z),,ρ n1 (z)}, every σ s (z) σ s (ρ 1 (z),,ρ n1 (z)) is unchanged under such a permutation and hence is a holomorphic function well-defined on D\{z j } m j1 and analytically extends on a neighborhood of the unit disk althoughρ j (z) is defined only on D\Γ. Note thatρ j (z) is ind. Thusσ s (ρ 1 (z),,ρ n1 (z)) is bounded ond\{z j } m j1. By the Riemann removable singularities theorem, σ s (ρ 1 (z),,ρ n1 (z)) extends analytically on td for some t > 1. Now we extend σ s (ρ 1 (z),,ρ n1 (z)) to the complex plane C. For each z C\D, define 1 f s (z) σ s ( ρ 1 ( ),, 1 1 z ρ n1 ( 1 z )).

9 COMMUTANT AND REDUCING SUBSPACES 9 By Theorem 11.1 on page 25 [6], near an ordinary point z a, each function ρ j (z) has a power series of z a. By Lemma 13.1 on page 29 [6], each function ρ j (z) has a Laurent series of a fractional power of (z a) but the number of terms with negative exponents must be finite. Thus f s (z) is a meromorphic function in C\D and the point at infinity is a pole of each f s (z). Moreover, f s (z) is analytic in a neighborhood of the unit circle. So f s (z) is analytic in td\rd for0 < r < 1 < t. Next we show that on the unit circle except for one point, 1 ρ i ( 1 z ) ρ i(z) for each i. To do this, for each ρ {ρ i } n, noting thatφis analytic on a neighborhood V of the closure of the unit disk and ρ extends analytically on the unit circle minus Γ, we have that for each w V with z 1, ρ(z) 1. To prove the above fact, we follow an argument in [28]. If ρ(z) < 1, as φ(ρ(z)) φ(z) and z is not a branch point of φ, then ρ(z) is in D\{z j } m j1. Thus ρ is a local inverse near ρ(z) but its range is not contained in the unit disk D. So ρ is not admissible and neither isρ. Hence ρ(z) 1. This means for z 1. Thus ρ(z) 1 ρ( 1 z ) σ s (ρ 1 (z),,ρ n1 (z)) f s (z). forz on the unit circle except for one point. So in a neighborhood of the unit circle. Define σ s (ρ 1 (z),,ρ n1 (z)) f s (z) F s (z) { σ s(ρ 1 (z),,ρ n1 (z)) f s (z) z D z C\D. Thus F s (z) is a meromorphic function in C and the point at infinity is a pole of each F s (z). Hence F s (z) is a rational function ofz and so isσ s (ρ 1 (z),,ρ n1 (z)) ind. Now consider the polynomial n 1 f 1 (w,z) w n 1 σ 1 (z)w n1 + +() n 1 σ n1 (z) (w ρ j (z)) whose coefficients are rational functions ofz. Thus p(w,z) f 1 (w,z)f 2 (w,z) j1

10 10 DOUGLAS, SUN, AND ZHENG for another polynomial f 2 (w,z). This implies that p(w,z) is reducible, which contradicts the assumption that p(w,z) is irreducible. Hence the Riemann surface S p is connected. If p(w,z) is reducible, noting that every root ρ(z) ofp(w,z) is also a root of φ(w) φ(z), by Bochner s Theorem [31], we see that p(w,z) does not have multiple roots for z D\{z j } m j1, we can factor p(w,z) p 1 (w,z) p q1 (w,z) for some irreducible polynomialsp l (w,z) with degreek l. Let{ρ l1 (z),,ρ lkl (z)} be roots of the equationp l (w,z) 0. Thus p l (ρ lj (z),z) 0. From the identity theorem of analytic functions, each analytic continuation ˆρ lj (z) must still satisfy the equation p l (ˆρ lj (z),z) 0, and so ˆρ lj (z) must be in {ρ lj } k l j1. Since p l is irreducible, by the above argument, we see that the continuations of the rootsρ l1 (z),,ρ lkl (z) ofp l (w,z) are always roots of p l (w,z). Hence crossing a cut permutes the set of roots, and the Riemann surface S pl is connected. This gives that S p has q 1 connected components, one for each of factors p 1,,p q1. In particular, S f has q connected components. This completes the proof. 4. REPRESENTATION OF UNITARY OPERATORS In this section, we will obtain a better representation of a unitary operator in the commutant {M φ } on E\Γ. It will be defined using the orientation {{ρ i } n,u} of a complete collection of local inverses {ρ i } on U for a small invertible open set U of E. The theory of subnormal operators [9] plays also an important role in this section. Next we need to order the set {ρ j } n j1 globally over a simply connected subset of E. To do this, take an invertible small open set U of E such that the intersection of ρ j (U) and ρ k (U) is empty forj k. We can always do so by shrinkingu sufficiently. In this section, we fix the small invertible open setu. We label {ρ j (z)} n j1 as {ρ 1 (z),ρ 2 (z),,ρ n (z)} and assume ρ 1 (z) z. Take a curve Γ through the finite set F and connecting a point on the unit circle so that E\Γ is simply connected and disjoint from the set n j1 ρ j(u). Theorem 2.1 (the Riemann Monodromy theorem) gives that each of {ρ j (z)} n j1 has a uniquely analytic continuation one\γ and hence we can view each of{ρ j (z)} n j1 as an analytic function on E\Γ satisfying φ(ρ j (z)) φ(z), forz E\Γ andj 1,,n. We retain the same labels{ρ j (z)} n j1 as{ρ 1(z),ρ 2 (z),,ρ n (z)} at every point ine\γ. The orientation is denoted by{{ρ j (z)} n j1,u}. Then the compositionρ k ρ l (z) makes sense on U. As we pointed out before, {ρ j } n j1 has a group-like property under composition onu, that is, ρ k ρ i (z) ρ πi (k)(z), (4.1)

11 for someπ i (k) {1,2,,n}. Thus COMMUTANT AND REDUCING SUBSPACES 11 {π i (k)} n k1 {1,2,,n}. (4.2) For each ρ {ρ i } n, there is a unique ˆρ in{ρ i} n such that ˆρ(ρ(z)) ρ 1 (z) on U. Then the mapping ρ ˆρ is a bijection from the finite set {ρ i } n to itself. Thus ρ k ˆρ k for somek. So for each fixedk, there is a unique numberk in{1,2,,n} such that and hence and for each fixed i, π i ρ k (z) ˆρ k ρ k ρ k (z) ρ 1 (z); ( 1 2 n π i (1) π i (2) π i (n) is in the permutation group P n. Now we define a mapping Φ from the set {ρ j } of local inverses to the permutation group P n as Thus for each open set U, Φ(i) : π i. ρ k (ρ i ( )) ρ πi (k)( ). (4.3) Note that ρ k (z) is also admissible in E and so it is analytic locally in E\Γ. But on U, ρ k (z) ρ k (z) for somek. Thus forz ine\γ. So for each subset ofe\γ, ) ρ k (z) ρ k (z). (4.4) ρ k ( ) ρ k ( ). (4.5) The proof of Theorem 2.2 gives a global form in terms of the orientation defined as above: Theorem 4.1. Letφbe a finite Blaschke product. LetU be a small invertible open set of E. Let {ρ i (z)} n j1 a complete collection of local inverses and E\Γ with the orientation {{ρ j (z)} n j1,u}. Then for each T in {M φ}, there are analytic functions{s i (α)} n on E\Γ such that for eachhin the Bergman spacel 2 a, for each α in E\Γ. Th(α) n s i(α)h(ρ i (α)), T k α n s i(α)k ρi (α)

12 12 DOUGLAS, SUN, AND ZHENG Recall that an operators on a Hilbert spaceh is subnormal if there are a Hilbert space K containing H and a normal operator N on K such that H is an invariant subspace of N and S N H. If K has no proper subspace that contains H and reduces N, we say that N is a minimal normal extension of S. Note that M φ is a subnormal operator. The main idea is to use the property that the spectrum of the minimal normal extension of M φ contains each invertible set V and the minimal normal extension of M φ can be defined using the functional calculus of the minimal normal extension of the Bergman shiftm z underφ. We need a few of results on subnormal operators in [9]: Forφin L, let Mφ denote the multiplication operator by φ onl 2 (D,dA) given by for each g inl 2 (D,dA). M φ g φg The minimal normal extension of the Bergman shift M z is the operator Mz on L 2 (D,dA). For each finite Blaschke product φ, the minimal norm extension of M φ is the operator M φ on L 2 (D,dA). Suppose S 1 and S 2 are two subnormal operators on a Hilbert space H and N 1 andn 2 are the minimal normal extension ofs 1 ands 2 onk, respectively. IfS 1 ands 2 are unitarily equivalent, i.e.,w S 1 W S 2 for some unitary operatorw on H, then there is a unitary operator W onk such that W W H, W N 1 W N2. Thus for each unitary operatorw in the commutant ofm φ, there is a unitary operator W onl 2 (D,dA) such that W W L 2 a, W Mφ W Mφ. The following theorem was obtained in [26]. For completeness, we will give the detailed proof of the theorem. A different proof was also given in [19]. Theorem 4.2. Let φ be a finite Blaschke product. Let U be a small invertible open set of E. Let {ρ i (z)} n j1 be a complete collection of local inverses and E\Γ with the orientation {{ρ j (z)} n j1,u}. Then for each unitary operator W in {M φ}, there is a unit vector {r i } n incn such that for each h in the Bergman spacel 2 a, Wh(α) r i ρ i (α)h(ρ i(α)), for each α in E\Γ. W k α r i ρ i (α)k ρ i (α)

13 COMMUTANT AND REDUCING SUBSPACES 13 Proof. Let W be a unitary operator in the commutant {M φ }. By the remark as above, there is a unitary operator W on L 2 (D,dA) such that W W L 2 a, W Mφ W Mφ. Since M φ is a normal operator on L 2 (D,dA), and σ( M φ ) D, by the spectral theorem for normal operators [9], Mφ has the following spectral decomposition: M φ λde(λ). D Note that Mφ equals φ( M z ). Thus M φ commutes with M z. So for each Lebesgue measurable subset ofd, the spectral measure E( ) de(λ) is a projection commuting with M z. Since the commutant we obtain { M z } { M f : f L (D,dA)}, E( ) M χφ ( ). Here χ φ ( ) is the characteristic function of the setφ ( ) : { 1 z φ χ φ ( )(z) ( ) 0 z / φ ( ). Since W commutes with M φ, we have that E( ) commutes with W to get W Mχφ ( ) W Mχφ ( ). Letting Supp(g) denote the essential support of a function g in L 2 (D,dA), the above equality gives Supp[ W (χ φ ( )g)] Supp[ W Mχφ ( ) (g)] Supp[ W Mχφ ( ) W W (g)] Supp[ M χφ ( ) W (g)] Supp[χ φ ( ) W (g)] φ ( ), for each Borel set and each g inl 2 (D,dA). For each z in U, let V be an open neighborhood ofαthat is contained in U. Since V is a subset ofe, for each α in V, φ (α) 0. Note that onv φ(ρ i (α)) φ(α). Taking the derivative of both sides of the above equality, by the chain rule we have φ (ρ i (α))ρ i (α) φ (α)

14 14 DOUGLAS, SUN, AND ZHENG to get thatρ (α) 0. This gives thatρ i is locally injective. SinceV is a subset ofu and {ρ i (U)} n are disjoint,{ρ i(v)} n are disjoint. Thus φ φ(v) n ρ i(v) is the union ofnstrictly separated and polynomially convex open sets whereρ 1 (V) V. Since{ρ i (V)} n are disjoint,f is analytic on the closure ofφ φ(v) if { 1 z V f(z) 0 z φ φ(v)\v. By the Runge theorem [9], there exists a sequence of polynomials{p k (z)} ofz such that p k (z) uniformly converges to f(z) on the closure ofφ φ(v). Therefore, This gives that for each g in L 2 (D,dA), lim χ φ k φ(v )p k χ φ φ(v )f 2 0. (4.6) W (χ φ φ(v )p k ),g W (χ φ φ(v)f),g The last equality follows from the fact that W (χ V ),g. (4.7) V φ φ(v). On the other hand, since W is unitary and commutes with M φ, W also commutes with M φ. Thus Theorem 4.1 gives that there are functions t i (α) and s i (α) analytic on E\Γ such that Wh(α) t i (α)h(ρ i (α)), W h(α) s i (α)h(ρ i (α)) (4.8) for α in E\Γ and h in L 2 a. It suffices to show that there is a unit vector (r 1,r 2,,r n ) in C n such that s i (α) r i ρ i(α) on E\Γ. A simple calculation gives W (χ φ φ(v)p k ),g W Mχφ φ(v ) W W (p k ),g M W χφ φ(v ) (p k ),g W (p k )(α)g(α)da(α) φ φ(v) χ φ φ(v ) D s i (α)p k (ρ i (α))g(α)da(α).

15 COMMUTANT AND REDUCING SUBSPACES 15 The last equality follows from (4.8). Since the closure ofφ φ(v)is a compact subset ofe\γ and {s i (α)} n are analytic ine\γ, there is a constantm > 0 such that sup sup 1 i n α φ φ(v ) s i (α) M. Noting that ρ i(α) 0 for α in E\Γ and p k (z) uniformly converges to f(z) on the closure ofφ φ(v), by (4.5), we see that Therefore, we have lim χ φ k φ(v )p k ρ i χ φ φ(v)f ρ i 2 0. lim k χ φ φ(v ) s i p k ρ i χ φ φ(v) s i f ρ i 2 0, to obtain W (χ φ φ(v)p k ),g χ φ φ(v ) s i (α)f(ρ i (α)),g. (4.9) Combining (4.7) and (4.9) gives that W (χ V ) χ φ φ(v ) s i (α)f(ρ i (α)). (4.10) Noting Supp[ s i (α)f(ρ i (α))] n Supp[f ρ i] n Supp[χ ρ i (V ) ] n ρ i (V) φ φ(v), by(4.5) we obtain W (χ V ) s i (α)f(ρ i (α)).

16 16 DOUGLAS, SUN, AND ZHENG For an area-measurable set V in the unit disk, we use V to denote the area measure of V. Since W is a unitary operator onl 2 (D,dA), we have V 2 χ V 2 2 W (χ V ) 2 2 s i (α)f(ρ i (α)) 2 da(α) D D j1 D s i (α)s j (α)f(ρ i (α))f(ρ j (α))da(α) s i (α) 2 f(ρ i (α)) 2 da(α) ρ i (V) s i (α) 2 f(ρ i (α)) 2 da(α) f(α) 2 s i ρ i (α) 2 da(α) V ρ i ρ i (α) s i ρ i (α) V ρ 2 da(α). i ρ i (α) The fifth equality follows from Supp[f ρ i ] Supp[f ρ j ] ρ i (V) ρ i (V) ρ i (V) ρ j (V) by(4.5). Here denotes the empty set. The sixth equality follows from that Supp[f ρ i ] ρ i (V) and the seventh equality follows from that the change of variable, β ρ i (α), gives s i (α) 2 f(ρ i (α)) 2 da(α) f(β) 2 s i ρ i (β) V ρ 2 da(β). i ρ i (β) ρ i (V ) Therefore we obtain for each z U and for any open neighborhoodv U ofz, that 1 1 s i ρ i (α) 2 da(α). V 2 V ρ i ρ i (α) Noting that n i (α) 2 is continuous onu and lettingv shrink to z, we have s i ρ ρ i ρ i (α) 1 s i ρ i (z) 2. ρ i ρ i (z)

17 Applying the Laplace operator 2 z z COMMUTANT AND REDUCING SUBSPACES 17 0 to both sides of the above equality gives [ si ρ i (z) ] 2. ρ i ρ i (z) Thus [ si ρ i (z) ] 0 ρ i ρ i (z) on U. So there are constantsr i such that r r n 2 1 s i ρ i (z) r ρ i i ρ i (z) on U for each i, and so s i (z) r i ρ i (z), on ρ i (U) ρ i (U) and hence on E\Γ because that both s i (z) and ρ i(z) are analytic on E\Γ. This completes the proof. 5. DECOMPOSITION OF THE BERGMAN SPACE Letφbe a Blaschke product of ordern. As pointed out in the introduction, by complex geometry, one can easily see that the Bergman space can be decomposed as a direct sum of at most n nontrivial reducing subspaces of M φ. In this section we will refine this result and show that the Bergman space can be decomposed as a direct sum of at mostq nontrivial reducing subspaces of M φ, where q is the number of connected components of the Riemann surface S φ. LetU be a small invertible open subset ofe. Let{ρ i (z)} n j1 be a complete collection of local inverses. Theorem 4.2 gives that for each z in U, W k α r i ρ i (α)k ρ i (α). For our convenience, we user ρi to denoter i. Then the above equality becomes W k α r ρ ρ (α)k ρ(α). ρ {ρ i (z)} n j1 Lemma 5.1. LetU be a small invertible open subset ofe and{ρ i (z)} n j1 be a complete collection of local inverses. Fix a point z 0 in U. Let G i be the set of those functions in {ρ i (z)} n which are analytic extensions of ρ i along some loop containing z 0 in E. Write {ρ i (z)} n q k1 G i k. Then for each α inu, q W k α ˆr k ρ (α)k ρ(α), ρ G ik k1

18 18 DOUGLAS, SUN, AND ZHENG where ˆr k r ρ for someρing ik. Proof. For each α in U, by Theorem 4.2, we have q W k α r ρ ρ (α)k ρ(α). (5.1) k1 ρ G ik It suffices to show that for two ρ 0 and ˆρ 0 in the same G ik, r ρ0 rˆρ0. Note that the conjugates of both sides of (5.1) are locally analytic functions of α in E. In fact the conjugate of the right hand side of (5.1) is an analytic function of α in the unit disk D. Since each of{ρ i (z)} n j1 admits unrestricted continuation ine, the conjugate of the left hand of (5.1) admits unrestricted analytic continuation ine. Letz 0 be the fixed point in U andγ be a loop ine containingz 0. Suppose that each ρ of the set {ρ i (z)} n is extended analytically to ˆρ from z 0 to z 0 along the loopγ. In the neighborhoodu ofz 0, we have q W k α r ρ ˆρ (α)kˆρ(α). (5.2) ρ G ik Thus (5.1) and (5.2) give q k1 k1 ρ G ik r ρ ρ (α)k ρ(α) q k1 ρ G ik r ρ ˆρ (α)kˆρ(α). Since the reproducing kernels are linearly independent, the above equality gives rˆρ0 ˆρ 0 (α) r ρ 0 ˆρ 0 (α). And hencerˆρ0 r ρ0. This completes the proof. Theorem 5.2. Let φ be a finite Blaschke product. Then the Bergman space can be decomposed as a direct sum of at most q nontrivial minimal reducing subspaces of M φ where q is the number of connected components of the Riemann surfaces φ. Proof. Suppose that the Bergman space is the direct sum ofpnontrivial minimal reducing subspaces {M j } p j1 ofm φ. That is, L 2 a p j1 M j. LetP j denote the orthogonal projection froml 2 a ontom j. ThusP j commutes with both M φ andm φ. For(θ 1,,θ p ) in[0,2π] n, let p W(θ 1,,θ p ) e iθ j P j. Then {W(θ 1,,θ p )} is a family of unitary operators in the commutant{m φ }. Using this family of unitary operators, we can recoverp j as follows: P j h [W(θ 1,,θ p )] hdµ j (θ 1,,θ p ), [0,2π] p j1

19 COMMUTANT AND REDUCING SUBSPACES 19 forhin L 2 a, wheredµ j (θ 1,,θ p ) is the measure eiθ j (2π) p dθ 1 θ p on[0,2π] p. LetU be a small invertible open subset ofe and {ρ i (z)} n j1 be a complete collection of local inverses. Fix a point z 0 in U. Let G i be the set of those local inverses in the set {ρ i (z)} n which are analytic extensions of ρ i along some loop in E containing z 0. Write {ρ i (z)} n q k1 G i k. Theorem 3.1 shows that q is the number of connected components of the Riemann surfaces φ. To finish the proof we need only to show that p q. To do this, by Lemma 5.1, we have that there are constants{ˆr k (θ 1,,θ p )} such that [W(θ 1,,θ p )] k α q ˆr k (θ 1,,θ p ) k1 ρ G ik ρ (α)k ρ(α) forαinu. Thus P j k α [W(θ 1,,θ p )] k α dµ j (θ 1,,θ p ) [0,2π] p q ˆr k (θ 1,,θ p ) [0,2π] p k1 q r k k1 ρ G ik ρ (α)k ρ(α) dµ j (θ 1,,θ p ) ρ G ik ρ (α)k ρ(α) (5.3) where r k ˆr k (θ 1,,θ p )dµ j (θ 1,,θ p ). [0,2π] p For each j, let Z j denote the zero set of the functions inm j, that is {z D : f(z) 0 for each f M j }. Then Z j is a countable subset of the unit disk D. Hence U\[ p j1 Z j] is not empty. For each α in U\[ p j1 Z j], there is a functionf j inm j such that Further, we have f j (α) 0. f j (α) f j,k α P j f j,k α f j,p j k α. Thus P j k α 0. (5.4)

20 20 DOUGLAS, SUN, AND ZHENG For a fixedαin U\[ p j1 Z j], let Θ be the subspace ofl 2 a spanned by {P 1k α, P p k α }. Thus (5.3) gives that Θ is contained in the subspace ofl 2 a spanned byq functions { ρ G ik ρ (α)k ρ(α) } q k1. So the dimension of Θ is less than or equal to q. On the other hand, for distinctj and l, P l P j 0. This gives P j k α,p l k α P l P j k α,k α 0. Thus combining the above equality with (5.4) gives that the dimension of Θ equals p and sop q. We complete the proof. 6. MATRIX REPRESENTATION OF UNITARY OPERATORS For a finite Blaschke product φ, it is pointed out in Section 4 that the orientation of {ρ i } n induces elements {π i } n in P n. So {π i } n forms a subgroup of the permutation group P n. In this section, using the property that {π i } n forms a group, we will obtain the following unitary matrix representation of a unitary operator in the commutant{m φ }. Theorem 6.1. Let φ be a finite Blaschke product with order n, U be a small invertible open set of E, and{ρ j (z)} n j1 be a complete collection of local inverses. ForE\Γ with the orientation{{ρ j (z)} n j1,u}. IfW is a unitary operator on the Bergman space which commutes with the multiplication operatorm φ, then there is a unit vector(r 1,,r n ) C n such that ρ 1 (α)k ρ 1 (α) ρ 1 ρ 2(α)k ρ2 (α)k ρ 1 (α) (α) ρ 2(α)k ρ2 (α) W ρ 3 (α)k ρ 3 (α) Γ W ρ 3 (α)k ρ 3 (α), (6.1).. ρ n(α)k ρn(α) ρ n(α)k ρn(α) forα U, where the representing matrixγ W is the following unitary matrix inu n (C): r 1 r 2 r 3 r n r π 2 (1) r π 2 (2) r π 2 (3) r π 2 (n) Γ W r π 3 (1) r π 3 (2) r π 3 (3) r π 3 (n)..... r π n (1) r π n (2) r π n (3) r π n (n) Proof. By Theorem 4.2, there is a unit vector(r 1,r 2,,r n ) in C n such that W k α r i ρ i (α)k ρ i (α) (6.2)

21 COMMUTANT AND REDUCING SUBSPACES 21 for each α in E\Γ. Since n j1 ρ j(u) is contained in E\Γ, we have for each l and α in U, that W [ρ l (α)k ρ l (α)] ρ l (α) r i ρ i (ρ l(α))k ρi (ρ l (α)) r i ρ i (ρ l(α))ρ l (α)k ρ i (ρ l (α)) r i [ρ i ρ l ] (α)k ρi ρ l (α) r i ρ π l (i) (α)k ρ πl (i)(α) by (4.1) r π l (i) ρ i (α)k ρ i (α). (6.3) This gives the matrix representation (6.1) of W. To finish the proof we need only to show thatγ W is a unitary matrix. By Fuglede Theorem [9], [13], W also commutes with M φ. For a unitary operator W, this follows easily from the following reason: WM φ M φ W. By multiplying both sides of the above equality byw and noting that we have W W WW I, M φ W W M φ. Using Theorem 4.2 again, there is another unit vector(s 1,s 2,,s n ) inc n such that Wk α s i ρ i (α)k ρ i (α) (6.4) for each α in E\Γ. Similar to the argument estimating (6.3), we also have W[ρ l (α)k ρ l (α)] s π l (i) ρ i (α)k ρ i (α),

22 22 DOUGLAS, SUN, AND ZHENG forαinu. Thus for each l, we have ρ l (α)k ρ l (α) WW [ρ l (α)k ρ l (α)] W[W (ρ l (α)k ρ l (α))] W[ r π l (i) ρ i (α)k ρ i (α)] r π l (i) W[ρ i (α)k ρ i (α)] r π l (i) ( j1 j1 s π i (j) ρ j (α)k ρ j (α) r π l (i) s π i (j) ) ρ j (α)k ρ j (α). by(6.3) Since the reproducing kernels are linearly independent, we have r π l (i) s π i (l) 1 (6.5) r π l (i) s π i (j) 0 (6.6) for 1 j,l n and j l. On the other hand, since both (r 1,r 2,,r n ) and (s 1,s 2,,s n ) are unit vectors inc n, by (4.2) we have that for each k k1 r π k (1) 2 + r π k (2) r π k (n) 2 r r r n 2 [ s π 1 (k) 2 + s π 2 (k) s π n (k) 2 ] 1, and Let s π 1 (l) 2 + s π 2 (l) s π n (l) 2 be the smallest of the set j1 [ s π j (1) 2 + s π j (2) s π j (n) 2 ] [ s s s n 2 ] n. j1 { s π 1 (k) 2 + s π 2 (k) s π n (k) 2 } n k1. Then the pigeonhole principle implies that s π 1 (l) 2 + s π 2 (l) s π n (l) 2 1.

23 COMMUTANT AND REDUCING SUBSPACES 23 From the Cauchy-Schwarz inequality, (6.5), one has 1 r π l (i) s π i (l) which gives ( ) 1/2( ) 1/2 r π l (i) 2 s π i (l) 2 1, (r π l (1),r π l (2),,r π l (n) ) λ l(s π 1 (l),s π 2 (l),,s π n (l) ), for some unimodular constantλ l. Thus so we have k1,k l s π 1 (l) 2 + s π 2 (l) s π n (l) 2 1, [ s π 1 (k) 2 + s π 2 (k) s π n (k) 2 ] n. Repeating the above argument and by induction, we will obtain that for each k (r π k (1),r π k (2),,r π k (n)) λ k(s π 1 (k),s π 2 (k),,s π n (k) ), for a unimodular constantλ k. By (6.6), we have (r π l (1),r π l (2),,r π l (n) ) (s π 1 (j),s π 2 (j),,s π n (j) ) forj l. So r π l (1) 2 + r π l (2) r π l (n) 2 1 for1 l n and (r π l (1),r π l (2),,r π l (n) ) (r π j (1),r π j (2),,r π j (n) ) for1 j l n. This gives that Γ W is unitary to complete the proof. 7. VON NEUMANN ALGEBRA A φ In the previous section, we have shown that A φ is finite dimensional. In this section we will show that its dimension equals the number q of connected components of the Riemann surface φ φ over the unit disk. Since Lemma 5.1 will show directly that the dimension of A φ is no greater than q, the main effort in this section is showing that the dimension is at least q. To that end we are going to construct q linearly independent elements in A φ. Let φ be a finite Blaschke product. Recall that C denotes the set of the critical points of φ in D and F φ φ(c), ande D\F. Letz 0 be a point in a small invertible open setu ofe. Let{ρ i (z)} n be a complete collection of local inverses. LetG i be the set of those functions in{ρ i (z)} n

24 24 DOUGLAS, SUN, AND ZHENG which are analytic extensions ofρ i along some loop in E containingz 0. Then Theorem 3.1 gives {ρ i (z)} n q k1 G i k, where1 i k n and1 q n. Each element ing ik extends analytically to the other elements ing ik, but it does not extend to any element ing il ifi k i l. SupposeΓis the curve constructed in Section 3, drawn through these branch points and a fixed point on the unit circle so that D\Γ is a simply connected region. For each 1 k q, define a bounded linear operatore k : L 2 a L 2 a by (E k f)(z) ρ G ik ρ (z)f(ρ(z)) (7.1) for z E and each f L 2 a. As in the proof of Theorem 3.1, the operator E k is welldefined since the ρ(z) can be extended to all of E and f(ρ(z)) is locally bounded on E and hence analytic on E. We observe that the label of each element ing ik depends onγand a neighborhood of z 0 but the setg ik does not. So we can viewg ik as a collection of local inverses defined locally and each element in G ik may have different labels as a global function on E/Γ. Thus the summation in (7.1) defining E k f(z) does not depend on how we choose the curveγor how we label those local inverses on a neighborhood of any pointz 0 in E. First we introduce the notation ˆΓ which denotes the set Γ n j1 {w E\Γ : ρ j(w) Γ}, which consists of finitely many curves on D. Since ρ maps E into E and is locally analytic and injective on E, ˆΓ is a closed set which has area measure equal to zero. Lemma 7.1. For eachρ {ρ j } n j1,ρ(e\γ) containsd\ˆγ, and hence the area measure of D\ρ(E\Γ) equals zero. Proof. Let z 0 be a point in D\ˆΓ. Thus ρ j (z 0 ) is not in Γ for each ρ j. Since ρ j is locally analytic and injective in E, ρ j is an open mapping. Thus we can find a small open neighborhoodv j of the pointz 0 such that Let ρ j (V j ) Γ. V n j1 V j. Then V is an open neighborhood ofz 0 such that For each ρ, there is a ˆρ {ρ j } n j1 such that n j1 ρ j(v) n j1 ρ j(v j ) E\Γ. ρ(ˆρ(z)) ρ 1 (z) z on an open neighborhood ˆV ofz 0 which is contained inv. Lettingw 0 ˆρ(z 0 ), then w 0 is contained in ˆρ(V) and hence contained in E\Γ. Therefore z 0 is contained inρ(e\γ). This completes the proof.

25 COMMUTANT AND REDUCING SUBSPACES 25 Since each local inverse ρ is locally injective, there are a family of disjoint open sets in D on which each ρ in{ρ j } n j1 is injective onu µ and D/ µ U µ 0. Let S k be the connected component of the Riemann surfaces φ associated withg ik. Lemma 7.2. Let{U µ } be disjoint open sets indon which eachρin{ρ j } n j1 is injective on U µ and D/ µ U µ 0. Then ifµ 1 µ 2. ρ(u µ1 ) ρ(u µ2 ) 0 Proof. As we pointed out in the proof of Theorem 3.1, each local inverseρhas analytic continuation in rd\f for some r > 1 and ρ(z) 1 on the unit circle. So we can construct a Riemann surfaces r overrd\f ands k is an open region ofs r. AssumeG ik consists of n k elements ρ 1,, ρ nk. For each open set U contained in the unit disk, on which ρ j is injective, we define a functionf ons k by f( ρ j (z),z) ρ j (z) for each ( ρ j (z),z) S k. Thenf is a holomorphic function ons k. Clearly, f extends to be a holomorphic function on S r. Let ω be the differential1-form on S k ω i 2 fdf. On the chart U ρ {(ρ(z),z) : z U}, it is easy to check and ω i 2 ρdρ dω i 2 d( fdf) d f df i 2 (ρ (z)d z) (ρ (z)dz) i 2 ρ (z) 2 d z dz. Now{ρ(U µ ) : µ,ρ G ik } forms a local chart of the Riemann surface S k minus a set with zero surface area. Thus S k and ρ G ik µu µ i 2 dρ d ρ S k dω. S k ρ G ik ρ(u µ ) µ

26 26 DOUGLAS, SUN, AND ZHENG On the other hand, for each point β F and small positive number ǫ, let C(β,ǫ) be the circle with center β and radius ǫ and Γ j,ǫ (β) {( ρ j (z),z) : z C(β,ǫ)}. Let S k,ǫ S k \ n k j1 β FΓ j,ǫ (β). Clearly,S k,ǫ is an open Riemann surface with boundary S k,ǫ [ n k j1 β F Γ j,ǫ (β)] { f(w,z) 1 : (w,z) S k } in S r. By Stokes formula ([8], Theorem 4.2), we have S k,ǫ dω S k,ǫ ω S k,ǫ n k j1 β F n k i 2 i 2 Γ j,ǫ (β) j1 β F n k j1 β F ω + C(β,ǫ) C(β,ǫ) { f(w,z) 1:(w,z) S k } n k ρ j d ρ j i 2 ρ j d ρ j i 2 j1 z 1 z 1 ω d ρ j (z) ρ j (z) n k d[ln( ρ j (z))]. Noting that the product n k j1 ρ j(z) is a Blaschke factor of φ(0) φ with ordern 1 φ(0)φ k, by the formula of the winding number of a closed curve, we have i n k d[ln( ρ j (z))] n k π n k D. 2 z 1 j1 By the Puiseux theorem ([6], Lemma 13.1 and Theorem 13.1 or [16], Theorem 8.14), noting that each local inversew ρ(z) is a solution P(w)Q(z) P(z)Q(w) 0, and the leading coefficient ofw n in the above polynomial is given by Q(z) P(z)φ(0), which never vanishes on the unit disk, for each β F. Therefore we see that there is a neighborhoodd(β,ǫ)\{β}, at whichρ(z) has a power series expansion of(z β) 1/n k. Thus for some positive constantm > 0, ρ j d ρ j Mǫ 1/n k 0, and as ǫ 0. This gives C(β,ǫ) j1 d ρ j (z) d ρ j (z) Mǫ 2/n k 0, D(β,ǫ)\{β} lim S k,ǫ n k D, ǫ 0

27 and Hence By Lemma 7.1, we have This gives Thus But this implies Therefore COMMUTANT AND REDUCING SUBSPACES 27 lim ǫ S k,ǫ S k. S k n k D. ρ(d/γ) D. ρ(u µ ) ρ(d/γ) D. µ S k ρ G ik ρ(u µ ) n k D. µ ρ(u µ ) D. µ ρ(u µ1 ) ρ(u µ2 ) 0 forµ 1 µ 2. This completes the proof. The boundedness ofe k follows from f(ρ(z)) 2 ρ (z) 2 da(z) E\Γ µ D ρ(u µ) f(w) 2 da(w) f(w) 2 da(w), (7.2) where the{u µ } are disjoint open sets indon which each ρ is injective on U µ and D/ µ U µ 0. The last equality in (7.2) follows from the above lemma. To get Ek, we need the following change of variable formula. Lemma 7.3. For each ρ {ρ j } n j1 andf L2 a, f(ρ(z)) 2 ρ (z) 2 da(z) E\Γ D f(w) 2 da(w). Proof. We can choose {U µ } to be disjoint open sets in D such that for each ρ, ρ is injective on U µ and D/ µ U µ 0.

28 28 DOUGLAS, SUN, AND ZHENG For each ρ {ρ j } n j1 and f L2 a, we have f(ρ(z)) 2 ρ (z) 2 da(z) E\Γ µ E\Γ ρ(e\γ) D f(ρ(z)) 2 ρ (z) 2 da(z) ρ(u µ) f(w) 2 da(w) f(w) 2 da(w) f(w) 2 da(w). The first equality follows from the fact that the area measure of D\E is zero. The second equality follows from Lemma 7.2. The last equality comes from Lemma 7.1, which states that the area measure ofd\ρ(e\γ) is zero. This completes the proof. Note thatρ 1 equalsz. Sinceρ is also in{ρ i } n for eachρ {ρ i} n, letg i k denote the subset of{ρ i } n : We need the following lemma to find E k. G i k {ρ : ρ G ik }. Lemma 7.4. For each i k, there is an integer k with1 k q such that G i k G ik. Proof. Assume thatz 0 is a point ine\γ. For two elementsρand ˆρ ing ik, suppose that ˆρ is an analytic continuation of ρ along some loop γ in E containing z 0. Let ˆγ be the image curve of γ under this analytic continuation along γ. We will show that ˆρ is an analytic continuation ofρ along a loop at z 0 ine. Note that ˆγ is a curve connecting ρ(z 0 ) and ˆρ(z 0 ) in E. Thus ρ has an analytic continuation ρ from ρ(z 0 ) to ˆρ(z 0 ) along the curve ˆγ in E. This gives that ρ 1 ρ ρ has an analytic continuation ρ ˆρ along the loop γ from z 0 to z 0 in E, but ρ 1 z has only one analytic continuation ρ 1 along any loop in E. Hence we have that ρ ˆρ ρ 1 to get ρ ˆρ. This means that ρ can be analytically extended to ˆρ along a curve connecting ρ(z 0 ) and ˆρ(z 0 ) in E. Also we can find two curves γ 1,γ 2 in E\Γ such that ρ on an open neighborhood of z 0 is an analytic continuation of ρ on an open neighborhood of ρ(z 0 ) along γ 1 and ˆρ on an open neighborhood of z 0 is an analytic continuation of ˆρ on an open neighborhood of ˆρ(z 0 ) alongγ 2. Thus ˆρ is an analytic continuation ofρ along the loopγ 1 ˆγ ( γ 2 ) in E. As{ρ i } n has a group-like property under the composition defined above, there is an integerk with1 k q such thatg i k equalsg ik. This completes the proof. Lemma 7.5. For each integerk with1 k q, there is an integerk with1 k q such that E k E k.

29 COMMUTANT AND REDUCING SUBSPACES 29 Proof. Polarizing the change of variable formula (7.2) gives f(ρ(z))g(ρ(z)) ρ (z) 2 da(z) f(w)g(w)da(w). E\Γ for two polynomials f,g of z. Choose a collection {U µ } of disjoint open subsets such that E/[Γ µ U µ ] 0, for each µ, the sets {ρ(u µ )} ρ Gik are disjoint and for each ρ and µ, ρ is injective onu µ. Note that for each pointρ(z) / ρ(γ), by Lemma 7.4, there is a ˆρ µ G ik such that ˆρ µ (ρ(z)) z on a neighborhood U µ of z. Let w ρ(z). Since ρ is analytic and locally injective on E, the above equality gives that there is a ρ µ G ik such that forw ρ(u µ ). Hence forz U µ and ρ µ (ˆρ µ (w)) w ρ(z) ρ µ (z) ρ(ˆρ µ (w)) w on a neighborhood ρ(u µ ) ρ µ (U µ ) of ρ(z 0 ). Let χ ρ(uµ) denote the characteristic function of the setρ(u µ ). Thus Ek g,f g,e kf g(z)f(ρ(z))ρ (z)da(z) D ρ G ik g(z)f(ρ(z))ρ (z)da(z) E\ˆΓ ρ G ik g(ˆρ µ ρ(z))f(ρ(z))ρ (z)da(z) ρ G ik µ U µ g(ˆρ µ ρ(z)) f(ρ(z)) ρ (z) 2 da(z) ρ G ik µ U µ ρ (z) g(ˆρ µ (w)) ρ G ik µ ρ(u µ) ρ (ˆρ µ (w)) f(w)da(w) χ ρ(uµ)(w)g(ˆρ µ (w))ˆρ α (w)f(w)da(w). D ρ G ik µ The third equality follows from the fact that ˆΓ has area measure equal to zero and the fact that ρ G ik f(ρ(z))ρ (z) is in the Bergman space L 2 a. The last equality follows D