AW*-algebra

In mathematics, an AW*-algebra is an algebraic generalization of a W*-algebra. They were introduced by Irving Kaplansky in 1951.[1] As operator algebras, von Neumann algebras, among all C*-algebras, are typically handled using one of two means: they are the dual space of some Banach space, and they are determined to a large extent by their projections. The idea behind AW*-algebras is to forgo the former, topological, condition, and use only the latter, algebraic, condition.

Definition

Recall that a projection of a C*-algebra is a self-adjoint idempotent element. A C*-algebra A is an AW*-algebra if for every subset S of A, the left annihilator

is generated as a left ideal by some projection p of A, and similarly the right annihilator is generated as a right ideal by some projection q:

.

Hence an AW*-algebra is a C*-algebras that is at the same time a Baer *-ring.

The original definition of Kaplansky states that an AW*-algebra is a C*-algebra such that (1) any set of orthogonal projections has a least upper bound, and (2) that each maximal commutative C*-subalgebra is generated by its projections. The first condition states that the projections have an interesting structure, while the second condition ensures that there are enough projections for it to be interesting [1]. Note that the second condition is equivalent to the condition that each maximal commutative C*-subalgebra is monotone complete.

Structure theory

Many results concerning von Neumann algebras carry over to AW*-algebras. For example, AW*-algebras can be classified according to the behavior of their projections, and decompose into types.[2] For another example, normal matrices with entries in an AW*-algebra can always be diagonalized.[3] AW*-algebras also always have polar decomposition.[4]

However, there are also ways in which AW*-algebras behave differently from von Neumann algebras.[5] For example, AW*-algebras of type I can exhibit pathological properties,[6] even though Kaplansky already showed that such algebras with trivial center are automatically von Neumann algebras.

The commutative case

A commutative C*-algebra is an AW*-algebra if and only if its spectrum is a Stonean space. Via Stone duality, commutative AW*-algebras therefore correspond to complete Boolean algebras. The projections of a commutative AW*-algebra form a complete Boolean algebra, and conversely, any complete Boolean algebra is isomorphic to the projections of some commutative AW*-algebra.

gollark: https://www.ibm.com/blogs/research/2019/10/on-quantum-supremacy/Interesting article related to the quantum supremacy thing - apparently IBM ran the same thing on classical computers in a few days, rather than the cited 10000 years.
gollark: It still has a much better e-ink panel than any more DIY-usable ones which consumers seem to be able to get.
gollark: I have a ~2016 basic one lying around somewhere.
gollark: Yep. The tablets are branded Kindle Fire I think.
gollark: Oh right, yes, that's an actual display issue for the e-ink Kindles.

References
  1. Kaplansky, Irving (1951). "Projections in Banach algebras". Annals of Mathematics. 53 (2): 235–249. doi:10.2307/1969540.
  2. Berberian, Sterling (1972). Baer *-rings. Springer.
  3. Heunen, Chris; Reyes, Manuel L. (2013). "Diagonalizing matrices over AW*-algebras". Journal of Functional Analysis. 264 (8): 1873–1898. arXiv:1208.5120. doi:10.1016/j.jfa.2013.01.022.
  4. Ara, Pere (1989). "Left and right projections are equivalent in Rickart C*-algebras". Journal of Algebra. 120 (2): 433–448. doi:10.1016/0021-8693(89)90209-3.
  5. Wright, J. D. Maitland. "AW*-algebra". Springer.
  6. Ozawa, Masanao (1984). "Nonuniqueness of the cardinality attached to homogeneous AW*-algebras". Proceedings of the American Mathematical Society. 93: 681–684. doi:10.2307/2045544.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.