The unit ball of an injective operator space has an extreme point

DOI10.1016/J.JMAA.2018.03.028MaRDI QIDQ1746765zbMATH OpenOpenAlexWikidataFDO

Authors Masayoshi Kaneda

Publication date 25 April 2018

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1704.04665

zbMATH Keywords

\(AW^*\)-algebraextreme pointideal decompositioninjective operator spacequasi-identityternary ring of operators (TRO)

Mathematics Subject Classification ID

Geometry and structure of normed linear spaces (46B20) Operator spaces and completely bounded maps (46L07) Operator spaces (= matricially normed spaces) (47L25) Abstract operator algebras on Hilbert spaces (47L30)

Abstract: We define an $A{W}^{\ast }$-TRO as an off-diagonal corner of an $A{W}^{\ast }$-algebra, and show that the unit ball of an $A{W}^{\ast }$-TRO has an extreme point. In particular, the unit ball of an injective operator space has an extreme point, which answers a question raised in the author's previous work [Journal of Operator Theory, 76(2) (2016), 219-248] affirmatively. We also show that an $A{W}^{\ast }$-TRO (respectively, an injective operator space) has an ideal decomposition, that is, it can be decomposed into the direct sum of a left ideal, a right ideal, and a two-sided ideal in an $A{W}^{\ast }$-algebra (respectively, an injective $C^{\ast }$-algebra). In particular, we observe that $A{W}^{\ast }$-TRO, hence an injective operator space, has an algebrization which admits a quasi-identity.

Review text

An operator space \(X\) is called a triple system or a ternary ring of operators (TRO) if there exists a complete isometry \(\iota\) from \(X\) into a \(C^*\)-algebra such that \(\iota(x) \iota(y)^* \iota(z) \subset \iota(X)\) for all \(x, y, z\in X\). \textit{Z.-J. Ruan} [Trans. Am. Math. Soc. 315, No. 1, 89--104 (1989; Zbl 0669.46029)] and \textit{M. Hamana} [Math. J. Toyama Univ. 22, 77--93 (1999; Zbl 0948.46045)] proved in two independent papers that an operator space \(X\) is injective if and only if it is an off-diagonal corner of an injective \(C^*\)-algebra, that is, there exist an injective \(C^*\)-algebra \(A\) and two projections (self-adjoint idempotents) \(p, q\in A\) such that \(X\) is completely isometric to \(pAq\). In particular, an injective operator space is a TRO. Motivated by the fact that every injective \(C^*\)-algebra is monotone complete and hence an \(AW^*\)-algebra, the author considers the notion of an \(AW^*\)-TRO. An operator space \(X\) is an \(AW^*\)-TRO if there exist an \(AW^*\)-algebra \(A\) and projections \(p, q\in A\) such that \(X\) is completely isometric to \(pAq\). The main result of the paper under review shows that the unit ball of an \(AW^*\)-TRO contains an extreme point. In particular, the unit ball of an injective operator space has an extreme point, which gives a positive answer to a question posed by the same author in [J. Oper. Theory 76, No. 2, 219--248 (2016; Zbl 1389.47182)]. This result closes a natural and interesting question in the theory of operator spaces.

Recommendations

• Extreme points of the unit ball in the operator Hardy space \(H^{\infty}(E\to E_*)\)
• scientific article; zbMATH DE number 3955746
• Extreme points of the closed unit ball in C*-algebras
• Denting and strongly extreme points in the unit ball of spaces of operators
• Publication:4952466
• scientific article; zbMATH DE number 3942210
• Publication:3032820
• Some properties of the set of extreme points of the unit ball of a Banach space
• scientific article; zbMATH DE number 1303938
• Injections of Banach spaces with closed image of the unit ball

Cites work

• Diagonalizing matrices over \(AW^\ast\)-algebras
• scientific article; zbMATH DE number 3647575 (Why is no real title available?)
• scientific article; zbMATH DE number 1419686 (Why is no real title available?)
• scientific article; zbMATH DE number 6266742 (Why is no real title available?)
• scientific article; zbMATH DE number 3348793 (Why is no real title available?)
• Ideal decompositions of a ternary ring of operators with predual
• Injective matricial Hilbert spaces
• Injectivity of Operator Spaces
• Isometries of operator algebras
• Monotone complete C^*-algebras and generic dynamics
• Projections in Banach algebras
• Quasi-multipliers and algebrizations of an operator space
• Quasi-multipliers and algebrizations of an operator space. II: Extreme points and quasi-identities
• Quasi-multipliers of operator spaces
• The ideal envelope of an operator algebra

Cited in

(3)

• Extreme states on operator spaces in ternary rings of operators
• scientific article; zbMATH DE number 3955746 (Why is no real title available?)
• Quasi-multipliers and algebrizations of an operator space. III

This page was built for publication: The unit ball of an injective operator space has an extreme point

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1746765)