5
$\begingroup$

This is not my subject so I apologize if my question is too obvious or understood from other pages.

I read some pages such as
Reference for the Gelfand-Neumark theorem for commutative von Neumann algebras and von neumann algebras and measurable spaces. If I understand correctly, there is some correspondence between localizable measure spaces and commutative von Neumann algebras given by $$(\Omega,\nu)\mapsto L^{\infty}(\Omega,\nu).$$ But I wanted to clarify:

(1) What is the correct notion of a morphism of commutative von Neumann algebras? Is it a normal *-homomorphism? What is the exact definition of normal? is it the same as being σ-weakly continuous?

(2) Is it true that the opposite category of the category of commutative von Neumann algebras (with the appropriate class of morphisms) is equivalent to the category of localizable measure spaces and measurable maps? Or do we need to use another type of morphisms between localizable measure spaces?

Any good references on the above will be highly appreciated.

$\endgroup$
  • 2
    $\begingroup$ @DmitriPavlov would probably know. $\endgroup$ – David Roberts Jul 6 '15 at 3:03
  • $\begingroup$ In fact, he says it in his question: "...subcategory of von Neumann algebras and their morphisms (σ-weakly continuous morphisms of unital C*-algebras)" $\endgroup$ – David Roberts Jul 6 '15 at 3:08
  • 1
    $\begingroup$ (1) Yes to both questions. (2) Yes, provided that a measurable map is defined as an equivalence class modulo equality on a conegligible set. More details can be found at ncatlab.org/nlab/show/measurable+locale, mathoverflow.net/questions/20740/…, and mathoverflow.net/questions/49426/… (the last link has a list of further references). $\endgroup$ – Dmitri Pavlov Jul 6 '15 at 15:56
  • 1
    $\begingroup$ Clarification to (2): equality on a conegligible set is understood in the sense that two measurable maps f and g are identified if and only if the preimages of any measurable set have a negligible symmetric difference. $\endgroup$ – Dmitri Pavlov Jul 7 '15 at 10:46
  • 1
    $\begingroup$ @DmitriPavlov Thanks! What is a good reference for this equivalence of categories? $\endgroup$ – Ilan Barnea Jul 7 '15 at 17:38
5
$\begingroup$

The technical part of your problem is resolved in the sadly little-known article "On point realization of $L^\infty$-endomorphisms" by Vesterstrøm and Wils in Math. Scand. 25 (1970) (journal link). By the way, von Neumann algebras are considered from a categorical viewpoint by Guichardet in a paper in Bull. Math. Soc. 90 (1966).

$\endgroup$
  • $\begingroup$ For the paper of Guicharget see dmitripavlov.org/scans/guichardet.pdf $\endgroup$ – David Roberts Jul 6 '15 at 7:58
  • $\begingroup$ As far as I see they prove something for $\Omega$ a locally compact space and $\nu$ a positive Radon measure. Does this cover all localizable measure spaces? Also, they show that any normal *-homomorphism $$L^{\infty}(\Omega,\nu)\xrightarrow{F} L^{\infty}(\Omega_1,\nu_1)$$ is induced from a map $\Omega\xrightarrow{f} \Omega_1$. Is there any simple way to characterize the maps $f$ that are obtained this way? Does it give an equivalence of categories? $\endgroup$ – Ilan Barnea Jul 6 '15 at 8:25
3
$\begingroup$

The split interval $I^{\parallel} = \{t^+ : t \in [0,1]\} \cup \{t^- : t \in [0,1]\}$ yields the standard counterexample to the second question (details can be found in Fremlin Vol 3I, section 343, especially 343J, the exercises and the notes and comments at the end of the section). There usually are many maps of the measure space that induce the same morphisms of the measure algebra.

The identity homomorphism of the measure algebra of $I^{\parallel}$ is induced both by the identity map $f$ and by the map $g$ exchanging $t^+$ with $t^-$. Since the measure algebra uniquely determines the associated von Neumann algebra, both these maps induce the identity map of the algebra. Obviously $f(x) \neq g(x)$ for all $x \in I^{\parallel}$, so no identification modulo zero helps here.

Similarly, the measure algebra of $I^{\parallel}$ is canonically isomorphic to the measure algebra of the unit interval, and the two maps $t^{\pm} \mapsto t^-$ and $t^{\pm} \mapsto t^+$ both induce this isomorphism, but they are nowhere equal.

$\endgroup$
  • $\begingroup$ The question in the original post does not define the equivalence relation on measurable maps, so it has different answers depending on the equivalence relation chosen. With the correct choice one does get an equivalence of categories. $\endgroup$ – Dmitri Pavlov Jul 7 '15 at 10:52
  • $\begingroup$ Does anyone have .pdf formats for the .tex files in Fremlin Vol 3I? $\endgroup$ – Ilan Barnea Jul 7 '15 at 20:35
  • $\begingroup$ @IlanBarnea: libgen.education/search.php?req=fremlin+measure+theory $\endgroup$ – Dmitri Pavlov Jul 8 '15 at 13:11

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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