arxiv: v1 [math.nt] 23 Jun 2007

Transcription

1 AN EXACT GEOMETRIC MASS FORMULA arxiv: v1 [math.nt] 23 Jun 2007 CHIA-FU YU Abstract. We show an exact geometric mass formula for superspecial points in the reduction of any quaternionic Shimura variety modulo at a good prime p. 1. Introduction Let p be a rational prime number. Let B be a totally indefinite quaternion algebra over a totally real field F of degree d, together with a positive involution. Assume that p is unramified in B. Let O B be a maximal order stable under the involution. Let (V, ψ) be a non-degenerate Q-valued skew-hermitian (left) B-module with dimension 2g over Q. Put m := g 2d, a positive integer. A polarized abelian O B -variety A = (A,λ,ι) is a polarized abelian variety (A,λ) together with a ring monomorphism ι : O B End(A) such that λ ι(b ) = ι(b) t λ for all b O B. Let k be an algebraically closed field of characteristic p. An abelian variety over k is said to be superspecial if it is isomorphic to a product of supersingular elliptic curves. Denote by Λ B g the set of isomorphism classes of g-dimensional superspecial principally polarized abelian O B -varieties over k. Define the mass of Λ B g to be (1.1) Mass(Λ B g ) := A Λ B g 1 Aut(A,λ,ι). The mass Mass(Λ B g ) is studied in Ekedahl [1] (Ekedahl s result relies on an explicit volume computation in Hashimoto-Ibukiyama [4, Proposition 9, p. 568]) in the special case B = M 2 (Q). He proved Theorem 1.1 (Ekedahl, Hashimoto-Ibukiyama). One has (1.2) Mass(Λ g ) = ( 1)g(g+1)/2 2 g g ζ(1 2i) g p i +( 1) i, where Λ g is the set of isomorphism classes of g-dimensional superspecial principally polarized abelian varieties over k and ζ(s) is the Riemann zeta function. Let B p, be the quaternion algebra over Q ramified exactly at {p, }. Let B be the quaternion algebra over F such that inv v (B ) = inv v (B p, Q B) for all v. Let be the discriminant of B over F. In this paper we prove Date: June 19, The research is partially supported by NSC M

2 2 CHIA-FU YU Theorem 1.2. One has (1.3) Mass(Λ B g ) = ( 1)dm(m+1)/2 2 md where ζ F (s) is the Dedekind zeta function. m ζ F(1 2i) N(v) i +( 1) i N(v) i +1, v v p,v Let N 3 be a prime-to-p positive integer. Choose a primitive n-th root of unity ζ N Q C and fix an embedding Q Q p. Let M be the moduli space over F p of g-dimensional principally polarized abelian O B -varieties with a symplectic O B -linear level-n structure w.r.t. ζ N. Let L 0 be a self-dual O B -lattice of V with respect to ψ. Let G 1 be the automorphism group scheme over Z associated to the pair (L 0,ψ). As an immediate consequence of Theorem 1.2, we get Theorem 1.3. The moduli space M has (1.4) m G 1 (Z/NZ) ( 1)dm(m+1)/2 2 md ζ F(1 2i) N(v) i +( 1) i N(v) i +1 v v p,v superspecial points. We divide the proof of Theorem 1.2 into 4 parts; each part is treated in one section. The first part is to express the weighted sum in terms of an arithmetic mass; this is done in the author s recent work [8]. The second part is to compute the mass associated to a quaternion unitary group and a standard open compact subgroup; this is done by Shimura [7] (re-obtained by Gan and J.-K. Yu [3, 11.2, p. 522]) using the theory of Bruhat-Tits Buildings). The third part is to compare the derived arithmetic mass in Section 1 with the standard mass in Section 2. This reduces the problem to computing a local index at p. The last part uses Dieudonné theory to compute this local index. A crucial step is choosing a good basis for the superspecial Dieudonné module concerned; this makes the computation easier. Notation. H denotes the Hamilton quaternion algebra over R. A f denotes the finite adele ring of Q and Ẑ = p Z p. For a number field F and a finite place v, denote by O F the ring of integers, F v the completion of F at v, e v the ramification index for F/Q, κ v the residue field, f v := [κ v : F p ] and q v := N(v) = κ v. For an O F -module A, write A v for A OF O F,v. For a scheme X over SpecA and an A- algebrab, write X B for X SpecA SpecB. Foralinear algebraicgroupgoverqand an open compact subgroup U of G(A f ), denote by DS(G,U) the double coset space G(Q)\G(A f )/U, and write Mass(G,U) := h Γ i 1 if G is R-anisotropic, where Γ i := G(Q) c i Uc 1 i and c 1,...,c h are complete representatives for DS(G,U). For a central simple algebra B over F, write (B/F) for the discriminant of B over F. If B a central division algebra over a non-archimedean local field F v, denote by O B the maximal order of B, m(b) the maximal ideal and κ(b) the residue field. Q p n denotes the unramified extension of Q p of degree n and write Z p n := O Qp n. 2. Simple mass formulas Let B be a finite-dimensional semi-simple algebra over Q with a positive involution, and O B be an order of B stable under. Let k be any field.

3 AN EXACT GEOMETRIC MASS FORMULA 3 To any polarized abelian O B -varieties A = (A,λ,ι) over k, we associate a pair (G x,u x ), where G x is the group scheme over Z representing the functor R {h (End OB (A k ) R) h h = 1}, whereh h is the Rasotiinvolution, and U x is the open compactsubgroupg x (Ẑ). For any prime l, we write A(l) for the associated l-divisible group with additional structures (A[l ],λ l,ι l ), where λ l is the induced quasi-polarization from A[l ] to A t [l ] = A[l ] t (the Serre dual), and ι l : O B Z l End(A[l ]) the induced ring monomorphism. For any two objects A 1 and A 2 over k, denote by Q-isom k (A 1,A 2 ) the set of O B -linear quasi-isogenies ϕ : A 1 A 2 over k such that ϕ λ 2 = λ 1, and Isom k (A 1 (l),a 2 (l)) the set of O B Z l -linear isomorphisms ϕ : A 1 [l ] A 2 [l ] over k such that ϕ λ 2 = λ 1. Let x := A 0 = (A 0,λ 0,ι 0 ) be afixed polarizedabelian O B -varietyoverk. Denote by Λ x (k) the set of isomorphisms classes of polarized abelian O B -varieties A over k such that (I l ): Isom k (A 0 (l),a(l)) for all primes l. Let Λ x (k) Λ x(k) be the subset consisting of objects such that (Q): Q-isom k (A 0,A). Letker 1 (Q,G x )denotethekernelofthelocal-globalmaph 1 (Q,G x ) v H1 (Q v,g x ). Theorem 2.1. ([8, Theorem 2.3]) Suppose that k is a field of finite type over its prime field. (1) There is a natural bijection Λ x(k) DS(G x,u x ). Consequently, Λ x(k) is finite. (2) One has Mass(Λ x(k)) = Mass(G x,u x ). Theorem 2.2. ([8, Theorem 4.6 and Remark 4.7]) Notation as above. If k F p is algebraically closed and A 0 is supersingular, then Mass(Λ x (k)) = Mass(G x,u x ) and Mass(Λ x (k)) = ker 1 (Q,G x ) Mass(G x,u x ). Remark 2.3. The statement of Theorem 2.2 is valid for basic abelian O B -varieties in the sense of Kottwitz (see [6] for the definition). The present form is enough for our purpose. 3. An exact mass formula of Shimura Let D be a totally definite quaternion division algebra over a totally real field F of degree d. Let (bar) d d denote the canonical involution. Let (V,ϕ) be a D-valued totally definite quaternion Hermitian D-module of rank m. Let G ϕ denote the unitary group attached to ϕ. This is a reductive group over F and is regarded as a group over Q via the Weil restriction of scalars from F to Q. Choose a maximal order O D of D stable under the canonical involution. Let L be an O D -lattice in V which is maximal among the lattices on which ϕ takes its values in O B. Let U 0 be the open compact subgroup of G ϕ (A f ) which stabilizes the adelic lattice L Z Ẑ. The following is deduced from a mass formula of Shimura [7] (also see Gan - J.-K. Yu [3, 11.2, p. 522]). This form is more applicable to prove Theorem 1.2.

4 4 CHIA-FU YU Theorem 3.1 (Shimura). One has (3.1) Mass(G ϕ,u 0 ) = ( 1)dm(m+1)/2 2 md m ζ F(1 2i) v (D/F) N(v) i +( 1) i. Deduction. In [7, Introduction, p. 68] Shimura gives the explicit formula (3.2) m Mass(G ϕ,u 0 ) = D F m2 D 1/2 [ F (2i 1)!(2π) 2i ] d m ζf (2i) N(v) i +( 1) i, v (D/F) where D F is the discriminant of F over Q. Using the functional equation for ζ F (s), we deduce (3.1) from (3.2). 4. Global comparison Keep the notation as in Section 1. Fix a g-dimensional superspecial principally polarized abelian O B -variety x = (A 0,λ 0,ι 0 ) over k. Define Λ x := Λ x (k) as in Section 2. Let (G x,u x ) be the pair associated to x. Lemma 4.1. Any two self-dual O B Z p -lattices of (V Qp,ψ) are isomorphic. Proof. The proof is elementary and omitted. Lemma 4.2. One has (1) Λ x = Λ B g (2) ker 1 (Q,G x ) = {1}. Proof. (1) The inclusion Λ x Λ B g is clear. We show the other direction. Let A Λ B g. It follows from Lemma 4.1 that the condition (I l) is satisfied for primes l p. LetM bethecovariantdieudonnémoduleofa. Onechoosesanisomorphism O B,p M 2 (O F,p )sothat : (a ij ) (a ij ) t. UsingtheMoritaequivalence, itsuffices to show that any two superspecial principally quasi-polarized Dieudonné modules with compatible O F,p -action are isomorphic. This follows from Theorem 5.1. (2) Since G x is semi-simple and simply connected (as it is an inner form of Res F/Q Sp 2m,F ), the Hasse principle for G x holds We compute that (i) G x (R) = {h M m (H) d h t h = 1}, (ii) for l p, we have G x (Q l ) = v l G x,v and U x,l = v l U x,v, where { Sp G x,v = 2m (F v ), if v (B/F), {h M m (B v ) h t h = 1}, otherwise, (4.1) { Sp U x,v = 2m (O Fv ), if v (B/F), {h M m (O Bv ) h t h = 1}, otherwise, (iii) G x (Q p ) = v p G x,v, where { Sp (4.2) G x,v = 2m (F v ), if v, {h M m (B v) h t h = 1}, otherwise.. Take D = B and V = D m with ϕ(x,y) = x i ȳ i, and take L = O m D. We compute that (i) G ϕ (R) = {h M m (H) d h t h = 1},

5 AN EXACT GEOMETRIC MASS FORMULA 5 (ii) for any l, we have G x (Q l ) = v l Gϕ v and U 0,l = v l U 0,v, where { G ϕ Sp v = 2m (F v ), if v, {h M m (B v ) h t h = 1}, otherwise, (4.3) { Sp U 0,v = 2m (O Fv ), if v, {h M m (O B v ) h t h = 1}, otherwise. For l p and v l, one has B v = B v and that v (B/F) if and only if v. It follows from computation above that G x,r G ϕ R and G x,q l G ϕ Q l for all l. Since the Hasse principle holds for the adjoint group G ad x, we get G x G ϕ over Q. We fix an isomorphism and write G x = G ϕ. For l p and v l, the subgroups U 0,v and U x,v are conjugate, and hence they have the same local volume Applying Theorem 2.2 in our setting (Section 1) and using Lemma 4.2, we get Mass(Λ B g ) = Mass(G x,u x ). Using the result in Subsection 4.1, we get (4.4) Mass(Λ B g ) = Mass(G ϕ,u 0 ) µ(u 0,p /U x,p ), where µ(u 0,p /U x,p ) = [U x,p : U 0,p U x,p ] 1 [U 0,p : U 0,p U x,p ]. 5. Local index µ(u 0,p /U x,p ) Let (M,,,ι ) be the covariant Dieudonné module associated to the point x = (A 0,λ 0,ι 0 )intheprevioussection. ChooseanisomorphismO B Z p M 2 (O F Z p ) so that becomes ( ) the transpose. Let M := em,, :=, M and ι := ι OF, 1 0 where e = in M (O F Z p ). The triple (M,,,ι) is a superspecial principally quasi-polarized Dieudonné module with compatible O F Z p -action of rank g = 2dm. Let M = v p M v be the decomposition with respect to the decomposition O F Z p = v p O v ; here we write O v for O Fv. By the Morita equivalence, we have (5.1) U x,p = Aut DM,OB (M,, ) = Aut DM,OF (M,, ) = v p U x,v, where U x,v := Aut DM,Ov (M v,, ). Let W := W(k) be ring of Witt vectors over k and σ the absolute Frobenius map on W. Let I := Hom(O v,w) be the set of embeddings; write I = {σ i } i Z/fvZ so that σσ i = σ i+1 for all i. We identify Z/f v Z with I through i σ i. Decompose M v = i Z/fvZMv i into σ i -isotypic components Mv. i One has (1) each component Mv i is a free W-module of rank 2m, which is self-dual with respect to the pairing,, (2) Mv,M i v j = 0 if i j, and (3) the operations F and V shift by degree 1 and degree -1, respectively. Theorem5.1. Let (M v,,,ι) be as above. There is a symplectic basis {Xj i,y j i} j=1,...,m for Mv i such that (i) Yj i VMi+1 v, (ii) FXj i i+1 = Yj for all i Z/f v Z and all j. and FY i j = pxi+1 j,

6 6 CHIA-FU YU Proof. We write f, M and q for f v, M v and q v, respectively. Suppose that f = 2c is even. Let N := {x M F c x = ( 1) c V c x}. Since M is superspecial, we have ( ) F 2 N = pn, Ñ Zq W M and N = N i. Since VN 1 is isotropic with respect to, in N/pN, we can choose a symplectic basis {Xj 0,Y j 0} j=1,...,m for N 0 such that Yj 0 VN1 for all j. Define Xj i and Y j i recursively for j = 1,,j: (5.2) X i j+1 = p 1 FY i j, Y i j+1 = FXi j. One has X i j+2 = 1 p F2 X i j and Y i j+2 = 1 p F2 Y i j ; hence X f j = ( 1)c p c F 2c X 0 j = X 0 j, Y f j = ( 1) c p c F 2c Y 0 j = Y 0 j, for all j. It is easy to see that {Xj i,y j i} j=1,...,m forms a symplectic basis for N i. Suppose that f = 2c + 1 is odd. Let N := {x M F 2f x + p f x = 0}. We construct a symplectic basis {Xj 0,Y j 0} j=1,...,m for N 0 with the properties: Xj 0 VN 1, Yj 0 VN 1 and Yj 0 = ( 1) c+1 p c F f Xj 0 for all j. We can choose X1 0 N0 \VN 1 so that X1 0,( 1)c+1 p c F f X1 0 Z q. This follows from the 2 fact that the form (x,y) := x,p c F f y mod p is a non-degenerate Hermitian form on N 0 /VN 1. Set Y1 0 = ( 1)c+1 p c F f X1 0 and let µ := X0 1,Y 1 0. From F f X1,.F 0 f Y1 0 = ( 1) c+1 p c Y1 0,( 1) c p c+1 X1, 0 we get µ Z q. Since Q q 2/Q q is unramified, replacing X1 0 by a suitable λx0 1, we get X0 1,Y 1 0 = 1. Do the same construction for the complement of the submodule < X1 0,Y 1 0 > and use induction; we exhibit such a basis for N 0. Define X i j and Y i j recursively for i = 1,...,f as (5.2). We verify again that X f j = X0 j and Y f j = Y 0 j. It follows from the relation (5.2) that {Xi j,y i j } j=1,...,m forms a symplectic basis for N i for all i. This completes the proof. Proposition 5.2. Notation as above. (1) If f v is even, then {( ) A B (5.3) U x,v = Sp C D 2m (Z qv ) B 0 mod p (2) If f v is odd, then (5.4) U x,v {h M m (O B v ) h t h = 1}. Proof. Let φ U x,v. Choose a symplectic basis B for M v as in Theorem 5.1. Since φ commutes ( with ) the O F -action, we have φ = (φ i ), where φ i Aut(Mv i,, ). Ai B Write φ i = i Sp 2m (W) using the basis B. Since the map F is injective, C i D i φ 0 determines the remaining φ i. From φf 2 = F 2 φ, we have φ i+2 = φ (2) i matrices). Here we write φ (n) i }. (as for φ σn i. From φf = Fφ we get A (1) i = D i+1, B (1) i = pc i+1, pc (1) i = B i+1 and D (1) i = A i+1. (1) If f v is even, then A 0,B 0,C 0,D 0 Z qv and B 0 0 mod p. This shows (5.3). (2) Suppose f v is odd. From φ (fv+1) 0 = φ 1 we get A (fv) 0 = D 0, B (fv) 0 = pc 0, pc (fv) 0 = B 0, D (fv) 0 = A 0. Hence {( ) A pc τ U x,v = C A τ } Sp 2m (Z q 2 v ),

7 AN EXACT GEOMETRIC MASS FORMULA 7 where τ is the involution of Q q 2 v over Q qv. Note that O B v = Z q 2 v [Π] with Π 2 = p ( ) A pc and Πa = a τ τ Π for all a Z q 2 v. The map A+CΠ C A τ gives rise to an isomorphism (5.4). This proves the proposition. Let (V 0 = F 2m q,ψ 0 ) be a standard symplectic space. Let P be the stabilizer of the standard maximal isotropic subspace F q < e 1,...,e m >. Lemma 5.3. Sp 2m (F q )/P = m (qi +1). Proof. We have a natural bijection between the group Sp 2m (F q ) and the set B(m) of ordered symplectic bases {v 1,...,v 2m } for V 0. The first vector v 1 has q 2m 1 choices. The first companion vector v m+1 has q 2m 1 choices as it does not lie in the hyperplane v 1 and we require ψ 0 (v 1,v m+1 ) = 1. The remaining ordered symplectic basis can be chosen from the complement F q < v 1,v m+1 >. Therefore, we have proved the recursive formula Sp 2m (F q ) = (q 2m 1)q 2m 1 Sp 2m 2 (F q ). From this, we get m (5.5) Sp 2m (F q ) = q m2 (q 2i 1). We have This yields P = {( ) } A B ;AD t = I 0 D m, BA t = AB t. (5.6) P = q m2 +m m 2 GL m (F q ) = q m2 (q i 1). From (5.5) and (5.6), we prove the lemma. By Proposition 5.2 and Lemma 5.3, we get Theorem 5.4. One has (5.7) µ(u 0,p /U x,p ) = v p µ(u 0,v /U x,v ) = v p,v m (qv i +1). Plugging the formula (5.7) in the formula (4.4), we get the formula (1.3). The proof of Theorem 1.2 is complete. Acknowledgments. The present work relies on Shimura s paper [7] and is also inspired by W.-T. Gan and J.-K. Yu s paper [3]. It is a great pleasure to thank them. References [1] T. Ekedahl, On supersingular curves and supersingular abelian varieties. Math. Scand. 60 (1987), [2] W. T. Gan, J. P. Hanke, and J.-K. Yu, On an exact mass formula of Shimura. Duke Math. J. 107 (2001), [3] W. T. Gan and J.-K. Yu, Group schemes and local densities. Duke Math. J. 105 (2000), [4] K. Hashimoto and T. Ibukiyama, On class numbers of positive definite binary quaternion hermitian forms, J. Fac. Sci. Univ. Tokyo 27 (1980),

8 8 CHIA-FU YU [5] G. Prasad, Volumes of S-arithmetic quotients of semi-simple groups. Inst. Hautes Études Sci. Publ. Math. 69 (1989), [6] M. Rapoport and Th. Zink, Period Spaces for p-divisible groups. Ann. Math. Studies 141, Princeton Univ. Press, [7] G. Shimura, Some exact formulas for quaternion unitary groups. J. Reine Angew. Math. 509 (1999), [8] C.-F. Yu, Simple mass formulas on Shimura varieties of PEL-type. math.nt/ , 15 pp. Institute of Mathematics, Academia Sinica, 128 Academia Rd. Sec. 2, Nankang, Taipei, Taiwan, and NCTS (Taipei Office) address: Max-Planck-Institut für Mathematik, Vivatsgasse 7, Bonn, 53111, Germany