I've been trying to read Bargmann's 1964 proof of Wigner's theorem, but I find it really hard to follow. This
is the article. If the link goes dead, I can email a PDF to anyone who PMs me their email address. I really don't understand what he's doing in section 4.5, right after eq. (15b). If anyone understands his proof of the formula he writes as ##\alpha_\rho'=\chi_\rho(\alpha_\rho)##, and can explain it to me, I would really appreciate it. The step where ##\alpha_\rho'## enters the calculation looks like magic to me. Actually, it looks like he's using what he's trying to prove, so I must have misunderstood something.
I have typed up some notes for myself on the earlier parts of the proof, which I believe that I understand, but it's possible that they would just be confusing, since my notation is different. I'll post all of my notes if someone requests it. The following is a very brief summary of the stuff before the section that's causing me problems. (It's probably very hard to follow if you're not already somewhat familiar with Wigner's theorem). Let me know if you want me to clarify some detail in this summary, or in the earlier parts of Bargmann's proof.
We consider equivalence classes of vectors in a Hilbert space H. Members of the same class differ only by a complex factor c such that |c|=1. Bargmann calls these classes rays
*. We're given a permutation T of the set of unit rays, which is assumed to preserve probabilities. We begin by extending this map to the set of all rays. Our goal is to define Ux for all x in H in a way that ensures that the map U is either unitary or antiunitary, and also that for all x, Ux is a member of T[x], where [x] is the ray that x belongs to. Bargmann picks an arbitrary unit vector e, and first defines Ux for all x of the form x=e+y, such that y is orthogonal to e. Then he defines Ux for all x that are orthogonal to e. Actually, he calls the "U" defined on that subspace "V" instead of "U" for some reason. Later, he extends the definition to all of H, but before that, he proves a bunch of things about this "V". That's the part that's causing me trouble.
*) I think it's more common to call the 1-dimensional subspaces rays, but I'm using Bargmann's terminology in this post.