Induction of representations in deformation quantization

Henrique BursztynE-mail: henrique@math.toronto.edu Department of Mathematics University of Toronto 100 St. George Street Toronto, Ontario, M5S 3G3 Canada Stefan WaldmannE-mail: Stefan.Waldmann@physik.uni-freiburg.de Fakultät für Mathematik und Physik Albert-Ludwigs-Universität Freiburg Physikalisches Institut Hermann Herder Straße 3 D 79104 Freiburg Germany

April 2005 Contribution to the Proceedings of the Keio Workshop 2004

Abstract
We discuss the procedure of Rieffel induction of representations in the framework of formal deformation quantization of Poisson manifolds. We focus on the central role played by algebraic notions of complete positivity.

1 Introduction

In this note we describe how various concepts and constructions in the theory of C *   -algebras carry over to the purely algebraic setting of formal deformation quantization of Poisson manifolds. Our discussion centers around the construction of induced representations, due to Rieffel in the framework of C *   -algebras [15] , and its interplay with notions of complete positivity.
Although this note is mostly expository, we highlight some aspects of the theory that we have not made explicit before.
Deformation quantization [1] is a procedure to construct algebras of quantum observables associated with classical systems. More precisely, a classical phase space is a Poisson manifold ( M , { ⋅ , ⋅ } )   and its quantization is a formal associative deformation ◆   , also called a star product, of the classical observable algebra C ∞ ( M )   in the direction of the Poisson bracket. Here C ∞ ( M )   denotes the algebra of complex-valued smooth functions on M   and ◆   is a C [ [ λ ] ]   -bilinear associative multiplication on C ∞ ( M ) [ [ λ ] ]   given by
f ◆ g = ∑ r = 0 ∞ λ r C r ( f , g ) , (1)
where C 0 ( f , g ) = f g   , C 1 ( f , g ) − C 1 ( g , f ) = i { f , g }   , 1 ◆ f = f = f ◆ 1   and all C r   are bidifferential operators. The formal parameter λ   satisfies λ ¯ = λ   and plays the role of Planck's constant ħ   . We require ◆   to be a Hermitian star product, in the sense that f ◆ g ¯ = g ¯ ◆ f ¯   , so that the C [ [ λ ] ]   -algebra ( C ∞ ( M ) [ [ λ ] ] , ◆ )   acquires a *   -involution given by pointwise complex conjugation.
Other quantum mechanical concepts can be defined in deformation quantization analogously to the usual C *   -algebraic approach to quantum theory. The starting point is to regard R [ [ λ ] ]   as an ordered ring by considering ∑ r = r 0 ∞ λ r a r   to be positive if a r 0 > 0   , where a r 0   is the first nonzero coefficient. Then a C [ [ λ ] ]   -linear functional
ω : C ∞ ( M ) [ [ λ ] ] ⟶ C [ [ λ ] ] (2)
is called positive if ω ( f ¯ ◆ f ) ≥ 0   for all f ∈ C ∞ ( M ) [ [ λ ] ]   ; a state is a positive linear functional such that ω ( 1 ) = 1   , and the value ω ( f )   is interpreted as the expectation value of the observable f   in the state ω   .
To implement the idea of superposition of states, one needs a notion of representation in deformation quantization. Given a Hermitian star product, a representation consists of a pre-Hilbert space ℋ   over C [ [ λ ] ]   (here one uses the order structure of R [ [ λ ] ]   for the definition of positive definite C [ [ λ ] ]   -valued inner products) on which ( C ∞ ( M ) [ [ λ ] ] , ◆ )   acts by adjointable operators.
Many physically interesting examples can be found in [4] , see [18] for a recent review. As a next step, following the theory of C *   -algebras, one is led to the construction of induced representations. Recall that if A   and ℬ   are C *   -algebras, the procedure of Rieffel induction consists of constructing representations of ℬ   from representations of A   with the aid of a suitable ( ℬ , A )   -bimodule ℬ ℰ A   possessing an A   -valued inner product 〈 ⋅ , ⋅ 〉 A   . For each *   -representation of A   on a Hilbert space ( ℋ , 〈 ⋅ , ⋅ 〉 )   , one considers the tensor product ℰ ⊗ A ℋ   over A   and the natural left action of ℬ   on it. In order to turn this tensor product into a Hilbert space carrying a representation of ℬ   , the key point is that one can combine 〈 ⋅ , ⋅ 〉 A   and 〈 ⋅ , ⋅ 〉   to produce an inner product on ℰ ⊗ A ℋ   uniquely defined by
( x ⊗ φ , y ⊗ ψ ) ↦ 〈 φ , 〈 x , y 〉 A ⋅ ψ 〉 , (3)
where x , y ∈ ℬ ℰ A   , φ , ψ ∈ ℋ   . An important point of this construction where specific properties of C *   -algebras must come into play is showing that the inner product defined by  3 is positive, see e.g. [14] for a detailed discussion.
Understanding the positivity of inner products of the form  3 in purely algebraic versions of Rieffel induction is the heart of this note, see also [8]  [10] .
We will discuss Rieffel induction in the framework of *   -algebras over ordered rings in Section  3 . Applications to deformation quantization are presented in Section  4 . The last section contains a brief discussion on strong Morita equivalence, a notion closely related to algebraic Rieffel induction.

2 The general framework of *   -algebras over ordered rings

In order to give a unified treatment of C *   -algebras and the *   -algebras over C [ [ λ ] ]   defined by Hermitian star products, we work in the following general algebraic setting, see [10] for details: we consider *   -algebras A   over a ring of the form C = R ( i )   ; here R   is an ordered ring, like e.g. R   or R [ [ λ ] ]   , so C   is a ring extension of R   by a square root of − 1   .
Along the same lines of the discussion in the introduction, we define a C   -linear functional ω : A ⟶ C   to be positive if ω ( a * a ) ≥ 0   for all a ∈ A   , which makes sense since R ⊆ C   is ordered. An algebra element a ∈ A   is called positive if its expectation values are all non-negative, i.e. ω ( a ) ≥ 0   for all positive linear functionals ω   . These notions agree with the usual ones, e.g., for C *   -algebras, and also make sense for Hermitian star products. We denote the set of positive elements by A +   . See [16] for more general concepts of positivity in O *   -algebras and [17] for a comparison between them.
We now pass to representations. A pre-Hilbert space ℋ   over C   is a C   -module with a positive definite inner product 〈 ⋅ , ⋅ 〉 : ℋ × ℋ ⟶ C   , i.e. 〈 φ , ψ 〉 = 〈 ψ , φ 〉 ¯   , 〈 φ , φ 〉 > 0   for φ ≠ 0   and 〈 ⋅ , ⋅ 〉   is linear in the second argument. The adjointable operators from ℋ 1   to ℋ 2   are defined as C   -linear maps for which adjoints exist in the usual sense. It is easy to check that when an adjoint exists, it is is unique. Note that, in the case of complex Hilbert spaces, the Hellinger-Toeplitz theorem ensures that the adjointable operators coincide with bounded operators. The adjointable operators B ( ℋ )   on a pre-Hilbert space ℋ   form a *   -algebra in the natural way, and a *   -representation of a *   -algebra A   over C   on ℋ   is a *   -homomorphism π : A ⟶ B ( ℋ )   . When A   is unital, we assume that π ( 1 A ) = id ℋ   .
Example 2.1If A   is a *   -algebra over C   , an important class of examples of representations is given by an algebraic version of the GNS construction for C *   -algebras. Following [4] , for each positive linear functional ω : A → C   , one forms the space ℋ ω : = A / J ω   , where J ω   consists of elements a ∈ A   with ω ( a * a ) = 0   . The space ℋ ω   is a pre-Hilbert space with inner product 〈 ψ a , ψ b 〉 : = ω ( a * b )   , where ψ a   denotes the class of a ∈ A   in ℋ ω   ; the GNS *   -representation of A   on ℋ ω   is defined by π ( a ) ψ b : = ψ a b   .
This construction in deformation quantization gives rise to important formal representations of Hermitian star products, such as the Bargmann-Fock representation of Wick star products, or the Schrödinger representation of Weyl star products on cotangent bundles, see [4] [3] .
For a *   -algebra A   over C   , we define * -rep ( A )   to be the category whose objects are *   -representations of A   on pre-Hilbert spaces over C   and with adjointable intertwiners as morphisms. We refer to this category as the representation category (or representation theory ) of A   . In these terms, the procedure of Rieffel induction, to be discussed in the next section, can be seen as an explicit construction of functors between representation categories. Functors which establish equivalence of categories of representations will be briefly discussed in the last section.

3 Complete positivity and algebraic Rieffel induction

In order to describe Rieffel induction in the algebraic framework of Section  2 , we need to consider algebraic analogs of Hilbert C *   -modules, see e.g. [13] . The reader may consult [10] for details.
Let A   be a *   -algebra over C   , and let ℰ   be a (right) A   -module (we may write ℰ A   to stress the A   -action). An A   -valued inner product on ℰ   is a C   -sesquilinear map (linear in the second argument)
〈 ⋅ , ⋅ 〉 A : ℰ × ℰ ⟶ A , (4)
such that 〈 x , y 〉 A = 〈 y , x 〉 A *   and 〈 x , y ⋅ a 〉 A = 〈 x , y 〉 A a   for all x , y ∈ ℰ   and a ∈ A   . We call 〈 ⋅ , ⋅ 〉 A   non-degenerate if 〈 x , y 〉 A = 0   for all x   implies y = 0   , in which case the pair ( ℰ , 〈 ⋅ , ⋅ 〉 A )   is called an inner-product A   -module.
The inner product 〈 ⋅ , ⋅ 〉 A   is called positive if 〈 x , x 〉 A ∈ A +   . Finally, 〈 ⋅ , ⋅ 〉 A   is called strongly non-degenerate if the map ℰ ∋ x ↦ 〈 x , ⋅ 〉 A ∈ H o m A ( ℰ , A )   is a bijection. Similar definitions hold for left modules (the only difference is that we have C   and A   -linearity in the first argument).
If ℬ   is another *   -algebra over C   , then a ( ℬ , A )   -inner-product bimodule is an inner-product A   -module ( ℰ , 〈 ⋅ , ⋅ 〉 A )   together with a *   -homomorphism ℬ → B ( ℰ )   , where B ( ℰ )   is the *   -algebra of adjointable operators with respect to 〈 ⋅ , ⋅ 〉 A   . Consider an object in * -rep ( A )   , i.e., a pre-Hilbert space ( ℋ , 〈 ⋅ , ⋅ 〉 )   carrying a *   -representation of A   . In order to obtain an object in * -rep ( ℬ )   from ℬ ℰ A   and ℋ   , we follow [15] and consider the algebraic tensor product ℰ ⊗ A ℋ   , which carries a left ℬ   -action, equipped with the inner product determined by
( x ⊗ φ , y ⊗ ψ ) ↦ 〈 φ , 〈 x , y 〉 A ⋅ ψ 〉 , (5)
for x , y ∈ ℰ   and φ , ψ ∈ ℋ   . In the framework of C *   -algebras, one can prove that if 〈 ⋅ , ⋅ 〉 A   is positive, then so is the induced inner product  5 (see e.g [13, 14] ). The following proposition indicates what is algebraically needed in general.
Proposition 3.1Let us assume, for simplicity, that A   and ℬ   are unital, and let ( ℬ ℰ A , 〈 ⋅ , ⋅ 〉 A )   be a ( ℬ , A )   -inner-product bimodule. Then the following are equivalent:
  • 1. The inner product  5 is positive for any *   -representation of A   .
  • 2. For all n   and all x 1 , … , x n ∈ ℰ   , the matrix ( 〈 x i , x j 〉 A )   is a positive element in M n ( A )   (viewing M n ( A )   as a *   -algebra over C   in the natural way).
For the proof, we need the following simple lemma:
Lemma 3.2Let A   be unital. If Ω : M n ( A ) ⟶ C   is a positive linear functional then there exists a *   -representation ( ℋ , π )   of A   and vectors φ 1 , … , φ n ∈ ℋ   such that
n Ω ( A ) = ∑ i , j 〈 φ i , π ( a i j ) φ j 〉 (6)
where A = ( a i j ) ∈ M n ( A )   . Conversely, for any *   -representation ( ℋ , π )   of A   and any choice of vectors φ 1 , … , φ n ∈ ℋ   , the right hand side of  6 defines a positive linear functional of M n ( A )   (and this defines a positive Ω   if 1 / n ∈ C   ).
Proof: This is a simple application of the GNS construction and should be well-known. For the reader's convenience we outline the proof. Let E i j ∈ M n ( A )   be the elementary matrices with 1   at the ( i , j )   -position and 0   elsewhere. Then n A = ∑ i , j , k , l E j i * a i l E k l   . Now let ( ℋ Ω , Π Ω )   be the GNS representation of M n ( A )   with respect to Ω   . Then define φ i = ∑ j ψ E j i ∈ ℋ Ω   .
Clearly π ( a ) : = Π Ω ( a E 11 )   is a *   -representation of A   on ℋ Ω   and we now have n Ω ( A ) = n 〈 ψ 1 n × n , Π Ω ( A ) ψ 1 n × n 〉 = ∑ i , j 〈 φ i , π ( a i j ) φ j 〉 .   The converse statement can be easily checked. □  
Proof: We can now complete the proof of the proposition. Let A = ( 〈 x i , x j 〉 ) ∈ M n ( A )   . Using the assumption of ( 1 )   and the lemma, we have Ω ( A ) ≥ 0   for all positive linear functionals Ω : M n ( A ) ⟶ C   . The converse implication will follow in much more generality in Theorem  3.4 . □  
An A   -valued inner product on ℰ   satisfying the condition in ( 2 )   is called completely positive [10] . If 〈 ⋅ , ⋅ 〉 A   is completely positive, we call ( ℰ , 〈 ⋅ , ⋅ 〉 A )   a pre-Hilbert A   -module ; a ( ℬ , A )   -inner product bimodule for which the A   -valued inner product is completely positive is called a pre-Hilbert bimodule.
Example 3.3
  • 1. If ( ℋ , 〈 ⋅ , ⋅ 〉 )   is a pre-Hilbert space over C   , then 〈 ⋅ , ⋅ 〉   is automatically completely positive;
  • 2. If A   is a C *   -algebra, then any positive A   -valued inner product is completely positive;
  • 3. If A   is a *   -algebra over C   and ℰ   is the right projective A   -module P A n   , where P ∈ M n ( A )   is a projection, then the restriction of the natural A   -valued inner product on A n   to ℰ   is completely positive.
  • 4. If A = C ∞ ( M )   , then any positive strongly nondegenerate A   -valued inner product on a finitely generated projective (f.g.p.) A   -module is completely positive.
To see why ( 4 )   holds, note that it follows from ( 3 )   that any f.g.p. module over A   can be equipped with a completely positive A   -valued inner product, and in the case where A = C ∞ ( M )   , any two A   -valued inner products on the same f.g.p. module are equivalent. This is because, by Serre-Swan's theorem, each f.g.p. module ℰ   is given by the space of sections of a complex vector bundle E → M   , and strongly non-degenerate A   -valued inner products on ℰ   correspond to hermitian fibre metrics on E   . But any two such metrics on E   are isometric.
With the assumption of complete positivity on inner products, it turns out that Rieffel induction can be carried out in an even broader setting, as we now recall.
Let A   , ℬ   and D   be *   -algebras over C   (not necessarily unital), and let ( ℬ ℰ A , 〈 ⋅ , ⋅ 〉 ℰ A )   and ( A ℋ D , 〈 ⋅ , ⋅ 〉 D )   be right inner-product bimodules. Let ℬ ℰ A ⊗ A A ℋ D   be the algebraic tensor product over A   , seen as a ( ℬ , D )   -bimodule in the usual way. It carries a D   -valued inner product, generalizing  5 , determined by
〈 x ⊗ φ , y ⊗ ψ 〉 ℰ ⊗ ℋ D : = 〈 φ , 〈 x , y 〉 ℰ A ⋅ ψ 〉 D , (7)
for x , y ∈ ℬ ℰ A   and φ , ψ ∈ A ℋ D   . The main observation is [10] :
Theorem 3.4If 〈 ⋅ , ⋅ 〉 ℰ A   and 〈 ⋅ , ⋅ 〉 D   are completely positive, then 〈 ⋅ , ⋅ 〉 ℰ ⊗ ℋ D   is completely positive.
To obtain a pre-Hilbert module, we consider the quotient
ℰ ⊗ ^ A ℋ = ℰ ⊗ A ℋ / ( ℰ ⊗ A ℋ ) ⊥ , (8)
which now carries a nondegenerate, completely positive inner product induced by  7 . So ℰ ⊗ ^ A ℋ   is a ( ℬ , D )   -pre-Hilbert bimodule. In fact, the tensor product ⊗ ^ A   defines a functor
⊗ ^ A : * -rep A ( ℬ ) × * -rep D ( A ) ⟶ * -rep D ( ℬ ) , (9)
where * -rep D ( A )   denotes the category of *   -representations of A   on (right) pre-Hilbert D   -modules (in other words, pre-Hilbert ( A , D )   -bimodules). Note that, by Example  3.3 , part ( 1 )   , if D = C   , then * -rep D ( A )   agrees with * -rep ( A )   , the representation category of A   defined in Section  2 . By fixing the bimodule ℬ ℰ A   , we obtain the Rieffel induction functor
R ℰ = ℬ ℰ A ⊗ ^ A : * -rep D ( A ) ⟶ * -rep D ( ℬ ) , (10)
which allows to compare the representation theories of A   and ℬ   for any auxiliary *   -algebra D   . When A   , ℬ   and D   are C *   -algebras, one recovers the original construction of Rieffel after suitable topological completions.
Remark 3.5Note that condition ( 1 )   in Proposition  3.1 coincides with property P used in [8] for the description of Rieffel induction; hence Proposition  3.1 relates the approaches of [10] and [8] .
Example 3.6Let A   be a *   -algebra over C   , and let ω : A → C   be a positive linear functional. We consider A   as an ( A , C )   -bimodule, with C   -valued inner product 〈 a , b 〉 ω : = ω ( a * b )   . Although this is not strictly a pre-Hilbert bimodule according to our definition, since 〈 ⋅ , ⋅ 〉 ω   may be degenerate, Rieffel induction goes through just as well. The representation of A   induced by the canonical representation of C   on itself by left multiplication is the GNS representation of Example  2.1 .

4 Rieffel induction in deformation quantization

In this section we discuss examples of modules over Hermitian star products which carry completely positive inner products, and hence can be used to implement Rieffel induction in the context of deformation quantization.
We start by recalling how classical and quantum positive linear functionals are related in this context.
Theorem 4.1Let A : = ( C ∞ ( M ) [ [ λ ] ] , ◆ )   be a Hermitian deformation quantization, and let ω 0   be a positive linear functional on C ∞ ( M )   . Then one can find C   -linear functionals ω r : A → C , r = 1 , 2 , … ,   so that ω 0 + ∑ r = 1 ∞ λ r ω r   is a positive linear functional of A   .
In other words, any Hermitian star product is a positive deformation in the sense of [6] . A proof of this theorem can be found in [11] .
We now turn our attention to examples of pre-Hilbert modules over Hermitian star products. Let ℰ   be a f.g.p. module over a Hermitian deformation quantization A = ( C ∞ ( M ) [ [ λ ] ] , ◆ )   , and let h : ℰ × ℰ → A , ( x , y ) ↦ h ( x , y )   be an A   -valued inner product. Then ℰ 0 : = ℰ / ( λ ℰ )   is a (f.g.p.) module over C ∞ ( M )   , and h   naturally induces an inner product h 0 : ℰ 0 × ℰ 0 → C ∞ ( M )   by h 0 ( [ x ] , [ y ] ) : = h ( x , y ) m o d λ   . We refer to h 0   as the classical limit of the inner product h   . The next result is an analogue in deformation quantization of Example  3.3 , part ( 4 )   .
Theorem 4.2Let ℰ   be a f.g.p. module over a Hermitian deformation quantization A = ( C ∞ ( M ) [ [ λ ] ] , ◆ )   , let h   be a positive, strongly nondegenerate A   -valued inner product on ℰ   . Then h   is completely positive, and its classical limit h 0   is a Hermitian fibre metric on the vector bundle E   corresponding to ℰ 0   .
Proof: Let h 0   be the classical limit of h   . We first observe that h 0   is a positive inner product on ℰ 0   .
Given x ∈ ℰ   , consider h 0 ( [ x ] , [ x ] ) = h ( x , x ) m o d λ ∈ C ∞ ( M )   , and let ω 0   be a positive linear functional on C ∞ ( M )   . By Theorem  4.1 , we can find a positive linear functional on A   of the form ω = ω 0 + ∑ r ≥ 1 λ r ω r   . Since ω ( h ( x , x ) ) ≥ 0   in C [ [ λ ] ]   , we have that ω 0 ( h ( x , x ) m o d λ ) ≥ 0   in C   . So h 0 ( [ x ] , [ x ] ) ≥ 0   .
A direct computation shows that h 0   is strongly non-degenerate. Thus ( ℰ 0 , h 0 )   comes from a vector bundle E   over M   carrying a Hermitian fibre metric h 0   , and ( ℰ , h )   is an example of a deformation quantization of a Hermitian vector bundle in the sense of [5] . By [10] , it follows that ( ℰ , h )   is isometric to an A   -module as the one in Example  3.3 , part ( 3 )   . Hence h   is completely positive. □  
We note that checking that the classical limit h 0   is strongly nondegenerate is sufficient to guarantee the strong nondegeneracy of h   . In particular, according to [5] , any Hermitian vector bundle over M   can be deformed into a pre-Hilbert module over A   which can be used for the construction of induced representations. In this context, line bundles over M   play a special role. This is because a deformation of a line bundle L → M   with respect to a star product ◆   defines a pre-Hilbert bimodule for ◆   and another deformation quantization ◆ ′   of M   . If M   is symplectic, the relationship between ◆   and ◆ ′   is that the difference of their characteristic classes (in the sense of e.g. [12] ) is 2 π i c 1 ( L )   [9] , where c 1 ( L )   denotes the first Chern class of L   . One can then use Rieffel induction to transfer representations from one quantization to the other.
An interesting physical example is discussed in [9] , where it is shown that the formal representations of star products on cotangent bundles with a “magnetic term” studied in [2] can be obtained by Rieffel induction of the formal Schrödinger representation of the standard Weyl star product. Here, the pre-Hilbert bimodule used to implement the induction is a deformation of the line bundle associated with a magnetic charge satisfying Dirac's quantization condition; see [18] for a detailed physical discussion of this example.

5 A unified view of strong Morita equivalence

We now briefly recall how to obtain an equivalence of categories of representations using the functor  10 . This leads to a generalization of the notion of strong Morita equivalence in C *   -algebras to the algebraic framework of Section  2 ; details can be found in [10] .
Definition 5.1Let A   , ℬ   be *   -algebras over C   and ℬ ℰ A   a ( ℬ , A )   -bimodule so that ℬ ⋅ ℰ = ℰ   and ℰ ⋅ A = ℰ   . Suppose that ℰ   is equipped with completely positive and non-degenerate inner products 〈 ⋅ , ⋅ 〉 A   and ℬ 〈 ⋅ , ⋅ 〉   such that
  • 1. 〈 b ⋅ x , y 〉 A = 〈 x , b * ⋅ y 〉 A   ,
  • 2. ℬ 〈 x ⋅ a , y 〉 = ℬ 〈 x , y ⋅ a * 〉   ,
  • 3. ℬ 〈 x , y 〉 ⋅ z = x ⋅ 〈 y , z 〉 A   ,
  • 4. C   -span { 〈 x , y 〉 A | x , y ∈ ℰ } = A   ,
  • 5. C   -span { ℬ 〈 x , y 〉 | x , y ∈ ℰ } = ℬ   .
Then ℬ ℰ A   is called a strong Morita equivalence bimodule. If there exists such a bimodule then A   and ℬ   are called strongly Morita equivalent.
As discussed in [10]  [7] , one recovers Rieffel's notion of strong Morita equivalence of C *   -algebras from this purely algebraic definition by passing to minimal dense ideals.
The following theorem summarizes some of the properties of strong Morita equivalence that have well-known counterparts in ring theory and C *   -algebra theory.
Theorem 5.2
  • 1. Strong Morita equivalence is an equivalence relation among nondegenerate and idempotent *   -algebras over C   .
  • 2. If ℬ ℰ A   is a strong equivalence bimodule then the Rieffel induction functor
    ℬ ℰ A ⊗ ^ A : * -Rep D ( A ) ⟶ * -Rep D ( ℬ ) (11)
    establishes an equivalence of categories for any fixed *   -algebra D   .
  • 3. If ℬ ℰ A   is a strong Morita equivalence bimodule for unital *   -algebras A   and ℬ   , then there exist Hermitian dual bases ( ξ i , η i )   and ( x j , y j )   , respectively, such that
    x = ∑ i = 1 n ξ i ⋅ 〈 η i , x 〉 A = ∑ j = 1 m ℬ 〈 x , y j 〉 ⋅ x j (12)
    for all x ∈ ℬ ℰ A   . In particular, ℬ ℰ A   is finitely generated and projective as right A   -module and also as left ℬ   -module.
  • 4. If A   and ℬ   are unital, then strong Morita equivalence implies ring-theoretic Morita equivalence.
Some comments are in order. The crucial point in ( 1 )   is to show transitivity, which relies on the fact that completely positive inner products behave well under tensor products, see Theorem  3.4 ; in ( 2 )   , * -Rep D ( A )   denotes the subcategory of * -rep D ( A )   consisting of pre-Hilbert bimodules A ℋ D   satisfying the extra nondegeneracy condition A ℋ = ℋ   ; property ( 3 )   essentially implies ( 4 )   and is also used to show that the inner products on equivalence bimodules of unital *   -algebras are strongly nondegenerate.
In [10] , we describe a class of unital *   -algebras, including both unital C *   -algebras and Hermitan deformation quantizations, for which the converse of part ( 3 )   holds, i.e., strong and ring-theoretic Morita equivalences define the same equivalence relation. The comparison between these two types of Morita equivalence becomes more interesting at the level of Picard group(oid)s, see [10] for a discussion.
The fact that, for star products, strong Morita equivalence coincides with Morita equivalence in the classical sense of ring theory is used in [9] to classify strong Morita equivalent Hermitian deformation quantizations on symplectic manifolds. An interesting problem is to investigate the precise connection between Morita equivalence for star products and their counterparts in C *   -algebraic versions of deformation quantization.
Acknowledgments It is a pleasure to thank the organizers of the Keio workshop for the invitation and the wonderful working atmosphere. We also thank the participants for valuable discussions and remarks.
References

  1. Bayen, F., Flato, M., Frønsdal, C., Lichnerowicz, A., Sternheimer, D.: Deformation Theory and Quantization. Ann. Phys. 111 (1978), 61–151.
  2. Bordemann, M., Neumaier, N., Pflaum, M. J., Waldmann, S.: On representations of star product algebras over cotangent spaces on Hermitian line bundles. J. Funct. Anal. 199 (2003), 1–47.
  3. Bordemann, M., Neumaier, N., Waldmann, S.: Homogeneous Fedosov star products on cotangent bundles II: GNS representations, the WKB expansion, traces, and applications. J. Geom. Phys. 29 (1999), 199–234.
  4. Bordemann, M., Waldmann, S.: Formal GNS Construction and States in Deformation Quantization. Commun. Math. Phys. 195 (1998), 549–583.
  5. Bursztyn, H., Waldmann, S.: Deformation Quantization of Hermitian Vector Bundles. Lett. Math. Phys. 53 (2000), 349–365.
  6. Bursztyn, H., Waldmann, S.: On Positive Deformations of *   -Algebras. In: Dito, G., Sternheimer, D. (eds.): Conférence Moshé Flato 1999. Quantization, Deformations, and Symmetries, Mathematical Physics Studies no. 22, 69–80. Kluwer Academic Publishers, Dordrecht, Boston, London, 2000.
  7. Bursztyn, H., Waldmann, S.: *   -Ideals and Formal Morita Equivalence of *   -Algebras. Int. J. Math. 12.5 (2001), 555–577.
  8. Bursztyn, H., Waldmann, S.: Algebraic Rieffel Induction, Formal Morita Equivalence and Applications to Deformation Quantization. J. Geom. Phys. 37 (2001), 307–364.
  9. Bursztyn, H., Waldmann, S.: The characteristic classes of Morita equivalent star products on symplectic manifolds. Commun. Math. Phys. 228 (2002), 103–121.
  10. Bursztyn, H., Waldmann, S.: Completely positive inner products and strong Morita equivalence. Preprint (FR-THEP 2003/12) math.QA/0309402 (September 2003), 36 pages. To appear in Pacific J. Math.
  11. Bursztyn, H., Waldmann, S.: Hermitian star products are completely positive deformations. Preprint (FR-THEP 2004/18) math.QA/0410350 (October 2004), 8 pages. To appear in Letters in Mathematical Physics.
  12. Gutt, S., Rawnsley, J.: Equivalence of star products on a symplectic manifold; an introduction to Deligne's Čech cohomology classes. J. Geom. Phys. 29 (1999), 347–392.
  13. Lance, E. C.: Hilbert C *   -modules. A toolkit for operator algebraists, vol. 210 in London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1995.
  14. Raeburn, I., Williams, D. P.: Morita equivalence and continuous-trace C *   -algebras, vol. 60 in Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1998.
  15. Rieffel, M. A.: Induced representations of C *   -algebras. Adv. Math. 13 (1974), 176–257.
  16. Schmudgen, K.: Unbounded Operator Algebras and Representation Theory, vol. 37 in Operator Theory: Advances and Applications. Birkhäuser Verlag, Basel, Boston, Berlin, 1990.
  17. Waldmann, S.: The Picard Groupoid in Deformation Quantization. Lett. Math. Phys. 69 (2004), 223–235.
  18. Waldmann, S.: States and Representation Theory in Deformation Quantization. Rev. Math. Phys. 17 (2005), 15–75.