Consider the projective symplectic group $\mathbb{P}Sp(n+1)$ over $\mathbb{C}$. This parametrizes $(n+1)\times (n+1)$ symplectic matrices modulo scalar.

Is $\mathbb{P}Sp(n+1)$ irreducible?