Владикавказский математический журнал Апрель-июнь, 2003, Том 5, Выпуск 2
УДК 517.98
ON NEVEU DECOMPOSITION AND ERGODIC TYPE THEOREMS FOR SEMI-FINITE VON NEUMANN ALGEBRAS
G. Ya. Grabarnik, A. A. Katz
Some ergodic type theorems for automorphisms of semi-finite von Neumann algebras are considered. Neveu decomposition is employed in order to prove stochastical convergence. This work is a generalization of authors results from [5] to the case of semi-finite von Neumann algebras.
1. Introduction and Notations
This work is devoted to some results concerning ergodic type theorems for semi-finite von Neumann algebras. The first results in this field were obtained by Sinai and Anshelevich [17] and Lance [14]. Developments of the subject are reflected in the monographs of Jajte [7] and Krengel [13].
The notion of a weakly wandering set (in commutative context) was introduced by Hajian and Kakutani [9] in order to establish conditions which are equivalent to the existence of finite invariant measures. The non-commutative case was first considered by Jajte [7], and later, for the case of finite von Neumann algebras, by Grabarnik and Katz [5] and Katz [2].
In section 2 we consider Neveu decomposition which gives a characterization of the existence of the invariant measures in terms of a weakly wandering operator.
Section 3 is devoted to a presentation of the Krengel's Stochastic Ergodic Theorem for the actions of an automorphism on semi-finite von Neumann algebra [4].
In section 4 we consider a multiparametric version of the Stochastic Ergodic Theorem
f5, 2].
Remark 1. The Multiparametric Superadditive Stochastic Ergodic Theorem will be separately presented in the forthcoming paper [6].
We use the following notations: everywhere below M is assumed to be a a-finite von Neumann algebra with semi-finite faithful normal trace r (semi-finite algebra), A/„, is a predual of M, and M* is the Banach dual space to M.
1 denotes the unit of M. For p £ A/,„. the support of p will be denoted by S(p).
Let a be an automorphism of algebra M, and let a* be an operator acting in A/,„. to which a is conjugated.
By An (AJ) we denote the Cesaro average of a (a*).
© 2003 Grabarnik G. Ya., Katz A. A.
6
G. Ya.. Gra.ba.rnik, A. A. Katz
2. Neveu Decomposition and the Weakly Wandering Operator
Definition 1. An operator h G M| is said to be a weakly wandering operator, if
\\Anh\\ 0 when n oo. The following theorem is valid:
Theorem 1. Let A/, a and r be as defined above. The following conditions are equivalent:
(i) There exists an ck*-invariant normal state p on M with support S(p) = E, t(E) < oo, such that the support of every ck*-invariant normal state p is less then or equal to E; in symbols
S(p) <
(ii) is the maximal projection such that for every projection P ^ E, P G M,
inf r(a"P) > 0.
n
(iii) There exists a weakly wandering operator ho G M+ with support
S(ho) = 1 — E
such that the support of every weakly wandering operator is less then or equal to 1 — E. It follows immediately from the theorem, that:
Corollary 1 (Neveu Decomposition). Let a be an automorphism of von Neumann algebra M with a-invariant semi-finite normal trace r. Then there exist projections Ej and E->.
El+E2 = l (1)
such that:
(i) There exists an ck*-invariant normal state p with support S(p) = E\,
(ii) There exists a weakly wandering operator h G M with S(h) = E->.
3. Stochastic Ergodic Theorem
The space A/„, of normal functionals on von Neumann algebra M with a-invariant semi-finite normal trace r is naturally identified with the space L\ (M, r) of locally measurable operators, each affiliated to M and integrable with modulus. Action a' is defined as an operator conjugated to a with respect to duality:
t(o'X ■ y) = t(X ■ ay) (X G ¿i(M,r), y G M).
Definition 2. A sequence {Xn} of measurable operators is said to converge stochastically to operator Xq, if for every e > 0,
r({\Xn — Xo| > e}) —0 when n —oo.
Theorem 2 (Stochastic Ergodic Theorem). Let a be an automorphism of von Neumann algebra M with a-invariant semi-finite normal trace r. Then for X G L\ {M,t), the Cesa.ro averages .4'" A" converge stochastically to X G L\(M, r). The limit X is a'-invariant and
l>2 X l>2 = 0
(2)
(where /-A. is a projection from Neveu decomposition (1)).
To prove the Theorem (2), we need the following variant of non-commutative Individual Ergodic Theorem:
Theorem 3 (Individual Ergodic Theorem). Let M be a von Neumann algebra with ainvariant semi-finite normal trace t, t(1) = 1. Let a be an automorphism of M, p be a normal faithful state on M,
p o a = p.
Then for every p £ A/„, there exists an a^-invariant normal functional JJ such that for every e > 0 there exists a projection E £ M with r(l — E) < e and
sup \(A™p -JI) (x)/t(x) | —0 when n —oo. xeEM+E
x^O
Let (Hp,irp,iM) be a representation of algebra M constructed by a faithful normal state p. Then 9Jt is a von Neumann algebra isomorphic to M. Let a be an image of automorphism a and a' be an associated transformation on 9Jt':
1.1V ■ Yil. fi) = (X ■ a'YQ, <>). X em, Y £ M,
where Q is a bicyclic vector with (Xil, Q) = p(X), X £ 9Jt.
The following theorem is a variant of the Maximal Hopf Lemma.
Theorem 4 (Maximal Hopf Lemma). Let p. £ QJt be a Hermitian functional and e > 0 be such that ||/i|| < 1. Then, for a fixed N there exists a projection E £ 9Jt, p(E-1) < ||/i|| such that
sup \(An(a*, p) (x)/p(x)| < ii 1.2.....N.
xeEM+E
x^O
4. Multiparametric Stochastic Ergodic Theorem (the case of d-commuting automorphisms)
Now we will consider the case of d-commuting automorphisms. Let d ^ 1 be a natural number and ¥ = {0,1, 2,... }d be an additive semigroup of <i-dimentional vectors with natural coordinates. For u = («¿), v = (vi) £ ¥, relation u ^ v (u > v) means U{ ^ V{ (U{ > Vi) for % = 1,..., d. By [u, v[ we denote the set {w £ ¥ : u ^ w < v\. For the finite set B let card(B) or \B\ means the number of elements of B. For n = (ni,..., n^) £ ¥ let
d
n(n) = = |[0,n[| .
v=l
For n £ ¥ and operators /3\, ■ ■ ■, /3d,
Pn = fti1P22 ■ ■ ■ d' = /3«; An = 7r(n) 1 Sn;
u£[o,n[
8
G. Ya. Gra.ba.rnik, A. A. Katz
expression n —oo means that tends to infinity independently for v = 1,2,...,d. Let «1, «2, ■ ■ ■ 5 «d be automorphisms of algebra M.
Definition 3. An operator /, e A/1 is called a weakly wandering if
II^IL 0 when rw oo.
Definition 4. A multisequence {In}„£v of measurable operators affiliated with M is said to converge stochastically to operator X$, if for every e > 0,
Ti{\Xn — -X"o| > 0}) —0
holds when the multiindex n —oo. The following theorem is valid:
Theorem 5. Let ai, ■ ■ ■, ay be commuting automorphisms on von Neumann algebra M with faithful normal semi-finite trace r. The following conditions are equivalent:
(i) There exists an ck*¿-invariant normal state p on M with support E such that the support of every normal state does not exceed E (i = 1,2,... ,d).
(ii) There exists a weakly wandering operator ho € M+ with support 1 — E such that the support of every weakly wandering operator does not exceed 1 — E.
Moreover,
d d E = /\Ef, 1 — E = \J (1 — Ej).
i=1 i=1
where E{ is the «maximal» support of the invariant normal states of the automorphism ai, i = 1,2,... ,d. The following Stochastic Multiparametric Ergodic Theorem is valid:
Theorem 6 (Stochastic Multiparametric Ergodic Theorem). Let oii be automorphisms of semi-finite von Neumann algebra M with semi-finite weight t, % = 1,2 ,...,d. Then for X € Li(M, t), the averages .4„,„ A" converge stochastically to X € ¿i(M, r), where n = {ni,n,2;... ,n<i). The limit X is ««-invariant and
EX E = 0,
where
d
E=\/(l^Et), i=1
and Ei are projections that were constructed by Theorem 5. The proof of the above theorem is based on the following:
Theorem 7. Let M be a semi-finite von Neumann algebra, ai be automorphisms of algebra M, i = 1, 2,..., d; r be a normal semi-finite on-invariant trace and p be a faithful normal on-invariant (i = 1,2,...,d) state on M. Then for every p £ A/,„ there exists an ai-invariant functional ~p such that for every e > 0 there exists a projection
E (EM, t{El) < e-
moreover, \\A™ ^p\h —0 and
sup — p)(x)/t(x)\ —0 when the multiindex n oo.
xeEM+E
x^O
Let Pj, be а. map:
v lim AkHu.
k—>00
The map Pi is a projection on the set of a^-stationary points and
-jj = pd ■ pd_x.....
References
1. Akcoglu M., Sucheston L. A stochastic ergodic theorem for superadditive precesses j j Ergodic Theory and Dynamical Systems.—1983.—V. 3.—P. 335-344.
2. Cunze J. P., Dang-Nqoc N. Ergodic theorems for non-commutative dynamical systems jj Inventiones Mathematicae—1978—V. 46—P. 1-15.
3. Goldstein M. S., Grabamik G. Ya. Almost sure convergence theorems in von Neumann algebras j j Israel J. Math.—1991,—V. 76.-P. 161-182.
4. Dixmier J. Les algebres d'operateurs dans 1'espace hilbertien (algebres de von Neumann).—Paris: Gauthier-Villar, 1969.—367 s.
5. Grabamik G. Ya., Katz A. A. Ergodic type theorems for finite von Neumann algebras jj Israel J. Math.—1995.—V. 90.—P. 403-422.
6. Grabamik G. Ya., Katz A. A. On multiparametric superadditive stochastic ergodic theorem for semi-finite von Neumann algebras / to appear.
7. Jajte R. Strong limit theorem in non-commutative probability j j Lecture Notes in Math.—V. 1110.— Berlin: Spring-Verlag, 1985.—162 p.
8. Jajte R. On the existence of invariant states in W'*-algebras jj Bull. Polish Acad. Sci.—1986,—V. 34,— P. 617-624.
9. Hajian A., Kakutani S. Weakly wandering sets and invariant measures jj Trans. Amer. Math. Soc.— 1964.-V. 110.-P. 131-151.
10. Katz A. A. Ergodic type theorems in von Neumann algebras.—Ph. D. Thesis.—Pretoria: University of South Africa, 2001.—84 p.
11. Kingman J. F. C. Subadditive ergodic theory jj Annals of Probability.—1973,—V. 1.—P. 883-909.
12. Kovacs I., Sztics J. Ergodic type theorem in von Neumann algebras jj Acta Scientiarum Mathematicarum (Szeged).—1966,—V. 27,—P. 233-246.
13. Krengel U. Ergodic Theorems de Greuter.—Berlin, 1985.
14. Lance E. G. Ergodic theorems for convex sets and operator algebras jj Inventiones Mathematicae.—
1976.-V. 37.-P. 201-214.
15. Petz D. Ergodic theorems in von Neumann algebras jj Acta Scientiarum Mathematicarum (Szeged).— 1983.—V. 46.—P. 329-343.
16. Segal I. E. A non-commutative extension of abstract integration jj Archiv der Math.—1953,—V. 57,— P. 401-457.
17. Синай Я. Г., Аишелевич В. В. Некоторые проблемы некоммутативной эргодической теории jj Успехи мат. наук,—1976,—Т. 32,—С. 157-174.
18. Takesaki М. Theory of Operator Algebras. I.—Berlin: Springer-Verlag, 1979,—vii+415 p.
19. Yeadon F. J. Convergence of measurable operators jj Math. Proc. Cambridge Philos. Soc.—1973.— V. 74.-P. 257-269.
20. Yeadon F. J. Ergodic theorems for semi-finite von Neumann algebras, I j j J. London Math. Soc.—
1977.—V. 16.—P. 326-332.
21. Yeadon F. J. Ergodic theorems for semi-finite von Neumann algebras, II jj Math. Proc. Cambridge Philos. Soc.-1980.-V. 88.-P. 135-147.
Статья поступила 11 апреля, 2003 Dr. Genady Ya. Grabarnik,
IBM T.J. Watson Research Center, 19 Skyline Dr., Hawthorne, NY 10510, USA. E-mail: genady@us.ibm.com
Alexander A. Katz, Ph.D.
Department of Mathematics & CS, St. John's University, 300 Howard Ave., Staten Island, NY 10301, USA. E-mail: katza@stjohns.edu