任意 C*-代数 A 的局部乘子 C*-代数 M_{loc}(A) 都可以 *-同构地嵌入到 A 的内射包络 I(A) 中，使得 A 到这两个 C*-代数的典范嵌入被等同起来。如果 A 是交换的，那么 M_{loc}(A) = I(A)。A 与 M_{loc}(A) 的内射包络总是相同，并且 A 的每一个高阶局部乘子 C*-代数都包含在 A 在 I(A) 中的正则单调完备化 \ar{A} 内。当集合 Z(A).A 在 A 中稠密时，A 的局部乘子 C*-代数的中心就是 A 的中心的局部乘子 C*-代数，并且二者都 *-同构于 A 的中心的内射包络。本文证明，关于在算子双模上取值于 M_{loc}(A) 的完全有界双模映射的 Wittstock 型延拓定理成立，当且仅当 M_{loc}(A) = I(A)。一般地，对于哪些 C*-代数 A 使得 M_{loc}(A) 是内射的这一问题的解，被证明等价于 I. Kaplansky 在 1951 年提出的问题——是否所有 AW*-代数都是单调完备的——的解。
英文摘要：
The local multiplier C*-algebra M_{loc}(A) of any C*-algebra A can *-isomorphicly embedded into the injective envelope I(A) of A in such a way that the canonical embeddings of A into both these C*-algebras are identified. If A is commutative then M_{loc}(A) = I(A) . The injective envelopes of A and M_{loc}(A) always coincide, and every higher order local multiplier C*-algebra of A is contained in the regular monotone completion \bar{A} in I(A) of A . In case the set Z(A).A is dense in A the center of the local multiplier C*-algebra of A is the local multiplier C*-algebra of the center of A, and both they are *-isomorphic to the injective envelope of the center of A . A Wittstock type extension theorem for completely bounded bimodule maps on operator bimodules taking values in M_{loc}(A) is proven to hold if and only if M_{loc}(A) = I(A). In general, a solution of the problem for which C*-algebras A the C*-algebras M_{loc}(A) is injective is shown to be equivalent to the solution of I. Kaplansky's 1951 problem whether all AW*-algebras are monotone complete.
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…
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…
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.
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.
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 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…
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 $\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…
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…
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…
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 …
