A short proof of the Kitaoka-Feit induction lemma for Siegel series (Q1969616)

The Siegel series \(b(B;s)= \sum_R e_K(\delta^{-1} \text{tr} (-BR)) v(R)^{-s}\) where \(R\) runs through the set of symmetric matrices \(S_n(K)/ S_n(G)\) of degree \(n\) with entries in a finite extension \(K\) of the field \(\mathbb{Q}_p\) of \(p\)-adic numbers and \(G\) is its ring of integers, was defined by \textit{G. Shimura} [Duke Math. J. 50, 417-476 (1983; Zbl 0519.10019)]. Here \(e_K(\cdot)\) is the usual additive character, \(v(R)= |u_1|_K\dots |u_n|_K\) if \(URV= \text{diag} (u_1,\dots, u_n)\) for some unimodular matrices \(U\), \(V\), \(|u|_K= q^{-\text{ord} (u)}\), where the cardinality \(q\) of \(G/{\mathfrak p}\) with respect to the maximal ideal \({\mathfrak p}\) is odd. The Siegel series plays an important role in the study of Fourier coefficients of Eisenstein series. Shimura conjectured an induction formula which reduces the case of a degenerate symmetric matrix to that for a non-degenerate one. \textit{Y. Kitaoka} [Nagoya Math. J. 95, 73-84 (1984; Zbl 0551.10025)] proved the conjecture for \(K= \mathbb{Q}_p\), the general case was done by \textit{P. Feit} [Nagoya Math. J. 113, 37-87 (1989; Zbl 0646.10023)]. The author gives another proof, which is very short, based on previous work by himself and \textit{M. Hisasue} [J. Number Theory 64, 183-210 (1997; Zbl 0872.11021)]. Furthermore, Siegel series related to Fourier coefficients of Siegel-Eisenstein series of half-integral weight are treated.