A cosystem consists of a possibly nonselfadoint operator algebra equipped with a coaction by a discrete group. We introduce the concept of C*-envelope for a cosystem; roughly speaking, this is the smallest C*-algebraic cosystem that contains an equivariant completely isometric copy of the original one. We show that the C*-envelope for a cosystem always exists and we explain how it relates to the usual C*-envelope. We then show that for compactly aligned product systems over group-embeddable right LCM semigroups, the C*-envelope is co-universal, in the sense of Carlsen, Larsen, Sims and Vittadello, for the Fock tensor algebra equipped with its natural coaction. This yields the existence of a co-universal C*-algebra, generalizing previous results of Carlsen, Larsen, Sims and Vittadello, and of Dor-On and Katsoulis. We also realize the C*-envelope of the tensor algebra as the reduced cross sectional algebra of a Fell bundle introduced by Sehnem, which, under a mild assumption of normality, we then identify to the quotient of the Fock algebra by the image of Sehnem's strong covariance ideal. In another application, we obtain a reduced Hao-Ng isomorphism theorem for the co-universal algebras.
Let $P$ be a submonoid of a group $G$ and let $\mathcal{E}=(\mathcal{E}_p)_{p\in P}$ be a product system over $P$ with coefficient C*-algebra $A$. We show that the following C*-algebras are canonically isomorphic: the C*-envelope of the tensor algebra $\mathcal{T}_λ(\mathcal{E})^+$ of $\mathcal{E}$; the reduced cross sectional C*-algebra of the Fell bundle associated to the canonical coaction of $G$ on the covariance algebra $A\times_{\mathcal{E}}P$ of $\mathcal{E}$; and the C*-envelope of the cosystem obtained by restricting the canonical gauge coaction on $\mathcal{T}_λ(\mathcal{E})$ to the …
Using the strong relation between coactions of a discrete group G on C*-algebras and Fell bundles over G, we prove a new version of Mansfield's imprimitivity theorem for coactions of discrete groups. Our imprimitivity theorem works for the universally defined full crossed products and arbitrary subgroups of G, as opposed to the usual theory which uses the spatially defined reduced crossed products and normal subgroups of G. Moreover, our theorem factors through the usual one by passing to appropriate quotients. As applications we show that a Fell bundle over a discrete group is amenable in the…
The graph C*-algebra of a directed graph E is the universal C*-algebra generated by a family of partial isometries satisfying relations which reflect the path structure of E. In the first part of this paper we consider coverings of directed graphs: morphisms p:F->E which are local isomorphisms. We show that the graph algebra C*(F) can be recovered from C*(E) as a crossed product by a coaction of a homogeneous space associated to the fundamental group π_1 (E). These crossed products provide a good model for a general theory of crossed products by homogeneous spaces. The second part of the paper…
We define and study an equivariant $E$-theory with respect to coactions of Hopf $C^*$-algebras; we prove the Baaj-Skandalis duality in this setting. We show that the corresponding equivariant $KK$-theory of Baaj and Skandalis enjoys an universal property. In the appendix, we look at the different ways of expressing equivariant stability for a functor, and prove an equivariant Brown-Green-Rieffel stabilization result.
Given a labeling c of the edges of a directed graph E by elements of a discrete group G, one can form a skew-product graph E cross_c G. We show, using the universal properties of the various constructions involved, that there is a coaction delta of G on C*(E) such that C*(E cross_c G) is isomorphic to the crossed product C*(E) cross_delta G. This isomorphism is equivariant for the dual action deltahat and a natural action gamma of G on C*(E cross_c G); following results of Kumjian and Pask, we show that C*(E cross_c G) cross_gamma G is isomorphic to C*(E cross_c G) cross_{gamma,r} G, which in …
We construct new examples of ergodic coactions of compact quantum groups, in which the multiplicity of an irreducible corepresentation can be strictly larger than the dimension of the latter. These examples are obtained using a bijective correspondence between certain ergodic coactions on C*-algebras and unitary fiber functors on the representation category of a compact quantum group. We classify these unitary fiber functors on the universal orthogonal and unitary quantum groups. The associated C*-algebras and von Neumann algebras can be defined by generators and relations, but are not yet wel…
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…
Given a group cocycle on a finitely aligned left cancellative small category (LCSC) we investigate the associated skew product category and its Cuntz-Krieger algebra, which we describe as the crossed product of the Cuntz-Krieger algebra of the original category by an induced coaction of the group. We use our results to study Cuntz-Krieger algebras arising from free actions of groups on finitely aligned LCSC's, and to construct coactions of groups on Exel-Pardo algebras. Finally we discuss the universal group of a small category and connectedness of skew product categories.
Let X be a product system over a quasi-lattice ordered group. Under mild hypotheses, we associate to X a C*-algebra which is co-universal for injective Nica covariant Toeplitz representations of X which preserve the gauge coaction. Under appropriate amenability criteria, this co-universal C*-algebra coincides with the Cuntz-Nica-Pimsner algebra introduced by Sims and Yeend. We prove two key uniqueness theorems, and indicate how to use our theorems to realise a number of reduced crossed products as instances of our co-universal algebras. In each case, it is an easy corollary that the Cuntz-Nica…
We introduce P-graphs, which are generalisations of directed graphs in which paths have a degree in a semigroup P rather than a length in N. We focus on semigroups P arising as part of a quasi-lattice ordered group (G,P) in the sense of Nica, and on P-graphs which are finitely aligned in the sense of Raeburn and Sims. We show that each finitely aligned P-graph admits a C*-algebra C*_{min}(Lambda) which is co-universal for partial-isometric representations of Lambda which admit a coaction of G compatible with the P-valued length function. We also characterise when a homomorphism induced by the …
We show that for a class of operator algebras satisfying a natural condition the $C^*$-envelope of the universal free product of operator algebras $A_i$ is given by the free product of the $C^*$-envelopes of the $A_i$. We apply this theorem to, in special cases, the $C^*$-envelope of the semicrossed products for multivariable dynamics in terms of the single variable semicrossed products of Peters.
In this paper, we construct, for a certain class of semigroup dynamical systems, two operator algebras that are universal with respect to their corresponding covariance conditions: one being self-adjoint, and another being non-self-adjoint. We prove that the $C^*$-envelope of the non-self-adjoint operator algebra is precisely the self-adjoint one. This result leads to a number of new examples of operator algebras and their $C^*$-envelopes, with many from number fields and commutative rings. We further establish the functoriality of these operator algebras along with their applications.
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 …
We study the issue of issue of purity (as a completely positive linear map) for identity maps on operators systems and for their completely isometric embeddings into their C$^*$-envelopes and injective envelopes. Our most general result states that the canonical embedding of an operator system $\mathcal R$ into its injective envelope $\mathcal I(\mathcal R)$ is pure if and only if the C$^*$-envelope of $\mathcal R$ is a prime C$^*$-algebra. To prove this, we also show that the identity map on any AW$^*$-factor is a pure completely positive linear map. For embeddings of operator systems into th…
Let $(G, P)$ be an abelian, lattice ordered group and let $X$ be a compactly aligned product system over $P$. We show that the C*-envelope of the Nica tensor algebra $\mathcal{N}\mathcal{T}^+_X$ coincides with both Sehnem's covariance algebra $\mathcal{A} \times_X P$ and the co-universal C*-algebra $\mathcal{N}\mathcal{O}^r_X$ for injective, gauge compatible, Nica-covariant representations of Carlsen, Larsen, Sims and Vittadello. We give several applications of this result on both the selfadjoint and non-selfadjoint operator algebra theory. First we guarantee the existence of $\mathcal{N}\math…
Given an arbitrary countable directed graph $G$ we prove the C*-envelope of the tensor algebra $T_+(G)$ coincides with the universal Cuntz-Krieger algebra associated with $G$. Our approach is concrete in nature and does not rely on Hilbert module machinery. We show how our results extend to the case of higher rank graphs, where an analogous result is obtained for the tensor algebra of a row-finite $k$-graph with no sources.
We show that the assignment of the (left) completely bounded multiplier algebra $M_{cb}^l(L^1(\mathbb G))$ to a locally compact quantum group $\mathbb G$, and the assignment of the intrinsic group, form functors between appropriate categories. Morphisms of locally compact quantum groups can be described by Hopf $*$-homomorphisms between universal $C^*$-algebras, by bicharacters, or by special sorts of coactions. We show that the whole theory of completely bounded multipliers can be lifted to the universal $C^*$-algebra level, and that then the different pictures of both multipliers (reduced, u…
We examine the semicrossed products of a semigroup action by $*$-endomorphisms on a C*-algebra, or more generally of an action on an arbitrary operator algebra by completely contractive endomorphisms. The choice of allowable representations affects the corresponding universal algebra. We seek quite general conditions which will allow us to show that the C*-envelope of the semicrossed product is (a full corner of) a crossed product of an auxiliary C*-algebra by a group action. Our analysis concerns a case-by-case dilation theory on covariant pairs. In the process we determine the C*-envelope fo…
We realize the noncommutative Gurarij space $\mathbb{NG}$ defined by Oikhberg as the Fra\"ıssé limit of the class of finite-dimensional $1$-exact operator spaces. As a consequence we deduce that the concommutative Gurarij space is unique up to completely isometric isomorphism, homogeneous, and universal among separable $1$-exact operator spaces. We also prove that $\mathbb{NG}$ is the unique separable nuclear operator space with the property that the canonical triple morphism from the universal TRO to the triple envelope is an isomorphism. We deduce from this fact that $\mathbb{NG}$ does not e…
This paper addresses the isomorphism problem for the universal (nonself-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if and only if the defining polynomial relations are the same up to a unitary change of variables, and that this happens if and only if the associated subproduct systems are isomorphic. The proof makes use of the complex analytic structure of the character space, together with some recent results on subproduct systems. Restricting attention to commutative operato…
By means of Fraïssé theory for metric structures developed by Ben Yaacov, we show that there exists a separable $1$-exact operator system $\mathbb{GS}$---which we call the Gurarij operator system---of almost universal disposition. This means that whenever $E\subset F$ are finite-dimensional $1$-exact operator systems, $ϕ:E\rightarrow \mathbb{GS}$ is a unital complete isometry, and $\varepsilon >0$, there is a linear extension $\widehat{ϕ}:F\rightarrow \mathbb{GS}$ of $ϕ$ such that $||\widehat{ϕ}||_{cb}{}||\widehat{ϕ}^{-1}||_{cb}\leq 1+\varepsilon $. Such an operator system is unique up to comp…
