Digital Commons Network^™

Cartan Triples, Allan P. Donsig, Adam H. Fuller, David R. Pitts

Department of Mathematics: Faculty Publications

We introduce the class of Cartan triples as a generalization of the notion of a Car- tan MASA in a von Neumann algebra. We obtain a one-to-one correspondence between Cartan triples and certain Clifford extensions of inverse semigroups. Moreover, there is a spectral theorem describing bimodules in terms of their support sets in the fundamental inverse semigroup and, as a corollary, an extension of Aoi’s theorem to this setting. This context contains that of Fulman’s generalization of Cartan MASAs and we discuss his generalization in an appendix.

Von Neumann Algebras And Extensions Of Inverse Semigroups, Allan P. Donsig, Adam H. Fuller, David R. Pitts

Department of Mathematics: Faculty Publications

In the 1970s, Feldman and Moore classified separably acting von Neumann algebras containing Cartan MASAs using measured equivalence re- lations and 2-cocycles on such equivalence relations. In this paper, we give a new classification in terms of extensions of inverse semigroups. Our approach is more algebraic in character and less point-based than that of Feldman-Moore. As an application, we give a restatement of the spectral theorem for bimodules in terms of subsets of inverse semigroups. We also show how our viewpoint leads naturally to a description of maximal subdiagonal algebras.

Isomorphisms Of Lattices Of Bures-Closed Bimodules Over Cartan Masas, Adam H. Fuller, David R. Pitts

Department of Mathematics: Faculty Publications

For i = 1; 2, let (Mi;Di) be pairs consisting of a Cartan MASA Di in a von Neumann algebra Mi, let atom(Di) be the set of atoms of Di, and let Si be the lattice of Bures-closed Di bimodules in Mi. We show that when Mi have separable preduals, there is a lattice isomorphism between S1 and S2 if and only if the sets

f(Q1;Q2) 2 atom(Di) atom(Di) : Q1MiQ2 6= (0)g

have the same cardinality. In particular, when Di is nonatomic, Si is isomorphic to the lattice of projections in L1([0; 1];m) where m is Lebesgue measure, regardless …