Theta series and trace operators for \(\Gamma_n [ q]\) (Q1429141)

Let \([\Gamma,\rho,\chi]\) be the space of Siegel modular forms for a congruence subgroup \(\Gamma\) of \(\text{ SP}_n({\mathbb Z})\) with respect to the rational representation \(\rho\) and multiplier system \(\chi\). Let \(\Theta[\Gamma]_\rho\subset[\Gamma,\rho,\chi]\) be the subspace spanned by the theta series. If one considers a pair of congruence subgroups \(\Gamma\subset\Gamma'\) and a pair of multiplier systems \(\chi\) on \(\Gamma\) and \(\chi'\) on \(\Gamma'\) such that \(\chi'| _\Gamma=\chi\), it is quite natural to consider the problem: Is the equality \(\Theta[\Gamma]_\rho \cap [\Gamma',\rho,\chi']=\Theta[\Gamma']_\rho\) true? In this paper the author attacks the problem for the principal congruence subgroups \(\Gamma=\Gamma_n(q)\) of odd level \(q\) and \(\Gamma'=\Gamma_n(N)\) with \(N| q\), by investigating the action of suitable trace operators on nonhomogeneous theta series. Previously trace operators have been studied with respect to pairs of Hecke subgroups (of varying level) in \textit{S. Böcherer, J. Funke} and \textit{R. Schulze-Pillot} [J. Number Theory 78, 119--139 (1999; Zbl 0936.11029)] and \textit{T. Kume} [J. Math. Kyoto Univ. 38, 453--473 (1998; Zbl 0999.11022)] and pairs formed by Hecke and principal congruence subgroups of the same level in \textit{F. L. Chiera} [Math. Z. 245, 581--596 (2003; Zbl 1056.11021)]. The explicit description of the quotient group \(\Gamma_n(N)/\Gamma_n(N p)\) (\(p\): prime) is a fundamental tool for computations, and the key step consists in establishing certain computation formulas between the trace operator and the Siegel \(\Phi\)-operator.