Jordan operator algebra

A Jordan operator algebra is a norm-closed subspace of the space of operators on a complex Hilbert space, closed under the Jordan product a ∘ b = 1/2(ab + ba) and closed in the operator norm.^[1]

Jordan Banach algebra

A Jordan Banach algebra is a real Jordan algebra with a norm making it a Banach space and satisfying || a ∘ b || ≤ ||a||⋅||b||.

JB algebra

A JB algebra is a Jordan Banach algebra satisfying

\displaystyle {\|a^{2}\|=\|a\|^{2},\,\,\,\|a^{2}\|\leq \|a^{2}+b^{2}\|.}

JB* algebras

A JB* algebra or Jordan C* algebra is a complex Jordan algebra with an involution a ↦ a* and a norm making it a Banach space and satisfying

||a ∘ b || ≤ ||a||⋅||b||
||a*|| = ||a||
||{a,a*,a}|| = ||a||³ where the Jordan triple product is defined by {a,b,c} = (a ∘ b) ∘ c + (c ∘ b) ∘ a − (a ∘ c) ∘ b.

JW algebras

A JW algebra is a Jordan subalgebra of the Jordan algebra of self-adjoint operators on a complex Hilbert space that is closed in the weak operator topology.

JBW algebras

A JBW algebra is a JB algebra that, as a real Banach space, is the dual of a Banach space called its predual.^[2] There is an equivalent more technical definition in terms of the continuity properties of the linear functionals in the predual, called normal functionals. This is usually taken as the definition and the abstract characterization as a dual Banach space derived as a consequence.^[3]

For the order structure on a JB algebra (defined below), any increasing net of operators bounded in norm should have a least upper bound.
Normal functionals are those that are continuous on increasing bounded nets of operators. Positive normal functional are those that are non-negative on positive operators.
For every non-zero operator, there is a positive normal functional that does not vanish on that operator.

Properties of JB algebras

If a unital JB algebra is associative, then its complexification with its natural involution is a commutative C* algebra. It is therefore isomorphic to C(X) for a compact Hausdorff space X, the space of characters of the algebra.
Spectral theorem. If a is a single operator in a JB algebra, the closed subalgebra generated by 1 and a is associative. It can be identified with the continuous real-valued functions on the spectrum of a, the set of real λ for which a − λ1 is not invertible.
The positive elements in a unital JB algebra are those with spectrum contained in [0,∞). By the spectral theorem, they coincide with the space of squares and form a closed convex cone. If b ≥ 0, then {a,b,a} ≥ 0.
A JB algebra is a formally real Jordan algebra: if a sum of squares of terms is zero, then each term is zero. In finite dimensions, a JB algebra is isomorphic to a Euclidean Jordan algebra.^[4]
The spectral radius on a JB algebra defines an equivalent norm also satisfying the axioms for a JB algebra.
A state on a unital JB algebra is a bounded linear functional f such that f(1) = 1 and f is non-negative on the positive cone. The state space is a convex set closed in the weak* topology. The extreme points are called pure states. Given a there is a pure state f such that |f(a)| = ||a||.
Gelfand–Naimark–Segal construction : If a JB algebra is isomorphic to the self-adjoint n by n matrices with coefficients in some associative unital *-algebra, then it is isometrically isomorphic to a JC algebra. The JC algebra satisfies the additional condition that (T + T*)/2 lies in the algebra whenever T is a product of operators from the algebra.^[5]
A JB algebra is purely exceptional if it has no non-zero Jordan homomorphism onto a JC algebra. The only simple algebra that can arise as the homomorphic image of a purely exceptional JB algebra is the Albert algebra, the 3 by 3 self-adjoint matrices over the octonions.
Every JB algebra has a uniquely determined closed ideal that is purely exceptional, and such that the quotient by the ideal is a JC algebra.
Shirshov–Cohn theorem. A JB algebra generated by 2 elements is a JC algebra.^[6]

Properties of JB* algebras

The definition of JB* algebras was suggested in 1976 by Irving Kaplansky at a lecture in Edinburgh. The real part of a JB* algebra is always a JB algebra. Wright (1977) proved that conversely the complexification of every JB algebra is a JB* algebra. JB* algebras have been used extensively as a framework for studying bounded symmetric domains in infinite dimensions. This generalizes the theory in finite dimensions developed by Max Koecher using the complexification of a Euclidean Jordan algebra.^[7]

Properties of JBW algebras

Elementary properties

The Kaplansky density theorem holds for real unital Jordan algebras of self-adjoint operators on a Hilbert space with the operator Jordan product. In particular a Jordan algebra is closed in the weak operator topology if and only if it is closed in the ultraweak operator topology. The two topologies coincide on the Jordan algebra.^[8]
For a JBW algebra, the space of positive normal functionals is invariant under the quadratic representation Q(a)b = {a,b,a}. If f is positive so is f ∘ Q(a).
The weak topology on a JW algebra M is define by the seminorms |f(a)| where f is a normal state; the strong topology is defined by the seminorms |f(a²)|^1/2. The quadratic representation and Jordan product operators L(a)b = a ∘ b are continuous operators on M for both the weak and strong topology.
An idempotent p in a JBW algebra M is called a projection. If p is a projection, then Q(p)M is a JBW algebra with identity p.
If a is any element of a JBW algebra, the smallest weakly closed unital subalgebra it generates is associative and hence the self-adjoint part of an Abelian von Neumann algebra. In particular a can be approximated in norm by linear combinations of orthogonal projections.
The projections in a JBW algebra are closed under lattice operations. Thus for a family p_α there is a smallest projection p such that p ≥ p_α and a largest projection q such that q ≤ p_α.
The center of a JBW algebra M consists of all z such L(z) commutes with L(a) for a in M. It is an associative algebra and the real part of an Abelian von Neumann algebra. A JBW algebra is called a factor if its center consists of scalar operators.
If A is a JB algebra, its second dual A** is a JBW algebra. The normal states are states in A* and can be identified with states on A. Moreover, A** is the JBW algebra generated by A.
A JB algebra is a JBW algebra if and only if, as a real Banach space, it is the dual of a Banach space. This Banach space, its predual, is the space of normal functionals, defined as differences of positive normal functionals. These are the functionals continuous for the weak or strong topologies. As a consequence the weak and strong topologies coincide on a JBW algebra.
In a JBW algebra, the JBW algebra generated by a Jordan subalgebra coincides with its weak closure. Moreover, an extension of the Kaplansky density theorem holds: the unit ball of the subalgebra is weakly dense in the unit ball of the JBW algebra it generates.
Tomita–Takesaki theory has been extended by Haagerup & Hanche-Olsen (1984) to normal states of a JBW algebra that are faithful, i.e. do not vanish on any non-zero positive operator. The theory can be deduced from the original theory for von Neumann algebras.^[9]

Comparison of projections

Let M be a JBW factor. The inner automorphisms of M are those generated by the period two automorphisms Q(1 – 2p) where p is a projection. Two projections are equivalent if there is an inner automorphism carrying one onto the other. Given two projections in a factor, one of them is always equivalent to a sub-projection of the other. If each is equivalent to a sub-projection of the other, they are equivalent.

A JBW factor can be classified into three mutually exclusive types as follows:

It is type I if there is a minimal projection. It is type I_n if 1 can be written as a sum of n orthogonal minimal projections for 1 ≤ n ≤ ∞.
It is Type II if there are no minimal projections but the subprojections of some fixed projections e form a modular lattice, i.e. p ≤ q implies (p ∨ r) ∧ q = p ∨ (r ∧ q) for any projection r ≤ e. If e can be taken to be 1, it is Type II₁. Otherwise it is type II_≈.
It is Type III if the projections do not form a modular lattice. All non-zero projections are then equivalent.^[10]

Tomita–Takesaki theory permits a further classification of the type III case into types III_λ (0 ≤ λ ≤ 1) with the additional invariant of an ergodic flow on a Lebesgue space (the "flow of weights") when λ = 0.^[11]

Classification of JBW factors of Type I

The JBW factor of Type I₁ is the real numbers.
The JBW factors of Type I₂ are the spin factors. Let H be a real Hilbert space of dimension greater than 1. Set M = H ⊕ R with inner product (u⊕λ,v⊕μ) =(u,v) + λμ and product (u⊕λ)∘(v⊕μ)=( μu + λv) ⊕ [(u,v) + λμ]. With the operator norm ||L(a)||, M is a JBW factor and also a JW factor.
The JBW factors of Type I₃ are the self-adjoint 3 by 3 matrices with entries in the real numbers, the complex numbers or the quaternions or the octonions.
The JBW factors of Type I_n with 4 ≤ n < ∞ are the self-adjoint n by n matrices with entries in the real numbers, the complex numbers or the quaternions.
The JBW factors of Type I_∞ are the self-adjoint operators on an infinite-dimensional real, complex or quaternionic Hilbert space. The quaternionic space is defined as all sequences x = (x_i) with x_i in H and Σ |x_i|² < ∞. The H-valued inner product is given by (x,y) = Σ (y_i)*x_i. There is an underlying real inner product given by (x,y)_R = Re (x,y). The quaternionic JBW factor of Type I_∞ is thus the Jordan algebra of all self-adjoint operators on this real inner product space that commute with the action of right multiplication by H.^[12]

Classification of JBW factors of Types II and III

The JBW factors not of Type I₂ and I₃ are all JW factors, i.e. can be realized as Jordan algebras of self-adjoint operators on a Hilbert space closed in the weak operator topology. Every JBW factor not of Type I₂ or Type I₃ is isomorphic to the self-adjoint part of the fixed point algebra of a period 2 *-anti-automorphism of a von Neumann algebra. In particular each JBW factor is either isomorphic to the self-adjoint part of a von Neumann factor of the same type or to the self-adjoint part of the fixed point algebra of a period 2 *-anti-automorphism of a von Neumann factor of the same type.^[13] For hyperfinite factors, the class of von Neumann factors completely classified by Connes and Haagerup, the period 2 *-antiautomorphisms have been classified up to conjugacy in the automorphism group of the factor.^[14]

Notes

↑ Blecher & Wang 2018 , p. 1629
↑ Hanche-Olsen & Størmer 1984 , p. 111
↑ Hanche-Olsen & Størmer 1984 , p. 94
↑ Faraut & Korányi 1994
↑ Hanche-Olsen & Størmer 1984 , pp. 75–90
↑ Hanche-Olsen & Størmer 1984 , pp. 155–156
↑
See:
- Hanche-Olsen & Størmer 1984 , pp. 90–92
- Upmeier 1985
↑
See:
↑ Hanche-Olsen & Størmer 1984 , pp. 94–119
↑ Hanche-Olsen & Størmer 1984 , pp. 120–134
↑ Haagerup & Hanche-Olsen 1984
↑ Hanche-Olsen & Størmer 1984
↑
See:
- Hanche-Olsen & Størmer 1984 , pp. 122–123
- Hanche-Olsen 1983
- Haagerup & Hanche-Olsen 1984 , p. 347
↑
See:

Related Research Articles

In mathematics, specifically in functional analysis, a C^∗-algebra is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra A of continuous linear operators on a complex Hilbert space with two additional properties:

In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra.

In functional analysis and related areas of mathematics, the group algebra is any of various constructions to assign to a locally compact group an operator algebra, such that representations of the algebra are related to representations of the group. As such, they are similar to the group ring associated to a discrete group.

In functional analysis, a state of an operator system is a positive linear functional of norm 1. States in functional analysis generalize the notion of density matrices in quantum mechanics, which represent quantum states, both §§ Mixed states and pure states. Density matrices in turn generalize state vectors, which only represent pure states. For M an operator system in a C*-algebra A with identity, the set of all states ofM, sometimes denoted by S(M), is convex, weak-* closed in the Banach dual space M^*. Thus the set of all states of M with the weak-* topology forms a compact Hausdorff space, known as the state space of M.

In mathematics, specifically functional analysis, the von Neumann bicommutant theorem relates the closure of a set of bounded operators on a Hilbert space in certain topologies to the bicommutant of that set. In essence, it is a connection between the algebraic and topological sides of operator theory.

In functional analysis, a branch of mathematics, an operator algebra is an algebra of continuous linear operators on a topological vector space, with the multiplication given by the composition of mappings.

In the mathematical field of functional analysis there are several standard topologies which are given to the algebra $B(X)$ of bounded linear operators on a Banach space $X$ .

In mathematics, Stone's theorem on one-parameter unitary groups is a basic theorem of functional analysis that establishes a one-to-one correspondence between self-adjoint operators on a Hilbert space $and one-parameter families$

In abstract algebra, a Jordan algebra is a nonassociative algebra over a field whose multiplication satisfies the following axioms:

$.$

In mathematics, particularly in functional analysis and ring theory, an approximate identity is a net in a Banach algebra or ring that acts as a substitute for an identity element.

In mathematics, and more specifically in the theory of von Neumann algebras, a crossed product is a basic method of constructing a new von Neumann algebra from a von Neumann algebra acted on by a group. It is related to the semidirect product construction for groups.

In the theory of von Neumann algebras, a part of the mathematical field of functional analysis, Tomita–Takesaki theory is a method for constructing modular automorphisms of von Neumann algebras from the polar decomposition of a certain involution. It is essential for the theory of type III factors, and has led to a good structure theory for these previously intractable objects.

In mathematics, affiliated operators were introduced by Murray and von Neumann in the theory of von Neumann algebras as a technique for using unbounded operators to study modules generated by a single vector. Later Atiyah and Singer showed that index theorems for elliptic operators on closed manifolds with infinite fundamental group could naturally be phrased in terms of unbounded operators affiliated with the von Neumann algebra of the group. Algebraic properties of affiliated operators have proved important in L² cohomology, an area between analysis and geometry that evolved from the study of such index theorems.

In the theory of von Neumann algebras, the Kaplansky density theorem, due to Irving Kaplansky, is a fundamental approximation theorem. The importance and ubiquity of this technical tool led Gert Pedersen to comment in one of his books that,

In mathematics, a commutation theorem for traces explicitly identifies the commutant of a specific von Neumann algebra acting on a Hilbert space in the presence of a trace.

In mathematics, Hilbert spaces allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space.

In mathematics, symmetric cones, sometimes called domains of positivity, are open convex self-dual cones in Euclidean space which have a transitive group of symmetries, i.e. invertible operators that take the cone onto itself. By the Koecher–Vinberg theorem these correspond to the cone of squares in finite-dimensional real Euclidean Jordan algebras, originally studied and classified by Jordan, von Neumann & Wigner (1934). The tube domain associated with a symmetric cone is a noncompact Hermitian symmetric space of tube type. All the algebraic and geometric structures associated with the symmetric space can be expressed naturally in terms of the Jordan algebra. The other irreducible Hermitian symmetric spaces of noncompact type correspond to Siegel domains of the second kind. These can be described in terms of more complicated structures called Jordan triple systems, which generalize Jordan algebras without identity.

In the theory of C*-algebras, the universal representation of a C*-algebra is a faithful representation which is the direct sum of the GNS representations corresponding to the states of the C*-algebra. The various properties of the universal representation are used to obtain information about the ideals and quotients of the C*-algebra. The close relationship between an arbitrary representation of a C*-algebra and its universal representation can be exploited to obtain several criteria for determining whether a linear functional on the algebra is ultraweakly continuous. The method of using the properties of the universal representation as a tool to prove results about the C*-algebra and its representations is commonly referred to as universal representation techniques in the literature.

This is a glossary for the terminology in a mathematical field of functional analysis.

References

Alfsen, E. M.; Shultz, F. W.; Størmer, E. (1978), "A Gelfand-Neumark theorem for Jordan algebras", Advances in Mathematics , 28: 11–56, doi: 10.1016/0001-8708(78)90044-0 , hdl: 10852/43986
Blecher, David P.; Wang, Zhenhua (2018), "Jordan operator algebras: basic theory", Mathematische Nachrichten, 291 (11–12): 1629–1654, arXiv: 1705.00245 , doi:10.1002/mana.201700178, S2CID 119166047
Dixmier, J. (1981), Von Neumann algebras, ISBN 0-444-86308-7 (A translation of Dixmier, J. (1957), Les algèbres d'opérateurs dans l'espace hilbertien: algèbres de von Neumann, Gauthier-Villars, the first book about von Neumann algebras.)
Effros, E. G.; Størmer, E. (1967), "Jordan algebras of self-adjoint operators", Trans. Amer. Math. Soc., 127 (2): 313–316, doi: 10.1090/s0002-9947-1967-0206733-x , hdl:10852/44991
Faraut, Jacques; Korányi, Adam (1994), Analysis on symmetric cones, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, ISBN 0-19-853477-9, MR 1446489
Giordano, Thierry; Jones, Vaughan (1980), "Antiautomorphismes involutifs du facteur hyperfini de type II₁", C. R. Acad. Sci. Paris: A29–A31, Zbl 0428.46047
Giordano, T. (1983a), "Antiautomorphismes involutifs des facteurs de von Neumann injectifs. I", J. Operator Theory, 10: 251–287
Giordano, T. (1983b), "Antiautomorphismes involutifs des facteurs de von Neumann injectifs. II", J. Funct. Anal., 51 (3): 326–360, doi: 10.1016/0022-1236(83)90017-4
Hanche-Olsen, H. (1983), "On the structure and tensor products of JC-algebras", Can. J. Math., 35 (6): 1059–1074, doi:10.4153/cjm-1983-059-8, hdl: 10852/45065 , S2CID 122028832
Haagerup, U.; Hanche-Olsen, H. (1984), "Tomita–Takesaki theory for Jordan algebras", J. Operator Theory, 11: 343–364, Zbl 0567.46037
Hanche-Olsen, H.; Størmer, E. (1984), Jordan operator algebras, Monographs and Studies in Mathematics, vol. 21, Pitman, ISBN 0273086197
Størmer, Erling (1980), "Real structure in the hyperfinite factor", Duke Math. J., 47: 145–153, doi:10.1215/S0012-7094-80-04711-0, Zbl 0462.46044
Upmeier, H. (1985), Symmetric Banach manifolds and Jordan C∗-algebras, North-Holland Mathematics Studies, vol. 104, ISBN 0444876510
Upmeier, H. (1987), Jordan algebras in analysis, operator theory, and quantum mechanics, CBMS Regional Conference Series in Mathematics, vol. 67, American Mathematical Society, ISBN 082180717X
Wright, J. D. M. (1977), "Jordan C∗-algebras", Michigan Math. J., 24: 291–302, doi: 10.1307/mmj/1029001946 , Zbl 0384.46040

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Blecher & Wang 2018 , p. 1629

[2] Hanche-Olsen & Størmer 1984 , p. 111

[3] Hanche-Olsen & Størmer 1984 , p. 94

[4] Faraut & Korányi 1994

[5] Hanche-Olsen & Størmer 1984 , pp. 75–90

[6] Hanche-Olsen & Størmer 1984 , pp. 155–156

[7] See:
Hanche-Olsen & Størmer 1984 , pp. 90–92
Upmeier 1985

[mwAbk] Hanche-Olsen & Størmer 1984 , pp. 90–92

[mwAb8] Upmeier 1985

[8] See:
Effros & Størmer 1967
Dixmier 1957
Dixmier 1981
Hanche-Olsen & Størmer 1984 , p. 112

[mwAcQ] Effros & Størmer 1967

[mwAcc] Dixmier 1957

[mwAck] Dixmier 1981

[mwAcs] Hanche-Olsen & Størmer 1984 , p. 112

[9] Hanche-Olsen & Størmer 1984 , pp. 94–119

[10] Hanche-Olsen & Størmer 1984 , pp. 120–134

[11] Haagerup & Hanche-Olsen 1984

[12] Hanche-Olsen & Størmer 1984

[13] See:
Hanche-Olsen & Størmer 1984 , pp. 122–123
Hanche-Olsen 1983
Haagerup & Hanche-Olsen 1984 , p. 347

[mwAeo] Hanche-Olsen & Størmer 1984 , pp. 122–123

[mwAfA] Hanche-Olsen 1983

[mwAfI] Haagerup & Hanche-Olsen 1984 , p. 347

[14] See:
Størmer 1980
Giordano & Jones 1980
Giordano 1983a
Giordano 1983b

[mwAfs] Størmer 1980

[mwAf0] Giordano & Jones 1980

[mwAgA] Giordano 1983a

[mwAgI] Giordano 1983b

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

Jordan operator algebra

Contents

Definitions

JC algebra

JC algebra