A von Neumann Algebra Approach to Quantum Metrics/Quantum Relations


Book Description

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)$.




A Von Neumann Algebra Approach to Quantum Metrics


Book Description

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).




Extended Graphical Calculus for Categorified Quantum sl(2)


Book Description

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).




Dimer Models and Calabi-Yau Algebras


Book Description

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.




Hopf Algebras and Congruence Subgroups


Book Description

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.




Finite Order Automorphisms and Real Forms of Affine Kac-Moody Algebras in the Smooth and Algebraic Category


Book Description

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).




Character Identities in the Twisted Endoscopy of Real Reductive Groups


Book Description

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.




Chevalley Supergroups


Book Description

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.




On $L$-Packets for Inner Forms of $SL_n$


Book Description

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$.




Elliptic Integrable Systems


Book Description

In this paper, the author studies all the elliptic integrable systems, in the sense of C, that is to say, the family of all the $m$-th elliptic integrable systems associated to a $k^\prime$-symmetric space $N=G/G_0$. The author describes the geometry behind this family of integrable systems for which we know how to construct (at least locally) all the solutions. The introduction gives an overview of all the main results, as well as some related subjects and works, and some additional motivations.