INTRODUCTION
Our ultimate aim is to prove several theorems of arithmeticity on the values of
an Euler product Z(s) and an Eisenstein series E(z, s) at certain critical points s.
We take these Z and E to be those of the types we treated in our previous book
"Euler Products and Eisenstein Series," referred to as [S97] here. They are defined
with respect to an algebraic group G, which is either symplectic or unitary. To
illustrate the nature of our problems, let us take a CM-field K and put
(0.1) G{p) =G* = {ae GLn{K) \ ap 'a ' = p}9
where p denotes complex conjugation and ip is an element of GLn(K) such that
tpP = ip. This group acts on a hermitian symmetric space which we write 3^- We
shall often be interested in the special case where if takes the form
(0.2)
^ = [ ° o']-
In this case we write Hq, or simply W, instead of 3 ^ for the symmetric space.
Given a congruence subgroup r of G, a Hecke eigenform f of holomorphic type
on y with respect to
I"1,
and a Hecke character \ of K of algebraic type, but not
necessarily of finite order, we can construct a "twisted Euler product" Z(s, f, x)
whose generic Euler p-factor for each rational prime p has degree n[K : Q]. Then
we shall eventually prove that
(0.3) Z K , f , x ) G T
£
q ( f , f ) Q
for T o in a certain finite subset of 2 _ 1 Z and Q-rational f. Here (f, f) is the inner
product defined in a canonical way; e is an integer determined by cro, the signature
of y?, the weight of f, and the archimedean factor of \\ q is a certain "period
symbol" determined by \ and (p. This is true for both isotropic and anisotropic
p, and even for a totally definite cp. In the simplest case in which G =
G1,
we
have q = 1.
Clearly such a result requires the definition of Q-rationality of automorphic
forms. If G is of type G77, then we can define the Q-rationality by the Q-rationality
of the Fourier coefficients of a given automorphic form. If [K : Q] = 2, for example,
then H is a tube domain of the form H = { z C^ \i{z* z) 0} , and a
holomorphic automorphic form / has an expansion
(0.4) f(z) = Zhh)exp(2m-tT(hz)) (zeH)
with c(h) C, where h runs over all nonnegative hermitian matrices belonging to a
Z-lattice in K%. Then for a subfield M of C we say that / is M-rational if c(h) e M
for every h. This definition may look simplistic, but actually it is intrinsically the
1
Previous Page Next Page