  Wigner's Theorem states that bijections of the set P_1(H) of one-dimensional
projections on a Hilbert space H that preserve transition probabilities are
induced by either a unitary or an anti-unitary operator on H (which is uniquely
determined up to a phase). Since elements of P_1(H) define pure states on the
C*-algebra B(H) of all bounded operators on H (though typically not producing
all of them), this suggests possible generalizations to arbitrary C*-algebras.
This paper is a detailed study of this problem, based on earlier results by
R.V. Kadison (1965), F.W. Shultz (1982), K. Thomsen (1982), and others. Perhaps
surprisingly, the sharpest known version of Wigner's Theorem for C*-algebras
(which is a variation on a result from Shultz, with considerably simplified
proof) generalizes the equivalence between the hypotheses in the original
theorem and those in an analogous result on (anti) unitary implementability of
Jordan automorphisms of B(H), and does not yield (anti) unitary
implementability itself, far from it: abstract existence results that do give
such implementability seem arbitrary and practically useless. As such, it would
be fair to say that there is no Wigner Theorem for C*-algebras.
