Random Dieudonné Modules and the Cohen-Lenstra Heuristics
|
|
- Anne Osborne
- 6 years ago
- Views:
Transcription
1 Random Dieudonné Modules and the Cohen-Lenstra Heuristics David Zureick-Brown Bryden Cais Jordan Ellenberg Emory University Slides available at Arithmetic of abelian varieties in families Lausanne, Switzerland November 13, 2012
2 Basic Question How often does p divide h( D)? David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
3 Basic Question What is P(p h( D)) = lim X #{0 D X s.t. p h( D)}? #{0 D X } David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
4 Guess: Random Integer? P(p h( D)) = P(p D) = 1 p??? David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
5 Data (Buell 76) P(p h( D)) 1 p + 1 p 2 1 p (p odd ) p7 = 1 (1 1p ) i i 1 = /3 (p = 3) = /5 (p = 5) P(Cl( D) 3 = Z/9Z) P(Cl( D) 3 = (Z/3Z) 2 ) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
6 Random finite abelian groups Idea P(p h( D)) = P(p #G) =??? David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
7 Random finite abelian groups Idea P(p h( D)) = P(p #G) =??? Let G p be the set of isomorphism classes of finite abelian groups of p-power order. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
8 Random finite abelian groups Idea P(p h( D)) = P(p #G) =??? Let G p be the set of isomorphism classes of finite abelian groups of p-power order. Theorem (Cohen, Lenstra) (i) 1 # Aut G = G G p i ( 1 1 p i ) 1 = C 1 p David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
9 Random finite abelian groups Idea P(p h( D)) = P(p #G) =??? Let G p be the set of isomorphism classes of finite abelian groups of p-power order. Theorem (Cohen, Lenstra) (i) 1 # Aut G = G G p i (ii) G ( 1 1 p i ) 1 = C 1 p C p # Aut G is a probability distribution on G p David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
10 Random finite abelian groups Idea P(p h( D)) = P(p #G) =??? Let G p be the set of isomorphism classes of finite abelian groups of p-power order. Theorem (Cohen, Lenstra) (i) 1 # Aut G = G G p i (ii) G ( 1 1 p i ) 1 = C 1 p C p # Aut G is a probability distribution on G p (iii) Avg (#G[p]) = Avg ( p rp(g)) = 2 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
11 Cohen and Lenstra s conjecture Let f : G p Z be a function. Definition Avg f = G G p C p # Aut G f (G) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
12 Cohen and Lenstra s conjecture Let f : G p Z be a function. Definition Avg f = G G p C p # Aut G f (G) Avg Cl f = 0 D X f (Cl( D) p) 0 D X 1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
13 Cohen and Lenstra s conjecture Let f : G p Z be a function. Definition Avg f = G G p C p # Aut G f (G) Avg Cl f = 0 D X f (Cl( D) p) 0 D X 1 Conjecture (Cohen, Lenstra) (i) Avg Cl f = Avg f David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
14 Cohen and Lenstra s conjecture Let f : G p Z be a function. Definition Avg f = G G p C p # Aut G f (G) Avg Cl f = 0 D X f (Cl( D) p) 0 D X 1 Conjecture (Cohen, Lenstra) (i) Avg Cl f = Avg f (ii) Avg (# Cl( D)[p]) = 2 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
15 Cohen and Lenstra s conjecture Let f : G p Z be a function. Definition Avg f = G G p C p # Aut G f (G) Avg Cl f = 0 D X f (Cl( D) p) 0 D X 1 Conjecture (Cohen, Lenstra) (i) Avg Cl f = Avg f (ii) Avg (# Cl( D)[p]) 2 = 2 + p David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
16 Cohen and Lenstra s conjecture Let f : G p Z be a function. Definition Avg f = G G p C p # Aut G f (G) Avg Cl f = 0 D X f (Cl( D) p) 0 D X 1 Conjecture (Cohen, Lenstra) (i) Avg Cl f = Avg f (ii) Avg (# Cl( D)[p]) 2 = 2 + p (iii) P(Cl( D) p = G) = C p # Aut G. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
17 Progress Davenport-Heilbronn Avg Cl( D)[3] = 2 Bhargava Avg Cl(K)[2] = 3 (K cubic) Bhargava counts quartic dihedral extensions Kohnen-Ono N p h (X ) x 2 1 log x Heath-Brown N p h (X ) x 10 9 log x Byeon N Clp =(Z/gZ) 2(X ) x 1 g log x David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
18 Cohen-Lenstra over F q (t), l p Cl( D) = Pic(Spec O K ) vs Pic(C) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
19 Cohen-Lenstra over F q (t), l p Cl( D) = Pic(Spec O K ) vs Pic(C) deg Z 0 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
20 Cohen-Lenstra over F q (t), l p Cl( D) = Pic(Spec O K ) vs 0 Pic 0 (C) Pic(C) deg Z 0 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
21 Basic Question over F q (t), l p Fix G G l. What is P(Pic 0 (C) l = G)? (Limit is taken as deg f, where C : y 2 = f (x).) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
22 Main Tool over F q (t) Tate Module Aut T l (Jac C ) = Z 2g l David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
23 Main Tool over F q (t) Tate Module Gal Fq Aut T l (Jac C ) = Z 2g l David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
24 Main Tool over F q (t) Tate Module Frob Gal Fq Aut T l (Jac C ) = Z 2g l David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
25 Main Tool over F q (t) Tate Module - Frob Gal Fq Aut T l (Jac C ) = Z 2g l - coker (Frob Id) = Jac C (F q ) l = Pic 0 (C) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
26 Random Tate-modules F GL 2g (Z l ) (w/ Haar measure) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
27 Random Tate-modules F GL 2g (Z l ) (w/ Haar measure) Theorem (Friedman, Washington) P(coker F I = L) = C l # Aut L David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
28 Random Tate-modules F GL 2g (Z l ) (w/ Haar measure) Theorem (Friedman, Washington) Conjecture P(coker F I = L) = P(Pic 0 (C) = L) = C l # Aut L C l # Aut L David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
29 Progress In the limit (w/ upper and lower densities): Achter conjectures are true for GSp 2g instead of GL 2g. Ellenberg-Venkatesh conjectures are true if l q 1. Garton explicit conjectures for GSp 2g, l q 1. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
30 Cohen-Lenstra over F p (t), l = p Basic question what is P(p # Jac C (F p ))? David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
31 Cohen-Lenstra over F p (t), l = p T l (Jac C ) = Z r l, 0 r g David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
32 Cohen-Lenstra over F p (t), l = p Definition The p-rank of Jac C is the integer r. T l (Jac C ) = Z r l, 0 r g David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
33 Cohen-Lenstra over F p (t), l = p Definition The p-rank of Jac C is the integer r. Complication T l (Jac C ) = Z r l, 0 r g As C varies, r varies. Need to know the distribution of p-ranks, or find a better algebraic gadget than T l (Jac C ). David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
34 Dieudonné Modules Definition (i) D = Z q [F, V ]/(FV = VF = p, Fz = z σ F, Vz = z σ 1 V ). David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
35 Dieudonné Modules Definition (i) D = Z q [F, V ]/(FV = VF = p, Fz = z σ F, Vz = z σ 1 V ). (ii) A Dieudonné module is a D-module which is finite and free as a Z q module. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
36 Dieudonné Modules Definition (i) D = Z q [F, V ]/(FV = VF = p, Fz = z σ F, Vz = z σ 1 V ). (ii) A Dieudonné module is a D-module which is finite and free as a Z q module. Jac C David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
37 Dieudonné Modules Definition (i) D = Z q [F, V ]/(FV = VF = p, Fz = z σ F, Vz = z σ 1 V ). (ii) A Dieudonné module is a D-module which is finite and free as a Z q module. Jac C M = H 1 cris (Jac C, Z p ) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
38 Dieudonné Modules Definition (i) D = Z q [F, V ]/(FV = VF = p, Fz = z σ F, Vz = z σ 1 V ). (ii) A Dieudonné module is a D-module which is finite and free as a Z q module. Jac C M = H 1 cris (Jac C, Z p ) {Jac C [p n ]} n David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
39 Dieudonné Modules Definition (i) D = Z q [F, V ]/(FV = VF = p, Fz = z σ F, Vz = z σ 1 V ). (ii) A Dieudonné module is a D-module which is finite and free as a Z q module. Jac C M = H 1 cris (Jac C, Z p ) H 1 dr (Jac C, F p ) {Jac C [p n ]} n David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
40 Dieudonné Modules Definition (i) D = Z q [F, V ]/(FV = VF = p, Fz = z σ F, Vz = z σ 1 V ). (ii) A Dieudonné module is a D-module which is finite and free as a Z q module. Jac C M = H 1 cris (Jac C, Z p ) H 1 dr (Jac C, F p ) {Jac C [p n ]} n V 1 : df d(f p ) p David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
41 Invariants via Dieudonné Modules Invariants (i) p-rank(jac C ) = dim F (M F p ). (ii) a(jac C ) = dim Hom(α p, Jac C [p]) = dim (ker V ker F ). (iii) Jac C (F p ) p = coker(f Id) F (M F p). David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
42 Principally quasi polarized Dieudoneé modules Definition A principally quasi polarized Dieudoneé module a Dieudoneé module M together with a non-degenerate symplectic pairing, such that for all x, y M, Fx, y = σ x, Vy. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
43 Main Theorem Theorem (Cais, Ellenberg, ZB) (i) Mod pqp D has a natural probability measure. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
44 Main Theorem Theorem (Cais, Ellenberg, ZB) (i) Mod pqp D has a natural probability measure. (Push forward along Sp 2g (Z p ) 2 Sp 2g (Z p ) F 0 Sp 2g (Z p )) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
45 Main Theorem Theorem (Cais, Ellenberg, ZB) (i) Mod pqp D has a natural probability measure. (Push forward along Sp 2g (Z p ) 2 Sp 2g (Z p ) F 0 Sp 2g (Z p )) (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
46 Main Theorem Theorem (Cais, Ellenberg, ZB) (i) Mod pqp D has a natural probability measure. (Push forward along Sp 2g (Z p ) 2 Sp 2g (Z p ) F 0 Sp 2g (Z p )) (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. (iii) P(r(M) = g s) = complicated but explicit expression. i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
47 Main Theorem Theorem (Cais, Ellenberg, ZB) (i) Mod pqp D has a natural probability measure. (Push forward along Sp 2g (Z p ) 2 Sp 2g (Z p ) F 0 Sp 2g (Z p )) (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. (iii) P(r(M) = g s) = complicated but explicit expression. (iii ) P(r(M) = g 2) = (p 2 + p 3 ) i=1 ( 1 + p i ) 1 i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
48 Main Theorem Theorem (Cais, Ellenberg, ZB) (i) Mod pqp D has a natural probability measure. (Push forward along Sp 2g (Z p ) 2 Sp 2g (Z p ) F 0 Sp 2g (Z p )) (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. (iii) P(r(M) = g s) = complicated but explicit expression. (iii ) P(r(M) = g 2) = (p 2 + p 3 ) (iv) 1 st moment is 2. i=1 ( 1 + p i ) 1 i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
49 Main Theorem Theorem (Cais, Ellenberg, ZB) (i) Mod pqp D has a natural probability measure. (Push forward along Sp 2g (Z p ) 2 Sp 2g (Z p ) F 0 Sp 2g (Z p )) (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. (iii) P(r(M) = g s) = complicated but explicit expression. (iii ) P(r(M) = g 2) = (p 2 + p 3 ) (iv) 1 st moment is 2. i=1 ( 1 + p i ) 1 i=1 (v) P ( p # coker(f Id) F (M F p)) = Cp. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
50 Proofs Part (i) Mod pqp D has a natural probability measure. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
51 Proofs Part (i) Mod pqp D has a natural probability measure. 1 (D,,, F, V ) s.t., FV = VF = p and F ( ), = σ, V ( ). David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
52 Proofs Part (i) Mod pqp D has a natural probability measure. 1 (D,,, F, V ) s.t., FV = VF = p and F ( ), = σ, V ( ). 2 D = Z 2g q,, = 0 I I 0, F 0 = pi 0 0 I, V 0 = pf 1. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
53 Proofs Part (i) Mod pqp D has a natural probability measure. 1 (D,,, F, V ) s.t., FV = VF = p and F ( ), = σ, V ( ). 2 D = Z 2g q,, = 0 I I 0 Proposition, F 0 = pi 0 0 I, V 0 = pf 1. The double coset space Sp 2g (Z p ) F 0 Sp 2g (Z p ) contains all pqp Dieudoneé modules. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
54 Proofs Part (i) Mod pqp D has a natural probability measure. 1 (D,,, F, V ) s.t., FV = VF = p and F ( ), = σ, V ( ). 2 D = Z 2g q,, = 0 I I 0 Proposition, F 0 = pi 0 0 I, V 0 = pf 1. The double coset space Sp 2g (Z p ) F 0 Sp 2g (Z p ) contains all pqp Dieudoneé modules. Proof: Witt s theorem Sp 2g acts transitively on symplecto-bases. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
55 Proofs Part (i) Mod pqp D has a natural probability measure. 1 (D,,, F, V ) s.t., FV = VF = p and F ( ), = σ, V ( ). 2 D = Z 2g q,, = 0 I I 0 Proposition, F 0 = pi 0 0 I, V 0 = pf 1. The double coset space Sp 2g (Z p ) F 0 Sp 2g (Z p ) contains all pqp Dieudoneé modules. Proof: Witt s theorem Sp 2g acts transitively on symplecto-bases. Note: F Sp 2g (Z p ), but rather the subset of GSp 2g (Z p ) of multiplier p g matricies. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
56 Proofs Part (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
57 Proofs Part (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. 1 Duality implies that W 1 := ker(f F p ) and W 2 := ker(v F p ) are maximal isotropics. i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
58 Proofs Part (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. 1 Duality implies that W 1 := ker(f F p ) and W 2 := ker(v F p ) are maximal isotropics. 2 a(m) = dim (W 1 W 2 ) i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
59 Proofs Part (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. 1 Duality implies that W 1 := ker(f F p ) and W 2 := ker(v F p ) are maximal isotropics. 2 a(m) = dim (W 1 W 2 ) i=1 3 Argue that W 1 and W 2 are randomly distributed. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
60 Proofs Part (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. 1 Duality implies that W 1 := ker(f F p ) and W 2 := ker(v F p ) are maximal isotropics. 2 a(m) = dim (W 1 W 2 ) i=1 3 Argue that W 1 and W 2 are randomly distributed. 4 This expression is the probability that two random maximal isotropics intersect with dimension s. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
61 Proofs Part (ii) P(a(M) = s) = p (s+1 2 ) ( 1 + p i ) 1 i=1 s ( 1 p i ) 1. 1 Duality implies that W 1 := ker(f F p ) and W 2 := ker(v F p ) are maximal isotropics. 2 a(m) = dim (W 1 W 2 ) i=1 3 Argue that W 1 and W 2 are randomly distributed. 4 This expression is the probability that two random maximal isotropics intersect with dimension s. 5 Compute this with Witt s theorem (Sp 2g acts transitively on pairs of maximal isotropics whose intersection has dimension s), and compute explicitly the size of the stabilizers. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
62 Proofs Part (iii) P(r(M) = g s) = complicated but explicit expression. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
63 Proofs Part (iii) P(r(M) = g s) = complicated but explicit expression. 1 Recall: r(m) = dim F (M) = rank(f F p ) g. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
64 Proofs Part (iii) P(r(M) = g s) = complicated but explicit expression. 1 Recall: r(m) = dim F (M) = rank(f F p ) g. 2 (Prüfer, Crabb, others) The number of nilpotent N M n (F q ) is q n(n 1). Able to modify Crabb s argument: David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
65 Proofs Part (iii) P(r(M) = g s) = complicated but explicit expression. 1 Recall: r(m) = dim F (M) = rank(f F p ) g. 2 (Prüfer, Crabb, others) The number of nilpotent N M n (F q ) is q n(n 1). Able to modify Crabb s argument: 1 Given N nilpotent, get a flag V i := N i (V ). David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
66 Proofs Part (iii) P(r(M) = g s) = complicated but explicit expression. 1 Recall: r(m) = dim F (M) = rank(f F p ) g. 2 (Prüfer, Crabb, others) The number of nilpotent N M n (F q ) is q n(n 1). Able to modify Crabb s argument: 1 Given N nilpotent, get a flag V i := N i (V ). 2 There is a unique basis {y 1,..., y g } such that N(y g ) = 0 and V i = N i (y mi +1),..., N(y g 1 ) (where m i = g dim V i 1 ) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
67 Proofs Part (iii) P(r(M) = g s) = complicated but explicit expression. 1 Recall: r(m) = dim F (M) = rank(f F p ) g. 2 (Prüfer, Crabb, others) The number of nilpotent N M n (F q ) is q n(n 1). Able to modify Crabb s argument: 1 Given N nilpotent, get a flag V i := N i (V ). 2 There is a unique basis {y 1,..., y g } such that N(y g ) = 0 and V i = N i (y mi +1),..., N(y g 1 ) (where m i = g dim V i 1 ) 3 The map N (N(y 1 ),..., N(y g 1 )) V n 1 is bijective. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
68 Proofs Part (iv) 1 st moment is 2: Avg (#G(F p )[p]) = 2 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
69 Proofs Part (iv) 1 st moment is 2: Avg (#G(F p )[p]) = 2 1 First fix the p-corank. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
70 Proofs Part (iv) 1 st moment is 2: Avg (#G(F p )[p]) = 2 1 First fix the p-corank. 1 Associated p-divisible group decomposes as G = G m G et G ll. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
71 Proofs Part (iv) 1 st moment is 2: Avg (#G(F p )[p]) = 2 1 First fix the p-corank. 1 Associated p-divisible group decomposes as G = G m G et G ll. 2 Fixing the p-corank fixes the dimension of G ll David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
72 Proofs Part (iv) 1 st moment is 2: Avg (#G(F p )[p]) = 2 1 First fix the p-corank. 1 Associated p-divisible group decomposes as G = G m G et G ll. 2 Fixing the p-corank fixes the dimension of G ll 2 (Show that G random G et random.) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
73 Proofs Part (iv) 1 st moment is 2: Avg (#G(F p )[p]) = 2 1 First fix the p-corank. 1 Associated p-divisible group decomposes as G = G m G et G ll. 2 Fixing the p-corank fixes the dimension of G ll 2 (Show that G random G et random.) 3 G(F p ) = G et (F p ) = coker(f M et Id). David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
74 Proofs Part (iv) 1 st moment is 2: Avg (#G(F p )[p]) = 2 1 First fix the p-corank. 1 Associated p-divisible group decomposes as G = G m G et G ll. 2 Fixing the p-corank fixes the dimension of G ll 2 (Show that G random G et random.) 3 G(F p ) = G et (F p ) = coker(f M et Id). 4 F M et is random in GL g (Z p ). David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
75 Proofs Part (v) P ( p # coker(f Id) F (M F p)) = Cp. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
76 Proofs Part (v) P ( p # coker(f Id) F (M F p)) = Cp. Basically the same proof as the last part. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
77 Data, Moduli Spaces and Wild Speculation Question Does P(p # Jac C (F p )) = C p? David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
78 Data, Moduli Spaces and Wild Speculation Question Does P(p # Jac C (F p )) = C p? Data - C hyperelliptic, p 2 YES! David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
79 Data, Moduli Spaces and Wild Speculation Question Does P(p # Jac C (F p )) = C p? Data - C hyperelliptic, p 2 YES! - C plane curve, p 2 YES! David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
80 Data, Moduli Spaces and Wild Speculation Question Does P(p # Jac C (F p )) = C p? Data - C hyperelliptic, p 2 YES! - C plane curve, p 2 YES! - C plane curve, p = 2 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
81 Data, Moduli Spaces and Wild Speculation Question Does P(p # Jac C (F p )) = C p? Data - C hyperelliptic, p 2 YES! - C plane curve, p 2 YES! - C plane curve, p = 2 NO!?! David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
82 C plane curve, p = 2 Theorem (Cais, Ellenberg, ZB) P(2 # Jac C (F 2 )) = 0 for plane curves of odd degree. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
83 C plane curve, p = 2 Theorem (Cais, Ellenberg, ZB) P(2 # Jac C (F 2 )) = 0 for plane curves of odd degree. Proof theta characteristics. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
84 a-number data Does ( P(a(Jac C (F p )) = 0) = 1 + p i ) 1 i=1 ( = 1 p 2i+1 )? i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
85 a-number data Does P(a(Jac C (F p )) = 0) = Data - C hyperelliptic, p 2 = ( 1 + p i ) 1 i=1 ( 1 p 2i+1 )? i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
86 a-number data Does P(a(Jac C (F p )) = 0) = Data - C hyperelliptic, p 2 not quite. = ( 1 + p i ) 1 i=1 ( 1 p 2i+1 )? i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
87 a-number data Does P(a(Jac C (F p )) = 0) = Data - C hyperelliptic, p 2 not quite. = ( 1 + p i ) 1 i=1 ( 1 p 2i+1 )? P(a(Jac C (F p )) = 0) = (p = 3) i=1 David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
88 a-number data Does P(a(Jac C (F p )) = 0) = Data - C hyperelliptic, p 2 not quite. = ( 1 + p i ) 1 i=1 ( 1 p 2i+1 )? P(a(Jac C (F p )) = 0) = (p = 3) i=1 = (1 5 1 )(1 5 3 ) (p = 5) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
89 a-number data Does P(a(Jac C (F p )) = 0) = Data - C hyperelliptic, p 2 not quite. = ( 1 + p i ) 1 i=1 ( 1 p 2i+1 )? P(a(Jac C (F p )) = 0) = (p = 3) i=1 = (1 5 1 )(1 5 3 ) (p = 5) = (1 7 1 )(1 7 3 )(1 7 5 ) (p = 7) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
90 Rational points on Moduli Spaces #Hg - P(a(Jac Cf (F p )) = 0) = lim ord(fp) g #H g (F. p) David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
91 Rational points on Moduli Spaces #Hg - P(a(Jac Cf (F p )) = 0) = lim ord(fp) g #H g (F. p) - One can access this through cohomology and the Weil conjectures. David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
92 Rational points on Moduli Spaces #Hg - P(a(Jac Cf (F p )) = 0) = lim ord(fp) g #H g (F. p) - One can access this through cohomology and the Weil conjectures. - Our data suggests that Hg ord pulling back from H g. has cohomology that does not arise by David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
93 Rational points on Moduli Spaces #Hg - P(a(Jac Cf (F p )) = 0) = lim ord(fp) g #H g (F. p) - One can access this through cohomology and the Weil conjectures. - Our data suggests that Hg ord pulling back from H g. has cohomology that does not arise by - P(a(Jac C (F p )) = 0) = lim g #M ord g (F p) #M g (F p) =??? David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
94 Rational points on Moduli Spaces #Hg - P(a(Jac Cf (F p )) = 0) = lim ord(fp) g #H g (F. p) - One can access this through cohomology and the Weil conjectures. - Our data suggests that Hg ord pulling back from H g. has cohomology that does not arise by - P(a(Jac C (F p )) = 0) = lim g #M ord g (F p) #M g (F p) =??? #A - P(a(A(F p )) = 0) = lim ord g (Fp) g #A g (F p) =??? David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
95 Thank you Thank You! David Zureick-Brown (Emory University) Random Dieudonné Modules November 13, / 29
Families of Abelian Varieties with Big Monodromy
Families of Abelian Varieties with Big Monodromy David Zureick-Brown (Emory University) David Zywina (IAS) Slides available at http://www.mathcs.emory.edu/~dzb/slides/ 2013 Colorado AMS meeting Special
More informationGauss composition and integral arithmetic invariant theory
Gauss composition and integral arithmetic invariant theory David Zureick-Brown (Emory University) Anton Gerschenko (Google) Connections in Number Theory Fall Southeastern Sectional Meeting University of
More informationA CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF 1-EIGENSPACES IN MATRIX GROUPS
A CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF -EIGENSPACES IN MATRIX GROUPS MICHAEL ADAM AND GUNTER MALLE Abstract. We propose a modification to the Cohen Lenstra prediction for the distribution
More informationRational points on curves and tropical geometry.
Rational points on curves and tropical geometry. David Zureick-Brown (Emory University) Eric Katz (Waterloo University) Slides available at http://www.mathcs.emory.edu/~dzb/slides/ Specialization of Linear
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS
ON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS GUNTER MALLE Abstract. We propose a modification of the predictions of the Cohen Lenstra heuristic for class groups of number fields in the case where
More informationMA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26
MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is
More informationCOMPUTING QUADRATIC FUNCTION FIELDS WITH HIGH 3-RANK VIA CUBIC FIELD TABULATION
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 45, Number 6, 2015 COMPUTING QUADRATIC FUNCTION FIELDS WITH HIGH 3-RANK VIA CUBIC FIELD TABULATION P. ROZENHART, M.J. JACOBSON, JR. AND R. SCHEIDLER ABSTRACT.
More informationFourier Coefficients and Automorphic Discrete Spectrum of Classical Groups. Dihua Jiang University of Minnesota
Fourier Coefficients and Automorphic Discrete Spectrum of Classical Groups Dihua Jiang University of Minnesota KIAS, Seoul November 16, 2015 Square-Integrable Automorphic Forms G a reductive algebraic
More informationFrobenius Distributions
Frobenius Distributions Edgar Costa (MIT) September 11th, 2018 Massachusetts Institute of Technology Slides available at edgarcosta.org under Research Polynomials Write f p (x) := f(x) mod p f(x) = a n
More informationThe Sato-Tate conjecture for abelian varieties
The Sato-Tate conjecture for abelian varieties Andrew V. Sutherland Massachusetts Institute of Technology March 5, 2014 Mikio Sato John Tate Joint work with F. Fité, K.S. Kedlaya, and V. Rotger, and also
More informationarxiv: v1 [math.nt] 6 Jul 2011
UPPER BOUNDS FOR THE NUMBER OF NUMBER FIELDS WITH ALTERNATING GALOIS GROUP ERIC LARSON AND LARRY ROLEN arxiv:1107.118v1 [math.nt] 6 Jul 011 Abstract. We study the number N(n,A n,x) of number fields of
More informationARITHMETIC STATISTICS AND THE COHEN LENSTRA HEURISTICS TITLES AND ABSTRACTS
ARITHMETIC STATISTICS AND THE COHEN LENSTRA HEURISTICS TITLES AND ABSTRACTS Monday 27 June 10:30 12:00: Bjorn Poonen Introduction to the Cohen-Lenstra heuristics I will discuss the Cohen-Lenstra heuristics,
More informationArithmetic Statistics Lecture 3
Arithmetic Statistics Lecture 3 Álvaro Lozano-Robledo Department of Mathematics University of Connecticut May 28 th CTNT 2018 Connecticut Summer School in Number Theory PREVIOUSLY... We can define an action
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
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 informationModuli Spaces for Dynamical Systems Joseph H. Silverman
Moduli Spaces for Dynamical Systems Joseph H. Silverman Brown University CNTA Calgary Tuesday, June 21, 2016 0 Notation: We fix The Space of Rational Self-Maps of P n 1 Rational Maps on Projective Space
More informationSYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS
1 SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS HUAJUN HUANG AND HONGYU HE Abstract. Let G be the group preserving a nondegenerate sesquilinear form B on a vector space V, and H a symmetric subgroup
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More informationRandom pro-p groups, braid groups, and random tame Galois groups
Random pro-p groups, braid groups, and random tame Galois groups Nigel Boston and Jordan S. Ellenberg November 19, 2009 1 Introduction In this article we introduce a heuristic prediction for the distribution
More informationVariations on a Theme: Fields of Definition, Fields of Moduli, Automorphisms, and Twists
Variations on a Theme: Fields of Definition, Fields of Moduli, Automorphisms, and Twists Michelle Manes (mmanes@math.hawaii.edu) ICERM Workshop Moduli Spaces Associated to Dynamical Systems 17 April, 2012
More informationElliptic Curves over Finite Fields 1
Elliptic Curves over Finite Fields 1 B. Sury 1. Introduction Jacobi was the first person to suggest (in 1835) using the group law on a cubic curve E. The chord-tangent method does give rise to a group
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 informationMaximal finite subgroups of Sp(2n, Q)
Maximal finite subgroups of Sp(2n, Q) Markus Kirschmer RWTH Aachen University Groups, Rings and Group-Rings July 12, 2011 Goal Characterization Goal: Classify all conjugacy classes of maximal finite symplectic
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
More informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More informationIsogeny invariance of the BSD formula
Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 45
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 45 RAVI VAKIL CONTENTS 1. Hyperelliptic curves 1 2. Curves of genus 3 3 1. HYPERELLIPTIC CURVES A curve C of genus at least 2 is hyperelliptic if it admits a degree
More informationSuperspecial curves of genus 4 in small charactersitic 8/5/2016 1
Superspecial curves of genus 4 in small charactersitic Mom onar i Kudo Graduate S chool of Mathemati c s, Ky ushu University, JAPAN 5 th August, @The University of Kaiserslautern, GERMANY This is a joint
More information0 A. ... A j GL nj (F q ), 1 j r
CHAPTER 4 Representations of finite groups of Lie type Let F q be a finite field of order q and characteristic p. Let G be a finite group of Lie type, that is, G is the F q -rational points of a connected
More informationHurwitz Number Fields David P. Roberts, U. of Minnesota, Morris Akshay Venkatesh, Stanford University
Hurwitz Number Fields David P. Roberts, U. of innesota, orris Akshay Venkatesh, Stanford University Notation: NF m (P) is the set of isomorphism classes of degree m number fields ramified only within P
More informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
More informationThe Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January
The Birch & Swinnerton-Dyer conjecture Karl Rubin MSRI, January 18 2006 Outline Statement of the conjectures Definitions Results Methods Birch & Swinnerton-Dyer conjecture Suppose that A is an abelian
More information1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3
Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces
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 informationp-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007
p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:
More informationA remark on the arithmetic invariant theory of hyperelliptic curves
A remark on the arithmetic invariant theory of hyperelliptic curves Jack A. Thorne October 10, 2014 Abstract Let C be a hyperelliptic curve over a field k of characteristic 0, and let P C(k) be a marked
More informationGEOMETRIC CLASS FIELD THEORY I
GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically
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 information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationOn Cuspidal Spectrum of Classical Groups
On Cuspidal Spectrum of Classical Groups Dihua Jiang University of Minnesota Simons Symposia on Geometric Aspects of the Trace Formula April 10-16, 2016 Square-Integrable Automorphic Forms G a reductive
More informationFast arithmetic and pairing evaluation on genus 2 curves
Fast arithmetic and pairing evaluation on genus 2 curves David Freeman University of California, Berkeley dfreeman@math.berkeley.edu November 6, 2005 Abstract We present two algorithms for fast arithmetic
More informationIndependence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen)
Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Brown University Cambridge University Number Theory Seminar Thursday, February 22, 2007 0 Modular Curves and Heegner Points
More informationInvariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects
Invariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects R. Lercier, C. Ritzenthaler IML - CNRS (Marseille) Luminy, October 2011 Ritzenthaler (IML) Invariants Luminy, October
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationERIC LARSON AND LARRY ROLEN
PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant
More informationAlgebraic topology and algebraic number theory
Graduate Student Topology & Geometry Conference http://math.berkeley.edu/ ericp/latex/talks/austin-2014.pdf April 5, 2014 Formal groups In this talk, p is an odd prime and k is a finite field, char k =
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationAlgebraic geometry over quaternions
Algebraic geometry over quaternions Misha Verbitsky November 26, 2007 Durham University 1 History of algebraic geometry. 1. XIX centrury: Riemann, Klein, Poincaré. Study of elliptic integrals and elliptic
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 informationBirational geometry and arithmetic. July 2012
Birational geometry and arithmetic July 2012 Basic questions Let F be a field and X a smooth projective algebraic variety over F. Introduction Basic questions Let F be a field and X a smooth projective
More informationSelmer Groups and Galois Representations
Selmer Groups and Galois Representations Edray Herber Goins July 31, 2016 2 Contents 1 Galois Cohomology 7 1.1 Notation........................................... 8 2 Galois Groups as Topological Spaces
More informationArithmetic applications of Prym varieties in low genus. Nils Bruin (Simon Fraser University), Tübingen, September 28, 2018
Arithmetic applications of Prym varieties in low genus Nils Bruin (Simon Fraser University), Tübingen, September 28, 2018 Background: classifying rational point sets of curves Typical arithmetic geometry
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
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 informationSubrings of Finite Commutative Rings
Subrings of Finite Commutative Rings Francisco Franco Munoz arxiv:1712.02025v1 [math.ac] 6 Dec 2017 Abstract We record some basic results on subrings of finite commutative rings. Among them we establish
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 informationMODELING THE DISTRIBUTION OF RANKS, SELMER GROUPS, AND SHAFAREVICH TATE GROUPS OF ELLIPTIC CURVES
MODELING THE DISTRIBUTION OF RANKS, SELMER GROUPS, AND SHAFAREVICH TATE GROUPS OF ELLIPTIC CURVES MANJUL BHARGAVA, DANIEL M. KANE, HENDRIK W. LENSTRA JR., BJORN POONEN, AND ERIC RAINS Abstract. Using maximal
More informationTheta Characteristics Jim Stankewicz
Theta Characteristics Jim Stankewicz 1 Preliminaries Here X will denote a smooth curve of genus g (that is, isomorphic to its own Riemann Surface). Rather than constantly talking about linear equivalence
More informationEquidistributions in arithmetic geometry
Equidistributions in arithmetic geometry Edgar Costa Dartmouth College 14th January 2016 Dartmouth College 1 / 29 Edgar Costa Equidistributions in arithmetic geometry Motivation: Randomness Principle Rigidity/Randomness
More informationDiscussion Session on p-divisible Groups
Discussion Session on p-divisible Groups Notes by Tony Feng April 7, 2016 These are notes from a discussion session of p-divisible groups. Some questions were posed by Dennis Gaitsgory, and then their
More informationRepresentations. 1 Basic definitions
Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then
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 informationMASS FORMULA FOR SUPERSINGULAR ABELIAN SURFACES
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
More informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized
More informationSegre classes of tautological bundles on Hilbert schemes of surfaces
Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande
More informationNOTES ON DIVISORS AND RIEMANN-ROCH
NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as
More informationModern Number Theory: Rank of Elliptic Curves
Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation
More informationMATRICES. JORDAN S. ELLENBERG, SONAL JAIN, AKSHAY VENKATESH
MODELLING λ-invariants BY p-adic RANDOM MATRICES. JORDAN S. ELLENBERG, SONAL JAIN, AKSHAY VENKATESH Abstract. How often is the p-adic λ-invariant of an imaginary quadratic field equal to m? We model this
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 informationBulletin of the Iranian Mathematical Society
ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:
More informationAbelian varieties. Chapter Elliptic curves
Chapter 3 Abelian varieties 3.1 Elliptic curves An elliptic curve is a curve of genus one with a distinguished point 0. Topologically it is looks like a torus. A basic example is given as follows. A subgroup
More informationHyperelliptic curves
1/40 Hyperelliptic curves Pierrick Gaudry Caramel LORIA CNRS, Université de Lorraine, Inria ECC Summer School 2013, Leuven 2/40 Plan What? Why? Group law: the Jacobian Cardinalities, torsion Hyperelliptic
More informationTautological Algebras of Moduli Spaces - survey and prospect -
Tautological Algebras of Moduli Spaces - survey and prospect - Shigeyuki MORITA based on jw/w Takuya SAKASAI and Masaaki SUZUKI May 25, 2015 Contents Contents 1 Tautological algebras of moduli spaces G
More informationCool theorems proved by undergraduates
Cool theorems proved by undergraduates Ken Ono Emory University Child s play... Child s play... Thanks to the, Child s play... Thanks to the, undergrads and I play by... Child s play... Thanks to the,
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Application of cohomology: Hilbert polynomials and functions, Riemann- Roch, degrees, and arithmetic genus 1 1. APPLICATION OF COHOMOLOGY:
More informationMaterial covered: Class numbers of quadratic fields, Valuations, Completions of fields.
ALGEBRAIC NUMBER THEORY LECTURE 6 NOTES Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. 1. Ideal class groups of quadratic fields These are the ideal class groups
More informationTwo subgroups and semi-direct products
Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More informationImaginary Quadratic Fields With Isomorphic Abelian Galois Groups
Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute
More informationComputing L-series of geometrically hyperelliptic curves of genus three. David Harvey, Maike Massierer, Andrew V. Sutherland
Computing L-series of geometrically hyperelliptic curves of genus three David Harvey, Maike Massierer, Andrew V. Sutherland The zeta function Let C/Q be a smooth projective curve of genus 3 p be a prime
More informationOn embedding all n-manifolds into a single (n + 1)-manifold
On embedding all n-manifolds into a single (n + 1)-manifold Jiangang Yao, UC Berkeley The Forth East Asian School of Knots and Related Topics Joint work with Fan Ding & Shicheng Wang 2008-01-23 Problem
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More information6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.
6 Orthogonal groups We now turn to the orthogonal groups. These are more difficult, for two related reasons. First, it is not always true that the group of isometries with determinant 1 is equal to its
More informationON THE COMPUTATION OF THE PICARD GROUP FOR K3 SURFACES
ON THE COMPUTATION OF THE PICARD GROUP FOR K3 SURFACES BY ANDREAS-STEPHAN ELSENHANS (BAYREUTH) AND JÖRG JAHNEL (SIEGEN) 1. Introduction 1.1. In this note, we will present a method to construct examples
More informationHecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton
Hecke Operators for Arithmetic Groups via Cell Complexes 1 Hecke Operators for Arithmetic Groups via Cell Complexes Mark McConnell Center for Communications Research, Princeton Hecke Operators for Arithmetic
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationA POSITIVE PROPORTION OF THUE EQUATIONS FAIL THE INTEGRAL HASSE PRINCIPLE
A POSITIVE PROPORTION OF THUE EQUATIONS FAIL THE INTEGRAL HASSE PRINCIPLE SHABNAM AKHTARI AND MANJUL BHARGAVA Abstract. For any nonzero h Z, we prove that a positive proportion of integral binary cubic
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationTorsion subgroups of rational elliptic curves over the compositum of all cubic fields
Torsion subgroups of rational elliptic curves over the compositum of all cubic fields Andrew V. Sutherland Massachusetts Institute of Technology April 7, 2016 joint work with Harris B. Daniels, Álvaro
More informationDIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES
DIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES MATTIA TALPO Abstract. Tropical geometry is a relatively new branch of algebraic geometry, that aims to prove facts about algebraic varieties by studying
More informationDirichlet Series Associated with Cubic and Quartic Fields
Dirichlet Series Associated with Cubic and Quartic Fields Henri Cohen, Frank Thorne Institut de Mathématiques de Bordeaux October 23, 2012, Bordeaux 1 Introduction I Number fields will always be considered
More informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
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 information