Given a C*-dynamical system (A,G,α), we discuss conditions under which subalgebras of the multiplier algebra M(A) consisting of fixed points for αare Morita-Rieffel equivalent to ideals in the crossed product of A by G. In case G is abelian we also develop a spectral theory, giving a necessary and sufficient condition for αto be equivalent to the dual action on the cross-sectional C*-algebra of a Fell bundle. In our main application we show that a proper action of an abelian group on a locally compact space is equivalent to a dual action.
Suppose that a locally compact group $G$ acts freely and properly on the right of a locally compact space $T$. Rieffel proved that if $α$ is an action of $G$ on a $C^*$-algebra $A$ and there is an equivariant embedding of $C_0(T)$ in $M(A)$, then the action $α$ of $G$ on $A$ is proper, and the crossed product $A\rtimes_{α,r}G$ is Morita equivalent to a generalised fixed-point algebra $\Fix(A,α)$ in $M(A)^α$. We show that the assignment $(A,α)\mapsto\Fix(A,α)$ extends to a functor $\Fix$ on a category of $C^*$-dynamical systems in which the isomorphisms are Morita equivalences, and that Rieffel…
We discuss Morita equivalence within the family of quantum Heisenberg manifolds. The main tool employed is the generalization of a result of P. Green and M. Rieffel about Morita equivalence of transformation groups to crossed products by Hilbert bimodules.
We consider a class of proper actions of locally compact groups on imprimitivity bimodules over C*-algebras which behave like the proper actions on C*-algebras introduced by Rieffel in 1988. We prove that every such action gives rise to a Morita equivalence between a crossed product and a generalized fixed-point algebra, and in doing so make several innovations which improve the applicability of Rieffel's theory. We then show how our construction can be used to obtain canonical tensor-product decompositions of important Morita equivalences. Our results show, for example, that the different pro…
We consider two categories of C*-algebras; in the first, the isomorphisms are ordinary isomorphisms, and in the second, the isomorphisms are Morita equivalences. We show how these two categories, and categories of dynamical systems based on them, crop up in a variety of C*-algebraic contexts. We show that Rieffel's construction of a fixed-point algebra for a proper action can be made into functors defined on these categories, and that his Morita equivalence then gives a natural isomorphism between these functors and crossed-product functors. These results have interesting applications to non-a…
In 1990, Rieffel defined a notion of proper action of a group $H$ on a $C^*$-algebra $A$. He then defined a generalized fixed point algebra $A^α$ for this action and showed that $A^α$ is Morita equivalent to an ideal of the reduced crossed product. We generalize Rieffel's notion to define proper groupoid dynamical systems and show that the generalized fixed point algebra for proper groupoid actions is Morita equivalent to a subalgebra of the reduced crossed product. We give some nontrivial examples of proper groupoid dynamical systems and show that if $(\A, G, α)$ is a groupoid dynamical syste…
In previous work, we defined and studied $Σ^*$-modules, a class of Hilbert $C^*$-modules over $Σ^*$-algebras (the latter are $C^*$-algebras that are sequentially closed in the weak operator topology). The present work continues this study by developing the appropriate $Σ^*$-algebraic analogue of the notion of strong Morita equivalence for $C^*$-algebras. We define strong $Σ^*$-Morita equivalence, prove a few characterizations, look at the relationship with equivalence of categories of a certain type of Hilbert space representation, study $Σ^*$-versions of the interior and exterior tensor produ…
We show that there is a functor from the category of positive admissible ternary rings to the category of $*$-algebras, which induces an isomorphism of partially ordered sets between the families of $C^*$-norms on the ternary ring and its corresponding $*$-algebra. We apply this functor to obtain Morita-Rieffel equivalence results between cross sectional $C^*$-algebras of Fell bundles, and to extend the theory of tensor products of $C^*$-algebras to the larger category of full Hilbert $C^*$-modules. We prove that, like in the case of $C^*$-algebras, there exist maximal and minimal tensor produ…
We characterize the pairs of operator spaces which occur as pairs of Morita equivalence bimodules between non-selfadjoint operator algebras in terms of the mutual relation between the spaces. We obtain a characterization of the operator spaces which are completely isometrically isomorphic to imprimitivity bimodules between some strongly Morita equivalent (in the sense of Rieffel) C*-algebras. As corollaries, we give representation results for such operator spaces.
We consider a variant of the notion of Morita equivalence appropriate to weak* closed algebras of Hilbert space operators, which we call {\em weak Morita equivalence}. We obtain new variants, appropriate to the dual algebra setting, of the basic theory of strong Morita equivalence, and new nonselfadjoint variants of aspects of Rieffel's $W^*$-algebraic Morita equivalence.
We show that matrices in the same orbit of the SO(n, n|Z) action on the space of n\times n skew-symmetric matrices give strong Morita equivalent noncommutative tori, both at the C*-algebra level and at the smooth algebra level. This proves a conjecture of Rieffel and Schwarz.
We consider $C^*$-algebras constructed from compact group actions on complex vector bundles $E\to X$ endowed with a Hermitian metric. An action of $G$ by isometries on $E\to X$ induces an action on the $C^*$-correspondence $Γ(E)$ over $C(X)$ consisting of continuous sections, and on the associated Cuntz-Pimsner algebra $\mathcal O_E$, so we can study the crossed product $\mathcal O_E\rtimes G$. If the action is free and rank $E=n$, then we prove that $\mathcal O_E\rtimes G$ is Morita-Rieffel equivalent to a field of Cuntz algebras $\mathcal O_n$ over the orbit space $X/G$. If the action is fib…
We define a C*-algebraic quantization of constant Dirac structures on tori, which extends the standard quantization of Poisson structures. We prove that Dirac structures in the same orbit of a natural action of O(n,n|Z) give rise to Morita equivalent algebras, completing and extending a theorem of Rieffel and Schwarz.
We apply the One-Sided Action Theorem from the first paper in this series to prove that Rieffel's Morita equivalence between the reduced crossed product by a proper saturated action and the generalized fixed-point algebra is a quotient of a Morita equivalence between the full crossed product and a "universal" fixed-point algebra. We give several applications, to Fell bundles over groups, reduced crossed products as fixed-point algebras, and C*-bundles.
A new approach to the quantization of constrained or otherwise reduced classical mechanical systems is proposed. On the classical side, the generalized symplectic reduction procedure of Mikami and Weinstein, as further extended by Xu in connection with symplectic equivalence bimodules and Morita equivalence of Poisson manifolds, is rewritten so as to avoid the use of symplectic groupoids, whose quantum analogue is unknown. A theorem on symplectic reduction in stages is given. This allows one to discern that the `quantization' of the generalized moment map consists of an operator-valued inner p…
Given C*-algebras A and B and an imprimitivity A-B-bimodule X, we construct an explicit isomorphism X_* : K_i(A) --> K_i(B) where K_i denote the complex K-theory functors for i=0, 1. Our techniques do not require separability nor existence of countable approximate identities. We thus extend, to general C*-algebras, the result of Brown, Green and Rieffel according to which strongly Morita equivalent C*-algebras have isomorphic K-groups. The method employed includes a study of Fredholm operators on Hilbert modules.
The Hecke algebra H(G,H) of a Hecke pair (G,H) is studied using the Schlichting completion (G',H'), which is a Hecke pair whose Hecke algebra is isomorphic to H(G,H) and which is topologized so that H' is a compact open subgroup of G'. In particular, the representation theory and C*-completions of H(G,H) are addressed in terms of the projection p in C*(G') corresponding to the characteristic function of H', using both Fell's and Rieffel's imprimitivity theorems and the identity H(G,H) = p C_c(G') p. An extended analysis of the case where H is contained in a normal subgroup of G (and in particu…
We consider a fixed free and proper action of a locally compact group $G$ on a space $T$, and actions $α:G\to \Aut A$ on $C^*$-algebras for which there is an equivariant embedding of $(C_0(T),\rt)$ in $(M(A),α)$. A recent theorem of Rieffel implies that $α$ is proper and saturated with respect to the subalgebra $C_0(T)AC_0(T)$ of $A$, so that his general theory of proper actions gives a Morita equivalence between $A\rtimes_{α,r}G$ and a generalised fixed-point algebra $A^α$. Here we investigate the functor $(A,α)\mapsto A^α$ and the naturality of Rieffel's Morita equivalence, focusing in parti…
We generalize the main theorem of Rieffel for Morita equivalence of W*-algebras to the case of unital dual operator algebras: two unital dual operator algebras A and B have completely isometric normal representations alpha, beta such that alpha(A) is the w*-closed span of M*beta(B)M and beta(B) is the w*-closed span of Malpha(A)M* for a ternary ring of operators M (i.e. a linear space M such that MM*M \subset M if and only if there exists an equivalence functor $F:_{A}M\to_{B}M$ which "extends" to a *-functor implementing an equivalence between the categories $_{A}DM$ and $_{B}DM.$ By $_{A}M$ …
Suppose a locally compact group G acts freely and properly on a locally compact Hausdorff space X, and let gamma be the induced action on C_0(X). We consider a category in which the objects are C*-dynamical systems (A, G, alpha) for which there is an equivariant homomorphism of (C_0(X), gamma) into the multiplier algebra M(A). Rieffel has shown that such systems are proper and saturated, and hence have a generalized fixed-point algebra A^alpha which is Morita equivalent to A times_{alpha,r} G. We show that the assignment (A, alpha) maps to A^alpha is functorial, and that Rieffel's Morita equiv…
Let $δ$ be a nondegenerate coaction of G on a C*-algebra B, and let H be a closed subgroup of G. The dual action of H on $B\times_δG$ is proper and saturated in the sense of Rieffel, and the generalised fixed-point algebra is the crossed product of B by the homogeneous space G/H. The resulting Morita equivalence is a version of Mansfield's imprimitivity theorem which requires neither amenability nor normality of H.
In this article we establish the foundations of the Morita homotopy theory of C*-categories. Concretely, we construct a cofibrantly generated simplicial symmetric monoidal Quillen model structure M_Mor on the category C*cat1 of small unital C*-categories. The weak equivalences are the Morita equivalences and the cofibrations are the *-functors which are injective on objects. As an application, we obtain an elegant description of the Brown-Green-Rieffel Picard group in the associated Morita homotopy category Ho(M_Mor). We then prove that the Morita homotopy category is semi-additive. By group c…
We revisit and generalize the application of a method introduced by Latrémolière and Packer for constructing finitely generated projective modules over the noncommutative solenoid C*-algebras. By realizing them as direct limits of rotation algebras, the method constructs directed systems of equivalence bimodules between rotation algebras that satisfy the necessary compatibility conditions to build Morita equivalence bimodules between the direct limit C*-algebras. In the irrational case, we use a fixed projection in a matrix algebra over the rotation algebra satisfying a key condition to build …
We prove that the C*-algebra of the universal (n,m)-dynamical system may be obtained, up to Morita-Rieffel equivalence, as the crossed-product relative to an interaction on a commutative C*-algebra. The interaction involved is shown not to be part of an interaction group.
In this paper we apply Rieffel deformation to C*- tensor product viewed as a functor on the category of C*-algebras with an abelian group action. In the case of the Rieffel deformation of a quantum group with the action by automorphisms the deformed tensor product enables us to view the deformed object as a braided quantum group. We construct a bicharacter for a braided quantum group and the dual braided quantum group. We employ our method to get a braided quantum Minkowski space. Its description in terms of the deformed space-time coordinates is provided.
We consider two twisted actions of a countable discrete group on $σ$-unital $C^*$-algebras. Then by taking the reduced crossed products, we get two inclusions of $C^*$-algebras. We suppose that they are strongly Morita equivalent as inclusions of $C^*$-algebras. Also, we suppose that one of the inclusions is irreducible, that is, the relative commutant of one of the $σ$-unital $C^*$-algebra in the multiplier $C^*$-algebra of the reduced twisted crossed product is trivial. We show that the two actions are then strongly Morita equivalent up to some automorphism of the group.
The first imprimitivity theorems identified the representations of groups or dynamical systems which are induced from representations of a subgroup. Symmetric imprimitivity theorems identify pairs of crossed products by different groups which are Morita equivalent, and hence have the same representation theory. Here we consider commuting actions of groups $H$ and $K$ on a $C^*$-algebra which are saturated and proper as defined by Rieffel in 1990. Our main result says that the resulting Morita equivalence of crossed products is natural in the sense that it is compatible with homomorphisms and i…
We consider two saturated Fell bundles over a countable discrete group, whose unit fibers are $σ$-unital $C^*$-algebras. Then by taking the reduced cross-sectional $C^*$-algebras, we get two inclusions of $C^*$-algebras. We suppose that they are strongly Morita equivalent as inclusions of $C^*$-algebras. Also, we suppose that one of the inclusions of $C^*$-algebras is irreducible, that is, the relative commutant of one of the unit fiber algebras, which is a $σ$-unital $C^*$-algebra, in the multiplier $C^*$-algebra of the reduced cross-sectional $C^*$-algebra is trivial. We show that the two sa…
Let $A$ and $B$ be unital $C^*$-algebras and let $H$ be a finite dimensional $C^*$-Hopf algebra. Let $H^0$ be its dual $C^*$-Hopf algebra. Let $(ρ, u)$ and $(σ, v)$ be twisted coactions of $H^0$ on $A$ and $B$, respectively. In this paper, we shall show the following theorem: We suppose that the unital inclusions $A\subset A\rtimes_{ρ, u}H$ and $B\subset B\rtimes_{σ, v}H$ are strongly Morita equivalent. If $A'\cap (A\rtimes_{ρ, u}H)=\BC1$, then there is a $C^*$-Hopf algebra automorphism $λ^0$ of $H^0$ such that the twisted coaction $(ρ, u)$ is strongly Morita equivalent to the twisted coaction…
Let $E$ be a $W^{*}$-correspondence and let $H^{\infty}(E)$ be the associated Hardy algebra. The unit disc of intertwiners $\mathbb{D}((E^σ)^{*})$ plays a central role in the study of $H^{\infty}(E)$. We show a number of results related to the automorphism groups of both $H^{\infty}(E)$ and $\mathbb{D}((E^σ)^{*})$. We find a matrix representation for these groups and describe several features of their algebraic structure. Furthermore, we show an application of $Aut(\mathbb{D}({(E^σ})^*))$ to the study of Morita equivalence of $W^{*}$-correspondences.
We give a solution, via operator spaces, of an old problem in the Morita equivalence of C*-algebras. Namely, we show that C*-algebras are strongly Morita equivalent in the sense of Rieffel if and only if their categories of left operator modules are isomorphic via completely contractive functors. Moreover, any such functor is completely isometrically isomorphic to the Haagerup tensor product (= interior tensor product) with a strong Morita equivalence bimodule. An operator module over a C$^*-$algebra $\A$ is a closed subspace of some B(H) which is left invariant under multiplication by $π(\A)$…
We give a notion of equivalence for Fell bundles over groups, not necessarily saturated nor separable, and show that equivalent Fell bundles have Morita-Rieffel equivalent cross-sectional $C^*$-algebras. Our notion is originated in the context of partial actions and their enveloping actions. The equivalence between two Fell bundles is implemented by a bundle of Hilbert bimodules with some extra structure. Suitable cross-sectional spaces of such a bundle turn out to be imprimitivity bimodules for the cross-sectional $C^*$-algebras of the involved Fell bundles. We show that amenability is preser…
Let G and H be two locally compact groups acting on a C*-algebra A by commuting actions. We construct an action on the crossed product AXG out of a unitary 2-cocycle u and the action of H on A. For A commutative, and free and proper actions of G and H, we show that if the roles of these two actions are reversed, and u is replaced by u*, then the corresponding generalized fixed-point algebras, in the sense of Rieffel, are strong-Morita equivalent. We apply this result to the computation of the K-theory of quantum Heisenberg manifolds.
We analyze Hecke pairs (G,H) and the associated Hecke algebra when G is a semidirect product N x Q and H = M x R for subgroups M of N and R of Q with M normal in N. Conditions are given in terms of N, Q, M, and R which are equivalent to the Hecke condition on (G,H), and the Schlichting completion of (G,H) is identified in terms of completions of N, Q, M, and R. Our main result shows that (assuming (G,H) coincides with its Schlichting completion) when R is normal in Q, the closure of the Hecke algebra in C*(G) is Morita-Rieffel equivalent to a crossed product I x Q/R, where I is a certain ideal…
When S is a discrete subsemigroup of a discrete group G such that G = S^{-1} S, it is possible to extend circle-valued multipliers from S to G; to dilate (projective) isometric representations of S to (projective) unitary representations of G; and to dilate/extend actions of S by injective endomorphisms of a C*-algebra to actions of G by automorphisms of a larger C*-algebra. These dilations are unique provided they satisfy a minimality condition. The (twisted) semigroup crossed product corresponding to an action of S is isomorphic to a full corner in the (twisted) crossed product by the dilate…
Green's theorem gives a Morita equivalence $C_0(G/H,A)\rtimes G\sim A\rtimes H$ for a closed subgroup $H$ of a locally compact group $G$ acting on a $C^*$-algebra $A$. We prove an analogue of Green's theorem in the case $G=\mathbb{Z}$, where the automorphism generating the action is replaced by a Hilbert $C^*$-bimodule.
In his seminal paper "Generalized Fixed Point Algebras and Square-Integrable Group Actions", Ralf Meyer showed how to construct generalized fixed-point algebras for $ C^{\ast} $-dynamical systems via their square-integrable representations on Hilbert $ C^{\ast} $-modules. His method extends Marc Rieffel's construction of generalized fixed-point algebras from proper group actions on $ C^{\ast} $-algebras. This dissertation seeks to generalize Meyer's work to construct generalized fixed-point algebras for twisted $ C^{\ast} $-dynamical systems. To accomplish this, we must introduce some new conc…
We introduce notions of dimension and dynamical entropy for unital C*-algebras ``metrized'' by means of c-Lip-norms, which are complex-scalar versions of the Lip-norms constitutive of Rieffel's compact quantum metric spaces. Our examples involve UHF algebras and noncommutative tori. In particular we show that the entropy of a noncommutative toral automorphism with respect to the canonical c-Lip-norm coincides with the topological entropy of its commutative analogue.
Bounded orbit injection equivalence is an equivalence relation defined on minimal free Cantor systems which is a candidate to generalize flip Kakutani equivalence to actions of the Abelian free groups on more than one generator. This paper characterizes bounded orbit injection equivalence in terms of a mild strengthening of Rieffel-Morita equivalence of the associated C*-crossed-product algebras. Moreover, we construct an ordered group which is an invariant for bounded orbit injection equivalence, and does not agrees with the K\_0 group of the associated C*-crossed-product in general. This new…
For an approximately central (AC) Powers-Rieffel projection $e$ in the irrational Flip orbifold C*-algebra $A_θ^Φ,$ where $Φ$ is the Flip automorphism of the rotation C*-algebra $A_θ,$ we compute the Connes-Chern character of the cutdown of any projection by $e$ in terms of K-theoretic invariants of these projections. This result is then applied to computing a complete K-theoretic invariant for the projection $e$ with respect to central equivalence (within the orbifold). Thus, in addition to the canonical trace, there is a $4\times6$ K-matrix invariant $K(e)$ arising from unbounded traces of t…
Let $\mathcal{A}= \{A_t \}_{t \in G}$ and $\mathcal{B}= \{B_t \}_{t\in G}$ be $C^*$-algebraic bundles over a finite group $G$. Let $C=\oplus_{t \in G}A_t$ and $D=\oplus_{t\in G}B_t$. Also, let $A=A_e$ and $B=B_e$, where $e$ is the unit element in $G$. We suppose that $C$ and $D$ are unital and $A$ and $B$ have the unit elements in $C$ and $D$, respectively. In this paper, we shall show that if there is an equivalence $\mathcal{A}-\mathcal{B}$-bundle over $G$ with some properties, then the unital inclusions of unital $C^*$-algebras $A \subset C$ and $B \subset D$ induced by $\mathcal{A}$ and $\…
Let $\mathcal{A}$ be a completely rational local Möbius covariant net on $S^1$, which describes a set of chiral observables. We show that local Möbius covariant nets $\mathcal{B}_2$ on 2D Minkowski space which contains $\mathcal{A}$ as chiral left-right symmetry are in one-to-one correspondence with Morita equivalence classes of Q-systems in the unitary modular tensor category $\mathrm{DHR}(\mathcal{A})$. The Möbius covariant boundary conditions with symmetry $\mathcal{A}$ of such a net $\mathcal{B}_2$ are given by the Q-systems in the Morita equivalence class or by simple objects in the modul…
This is a book about Partial Actions and Fell Bundles with applications to C*-algebras generated by partial isometries. Here is the table of contents: 1-Introduction, 2-Partial actions, 3-Restriction and globalization, 4-Inverse semigroups, 5-Topological partial dynamical systems, 6-Algebraic partial dynamical systems, 7-Multipliers, 8-Crossed products, 9-Partial group representations, 10-Partial group algebras, 11-C*-algebraic partial dynamical systems, 12-Partial isometries, 13-Covariant representations of C*-algebraic dynamical systems, 14-Partial representations subject to relations, 15-Hi…
