4 INTRODUCTION (3) as an equality between these two types of masses (Theorem 13.12). Though this can be done for an arbitrary ip, for simplicity let us assume here that F is totally real and (p is totally definite. Then m(#, D) ^ [Hnr(Lj) : l] , where {Lj} is a complete set of representatives for the iJ-classes in the genus of L. Now we have (5) Yl tr(L ) : X l ~ l * L ^ b] = m(ff, D). iei If we take #{h G Li | cp[h] = q) in place of #L^[g, b] and the representatives for S'O^-classes in the S'O'^-genus of L in place of {L^}^/, then the left-hand side of (5) becomes the weighted average for which Siegel gave a product formula in terms of local representation densities. Now the right-hand side of (5) is the mass of an (n 1)-dimensional orthogonal group H1 for which he also gave a product formula. Thus (5) establishes the equality between these two quantities defined in completely different ways. Formula (5) is different from (3) in several ways. For one thing, (5) concerns the mass of H relative to D, while (3) gives the class number of H relative to D. In our recent papers, we gave explicit formulas for m(if, D) and also for the number of representations of an integer as sums of squares. Combining (5) with those results, we can prove (Theorem 13.14): (F) Let n, p, and L be as in (D) let K = Q(v^) , K = ( - l ) ^ " 1 ^ , with a square free positive integer q let L(s, x) De the L-function of the primitive Dirichlet character \ corresponding to K. Then #L[q, 2~lZ] = An(g)g("-2)/2(27r)--L(m, X ), #£[?, Z]=c„(g) •#£[?, 2"1Z]. Here m = (n l)/2, 0 An(q) G Z, and 0 cn(q) G Q the numbers An(q) and cn(q) are determined explicitly by q (mod 8) and n. For example, A7(q) = 2 9 -3 2 - 7 and c7(q) = 0 if q - 3 4Z, A9(q) = 2 9 -3 2 -5-1 7 and c9(q) = 1/136 if q - 5 G 8Z. II. Let us now turn to our second principal theme, which concerns Euler products and Eisenstein series on O^ and a Clifford group. To be explicit, given (V, ip) as above, let A(V) denote the Clifford algebra of (V, (p), and A+(V) its subalgebra consisting of the even elements. Then we define the even Clifford group G+(V) by G+(V) = G+(V, ^p) = {ae A+(V)X \ CTXVCL = V}. We have two homomorphisms r : G+{V) - SO* and v : G+(V) - F x , defined by xr(a) = a~1xa for x G V and a G G + (F), and ^(xi-*-x m ) = y?[xi] '(p[xm] for a?i G V. It is well known that r gives an isomorphism of G+(V)/F X onto SO*. If we put G 1 ^ ) = {a G G+(V) | i/(a) = l } , then Gl{V) is the so-called spin group of (V, /?). This is not our main object of study, though we shall discuss its basic properties in the first several sections.
Previous Page Next Page