Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@Angelo Yes, I assume $X$ to be irreducible. Also, I am now assuming that the fibers are irreducible which is in your example not the case (fiber over $y$ is two points). Finally, I think that in your example $X$ is in fact complete as the union of complete varieties.
Thanks @VítTuček. Regarding the second point: For example the 2x2 matrix $\binom{01}{10}$ is $\mathfrak{S}_2$ invariant but not $\textrm{O}(2)$ invariant. So (2) is not automatically true.
Thanks for that wonderful answer! A last question regarding the Casimir element: I understand that the irreducible components of a representation will be eigenspaces of the Casimir operator. But is it really clear that non-isomorphic irreducibles will correspond to different eigenvalues?