Certain Siegel Cusp Forms with Level are Determined by their Fundamental Fourier Coefficients

Böcherer and Das prove this in [BD] in the case of level 1. The proof for the case of general level is identical and we refer the reader to [BD] for the proof.

We proceed by reducing to a calculation already carried out by Anamby in [anamby]. This reduction follows the same steps of Böcherer and Das [BD].

From now on, if \mu has the property that T^{-1}[\mu/2] has maximal possible denominator, we call \mu primitive and the corresponding theta component h_\mu a primitive component of \varphi. We proceed in aim of a contradiction.

Assume all the primitive components of \varphi vanish. From the transformation formulas (?) and (?) of the \Theta_\mu and the modularity of \varphi_T under \begin{pmatrix} 1 & 0 \\ N & 1 \end{pmatrix}, we find that

Comparing coefficients, we acquire

Now sending \tau \mapsto \tau/(-N\tau +1), this reduces to

where \displaystyle \varepsilon(\mu,\eta) := \sum_\nu \exp\left(^t (\mu - \eta - N\frac{\nu}{2})(2T)^{-1}\nu\right). Assuming that h_\eta = 0 for every \eta primitive, we acquire the relation

for every \mu \in \mathbb{Z}^n/2T\mathbb{Z}^n and every primitive \eta. For every integer t, we see directly from the Fourier expansion of h_\mu that h_\mu(\tau + t) = \exp(- T^{-1}[\mu/2] t) h_\mu(\tau) for every integer t. Note that t \mapsto \exp(-T^{-1}[\mu/2] t) is a character of \mathbb{Z}. With this in mind, we get that for every t \in \mathbb{Z},

By linear independence of characters, we conclude that for every fixed \mu_0, we have

where \mu \sim \mu_0 if and only if t \mapsto \exp(-T^{-1}[\mu/2] t) and t \mapsto \exp(-T^{-1}[\mu_0/2] t) define the same character of \mathbb{Z}. This is equivalent to the condition T^{-1}[\mu/2] - T^{-1}[\mu_0/2] \in \mathbb{Z}.

We will have reached a contradiction if the matrix (\varepsilon(\mu,\eta))_{\eta,\mu} has maximal rank for every \mu_0 imprimitive, where \eta runs over primitive columns and \mu runs over columns equivalent to \mu_0. Indeed, this would imply that every imprimitive theta component vanishes and hence all the theta components vanish.

We now split into the cases when n is even and n is odd.

n odd: In this case, \mathrm{lvl}(T) = 4d_T (see Equation ?). We first simplify \varepsilon(\mu,\eta) by reducing to the case of scalars (i.e. \mu,\nu,\eta,T are all scalars). Put M := 2T, U \in \text{SL}_n(\mathbb{Z}), \widetilde{M} := M[U]. Pick U so that, for some f \geq 2, \widetilde{M} \equiv \text{diag}( \ast, \ast, \cdots , \ast, \ast p) mod p^f for each odd prime divisor p \vert \det(\widetilde{M}) = 2d_T and \widetilde{M} \equiv \mathbb{H}\perp \mathbb{H}\perp \cdots \perp (\mathbb{H}\ \text{or} \ \mathbb{F}) \perp \ast 2 mod 2^f. Here \ast denotes a p-adic unit, \mathbb{H} := 2xy, and \mathbb{F} = 2x^2 + 2xy + 2y^2. Refer to the proof of Proposition 3.5 in [BD] for details on why such a U exists.

Changing variables \widetilde{( \cdot )} \ = \ ^tU ( \cdot ), we get

By the congruence conditions on \widetilde{M}, the collection \{\tilde{\nu}_t \ \vert \ t \ \text{mod} \ 2d_T\}, \tilde{\nu}_t := \ ^t (0 \ 0 \ \cdots \ 0 \ t), forms a set of representatives for \mathbb{Z}^{n} / \widetilde{M}\mathbb{Z}^{n}.

Now \varepsilon(\tilde{\mu},\tilde{\nu}) evaluates to

Let m be the n \times n entry of the adjugate of \widetilde{M}. Then by Cramer’s rule, we have

So

Here, G(a,b,c) = \sum_{t \ \text{mod} \ c} e^{\frac{2\pi i }{c} (at^2 + bt)} is the generalized quadratic Gauss sum. In this setting of scalars, r is primitive iff (r,2d_T) = 1 and s \sim s_0 iff s^2 - s_0^2 \equiv 0 \ \text{mod} \ 4d_T (both facts arise from fact that m is coprime to 4d_T). Now the problem has turned into showing that for every fixed imprimitive s_0, the matrix (\varepsilon(s,r))_{r,s} has maximal rank, where r runs over (\mathbb{Z}/2d_T)^\times and s runs over \mathbb{Z}/2d_T with s^2 = s_0^2 mod 4d_T. Note that the number of rows is \prod_{p \vert 2d_T} (p-1) and the number of columns is 2^{t'}, where t' is the number of odd primes dividing 2d_T but not s_0. Thus, the number of rows is at most the number of columns and so proving maximality of the rank really does suffice for the desired contradiction.

We do one more simplification of \varepsilon(s,r). By completing the square along with a calculation from Anamby, we have

where \overline{N} \in \mathbb{Z} so that \overline{N} N \equiv 1 mod 4d_T. From this, we see that it suffices to show the matrix

has maximal rank. This is done in [anamby] (Lemma 3.3, take \ell = -m \overline{M})). Thus, we have reached a contradiction since s_0 may be chosen to be any imprimitive.

n even: In this case, \mathrm{lvl}(T) = d_T. We proceed as in the odd case and pick U \in \text{SL}_n(\mathbb{Z}) so that \widetilde{M} \equiv \text{diag}(\ast,...,\ast, \ast p) mod p^f for each odd prime divisor p \vert \det(\widetilde{M}) = d_T and \widetilde{M} \equiv \mathbb{H} \perp \cdots \perp (\mathbb{H} \ \text{or} \ \mathbb{F}) mod 2^f. As before, the set \{\tilde{\nu}_t \ \vert \ t \in \mathbb{Z}/d_T\} forms a set of representatives for \mathbb{Z}^n/\widetilde{M}\mathbb{Z}^n. Changing variables \widetilde{( \cdot )} = \ ^tU ( \cdot ), we find

Here, m' := m/2, where m is the n \times n entry of the adjugate of \widetilde{M}. Note that m is even in this case because of the form of \widetilde{M} mod 2^f. Hence, it remains to show that for every s_0 \in \mathbb{Z}/d_T\mathbb{Z} not coprime to d_T, the matrix

has maximal rank, where r runs over (\mathbb{Z}/d_T\mathbb{Z})^{\times} and s runs over \mathbb{Z}/d_T\mathbb{Z} so that s^2 \equiv s_0^2 mod d_T. Anamby does not quite prove this in [anamby], so we prove it here, formulated as the following lemma:

The proof of Lemma ? is an induction on the number of prime divisors of d. If d = 1, \mathcal{E}_{a,d}(s_0) is a column and so the maximal rank condition is equivalent to \mathcal{E}_{a,d}(s_0) having a nonzero entry. Every entry is nonzero, so this is clear.

If d = p is an odd prime, we have two cases: p \vert s_0 and p \not\vert s_0. When p \vert s_0, \mathcal{E}_{a,d}(s_0) is again a column and the claim is clear. If p \not\vert s_0, then \mathcal{E}_{a,d}(s_0) has two columns, one corresponding to s_0 and the other corresponding to -s_0. The 2 \times 2 minors are of the form:

where r,r' \in (\mathbb{Z}/p)^\times. With a short calculation, noting that p is odd and (s_0,p) = 1, we see that the expression above vanishes iff r = r' mod p. Hence, \mathcal{E}_{a,d}(s_0) has a nonzero 2 \times 2 minor and has rank 2.

Now assume that \mathcal{E}_{a,d}(s_0) has maximal rank whenever d is composed of no more than t \geq 1 prime factors. Suppose that d = p_1 p_2 \cdots p_t p_{t+1} is the prime decomposition of d. Put d' := d/p_{t+1}. Decompose s = p_{t+1}s' + d's'', where s' is determined modulo d' and s'' is determined modulo p_{t+1}. Similarly, decompose r = p_{t+1}r' + d' r''. Then

As r',r'' and s',s'' run over the sets (\mathbb{Z}/d'\mathbb{Z})^\times, (\mathbb{Z}/p_{t+1}\mathbb{Z})^\times and \{s' \in \mathbb{Z}/d'\mathbb{Z} \ \vert \ (s')^2 \equiv (s_0')^2 \ \text{mod} \ d'\}, \{s'' \in \mathbb{Z}/p_{t+1}\mathbb{Z} \ \vert \ (s'')^2 \equiv (s_0'')^2 \ \text{mod} \ p_{t+1}\}, r and s run over the sets (\mathbb{Z}/d\mathbb{Z})^\times and \{s \in \mathbb{Z}/d\mathbb{Z} \ \vert \ s^2 \equiv s_0^2 \ \text{mod} \ d\}. Hence, \mathcal{E}_{a,d}(s_0) decomposes into the tensor product

By the well-known formula \text{rank}(A \otimes B) = \text{rank}A \cdot \text{rank}B, Lemma ? is proven and this completes the proof of Theorem 3.3

Let q_1,...,q_t be the distinct primes dividing N. Define g_{-1} := f, \displaystyle g_0 := \sum_{(\ell,2) = 1} a_{g_0}(\ell) q^\ell, and \displaystyle g_{k+1}(\tau) := \sum_{(\ell, q_{k+1})=1} a_{g_k}(\ell) q^\ell. We have g_t \neq 0 because a_{g_t}(n) =a_f(n) \neq 0. By Lemma 5.1, g_t is modular with respect to \Gamma_0(16N(q_1 \cdots q_t)^2) and nebentypus \chi. We claim g_t has nonzero odd and square-free Fourier coefficients, proving the lemma. When k is a half-integer, this follows from Proposition 3.7 of [Saha]. If k is an integer, this follows from Theorem 4.6 in [BD].

We split into cases when n is even or odd.

n even: In this case d_T = \det(2T). By standard linear algebra (e.g. Smith normal form), \alpha exists. By Proposition 2.3 of [BD], there exists a primitive \mu \in \mathbb{Z}^n/(2T)\mathbb{Z}^n and T^{-1}[\mu/2] has denominator d_T. Because d_T is square-free, we have that for every 0 < m < d_T, T^{-1}[m\mu/2] \notin \mathbb{Z}. In particular, m\mu \notin (2T)\mathbb{Z}^n. So \mu is a generator of \mathbb{Z}^n/(2T)\mathbb{Z}^n and we necessarily have \alpha(\mu) \in (\mathbb{Z}/d_T\mathbb{Z})^\times. The set \{m\mu \ : \ 0 \leq m < d_T\} forms a set of representatives for \mathbb{Z}^n/(2T)\mathbb{Z}^n. From the relation T^{-1}[m\mu/2] = m^2T^{-1}[\mu/2], we see that m\mu is primitive if and only if (m,d_T) = 1 if and only if \alpha(m\mu) = m\alpha(\mu) \in (\mathbb{Z}/d_T\mathbb{Z})^\times.

n odd: In this case, 2d_T = \det(2T). As before, \alpha exists and now \mathbb{Z}^n/(2T)\mathbb{Z}^n \cong \mathbb{Z}/2d_T\mathbb{Z}. Again, there exists \mu which is primitive. Here, this means now that T^{-1}[\mu/2] has denominator 4d_T. One follows the exact argument above to complete the proof.

When g = \begin{pmatrix} a & b \\ c & d \end{pmatrix}\in \Gamma_0(\text{lvl}(T)), we have the following transformation formula for \Theta_\mu (Theorem 2.3.4 in [Ajouz]):

For g \in \Gamma_0(N), we have

Together, we find that for g \in \Gamma_0(\text{lvl}(T) \cdot N),

Summing the theta components together, we acquire the function equation below for every g \in \Gamma_0(\text{lvl}(T)N) \cap \Gamma^0(\text{lvl}(T)):

In conclusion, we have shown that h_\varepsilon(\tau/\text{lvl}(T)) = \sum_\mu \varepsilon(\mu)h_\mu(\tau) is modular with respect to \Gamma_0(\text{lvl}(T)N) \cap \Gamma^0(\text{lvl}(T)), having weight k-n/2 and nebentypus \chi \cdot \omega. Here, \Gamma^0(M) is the subgroup of matrices which are lower triangular modulo M. Hence, h_\varepsilon is modular with respect to \Gamma_0(\text{lvl}(T)^2N).

Suppose h_\epsilon = 0 for every \epsilon. This is equivalent to the vanishing of the following expression:

Here, the matrix A(d') has rows indexed by Dirichlet characters \epsilon modulo d' and columns indexed by primitive components \mu \in \mathbb{Z}^n/(2T)\mathbb{Z}^n. By Lemma 5.4, there are \phi(d') columns, which is equal to the number of rows. So A(d') is a square matrix. From Theorem \ref{3.3}, the column (h_\mu)_\mu does not vanish. Hence, we will have reached a contradiction if A(d') is invertible. We prove this statement now.

We induct on the number of prime factors of d'. When d' = 1 or 2, A(d') is simply the number 1 and this is obvious. Suppose that d' = p is an odd prime. Then, up to rearranging rows and columns, A(p) takes the following form:

This follows by noting that (\mathbb{Z}/p\mathbb{Z})^\times is cyclic of order p-1. So A(p) is a Vandermonde matrix with determinant \displaystyle \prod_{0 \leq i < j \leq p-2} (\zeta_{p-1}^i - \zeta_{p-1}^j). Of course, this is nonzero and so A(p) is invertible.

In general, let d' = p_1 \cdots p_t be the prime factorization of d'. By the Chinese Remainder Theorem, we have A(d') = A(d'/p_t) \otimes A(p_t). By induction on t along with the well-known rank identity \text{rank}(A \otimes B) = \text{rank}(A) \cdot \text{rank}(B), A(d') is invertible and the proof is complete.