MASS FORMULA FOR SUPERSINGULAR ABELIAN SURFACES
|
|
- Logan Hood
- 5 years ago
- Views:
Transcription
1 MASS FORMULA FOR SUPERSINGULAR ABELIAN SURFACES CHIA-FU YU AND JENG-DAW YU Abstract. We show a mass formula for arbitrary supersingular abelian surfaces in characteristic p.. Introduction In [] Chai studied prime-to-p Hecke correspondences on Siegel moduli spaces in characteristic p and proved a deep geometric result about ordinary l-adic Hecke orbits for any prime l p. Recently Chai and Oort gave a complete answer to what this l-adic Hecke orbit can be; see [2]. In this paper we study the arithmetic aspect of supersingular l-adic Hecke orbits in the Siegel moduli spaces, the extreme situation opposite to the ordinary case. In the case of genus g = 2, we give a complete answer to the size of supersingular Hecke orbits. Let p be a rational prime number and g be a positive integer. Let N 3 be a prime-to-p positive integer. Choose a primitive Nth root of unity ζ N Q C and fix an embedding Q Q p. Let A g,,n denote the moduli space over F p of g-dimensional principally polarized abelian varieties with a symplectic level-n structure with respect to ζ N. Let k be an algebraically closed field of characteristic p. For each point x = A 0 = (A 0, λ 0, η 0 in A g,,n (k and a prime number l p, the l-adic Hecke orbit H l (x is defined to be the countable subset of A g,,n (k that consists of points A such that there is an l-quasi-isogeny from A to A 0 that preserves the polarizations (see 2 for definitions. It is proved in Chai [, Proposition ] that the l-adic Hecke orbit H l (x is finite if and only if x is supersingular. Recall that an abelian variety A over k is supersingular if it is isogenous to a product of supersingular elliptic curves; A is superspecial if it is isomorphic to a product of supersingular elliptic curves. A natural question is whether it is possible to calculate the size of a supersingular Hecke orbit. The answer is affirmative, provided that we know its underlying p-divisible group structure explicitly, through the calculation of geometric mass formulas (see Section 2. This is the task of this paper where we examine the p-divisible group structure of some non-superspecial abelian varieties. Let x = (A 0, λ 0 be a g-dimensional supersingular principally polarized abelian varieties over k. Let Λ x denote the set of isomorphism classes of g-dimensional supersingular principally polarized abelian varieties (A, λ over k such that there exists an isomorphism (A, λ[p ] (A 0, λ 0 [p ] of the attached quasi-polarized p- divisible groups; it is a finite set (see [7, Theorem 2. and Proposition 2.2]. Define the mass Mass(Λ x of Λ x as (. Mass(Λ x := Aut(A, λ. (A,λ Λ x Date: August 4, 2009.
2 2 CHIA-FU YU AND JENG-DAW YU The main result of this paper is computing the geometric mass Mass(Λ x for arbitrary x when g = 2. Let Λ 2,p be the set of isomorphism classes of polarized superspecial abelian surfaces (A, λ with polarization degree deg λ = p 2 over F p such that ker λ α p α p (see 3.. For each member (A, λ in Λ 2,p, the space of degree-p isogenies ϕ : (A, λ (A, λ with ϕ λ = λ over k is a projective line P over k. Write P A to indicate the space of p-isogenies arising from A. This family is studied in Moret-Bailly [6], and also in Katsura-Oort [5]. One defines an F p 2-structure on P using the W (F p 2-structure of M defined by F 2 = p, where M is the covariant Dieudonné module of A and F is the absolute Frobenius. For any supersingular principally polarized abelian surface (A, λ there exist an (A, λ in Λ 2,p and a degree-p isogeny ϕ : (A, λ (A, λ with ϕ λ = λ. The choice of (A, λ and ϕ may not be unique. However, the degree [F p 2(ξ : F p 2] of the point ξ P A (k that corresponds to ϕ is well-defined. In this paper we prove Theorem.. Let x = (A, λ be a supersingular principally polarized abelian surface over k. Suppose that (A, λ is represented by a pair (A, ξ, where A Λ 2,p and ξ P A (k. Then Mass(Λ x = L p 5760, where (p (p 2 + if F p 2(ξ = F p 2, L p = (p 2 (p 4 p 2 if [F p 2(ξ : F p 2] = 2, (p 2 PSL 2 (F p 2 otherwise. Theorem. calculates the cardinality of l-adic Hecke orbits H l (x, as one has (Corollary 2.3 H l (x = Sp 2g (Z/NZ Mass(Λ x. We mention that the function field analogue of Theorem. where supersingular abelian surfaces are replaced by supersingular Drinfeld modules is established in [0]. This paper is organized as follows. In Section 2 we describe the relationship between supersingular l-adic Hecke orbits and mass formulas. We develop the mass formula for the orbits of certain superspecial abelian varieties. In Section 3 we compute the endomorphism ring of any supersingular abelian surface. The proof of the main theorem is given in the last section. 2. Hecke orbits and mass formulas Let g, p, N, l, A g,,n, k be as in the previous section. We work with a slightly bigger moduli space in which the objects are not necessarily equipped with principal polarizations. It is indeed more convenient to work in this setting. Let A g,p,n = m A g,pm,n be the moduli space over F p of g-dimensional abelian varieties together with a p-power degree polarization and a symplectic level-n structure with respect to ζ N. Write A g,p for the moduli stack over F p that parametrizes g-dimensional p-power degree polarized abelian varieties. For any point x = A 0 = (A 0, λ 0, η 0 in A g,p,n (k, the l-adic Hecke orbit H l (x is defined to be the countable subset of A g,p,n (k that consists of points A such that there
3 MASS FORMULA FOR SUPERSINGULAR ABELIAN SURFACES 3 is an l-quasi-isogeny from A to A 0 that preserves the polarizations. An l-quasiisogeny from A to A 0 is an element ϕ Hom(A, A 0 Q such that l m ϕ, for some integer m 0, is an isogeny of l-power degree. 2.. Group theoretical interpretation. Assume that x is supersingular. Let G x be the automorphism group scheme over Z associated to A 0 ; for any commutative ring R, the group of its R-valued points is defined by G x (R = {h (End k (A 0 R h h = }, where h h is the Rosati involution induced by λ 0. Let Λ x,n A g,p,n (k be the subset consisting of objects (A, λ, η such that there is an isomorphism ɛ p : (A, λ[p ] (A 0, λ 0 [p ] of quasi-polarized p-divisible groups. Since l-quasiisogenies do not change the associated p-divisible group structure, we have the inclusion H l (x Λ x,n. Proposition 2.. Notations and assumptions as above. ( There is a natural isomorphism Λ x,n G x (Q\G x (A f /K N of pointed sets, where K N is the stabilizer of η 0 in G x (Ẑ. (2 One has H l (x = Λ x,n. Proof. ( This is a special case of [7, Theorem 2. and Proposition 2.2]. We sketch the proof for the reader s convenience. Let A be an element in Λ x,n. As A is supersingular, there is a quasi-isogeny ϕ : A 0 A such that ϕ λ = λ 0. For each prime q (including p and l, choose an isomorphism ɛ q : A 0 [q ] A[q ] of q-divisible groups compatible with polarizations and level structures. There is an element φ q G x (Q q such that ϕφ q = ɛ q for all q. The map A [(φ q ] gives a well-defined map from Λ x,n to G x (Q\G x (A f /K N. It is not hard to show that this is a bijection. (2 The inclusion H l (x Λ x,n under the isomorphism in ( is given by [G x (Q G x (Ẑ(l ]\[G x (Q l G x (Ẑ(l ]/K N G x (Q\G x (A f /K N. Since the group G x is semi-simple and simply-connected, the strong approximation shows that G x (Q G x (A (l f is dense. The equality then follows immediately. Corollary 2.2. Let A i = (A i, λ i, η i, i =, 2, be two supersingular points in A g,p,n (k. Suppose that there is an isomorphism of the associated quasi-polarized p-divisible groups. Then for any prime l pn there is an l-quasi-isogeny ϕ : A A 2 which preserves the polarizations and level structures. Proof. This follows from the strong approximation property for G x that any element φ in the double space G x (Q\G x (A f /K N can be represented by an element in G x (Q l K (l N, where K(l N Gx(Ẑ(l is the prime-to-l component of K N. Recall that we denote by Λ x the set of isomorphism classes of g-dimensional supersingular p-power degree polarized abelian varieties (A, λ over k such that there is an isomorphism (A, λ[p ] (A 0, λ 0 [p ], and define the mass Mass(Λ x of Λ x as Mass(Λ x := Aut(A, λ. (A,λ Λ x
4 4 CHIA-FU YU AND JENG-DAW YU Similarly, we define Mass(Λ x,n := Aut(A, λ, η. (A,λ,η Λ x,n Corollary 2.3. One has H l (x = Sp 2g (Z/NZ Mass(Λ x. Proof. This follows from H l (x = Λ x,n = Mass(Λ x,n = G x (Z/NZ Mass(Λ x and G x (Z/NZ = Sp 2g (Z/NZ Relative indices. Write G for the automorphism group scheme associated to a principally polarized superspecial point x 0. The group G Q is unique up to isomorphism. This is an inner form of Sp 2g which is twisted at p and (cf. 3. below. For any supersingular point x A g,p (k, we can regard G x (Z p as an open compact subgroup of G (Q p through a choice of a quasi-isogeny of polarized abelian varieties between x 0 and x. Another choice of quasi-isogeny gives rise to a subgroup which differs from the previous one by the conjugation of an element in G (Q p. For any two open compact subgroups U, U 2 of G (Q p, we put µ(u /U 2 := [U : U U 2 ][U 2 : U U 2 ]. Proposition 2.4. Let x, x 2 be two supersingular points in A g,p (k. Then one has Mass(Λ x2 = Mass(Λ x µ(g x (Z p /G x2 (Z p. Proof. See Theorem 2.7 of [7] The superspecial case. Let Λ g denote the set of isomorphism classes of g-dimensional principally polarized superspecial abelian varieties over F p. When g = 2D > 0 is even, we denote by Λ g,p D the set of isomorphism classes of g- dimensional polarized superspecial abelian varieties (A, λ of degree p 2D over F p satisfying ker λ = A[F ], where F : A A (p is the relative Frobenius morphism on A. Write M g := Aut(A, λ, M g := (A,λ Λ g Aut(A, λ (A,λ Λ g,p D for the mass attached to the finite sets Λ g and Λ g,p D, respectively. Theorem 2.5. Notations as above. ( For any positive integer g, one has { g } M g = ( g(g+/2 2 g ζ( 2k k= g { (p k + ( k}, where ζ(s is the Riemann zeta function. (2 For any positive even integer g = 2D, one has { g } D Mg = ( g(g+/2 2 g ζ( 2k (p 4k 2. k= k= k=
5 MASS FORMULA FOR SUPERSINGULAR ABELIAN SURFACES 5 Proof. ( This is due to Ekedahl and Hashimoto-Ibukiyama (see [3, p.59] and [4, Proposition 9], also cf. [8, Section 3]. (2 See Theorem 6.6 of [8]. Corollary 2.6. One has M 2 = (p (p2 +, and M2 = (p Proof. This follows from Theorem 2.5 and the basic fact ζ( = 2 and ζ( 3 = 20. This is also obtained in Katsura-Oort [5, Theorem 5. and Theorem 5.2] by a method different from above. Remark 2.7. Proposition 2. is generalized to the moduli spaces of PEL-type in [9], with modification due to the failure of the Hasse principle. 3. Endomorphism rings In this section we treat the endomorphism rings of supersingular abelian surfaces. 3.. Basic setting. For any abelian variety A over k, the a-number a(a of A is defined by a(a := dim k Hom(α p, A. Here α p is the kernel of the Frobenius morphism F : G a G a on the additive group. Denote by DM the category of Dieudonné modules over k. If M is the (covariant Dieudonné module of A, then a(a = a(m := dim k M/(F, V M. Let B p, denote the quaternion algebra over Q which is ramified exactly at {p, }. Let D be the division quaternion algebra over Q p and O D be the maximal order. Let W = W (k be the ring of Witt vectors over k, B(k := Frac(W (k the fraction field, and σ the Frobenius map on W (k. We also write Q p 2 and Z p 2 for B(F p 2 and W (F p 2, respectively. Let A be an abelian variety (over any field. The endomorphism ring End(A is an order of the semi-simple algebra End(A Q. Determining End(A is equivalent to determining the semi-simple algebra End(A Q and all local orders End(A Z l. Suppose that A is a supersingular abelian variety over k. We know that End(A Q = M g (B p,, and End(A Z l = M 2g (Z l for all primes l p. Therefore, it is sufficient to determine the local endomorphism ring End(A Z p = End DM (M, which is an order of the simple algebra M g (D The surface case. Let A be a supersingular abelian surface over k. There is a superspecial abelian surface A and an isogeny ϕ : A A of degree p. Let M and M be the covariant Dieudonné modules of A and A, respectively. One regards M as a submodule of M through the injective map ϕ. Let N be the Dieudonné submodule in M Q p such that V N = M. If a(m =, then M = (F, V M and hence it is determined by M. If a(m = 2, or equivalently M is superspecial, then there are p 2 + superspecial submodules M M such that dim k M/M =. Now we fix a rank 4 superspecial Dieudonné module N (and hence fix M and consider the space X of Dieudonné submodules M with M M N and
6 6 CHIA-FU YU AND JENG-DAW YU dim k N/M =. It is clear that X is isomorphic to the projective line P over k. Let Ñ N be the W (F p 2-submodule defined by F 2 = p. This gives an F p 2-structure on P. It is easy to show the following Lemma 3.. Let ξ P (k be the point corresponding to a Dieudonné module M in X. Then M is superspecial if and only if ξ P (F p 2. Choose a W -basis e, e 2, e 3, e 4 for N such that F e = e 2, F e 2 = pe, F e 3 = e 4, F e 4 = pe 3. Note that this is a W (F p 2-basis for Ñ. Write ξ = [a : b] P (k. The corresponding Dieudonné module M is given by M = Span < pe, pe 3, e 2, e 4, v >, where v = a e + b e 3 and a, b W are any liftings of a, b respectively. Case (i: ξ P (F p 2. In this case M is superspecial. We have End DM (M = M 2 (O D. Assume that ξ P (F p 2. In this case a(m =. If φ End DM (M, then φ End DM (N. Therefore, End DM (M = { φ End DM (N ; φ(m M }. We have End DM (N = End DM (Ñ = M 2(O D. The induced map (3. π : End DM (Ñ EndDM(Ñ/V Ñ is surjective. Put We have Put V 0 := Ñ/V Ñ = F p 2e F p 2e 3 and B 0 := End Fp 2 (V 0. End DM (Ñ/V Ñ = End F p 2 (V 0 = M 2 (F p 2. B 0 := {T B 0 ; T (v k v }, where v = ae + be 3 V 0 Fp 2 k. Therefore, End DM (M = π (B 0. Since ξ P (F p 2, ( a 0. We write ξ = [ : b], v = e +be 3, and we have F p 2(ξ = F p 2(b. a a Write T = 2 B a 2 a 0, where a ij F p 2. From T (v kv, we get the 22 condition (3.2 a 2 b 2 + (a a 22 b a 2 = 0. Case (ii: F p 2(ξ/F p 2 is quadratic. Write ξ = [ : b]. Suppose b satisfies b 2 = αb + β, where α, β F p 2. Plugging this in (3.2, we get a a 2 + a 2 α = 0 and a 2 β = a 2. This shows { ( 0 (3.3 B 0 = t I + t 2 β α where X 2 αx β is the minimal polynomial of b. } ; t, t 2 F p 2 F p 2(ξ,
7 MASS FORMULA FOR SUPERSINGULAR ABELIAN SURFACES 7 Case (iii: ξ P (F p 2 and F p 2(ξ/F p 2 is not quadratic. In this case a 2 = a 2 = 0 and a = a 22. We have {( } a 0 B 0 = ; a F 0 a p 2. We conclude Proposition 3.2. Let A be a supersingular surface over k and M be the associated covariant Dieudonné module. Suppose that A is represented by a pair (A, ξ, where A is a superspecial abelian surface and ξ P A (k. Let π : M 2 (O D M 2 (F p 2 be the natural projection. ( If F p 2(ξ = F p 2, then End DM (M = M 2 (O D. (2 If [F p 2(ξ : F p 2] = 2, then End DM (M {φ M 2 (O D ; π(φ B 0 }, where B 0 M 2 (F p 2 is a subalgebra isomorphic to F p 2(ξ. (3 If it is neither in the case ( nor (2, then { ( } a 0 End DM (M φ M 2 (O D ; π(φ =, a F 0 a p Proof of Theorem. 4.. The automorphism groups. Let x = (A, λ be a supersingular principally polarized abelian surfaces over k. Let x = (A, λ be an element in Λ 2,p such that there is a degree-p isogeny ϕ : (A, λ (A, λ of polarized abelian varieties. Write ξ = [a : b] P (k the point corresponding to the isogeny ϕ. We choose an F p 2-structure on P as in 3.2. Let (M,, (M,, be the covariant Dieudonné modules associated to ϕ : (A, λ (A, λ. Let N be the submodule in M Q p such that V N = M, and put, N = p,. One has an isomorphism (N,, N (M,, of quasi-polarized Dieudonné modules. Put U x := G x (Z p = Aut DM (M,,, U x := G x (Z p = Aut DM (M,, = Aut DM (N,, N. Choose a W -basis e, e 2, e 3, e 4 for N such that F e = e 2, F e 2 = pe, F e 3 = e 4, F e 4 = pe 3, e, e 3 N = e 3, e N =, e 2, e 4 N = e 4, e 2 N = p, and e i, e j = 0 for all remaining i, j. The Dieudonné module M is given by M = Span < pe, pe 3, e 2, e 4, v >, where v = a e + b e 3 and a, b W are any liftings of a, b respectively. Case (i: ξ P (F p 2. In this case A is superspecial. One has Λ x = Λ 2 and, by Corollary 2.6, Mass(Λ x = (p (p In the remaining of this section, we treat the case ξ P (F p 2. One has U x = {φ U x ; φ(m = M },
8 8 CHIA-FU YU AND JENG-DAW YU and, by Proposition 2.4 and Corollary 2.6, (4. Mass(Λ x = Mass(Λ x µ(u x /U x = p [U x : U x ]. Recall that V 0 = Ñ/V Ñ, which is equipped with the non-degenerate alternating pairing, : V 0 V 0 F p 2 induced from, N. The map (3. induces a group homomorphism π : U x Aut(V 0,, = SL 2 (F p 2. Proposition 4.. The map π above is surjective. The proof is given in Subsection 4.2. Lemma 4.2. One has ker π U x. Proof. Let φ ker π. Write φ(e = e + f, φ(e 3 = e 3 + f 3, where f, f 3 V N. Since M is generated by V N and v, it suffices to check φ(v = v + a f + b f 3 M; this is clear. Case (ii: [F p 2(ξ : F p 2] = 2. By Proposition 3.2 and Lemma 4.2, we have π : U x /U x SL 2 (F p 2/F p 2(ξ, where via the identification (3.3. This shows F p 2(ξ = F p 2(ξ SL 2(F p 2 [U x : U x ] = (p 4 p 2. Case (iii: [F p 2(ξ : F p 2] 3. By Proposition 3.2 and Lemma 4.2, we have π : U x /U x SL 2 (F p 2/{±}. This shows [U x : U x ] = PSL 2 (F p 2. From Cases (i-(iii above and equation (4., Theorem. is proved Proof of Proposition 4.. Write O D = W (F p 2[Π], Π 2 = p, Πa = a σ Π, a W (F p 2. The canonical involution is given by (a + bπ = a σ bπ. With the basis, Π, we have the embedding ( a pb σ O D M 2 (W (F p 2, a + bπ = b a σ. Note that this embedding is compatible with the canonical involutions. With respect to the basis e, e 2, e 3, e 4, an element φ End DM (N can be written as ( aij pb T = (T ij M 2 (O D M 4 (W (F p 2, σ ij T ij = a ij + b ij Π = b ij a σ. ij Since φ preserves the pairing, N, we get the condition in M 4 (Q p 2: ( ( ( (4.2 T t J J T =, J =. J J p Note that ( w 0 Tjiw 0 = Tji, t w 0 = M 2 (Z p 2.
9 MASS FORMULA FOR SUPERSINGULAR ABELIAN SURFACES 9 The condition (4.2 becomes ( ( w0 w (4.3 T 0 Since we have ( w 0 w 0 w 0 ( J w 0 ( J = Π ( J Π J ( T = J ( = Π J. M 2 (O D, Lemma 4.3. The group U x is the group of O D -linear automorphisms on ( the standard O D -lattice O D O D which preserve that quaternion hermitian form. 0 Π Π 0 We also write (4.3 as ( (4.4 Π T ΠwT = w, w = M 2 (O D. Notation. For an element T M m (D and n Z, write T (n = Π n T Π n. In particular, if T = (T ij M m (Q p 2 M m (D, then T (n = (Tij σn. If T M m (O D, denote by T M m (F p 2 the reduction of T mod Π. Suppose φ SL 2 (F p 2 is given. Then we must find an element T M 2 (O D satisfying (4.4. We show that there is a sequence of elements T n M 2 (O D for n 0 satisfying the conditions (4.5 (Tn ( wt n w (mod Π n+, T n+ T n (mod Π n+, and T 0 = φ. Suppose there is already an element T n M 2 (O D for some n 0 that satisfies (T n ( wt n w (mod Π n+. Put T n+ := T n + B n Π n+, where B n M 2 (O D, and put X n := (T n ( wt n. Suppose X n w + C n Π n+ (mod Π n+2. One computes that X n+ T ( n wt n + Tn ( wb n Π n+ + (Π n+ Bn ( wt n (mod Π n+2 w + C n Π n+ + T ( n wb n Π n+ + ( n+ Bn (n wt n (n+ Π n+ (mod Π n+2. Therefore, we require an element B n M 2 (O D satisfying C n + T t nwb n + ( n+ B t(n+ n wt (n+ n = 0. Put Y n := T t nwb n. As Y t n = B t nwt n, we need to solve the equation C n + Y n + ( n Y t(n+ n = 0, or equivalently the equation { C n + Y n + Y t( n = 0, if n is even, C n + Y n Y t n = 0, if n is odd. It is easy to compute that Xn = X n (. From this it follows that ( n+ C (n+ n Π n+ C ( n Π n+ (mod Π n+2,
10 0 CHIA-FU YU AND JENG-DAW YU or simply ( n C t(n n = C ( n. This gives the condition { C t n = C ( n, if n is even, C t n = C n, if n is odd. By the following lemma, we prove the existence of {T n } satisfying (4.5. Therefore, Proposition 4. is proved. Lemma 4.4. Let C be an element in the matrix algebra M m (F p 2. ( If C t = C (, then there is an element Y M m (F p 2 such that C+Y +Y t( = 0. (2 If C t = C, then there is an element Y M m (F p 2 such that C+Y Y t = 0. Proof. The proof is elementary and hence omitted. Remark 4.5. Theorem. also provides another way to look at the supersingular locus S 2 of the Siegel threefold. We used to divide it into two parts: superspecial locus and non-superspecial locus. Consider the mass function M : S 2 Q, x Mass(Λ x. Then the function M divides the supersingular locus S 2 into 3 locally closed subsets that refine the previous one. More generally, we can consider the same function M on the supersingular locus S g of the Siegel modular variety of genus g. The situation definitely becomes much more complicated. However, it is worth knowing whether the following question has the affirmative answer. (Question: Is the map M : S g Q a constructible function? Acknowledgments. The research of C.-F. Yu was partially supported by the grants NSC M MY3 and AS-98-CDA-M0. The research of J.-D. Yu was partially supported by the grant NSC M References [] C.-L. Chai, Every ordinary symplectic isogeny class in positive characteristic is dense in the moduli. Invent. Math. 2 (995, [2] C.-L. Chai, Hecke orbits on Siegel modular varieties. Geometric methods in algebra and number theory, 7 07, Progr. Math., 235, Birkhauser Boston, [3] T. Ekedahl, On supersingular curves and supersingular abelian varieties. Math. Scand. 60 (987, [4] K. Hashimoto and T. Ibukiyama, On class numbers of positive definite binary quaternion hermitian forms, J. Fac. Sci. Univ. Tokyo 27 (980, [5] T. Katsura and F. Oort, Families of supersingular abelian surfaces, Compositio Math. 62 (987, [6] L. Moret-Bailly, Familles de courbes et de variétés abéliennes sur P. Sém. sur les pinceaux de courbes de genre au moins deux (ed. L. Szpiro. Astériques 86 (98, [7] C.-F. Yu, On the mass formula of supersingular abelian varieties with real multiplications. J. Australian Math. Soc. 78 (2005, [8] C.-F. Yu, The supersingular loci and mass formulas on Siegel modular varieties. Doc. Math. (2006, [9] C.-F. Yu, Simple mass formulas on Shimura varieties of PEL-type. To appear in Forum Math. [0] C.-F. Yu and J. Yu, Mass formula for supersingular Drinfeld modules. C. R. Acad. Sci. Paris Sér. I Math. 338 (
11 MASS FORMULA FOR SUPERSINGULAR ABELIAN SURFACES (C.-F. Yu Institute of Mathematics, Academia Sinica, 28 Academia Rd. Sec. 2, Nankang, Taipei, Taiwan, and NCTS (Taipei Office address: (J.-D. Yu Department of Mathematics, National Taiwan University, Taipei, Taiwan address:
arxiv: v1 [math.nt] 23 Jun 2007
AN EXACT GEOMETRIC MASS FORMULA arxiv:0706.3474v1 [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
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationRiemann surfaces with extra automorphisms and endomorphism rings of their Jacobians
Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field
More informationDieudonné Modules and p-divisible Groups
Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous
More informationKleine AG: Travaux de Shimura
Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura
More informationOn elliptic curves in characteristic 2 with wild additive reduction
ACTA ARITHMETICA XCI.2 (1999) On elliptic curves in characteristic 2 with wild additive reduction by Andreas Schweizer (Montreal) Introduction. In [Ge1] Gekeler classified all elliptic curves over F 2
More informationSurjectivity in Honda-Tate
Surjectivity in Honda-Tate Brian Lawrence May 5, 2014 1 Introduction Let F q be a finite field with q = p a elements, p prime. Given any simple Abelian variety A over F q, we have seen that the characteristic
More informationSHIMURA VARIETIES AND TAF
SHIMURA VARIETIES AND TAF PAUL VANKOUGHNETT 1. Introduction The primary source is chapter 6 of [?]. We ve spent a long time learning generalities about abelian varieties. In this talk (or two), we ll assemble
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationIntegral models of Shimura varieties
Zavosh Amir-Khosravi April 9, 2011 Motivation Let n 3 be an integer, S a scheme, and let (E, α n ) denote an elliptic curve E over S with a level-n structure α n : (Z/nZ) 2 E n. Motivation Let n 3 be an
More informationOn the equality case of the Ramanujan Conjecture for Hilbert modular forms
On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits
More informationModuli of abelian varieties in mixed and in positive characteristic
Moduli of abelian varieties in mixed and in positive characteristic Frans Oort Abstract. We start with a discussion of CM abelian varieties in characteristic zero, and in positive characteristic. An abelian
More informationψ l : T l (A) T l (B) denotes the corresponding morphism of Tate modules 1
1. An isogeny class of supersingular elliptic curves Let p be a prime number, and k a finite field with p 2 elements. The Honda Tate theory of abelian varieties over finite fields guarantees the existence
More informationSERRE S CONJECTURE AND BASE CHANGE FOR GL(2)
SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the
More informationFully maximal and minimal supersingular abelian varieties
Fully maximal and minimal supersingular abelian varieties Valentijn Karemaker (University of Pennsylvania) Joint with R. Pries Arithmetic, Geometry, Cryptography, and Coding Theory, CIRM June 19, 2017
More informationGalois Theory of Several Variables
On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding
More informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationp-divisible Groups: Definitions and Examples
p-divisible Groups: Definitions and Examples Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 18, 2013 Connected vs. étale
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationLecture 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationGENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS
GENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS JOHAN DE JONG AND SHOU-WU ZHANG Contents Section 1. Introduction 1 Section 2. Mapping class groups and hyperelliptic locus 3 Subsection
More informationTHE STRUCTURE OF THE MODULI STACK OF ELLIPTIC CURVES
THE STRUCTURE OF THE MODULI STACK OF ELLIPTIC CURVES CHARMAINE SIA ABSTRACT. We study the multiplication-by-p map on an elliptic curve, which gives a stratification of the moduli stack of elliptic curves
More information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More informationGenus 2 Curves of p-rank 1 via CM method
School of Mathematical Sciences University College Dublin Ireland and Claude Shannon Institute April 2009, GeoCrypt Joint work with Laura Hitt, Michael Naehrig, Marco Streng Introduction This talk is about
More informationNOTES ON CLASSICAL SHIMURA VARIETIES
NOTES ON CLASSICAL SHIMURA VARIETIES DONU ARAPURA We work over C in these notes. 1. Abelian varieties An abelian variety is a higher dimensional version of an elliptic curve. So first of all it is a complex
More informationTitchmarsh divisor problem for abelian varieties of type I, II, III, and IV
Titchmarsh divisor problem for abelian varieties of type I, II, III, and IV Cristian Virdol Department of Mathematics Yonsei University cristian.virdol@gmail.com September 8, 05 Abstract We study Titchmarsh
More informationAn algebraic construction of an abelian variety with a given Weil number
Submitted to Journal of the Mathematical Society of Japan An algebraic construction of an abelian variety with a given Weil number By Ching-Li Chai 1 & Frans Oort 2 Abstract. A classical theorem of Honda
More informationCOMPLEX MULTIPLICATION: LECTURE 14
COMPLEX MULTIPLICATION: LECTURE 14 Proposition 0.1. Let K be any field. i) Two elliptic curves over K are isomorphic if and only if they have the same j-invariant. ii) For any j 0 K, there exists an elliptic
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationMappings of elliptic curves
Mappings of elliptic curves Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Isogenies of Elliptic Curves
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationRaising the Levels of Modular Representations Kenneth A. Ribet
1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More information2,3,5, LEGENDRE: ±TRACE RATIOS IN FAMILIES OF ELLIPTIC CURVES
2,3,5, LEGENDRE: ±TRACE RATIOS IN FAMILIES OF ELLIPTIC CURVES NICHOLAS M. KATZ 1. Introduction The Legendre family of elliptic curves over the λ-line, E λ : y 2 = x(x 1)(x λ), is one of the most familiar,
More informationLecture 2: Elliptic curves
Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationSTRATIFICATIONS OF HILBERT MODULAR VARIETIES
Unspecified Journal Volume 00, Number 0, Xxxx XXXX, Pages 000 000 S????-????(XX)0000-0 STRATIFICATIONS OF HILBERT MODULAR VARIETIES E Z GOREN AND F OORT Abstract We consider g-dimensional abelian varieties
More informationc ij x i x j c ij x i y j
Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in
More information1. Artin s original conjecture
A possible generalization of Artin s conjecture for primitive root 1. Artin s original conjecture Ching-Li Chai February 13, 2004 (1.1) Conjecture (Artin, 1927) Let a be an integer, a 0, ±1, and a is not
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationEquations for Hilbert modular surfaces
Equations for Hilbert modular surfaces Abhinav Kumar MIT April 24, 2013 Introduction Outline of talk Elliptic curves, moduli spaces, abelian varieties 2/31 Introduction Outline of talk Elliptic curves,
More informationCOMPUTING ARITHMETIC PICARD-FUCHS EQUATIONS JEROEN SIJSLING
COMPUTING ARITHMETIC PICARD-FUCHS EQUATIONS JEROEN SIJSLING These are the extended notes for a talk given at the Fields Institute on August 24th, 2011, about my thesis work with Frits Beukers at the Universiteit
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationClassification of Dieudonné Modules up to Isogeny
McGill University April 2013 The Motivation Why up to Isogeny? Easier problem might shed light on the harder problem. The theory might actually be nicer. Fits in well with a different perspective on Shimura
More informationOn Galois cohomology and realizability of 2-groups as Galois groups II. Author copy
Cent. Eur. J. Math. 9(6) 2011 1333-1343 DOI: 10.2478/s11533-011-0086-z Central European Journal of Mathematics On Galois cohomology and realizability of 2-groups as Galois groups II Research Article Ivo
More informationLocal root numbers of elliptic curves over dyadic fields
Local root numbers of elliptic curves over dyadic fields Naoki Imai Abstract We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension
More informationON FINITENESS CONJECTURES FOR ENDOMORPHISM ALGEBRAS OF ABELIAN SURFACES
ON FINITENESS CONJECTURES FOR ENOMORPHISM ALGEBRAS OF ABELIAN SURFACES NILS BRUIN, E. VICTOR FLYNN, JOSEP GONZÁLEZ, AN VICTOR ROTGER Abstract. It is conjectured that there exist only finitely many isomorphism
More informationOn values of Modular Forms at Algebraic Points
On values of Modular Forms at Algebraic Points Jing Yu National Taiwan University, Taipei, Taiwan August 14, 2010, 18th ICFIDCAA, Macau Hermite-Lindemann-Weierstrass In value distribution theory the exponential
More informationCounting points on genus 2 curves over finite
Counting points on genus 2 curves over finite fields Chloe Martindale May 11, 2017 These notes are from a talk given in the Number Theory Seminar at the Fourier Institute, Grenoble, France, on 04/05/2017.
More informationAn Introduction to Kuga Fiber Varieties
An Introduction to Kuga Fiber Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 28, 2012 Notation G a Q-simple
More informationGALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE)
GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE) JACQUES VÉLU 1. Introduction Let E be an elliptic curve defined over a number field K and equipped
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More informationMonodromy and irreducibility of leaves
Monodromy and irreducibility of leaves Frans Oort & Ching-Li Chai 1 May 2006 Conference on Abelian varieties, Amsterdam 29-31 May 2006. Informal notes, not for publication. Abstract We show that non-supersingular
More informationElliptic Curves Spring 2015 Lecture #7 02/26/2015
18.783 Elliptic Curves Spring 2015 Lecture #7 02/26/2015 7 Endomorphism rings 7.1 The n-torsion subgroup E[n] Now that we know the degree of the multiplication-by-n map, we can determine the structure
More informationUp to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor
Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,
More informationDiangle groups. by Gunther Cornelissen
Kinosaki talk, X 2000 Diangle groups by Gunther Cornelissen This is a report on joint work with Fumiharu Kato and Aristides Kontogeorgis which is to appear in Math. Ann., DOI 10.1007/s002080000183. Diangle
More informationCover Page. Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of Shimura varieties Date:
Cover Page The handle http://hdl.handle.net/1887/56255 holds various files of this Leiden University dissertation Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of
More informationEndomorphism Rings of Abelian Varieties and their Representations
Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication
More informationModularity of Abelian Varieties
1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists
More informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationL-Polynomials of Curves over Finite Fields
School of Mathematical Sciences University College Dublin Ireland July 2015 12th Finite Fields and their Applications Conference Introduction This talk is about when the L-polynomial of one curve divides
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More informationBreuil s classification of p-divisible groups over regular local rings of arbitrary dimension
Breuil s classification of p-divisible groups over regular local rings of arbitrary dimension Adrian Vasiu and Thomas Zink September 2, 2009 To appear in Advanced Studies in Pure Mathematics, Algebraic
More informationCURVES OF GIVEN p-rank WITH TRIVIAL AUTOMORPHISM GROUP
CURVES OF GIVEN p-rank WITH TRIVIAL AUTOMORPHISM GROUP JEFFREY D. ACHTER, DARREN GLASS, AND RACHEL PRIES Abstract. Let k be an algebraically closed field of characteristic p > 0. Suppose g 3 and 0 f g.
More informationLECTURE NOTES AMRITANSHU PRASAD
LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which
More informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationCorrection to On Satake parameters for representations with parahoric fixed vectors
T. J. Haines (2017) Correction to On Satake parameters for representations with parahoric fixed vectors, International Mathematics Research Notices, Vol. 2017, No. 00, pp. 1 11 doi: 10.1093/imrn/rnx088
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationSiegel Moduli Space of Principally Polarized Abelian Manifolds
Siegel Moduli Space of Principally Polarized Abelian Manifolds Andrea Anselli 8 february 2017 1 Recall Definition 11 A complex torus T of dimension d is given by V/Λ, where V is a C-vector space of dimension
More informationLifting Galois Representations, and a Conjecture of Fontaine and Mazur
Documenta Math. 419 Lifting Galois Representations, and a Conjecture of Fontaine and Mazur Rutger Noot 1 Received: May 11, 2001 Revised: November 16, 2001 Communicated by Don Blasius Abstract. Mumford
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationarxiv: v1 [math.ag] 12 Jul 2018
A note on certain superspecial and maximal curves of genus 5 Momonari Kudo arxiv:1807.04394v1 [math.ag] 12 Jul 2018 July 13, 2018 Abstract In this note, we characterize certain maximal superspecial curves
More informationAUTOMORPHISMS OF X(11) OVER CHARACTERISTIC 3, AND THE MATHIEU GROUP M 11
AUTOMORPHISMS OF X(11) OVER CHARACTERISTIC 3, AND THE MATHIEU GROUP M 11 C. S. RAJAN Abstract. We show that the automorphism group of the curve X(11) is the Mathieu group M 11, over a field of characteristic
More informationLECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS
LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS PETE L. CLARK 1. What is an arithmetic Fuchsian group? The class of Fuchsian groups that we are (by far) most interested in are the arithmetic groups.
More informationLARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE
LARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE EVERETT W. HOWE, FRANCK LEPRÉVOST, AND BJORN POONEN Abstract. We construct examples of families of curves of genus 2 or 3 over
More informationHILBERT MODULAR FORMS: MOD P AND P-ADIC ASPECTS
HILBERT MODULAR FORMS: MOD P AND P-ADIC ASPECTS F. Andreatta and E.Z. Goren This paper is concerned with developing the theory of Hilbert modular forms along the lines of the theory of elliptic modular
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationTAG Lectures 9 and 10: p-divisible groups and Lurie s realization result
TAG Lectures 9 and 10: and Lurie s realization result Paul Goerss 20 June 2008 Pick a prime p and work over Spf(Z p ); that is, p is implicitly nilpotent in all rings. This has the implication that we
More informationAppendix by Brian Conrad: The Shimura construction in weight 2
CHAPTER 5 Appendix by Brian Conrad: The Shimura construction in weight 2 The purpose of this appendix is to explain the ideas of Eichler-Shimura for constructing the two-dimensional -adic representations
More informationΓ 1 (N) given by the W -operator W =. It would be interesting to show
Hodge structures of type (n, 0,..., 0, n) Burt Totaro Completing earlier work by Albert, Shimura found all the possible endomorphism algebras (tensored with the rationals) for complex abelian varieties
More information(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap
The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups
More informationMath 210C. A non-closed commutator subgroup
Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for
More informationOn metacyclic extensions
On metacyclic extensions Masanari Kida 1 Introduction A group G is called metacyclic if it contains a normal cyclic subgroup N such that the quotient group G/N is also cyclic. The category of metacyclic
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationELLIPTIC FACTORS IN JACOBIANS OF HYPERELLIPTIC CURVES WITH CERTAIN AUTOMORPHISM GROUPS JENNIFER PAULHUS
ELLIPTIC FACTORS IN JACOBIANS OF HYPERELLIPTIC CURVES WITH CERTAIN AUTOMORPHISM GROUPS JENNIFER PAULHUS Abstract. We decompose the Jacobian variety of hyperelliptic curves up to genus 20, defined over
More informationof S 2 (Γ(p)). (Hecke, 1928)
Equivariant Atkin-Lehner Theory Introduction Atkin-Lehner Theory: Atkin-Lehner (1970), Miyake (1971), Li (1975): theory of newforms (+ T-algebra action) a canonical basis for S k (Γ 1 (N)) and hence also
More informationZeta functions of buildings and Shimura varieties
Zeta functions of buildings and Shimura varieties Jerome William Hoffman January 6, 2008 0-0 Outline 1. Modular curves and graphs. 2. An example: X 0 (37). 3. Zeta functions for buildings? 4. Coxeter systems.
More informationModuli of abelian varieties and p-divisible groups
Clay Mathematics Proceedings Volume 8, 2009 Moduli of abelian varieties and p-divisible groups Ching-Li Chai and Frans Oort Abstract. This is a set of notes for a course we gave in the second week of August
More informationA Note on Dormant Opers of Rank p 1 in Characteristic p
A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective
More informationON ISOTROPY OF QUADRATIC PAIR
ON ISOTROPY OF QUADRATIC PAIR NIKITA A. KARPENKO Abstract. Let F be an arbitrary field (of arbitrary characteristic). Let A be a central simple F -algebra endowed with a quadratic pair σ (if char F 2 then
More informationGauss map on the theta divisor and Green s functions
Gauss map on the theta divisor and Green s functions Robin de Jong Abstract In an earlier paper we constructed a Cartier divisor on the theta divisor of a principally polarised abelian variety whose support
More informationKuga Varieties Applications
McGill University April 2012 Two applications The goal of this talk is to describe two applications of Kuga varieties. These are: 1 Applications to the Hodge conjecture. (Abdulali - Abelian Varieties and
More information