In A von Neumann Algebra Approach to Quantum Metrics, Kuperberg and Weaver propose a new definition of quantum metric spaces, or W*-metric spaces, in the setting of von Neumann algebras. Their definition effectively reduces to the classical notion in the atomic abelian case, has both concrete and intrinsic characterizations, and admits a wide variety of tractable examples. A natural application and motivation of their theory is a mutual generalization of the standard models of classical and quantum error correction. In Quantum Relations Weaver defines a ``quantum relation'' on a von Neumann algebra $\mathcal{M}\subseteq\mathcal{B}(H)$ to be a weak* closed operator bimodule over its commutant $\mathcal{M}'$. Although this definition is framed in terms of a particular representation of $\mathcal{M}$, it is effectively representation independent. Quantum relations on $l^\infty(X)$ exactly correspond to subsets of $X^2$, i.e., relations on $X$. There is also a good definition of a ``measurable relation'' on a measure space, to which quantum relations partially reduce in the general abelian case. By analogy with the classical setting, Weaver can identify structures such as quantum equivalence relations, quantum partial orders, and quantum graphs, and he can generalize Arveson's fundamental work on weak* closed operator algebras containing a masa to these cases. He is also able to intrinsically characterize the quantum relations on $\mathcal{M}$ in terms of families of projections in $\mathcal{M}{\overline{\otimes}} \mathcal{B}(l^2)$.

We define a "quantum relation" on a von Neumann algebra M⊆B(H) to be a weak* closed operator bimodule over its commutant M′. Although this definition is framed in terms of a particular representation of M, it is effectively representation independent. Quantum relations on l∞(X) exactly correspond to subsets of X2, i.e., relations on X. There is also a good definition of a "measurable relation" on a measure space, to which quantum relations partially reduce in the general abelian case. By analogy with the classical setting, we can identify structures such as quantum equivalence relations, quantum partial orders, and quantum graphs, and we can generalize Arveson's fundamental work on weak* closed operator algebras containing a masa to these cases. We are also able to intrinsically characterize the quantum relations on M in terms of families of projections in M⊗ ̄B(l2).

'The book is very well-written by one of the leading figures in the subject. It is self-contained, includes relevant recent advances and is enriched by a large number of examples and illustrations. In addition to the general bibliography, each chapter includes a section of notes, which details the authorship of the main results, and provides useful hints for further readings. Undoubtedly, this edition will be received by researchers with the same success as the first one.'European Mathematical SocietyThis is the standard reference on algebras of Lipschitz functions, written by the leading figure in the field. The second edition includes new chapters on nonlinear Banach space geometry, differentiability in metric measure spaces, and quantum metrics. This latest material reflects the importance of spaces of Lipschitz functions in a diverse range of current research directions. Every functional analyst should have some knowledge of this subject.

In this article the author uses techniques from algebraic geometry and homological algebra, together with ideas from string theory to construct a class of 3-dimensional Calabi-Yau algebras. The Calabi-Yau property appears throughout geometry and string theory and is increasingly being studied in algebra. He further shows that the algebras constructed are examples of non-commutative crepant resolutions (NCCRs), in the sense of Van den Bergh, of Gorenstein affine toric threefolds. Dimer models, first studied in theoretical physics, give a way of writing down a class of non-commutative algebras, as the path algebra of a quiver with relations obtained from a `superpotential'. Some examples are Calabi-Yau and some are not. The author considers two types of `consistency' conditions on dimer models, and shows that a `geometrically consistent' dimer model is `algebraically consistent'. He proves that the algebras obtained from algebraically consistent dimer models are 3-dimensional Calabi-Yau algebras. This is the key step which allows him to prove that these algebras are NCCRs of the Gorenstein affine toric threefolds associated to the dimer models.

In an earlier paper, Aaron D. Lauda constructed a categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2); here he, Khovanov, Marco Mackaay, and Marko Stosic enhance the graphical calculus he introduced to include two-morphisms between divided powers one-morphisms and their compositions. They obtain explicit diagrammatical formulas for the decomposition of products of divided powers one-morphisms as direct sums of indecomposable one-morphisms, which are in a bijection with the Lusztig canonical basis elements. Their results show that one of Lauda's main results holds when the 2-category is defined over the ring of integers rather than over a field. The study is not indexed. Annotation ©2012 Book News, Inc., Portland, OR (booknews.com).

We prove that the kernel of the action of the modular group on the center of a semisimple factorizable Hopf algebra is a congruence subgroup whenever this action is linear. If the action is only projective, we show that the projective kernel is a congruence subgroup. To do this, we introduce a class of generalized Frobenius-Schur indicators and endow it with an action of the modular group that is compatible with the original one.

Heintze and Gross discuss isomorphisms between smooth loop algebras and of smooth affine Kac-Moody algebras in particular, and automorphisms of the first and second kinds of finite order. Then they consider involutions of the first and second kind, and make the algebraic case. Annotation ©2012 Book News, Inc., Portland, OR (booknews.com).

In the framework of algebraic supergeometry, the authors give a construction of the scheme-theoretic supergeometric analogue of split reductive algebraic group-schemes, namely affine algebraic supergroups associated to simple Lie superalgebras of classical type. In particular, all Lie superalgebras of both basic and strange types are considered. This provides a unified approach to most of the algebraic supergroups considered so far in the literature, and an effective method to construct new ones. The authors' method follows the pattern of a suitable scheme-theoretic revisitation of Chevalley's construction of semisimple algebraic groups, adapted to the reductive case. As an intermediate step, they prove an existence theorem for Chevalley bases of simple classical Lie superalgebras and a PBW-like theorem for their associated Kostant superalgebras.

The theory of $L$-indistinguishability for inner forms of $SL_2$ has been established in the well-known paper of Labesse and Langlands (L-indistinguishability forSL$(2)$. Canad. J. Math. 31 (1979), no. 4, 726-785). In this memoir, the authors study $L$-indistinguishability for inner forms of $SL_n$ for general $n$. Following the idea of Vogan in (The local Langlands conjecture. Representation theory of groups and algebras, 305-379, Contemp. Math. 145 (1993)), they modify the $S$-group and show that such an $S$-group fits well in the theory of endoscopy for inner forms of $SL_n$.

Suppose $G$ is a real reductive algebraic group, $\theta$ is an automorphism of $G$, and $\omega$ is a quasicharacter of the group of real points $G(\mathbf{R})$. Under some additional assumptions, the theory of twisted endoscopy associates to this triple real reductive groups $H$. The Local Langlands Correspondence partitions the admissible representations of $H(\mathbf{R})$ and $G(\mathbf{R})$ into $L$-packets. The author proves twisted character identities between $L$-packets of $H(\mathbf{R})$ and $G(\mathbf{R})$ comprised of essential discrete series or limits of discrete series.