This one is much more speculative, as I still haven’t worked out the details. I think I worked out a few more back when I was actively investigating this stuff, but if so then I’ve forgotten them all.
The question is, what are the natural analogue of Boolean algebras in the noncommutative case?
The answer is “Err, well, I’m not quite sure!”
I’ve tried to see how far I can extend the [tex]I(A)[/tex] construction to the noncommutative case and see what happens. The results are interesting, but perhaps not very informative.
First of all, we can’t just look at arbitrary idempotents. These turn out to not be very well behaved. Instead we’ll look at self-adjoint idempotents – the projections. (In the commutative case every idempotent is self adjoint). We’ll call the set of these [tex]I(A)[/tex] as before.
Second of all, we run into a problem. The product of two projections is only a projection if they commute. So, in the noncommutative case, we don’t have the multiplication operation making it into a Boolean algebra. We can however still make it into a partial order:
Define [tex]x prec y[/tex] if [tex]xy = x[/tex].
Thie definition may seem like there should also be a right-multiplication version, but in fact there isn’t. If [tex]x prec y[/tex] then [tex]x = x^* = (xy)^* = y^* x^* = yx[/tex] (one of the many reasons it was important that these things are self adjoint).
So, if [tex]x prec y[/tex] and [tex]y prec x[/tex] then [tex]x = xy = y[/tex]. So the relation is antisymmetric. It’s evidently transitive and reflexive, so we have a partial order.
It has top and bottom elements, [tex]0[/tex] and [tex]1[/tex].
We have an operator [tex]neg x = 1 – x[/tex] which maps [tex]I(A)[/tex] into itself. It has the following properties:
- It’s order reversing.
- [tex]negneg x = x[/tex]
- [tex]x vee neg x = 1[/tex]
- [tex]x wedge neg x = 0[/tex]
Note that it is not determined by these latter two properties. [tex]I(A)[/tex] is not a distributive lattice!
Is [tex]I(A)[/tex] even a lattice? I don’t know. It looks like it.
In the case of [tex]End(H)[/tex] we have [tex]I(A)[/tex] is isomorphic to the lattice of closed subspaces of [tex]H[/tex], with [tex]neg[/tex] being orthogonal complement and [tex]prec[/tex] being [tex]subseteq[/tex]. This is a lattice, with [tex]X wedge Y = X cap Y[/tex] and [tex]X vee Y[/tex] being the closed linear span of [tex]X cup Y[/tex].
Further, fix [tex]x in X setminux Y[/tex]. Then for [tex](pi_X pi_Y)^n x to 0[/tex]. So one might expect that [tex](pi_X pi_Y)^n to pi_{X cap Y}[/tex]. Unfortunately this isn’t true. Usual problem with exchanging limits. It’s true in some sort of weak topology, so if [tex]A[/tex] can be represented as a closed subspace of [tex]End(H)[/tex] in this topology then this limit is in [tex]A[/tex] and we have the desired result. I imagine this only works if [tex]A[/tex] is closed in the strong operator topology. i.e. is a von Neumann algebra. I’ll need to learn more about these before I can say for sure.
I’m not yet really sure if this works. I doubt it, and even if it does then it’s probably far too much work and there’s a better proof.
Some negative results:
The norm is not uniquely determined on the projections. Rather, every projection has norm [tex]1[/tex], but projections [tex]x, y[/tex] can have [tex]||x – y||[/tex] taking any value in [tex][0, 1][/tex].
Also, these posets are very very large. In the simplest example, take [tex]A = End(mathbb{C}^2)[/tex]. Then [tex]I(A)[/tex] is an antichain of size [tex]2^{aleph_0}[/tex] plus a top and bottom element.
Note this is also an example of how badly complementation fails to be unique. For any distinct [tex]x, y[/tex] with [tex]x, y not= 1, 0[/tex] we have [tex]x vee y = 1[/tex] and [tex]x wedge y = 0[/tex].
I’ll post more as I think of it.