Infinite-Dimensional Representations of 2-Groups (eBook)

A "e;$2$-group"e; is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, $2$-groups have representations on "e;$2$-vector spaces"e;, which are categories analogous to vector spaces. Unfortunately, Lie $2$-groups typically have few representations on the finite-dimensional $2$-vector spaces introduced by Kapranov and Voevodsky. For this reason, Crane, Sheppeard and Yetter introduced certain infinite-dimensional $2$-vector spaces called "e;measurable categories"e; (since they are closely related to measurable fields of Hilbert spaces), and used these to study infinite-dimensional representations of certain Lie $2$-groups. Here they continue this work. They begin with a detailed study of measurable categories. Then they give a geometrical description of the measurable representations, intertwiners and $2$-intertwiners for any skeletal measurable $2$-group. They study tensor products and direct sums for representations, and various concepts of subrepresentation. They describe direct sums of intertwiners, and sub-intertwiners-features not seen in ordinary group representation theory and study irreducible and indecomposable representations and intertwiners. They also study "e;irretractable"e; representations-another feature not seen in ordinary group representation theory. Finally, they argue that measurable categories equipped with some extra structure deserve to be considered "e;separable $2$-Hilbert spaces"e;, and compare this idea to a tentative definition of $2$-Hilbert spaces as representation categories of commutative von Neumann algebras.