# Correction to: On Fourier coefficients of Siegel modular forms of degree two with respect to congruence subgroups

- 171 Downloads

## 1 Correction to: Abh. Math. Semin. Univ. Hambg. (2014) 84:31–47 https://doi.org/10.1007/s12188-013-0087-x

There are several inaccurate points and misprints in our article [1].

**1.**The statement of Theorem 1.1 is to be modified as follows.

- (i)
The left-hand side of (1.4) is to be multiplied by 2.

- (ii)When
*k*is odd, the term \(\delta (Q,T)\) is to be replaced by$$\begin{aligned} \delta _k(Q,T):=\sum _{\begin{array}{c} U\in \mathrm{GL}(2,{\mathbb {Z}}) \\ UQ{}^t\!U=T \end{array}}|U|^k. \end{aligned}$$

As mentioned in the proof of Proposition 2.1, the definition of Klingen’s \(A_n\) (in [4]) is different from the definition of our \(\Gamma _1^{(2)}(\infty )\), and hence the right-hand sides of (2.1) and (2.2) in the statement of Proposition 2.1 are to be multiplied by 2. This is the reason of (i). Note that the right-hand sides of (2.3) and (2.5) are hence also to be multiplied by 2.

*k*is even, but when

*k*is odd, the correct statement is \(\Sigma _0=\delta _k(Q,T)\). This is because the third line of the proof of Proposition 3.2 is to be read as

**2.**In the statement of Theorem 1.3, the condition “there is no \(U\in \mathrm{GL}(2,{\mathbb {Z}})\) satisfying \(UQ{}^t\!U=T\)” is to be understood as follows. Let

*f*.

**3.** In the statements of Lemma 4.1 and Lemma 4.2, there are the following misprints. First, in the statements of Lemma 4.1, \((c_1,d_1)=1\) is to be read as \((Nc_1,d_1)=1\), and \(\mathrm{mod}\;c_1\) is to be read as \(\mathrm{mod}\;Nc_1\). (The same correction for \(\mathrm{mod}\;c_1\) should also be done in the sentence just before the statement of Lemma 4.2.) Secondly, in the statement of Lemma 4.2, the plus sign before the last term in the exponential is to be replaced by the minus sign. These two misprints were pointed out by Dickson [2].

Also in the statement of Lemma 4.2, the meaning of \((-1)^{k/2}\) is a little ambiguous when *k* is odd. It is to be understood as \(i^{-k}\).

We remark that, in the course of the proof of Lemma 4.2, there appears the factor \(|U|^k |V|^k\) when *k* is odd, where \(U\in G_1\) and \(V\in G_2\). However, the representatives *U* and *V* can be chosen as \(|U|\cdot |V|=1\), so the factor \(|U|^k |V|^k\) does not affect the result.

**4.** Other misprints.

On the right-hand side of the formula (2.6), *S* is to be read as *Z*.

On the formula (5.7), the equality is to be replaced by \(\ll \).

## Notes

## References

- 1.Chida, M., Katsurada, H., Matsumoto, K.: On Fourier coefficients of Siegel modular forms of degree two with respect to congruence subgroups. Abh. Math. Semin. Univ. Hamburg
**84**, 31–47 (2014)MathSciNetCrossRefGoogle Scholar - 2.Dickson, M.: Local spectral equidistribution for degree two Siegel modular forms in level and weight aspects. Intern. J. Number Theory
**11**, 341–396 (2015)MathSciNetCrossRefGoogle Scholar - 3.Knightly, A., Li, C.: On the distribution of Satake parameters for Siegel modular forms. Doc. Math.
**24**, 677–747 (2019)MathSciNetzbMATHGoogle Scholar - 4.Klingen, H.: Introductory Lectures on Siegel Modular Forms. Cambridge studies in advanced mathematics 20, Cambridge University Press, London (1990)Google Scholar