Compact-like manifolds associated to \(JB^*\)-triples (Q5950030)

The purpose of this paper is to clarify the relationship between the three possibly different Banach manifolds, \(M_K(Z)\), \(M_Q(Z)\) and \(M_L(Z)\), associated to an infinite dimensional \(JB^*\)-triple \(Z\). A \(JB^*\)-triple is a complex Banach space \(Z\) with a continuous map \(\{\cdot,\cdot,\cdot\}: Z^3\to Z(x,y,z) \to\{z,y,z\}\), which is complex linear and symmetric in \(x\) and \(z\), anti-linear in \(y\) and satisfies (i) the operator \(x\square x\) has spectrum in \([0,\infty)\), (ii) \(\exp(ix\square x)\) is both an algebraic automorphism and an isometry, (iii) \(\|\{x,x,x\} \|=\|x\|^3\), for all \(x \in Z\), where \(x\square y\) denotes the complex linear map \(z\mapsto \{x,y,z \}\). Namely, the symmetric manifold \(M_K(Z)\) is associated by \textit{W. Kaup} in [Math. Z. 183, 503-529 (1983; Zbl 0519.32024)]; \textit{O. Loos} has used the method of Jordan quasi-inverses to produce the infinite dimensional manifold \(M_Q(Z)\) [see Monatsh. Math. 86, 107-129 (1978; Zbl 0404.14020)]; finally, the third manifold \(M_L(Z)\) arises in Kaup's construction of \(M_K(Z)\), as a quotient space of a natural complex Lie group action on \(Z\). The authors show here that there is a natural ordering \[ M_Q(Z)\subset M_K(Z)\subset M_L(Z). \] The main result proves that if the underlying triple \(Z\) has the density property (introduced by \textit{S. Dineen}, \textit{M. Mackey} and \textit{P. Mellon} in Stud. Math. 137, No. 2, 143-160 (1999; Zbl 0957.17032)) then all three manifolds coincide.