Title: Poisson spaces with a transition probability

Abstract: The common structure of the space of pure states $P$ of a classical and a quantum mechanical system is that of a Poisson space with a transition probability. This is a uniform space equipped with a Poisson structure (i.e., a Poisson bracket defined on certain functions on $P$), as well as with a function $p:PxP-> [0,1]$, with certain properties. The Poisson structure is connected with the transition probabilities through unitarity: each point $\rho$ in $P$ defines a function $p_{\rho}:\sigma ->p(\rho,\sigma)$, whose Hamiltonian flow must leave the transition probabilities invariant. In classical mechanics, where $p(\rho,\sigma)=\delta_{\rho\sigma}$, this condition poses no restriction on the Poisson structure. Quantum mechanics is characterized by a specific (complex Hilbert space) form of $p$, and by the property that the irreducible components of $P$ as a transition probability space coincide with the symplectic leaves of $P$ as a Poisson space. In conjunction, these stipulations determine the Poisson structure of quantum mechanics up to a multiplicative constant (identified with Planck's constant). Motivated by E.M. Alfsen, H. Hanche-Olsen and F.W. Shultz (Acta Math. 144 (1980) 267-305) and F.W. Shultz (Commun. Math. Phys. 82 (1982) 497-509), we give axioms guaranteeing that $P$ is the space of pure states of a $C^*$-algebra. We give an explicit construction of this algebra from $P$.