M-ideals in real operator algebras

David P. Blecher,Matthew Neal,Antonio M. Peralta,Shanshan Su
2024-05-09
Abstract:In a recent paper we showed that a subspace of a real JBW*-triple is an M-summand if and only if it is a weak*-closed triple ideal. As a consequence, M-ideals of real JB*-triples, including real C*-algebras, real JB*-algebras and real TROs, correspond to norm-closed triple ideals. In the present paper we extend this result to (possibly non-selfadjoint) real operator algebras and Jordan operator algebras, where the argument is necessarily different. We also give simple characterizations of one-sided M-ideals in real operator algebras, and give some applications to that theory.
Operator Algebras,Functional Analysis
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the characterization problem of M - ideals in real operator algebras and Jordan operator algebras. Specifically, on the basis of previous research, the authors further explore the properties of M - ideals in these algebraic structures and present the correspondence between them and norm - closed triple ideals. In addition, the paper also discusses the simple characterization of one - sided M - ideals and gives some application examples. ### Background of the Paper In 1972, Alfsen and Effros introduced the concepts of M - and L - summands and M - ideals in abstract Banach spaces. One of their motives was to generalize the closed ideals in C* - algebras and their theories to Banach spaces. However, it was not until recently that M - ideals in real C* - algebras, real TROs (Triple Systems), real JB* - algebras and real JB* - triple systems were identified. This progress is mainly due to a recent paper, which, through in - depth geometric structure analysis, proved that the M - ideals of these objects correspond to norm - closed triple ideals. ### Main Contributions The main contributions of this paper are as follows: 1. **Extended Results**: The above - mentioned results are extended from self - adjoint real algebras to possibly non - self - adjoint real operator algebras and Jordan operator algebras. The authors use different argument methods, although these methods are shorter. 2. **Characterization**: A simple characterization of one - sided M - ideals in real operator algebras is given, and some application examples are provided. 3. **New Proof**: For the special case of real C* - algebras, the main result is reproved using a completely different method. ### Structural Overview - **Introduction**: The historical background and research motivation of M - ideals and L - ideals are introduced. - **Preliminaries**: The basic theory of real Jordan operator algebras is reviewed, laying the foundation for the subsequent discussion. - **Main Results**: M - ideals in real operator algebras and Jordan operator algebras are discussed in detail, and their characterization is given. - **Applications**: Some specific application examples are provided to show the practical significance of these theories. ### Examples of Formulas Some of the key formulas involved in the paper are as follows: - **L - Projections and M - Projections**: \[ \|x\|=\|P(x)\|+\|(I - P)(x)\|, \quad \forall x \in V \] \[ \|v\|=\max\{\|Pv\|,\|(I - P)(v)\|\}, \quad \forall v \in V \] - **M - Ideal**: \[ M^{\perp\perp} \text{ is a } M - \text{summand in } V^{**} \] - **Jordan Product**: \[ a \circ b=\frac{1}{2}(ab + ba) \] - **Central Projection**: \[ e \circ a=a \circ e = ae, \quad \forall a \in A \] Through these formulas and theories, the authors successfully solve the characterization problem of M - ideals in real operator algebras and Jordan operator algebras, and provide new tools and methods for further research.