, , November 27, 2006

It was shown in [Ab1,3.4] that

K_{0} (D c μ ν) \sim = Z^{3} \oplus Z_{c}

, which implies that

D c μ ν

and

D_{μ^{'} ν^{'}}^{c^{'}}

are not isomorphic unless

c = c^{'}

. Besides,

D c μ ν

and

D_{μ^{'} ν^{'}}^{c}

are isomorphic when

(2 μ, 2 ν)

and

(2 μ^{'}, 2 ν^{'})

belong to the same orbit under the usual action of

GL 2 (Z)

T^{2}

( [AE,Theorem2.2] ; see also [Ab2,3.3] ).

The range of traces on

D c μ ν

was discussed in [Ab2] , where it was shown that the range of the homomorphism induced on

K_{0} (D c μ ν)

by any tracial state on

D c μ ν

has range

G_{μ ν} = Z + 2 μ Z + 2 ν Z

. As a consequence ([Ab2,3.17] ), the isomorphism condition stated above turns out to be necessary when the rank of

G_{μ ν}

is either 1 or 3. Rieffel showed in [Rf4] that

D c μ ν

is simple if and only if

{1, μ, ν}

is linearly independent over the field of rational numbers (i.e rank

G_{μ ν} = 3

); it might be interesting to know whether in this case the classification can be made by means of the results of Elliott and Gong ([EG] ).

The quantum Heisenberg manifold

D c μ ν

was described in [AEE] as a crossed product by a Hilbert

C *

-bimodule. In order to discuss Morita equivalence within this family, we adapt to this setting some of the techniques employed in the analogous discussion for non-commutative tori ([Rf3] ) and Heisenberg

C *

-algebras ([Pa2] ). Thus we generalize in Section 1 Green's result (discussed by Rieffel in [Rf2,Situation10] ) on the Morita equivalence of the crossed products

C_{0} (M / K) ∖ H

and

C_{0} (M / H) ∖ K

, for free and proper commuting actions on a locally compact space

M

. This result provides the main tool to discuss, in Section 2, Morita equivalence for quantum Heisenberg manifolds.

1 Morita equivalence of crossed products by certain Hilbert $C *$ -bimodules over commutative $C *$ -algebras.

For a Hilbert

C *

-bimodule

X

over a

C *

-algebra

A

, the crossed product

A ∖ X

was introduced in [AEE] (see also [Pi] ) as the universal

C *

-algebra for which there exist a *-homomorphism

i_{A} : A ⟶ A ∖ X

and a continuous linear map

i_{X} : X ⟶ A ∖ X

such that

\begin{matrix} i_{X} (a x) = i_{A} (a) i_{X} (x), i_{A} (〈 x, y 〉_{L}) = i_{X} (x) i_{X} (y)^{*} . \end{matrix}

\begin{matrix} i_{X} (x a) = i_{X} (x) i_{A} (a), i_{A} (〈 x, y 〉_{R}) = i_{X} (x)^{*} i_{X} (y) . \end{matrix}

The crossed product

A ∖ X

carries a dual action

δ

S^{1}

, defined by

δ_{z} (i_{A} (a)) = i_{A} (a)

δ_{z} (i_{X} (x)) = z i_{X} (x)

, for

a \in A

x \in X

and

z \in S^{1}

Moreover, if a

C *

-algebra

B

carries an action

δ

S^{1}

such that

B

is generated as a

C *

-algebra by the fixed point subalgebra

B_{0} = {b \in B : δ_{z} (b) = b \forall z \in S^{1}}

and the first spectral subspace

B_{1} = {b \in B : δ_{z} (b) = z b \forall z \in S^{1}}

, then

B

is isomorphic to

B_{0} ∖ B_{1}

(where

B_{1}

has the obvious Hilbert

C *

-bimodule structure over

B_{0}

), via an isomorphism that takes the action

δ

into the dual action.

X

is an

A

-Hilbert

C *

-bimodule and

α \in Aut (A)

, we denote by

X_{α}

the Hilbert

C *

-bimodule over

A

obtained by leaving unchanged the left structure, and by setting

x \cdot_{X_{α}} a : = x α (a), 〈 x, y 〉_{R}^{X_{α}} : = α^{- 1} (〈 x, y 〉_{R}),

where the undecorated notation refers to the original right structure of

X

For

α \in Aut (A)

and the usual

A

-Hilbert

C *

-bimodule structure on

A

, the crossed product

A ∖ A_{α}

is easily checked to be the usual crossed product

A ∖_{α} Z

Definition 1.1. Given a proper action

α

Z

on a locally compact Hausdorff space

M

and a unitary

u \in C_{b} (M)

, let

X^{α, u}

denote the set of functions

f \in C_{b} (M)

satisfying

f = u α (f)

, and such that the map

x \mapsto | f (x) |

, which is constant on

α

-orbits, belongs to

C_{0} (M / α)

Then

X α, u

is a Hilbert

C *

-bimodule over

C_{0} (M / α)

for pointwise multiplication on the left and the right, and inner products given by

〈 f, g 〉_{L} = f \bar{g}

〈 f, g 〉_{R} = \bar{f} g

Proposition 1.2. Let

α

and

β

be free and proper commuting actions of

Z

on a locally compact Hausdorff space

M

, and let

u

be a unitary in

C_{b} (M)

. Then the

C *

-algebras

C_{0} (M / α) ∖ X α, u_{β}

and

C_{0} (M / β) ∖ X β, u *_{α}

are Morita equivalent.

Proof. Let

U : Z \times Z ⟶ U (C_{b} (M))

be given by

U (n, k) = {\begin{matrix} 1 & if either n = 0 or k = 0 . \\ \prod_{i \in S_{k}, j \in S_{n}} α^{i} β^{j} (u), & for n, k > 0 \\ \prod_{i \in S_{k}, j \in S_{n}} α^{i} β^{j} (u^{*}), & for either n or k < 0, and n k \neq 0, \end{matrix}

where

S_{l} = {0, 1, . . . l - 1}

l > 0

and

S_{l} = {- 1, - 2, . . . l}

l < 0

Straightforward computations show that

U (m + n, k) = U (m, k) β^{m} (U (n, k))

, and

U (n, k + l) = U (n, k) α^{k} (U (n, l))

. Consider the proper actions

γ^{α}

and

γ^{β}

Z

C_{0} (M) ∖_{β} Z

and

C_{0} (M) ∖_{α} Z

, respectively, given by:

[γ_{k}^{α} (φ)] (n) = U (n, k) α^{k} [φ (n)] and [γ_{n}^{β} (ψ)] (k) = U^{*} (n, k) β^{n} [ψ (k)],

for

φ \in C_{c} (Z, C_{0} (M)) \subset C_{0} (M) ∖_{β} Z

and

ψ \in C_{c} (Z, C_{0} (M)) \subset C_{0} (M) ∖_{α} Z

These two actions correspond, respectively, to

γ^{α, U}

and

γ^{β, U^{*}}

in [Ab1,Propositions1.2and2.1] . By virtue of [Ab1,Theorem2.12] , the generalized fixed-point algebras, in the sense of [Rf5,Definition1.4] ,

D^{α}

and

D^{β}

C_{0} (M) ∖_{β} Z

and

C_{0} (M) ∖_{α} Z

under the actions

γ^{α}

and

γ^{β}

, respectively, are Morita equivalent. The result will then be proved once we show that

D^{α} \sim = C_{0} (M / α) ∖ X α, u_{β}

and

D^{β} \sim = C_{0} (M / β) ∖ X β, u *_{α}

Recall from [Ab1,Proposition2.1] that

D^{α}

is defined to be the closed span in

ℳ (C_{0} (M) ∖_{β} Z)

of the set

{P_{α} (φ^{*} * ψ) : φ, ψ \in C_{c} (Z \times M)}

, where

P_{α} (φ) (x, n) = \sum_{k \in Z} [γ_{k}^{α} (φ)] (x, n),

for

φ \in C_{c} (Z \times M) \subset C_{0} (M) ∖_{β} Z, x \in M

, and

n \in Z

The

C *

-algebra

D^{α}

can also be described ([Ab1,Proposition2.8] ) as the closure in

ℳ (C_{0} (M) ∖_{β} Z)

of the

*

-subalgebra

C^{α} = {F \in C_{c} (Z, C_{b} (M)) : γ^{α} (F) = F

and

π_{α} (supp F (n))

is precompact for all

n \in Z}

, where

π_{α}

denotes the canonical projection

π_{α} : M ⟶ M / α

Now, since

C^{α}

is contained in

C_{b} (M) ∖_{β} Z

, which is closed in

ℳ (C_{0} (M) ∖_{β} Z)

, so is

D^{α}

. Moreover, the

C *

-algebra

D^{α}

is invariant under the dual action

\hat{β}

T

C_{b} (M) ∖_{β} Z

\begin{matrix} [γ^{α} ({\hat{β}}_{z} F)] (n, x) & = U (n, 1) (x) ({\hat{β}}_{z} (F)) (n, α^{- 1} x) \end{matrix}

\begin{matrix} = U (n, 1) (x) z^{n} F (n, α^{- 1} x) \end{matrix}

\begin{matrix} = z^{n} F (n, x) \end{matrix}

\begin{matrix} = ({\hat{β}}_{z} F) (n, x), \end{matrix}

for

F \in C^{α}

x \in M

n \in Z

, and

z \in T .

Besides,

supp ({\hat{β}}_{z} (F) (n)) = supp F (n)

for all

n \in Z

, so

{\hat{β}}_{z} (F) \in C^{α}

for all

z \in T

We next show that the action

\hat{β}

D^{α}

is semi-saturated. That is, that, as a

C *

-algebra,

D^{α}

is generated by the fixed-point subalgebra

D_{0}

and the first spectral subspace

D_{1} = {d \in D^{α} : {\hat{β}}_{z} (d) = z d \forall z \in T}

for the restriction of the dual action

\hat{β}

Since the maps

P_{i} : D^{α} ⟶ D_{i}

given by

P_{i} (a) = \int_{T} z^{- i} {\hat{β}}_{z} (a) d z

are surjective contractions,

D_{i}

is the closure of

P_{i} (C^{α})

. Now, for

i = 0, 1

C_{i} = C^{α} \cap F_{i}

, and

D_{i} = D^{α} \cap F_{i}

, where

F_{0}

and

F_{1}

are, respectively, the fixed-point subalgebra and the first spectral subspace of

C_{b} (M) ∖_{β} Z

, which are known to be the

δ_{i}

-maps; that is,

F_{i} = {F \in C_{c} (Z, C_{b} (M)) : supp F = {i}}

Notice that

C^{α} \cap F_{0} = {f δ_{0} : f \in C_{b} (M) : π_{α} (supp f) is precompact and f = α (f)}

can be identified with

C_{c} (M / α)

via

f δ_{0} \mapsto \tilde{f}

, where

\tilde{f} \circ π_{α} = f

, and that this map extends to a

*

-isomorphism between

D_{0}

and

C_{0} (M / α)

. Now,

D_{1}

is a Hilbert

C *

-bimodule over

D_{0}

for

\begin{matrix} \begin{matrix} (1b) & \begin{matrix} (1a) & (f δ_{0}) * (g δ_{1}) = (f g) δ_{1} and (g δ_{1}) * (f δ_{0}) = (g β (f)) δ_{1}, 〈 f δ_{1}, g δ_{1} 〉_{L} = (f δ_{1}) * (g δ_{1})^{*} = (f \bar{g}) δ_{0}, 〈 f δ_{1}, g δ_{1} 〉_{R} = (f δ_{1})^{*} * (g δ_{1}) = (β^{- 1} (\bar{f} g)) δ_{0} . \end{matrix} \end{matrix} \end{matrix}

(1c)

Notice that

D_{1}

is full on the left (and on the right, by a similar argument) as a Hilbert

C *

-bimodule over

C_{0} (M / α)

. For

< D_{1}, D_{1} >_{L}

, the closed linear span in

C_{0} (M / α) \sim = D_{0}

of the set

{〈 f δ_{1}, g δ_{1} 〉_{L} : f δ_{1}, g δ_{1} \in D_{1}}

, is a closed ideal of

C_{0} (M / α)

. Therefore, unless

< D_{1}, D_{1} >_{L} = C_{0} (M / α)

, there exists

x_{0} \in M

such that

f (x_{0}) = 0

for all

f δ_{1} \in D_{1}

Now, given

x_{0} \in M

, we can choose ([Rf2,Situation10] ) a neighborhood

U

x_{0}

such that

U \cap α^{k} (U) = \emptyset

for

k \neq 0

. Let

g \in C_{c} (M)^{+}

be such that

supp g \subset U

and

g (x_{0}) = 1

Then

[P_{α} ((g^{1 / 2} δ_{0})^{*} * (g^{1 / 2} δ_{1}))] (x, n) = = (P_{α} (g δ_{1})) (x, n) = (\sum_{k} U (1, k) (x) g (α^{- k} (x))) δ_{1} (n),

P_{α} ((g^{1 / 2} δ_{0})^{*} * (g^{1 / 2} δ_{1})) \in D_{1}

, and equals 1 at

(x_{0}, 1)

In order to prove that

C^{α} \subset C^{*} (D_{0}, D_{1})

, it suffices to show that

f δ_{k} \in C^{*} (D_{0}, D_{1})

for

f δ_{k} \in C^{α}

k \in Z

; since

C^{α}

is closed under involution, we may assume that

k \geq 0

. We show this fact, which clearly holds for

k = 0

and

k = 1

, by induction on

k

f δ_{k} \in C^{α}

and

ε > 0

, since

π_{α} (supp f)

is precompact in

M / α

, and

D_{1}

is full over

C_{0} (M / α)

, we can find

φ_{i}, ψ_{i} \in D_{1}, i = 1, . . ., p,

such that

∥ \sum_{i} (φ_{i} * ψ_{i}^{*}) * f δ_{1} - f δ_{1} ∥_{D^{α}} = ∥ \sum_{i} 〈 φ_{i}, ψ_{i} 〉_{L} f - f ∥_{C_{b} (M)} < ε

Now, since

φ_{i}

and

ψ_{i}^{*} * f

belong to

C^{*} (D_{0}, D_{1})

for

i = 1, . . ., p

, so does

f

. This shows that

D^{α} = C^{*} (D_{0}, D_{1})

and, consequently, by [AEE,Theorem3.1] , that

D^{α} \sim = D_{0} ∖ D_{1}

It only remains to notice now that

D_{0} ∖ D_{1} \sim = C_{0} (M / α) ∖ X_{β}^{α, u}

. As noticed above,

D_{0}

is isomorphic to

C_{0} (M / α)

. On the other hand, the map

f δ_{1} \mapsto f

takes

C^{α} \cap F_{1}

X_{β}^{α, u}

. By keeping track of the formulae in 1 , one easily checks that that map is an isometry, so it extends to an isometry from

D_{1}

X_{β}^{α, u}

, which is onto because its image contains the dense set:

X_{0}^{α, u} = {f \in X_{β}^{α, u} : the map x \mapsto | f (x) | is compactly supported on M / α} .

(Notice that

X_{0}^{α, u}

is dense in

X_{β}^{α, u}

, because, if

{e_{λ}}

is an approximate identity for

C_{c} (M / α)

, then

e_{λ} f

converges to

f

for all

f \in X_{β}^{α, u}

). This shows that

D^{α}

is isomorphic to

C_{0} (M / α) ∖ X_{β}^{α, u}

. Analogously,

D^{β}

is isomorphic to

C_{0} (M / β) ∖ X_{α}^{β, u^{*}}

□

2 Morita equivalence for quantum Heisenberg manifolds

In [AEE] (see also [AE,2] ) the quantum Heisenberg manifold

D c μ ν

was shown to be the crossed product of

C (T^{2})

, the

C *

-algebra of continuous functions on the torus, by the Hilbert

C *

-bimodule

M_{α_{μ ν}}^{c}

, where

α_{μ ν} (x, y) = (x + 2 μ, y + 2 ν)

, and

M^{c} = {f \in C_{b} (R \times T) : f (x + 1, y) = e^{- 2 π i c y} f (x, y)}

is the Hilbert

C *

-bimodule obtained by letting

C (T^{2})

act by pointwise product, and by defining the inner products

〈 f, g 〉_{L} = f \bar{g}

〈 f, g 〉_{R} = \bar{f} g

Remark 2.1. The

C *

-algebras

D c μ ν

and

D c μ^{'} ν^{'}

are isomorphic when the projections of

(2 μ, 2 ν)

and

(2 μ^{'}, 2 ν^{'})

on the torus are in the same orbit under the usual action of

GL 2 (Z)

([AE,Theorem2.2] , see also [Ab2,Remark3.3] ).

Proposition 2.2. Let

μ \neq 0

. Then

D c μ ν

and

D_{\frac{1}{4 μ}, \frac{ν}{2 μ}}^{c}

are Morita equivalent.

Proof. We follow the lines of [Rf3,1.1] and apply Proposition 1.2 to the following setting:

α

and

β

consist of translation on

R \times T

(\frac{1}{2 μ}, 0)

and

(1, 2 ν)

, respectively, and

u \in C_{b} (R \times T)

is given by

u (x, y) = e (- c y)

, where

T

is viewed as

R / Z

and, for a real number

h

e (h) = e^{2 π i h}

Then, by Proposition 1.2 ,

C ((R \times T) / α) ∖ X_{β}^{α, u}

and

C ((R \times T) / β) ∖ X_{α}^{β, u^{*}}

are Morita equivalent, where

X^{α, u} = {F \in C_{b} (R \times T) : F (x - \frac{1}{2 μ}, y) = e (c y) F (x, y)} and X^{β, u^{*}} = {F \in C_{b} (R \times T) : F (x - 1, y - 2 ν) = e (- c y) F (x, y)} = {F \in C_{b} (R \times T) : F (x + 1, y + 2 ν) = e (c (y + 2 ν)) F (x, y)} .

Let

H_{α} : C (T^{2}) ⟶ C ((R \times T) / α)

and

H_{β} : C (T^{2}) ⟶ C ((R \times T) / β)

be the isomorphisms given by:

(H_{α} φ) (x, y) = φ (2 μ x, y), (H_{β} φ) (x, y) = φ (x, 2 ν x - y),

and, for

(μ^{'}, ν^{'}) = (\frac{1}{4 μ}, \frac{ν}{2 μ})

, set

J_{α} : M_{α_{μ ν}}^{c} ⟶ X_{β}^{α, u} and J_{β} : M_{α_{μ^{'} ν^{'}}}^{c} ⟶ X_{α}^{β, u^{*}},

(J_{α} f) (x, y) = f (2 μ x, y), (J_{β} f) (x, y) = e (c x (x + 1) ν) f (x, 2 ν x - y) .

Notice that

(J_{α} f) (x - \frac{1}{2 μ}, y) = f (2 μ x - 1, y) = e (c y) (J_{α} f) (x, y),

and

\begin{matrix} (J_{β} f) (x + 1, y + 2 ν) & = e (c (x + 1) (x + 2) ν) f (x + 1, 2 ν x - y) \end{matrix}

\begin{matrix} = e (c (x + 1) (x + 2) ν) e (- c (2 ν x - y)) f (x, 2 ν x - y) \end{matrix}

\begin{matrix} = e (c (y + 2 ν)) (J_{β} f) (x, y), \end{matrix}

so the definitions make sense.

For

i = α, β

, it is easily checked that

J_{i}

is a bijection and that, for

φ \in C (T^{2})

f, g \in M^{c}

J_{i} (φ \cdot f) = H_{i} (φ) \cdot J_{i} (f), J_{i} (f \cdot φ) = J_{i} (f) \cdot H_{i} (φ),

〈 J_{i} f, J_{i} g 〉_{L} = H_{i} (〈 f, g 〉_{L}), 〈 J_{i} f, J_{i} g 〉_{R} = H_{i} (〈 f, g 〉_{R}) .

This shows that

D c μ ν = C (T^{2}) ∖ M_{α_{μ ν}}^{c}

and

D c μ^{'} ν^{'} = C (T^{2}) ∖ M_{α_{μ^{'} ν^{'}}}^{c}

are isomorphic, respectively, to

C ((R \times T) / α) ∖ X_{β}^{α, u}

and

C ((R \times T) / β) ∖ X_{α}^{β, u^{*}}

, and they are, consequently, Morita equivalent to each other. □

Corollary 2.3. Let

μ \notin Q

, and let

A = (\begin{matrix} a & b \\ c & d \end{matrix}) \in GL 2 (Z)

. If

2 μ^{'} = \frac{2 a μ + b}{2 c μ + d} and 2 ν^{'} = \frac{2 ν}{2 c μ + d},

then the quantum Heisenberg manifolds

D c μ ν

and

D c μ^{'} ν^{'}

are Morita equivalent.

Proof. It suffices to check the statement for $A_{1} = (\begin{matrix} 1 & 1 \\ 0 & 1 \end{matrix})$ and $A_{2} = (\begin{matrix} 0 & 1 \\ 1 & 0 \end{matrix})$ , since $A_{1}$ and $A_{2}$ generate $GL 2 (Z)$ ([Ku,AppendixB] ), and $(μ, ν) \mapsto (μ^{'}, ν^{'})$ defines an action of $GL 2 (Z)$ on $(R \ Q) \times R$ . For $A = A_{1}$ we get isomorphic $C *$ -algebras by Remark 2.1 . For $A = A_{2}$ , we get $(μ^{'}, ν^{'}) = (\frac{1}{4 μ}, \frac{ν}{2 μ})$ , and the result follows from Proposition 2.2 .
□

Proposition 2.4. Let

{1, μ, ν}

be linearly independent over

Q

, and let

A = (\begin{matrix} a & b & c \\ d & e & f \\ g & h & i \end{matrix}) \in GL 3 (Z)

. If

2 μ^{'} = \frac{2 a μ + 2 b ν + c}{2 g μ + 2 h ν + i} and 2 ν^{'} = \frac{2 d μ + 2 e ν + f}{2 g μ + 2 h ν + i},

then the quantum Heisenberg manifolds

D c μ ν

and

D c μ^{'} ν^{'}

are Morita equivalent.

Proof. As in the proof of Theorem 1.7 in [Pa2] , $A = A_{1} A_{2} A_{3}$ , where $A_{1} = (\begin{matrix} A & B & C \\ D & E & F \\ 0 & 0 & 1 \end{matrix}), A_{2} (\begin{matrix} G & 0 & H \\ 0 & 1 & 0 \\ I & 0 & J \end{matrix}), A_{3} = (\begin{matrix} K & L & 0 \\ M & N & 0 \\ 0 & 0 & 1 \end{matrix}),$ and $A_{i} \in GL 3 (Z)$ , for $i = 1, 2, 3$ .
Since the map $(μ, ν) \mapsto (μ^{'}, ν^{'})$ defines an action of $GL 3 (Z)$ on the set ${(μ, ν) \in R^{2} : {1, μ, ν} is linearly independent over Q}$ , it suffices to check the statement for $A_{i}$ , $i = 1, 2, 3 .$ For $A = A_{1}$ and $A = A_{3}$ the $C *$ -algebras $D c μ ν$ and $D c μ^{'} ν^{'}$ are isomorphic by Remark 2.1 . Thus it suffices to show the result for $A = A_{2}$ . The map $(\begin{matrix} G & H \\ I & J \end{matrix}) \mapsto (\begin{matrix} G & 0 & H \\ 0 & 1 & 0 \\ I & 0 & J \end{matrix})$ is a group homomorphism from $GL 2 (Z)$ into $GL 3 (Z)$ , and $GL 2 (Z)$ is generated by $(\begin{matrix} 1 & 1 \\ 0 & 1 \end{matrix})$ and $(\begin{matrix} 0 & 1 \\ 1 & 0 \end{matrix})$ , which implies that we only need to prove the statement for $A_{1} = (\begin{matrix} 1 & 0 & 1 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{matrix})$ and $A_{2} = (\begin{matrix} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{matrix})$ . For $A_{1}$ we get $2 μ^{'} = 2 μ + 1$ , $2 ν^{'} = 2 ν$ , so $D c μ ν$ and $D c μ^{'} ν^{'}$ are isomorphic by Remark 2.1 . Proposition 2.2 takes care of the case $A = A_{2}$ , since then we have $(μ^{'}, ν^{'}) = (\frac{1}{4 μ}, \frac{ν}{2 μ})$ . □

Notation 2.5. We denote by

G μ ν

the subgroup of

R

generated by

{1, 2 μ, 2 ν}

. It was shown in [Ab2,Theorem3.16] that the homomorphism induced on

K_{0} (D c μ ν)

by any tracial state on

D c μ ν

has range

G μ ν

Remark 2.6. If rank

G μ ν = 2

, then there exist an irrational number

ν^{'}

and integers

p, q \in Z, p \neq 0

(p, q) = 1

, such that

D c μ ν

and

D_{\frac{p}{2 q}, ν^{'}}^{c}

are isomorphic.

Proof. We proceed as in [Pa1,Proposition1.5] . Let $μ_{0} = 2 μ$ , $ν_{0} = 2 ν$ . Since the group generated by ${1, μ_{0}, ν_{0}}$ has rank 2, either $μ_{0}$ or $ν_{0}$ is irrational.
We may assume that $ν_{0}$ is irrational, because, by Remark 2.1 , $D c μ ν$ and $D_{ν μ}^{c}$ are isomorphic. Besides, there exist $M, N, P \in Z$ , with $N \neq 0$ such that $M + N μ_{0} + P ν_{0} = 0$ , so we have $μ_{0} = \frac{k}{l} ν_{0} + \frac{m}{n}$ , with $(k, l) = 1$ . If $k = 0$ , then $μ_{0} \in Q$ , and we are done. Otherwise take $a, b \in Z$ such that $a k + b l = 1$ , so that $(\begin{matrix} - l & k \\ a & b \end{matrix}) \in GL 2 (Z)$ , and set $(μ_{0}^{'}, ν_{0}^{'}) = (\begin{matrix} - l & k \\ a & b \end{matrix}) (μ_{0}, ν_{0}) .$ Then $μ_{0}^{'} = - l (\frac{k}{l} ν_{0} + \frac{m}{n}) + k ν_{0} = \frac{- l m}{n} \in Q .$ and $ν_{0}^{'} = a (\frac{k}{l} ν_{0} + \frac{m}{n}) + b ν_{0} = \frac{1}{l} ν_{0} + \frac{a m}{n} \notin Q,$ We now take $ν^{'} = ν_{0}^{'} / 2$ and $p / q = μ_{0}^{'}$ , in lowest terms. By Remark 2.1 $D c μ ν$ and $D_{\frac{p}{2 q}, ν^{'}}^{c}$ are isomorphic. □

Proposition 2.7. Let

p

and

q

be non-zero integers such that

(p, q) = 1

, and let

ν \in R

. Then

D_{\frac{p}{2 q}, ν}^{c}

is Morita equivalent to

D_{0, q ν}^{c}

Proof. By Remark 2.1 we may assume that $p$ and $q$ are positive. By applying Proposition 2.2 to $(μ, ν) = (q / 2, ν)$ , we get that $D_{0, ν}^{c} \sim = D_{q / 2, ν}^{c}$ is Morita equivalent to $D_{\frac{1}{2 q}, \frac{ν}{q}}^{c}$ , thus proving the proposition for $p = 1$ . For $p > 1$ , let $r_{0} = q$ , $r_{1} = p$ , and, if $r_{i + 1} \neq 1$ , define $r_{i + 2}$ by $r_{i} = m_{i + 1} r_{i + 1} + r_{i + 2}$ , where $0 \leq r_{i + 2} < r_{i + 1}$ , and $m_{i + 1} \in Z$ .
Actually, $r_{i + 2} > 0$ : otherwise $r_{i + 1}$ divides $r_{i}$ , and it follows that $r_{i + 1}$ divides $r_{j}$ for all $j \leq i$ . In particular, $r_{i + 1}$ divides both $p$ and $q$ , which contradicts the fact that $r_{i + 1} \neq 1$ . Now, since $r_{i + 1} < r_{i}$ , there is an index $i_{0}$ for which $r_{i_{0}} = 1$ .
On the other hand, it follows from Proposition 2.2 that, for any real number $κ$ , $D_{\frac{r_{i}}{2 r_{i - 1}}, κ}^{c}$ is Morita equivalent to $D_{\frac{r_{i - 1}}{2 r_{i}}, κ \frac{r_{i - 1}}{r_{i}}}^{c}$ , which in turn is isomorphic to $D_{\frac{r_{i + 1}}{2 r_{i}}, κ \frac{r_{i - 1}}{r_{i}}}^{c}$ .
Thus $D_{\frac{p}{2 q}, ν}^{c} = D_{\frac{r_{1}}{2 r_{0}}, ν}^{c}$ is Morita equivalent to $D_{\frac{r_{j}}{2 r_{j - 1}}, \frac{q ν}{r_{j - 1}}}^{c}$ for any $j \leq i_{0}$ . In particular, for $j = i_{0}$ , we have that $D_{\frac{p}{2 q}, ν}^{c}$ is Morita equivalent to $D_{\frac{1}{2 r_{i_{0} - 1}}, \frac{ν q}{r_{i_{0} - 1}}}^{c}$ , which, as shown above, is Morita equivalent to $D_{0, ν q}^{c}$ . □

Theorem 2.8. Two quantum Heisenberg manifolds

D c μ ν

D_{μ^{'} ν^{'}}^{c^{'}}

are Morita equivalent if and only if

c = c^{'}

and there exists a positive real number

r

such that

Z + 2 μ Z + 2 ν Z = r (Z + 2 μ^{'} Z + 2 ν^{'} Z) .

In particular, the rank of the free abelian group

G μ ν = Z + 2 μ Z + 2 ν Z

is the same for Morita equivalent quantum Heisenberg manifolds, and:

(1) If rank $G μ ν = 1 =$ rank $G μ^{'} ν^{'}$ , then $D c μ ν$ is Morita equivalent to $D_{μ^{'}, ν^{'}}^{c}$ . In particular, $D c μ ν$ is Morita equivalent to the commutative Heisenberg manifold $D_{0, 0}^{c}$ .
(2) If rank $G μ ν = 2 =$ rank $G μ^{'} ν^{'}$ , let ${α, \frac{p}{q}}$ and ${α^{'}, \frac{p^{'}}{q^{'}}}$ be bases of $G μ ν$ and $G μ^{'} ν^{'}$ , respectively, where $α$ and $α^{'}$ are irrational numbers and $p, p^{'}, q, q^{'} \in Z$ , $(p, q) = (p^{'} q^{'}) = 1$ . Then $D_{μ, ν}^{c}$ and $D_{μ^{'}, ν^{'}}^{c}$ are Morita equivalent if and only if there exists $(\begin{matrix} a & b \\ c & d \end{matrix}) \in GL 2 (Z)$ such that $q^{'} α^{'} = \frac{a q α^{'} + b}{c q α^{'} + d} .$ In particular, $D_{\frac{p}{2 q}, ν}^{c}$ is Morita equivalent to $D_{0, q ν}^{c}$ .
(3) If rank $G μ ν = 3 =$ rank $G μ^{'} ν^{'}$ , then $D c μ ν$ and $D c μ^{'} ν^{'}$ are Morita equivalent if and only if there exists $(\begin{matrix} a & b & c \\ d & e & f \\ g & h & i \end{matrix}) \in GL 3 (Z)$ such that $2 μ^{'} = \frac{2 a μ + 2 b ν + c}{2 g μ + 2 h ν + i} and 2 ν^{'} = \frac{2 d μ + 2 e ν + f}{2 g μ + 2 h ν + i} .$

Proof. It was shown in [Ab1,3.4] that $K_{0} (D c μ ν) = Z^{3} \oplus Z_{c}$ , which implies that $D c μ ν$ and $D_{μ^{'} ν^{'}}^{c^{'}}$ are not Morita equivalent for $c \neq c^{'}$ .
Besides ([Ab2,Theorem3.16] ), all tracial states on $D c μ ν$ induce the same homomorphism on $K_{0} (D c μ ν)$ , whose range is the group $G_{μ ν} = 2 μ Z + 2 ν Z + Z$ .
Since ([Rf1,2.2] ) there is a bijection between finite traces of Morita equivalent unital $C *$ -algebras we must have $G_{μ ν} = r G_{μ^{'} ν^{'}}$ for some positive real number $r$ when $D c μ ν$ and $D c μ^{'} ν^{'}$ are Morita equivalent. An immediate consequence of this fact is that the rank of $G_{μ ν}$ is invariant under Morita equivalence.
If rank $G μ ν = 1$ , then, by [Ab2,Remark3.5] , $D c μ ν$ is isomorphic to $D_{0, \frac{1}{2 p}}^{c}$ for some non-zero integer $p$ , so $D c μ ν$ is isomorphic to $D_{\frac{1}{2 p}, 0}^{c}$ by Remark 2.1 .
Now, by Proposition 2.7 , $D_{\frac{1}{2 p}, 0}^{c}$ is Morita equivalent $D_{0, 0}^{c}$ .
If rank $G μ ν = 2 =$ rank $G μ^{'} ν^{'}$ and $G_{μ ν} = r G_{μ^{'} ν^{'}}$ for some positive $r$ , let ${α, \frac{p}{q}}$ and ${α^{'}, \frac{p^{'}}{q^{'}}}$ be bases of $G μ ν$ and $G μ^{'} ν^{'}$ , respectively, where $α, α^{'}$ are irrational numbers, and $p, p^{'}, q, q^{'}$ are integers, with $(p, q) = (p^{'}, q^{'}) = 1$ .
Since $Z \subset G μ ν (G μ^{'} ν^{'})$ we have that $p (p^{'}) = \pm 1$ and, by Remark 2.1 , we may assume $p = p^{'} = 1$ . Then we have that $α Z + 1 / q Z = r (α^{'} Z + 1 / q^{'} Z)$ , which implies that $α q Z + Z = (r q / q^{'}) (α^{'} q^{'} Z + Z)$ . A standard argument shows that $q α = \frac{a q^{'} α^{'} + b}{c q^{'} α^{'} + d} for some (\begin{matrix} a & b \\ c & d \end{matrix}) \in GL 2 (Z) .$ Therefore $D_{\frac{q α}{2}, 0}^{c}$ and $D_{\frac{q^{'} α^{'}}{2}, 0}^{c}$ are Morita equivalent by Corollary 2.3 . On the other hand, by Remark 2.6 , $D c μ ν$ and $D_{μ^{'}, ν^{'}}^{c}$ are isomorphic, respectively, to $D_{\frac{m}{2 n}, β}^{c}$ and $D_{\frac{m^{'}}{2 n^{'}}, β^{'}}^{c}$ , for some irrational numbers $β$ and $β^{'}$ and integers $m, m^{'}, n, n^{'}$ such that $(m, n) = (m^{'}, n^{'}) = 1$ . Therefore ${2 β, \frac{1}{n}}$ and ${2 β^{'}, \frac{1}{n^{'}}}$ are bases of $G μ ν$ and $G_{μ^{'} ν^{'}}$ , respectively, and it follows from the argument above that $D_{n β, 0}^{c}$ and $D_{n^{'} β^{'}, 0}^{c}$ are Morita equivalent. It only remains to notice now that, by Proposition 2.7 and Remark 2.1 , $D_{n β, 0}^{c}$ and $D_{n^{'} β^{'}, 0}^{c}$ are Morita equivalent to $D c μ ν$ and $D_{μ^{'} ν^{'}}^{c}$ , respectively.
Finally, if rank $G μ ν = 3 =$ rank $G μ^{'} ν^{'}$ and $G μ ν = r G μ^{'} ν^{'}$ for some positive $r$ , then let $A = (\begin{matrix} a & b & c \\ d & e & f \\ g & h & i \end{matrix}) \in GL 3 (Z)$ be the transpose of the matrix that changes coordinates between the bases ${2 r μ^{'}, 2 r ν^{'}, r}$ and ${2 μ, 2 ν, 1}$ of $G μ ν$ . Then $2 μ^{'} = \frac{2 a μ + 2 b ν + c}{2 g μ + 2 h ν + i} and 2 ν^{'} = \frac{2 d μ + 2 e ν + f}{2 g μ + 2 h ν + i},$ which implies, by Proposition 2.4 , that $D c μ ν$ and $D c μ^{'} ν^{'}$ are Morita equivalent.
□

References

Abadie, B. [1995], Generalized fixed-point algebras of certain actions on crossed-products, Pacific J. Math. 171, 1-21.
Abadie, B. [2000], The range of traces on quantum Heisenberg manifolds, Trans. Amer. Math. Soc. 352, 5767-5780.
Abadie, B.; Exel, R. [1997], Hilbert $C *$ -bimodules over commutative $C *$ -algebras and an isomorphism condition for quantum Heisenberg manifolds, Rev. Math. Phys. 9, 411-423.
Abadie, B.; Eilers, S.; Exel, R. [1998], Morita equivalence for crossed products by Hilbert $C *$ -bimodules, Trans. Amer. Math. Soc. 350, 3043-3054.
Elliott, G.; Gong, G. [1996], On the classification of $C *$ -algebras of real rank zero, II, Ann. of Math. 144, 497-610.
Kurosh, A.G. [1960], The theory of groups, Vol. 2, Chelsea Publishing Company, Second edition.
Packer, J. [1987], C*-algebras generated by projective representations of the discrete Heisenberg group, J. Operator Theory 18, 41-66.
Packer, J. [1988], Strong Morita equivalence for Heisenberg C*-algebras and the positive cones of their $K_{0}$ -groups, Canad. J. Math. XL, 833-864.
Pimsner, M.V. [1997], A class of $C *$ -algebras generalizing both Cuntz-Krieger algebras and crossed products by $Z$ , Fields Inst. Comm. 12, AMS, 189-212.
Rieffel, M. [1981], C*-algebras associated with irrational rotations, Pacific J. Math. 93, 415-429.
Rieffel, M. [1982], Applications of strong Morita equivalence to transformation C*-algebras, Proc. Symp. Pure Math. 38 (Part 1), 299-310.
Rieffel, M. [1983], The cancellation theorem for projective modules over irrational rotation C*-algebras, Proc. London Math. Soc. 3 (No 47), 285-302.
Rieffel, M. [1989], Deformation quantization of Heisenberg manifolds, Comm. Math. Phys. 122, 531-562.
Rieffel, M. [1990], Proper actions of groups on C*-algebras, Mappings of operator algebras, Proc. Japan-US joint seminar, Birkhäuser, 141-182.

Centro de Matematicas. Facultad de Ciencias. Igua 4225, CP 11 400, Montevideo, Uruguay. E-mail address : abadie@cmat.edu.uy

November 27, 2006

Beatriz Abadie