I'm a bit confused over whether the parity operator should always square to one. My impression was that if $W(\Lambda, a)$ was a representation of the Poincare group, then the parity operator $\hat{P}$ was defined to be $W(P,0)$ where $P$ is the improper parity Lorentz transformation. Since $P^2 = 1$, this automatically implies $\hat{P}^2 = 1$. Using the group multiplication law, one can prove everything else, e.g. that $\hat{P}$ flips momentum but not spin, and that $\hat{P}$ commutes with $\hat{H}$.
On the other hand, I've also heard that parity can act on a field by multiplying it by a phase $\eta$, called its intrinsic parity, which can be any phase, not just $\pm 1$. I've also heard that parity can be violated, so it doesn't necessarily commute with $\hat{H}$.
Weinberg defines $\hat{P}$ exactly as I do, but when he comes to these phases he gives the cryptic remark
It is easy to say that space inversion $P$ has the group multiplication law $P^2 = 1$; however, the parity operator that is conserved may not be this one, but rather may differ from it by a phase transformation of some sort.
Similarly, Schwartz's textbook gives an even more cryptic remark:
You might expect that the action of $P$ and $T$ should be determined from representation theory. However, recall that technically spinors do not transform under the Lorentz group $O(1, 3)$, only its universal cover $SL(2, \mathbb{C})$, so we are not guaranteed that $T$ and $P$ will act in any nice way. In fact they do not. [...] In any representation, we should have $P^2 = T^2 = 1$.
Both Weinberg and Schwartz seem to dance around the issue of actually defining what parity is, and Schwartz's passage seems almost self-contradictory.
For simplicity, let's ignore the case of spinor fields and focus on scalar fields, so there are no issues with projective representations. Then my questions are:
- How exactly is parity defined? If it's defined the way I said above, how can you avoid having $\hat{P}$ commute with $\hat{H}$? If it isn't, is the definition unique and how do you recover familiar results, like how $\hat{P}$ flips momentum but not spin?
- In general, what's wrong with postulating the particles to form a representation of the Poincare group with improper Lorentz transformations?