Let $G$ be the reductive group $\operatorname{GSp}\_{4}$. Let $\pi$ be a smooth admissible cuspidal representation of $\operatorname{GSp}\_{4}(\mathbb{A}^{(\infty)})$ of dominant weight. Assume, for caution, that $\pi$ satisfies a multiplicity one hypothesis.


Fix $p$ an odd prime. To $\pi$ is attached a $p$-adic representation $\rho$ of the absolute Galois group of $\mathbb{Q}$ unramified outside a finite set of finite places and such that the characteristic polynomial of the Frobenius morphisms $Fr\ell$ for $\ell$ outside this set coincides with the Euler factor at $\ell$ of the degree 4 $L$-function of $\pi$. This Galois representation occurs in the degree 3 cohomology of the étale cohomology of a Siegel-Shimura variety. 


The image of complex conjugation under $\rho$ is semi-simple so can be chosen to be diagonal with eigenvalues 1 and -1. How many $-1$ are there?



What is the image of complex conjugation under Siegel Galois representations?
The preprint "Conjecture de type de Serre et formes compagnons pour $GSp\_4$" by Florian Herzig and Tilouine (available [here](http://math.northwestern.edu/~herzig/ht08-7c.pdf)) indicates that there should be two 1's and two -1's.


EDIT: Having come in to work today, I could look up the more precise statement given in chapter 9 of Tilouine's book "Deformations of Galois representations and Hecke algebras" (incorrectly referenced in the aformentioned article of Herzig–Tilouine). The statement is the following: Let $G=GSp(4)$, let $\pi$ be a regular algebraic cuspidal automorphic representation of $G(\mathbf{A}\_F)$, where $\mathbf{A}\_F$ is the adele ring of a number field $F$. Let $\bar{\rho}$ be the associated mod $p$ Galois representation. Let $v$ be a real place of $F$. Then the $G$-conjugacy class of ${\bar\rho}(c\_v)$ (where $c\_v$ is a complex conjugation at $v$) contains the matrix $\text{diag}(1,1,-1,-1)$.


