New Research In
Physical Sciences
Social Sciences
Featured Portals
Articles by Topic
Biological Sciences
Featured Portals
Articles by Topic
 Agricultural Sciences
 Anthropology
 Applied Biological Sciences
 Biochemistry
 Biophysics and Computational Biology
 Cell Biology
 Developmental Biology
 Ecology
 Environmental Sciences
 Evolution
 Genetics
 Immunology and Inflammation
 Medical Sciences
 Microbiology
 Neuroscience
 Pharmacology
 Physiology
 Plant Biology
 Population Biology
 Psychological and Cognitive Sciences
 Sustainability Science
 Systems Biology
Orientation in operator algebras

Edited by GianCarlo Rota, Massachusetts Institute of Technology, Cambridge, MA, and approved March 20, 1998 (received for review March 4, 1998)
Abstract
A concept of orientation is relevant for the passage from Jordan structure to associative structure in operator algebras. The research reported in this paper bridges the approach of Connes for von Neumann algebras and ourselves for C*algebras in a general theory of orientation that is of geometric nature and is related to dynamics.
A problem that dates back to the 1950s is to characterize the ordered linear spaces that are the selfadjoint parts of C*algebras or of von Neumann algebras. This problem was implicit in Kadison’s paper (1), and it was explicitly raised for von Neumann algebras by Sakai (2) and for C*algebras by Sherman (3). It follows from Kadison’s results (1) that the selfadjoint part of a C*algebra is isometrically isomorphic, as an ordered normed linear space, to the space A(K) of all w*continuous affine functions on the state space K. Similarly, the selfadjoint part of a von Neumann algebra is isometrically isomorphic to the space of all bounded affine functions on the normal state space. In view of this, characterizing the selfadjoint part of a C*algebra (respectively von Neumann algebra) is equivalent to characterizing the state space of a C*algebra (respectively the normal state space of a von Neumann algebra).
Connes gave a solution of the ordered linear space version of this problem for a σfinite von Neumann algebra in ref. 4 by first characterizing the associated cone P_{ξ}^{♮} of TomitaTakesaki theory. The state spaces of C*algebras were characterized by Alfsen, HancheOlsen, and Shultz (5) and the normal state spaces of von Neumann algebras by Iochum and Shultz (6).
By a theorem of Kadison (7) the ordering and the norm of a C*algebra (or equivalently, its state space) determine the symmmetrized (Jordan) product ½(ab + ba). However, they do not determine the product itself, because the opposite algebra has the same ordering and norm. Thus some additional structure is needed to determine the associative product.
It was Connes (4) who first realized that a concept of orientation is relevant for this purpose (and his concept was later used in the axiomatic context of JBWalgebras by Bellissard and Iochum in refs. 8 and 9). Alfsen, HancheOlsen, and Shultz (5) also introduced a concept with the same name and for the same purpose. However, the definitions had little in common. Connes’ notion was algebraic, global in nature, and applied to von Neumann algebras. That of Alfsen, HancheOlsen, and Shultz was geometric, local in nature, and applied to state spaces of C*algebras. One purpose of our current work is to generalize both notions so that they apply to both C* and von Neumann algebras. (There are some significant obstacles to overcome to accomplish this as we will discuss later.) Our second purpose is to relate the two concepts and to explain how they both relate to dynamics. We will build a bridge between these two concepts of orientation by introducing a third concept: that of a dynamical correspondence. This paper is a survey of the results with brief comments on the proofs. Complete proofs will appear elsewhere (in ref. 10 for the first part of this paper.)
There are two parts to this paper. The first describes the notion of dynamical correspondence and its relationship to Connes’ notion of orientation. The context for the first part will be JB and JBW algebras: the Jordan analog of C* and von Neumann algebras. The second part contains a generalization of our geometric notion of orientation of state spaces of C*algebras to the context of normal state spaces of von Neumann algebras and the connection of this notion with dynamical correspondences. The context for the second part will be von Neumann algebras.
To set the stage for the first part, we first review the connection of Jordan algebras to the original problem of characterizing the spaces of selfadjoint elements of an operator algebra and indicate how dynamics play a role. The problem is motivated by physics, as the selfadjoint elements of such algebras are used to represent bounded observables in algebraic models of quantum mechanics. However, the selfadjoint part A of a C*algebra is not closed under the given associative product, but only under the Jordan product a ○ b = ½(ab + ba). This product makes A into a (real) Jordan algebra, and it has been proposed to model quantum mechanics on Jordan algebras rather than associative algebras. This approach is corroborated by the fact that many physically relevant properties of observables are adequately described by Jordan constructs. Knowing an element of A, we can express not only the expectation value of the corresponding observable, but its entire probability law, which is given by spectral functional calculus, and in turn by the squaring operation a ↦ a^{2}.
The Jordan algebra approach to quantum mechanics was initiated by Jordan, von Neumann, and Wigner (11) where they introduced and studied finite dimensional “formally real” Jordan algebras. The restriction to finite dimensions was removed by von Neumann (12). Jordan operator algebras (linear spaces of selfadjoint operators on a Hilbert space closed under the Jordan product) first were studied by Segal (13), Topping (14), and Størmer (15). In ref. 16 Størmer solved the (spatial) problem of characterizing C*algebras among such Jordan operator algebras acting on a given Hilbert space. The general (nonspatial) concepts of JBalgebras and JBWalgebras (together with a Gelfand–Naimark type representation theorem) were given by Alfsen, Shultz, and Størmer (17) and by Shultz (18), respectively. These algebras are defined axiomatically as (real) Jordan algebras, which are also Banach spaces, subject to suitable conditions connecting Jordan product and norm. (For the theory of such algebras see ref. 19.) The selfadjoint part of a C*algebra or a von Neumann algebra is a special case of a JBalgebra or a JBW algebra, respectively. Not all JBalgebras or JBWalgebras arise in this fashion (cf. ref. 19, ch. 3–4), but nevertheless they have enough structure to effectively model quantum mechanical observables.
However, it is an important feature of quantum mechanics that the physical variables play a dual role, as observables and as generators of transformation groups. The observables are random variables with a specified probability law in each state of the quantum system, whereas the generators determine oneparameter groups of transformations of observables (Heisenberg picture) or states (Schrödinger picture).
Both aspects can be adequately dealt with in the C*algebra or von Neumann algebra formulation of quantum mechanics. An element a in the selfadjoint part A of such algebras represents an observable whose probability law is determined by spectral theory as indicated above, whereas an element h in A determines the oneparameter group α_{τ} : x ↦ e^{iτh}xe^{−iτh}(equivalently dα_{τ}(x)/dτ_{τ=0} = i[h, x]), which represents the time evolution of the observable x. The spectral functional calculus is a Jordan construct, but the generation of oneparameter groups cannot be expressed in terms of the symmetrized product. Instead it is determined by the antisymmetrized product in A, which we will write as follows a ★ b = [a, b] = (ab − ba). Thus the decomposition of the associative product into its Jordan part and its Lie part separates the two aspects of a physical variable.
To solve the characterization problem, we must find appropriate conditions for an ordered normed linear space A, under which it is possible to define an associative product on A + iA making this space a C*algebra or a von Neumann algebra. By the discussion above, this problem can be divided in two parts: first to construct the Jordan part of the associative product, then the Lie part when the Jordan part is known. As was discussed above, the key to doing this is the concept of orientation and the related notion of a dynamical correspondence that we will now discuss.
Dynamical Correspondences
A bounded linear operator δ on a JBalgebra A is called an order derivation if exp(τδ)(A^{+}) ⊂ A^{+} for all τ ∈ R, or what is equivalent, if exp(τδ) is a oneparameter group of order automorphisms. (This concept was first used by Connes in the context of ref. 4.) An important class of order derivations are the Jordan multipliers δ_{b}(a) = b ○ a. An order derivation δ on a unital JBalgebra A is selfadjoint if δ = δ_{a} for some a ∈ A and skewadjoint (or just skew) if δ(1) = 0. Each order derivation δ on a unital JBalgebra A has a unique decomposition δ = δ_{1} + δ_{2} where δ_{1} is selfadjoint and δ_{2} is skew, and the adjoint of δ is defined by δ* = δ_{1} − δ_{2}. The skew order derivations are precisely the Jordan derivations (satisfying the Leibniz rule for the Jordan product). They are also the ones for which the operators exp(τδ) fix 1, so the duals of these operators leave the state space invariant. Note that an order derivation on a JBWalgebra is automatically σweakly continuous, so it determines a oneparameter group exp(τδ*) of affine automorphisms of the normal state space as well as the state space.
One can show that the set D(A) of all order derivations of a unital JBalgebra A is a real linear space closed under Lie brackets [δ_{1}, δ_{2}] = δ_{1}δ_{2} − δ_{2}δ_{1}. One also can show (using the KadisonSakai theorem on inner derivations) that if A is a the selfadjoint part of a von Neumannalgebra ℳ, then the order derivations are the operators δ_{m} defined by δ_{m}(x) = ½(mx + xm*) for m ∈ ℳ. In particular, a skew order derivation is of the form δ_{ia} (x) = [a, x] where a ∈ A. In this case, the associated oneparameter group is Connes’ notion of orientation can be transferred from the cone P_{ξ}^{♮} of a JBWalgebra A to the algebra itself, and we will call the resulting notion a “Connes orientation on A.” Like the original concept, such an orientation is a complex structure compatible with involution on the Lie algebra of order derivations modulo its center Z(D(A)). To simplify the notation, we write D̃(A) in place of D(A)/Z(D(A)), and we denote the equivalence class of an element δ of D(A) modulo Z(D(A)) by δ̃. Note that the involution (δ̃)* = () is well defined. Thus a Connes orientation on a JBWalgebra A is a complex structure on D̃(A), which is compatible with Lie brackets and involution, i.e., a linear operator I on D̃(A) which satisfies the requirements: The idea behind this definition is to axiomatize the transition from δ_{a} to δ_{ia} in the von Neumann algebra case. Here it is necessary to work with equivalence classes because there is no welldefined map δ_{a} ↦ δ_{ia} on A itself. (The element a is not determined by the operator δ_{a} if a is not known to be selfadjoint.)
An alternative approach is to axiomatize the map a ↦ δ_{ia}. Then we arrive at the following notion, which makes sense both in the JB and the JBW context (and in particular in the C* and the von Neumann context).
A dynamical correspondence on a unital JBalgebra A is a linear map ψ : a ↦ ψ_{a} from A into the set of skew order derivations on A, which satisfies the requirements: The skew order derivations determine oneparameter groups of affine automorphisms of the state space of A (and also of the normal state space in the JBW case). Thus a dynamical correspondence gives the elements of A a double identity, which reflects the dual role of physical variables as observables and as generators of a oneparameter group of motions; hence the name “dynamical correspondence.”
Because the Jordan product is abelian, there is no useful concept of “commutator” for elements in a JBalgebra, but the commutators of the associated Jordan multipliers can be used as a substitute in view of the identity [δ_{a}, δ_{b}] = ½δ_{(a,b)} in C*algebras. [As before, δ_{m}(x) = ½(mx + xm*) for a nonselfadjoint element m.] Thus the condition (i) above is a kind of quantization requirement, relating commutators of elements to the commutators of the associated generators. Note also that the equation ψ_{a}(a) = 0 is equivalent to exp(τψ_{a})(a) = a for all τ ∈ R. Thus condition (ii) says that the time evolution associated with an observable fixes that observable.
To relate the definition of a dynamical correspondence to the geometric notion of orientation that we will discuss later, we will explain the geometric meaning of this definition in the case of the 2 × 2 matrix algebra M_{2} (which models a twolevel quantum system, cf. e.g., ref. 20, ch. 15). Here the state space is the Euclidean 3ball B^{3}, and a selfadjoint element a ∈ ℳ acts as an affine function on the ball. This function attains its maximum and its minimum at two antipodal points (the North Pole and the South Pole in Fig. 1), and the corresponding oneparameter group consists of rotations of the ball about the diameter between these two points (in either one of the two possible directions depending on orientation).
The orbits of exp(τ(δ_{ia})*) are the “parallel circles” in Fig. 1. The orbits of exp(τ(δ_{a})*) will take us out of the state space, but this can be remedied by a normalization. Then the resulting orbits will be the “longitudinal semicircles” traced out from South Pole to North Pole. In Fig. 1 the generators (δ_{ia})* and (δ_{a})* are visualized as tangent vectors (velocity vectors) at an arbitrary point on the surface of the ball.
Note that a Connes orientation is defined in the context of JBWalgebras, whereas a dynamical correspondence is defined in the general context of unital JBalgebras (which include JBWalgebras as a special case), so the two concepts cannot be equivalent. However, for a JBWalgebra, each Connes orientation I determines a unique dynamical correspondence ψ determined by ψ_{a} ∈ I (δ̃_{a}), and each dynamical correspondence arises in this way from a unique Connes orientation, so the two concepts are in fact equivalent in the JBW case.
If A is a unital JBalgebra (JBW algebra) and (x, y) ↦ xy is an associative product on the complex linear space A + iA, which induces the given Jordan product on A and organizes A + iA to a C*algebra (von Neumann algebra) with the involution (a + ib)* = a − ib and the norm ∥x∥ = ∥x*x∥^{1/2}, then this product is said to be a Jordan compatible C*product (respectively, von Neumannproduct).
1. Theorem. A unital JBalgebra is (isomorphic to) the selfadjoint part of a C*algebra iff there exists a dynamical correspondence on A. In this case each dynamical correspondence ψ on A determines a unique Jordan compatible C*product such that ψ_{a}b = (ab − ba) for each pair a, b ∈ A, and each Jordan compatible C*product arises in this way from a unique dynamical correspondence ψ on A. The same conclusions hold with JBW in place of JB and “von Neumann” in place of C*.
In the proof of this theorem one constructs the associative product from the dynamical correspondence via the equation ab = a ○ b − i(a ★ b) where a ★ b = ψ_{b}(a).
2. Corollary. A JBWalgebra A is the selfadjoint part of a von Neumann algebra iff there exists a Connes orientation on A. In this case each Connes orientation I on A determines a unique Jordan compatible von Neumann product such that I(δ̃_{d}) = δ̃_{id} for each d ∈ A + iA, and each Jordan compatible von Neumann product arises in this way from a unique Connes orientation on A.
Geometric Orientations
The characterization of C*algebra state spaces by Alfsen, HancheOlsen, and Shultz (5) is based on two earlier papers of Alfsen and Shultz characterizing the state space K of a JBalgebra (21, 22). To move from JBstate spaces to C*state spaces, two conditions are imposed: the 3ball axiom and orientability. The former condition states that the face generated by any two extreme points (“pure states”) is either a line segment or else is affinely isomorphic to the standard 3ball B^{3} in R^{3}. (In a general JBalgebra, these faces are also balls, i.e., affinely isomorphic to the unit ball of a Hilbert space, but these balls can be of arbitrary finite or infinite dimension.) The 3ball axiom guarantees that the orderunit space A(K) admits a faithful representation Φ onto a norm closed Jordan subalgebra of ℬ(H)_{sa} for a complex Hilbert space H. The orientability axiom guarantees that there is one such representation Φ for which Φ(A) is the selfadjoint part of the C*algebra it generates in ℬ(H).
The concept of “orientability” is defined in terms of facial 3balls, i.e., faces that are (affinely isomorphic to) the standard 3ball B^{3}. An orientation of a facial 3ball F is an equivalence class of affine isomorphisms φ : B^{3} → F where φ_{1} ∼ φ_{2} if det(φ_{2}^{−1}φ_{1}) = 1. Thus an orientation of a 3ball is determined by an (orthogonal) frame, i.e., an ordered triple of orthogonal directed axes, with two frames determining the same orientation if one can be rotated into the other. An orientation of all of K is a “continuous choice” of orientation for each facial 3ball. We make this precise by topologizing the set of all oriented facial 3balls as well as the set of all (nonoriented) facial 3balls in a natural way involving the w*topology of K (see ref. 5) for the details). This makes the former set a locally trivial Z_{2}bundle over the latter. If this bundle is trivial, then K is said to be orientable, and each continuous crosssection of the bundle is called a global orientation of K (or just an orientation of K). The main result of ref. 5 says that a JBalgebra A with state space K is the selfadjoint part of a C*algebra iff K has the 3ball property and is orientable (ref. 5, th. 8.4). Moreover, if these conditions are satisfied, then there is a 1–1 correspondence between C*structures on A + iA and global orientations of K (ref. 5, cor. 8.5).
Iochum and Shultz (6) first characterize the normal state space of a JBWalgebra. Then they turn to von Neumann algebras. Because the normal state space of a von Neumann algebra may be devoid of extreme points, and hence also of facial 3balls, one must replace the 3balls by “blown up 3balls” (which were introduced under the name “global 3balls” in ref. 6, Def. 2.1). We will say more about blownup 3balls later on. Here we will only point out that the normal state space of a von Neumann algebra is characterized among the normal state spaces of JBWalgebras by an axiom similar to the original 3ball axiom (ref. 6, th. 2.9). No orientability axiom is needed in this case. Nevertheless, here, too, one may ask whether there is a notion of “global orientation” in 1–1 correspondence with associative products in the same way as for C*algebras.
We will present our general definition of orientation for von Neumann algebras in two versions, one for the algebras themselves and one for their normal state spaces. But we will concentrate on the normal state space version, which is closer to the existing definition of orientation in the C*case (5).
Henceforth ℳ shall be a von Neumann algebra with normal state space K. There is a 1–1 map p ↦ F_{p} = {ω ∈ K  ω(p) = 1} from projections in ℳ to norm closed faces in K, and this map is a homeomorphism from the norm topology on ℳ to the Hausdorff metric on closed subsets of K. Generally we refer to p′ = 1 − p as the complementary projection to p and to F′ = F_{1−p} as the complementary face to F = F_{p}. In the M_{2} case (where K = B^{3}) the complementary faces are exactly the pairs of antipodal boundary points. In the general case an ordered pair (F, F′) of complementary faces will be called a generalized axis.
There is a natural 1–1 correspondence between generalized axes in K and symmetries (selfadjoint unitaries) in ℳ because symmetries are of the form s = p − p′. For each generalized axis (F, F′) with corresponding symmetry s there is a unique affine automorphism with period 2 of K whose fixed point set is exactly co(F ∪ F′), namely the dual of the conjugation U_{s} : x ↦ sxs. We call this automorphism the reflection of K about the generalized axis (F, F′). A triple of generalized axes is called a 3frame if the associated reflections have the following properties generalizing elementary properties of an ordinary (orthogonal) frame in B^{3}:
(i) Each reflection exchanges the faces F, F′ of each of the other two axes.
(ii) The product of all three reflections in any order is the identity map.
The following properties of the corresponding symmetries s_{1}, s_{2}, s_{3} are equivalent to those above: If the triple (s_{1}, s_{2}, s_{3}) satisfies (i)′ and (ii)′ above, then we call it a Cartesian triple of symmetries (or just a Cartesian triple). An example of a Cartesian triple of symmetries are the Dirac spin matrices in M_{2}.
A symmetry r = p − p′ is called balanced if the projections p and p′ are equivalent, and then (by orthogonality) also exchangeable by a symmetry s (i.e., p′ = sps). If r is a balanced symmetry, then there exists another balanced symmetry s such that r ○ s = 0 (the same s as above) and then in turn a third balanced symmetry t such that (r, s, t) is a Cartesian triple. The possible choices for t are t = izrs where z is a central symmetry. Thus there exists a Cartesian triple in ℳ (and a 3frame in K) iff there exists a balanced symmetry in ℳ, or equivalently iff the unit 1 is halvable (i.e., the sum of two equivalent projections).
If K has a 3frame, then we call it a blownup 3ball. (This definition applies also in the JBWcase. It is equivalent to the original definition of a “global 3ball” in ref. 6, Def. 2.1, which provides further justification for the name “blownup 3ball.”) By the above, K is a blownup 3ball iff ℳ has a halvable unit. This is the case iff ℳ has 2 × 2 matrix units, or equivalently iff ℳ ≅ M_{2} ⊗ 𝒩 for a von Neumann algebra 𝒩. Hence K is a blownup 3ball iff K is the normal state space of an algebra of this type.
We shall see that the Cartesian triples in ℳ determine *derivations (=skew order derivations) with properties analogous to those of *derivations on M_{2}.
3. Theorem. If δ is a *derivation on a von Neumann algebra ℳ, then the following are equivalent: (iii) Each ω ∈ K is either a fixed point for the oneparameter group exp(τδ*) or a periodic point with minimal period 2π. In the proof of this theorem (i) ⇒ (ii) is easy. (ii) ⇒ (iii) follows by a direct calculation that shows orbits are circles with period 2π. (iii) ⇒ (iv) applies known results on Banach algebras to the operator δ* on the predual ℳ* of ℳ (which satisfies the equation f(δ*) = 0 where f is the entire function f(λ) = e^{2πλ} − 1 with simple zeros), and (iv) ⇒ (i) makes use of arguments similar to those used in the theory of Arveson spectrum and spectral subspaces without actually quoting results from this theory.
A *derivation δ of a von Neumann algebra that satisfies the requirement δ^{3} = −δ will be called a rotational derivation. If δ = δ_{is} is a rotational derivation and s = p − p′ where p is a projection with associated norm closed face F ⊂ K, then the fixed point set of exp(tδ*) is co(F ∪ F′) and the orbit of each ω ∉ co(F ∪ F′) is (affinely isomorphic to) a circle with center in co(F ∪ F′). Thus the oneparameter group exp(τδ*) of a rotational derivation δ = δ_{is} may be thought of as rotational motion of K with period 2π about the generalized axis (F, F′).
Assume that ℳ has a halvable unit. For every Cartesian triple (r, s, t) the operator ψ = [δ_{s}, δ_{t}] is a rotational derivation such that ker ψ = {r}^{c} where {r}^{c} denotes the relative commutant of r in ℳ (in particular ψ(r) = 0), and also such that ψ(s) = t. (Actually ψ = [δ_{s}, δ_{t}] is the unique rotational derivation with these properties.) We call ψ the rotational derivation associated with the given Cartesian triple α = (r, s, t), and we denote it by ψ_{α}. If α* is the 3frame determined by α, then the oneparameter group exp(τψ*) fixes the first generalized axis of α*, and for τ = π/2 it carries the second generalized axis into the third. We will call it the rotational action associated with α*.
Assume now that ℳ is a general von Neumann algebra. For each projection e ∈ ℳ the associated face F_{e} ⊂ K is the normal state space of the subalgebra eℳe. Thus F_{e}is a blownup 3ball iff e is a halvable projection. We will use 3frames to define orientation for these (facial) blownup 3balls F_{e}, and then later “globalize” to K.
We topologize the closed subsets of K by the Hausdorff metric. Then we topologize the 3frames of blownup 3balls of K by the product topology (regarding 3frames as 6tuples of norm closed faces).
If B is a global 3ball of K, we define two 3frames of B to be equivalent if there is a continuous path from one to the other. An orientation of B is then an equivalence class of 3frames of B. We will refer to a blownup 3ball B of K together with a choice of orientation of B as an oriented blownup 3ball. It is easily seen that the definition above reduces to the previous definition of orientation for ordinary 3balls.
We now will define the concept of global orientation for K. Let ℬ be the space of all facial blownup 3balls with the Hausdorff metric, and let 𝒪ℬ be the space of all oriented blownup 3balls B topologized by the quotient topology from the set of 3frames.
4. Theorem. The natural surjection π : 𝒪ℬ ↦ ℬ is continuous and open, and it organizes 𝒪ℬ to a locally trivial Z_{sym} bundle over B, where Z_{sym} is the group of central symmetries in ℳ.
Our proof of this theorem makes use of the fact that two projections that are near to each other can be exchanged by a unitary that is near to 1. More precisely: two projections p, q ∈ ℳ with ∥p − q∥ < 1 admit a unitary u in the norm closed subalgebra generated by p and q such that u is the product of two symmetries in ℳ and satisfies The bundle 𝒪ℬ ↦ ℬ is called the bundle of oriented blownup 3balls.
We will define a global orientation of K as a continuous crosssection φ : ℬ → 𝒪ℬ with an additional consistency condition by which “cutting down a blownup 3ball to a smaller blownup 3ball” preserves orientation. (There is no such requirement in the C* case because ordinary 3balls are minimal.) Let B_{1} ⊃ B_{2} be blownup 3balls of K. Then we say that an orientation of B_{2} is the restriction of an orientation of B_{1} if the two orientations can be represented by 3frames such that the first generalized axis in B_{2} is the first generalized axis in B_{1} intersected by B_{2} and such that the two associated rotational actions coincide on B_{2}. A technical lemma guarantees the existence of restricted orientations: if B_{1} and B_{2} are blownup 3balls with B_{1} ⊃ B_{2} and B_{1} is oriented, then there is a unique orientation of B_{2}, which is the restriction of the given orientation of B_{1}.
We will say that a crosssection φ of the bundle of oriented facial 3balls is consistent if B_{1} ⊃ B_{2} implies that φ(B_{2}) is the restriction of φ(B_{1}). Then we define a global orientation of K (or just an orientation of K) as a consistent continuous crosssection of the bundle of oriented blownup 3balls.
Alternatively we can use Cartesian triples to define an algebraic notion of orientation for the corresponding local subalgebras eℳe where e is a halvable projection, and then define a global orientation for ℳ. Two Cartesian triples α_{1} and α_{2} in the same local subalgebra eℳe are said to be equivalent if they can be connected by a continuous path from α_{1} to α_{2} in eℳe. Here one can show that α_{1} and α_{2} are equivalent iff there is a unitary in eℳe, which carries α_{1} into α_{2}, and also iff there is a unitary in eℳe, which carries the element r_{1} into the element r_{2} and the operator ψ_{α1} into ψ_{α2}. Thus one may alternatively interpret an orientation of eℳe as a (unitary) equivalence class of pairs (r, ψ) where r is a symmetry and ψ is a rotational derivation on eℳe such that ker ψ = {r}^{c}. Then an orientation of e_{1}ℳe_{1} is the restriction of an orientation of e_{2}ℳe_{2} if e_{1} ≤ e_{2}, and the two orientations can be represented by pairs (r_{1}, ψ_{1}) and (r_{2}, ψ_{2}) such that r_{1} = e_{1}r_{2} = r_{2}e_{1} and ψ_{2} restricts to ψ_{1} on e_{1}ℳe_{1}. (Note that the technical lemma on the existence of restricted orientations that was mentioned before is proved in this setting.)
Now the natural surjection of the local subalgebras eℳe onto the halvable projections e defines a Z_{sym} bundle, which is locally trivial for the norm topology. We call it the bundle of oriented local algebras. Then the concept of consistency for a crosssection of this bundle and the concept of a global orientation of ℳ is defined as in the dual context.
Representing orientations of local subalgebras by pairs (r, ψ) as explained above, we can prove a theorem in which the definition of a global orientation of ℳ is restated in a form closer to the definition of a dynamical correspondence. Recall that a partial symmetry in ℳ is a selfadjoint element r whose square e = r^{2} is a projection, so r is a symmetry in the subalgebra eℳe and r = p − q, where p and q are projections such that p + q = e. We will write r_{1} ≪ r_{2} if the partial symmetries r_{1} = p_{1} − q_{1} and r_{2} = p_{2} − q_{2} satisfy p_{1} ≤ p_{2} and q_{1} ≤ q_{2}.
5. Theorem. There is a natural 1–1 correspondence between global orientations of ℳ and maps r ↦ ψ_{r}, which assign to each partial symmetry r a rotational derivation ψ_{r} of eℳe, where e = r^{2}, such that We now will explain how one can use the associative product in ℳ to construct a global orientation of K from a central symmetry z ∈ ℳ. If B ∈ ℬ, then B = F_{e} for a halvable projection e ∈ ℳ. Choose a symmetry r ∈ eℳe, then another symmetry s ∈ eℳe such that r ○ s = 0, and let t ∈ eℳe be the symmetry defined by t = izrs. Then (r, s, t) is a Cartesian triple in eℳe, and it can be shown that different choices of r and s give equivalent Cartesian triples. Thus (r, s, t) determines an orientation of B that depends only on z. This gives a crosssection of the bundle 𝒪ℬ → ℬ, and it can be shown that this crosssection is consistent and continuous. With this we have associated a global orientation to each central symmetry z ∈ ℳ.
We also can associate a Jordan compatible von Neumann product to each central symmetry z ∈ ℳ. It is expressed by the central projection c = ½(1 + z) through the formula 6. Theorem. If ℳ is a von Neumann algebra with normal state space K, then there is 1–1 correspondence between (i) global orientations of K, (ii) Jordan compatible von Neumann products in ℳ, (iii) central symmetries in ℳ, such that each central symmetry z ∈ ℳ corresponds to the associated orientation and product (as defined above).
In the proof of this theorem one must show that each global orientation of K is associated to a central symmetry z ∈ ℳ. This z is obtained by “pasting together” central symmetries from local subalgebras eℳe in a construction that involves a strong version of the comparison theorem with unitary equivalence in place of Murrey von Neumann equivalence. (This version of the comparison theorem follows from the general JBWtheorem in ref. 19, 5.2.13, but the proof can be simplified for von Neumann algebras.)
The given product in ℳ determines a natural orientation of K (the one for which z = 1), and it follows easily from theorem 6 that a Jordan automorphism Φ : ℳ → ℳ is a *automorphism iff the affine automorphism Φ* : K → K is orientation preserving. As a consequence, a von Neumann algebra is determined by the combination of the normal state space and an orientation. Another consequence is the following:
7. Corollary (Kadison, ref. 7). If Φ is a Jordan automorphism of a von Neumann algebra ℳ, then there is a central projection c ∈ ℳ such that Φ restricted to cℳ is a *automorphism and Φ restricted to (1 − c)ℳ is a *antiautomorphism.
Note that this corollary does not require the topological bundle properties of theorem 4, as one can rely on the purely algebraic characterization of a global orientation given in theorem 5.
Note that the bijection between (i) and (ii) of theorem 6 is canonical in that it is uniquely determined by the Jordan structure of ℳ, whereas the bijections between these and (iii) are noncanonical, as the associative product × assigned to the central symmetry z in the displayed equation before theorem 6 depends on the given product in the von Neumann algebra ℳ. Thus it is not true that a Jordan compatible von Neumann product can be specified by the combination of the normal state space and a choice of central symmetry. Unless one is given a multiplication or orientation to start with, a central symmetry is not enough to determine an orientation. What a central symmetry does determine is a change from one orientation to another.
The central symmetry z = −1 changes an orientation φ : ℬ → 𝒪ℬ to its opposite orientation for which the three generalized axes of any 3frame in any φ(B) are reversed (or just one of them is reversed, or their order is changed by an odd permutation.) If ℳ is a factor, then the only central symmetries are z = 1 and z = −1, so in this case there are just two orientations, the one being the opposite of the other. If ℳ is the direct sum of n < ∞ factors (in particular if ℳ is finite dimensional), then there are 2^{n} orientations.
By theorems 1 and 6, there is also a (canonical) bijection between global orientations and dynamical correspondences. It is easily seen that if a ↦ ψ_{a} is the dynamical correspondence associated to a given orientation, then a ↦ −ψ_{a} is the dynamical correspondence associated to the opposite orientation. Thus a passage to the opposite orientation induces a change from the oneparameter group exp(τψ_{a}) to exp(−τψ_{a}), i.e., a change of sign for the time parameter τ.
Finally, we will relate the concept of orientation for the normal state space of a von Neumann algebra to our previous concept of orientation for a C*algebra 𝒜 with state space K, which is also the normal state space of the enveloping von Neumann algebra ℳ ≅ 𝒜**. Consider the restriction of the bundle 𝒪ℬ → ℬ of oriented blownup 3balls to the set of 3balls. Set theoretically this bundle can be identified with the bundle of facial 3balls defined in ref. 5. (In both cases an orientation of a 3ball is determined by a frame, with two frames determining the same orientation if one can be rotated into the other.) Topologically the two bundles are different. The topology of the bundle considered here is derived from the norm (via the corresponding Hausdorff metric for closed subsets of K), whereas the topology of the previous bundle is derived from the w*topology of K (as a subset of 𝒜*). To keep these two topological bundles apart, we now will denote the former by 𝒪ℬ_{3} → ℬ_{3} (norm) and the latter by 𝒪ℬ_{3} → ℬ_{3} (weak*). (A different notation is used in ref. 5.)
It is not hard to show that the natural identification gives a continuous bundle isomorphism from 𝒪ℬ_{3} → ℬ_{3} (norm) to 𝒪ℬ_{3} → ℬ_{3} (weak*), and that each continuous crosssection of the latter (i.e., each C*orientation of K) induces a continuous crosssection of the former. In fact, each continuous crosssection of 𝒪ℬ_{3} → ℬ_{3} (weak*) induces a consistent continuous crosssection of the entire bundle 𝒪ℬ → ℬ) (i.e., a von Neumann orientation of K), but this is less trivial. Here one goes from a C*orientation to a C*multiplicative structure in 𝒜 (ref. 5, Th. 8.4), then via the bidual to a von Neumann multiplicative structure in ℳ, and then back to a von Neumann orientation of K.
Footnotes

↵§ To whom reprint requests should be addressed. email: fshultz{at}sallie.wellesley.edu.

This paper was submitted directly (Track II) to the Proceedings Office.
 Received March 4, 1998.
 Copyright © 1998, The National Academy of Sciences
References
 ↵
 Kadison R V
 ↵
 ↵
 Sherman S
 ↵
 Connes A
 ↵
 Alfsen E M,
 HancheOlsen H,
 Shultz F W
 ↵
 Iochum B,
 Shultz F W
 ↵
 Kadison R V
 ↵
 Bellissard J,
 Iochum B
 ↵
 Iochum B
 ↵
Alfsen, E. M. & Shultz, F. W. (1998) Comm. Math. Phys., in press.
 ↵
 ↵
 von Neumann J
 ↵
 Segal I E
 ↵
 Topping D
 ↵
 Størmer E
 ↵
 Størmer E
 ↵
 Alfsen E M,
 Shultz F W,
 Størmer E
 ↵
 Shultz F W
 ↵
 HancheOlsen H,
 Størmer E
 ↵
 Mandel L,
 Wolf E
 ↵
 Alfsen E M,
 Shultz F W
 ↵
 Alfsen E M,
 Shultz F W
Citation Manager Formats
More Articles of This Classification
Physical Sciences
Related Content
 No related articles found.