Boston, MA: Birkhäuser (ISBN 0-8176-4319-2/hbk). xiii, 467 p. EUR 98.00/net; sFr. 146.00 (2003).
The important problem of characterizing the state spaces of operator algebras, both associative ( and von Neumann) and of Jordan type (JB and JBW-algebras), was raised in the 1950s. During the last three decades, the authors have made significant contributions to this area of research in functional analysis. This monograph features geometric characterizations of state spaces. Notable results obtained in the papers by E. M. Alfsen and F. W. Shultz [Acta Math. 140, 155–190 (1978; Zbl 0397.46065)], E. M. Alfsen, H. Hanche-Olsen and F. W. Shultz [Acta Math. 144, 267–305 (1980; Zbl 0458.46047)], B. Iochum and F. W. Shultz [J. Funct. Anal. 50, 317–328 (1983; Zbl 0507.46055)], E. M. Alfsen and F. Shultz [Commun. Math. Phys. 194, 87–108 (1998; Zbl 0918.46060)] are presented in this book in a unified way, with complete and enlightening proofs and comments. The authors have done a fine work for the mathematical community, providing a valuable toolkit for researchers interested in non-associative structures, self-adjoint operator algebras or areas of functional analysis or mathematical physics where aspects related to convexity and ordered spaces appear.
The prerequisites include selected topics on convexity and ordered structures, and von Neumann algebras and geometric properties of their state spaces (such as orientations), which are the subject of the earlier book of the authors [“State spaces of operator algebras” (Birkhäuser, Basel) (2001; Zbl 0983.46047)]. The main definitions and results are efficiently surveyed in the appendix.
The main body of the book consists of three parts and an appendix. The beginning of Part I gives an account on the structure and representations of Jordan type operator algebras and naturally overlaps with the short monograph of H. Hanche-Olsen and E. Størmer [“Jordan operator algebras” (Monographs and Studies in Mathematics 21, Pitman) (1984; Zbl 0561.46031)]. The remaining part is devoted to the study of geometric properties of state spaces of such algebras, and of dynamical correspondences and their relation to Connes’s notion of orientation.
Part II develops the study of projective faces, lattices of compressions and a spectral duality (in separating order and norm) between order unit and base norm spaces. This duality plays a key role in constructing operator algebras whose state spaces are affinely homeomorphic to some given compact convex sets. A convex set is called spectral if it is affinely isomorphic to the distinguished base of a complete base norm space in spectral duality with the order unit space .
In Part III, state spaces are characterized. A compact convex set is said to have the Hilbert ball property if the face generated by each pair of extreme points is a norm exposed Hilbert ball, and the 3-ball property when this face is either a point, a line segment, or a 3-ball. Denote by the space of continuous affine functions on . One of the main results states that is affinely homeomorphic to the state space of a JB-algebra (with the -topology) if and only if the following conditions hold:
(i) Every admits a decomposition with and ;
(ii) every norm exposed face of is projective;
(iii) the -convex hull of the extreme points of is a split face of and has the Hilbert ball property.
To define a -structure, additional constraints on of a geometric nature are required. The main result in this direction is that is affinely homeomorphic to the state space of a -algebra (with the -topology) if and only if conditions (i) and (ii) together with the following two conditions hold:
(iii’) The -convex hull of the extreme points of is a split face of , and has the 3-ball property;
(iv) is orientable.
Moreover, if is a JB-algebra whose state space has the 3-ball property and is orientable, then there is a one-to-one correspondence between global orientations of the state space and -products on .
State spaces of JBW-algebras are characterized, up to affine isomorphism, as compact convex spectral sets which satisfy a geometric property called ellipticity. An additional generalization of the 3-ball property is used to characterize the state spaces of von Neumann algebras.