In further study of the application of crossed-product functors to the Baum-Connes Conjecture, Buss, Echterhoff, and Willett introduced various other properties that crossed-product functors may have. Here we introduce and study analogues of these properties for coaction functors, making sure that the properties are preserved when the coaction functors are composed with the full crossed product to make a crossed-product functor. The new properties for coaction functors studied here are functoriality for generalized homomorphisms and the correspondence property. We particularly study the connections with the ideal property. The study of functoriality for generalized homomorphisms requires a detailed development of the Fischer construction of maximalization of coactions with regard to possibly degenerate homomorphisms into multiplier algebras. We verify that all "KLQ" functors arising from large ideals of the Fourier-Stieltjes algebra $B(G)$ have all the properties we study, and at the opposite extreme we give an example of a coaction functor having none of the properties.
For a discrete group $G$, we develop a `$G$-balanced tensor product' of two coactions $(A,δ)$ and $(B,ε)$, which takes place on a certain subalgebra of the maximal tensor product $A\otimes_{\max} B$. Our motivation for this is that we are able to prove that given two actions of $G$, the dual coaction on the crossed product of the maximal-tensor-product action is isomorphic to the $G$-balanced tensor product of the dual coactions. In turn, our motivation for this is to give an analogue, for coaction functors, of a crossed-product functor originated by Baum, Guentner, and Willett, and further de…
Mansfield's imprimitivity theorem for full crossed products
对G的任意极大余作用（A，G，delta）和任意闭正规子群N，存在全交叉积A x G x N与A x G/N之间的不相容双模Y，以及G的相容余作用delta Y.赋值（A，delta）->（Y，delta_Y）实现了交叉积函子“x G x N”和“x G/N”之间的自然等价，在这个范畴中，对象是G的极大余作用，态射是G的右Hilbert双模余作用的同构类.
A certain type of functor on a category of coactions of a locally compact group on C*-algebras is introduced and studied. These functors are intended to help in the study of the crossed-product functors that have been recently introduced in relation to the Baum-Connes conjecture. The most important coaction functors are the ones induced by large ideals of the Fourier-Stieltjes algebra. It is left as an open problem whether the "minimal exact and Morita compatible crossed-product functor" is induced by a large ideal.
We present definitions of both Connes spectrum and strong Connes spectrum for actions of compact quantum groups on C*-algebras and obtain necessary and sufficient conditions for a crossed product to be a prime or a simple C*-algebra. Our results extend to the case of compact quantum actions the results in [8] which in turn, generalize results by Connes, Olesen and Pedersen and Kishimoto for abelian group actions. We prove in addition that the Connes spectra are closed under tensor products. These results are new for compact nonabelian groups as well.
If a locally compact group G acts on a C*-algebra B, we have both full and reduced crossed products, and each has a coaction of G. We investigate "exotic" coactions in between, that are determined by certain ideals E of the Fourier-Stieltjes algebra B(G) -- an approach that is inspired by recent work of Brown and Guentner on new C*-group algebra completions. We actually carry out the bulk of our investigation in the general context of coactions on a C*-algebra A. Buss and Echterhoff have shown that not every coaction comes from one of these ideals, but nevertheless the ideals do generate a wid…
We present a new construction of crossed-product duality for maximal coactions that uses Fischer's work on maximalizations. Given a group $G$ and a coaction $(A,δ)$ we define a generalized fixed-point algebra as a certain subalgebra of $M(A\rtimes_δ G \rtimes_{\widehatδ} G)$, and recover the coaction via this double crossed product. Our goal is to formulate this duality in a category-theoretic context, and one advantage of our construction is that it breaks down into parts that are easy to handle in this regard. We first explain this for the category of nondegenerate *-homomorphisms, and then …
We survey the results required to pass between full and reduced coactions of locally compact groups on C*-algebras, which say, roughly speaking, that one can always do so without changing the crossed-product C*-algebra. Wherever possible we use definitions and constructions that are well-documented and accessible to non-experts, and otherwise we provide full details. We then give a series of applications to illustrate the use of these techniques. We obtain in particular a new version of Mansfield's imprimitivity theorem for full coactions, and prove that it gives a natural isomorphism between …
We prove that if E and F are large ideals of B(G) for which the associated coaction functors are exact, then the same is true for the intersection of E and F. We also give an example of a coaction functor whose restriction to the maximal coactions does not come from any large ideal.
We show that if $Å$ is a Fell bundle over a locally compact group $G$, then there is a natural coaction $δ$ of $G$ on the Fell-bundle $C^*$-algebra $C^*(G,Å)$ such that if $\hatδ$ is the dual action of $G$ on the crossed product $C^*(G,Å) \rtimes_δ G$, then the full crossed product $(C^*(G,Å) \rtimes_δG)\rtimes_{\hatδ}G$ is canonically isomorphic to $C^*(G,Å) \otimes\KK(L^2(G))$. Hence the coaction $δ$ is maximal.
In this partly expository paper we compare three different categories of C*-algebras in which crossed-product duality can be formulated, both for actions and for coactions of locally compact groups. In these categories, the isomorphisms correspond to C*-algebra isomorphisms, imprimitivity bimodules, and outer conjugacies, respectively. In each case, a variation of the fixed-point functor that arises from classical Landstad duality is used to obtain a quasi-inverse for a crossed-product functor. To compare the various cases, we describe in a formal way our view of the fixed-point functor as an …
For a given discrete group $G$, we apply results of Kirchberg on exact and injective tensor products of $C^*$-algebras to give an explicit description of the minimal exact correspondence crossed-product functor and the maximal injective crossed-product functor for $G$ in the sense of Buss, Echterhoff and Willett. In particular, we show that the former functor dominates the latter.
Connes showed that spectral triples encode (noncommutative) metric information. Further, Connes and Moscovici in their metric bundle construction showed that, as with the Takesaki duality theorem, forming a crossed product spectral triple can substantially simplify the structure. In a recent paper, Bellissard, Marcolli and Reihani (among other things) studied in depth metric notions for spectral triples and crossed product spectral triples for $Z$-actions, with applications in number theory and coding theory. In the work of Connes and Moscovici, crossed products involving groups of diffeomorph…
Given a C*-dynamical system (A,G,α), we say that A is a weakly proper (X\rtimes G)-algebra if there exists a proper G-space X together with a nondegenerate G-equivariant *-homomorphism ϕ:C_0(X)->M(A). Weakly proper G-algebras form a large subclass of the class of proper G-algebras in the sense of Rieffel. In this paper we show that weakly proper (X\rtimes G)-algebras allow the construction of full fixed-point algebras A^G corresponding to the full crossed product A\rtimes_αG, thus solving, in this setting, a problem stated by Rieffel in his 1988's original article on proper actions. As an appl…
A crossed product functor is said to be injective if it takes injective morphisms to injective morphisms. In this paper we show that every locally compact group $G$ admits a maximal injective crossed product $A\mapsto A\rtimes_{\inj}G$. Moreover, we give an explicit construction of this functor that depends only on the maximal crossed product and the existence of $G$-injective $C^*$-algebras; this is a sort of a `dual' result to the construction of the minimal exact crossed product functor, the latter having been studied for its relationship to the Baum-Connes conjecture. It turns out that $\r…
We consider induced coactions on C*-algebras along a homomorphism of locally compact quantum groups which need not give a closed quantum subgroup. Our approach generalizes the induced coactions constructed by Vaes, and also includes certain fixed point algebras. We focus on the case when the homomorphism satisfies a quantum analogue of properness. Induced coactions along such a homomorphism still admit the natural formulations of various properties known in the case of a closed quantum subgroup, such as imprimitivity and adjointness with restriction. Also, we show a relationship of induced coa…
We show that for a locally compact group G there is a one-to-one correspondence between G-invariant weak*-closed subspaces E of the Fourier-Stieltjes algebra B(G) containing B_r(G) and quotients C*_E(G) of C*(G) which are intermediate between C*(G) and the reduced group algebra C*_r(G). We show that the canonical comultiplication on C*(G) descends to a coaction or a comultiplication on C*_E(G) if and only if E is an ideal or subalgebra, respectively. When αis an action of G on a C*-algebra B, we define "E-crossed products" B\rtimes_{α,E} G lying between the full crossed product and the reduced…
The purpose of this paper is to introduce a consistent notion of universal and reduced crossed products by actions and coactions of groups on operator systems and operator spaces. In particular we shall put emphasis to reveal the full power of the universal properties of the the universal crossed products. It turns out that to make things consistent, it seems useful to perform our constructions on some bigger categories which allow the right framework for studying the universal properties and which are stable under the construction of crossed products even for non-discrete groups. In the case …
Given two correspondences X and Y, we show that (under mild hypotheses) the Cuntz-Pimsner algebra of the tensor product of X and Y embeds as a certain subalgebra of the tensor product of the Cuntz-Pimsner algebra of X and the Cuntz=Pimsner algebra of Y. Furthermore, this subalgebra can be described in a natural way in terms of the gauge actions on the Cuntz-Pimsner algebras. We explore implications for graph algebras, crossed products by the integers, and crossed products by completely positive maps. We also give a new proof of a result of Kaliszewski and Quigg related to coactions on correspo…
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 decompose the crossed product functor for actions of crossed modules of locally compact groups on C*-algebras into more elementary constructions: taking crossed products by group actions and fibres in C*-algebras over topological spaces. For this, we extend the theory of partial crossed products from groups to crossed modules; extend Takesaki-Takai duality to Abelian crossed modules; show that equivalent crossed modules have equivalent categories of actions on C*-algebras; and show that certain crossed modules are automatically equivalent to Abelian crossed modules.
We study general properties of exotic crossed-product functors and characterise those which extend to functors on equivariant C*-algebra categories based on correspondences. We show that every such functor allows the construction of a descent in KK-theory and we use this to show that all crossed products by correspondence functors of K-amenable groups are KK-equivalent. We also show that for second countable groups the minimal exact Morita compatible crossed-product functor used in the new formulation of the Baum-Connes conjecture by Baum, Guentner and Willett extends to correspondences when r…
We study the connection between the Baum-Connes conjecture for an ample groupoid $G$ with coefficient $A$ and the Künneth formula for the K-theory of tensor products by the crossed product $A\rtimes_r G$. To do so we develop the machinery of Going-Down functors for ample groupoids. As an application we prove that both the uniform Roe algebra of a coarse space which uniformly embeds into a Hilbert space and the maximal Roe algebra of a space admitting a fibred coarse embedding into a Hilbert space satisfy the Künneth formula. We also provide a stability result for the Künneth formula using cont…
We provide a reference for basic categorial properties of the categories of (possibly non-unital) $\mathbb{C}$-linear $*$-categories or $C^{*}$-categories, and (not necessarily unit-preserving) functors. Generalizing the classical case of algebras with $G$-action, we extend the construction of crossed products to categories with $G$-action. We will show that the crossed product functor preserves exact sequences and excisive squares and sends weak equivalences to equivalences.
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…
Given a locally compact group $G$, we study the smallest exact crossed-product functor $(A,G,α)\mapsto A\rtimes_{\mathcal E} G$ on the category of $G$-$C^*$-dynamical systems. As an outcome, we show that the smallest exact crossed-product functor is automatically Morita compatible, and hence coincides with the functor $\rtimes_{\mathcal{E}}$ as introduced by Baum, Guentner, and Willett in their reformulation of the Baum-Connes conjecture (see [2]). We show that the corresponding group algebra $C_{\mathcal{E}}^*(G)$ always coincides with the reduced group algebra, thus showing that the new form…
We give a new definition of the semigroup C*-algebra of a left cancellative semigroup, which resolves problems of the construction by X. Li. Namely, the new construction is functorial, and the independence of ideals in the semigroup does not influence the independence of the generators. It has a group C*-algebra as a natural quotient. The C*-algebra of the old construction is a quotient of the new one. All this applies both to the full and reduced C*-algebras. The construction is based on the universal inverse semigroup generated by a left cancellative semigroup. We apply this approach to conn…
We strengthen a result of Hanke-Schick about the strong Novikov conjecture for low degree cohomology by showing that their non-vanishing result for the maximal group C*-algebra holds for many other exotic group C*-algebras, in particular the one associated to the smallest strongly Morita compatible and exact crossed product functor used in the new version of the Baum-Connes conjecture. To achieve this we provide a Fell absorption principle for certain exotic crossed product functors.
Given a spectral triple on a unital $C^{*}$-algebra $A$ and an equicontinuous action of a discrete group $G$ on $A$, a spectral triple on the reduced crossed product $C^{*}$-algebra $A\rtimes_r G$ was constructed by Hawkins, Skalski, White and Zacharias in [On spectral triples on crossed products arising from equicontinuous actions, Math. Scand. 113(2) (2013) 262-291], extending the construction by Belissard, Marcolli and Reihani in [Dynamical systems on spectral metric spaces, preprint (2010), arXiv:1008.4617], by using the Kasparov product to make an ansatz for the Dirac operator. Supposing …
We reformulate the Baum-Connes conjecture with coefficients by introducing a new crossed product functor for C*-algebras. All confirming examples for the original Baum-Connes conjecture remain confirming examples for the reformulated conjecture, and at present there are no known counterexamples to the reformulated conjecture. Moreover, some of the known expander-based counterexamples to the original Baum-Connes conjecture become confirming examples for our reformulated conjecture.
It is shown that a C*-algebra generated by any faithful covariant representation of a Hilbert bimodule X is canonically isomorphic to the crossed product associated to X provided that Rieffel's induced representation functor X-ind is topologically free. It is discussed how this result could be applied to universal C*-algebras generated by relations with a circle gauge action. In particular, it leads to generalizations of isomorphism theorems for various crossed products, and is shown to be equivalent to Cuntz-Krieger uniqueness theorem for finite graph C*-algebras (on that occasion an intrigui…
An exotic crossed product is a way of associating a C*-algebra to each C*-dynamical system that generalizes the well-known universal and reduced crossed products. Exotic crossed products provide natural generalizations of, and tools to study, exotic group C*-algebras as recently considered by Brown-Guentner and others. They also form an essential part of a recent program to reformulate the Baum-Connes conjecture with coefficients so as to mollify the counterexamples caused by failures of exactness. In this paper, we survey some constructions of exotic group algebras and exotic crossed products…
