Differential operators and the singular values of Eisenstein series (Q798355): Difference between revisions

It is well known that the values of Eisenstein series at an imaginary quadratic point are closely connected with a critical value of the L- function of the corresponding imaginary quadratic field with Hecke character. This can be viewed as the case of the group \(G=SL(2,{\mathbb{Q}}).\) The main motivation of the present paper is to look for the higher dimensional analogue to the above fact. The problems are: (A) What is the character of the value of higher dimensional Eisenstein series E at a CM- point? - (B) Construction of a zeta-function whose critical value has a close connection to E, in a similar fashion to the above L. - The author treats the case where G is a unitary group over an arbitrary CM-field or a symplectic group over a totally real number field and Eisenstein series for G involving a polynomial representation \(\sigma\) of \(GL_*({\mathbb{C}}).\) As for (A), the author uses certain differential operators in order to reduce the problem to the special case. For a ''trivial'' \(\sigma\), the problem ''the algebraicity of E at a CM-point'' has been answered except for the ''exceptional case'' [Duke Math. J. 50, 417-476 (1983; Zbl 0519.10019)]. Here, the author supplies the algebraicity theorem for the ''exceptional case'' (Theorem 3.4) and introduces a ''twisted'' differential operator \(\Delta^{\sigma}\) which enables him to answer the problem (A) for any \(\sigma\) (Theorem 7.1) (a certain irreducibility of \(\sigma\) is necessary in the symplectic case). In section 11, the adjoint operator of \(\Delta^{\sigma}\) is obtained. As for (B), the author defines a certain infinite series Z for a direct sum of CM-fields and in Theorem 8.1, shows algebraicity on its critical value. - In the proof of Theorem 8.1, the study of certain Dirichlet series on \(GL_*\) is required. In Proposition 9.2, the author shows that the Dirichlet series is a finite linear combination of products of Hecke L-functions and Z is essentially the product of the Dirichlet series and E.