Explicit construction of equivalence bimodules between noncommutative solenoids

Let p is an element of N be prime, and let theta be irrational. The authors have previously shown that the noncommutative p-solenoid corresponding to the multiplier of the group (z[1/p])(2) parametrized by alpha = (theta + 1, (theta + 1)/p, ... , (theta + 1)/p(j), ...) is strongly Morita equivalent to the noncommutative solenoid on (Z[1])(2) coming from the multiplier beta = (1 - theta+1/theta, 1 - theta+1/p(theta), ... , 1 - theta+1/p(J theta), ...) The method used a construction of Rieffel referred to as the "Heisenberg bimodule" in which the two noncommutative solenoid corresponds to two different twisted group algebras associated to dual lattices in (Q(p) x R)(2). In this paper, we make three additional observations: first, that at each stage, the subalgebra given by the irrational rotation algebra corresponding to alpha(2j) = (theta + 1)/p(2j) is strongly Morita equivalent to the irrational rotation algebra corresponding to the irrational rotation algebra corresponding to beta(2j) = 1 - theta+1/p(2J theta) by a different construction of Rieffel, secondly, that Rieffel's Heisenberg module relating the two non commutative solenoids can be constructed as the closure of a nested sequence of function spaces associated to a multiresolution analysis for a p-adic wavelet, and finally, at each stage, the equivalence bimodule between A(alpha 2j) and A(beta 2j) can be identified with the subequivalence bimodules arising from the p-adic MRA. Aside from its instrinsic interest, we believe this construction will guide us in our efforts to show that certain necessary conditions for two noncommutative solenoids to be strongly Morita equivalent are also sufficient.