Higher-Dimensional Algebra II: 2-Hilbert Spaces (original) (raw)

Quantum Algebra and Topology

arXiv:q-alg/9609018 (q-alg)

[Submitted on 17 Sep 1996 (v1), last revised 22 Oct 1996 (this version, v2)]

View PDF

Abstract: A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a *-structure, conjugate-linear on the hom-sets, satisfying <fg,h> = <g,f*h> = <f,hg*>. We also define monoidal, braided monoidal, and symmetric monoidal versions of 2-Hilbert spaces, which we call 2-H*-algebras, braided 2-H*-algebras, and symmetric 2-H*-algebras, and we describe the relation between these and tangles in 2, 3, and 4 dimensions, respectively. We prove a generalized Doplicher-Roberts theorem stating that every symmetric 2-H*-algebra is equivalent to the category Rep(G) of continuous unitary finite-dimensional representations of some compact supergroupoid G. The equivalence is given by a categorified version of the Gelfand transform; we also construct a categorified version of the Fourier transform when G is a compact abelian group. Finally, we characterize Rep(G) by its universal properties when G is a compact classical group. For example, Rep(U(n)) is the free connected symmetric 2-H*-algebra on one even object of dimension n.

Submission history

From: John Baez [view email]
[v1] Tue, 17 Sep 1996 16:43:09 UTC (190 KB)
[v2] Tue, 22 Oct 1996 19:38:12 UTC (74 KB)

Bibliographic Tools

Bibliographic and Citation Tools

Bibliographic Explorer Toggle

Code, Data, Media

Code, Data and Media Associated with this Article

Demos

Demos

Related Papers

About arXivLabs

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.