Consider the projective symplectic group $\mathrm{PSp}(n+1)$ over $\mathbb{C}$. This parametrizes $(n+1)\times (n+1)$ symplectic matrices modulo scalar multiplication. Is $\mathrm{PSp}(n+1)$ irreducible?