Hecke eigenvalues of Siegel modular forms of ``different weights'' (Q740375)

Suppose that \(F\) and \(G\) are vector-valued Siegel modular forms of different weight in the following sense: \(F\) and \(G\) are both Siegel eigenforms for the same level subgroup \(\Gamma_0(N)\) of \({\mathrm{Sp}}(2n,{\mathbb Z})\), and thus satisfy \(F(\gamma z)=\rho_F(Cz+D)F(z)\) (and similarly for \(G\)) for \(\gamma=\begin{pmatrix} A&B\\ C&D\end{pmatrix}\in\Gamma_0(N)\), for \(z\in{\mathbb H}_n\) and some representation \(\rho_F\) of \({\mathrm{GL}}(n,{\mathbb C})\). Such representations are given by weights \(\lambda_1\geq \lambda_2\geq \ldots \geq \lambda_n\) for \(\rho_F\) and \(\mu_1\geq \mu_2\geq \ldots \geq \mu_n\) for \(\rho_G\), and we suppose that \(\sum \lambda_i\neq \sum \mu_i\). This implies in particular that the two forms have different eigenvalues under the standard Hecke operator \(T_n(p^2)\) for \(p\) not dividing \(N\), as that eigenvalue for \(F\) is known to be \(p^{\sum\lambda_i-n(n+1)}\). The question here is what other things are different. The authors look at Hecke eigenvalues for some standard collections of Hecke operators, and at Fourier coefficients. For instance, they show that some earlier Hecke eigenvalues (i.e.\ for some \(T_k(p^2)\) with \(1<k<n\), or for \(T(p)\) or \(T(p^2)\)) must also fail to match. The authors also consider the Hecke operators \(T(p^r)\) of degree \(n=2\), and show that in this case the Hecke eigenvalues of \(F\) and \(G\) must disagree for some \(T(p^r)\) with \(1\leq r\leq 6\). Under some fairly mild further conditions, they give an explicit bound \(B\) such that some Fourier coefficients for \(F\) and \(G\) indexed by some matrix \(S\) with \(\det S<B\) differ.