Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

tl;dr: Is there such a thing as a W*-completion of a C*-algebra, and if so, where can I read about it?

I'm wondering about the relationship between (abstract) C*-algebras and W*-algebras. On the one hand, every W*-algebra is a C*-algebra. On the other hand, it seems to me that it should be possible to complete any C*-algebra to a W*-algebra. (Categorially, this would be a reflection.) In the case of commutative algebras, I even think that I know how this works: every commutative C*-algebra is the algebra of continuous functions on some compact Hausdorff space, and we extend this to the W*-algebra of essentially bounded Borel-measurable functions on the space (considered up to equality almost everywhere).

So, is this correct? Does it work for noncommutative algebras as well? Is there a good algebro-analytic (without passing through topology) description of this? Is there a good reference, especially online?

Also, in the commutative case, it seems that every state (positive normal linear functional) on a C*-algebra extends uniquely to its W*-completion, so they have the same space of states. Is this correct? Does it extend to the noncommutative case?

Another question is how this relates to concrete algebras (those given as algebras of operators on some Hilbert space). One way to complete a C*-algebra would be to pick a concrete representation and take its weak closure (or double commutant). But I expect that this will depend on the representation chosen. (And my analysis is bad enough that I can't check this for even the commutative case.)

I'd appreciate any help even for the main question, never mind this stuff about states and representations!

share|improve this question
1  
Take the second dual (sorry for terseness, am in a bit of a rush) -- this is called the universal or enveloping W*-algebra of your original B*-algebra. (Yes, I believe in the distinction between B* and C*.) Note that in the commutative case this does not give what you guessed, I would have to think a bit more about what exactly goes wrong. –  Yemon Choi Aug 1 '11 at 19:39
1  
Last thing for now: your statement about states (in the commutative case) is incorrect. $l^\infty$ has, for those of us who worship The Great Satan that is AC, many more states than $c_0$ does - this is how one gets invariant means for instance. –  Yemon Choi Aug 1 '11 at 19:42
2  
I continued searching M.O after asking, and part of the answer is in question 60328, What kind of completion is this?. * The standard term for the W*-completion of a C*-algebra is "enveloping von Neumann algebra"; it may be constructed as the double dual. * In the commutative case, viewed as topology, the term is "hyperstonean cover"; viewed as analysis, I can read about it in Conway (which I own). So I'm left with asking for confirmation and references to enveloping W*-algebras. –  Toby Bartels Aug 1 '11 at 19:45
2  
@Toby: if $X$ is, say, the unit interval with usual topology, and $L^\infty(X)$ is the bounded Lebesgue measurable functions on it (modulo almost everywhere caveats, yadda yadda) then "evaluation at $x$" is a (pure) state on $C(X)$ but isn't even well-defined on $L^\infty(X)$. The "nice" states on $L^\infty(X)$, i.e. those respecting the weak-star topology that it has as a $W*$-algebra, turn out to be given by "integration against $f$" for $f$ a positive integrable Lebesgue measurable function. –  Yemon Choi Aug 6 '11 at 3:38
2  
Thanks, Yemon, that makes it obvious. Also, to make sure that I'm not hallucinating, $f$ should not just be integrable but in fact integrate to $1$, for integration against it to be a state. –  Toby Bartels Aug 10 '11 at 20:58

1 Answer 1

The universal enveloping W* algebra of a C* algebra is discussed in detail in chapter III.2 of volume 1 of Takesaki's work on "Theory of operator algebra". It is universal in the sense that any map to an W* algebra factors through it (modulo some mumbling about topologies), and as mentioned above is given by the double dual of the C* algebra. This is called the Sherman-Takeda theorem, and was announced by Sherman in 1950 and proved by Takeda in 1954.

share|improve this answer
    
Thanks, I can find that book at my university library, so I'll check it out! –  Toby Bartels Aug 3 '11 at 16:39

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.