From observables and states to Hilbert space and back: a 2-categorical adjunction (Q1633192)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | From observables and states to Hilbert space and back: a 2-categorical adjunction |
scientific article |
Statements
From observables and states to Hilbert space and back: a 2-categorical adjunction (English)
0 references
19 December 2018
0 references
Given a \(C^{\ast}\)-algebra \(\mathcal{A}\), a representation \(\pi:\mathcal{A}\rightarrow\mathcal{B}(\mathcal{H})\) on a Hilbert space \(\mathcal{H}\)\ and a unit vector \(\psi\in\mathcal{H}\), one gets a state on \(\mathcal{A}\) by \[ a\in\mathcal{A}\mapsto\langle\psi,\pi(a)\psi\rangle \] The principal objective in this paper is to show that the usual GNS (Gelfand-Naimark-Segal) construction is no other than a left adjoint to the above in the \(2\)-category \(\mathbf{Fun}\)(\(\mathbf{C}^{\ast}\)-\(\mathbf{Alg}^{op}\),\(\mathbf{Cat}\)) of functors from \(\mathbf{C}^{\ast}\)-\(\mathbf{Alg}^{op}\) to \(\mathbf{Cat}\) as objects, oplax-natural transformations as \(1\)-morphisms and modifications as \(2\)-morphisms.
0 references
states on \(C^*\)-algebras
0 references
GNS construction
0 references
algebraic quantum theory
0 references