Through classification of compact abelian group actions on semifinite injective factors, Jones and Takesaki introduced the notion of an action of a measured groupoid on a von Neumann algebra, which has proven to be an important tool for this kind of analysis. Elaborating on this notion, this work introduces a new concept of a measured groupoid action that may fit more perfectly into the groupoid setting. Yamanouchi also shows the existence of a canonical coproduct on every groupoid von Neumann algebra, which leads to a concept of a coaction of a measured groupoid. Yamanouchi then proves duality between these objects, extending Nakagami-Takesaki duality for (co)actions of locally compact groups on von Neumann algebras.

Through classification of compact abelian group actions on semifinite injective factors, Jones and Takesaki introduced a notion of an action of a measured groupoid on a von Neumann algebra, which was proven to be an important tool for such an analysis. In this paper, elaborating their definition, the author introduces a new concept of a measured groupoid action that may fit more perfectly in the groupoid setting. The author also considers a notion of a coaction of a measured groupoid by showing the existence of a canonical "coproduct" on every groupoid von Neumann algebra.

This book contains papers presented at the NSF/CBMS Regional Conference on Coordinates in Operator Algebras, held at Texas Christian University in Fort Worth in May 1990. During the conference, in addition to a series of ten lectures by Paul S Muhly (which will be published in a CBMS Regional Conference Series volume), there were twenty-eight lectures delivered by conference participants on a broad range of topics of current interest in operator algebras and operator theory. This volume contains slightly expanded versions of most of those lectures. Participants were encouraged to bring open problems to the conference, and, as a result, there are over one hundred problems and questions scattered throughout this volume. Readers will appreciate this book for the overview it provides of current topics and methods of operator algebras and operator theory.

In this book, the author introduces and studies the construction of the crossed product of a von Neumann algebra. This construction is the generalization of the construction of the crossed product of an abelian von Neumann algebra by an equivalence relation introduced by J. Feldman and C. C. Moore. Many properties of this construction are proved in the general case. In addition, the generalizations of the Spectral Theorem on Bimodules and of the theorem on dilations are proved.

This work studies equivariant linear second order elliptic operators [italic capital]P on a connected noncompact manifold [italic capital]X with a given action of a group [italic capital]G. The action is assumed to be cocompact, meaning that [italic capitals]GV = [italic capital]X for some compact subset of [italic capital]V of [italic capital]X. The aim is to study the structure of the convex cone of all positive solutions of [italic capital]P[italic]u = 0.

This work describes a general construction of a deformation quantization for any Poisson bracket on a manifold which comes from an action of R ]d on that manifold. These deformation quantizations are strict, in the sense that the deformed product of any two functions is again a function and that there are corresponding involutions and operator norms. Many of the techniques involved are adapted from the theory of pseudo-differential operators. The construction is shown to have many favorable properties. A number of specific examples are described, ranging from basic ones such as quantum disks, quantum tori, and quantum spheres, to aspects of quantum groups.

We develop a duality theory for small Boolean pretoposes in which the dual of the [italic capital]T is the groupoid of models of a Boolean pretopos [italic capital]T equipped with additional structure derived from ultraproducts. The duality theorem states that any small Boolean pretopos is canonically equivalent to its double dual. We use a strong version of the duality theorem to prove the so-called descent theorem for Boolean pretoposes which says that category of descent data derived from a conservative pretopos morphism between Boolean pretoposes is canonically equivalent to the domain-pretopos. The descent theorem contains the Beth definability theorem for classical first order logic. Moreover, it gives, via the standard translation from the language of categories to symbolic logic, a new definability theorem for classical first order logic concerning set-valued functors on models, expressible in purely syntactical (arithmetical) terms.

This memoir investigates a method that generalizes the Chern-Federer kinematic formula to arbitrary homogeneous spaces with an invariant Riemannian metric, and leads to new formulas even in the case of submanifolds of Euclidean space.