We determine the injective envelope and local multiplier algebra of a continuous trace C*-algebra that arises from a continuous Hilbert bundle over an arbitrary locally compact Hausdorff space. In addition, we show that the second-order local multiplier algebra of any such algebra is injective.
A precise description of the injective envelope of a spatial continuous trace C*-algebra A over a Stonean space Delta is given. The description is based on the notion of a weakly continuous Hilbert bundle, which we show to be a Kaplansky--Hilbert module over the abelian AW*-algebra C(Delta). We then use the description of the injective envelope of A to study the first- and second-order local multiplier algebras of A. In particular, we show that the second-order local multiplier algebra of A is precisely the injective envelope of A.
Given a unital C*-subalgebra of B(H), we study the set of all possible images of its injective envelope that are contained in B(H) and their position relative to the double commutant of the algebra in order to obtain more information about the existence or non-existence of weak expectations. We study the subset of B(H) that is the intersection of all possible images of the injective envelope and show that it is simultaneously a reflexive cover and a new type of order completion of the algebra.
We consider the ideal structure of a reduced crossed product of a unital $C^*$-algebra equipped with an action of a discrete group. More specifically we find sufficient and necessary conditions for the group action to have the intersection property, meaning that non-zero ideals in the reduced crossed product restrict to non-zero ideals in the underlying $C^*$-algebra. We show that the intersection property of a group action on a $C^*$-algebra is equivalent to the intersection property of the action on the equivariant injective envelope. We also show that the centre of the equivariant injective…
We present some more foundations for a theory of real structure in operator spaces and algebras, in particular concerning the real case of the theory of injectivity, and the injective, ternary, and $C^*$-envelope. We consider the interaction between these topics and the complexification. We also generalize many of these results to the setting of operator spaces and systems acted upon by a group.
This paper studies injective envelopes of groupoid dynamical systems and the corresponding boundaries. Analogue to the group case, we associate a bundle of compact Hausdorff spaces to any (discrete) groupoid (the Hamana boundary of the groupoid). We study bundles of compact topological spaces equipped with an action of a groupoid. We show that any groupoid has a minimal boundary (the Furstenberg boundary of the groupoid). We prove that the Hamana and Furstenberg boundaries are the same, for (discrete) groupoids. We find the relation between the reduced crossed product of the $\G$-injective env…
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…
We study the injective envelope I(X) of an operator space X, showing amongst other things that it is a self-dual C$^*-$module. We describe the diagonal corners of the injective envelope of the canonical operator system associated with X. We prove that if X is an operator $A-B$-bimodule, then A and B can be represented completely contractively as subalgebras of these corners. Thus, the operator algebras that can act on X are determined by these corners of I(X) and consequently bimodules actions on X extend naturally to actions on I(X). These results give another characterization of the multipli…
A new C*-enlargement of a C*-algebra $A$ nested between the local multiplier algebra $M_{\text{loc}}(A)$ of $A$ and its injective envelope $I(A)$ is introduced. Various aspects of this maximal C*-algebra of quotients, $Q_{\text{max}}(A)$, are studied, notably in the setting of AW*-algebras. As a by-product we obtain a new example of a type I C*-algebra $A$ such that $M_{\text{loc}}(M_{\text{loc}}(A))\ne M_{\text{loc}}(A)$.
Given C$^*$-algebras $A$ and $B$ acting cyclically on Hilbert spaces $\h$ and $\k$, respectively, we characterize completely isometric $A,B$-bimodule maps from $\bkh$ into operator $A,B$-bimodules. We determine cogenerators in some classes of operator bimodules. For an injective cogenerator $X$ in a suitable category of operator $A,B$-bimodules we show: if $A$, regarded as a C$^*$-subalgebra of $\al(X)$ (adjointable left multipliers on $X$), is equal to its relative double commutant in $\al(X)$, then $A$ must be a W$^*$-algebra.
Let $\mathcal{C}$ be a C*-algebra and $α:\mathcal{C} \rightarrow \mathcal{C}$ a unital *-endomorphism. There is a natural way to construct operator algebras which are called semicrossed products, using a convolution induced by the action of $α$ on $\mathcal{C}$. We show that the C*-envelope of a semicrossed product is (a full corner of) a crossed product. As a consequence, we get that, when $α$ is *-injective, the semicrossed products are completely isometrically isomorphic and share the same C*-envelope, the crossed product $\mathcal{C}_\infty \rtimes_{α_\infty} \mathbb{Z}$. We show that mini…
A left ideal of any C*-algebra is an example of an operator algebra with a right contractive approximate identity (r.c.a.i.). Conversely, we show here and in a `pre-quel' to this paper [B], that operator algebras with r.c.a.i. should be studied in terms of a certain left ideal of a C*-algebra. We study operator algebras and their multiplier algebras from the perspective of `Hamana theory' and using the multiplier algebras introduced by the first author.
Given Hilbert spaces $H_1,H_2,H_3$, we consider bilinear maps defined on the cartesian product $S^2(H_2,H_3)\times S^2(H_1,H_2)$ of spaces of Hilbert-Schmidt operators and valued in either the space $B(H_1,H_3)$ of bounded operators, or in the space $S^1(H_1,H_3)$ of trace class operators. We introduce modular properties of such maps with respect to the commutants of von Neumann algebras $M_i\subset B(H_i)$, $i=1,2,3$, as well as an appropriate notion of complete boundedness for such maps. We characterize completely bounded module maps $u\colon S^2(H_2,H_3)\times S^2(H_1,H_2)\to B(H_1,H_3)$ by…
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…
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…
We use the injective envelope to study quasimultipliers of operator spaces. We prove that all representable operator algebra products that an operator space can be endowed with are induced by quasimultipliers. We obtain generalizations of the Banach-Stone theorem.
This paper is a continuation of the program started by Ruan in 2003, of developing real operator space theory. In particular, we develop the theory of real operator algebras. We also show among other things that the injective envelope, C*-envelope and non-commutative Shilov boundary exist for a real operator space. We develop real one-sided M-ideal theory and characterize one-sided M-ideals in real C*-algebras and real operator algebras with contractive approximate identity.
Motivated by the theory of tensor algebras and multivariable C*-dynamics, we revisit two fundamental techniques in the theory of C*-correspondences, the "addition of a tail" to a non-injective C*-correspondence and the dilation of an injective C*-correspondence to an essential Hilbert bimodule. We provide a very broad scheme for "adding a tail" to a non-injective C*-correspondence; our scheme includes the "tail" of Muhly and Tomforde as a special case. We illustrate the diversity and necessity of our tails with several examples from the theory of multivariable C*-dynamics. We also exhibit a tr…
Let $\A$ be a unital operator algebra and let $α$ be an automorphism of $\A$ that extends to a *-automorphism of its $\ca$-envelope $\cenv (\A)$. In this paper we introduce the isometric semicrossed product $\A \times_α^{\is} \bbZ^+ $ and we show that $\cenv(\A \times_α^{\is} \bbZ^+) \simeq \cenv (\A) \times_α \bbZ$. In contrast, the $\ca$-envelope of the familiar contractive semicrossed product $\A \times_α \bbZ^+ $ may not equal $\cenv (\A) \times_α \bbZ$. Our main tool for calculating $\ca$-envelopes for semicrossed products is the concept of a relative semicrossed product of an operator al…
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 …
We introduce an equivariant version of the weak expectation property (WEP) at the level of operator modules over completely contractive Banach algebras $A$. We prove a number of general results---for example, a characterization of the $A$-WEP in terms of an appropriate $A$-injective envelope, and also a characterization of those $A$ for which $A$-WEP implies WEP. In the case of $A=L^1(G)$, we recover the $G$-WEP for $G$-$C^*$-algebras in recent work of Buss--Echterhoff--Willett. When $A=A(G)$, we obtain a dual notion for operator modules over the Fourier algebra. These dual notions are related…
Let A be a simple, sigma-unital, non-unital C*-algebra, with metrizable tracial simplex T(A), which is projection-surjective and injective and has strict comparison of positive elements by traces. Then the following are equivalent: (i) A has quasicontinuous scale; (ii) The multiplier algebra M(A) has strict comparison of positive elements by traces; (iii) The coronal algebra M(A)/A is purely infinite; (iii') The quotient M(A)/Imin is purely infinite; (iv) M(A) has finitely many ideals; (v) Imin=Ifin. If furthermore algebra of n by n matrices of A is projection-surjective and injective for ever…
We study reproducing kernel Hilbert spaces on the unit ball with the complete Nevanlinna-Pick property through the representation theory of their algebras of multipliers. We give a complete description of the representations in terms of the reproducing kernels. While representations always dilate to $*$-representations of the ambient $C^*$-algebra, we show that in our setting we automatically obtain coextensions. In fact, we show that in many cases, this phenomenon characterizes the complete Nevanlinna-Pick property. We also deduce operator theoretic dilation results which are in the spirit of…