Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 3rd 2021

    Created:


    Idea

    According to the duality between geometry and algebra, various categories of commutative algebras and similar objects are equivalent to certain corresponding categories of spaces.

    For example, the Gelfand duality establishes a contravariant equivalence of categories between the category of commutative unital C*-algebras and the category of compact Hausdorff topological spaces.

    Thus, one can drop the commutativity condition and argue that studying arbitrary C*-algebras amounts to studying noncommutative general topology, a part of noncommutative geometry.

    Analogously, in measure theory one works with commutative von Neumann algebras instead, which are equivalent to several other categories: compact strictly localizable enhanced measurable spaces, hyperstonean topological spaces and open maps, hyperstonean locales and open maps, measurable locales (and arbitrary morphisms of locales).

    Thus, dropping the commutativity condition results in the category of von Neumann algebras (with ultraweakly continuous *-homomorphisms), and we can view this category as the category of noncommutative measurable spaces.

    Thus, noncommutative measure theory is more-or-less the study of von Neumann algebras, more precisely those aspects of them that reproduce known phenomena in measure theory when specialized to the commutative case.

    Examples

    The notion of a spatial product of (compact strictly localizable enhanced) measurable spaces can be expressed algebraically as the spatial tensor product of von Neumann algebras. This is quite different from the categorical product of measurable spaces, which corresponds to the Dauns tensor product of von Neumann algebras.

    As another example, the theory of L^p-spaces generalizes to von Neumann algebras. This is a work of many authors, including von Neumann, Edward Nelson, Irving Segal, and Uffe Haagerup. It plays a crucial role in Tomita-Takesaki modular theory, which is essentially nothing else than the theory of L^p-spaces where pp is a purely imaginary number. In particular, it allows one to classify type III factors.

    The notion of a measurable field of Hilbert spaces can be expressed using two equivalent categories: the category of W*-modules over von Neumann algebras, and the category of representations of von Neumann algebras on a Hilbert space.

    References

    • Masamichi Takesaki, Theory of Operator Algebras I, II, III, Springer, I: 1979. vii+415 pp. ISBN: 0-387-90391-7; II: 2003. xxii+518 pp. ISBN: 3-540-42914-X; III: 2003. xxii+548 pp. ISBN: 3-540-42913-1.

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJul 3rd 2021

    Thanks!!

    I have added some more cross-links (e.g. with noncommutative topology and quantum probability theory).

    Also made noncommutative measurable space a redirect, and hyperlinked this as such at locale

    diff, v2, current