Dynamical Systems on Hilbert C *   -Modules *   *   2000 Mathematics Subject Classification. Primary 47D03; secondary 46L08, 46L05. Keywords and phrases. Hilbert C *   -module, semigroup of operators, dynamical system, generalized derivation.

Gh. Abbaspour, M. S. Moslehian and A. Niknam

Abstract
We investigate the generalized derivations and show that every generalized derivation on a simple Hilbert C *   -module either is closable or has a dense range. We also describe dynamical systems on a full Hilbert C *   -module M   over a C *   -algebra A   as a one-parameter group of unitaries on M   and prove that if α   is such a dynamical system, then we can associate a C *   -dynamical system α   on A   such that if δ   and d   are the infinitesimal generators of α   and α   respectively, then δ   is a d   -generalized derivation.

1 Introduction.

A Hilbert C *   -module over a C *   -algebra A   is an algebraic left A   -module M   equipped with an A   -valued inner product < . , . >   which is A   -linear in the first and conjugate linear in the second variable such that M   is a Banach space with respect to the norm x = < x , x > 1 / 2   . The Hilbert module M   is called full if the closed linear span < M , M >   of all elements of the form < x , y > , x , y M   is equal to A   .
Hilbert C *   -modules are first introduced and investigated by I. Kaplansky [7   , M. Rieffel [16   and W. Paschke [14   . Hilbert C *   -modules play an essential role in operator algebras [15   , KK-Theory [6   , operator spaces [3   , quantum group theory [18   , Morita equivalence [16   and so on. They are a generalization of Hilbert spaces, but there are some differences between these two classes. For example, each operator on a Hilbert space has an adjoint, but a bounded A   -module map on a Hilbert A   -module is not adjointable in general [8   .
The general theory of dynamical systems is the paradigm for modeling and studying phenomena that undergo spatial and temporal evolution. The application of dynamical systems has nowadays spread to a wide spectrum of disciplines including physics, chemistry, biochemistry, biology, economy and even sociology. In particular, theory of C *   -dynamical systems concerns the theory of derivations in C *   -algebras and is motivated by questions in quantum physics and statistical mechanics.
In this paper We investigate the generalized derivations This notion was first appeared in the context of operator algebras [9   . Later, it was introduced in the framework of pure algebra [5   . Recently the stability of these maps are investigated by the second author [11   .
We shall show that every generalized derivation δ   on a simple Hilbert C *   -module M   either is closable or has a dense range in M   .
We also describe dynamical systems on a full Hilbert C *   -module M   over a C *   -algebra A   as a one-parameter group of unitaries on M   and prove that if α   is such a dynamical system, then we can associate a C *   -dynamical system α   on A   such that if δ   and d   are the infinitesimal generators of α   and d   respectively, then δ   is a d   -generalized derivation.
The reader is referred to [8   and [15   for more details on Hilbert C *   -modules and to [17   formore information on C *   -dynamical systems.

2 Preliminaries.

Throughout this section M   and N   are assumed to be Hilbert modules over C *   -algebras A   and B   respectively, and φ : A B   is a morphism of C *   -algebras.
A map Φ : M N   is said to be a φ   -morphism of Hilbert C *   -modules if < Φ ( x ) , Φ ( y ) > = φ ( < x , y > ) ( x , y M )   Applying the polarization we can immediately conclude that Φ   is a φ   -morphism if and only if < Φ ( x ) , Φ ( x ) > = φ ( < x , x > )   for all x M   . Each φ   -morphism is necessarily a linear operator since for any x , y , z M   and α C   we have < Φ ( α x + y ) , Φ ( z ) > = α φ ( < x , z > ) + φ ( < y , z > ) = α < Φ ( x ) , Φ ( z ) > + < Φ ( y ) , Φ ( z ) >   and hence < Φ ( α x + y ) α Φ ( x ) Φ ( y ) , Φ ( z ) > = 0   for all z M   . If we replace z   with x , y   and α x + y   then we can infer that < Φ ( α x + y ) α Φ ( x ) Φ ( y ) , Φ ( α x + y ) α Φ ( x ) Φ ( y ) > = 0   Thus Φ ( α x + y ) α Φ ( x ) Φ ( y ) = 0   and therefore Φ ( α x + y ) = α Φ ( x ) + Φ ( y )   . Simillary every φ   -morphism is necessarily a module map in the sense that Φ ( a x ) = φ ( a ) Φ ( x )   for all x M   and for all a A   .
Further, let ψ : B C   be a morphism of C *   -algebras and let Q   be a Hilbert C *   -module over C   . If Φ : M N   is a φ   -morphism and Ψ : N Q   is a ψ   -morphism, then obviously Ψ Φ : M Q   is a ψ φ   -morphism of Hilbert C *   -modules. By following [2   we call a map Φ : M N   a unitary operator if there exists an injective morphism of C *   -algebras φ : A B   such that Φ   is a surjection φ   -morphism.
Remark 2.1.
(i) If Φ : M N   be a φ   -morphism of Hilbert C *   -modules and φ   is injective then Φ   is an isometry; cf. [2   . Thus each unitary operator of Hilbert C *   -modules is necessarily an isometry.
(ii) It is known [2   that if Φ : M N   be a φ   -morphism of Hilbert C *   -modules then I m Φ   is a closed subspace of N and a Hilbert C *   -module over the C *   -algebra I m φ B   such that < I m Φ , I m Φ > = φ ( < M , M > )   . Moreover if Φ   is surjective, and if N   is a full B   -module, then φ   is also a surjection. Thus if Φ   is a unitary then it is surjective and hence < N , N > = φ ( < M , M > ) < M , M >   . If in addition N   is a full Hilbert B   -module, then φ   is also surjective and so is an isomorphism of C *   -algebras.
Example 2.2. Let H   be a Hilbert space. Then H   can be regarded as a K ( H )   -module by T . x = T ( x ) ( T K ( H ) , x H )   . If we define a K ( H )   -inner product on H   by < x , y > = x y x , y H   , where x y ( z ) = ( z , y ) x z H   and ( . , . )   denotes the complex inner product on H   , then H   can be regarded as a Hilbert C *   -module over K ( H )   . In this case, U : H H   is a unitary as an operator on Hilbert space H   if and only if U   is a unitary operator as above definition on Hilbert K ( H )   -module H   . This is a consequence of the facts that < U ( x ) , U ( y ) > = U ( x ) U ( y ) = U ( x y ) U *   , and that A d U : K ( H ) K ( H )   defined by A d U ( V ) = U V U * , V K ( H )   is a *   -isomorphism and each *   -isomorphism on K ( H )   is of this form; cf. [12   .
We denote by U ( M )   the group of all unitary operators of M   onto M   . If M   is full and α : M M   is a unitary operator then by Remark 2.1.ii there is a *   -isomorphism α : A A   such that α   is a α   -morphism.
We end this section with the following useful lemma which can be found in [1   and [10   .
Lemma 2.3. Let M   be a full Hilbert module over the C *   -algebra A   and let a A   . Then a = 0   if and only if a x = 0   for all x M   .

3 Generalized Derivation

This section is devoted to study of generalized derivations. Our aim is to show that every generalized derivation δ   on a simple Hilbert C *   -module either is closable or has a dense range.
Definition 3.1. Let M   be full Hilbert A   -module. A linear map δ : D ( δ ) M M   , where D ( δ )   is a dense subspace of M   , is called a generalized derivation if there exists a mapping d : D ( d ) A   , where D ( d )   is a dense subalgebra of A   such that D ( δ )   is an algebraic left D ( d )   -module, and δ ( a x ) = a δ ( x ) + d ( a ) x   for all x D ( δ )   and all a D ( d )   .
In this case d   must be a derivation since for any a , b D ( d )   and x D ( δ )   we have δ ( a b x ) = a b δ ( x ) + d ( a b ) x   .
On the other hand δ ( a b x ) = δ ( a ( b x ) ) = a δ ( b x ) + d ( a ) b x = a b δ ( x ) + a d ( b ) x + d ( a ) b x   .
So ( d ( a b ) ( a d ( b ) + d ( a ) b ) x = 0   for all x D ( δ )   . D ( δ )   is dense in M   thus by lemma 2.3 we obtain d ( a b ) = a d ( b ) + d ( a ) b   .
Similarly we can show d   is linear so d : D ( d ) A A   is a derivation. Sometimes we call δ   a d   -derivation.
Denote by G D e r ( M )   the set of all generalized derivations on M   then it is easy to see that G D e r ( M )   is a linear space. In fact if δ 1 , δ 2 G D e r ( M )   , δ 1   is a d 1   -derivation and δ 2   is a d 2   -derivation, then α δ 1 + β δ 2   is a α d 1 + β d 2   -derivation and so α δ 1 + β δ 2 G D e r ( M )   .
Also the Lie product [ δ 1 , δ 2 ]   is [ d 1 , d 2 ]   -derivation , so [ δ 1 , δ 2 ] G D e r ( M ) .   Now we show a similar result as in [13   for generalized derivations:
Theorem 3.2. Let M   be a simple full Hilbert C *   -module in the sense that it has no trivial left A   -module and let δ : D ( δ ) M M   be a d   -derivation. Then either δ   is closable or the range of δ   is dense in M   .
Proof. Let σ ( δ )   be the separating space of δ   that is σ ( δ ) = { x M ; t h e r e i s a s e q u e n c e ( x n ) i n D ( δ ) w i t h x n 0 , δ ( x n ) x }   It is obvious that σ ( δ )   is closed subspace of M   . We show that σ ( δ )   is a left submodule of M   . Let a A , x σ ( δ )   thus there exists a sequence ( x n ) D ( δ )   such that x n 0   and δ ( x n ) x   so we have a x n 0   and δ ( a x n ) = a δ ( x n ) + d ( a ) x n a x   So a x σ ( δ )   . By the hypothesis σ ( δ ) = { 0 }   or σ ( δ ) = M   . Therefore δ   is closable or range δ   is dense in M .  

4 Dynamical Systems On Full Hilbert C *   -Modules

We start this section with a basic definition. From now on let us M   denote a full Hilbert module over the C *   -algebra A   .
Definition 4.1. Let M   be a full Hilbert A   -module. A map α   from the real line R   to U ( M )   which maps t   to α t   is said to be a one-parameter group of unitaries if (i) α 0 = I   (ii) α t + s = α t α s ( t , s R )   Further, α   is said to be strongly continuous one-parameter group of unitaries if, in addition, for every x M , α t ( x ) x   when t tends to zero. In this case we call α   a dynamical system on M   .
We can define the infinitesimal generator of a dynamical system as follows:
Definition 4.2. Let α : R U ( H )   be a dynamical system on M   , we define the infinitesimal generator δ   of α   as a mapping δ : D ( δ ) M M   where D ( δ ) = { x M ; lim t 0 α t ( x ) x t e x i s t s }   and δ ( x ) = lim t 0 α t ( x ) x t , x D ( δ )   Now we are ready to prove the main theorem of this paper:
Theorem 4.3. Let M   be a full Hilbert A   -module and α   be a dynamical system on M   and δ   be the infinitesimal generator of α   then D ( δ )   is a dense subspace of M   and there exists a derivation d : D ( d ) A A   such that D ( δ )   is a left D ( d )   -module and δ ( a x ) = a δ ( x ) + d ( a ) x , a D ( d ) , x D ( δ )   Proof. By Hille-Yosida theorem [4   , D ( δ )   is a dense subspace of M   . Since α   is a dynamical system on M   then for each t R   , the mapping α t : M M   is a unitary. So there exists *   -isomorphism α t : A A   such that < α t ( x ) , α t ( y ) > = α t ( < x , y > )   and hence α t ( a x ) = α t ( a ) α t ( x ) ( a A , x M ) .   Now we show that α : R A u t ( A )   is a C *   -dynamical system. For each a A , x M   we have a x = α 0 ( a x ) = α 0 ( a ) α 0 ( x ) = α 0 ( a ) x   thus by lemma 2.3 α 0 ( a ) = a   for all a A   .
Therefore α 0 = I   .
Also for all t , s R   we have α t + s ( a ) α t + s ( x ) = α t + s ( a x ) = α t ( α s ( a x ) ) = α t ( α s ( a ) α s ( x ) ) = α t ( α s ( a ) ) α t ( α s ( x ) ) = α t ( α s ( a ) ) α t + s ( x )   and so α t + s ( a ) = α t ( α s ( a ) )   , thus α t + s = α t α s .   Since for each x M   , α t ( x ) x   as t 0   we have α t ( a ) x a x α t ( a ) x α t ( a ) α t ( x ) + α t ( a ) α t ( x ) a x   thus lim t 0 α t ( a ) x = a x   for all x M   . So that lim t 0 α t ( a ) = a   .
Therefore α : R A u t ( A )   is a C *   -dynamical system on A   .
If d   is the infinitesimal generator of α   then for each a D ( d ) , x D ( δ )   we have
lim t 0 α t ( a x ) a x t = lim t 0 a α t ( x ) a x t + lim t 0 α t ( a ) α t ( x ) a α t ( x ) t
= a lim t 0 α t ( x ) x t + lim t 0 α t ( a ) a t α t ( x )
= a δ ( x ) + d ( a ) x
So a x D ( δ )   , δ ( a x ) = a δ ( x ) + d ( a ) x   . Furthermore D ( δ )   is a left D ( d )   -module.   Example 4.4. Let H   be a Hilbert space and T B ( H )   be a self adjoint operator.
By Stone's theorem there is a one-parameter group of unitaries t α t ( α t B ( H ) )   which its infinitesimal generator is i T   . By Example 2.2 this is a dynamical system on Hilbert K ( H )   -module H   with associated dynamical system t α t   where α t ( V ) = α t V α t *   . Here α t *   denotes the adjoint of α t   in B ( H )   . If δ   and δ   are infinitesimal generators of α   and α   respectively then δ = i T   and by theorem 4.3 we have δ ( V . x ) = V . δ ( x ) + δ ( V ) . x   and hence δ ( V ( x ) ) = V ( δ ( x ) ) + δ ( V ) ( x )   . Thus δ ( V ) ( x ) = δ ( V ( x ) ) V ( δ ( x ) ) = i T ( V ( x ) ) i V ( T ( x ) ) .   So δ ( V ) = i ( T V V T ) = i [ T , V ] , V D ( δ )   The density of D ( δ )   in K ( H )   and the fact that δ   has no proper extension implies that δ ( V ) = i [ T , V ] , V K ( H )   . References

  1. M. Amyari and A. Niknam, A note on finsler modules, Bull. Iran. Math. Soc. Vol. 29 No. 1 (2003), 77-81.
  2. D. Bakič and B. Guljaš, On class of module maps of Hilbert C *   -modules. Math. Commun.,7,(2002), 177-192.
  3. E. G. Effros, Z. J. Ruan, Operator spaces. London Mathematical Society Monographs. New Series, 23. The Clarendon Press, Oxford Univ. Press, New York, 2000.
  4. E. Hille and R. Phillips, Functional Analysis and Semi-groups, Proc. of Symp. in Pure Math., vol 31, Amer. Math. Soc., Rhode Island, 1957.
  5. B. Hvala, Generalized derivations in rings, Comm. Algebra 26 (1998), 1147-1166.
  6. K.K. Jensen and K. Tomsen, Elements of KK-Theory, Birkhauser, Boston-Basel-Berlin, 1991.
  7. I. Kaplansky, Modules over operator algebras, Amer. J. Math. 75 (1953), 839-853.
  8. E. C. Lance, Hilbert C *   -Modules, LMS Lecture Note Series 210, Cambridge Univ. Press, 1995.
  9. M. Mathieu, Elementary Operators and Applications, Proceeding of the International Workshop, World Scientific, Singapore, 1992.
  10. M. S. Moslehian, On full Hilbert C *   -modules. Bull. Malaysian Math. Soc. 24(2001), 45-47.
  11. M. S. Moslehian, Hyers–Ulam–Rassias stability of generalized derivations, arXiv:math.FA/0501012.
  12. G. J. Murphy, C *   -algebras and Operator Theory, Academic Press, 1990.
  13. A. Niknam, Closable derivations of simple C *   -algebras. Glasgow Math. J. 24(1983)181-183.
  14. W. L. Paschke, Inner product modules over B *   -algebras, Trans Amer. Math. Soc. 182 (1973),443-468.
  15. I. Raeburn and D.P. Williams, Morita equivalence and continuous-trace C *   -algebras, Mathematical surveys and Monographs AMS 60, 1998.
  16. M. A. Rieffel, Morita equivalence representations of C *   -algebras, Adv. in Math., 13 (1974), 176-257.
  17. S. Sakai, Operator Algebra in Dynamical Systems. Cambridge Univ. press, 1991.
  18. S. L. Woronowicz, compact quantum groups, Symetrics quantiques(Les ouches, 1995), 845-884, North Holland, Amsterdum, 1998.

Address: Dept. of Math., Ferdowsi Univ., P. O. Box 1159, Mashhad, Iran Gholamreza Abbaspour Tabadkan, tabadkan@math.um.ac.ir Mohammad Sal Moslehian, msalm@math.um.ac.ir Assadollah Niknam, niknam@math.um.ac.ir