Trace operators and theta series for \(\Gamma_{0,n} [q]\) and \(\Gamma_n[q]\) (Q1434512)

Consider a pair \(\Gamma\subset\Gamma'\) of congruence subgroups of \(Sp(n,\mathbb{Z})\) with multiplier systems \(v\) on \(\Gamma\), \(v'\) on \(\Gamma'\) such that \(v'| \Gamma =v\). Let \([\Gamma,\rho,v]\) denote the space of Siegel modular forms for a suitable representation \(\rho\) of GL\(_n(\mathbb{C})\) and with multiplier \(v\), and let \(\Theta [\Gamma]_\rho\) denote the subspace of \([\Gamma,\rho,v]\) spanned by the theta series contained in that space. The author is concerned with the general problem as to when \[ \Theta[\Gamma]_\rho\cap[\Gamma',\rho,v'] =\Theta[\Gamma']_\rho. \] First this general question is translated into different terms by introducing the trace operator from \([\Gamma,\rho,v]\) to \([\Gamma',\rho,v']\) which is simply the symmetrization map with respect to the cosets of \(\Gamma\setminus\Gamma'\). Then the author considers the special case \(\Gamma=\Gamma_n[q]\) (principal subgroups of level \(q)\), \(\Gamma'=\Gamma_{0,n}[q]\) (Hecke subgroup). In this case he succeeds in expressing the image of a theta series in \(\theta [\Gamma_n [q]]_\rho\) under the trace operator in terms of theta series in \(\theta [\Gamma_{0,n}[q]]_\rho\). Under mild technical conditions this gives an affirmative answer to the problem in the special case under consideration. The idea of proof is to reduce the problem to the singular case. The key point is a commutation formula for the trace operator and the Siegel \(\Phi\)-operator.