Commutator criteria for strong mixing II. More general and simpler

Size: px

Start display at page:

Download "Commutator criteria for strong mixing II. More general and simpler"

Charlene Norma Foster
5 years ago
Views:

1 Commutator criteria for strong mixing II. More general and simpler S. Richard and R. Tiedra de Aldecoa 2y Graduate school of mathematics, Nagoya University, Chikusa-ku, Nagoya , Japan; On leave of absence from Universite de Lyon; Universite Lyon ; CNRS, UMR 528, Institut Camille Jordan, 43 blvd du novembre 98, F Villeurbanne- Cedex, France 2 Facultad de Matematicas, Ponticia Universidad Catolica de Chile, Av. Vicu~na Mackenna 486, Santiago, Chile s: richard@math.nagoya-u.ac.p, rtiedra@mat.puc.cl Abstract We present a new criterion, based on commutator methods, for the strong mixing property of unitary representations of topological groups equipped with a proper length function. Our result generalises and unies recent results on the strong mixing property of discrete ows fu N g N2Z and continuous ows fe ith g t2r induced by unitary operators U and self-adoint operators H in a Hilbert space. As an application, we present a short alternative proof (not using convolutions) of the strong mixing property of the left regular representation of -compact locally compact groups. 2 Mathematics Subect Classication: 22D, 37A25, 58J5, 8Q. Keywords: Strong mixing, unitary representations, commutator methods. Introduction In the recent paper [3], itself motivated by the previous papers [7,, 2, 4], it has been shown that commutator methods for unitary and self-adoint operators can be used to establish strong mixing. The main results of [3] are the following two commutator criteria for strong mixing. First, given a unitary operator U in a Hilbert space H, assume there exists an auxiliary self-adoint operator A in H such that the commutators [A; U N ] exist and are bounded in some precise sense, and such that the strong limit D := s-lim N! N [A; U N ]U N (.) exists. Then, the discrete ow fu N g N2Z is strongly mixing in ker(d )?. Second, given a self-adoint operator H in H, assume there exists an auxiliary self-adoint operator A in H such that the commutators [A; e ith ] exist and are bounded in some precise sense, and such that the strong limit D 2 := s-lim t! t [A; e ith ] e ith (.2) Supported by JSPS Grant-in-Aid for Young Scientists A no y Supported by the Chilean Fondecyt Grant 368 and by the Iniciativa Cientica Milenio ICM RC22 \Mathematical Physics" from the Chilean Ministry of Economy.

2 exists. Then, the continuous ow fe ith g t2r is strongly mixing in ker(d 2 )?. These criteria were then applied to skew products of compact Lie groups, Furstenberg-type transformations, time changes of horocycle ows and adacency operators on graphs. The purpose of this note is to unify these two commutator criteria into a single, more general, commutator criterion for strong mixing of unitary representations of topological groups, and also to remove an unnecessary invariance assumption made in [3]. Our main result is the following. We consider a topological group X equipped with a proper length function ` : X! R +, a unitary representation U : X! U (H), and a net fx g 2J in X with x! (see Section 2 for precise denitions). Also, we assume there exists an auxiliary self-adoint operator A in H such that the commutators [A; U(x )] exist and are bounded in some precise sense, and such that the strong limit `(x ) [A; U(x )]U(x ) (.3) exists. Then, under these assumptions we show that the unitary representation U is strongly mixing in ker(d)? along the net fx g 2J (Theorem 2.3). As a corollary, we obtain criteria for strong mixing in the cases of unitary representations of compactly generated locally compact Hausdor groups (Corollary 2.5) and the Euclidean group R d (Corollary 2.7). These results generalise the commutator criteria of [3] for the strong mixing of discrete and continuous ows, as well as the strong limit (.3) generalises the strong limits (.) and (.2) (see Remarks 2.6 and 2.8). To conclude, we present in Example 2.9 an application which was not possible to cover with the results of [3]: a short alternative proof (not using convolutions) of the strong mixing property of the left regular representation of -compact locally compact Hausdor groups. We refer the reader to [3, 5, 8, 9,, 5] for references on strong mixing properties of unitary representations of groups. Acknowledgements. The second author is grateful for the support and the hospitality of the Graduate School of Mathematics of Nagoya University in March and April Commutator criteria for strong mixing We start with a short review of basic facts on commutators of operators and regularity classes associated with them. We refer to [, Chap. 5-6] for more details. Let H be an arbitrary Hilbert space with scalar product h; i antilinear in the rst argument, denote by B(H) the set of bounded linear operators on H, and write k k both for the norm on H and the norm on B(H). Let A be a self-adoint operator in H with domain D(A), and take S 2 B(H). For any k 2 N, we say that S belongs to C k (A), with notation S 2 C k (A), if the map R 3 t 7! e ita S e ita 2 B(H) (2.) is strongly of class C k. In the case k =, one has S 2 C (A) if and only if the quadratic form D(A) 3 7! ; isa A; is 2 C is continuous for the topology induced by H on D(A). We denote by [is; A] the bounded operator associated with the continuous extension of this form, or equivalently the strong derivative of the map (2.) at t =. Moreover, if we set A " := (i") (e i"a ) for " 2 R n fg, we have (see [, Lemma 6.2.3(a)]): s-lim[is; A " ] = [is; A]: (2.2) "& Now, if H is a self-adoint operator in H with domain D(H) and spectrum (H), we say that H is of class C k (A) if (H z) 2 C k (A) for some z 2 C n (H). In particular, H is of class C (A) if and only if 2

3 the quadratic form D(A) 3 7! ; (H z) A A; (H z) 2 C extends continuously to a bounded form with corresponding operator denoted by [( H In such a case, the set D(H) \ D(A) is a core for H and the quadratic form D(H) \ D(A) 3 7! H; A A; H 2 C z) ; A] 2 B(H). is continuous in the topology of D(H) (see [, Thm. 6.2.(b)]). This form then extends uniquely to a continuous quadratic form on D(H) which can be identied with a continuous operator [H; A] from D(H) to the adoint space D(H). In addition, the following relation holds in B(H) (see [, Thm. 6.2.(b)]): [(H z) ; A] = (H z) [H; A](H z) : (2.3) With this, we can now present our rst result, which is at the root of the new commutator criterion for strong mixing. For it, we recall that a net fx g 2J in a topological space X diverges to innity, with notation x!, if fx g 2J has no limit point in X. This implies that for each compact set K X, there exists K 2 J such that x =2 K for K. In particular, X is not compact. We also x the notations U (H) for the set of unitary operators on H and R + := [; ). Proposition 2.. Let fu g 2J be a net in U (H), let f`g 2J R + satisfy `!, assume there exists a self-adoint operator A in H such that U 2 C (A) for each 2 J, and suppose that the strong limit ` [A; U ]U exists. Then, lim ; U = for all 2 ker(d)? and 2 H. Before the proof, we note that for 2 J large enough (so that ` 6= ) the operators ` [A; U ]U are well-dened, bounded and self-adoint. Therefore, their strong limit D is also bounded and self-adoint. Proof. Let = D 2 D D(A) and 2 D(A), take 2 J large enough, and set D := ` [A; U ]U : Since U and U belong to C (A) (see [, Prop. 5..6(a)]), both U and U belong to D(A). Thus, ; U = (D D ) ; U + D ; U (D D ) k k + [ A; U ]U ; U (D (D ` D ) k k + ` D ) k k + ` A ; U + U AU ; U ` A k k + ka k: Since D = s-lim D and `!, we infer that lim ; U =, and thus the claim follows by the density of D D(A) in D H = ker(d)? and the density of D(A) in H. In the sequel, we assume that the unitary operators U are given by a unitary representation of a topological group X. We also assume that the scalars ` are given by a proper length function on X, that is, a function ` : X! R + satisfying the following properties (e denotes the identity of X): ` 3

4 (L) `(e) =, (L2) `(x ) = `(x) for all x 2 X, (L3) `(xy) `(x) + `(y) for all x; y 2 X, (L4) if K R + is compact, then ` (K) X is relatively compact. Remark 2.2 (Topological groups with a proper left-invariant pseudo-metric). Let X be a Hausdor topological group equipped with a proper left-invariant pseudo-metric d : X X! R + (see [6, Def. 2.A.5 & 2.A.7]). Then, simple calculations show that the associated length function ` : X! R + given by `(x) := d(e; x) satises the properties (L)-(L4) above. Examples of groups admitting a proper leftinvariant pseudo-metric are -compact locally compact Hausdor groups [6, Prop. 4.A.2], as for instance compactly generated locally compact Hausdor groups with the word metric [6, Prop. 4.B.4(2)]. The next theorem provides a general commutator criterion for the strong mixing property of a unitary representation of a topological group. Before stating it, we recall that if a topological group X is equipped with a proper length function `, and if fx g 2J is a net in X with x!, then `(x )! (this can be shown by absurd using the property (L4) above). Theorem 2.3 (Topological groups). Let X be a topological group equipped with a proper length function `, let U : X! U (H) be a unitary representation of X, let fx g 2J be a net in X with x!, assume there exists a self-adoint operator A in H such that U(x ) 2 C (A) for each 2 J, and suppose that the strong limit exists. Then, `(x ) [A; U(x )]U(x ) (2.4) (a) lim ; U(x ) = for all 2 ker(d)? and 2 H, (b) U has no nontrivial nite-dimensional unitary subrepresentation in ker(d)?. Proof. The claim (a) follows from Proposition 2. and the fact that `(x )!. The claim (b) follows from (a) and the fact that matrix coecients of nite-dimensional unitary representations of a group do not vanish at innity (see for instance [2, Rem. 2.5(iii)]). Remark 2.4. (i) The result of Theorem 2.3(a) amounts to the strong mixing property of the unitary representation U in ker(d)? along the net fx g 2J, as mentioned in the introduction. If the strong limit (2.4) exists for all nets fx g 2J with x!, then Theorem 2.3(a) implies the usual strong mixing property of the unitary representation U in ker(d)?. (ii) One can easily see that Theorem 2.3 remains true if the scalars `(x ) in (2.4) are replaced by (f `)(x ), with f : R +! R + any proper function. For simplicity, we decided to present only the case f = id R+, but we note this additional freedom might be useful in applications. Theorem 2.3 and Remark 2.2 imply the following result in the particular case of a compactly generated locally compact group X: Corollary 2.5 (Compactly generated locally compact groups). Let X be a compactly generated locally compact Hausdor group with generating set Y and word length function `, let U : X! U (H) be a unitary representation of X, let fx g 2J be a net in X with x!, assume there exists a self-adoint operator A in H such that U(y) 2 C (A) for each y 2 Y, and suppose that the strong limit `(x ) [A; U(x )]U(x ) (2.5) exists. Then, 4

5 (a) lim ; U(x ) = for all 2 ker(d)? and 2 H, (b) U has no nontrivial nite-dimensional unitary subrepresentation in ker(d)?. Proof. In order to apply Theorem 2.3, we rst note from Remark 2.2 that the word length function ` is a proper length function. Second, we note that X = n (Y [ Y ) n. Therefore, for each x 2 X there exist n, y ; : : : ; y n 2 Y and m ; : : : ; m n 2 fg such that x = y m y m. Thus, n n ( ) U(x) = U y m y m n n = U(y ) m U(y n ) m n ; and it follows from the inclusions U(y ); : : : ; U(y n ) 2 C (A) and standard results on commutator methods [, Prop & 5..6(a)] that U(x) 2 C (A). Thus, we have U(x ) 2 C (A) for each 2 J, and the commutators [A; U(x )] appearing in (2.5) make sense. So, we can apply Theorem 2.3 to conclude. Remark 2.6. Corollary 2.5 is a generalisation of [3, Thm. 3.] to the case of unitary representations of compactly generated locally compact Hausdor groups. Indeed, if we let X be the additive group Z with generating element, take the trivial net fx = g 2N = fn N 2 N g, and set U := U() in Corollary 2.5, then the strong limit (2.5) reduces to D = s-lim N! N [ A; U N] U N = s-lim N! N U n( [A; U]U ) U n ; N which is the strong limit appearing in [3, Thm. 3.]. In Corollary 2.5 we also removed the unnecessary invariance assumption (D)D(A) D(A) for each 2 C c (R n fg). So, the strong mixing properties for skew products and Furstenberg-type transformations established in [3, Sec. 3] and [4, Sec. 3] can be obtained more directly using Corollary 2.5. n= In the next corollary we consider the case of a strongly continuous unitary representation U : R d! U (H) of the Euclidean group R d, d. In such a case Stones theorem implies the existence of a family of mutually commuting self-adoint operators H ; : : : ; H d such that U(x) = e i d k= x k H k for each x = (x ; : : : ; x d ) 2 R d. Therefore, we give a criterion for strong mixing in terms of the operators H ; : : : ; H d. We use the shorthand notations H := (H ; : : : ; H d ); (H) := (H + i) (H d + i) and x H := d x k H k : Corollary 2.7 (Euclidean group R d ). Let R d, d, be the Euclidean group with Euclidean length function `, let U : R d! U (H) be a strongly continuous unitary representation of R d, let fx g 2J be a net in R d with x!, assume there exists a self-adoint operator A in H such that (H k i) 2 C (A) for each k 2 f; : : : ; dg, and suppose that the strong limit k= `(x ) ds e is(x H) (H) [ ] i(x H); A (H) e is(x H) (2.6) exists. Then, (a) lim ; U(x ) = for all 2 ker(d)? and 2 H, (b) U has no nontrivial nite-dimensional unitary subrepresentation in ker(d)?. Proof. The proof consists in applying Theorem 2.3 with A replaced by a new operator dene. Ã that we now 5

6 The inclusions (H i) ; : : : ; (H d i) 2 C (A) and the standard result on commutator methods [, Prop. 5..5] imply that (H) 2 C (A). So, we have (H) D(A) D(A), and the operator Ã := (H)A(H) ; 2 D(A); is essentially self-adoint (see [, Lemma 7.2.5]). Take 2 D(A) and 2 J such that `(x ) > for all, and dene for " 2 R n fg the operator A " := (i") (e i"a ). Then, we have Ã; U(x ) ; U(x )Ã ( = lim ; (H)A " (H) e i(x H) ; e i(x H) (H)A " (H) ) "& = lim "& `(x ) = `(x ) lim "& d dq dq `(x ) ; e i(q dq ; e i(q `(x ))(x H)=`(x ) (H)A " (H) e iq(x H)=`(x ) `(x ))(x H)=`(x ) (H) [ ] i(x H); A " (H) e iq(x H)=`(x ) : (2.7) But, (H i) ; : : : ; (H d i) 2 C (A). Therefore, (2.2) and (2.3) imply that s-lim "& (H) [ i(x H); A " ] (H) = (H) [ i(x H); A] (H) ; and we can exchange the limit and the integral in (2.7) to obtain Ã; U(x ) ; U(x )Ã with = `(x ) = `(x ) `(x ) `(x ) dq ; e i(q `(x ))(x H)=`(x ) (H) [ i(x H); A] (H) e iq(x H)=`(x ) dr ; e ir (x H)=`(x ) (H) [ i(x H); A] (H) e i(r `(x ))(x H)=`(x ) = ds ; e is(x H) (H) [ i(x H); A] (H) e is(x H) U(x ) = ; `(x )D U(x ) D := `(x ) ds e is(x H) (H) [ i(x H); A] (H) e is(x H) : Since D(A) is a core for Ã, this implies that U(x ) 2 C (Ã) with [ Ã; U(x ) ] = `(x )D U(x ). Therefore, we have D = [Ã; U(x ) ] U(x ) ; `(x ) and all the assumptions of Theorem 2.3 are satised with A replaced by Ã. Remark 2.8. Corollary 2.7 is a generalisation of [3, Thm. 4.] to the case of strongly continuous unitary representations of R d for an arbitrary d. Indeed, if we set d =, write H for H, and take the trivial net fx = g 2(;) = ft t > g in Corollary 2.7, then the strong limit (2.6) reduces to D = s-lim t! = s-lim t! t t t ds e ( ) is(th) [ ]( H + i ith; A H ) i e is(th) ds e ( ) ish [ ]( H + i ih; A H i) e ish ; 6

7 which is (up to a sign) the strong limit appearing in [3, Thm. 4.]. In Corollary 2.7, we also removed the unnecessary invariance assumption (D)D(A) D(A) for each 2 C c (R n fg). So, the strong mixing properties for adacency operators, time changes of horocycle ows, etc., established in [3, Sec. 4] can be obtained more directly using Corollary 2.7. To conclude, we add to the list of examples presented in [3] an application which was not possible to cover with the results of [3]. It is a short alternative proof (not using convolutions) of the strong mixing property of the left regular representation of -compact locally compact Hausdor groups: Example 2.9 (Left regular representation). Let X be a -compact locally compact Hausdor group with left Haar measure and proper length function ` (see Remark 2.2). Let D H be the set of functions X! C with compact support, and let U : X! U (H) be the left regular representation of X on H := L 2 (X; ) given by U(x) := (x ); x 2 X; 2 H; Let nally A be the maximal multiplication operator in H given by For 2 D and x 2 X, one has A := ` `(); 2 D(A) := { 2 H k` k < } : AU(x) U(x)A = (`() `(x ) ) U(x): Furthermore, the properties (L2)-(L3) of a length function imply that (`() `(x ) ) `(x): (2.8) Therefore, since D is dense in D(A), it follows that U(x) 2 C (A) with [A; U(x)]U(x) = `() `(x ): Now, we take fx g 2J a net in X with x!, and show that `(x ) [A; U(x )]U(x ) = : (2.9) For this, we rst note that for 2 H we have ( ) `() `(x ) + `(x `(x ) [A; U(x )]U(x ) ) + = `(x ) Next, we note that (2.8) implies that `() `(x ) + `(x ) `(x ) and that the properties (L2)-(L3) imply that `() `(x 2 ) + `(x ) lim `(x ) lim 2 2 `() `(x ) L (X; ); 2 : = -almost everywhere. Therefore, we can apply Lebesgue dominated convergence theorem to get the equality ( ) s-lim `(x ) [A; U(x )]U(x ) + = ; which proves (2.9). So, Theorem 2.3 applies with D =, and thus lim ; U(x ) = for all ; 2 H. 7

8 References [] W. O. Amrein, A. Boutet de Monvel, and V. Georgescu. C -groups, commutator methods and spectral theory of N-body Hamiltonians, volume 35 of Progress in Mathematics. Birkhauser Verlag, Basel, 996. [2] M. B. Bekka and M. Mayer. Ergodic theory and topological dynamics of group actions on homogeneous spaces, volume 269 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2. [3] V. Bergelson and J. Rosenblatt. Mixing actions of groups. Illinois J. Math., 32():65{8, 988. [4] P. A. Cecchi and R. Tiedra de Aldecoa. Furstenberg transformations on cartesian products of innite-dimensional tori. Potential Analysis, Online First:{9, 25. [5] R. Cluckers, Y. Cornulier, N. Louvet, R. Tessera, and A. Valette. The Howe-Moore property for real and p-adic groups. Math. Scand., 9(2):2{224, 2. [6] Y. de Cornulier and P. de la Harpe. Metric geometry of locally compact groups. preprint on [7] C. Fernandez, S. Richard, and R. Tiedra de Aldecoa. Commutator methods for unitary operators. J. Spectr. Theory, 3(3):27{292, 23. [8] R. E. Howe and C. C. Moore. Asymptotic properties of unitary representations. J. Funct. Anal., 32():72{96, 979. [9] A. Lubotzky and S. Mozes. Asymptotic properties of unitary representations of tree automorphisms. In Harmonic analysis and discrete potential theory (Frascati, 99), pages 289{298. Plenum, New York, 992. [] K. Schmidt. Asymptotic properties of unitary representations and mixing. Proc. London Math. Soc. (3), 48(3):445{46, 984. [] R. Tiedra de Aldecoa. The absolute continuous spectrum of skew products of compact lie groups. to appear in Israel J. Math., preprint on [2] R. Tiedra de Aldecoa. Spectral analysis of time changes of horocycle ows. J. Mod. Dyn., 6(2):275{ 285, 22. [3] R. Tiedra de Aldecoa. Commutator criteria for strong mixing. Ergodic Theory and Dynamical Systems, FirstView:{6, 25. [4] R. Tiedra de Aldecoa. Commutator methods for the spectral analysis of uniquely ergodic dynamical systems. Ergodic Theory Dynam. Systems, 35(3):944{967, 25. [5] R. J. Zimmer. Ergodic theory and semisimple groups, volume 8 of Monographs in Mathematics. Birkhauser Verlag, Basel,

Furstenberg Transformations on Cartesian Products of Infinite-Dimensional Tori

Potential Anal 2016 44:43 51 DOI 10.1007/s11118-015-9497-y Furstenberg Transformations on Cartesian Products of Infinite-Dimensional Tori P. A. Cecchi 1 Rafael Tiedra de Aldecoa 2 Received: 10 February