Holomorphic curvature of infinite dimensional symmetric complex Banach manifolds of compact type.
In this article, a theorem is proved asserting that any linear functional defined on a JBW-algebra admits a Lebesque decomposition with respect to any normal state defined on the algebra. Then we show that the positivity (and the unicity) of this decomposition is insured for the trace states defined on the algebra. In fact, this property can be used to give a new characterization of the trace states amoungst all the normal states.
The Banach-Lie algebras ℌκ of all holomorphic infinitesimal isometries of the classical symmetric complex Banach manifolds of compact type (κ = 1) and non compact type (κ = −1) associated with a complex JB*-triple Z are considered and the Lie ideal structure of ℌκ is studied.
By exploiting his recent results, the author further investigates the extent to which variation in the coefficients of a unitary convex decomposition of a vector in a unital -algebra permits the vector decomposable as convex combination of fewer unitaries; certain -algebra results due to M. Rørdam have been extended to the general setting of -algebras.
We study various Banach space properties of the dual space E* of a homogeneous Banach space (alias, a JB*-triple) E. For example, if all primitive M-ideals of E are maximal, we show that E* has the Alternative Dunford-Pettis property (respectively, the Kadec-Klee property) if and only if all biholomorphic automorphisms of the open unit ball of E are sequentially weakly continuous (respectively, weakly continuous). Those E for which E* has the weak* Kadec-Klee property are characterised by a compactness...
In a JBW*-triple, i.e., a symmetric complex Banach space possessing a predual, the set of tripotents is naturally endowed with a partial order relation. This work is mainly concerned with this partial order relation when restricted to the subset 𝓡(A) of tripotents in a JBW*-triple B formed by the range tripotents of the elements of a JB*-subtriple A of B. The aim is to present recent developments obtained for the poset 𝓡(A) of the range tripotents relative to A, whilst also providing the necessary...
We show that any sequence of mutually orthogonal pure states on a JB algebra A such that forms an almost discrete sequence in the relative topology induced by the primitive ideal space of A admits a sequence consisting of positive, norm one, elements of A with pairwise orthogonal supports which is supporting for in the sense of for all n. Moreover, if A is separable then can be taken such that is uniquely determined by the biorthogonality condition . Consequences of this result improving...