J. Korean Math. Soc. 38 (2001), No. 1, pp. 125 134 CONDITIONAL INDEPENDENCE AND TENSOR PRODUCTS OF CERTAIN HILBERT L -MODULES Thomas Hoover and Alan Lambert Abstract. For independent σ-algebras A and B on X, L 2 (X, A B), L 2 (X X, A B), and the Hilbert space tensor product L 2 (X, A) L 2 (X, B) are isomorphic. In this note, we show that various Hilbert C - algebra tensor products provide the analogous roles when independence is weakened to conditional independence. 1. Introduction Suppose that (X, F,µ) is a probability space, and A and B are independent sub sigma algebras of F. One can then show by standard rectangle approximation that L 2 (X X, A B,µ µ)andl 2 (X, A B,µ) are unitarily equivalent via a measure algebra isomorphism induced unitary operator. Moreover, there is a natural equivalence of these spaces with the (unique) Hilbert space tensor product L 2 (X, A,µ) Hilbert L 2 (X, B,µ). In this note, we consider analogous situations for the case that A and B are assumed only to be conditionally independent given A B.TheroleofL 2 spaces is taken by certain Hilbert C -modules. As conditional independence may be easily described in terms of conditional expectations, and these conditional expectations are the basic building blocks of the Hilbert modules being investigated, this seems like the proper setting for this analysis. Moreover, there is a strong connection between the von Neumann algebra generated by the composition operator determined by a measurable transformation of X, and a pair of conditionally independent sigmal algebras. This relation is examined briefly at the end of this note. Received February 16, 2000. 2000 Mathematics Subject Classification: 46L06, 47C15, 47C33. Key words and phrases: L tensor-products, composition operators.
126 Thomas Hoover and Alan Lambert 2. Notation and conventions Let (X, F,µ) be a probability space. Upper case script letters A, B, C, etc. will generally be used to name sub sigma algebras of F. ThenA B represents the smallest sigma algebra in F which contains both A and B. For S a collection of sets in F, σ(s) is the smallest sigma algebra containing all the sets in S. For a sigma algebra A F, E A is the conditional expectation operator. We will only be concerned with E A acting on L 2 (F), so that for each f L 2 (F), E A f is the unique function in L 2 (A) satisfying A EA fdµ= A fdµ for every A A. It is worth noting that EA is the orthogonal projection onto L 2 (X, A,µ)andthatE A L (F) =L (A). f means f, the complex conjugate of f. 3. Tensor products of Hilbert C modules Chapter 4 of E. C. Lance s text [4] provides a detailed treatment of the general theory of Hilbert C module tensor products. We will be concerned here with certain specific examples. In general, when applied to vector spaces, refers only to the algebraic tensor product (i.e., tensor product over C). Recall that if E and F are Hilbert Y modules, where Y is a C algebra, and φ is a *homomorphism from Y to L(F) (the space of adjointable maps on F) then the quotient of E Fby the linear span of {e φ(y)(f) ye f : e E,f F,y Y} is a Y valued inner product space, where the inner product is given on elementary tensors by e 1 f 1,e 2 f 2 = f 1,φ( e 1,e 2 E )(f 2 ) F. The completion of this space is the interior tensor product of E and F with respect to φ. This space is a Hilbert Y module. We will only be concerned with the case that φ is the left representation of Y as multiplication operators on F. With E, F, andy as above, we may also form the exterior tensor product of E and F. This inner product is given on elementary tensors by e 1 f 1,e 2 f 2 = e 1,e 2 E f 1,f 2 F.
Conditional independence and tensor products of certain Hilbert L -modules 127 The completion of this space is then a Hilbert Y Y module (in this context Y Yis the spatial, or minimal C algebra tensor product.). The specific tensor products encountered in this note are: : The interior tensor product L (C) of two Hilbert L (C) modules, with respect to left multiplication. : The interior tensor product L (C C) of two Hilbert L (C C) modules, with respect to left multiplication. : The exterior tensor product L (C) L (C) of two Hilbert L (C) modules. 4. Conditional independence Chapter 2 of M. M. Rao s text [5] provides a detailed treatment of the material herein outlined. Given three sub sigma algebras J, K, andl of F, J and K are conditionally independent given L if J J,E K L χ J = E L χ J. This may be restated in operator form as E K L E J = E L E J. In the special case of C = A B: A and B are conditionally independent given C if and only if E A E B = E C ;equivalentlye A E B = E B E A. We will employ the notation A and B are ci C for conditional independence. We will also make repeated use of the following: Lemma 0. If a is A measurable and b is B measurable, and A and B are ci C,then E C (ab) =(E B a) (E A b)=(e C a) (E C b). Proof. E C (ab) =E A E B (ab) =E A [(E B a)b] = E A [( E B E A a ) b ] = E A [( E A E B a ) b ] = ( E A E B a ) (E A b ) = ( E B E A a ) (E A b ) = ( E B a ) (E A b ). On the other hand, E B a = E B E A a = E C a, and similarly E A b = E C b.
128 Thomas Hoover and Alan Lambert 5. The Hilbert L -modules associated with nested sigma algebras For C A F,let L(C, A) ={f : f is A measurable and E C f 2 L }; f L = f L(C,A) = E C f 2 1/2. It was shown in [3] that (L (C, A), L ) is a Banach space satisfying L (A) L (C,A) L 2 (F). Moreover, L (C, A) is a Hilbert L (A)-module which is a realization of the localization via E A of L (F). (see [4] for a discussion of Hilbert C* modules in general and localization in particular.) Let A and B be sub sigma algebras of F, andletc = A B. Assume A and B are ci C. We note that in the case that C is the trivial algebra consisting of all F-sets of measure 0 or 1, then conditional independence given C reduces to the probabilistic concept of independence. Also, Since A and B are conditionally independent given C, fora L 2 (A) and b L 2 (B), (Lemma 0) E C ( ab 2) = ( E C a 2) (E C b 2) so L (C, A) L (C, B) L (C, F). Moreover, L (C, A) is a complemented Hilbert L (C) submodule of ( C, F ) because the projection E A is an adjointable operator on L (C, F). Consider the interior tensor product of L (C, A) andl (C, B) (with respect to the representation of L (C) as left multiplication on L (C, B)) where A and B are ci C: a 1 b 1,a 2 b 2 def. = b 1, a 1,a 2 L b 2 L = E C (b 1 a 1,a 2 L b 2 )=E C ( b 1 E C (a ) 1 a 2 ) b 2 = E C (a 1 a 2 ) E C (b 1 b 2 ). As noted in Lemma 0, since A and B are ci C,wehave (1) a 1 b 1,a 2 b 2 = E C (a 1 a 2 b 1 b 2) = E C ((a 1 b 1 ) (a 2 b 2 )). In order to form the interior tensor product, we must consider the subspace N of the algebraic tensor product generated by all elements of the form
Conditional independence and tensor products of certain Hilbert L -modules 129 (ca) b a (cb) and take the completion of (L (C, A) L (C, B))/N with respect to the norm determined by Eq. 1. This space is denoted L (C, A) L (C, B). Theorem 1. L(C, A) L(C, B) and L(C, A B) are isometrically isomorphic as Hilbert L -modules. Proof. For finite sequences {a i } and {b i } in L (C, A) andl (C, B), respectively, we have (via Eq. 1) Σa i b i, Σa i b i L(C,A B) = a i b i,a j b j L(C,A B) i,j = i,j E C ((a i b i ) (a j b j )) = a i b i,a j b j i,j = Σa i b i, Σa i b i L(C,A) L(C,B). This insures that the map S:Σa i b i Σa i b i extends to an L (C)- module isometry from L (C, A) L (C, B) ontol (C, A B). To see that S is in fact an adjointable map, note that for a i L (C, A)andb i L (C, B), i =1, 2we have ) a 1 b 1,S (a 2 b 2 = a 1 b 1,a 2 b 2 L(C,A) L(C,A B) = E C (a 1a 2 b 1b 2 )=E C (a 1a 2 ) E C (b 1b 2 ) = a 1 b 1,a 2 b 2 ) L(C,A B) ; so indeed, S is adjointable, and S* (= S -1 ) is given (on a fundamental set) by S*(a b) = a b. It was shown in [2] that L(C, A) =L 2 (X, A,µ) if and only if C is generated by a finite partition. Indeed, if C = σ (C i : 1 i n), where {C 1,,C n } is a measurable partition of X, then ( 1 E C f 2 =Σ µ(c i )( f 2 dµ ) χ Ci ); C i so f 2 L = max 1 f 2 dµ, 1 i n µ(c i ) C i Thus the L 2 (A) andl(c, A) norms are equivalent. If C is the trivial sigma algebra σ(x), then E C is the unconditional expectation and A and B are
130 Thomas Hoover and Alan Lambert actually independent. In this case, of course the L 2 and L norms are identical. The previous few lines may be formalized as follows. Corollary 2. Suppose that A and B are ci C where C is finitely generated. Then L 2 (X, A,µ) L 2 (X, B,µ) = L 2 (X, A B,µ). If C is trivial then L 2 (X, A,µ) Hilbert L 2 (X, B,µ)=L 2 (X, A B,µ), where denotes the (unique) Hilbert space tensor product. Hilbert Remark. If in fact C = σ(c 1,C 2,,C n ), where the C i s are pairwise disjoint then we may identify L (C) withc n via the isomorphism (λ 1,,λ n ) n λ i χ Ci. We can then view L (C, A) and L(C, B) as i=1 Hilbert C n -modules. Suppose for the moment that A and B have intersection C but are not necessarily ci C. It is easy to see that if a is A-measurable and b is B -measurable and we define a (x, y) = a(x) andb (x, y) = b(y), and let F = a b : X X C, then for any sigma algebras P and Q contained in A and B, respectively, (E P Q F )(x, y) =(E P a)(x) (E Q b)(y). Lemma 3. A C and C Bare ci C C with respect to the measure space (X X, A B,µ µ). Proof. Let a, b, and F be as in the remark immediately preceding the statement of the lemma. Then E C B F (x, y) =(E C a)(x) (E B b)(y) =(E C a)(x) b(y). We may then apply the same reasoning to deduce that E A C ( E C B F ) (x, y) = ( E A ( E C a )) (x) (E C b ) (y) = ( E C a ) (x) (E C b ) (y) (sincee A E C = E C ) = ( E C C F ) (x, y). Since the set of such F s generates all A B measurable functions, we see that E A C E C B = E C C.But(A C) (C B)=C C, which guarantees that (A C)and(C B)are ci C C. Corollary 4. Let A B = C (no assumption of conditional independence). ThenL(C C, A C) L(C C, C B) and L (C C, A B) are isometrically isomorphic as Hilbert L (C C)-modules.
Conditional independence and tensor products of certain Hilbert L -modules 131 Proof. By Lemma 3 (A C)and(C B)areci C C, so that Theorem 1 applies. When the hypothesis for Corollary 4 is strengthened so that A and B are ci C, then we have another representation of L (C C, A B), as presented later in Theorem 5. We now examine the exterior tensor product L (C, A) L (C, B). We continue to use the notational conventions f (x,y) = f(x), f (x, y) = f(y), with the obvious interpretations of S and S for a set S of functions of one variable. As we are using the minimal C* algebra norm on L (C) L (C), we identify this space as L (C C). Theorem 5. Suppose that A and B are sigma sub algebras of F with intersection C. ThenL(C, A) L(C, B) and L(C C, A B) are isometrically isomorphic as Hilbert L (C) L (C)-modules. Proof. The inner product for L(C, A) L(C, B) is given on elementary tensors by a 1 b 1,a 2 b 2 = a 1,a 2 L b 1,b 2 L = E C (a 1 a 2 ) E C (b 1 b 2 ), from which it follows that for finite sequences {a i } and {b i }, Σa i b i, Σa i b i = i,j E C (a i a j ) E C (b i b j ). Thus Σ a i b i 2 L(C,A) L(C,B) = E C (a i a j ) E C (b i b j ) ; i,j this last norm being computed with respect to the minimal C* algebra tensor product completion of L (C) L (C).
132 Thomas Hoover and Alan Lambert Now, = i,j = i,j Σa i b i, Σa i b E C C (( a i b i E C C ( a i i L(C C, C B) ) a j b j a j b i b ) j ) = i,j E C (a i a j) E C (b i b j) (the last equality following from the remark preceding Lemma 3) = i,j E C C (a i a j) E C C (b i b j). This is precisely the image of i,j EC (a i a j) E C (b i b j) in the representation of (the minimal C* algebra tensor product completion of) L (C) L (C) asl (C C). 6. An application to composition operators Starting with the probability space (X, F,µ), suppose that T is a mapping from X to X such that T 1 F F and µ T 1 dµ T 1 µ. If dµ L, then the composition operator C given by the formula Cf = f T is a bounded linear operator on L 2 (X, F,µ). (In [6], R. K. Singh and J. S. Manhas give many of the basic properties of such operators). In [1], the von Neumann algebra, W, generated by C was studied. In particular, the following results were established: Proposition. Let W be the von Neumann algebra generated by C. Then i) there is a sigma algebra M in F such that [W1] = L 2 (M) ; ii) for A = {F F: T 1 F = F }, [W 1] = L 2 (A ); iii) E M E A = E A E M ;and iv) E M A is a central projection of W. v) W is a factor if and only if M A = F and M A is the trivial sigma algebra.
Conditional independence and tensor products of certain Hilbert L -modules 133 (The square brackets above indicate closed linear span in L 2 (X, F,µ)). Let C = M A. Then (iii) above shows that M and A are ci C. Thus the tensor product results apply (where = is used for Hilbert C -module equivalence): i) L(C, M) L(C, A )=L(C, M A ) ii) L(C C, M C) L(C C, C A )=L(C C, M A ) iii) L(C, M) L(C, A )=L(C C, M A ). Now the composition operator C actually leaves L(C, M) andl(c, A ) invariant; indeed, it is the identity operator on the latter. Consider the tensor product equation (i) above, and let R be the Hilbert L (C)-module isomorphism implementing the equality. Define S on L(C, M) L(C, A ) by (extending the elementary tensor map) S(m a )=m T a. Then it is clear that RS = CR, and similar statements may be made for (ii) and (iii). We now show that in the case that W is a factor, these three module identifications coalesce and provide a special representation of T. In this case, we have C being the trivial sigma algebra, so that L (C), L (C C), and L (C) L (C) are C. Then (i) reduces to the identification of L 2 (M) Hilbert L 2 (A )withl 2 (M A ); while (iii) identifies this same tensor product with L 2 (M A ). The identification of L 2 (M A ) and L 2 (M A ) may be realized at the set level by the mapping χ M A χ M A, and verifying (via independence) that this extends in the proper way to a unitary equivalence. This unitary equivalence then establishes a model for all composition operators generating factors. We note that when W is a factor, C L 2(M) is irreducible, so that part b of the following result is truly a converse to part a. Theorem. a) Suppose that W is a factor (as above). Define S on X X by S(x, y) =(Tx,y). Then the composition operator C s on L 2 (X X, M A,µ µ) is unitarily equivalent to C T on L 2 (X, F,µ). b) Suppose that T o is a transformation such that its corresponding composition operator C To on L 2 (X o, F o,µ o ) is irreducible ( so that W To is the ring of all operators on L 2 (X o, F o,µ o ) ). Let (X 1, F 1,µ 1 ) be a probability space. Define T on X o X 1 by T (x, y) =(T o x, y). Then W T is a factor.
134 Thomas Hoover and Alan Lambert Proof. Part a follows directly from the comments preceding the statement under consideration. As for part b, it is easy to see that the corresponding M T and A T sigma subalgebras of F o F 1 are given by M T = T o F 1 and A T = F o T 1, where the T i s are the appropriate trivial sub sigma algebras. It then follows that M T A T = F o F 1 and M T A T = T o T 1, this last algebra being the trivial algebra in F o F 1.ThusW T is a factor. References [1] C. Burnap, T. Hoover, and A. Lambert, Von Neumann algebras associated with composition operators, Acta Scientiarum Mathematicarum (Szeged) 62 (1996), 565 582. [2] A. Lambert, L p multipliers and nested sigma algebras Operator Theory, Advances and Applications 104 (1998), 147 153. [3], A Hilbert C*-module view of some spaces related to probabilistic conditional expectation, to appear in Quaestiones Mathematicae. [4] E. C. Lance, Hilbert C -Modules, Cambridge University Press, Cambridge, 1995. [5] M. M. Rao, Conditional Measures and Applications, Marcel Dekker, New York, 1993. [6]R.K.SinghandJ.S.Manhas,Composition Operators on Function Spaces, North- Holland, Amsterdam, 1993. Thomas Hoover Department of Mathematics University of Hawaii Honolulu, Hawaii, USA E-mail: Hoover@Math.Hawaii.edu Alan Lambert Department of Mathematics University of North Carolina at Charlotte Charlotte, North Carolina, USA E-mail: allamber@email.uncc.edu