On the arithmetic of Siegel-Hilbert cusp forms: Petersson inner products and Fourier coefficients (Q1187495)

The author considers holomorphic Hilbert-Siegel cusp forms \(f\), \(\varphi\) on \(\text{Sp}_ n(\mathbb{A})\) of weight \((\kappa,\dots,\kappa)\), \(\kappa>0\), where \(f\) is a Hecke eigenform at all primes. The main result of the paper is the equivariance property of Petersson inner products \[ \left({\langle\varphi,f^*\rangle\over \langle f,f^*\rangle}\right)^ \sigma={\langle \varphi^ \sigma,(f^ \sigma)^*\rangle\over \langle f^ \sigma,(f^ \sigma)^*\rangle}. \] Here \(f\mapsto f^ \sigma\) denotes the action of \(\sigma\in\Aut(\mathbb{C}/\mathbb{Q})\) on the Fourier coefficients, and \(f\mapsto f^*\) is the complex conjugation of the Fourier coefficients. If both \(f\) and \(\varphi\) are Hecke eigenfunctions with the same eigenvalues and if both have algebraic Fourier expansions then \(\langle \varphi,\varphi\rangle/\langle f,f\rangle\) is an algebraic number. The most interesting part of the paper is the new method of the proof. Rather than starting from canonical models the author employs the arithmetic of Siegels's Eisenstein series. He can express a certain type of Eisenstein series fairly explicitly by the elements of an orthogonal basis of cusp forms, which are Hecke eigenforms at all primes not dividing the level.