Diophantine geometry and non-abelian duality
|
|
- Kerry Jenkins
- 5 years ago
- Views:
Transcription
1 Diophantine geometry and non-abelian duality Minhyong Kim Leiden, May, 2011
2 Diophantine geometry and abelian duality E: elliptic curve over a number field F. Kummer theory: E(F) Z p H 1 f (G,T p(e)) conjectured to be an isomorphism. Should allow us, in principle, to compute E(F). Furthermore, size of H 1 f (G,T p(e)) should be controlled by an L-function.
3 Diophantine geometry and abelian duality In the theorem L(E/Q,1) 0 E(Q) <, key point is that the image of loc p : Hf 1 (G,T p(e)) Hf 1 (G p,t p (E)) is annihilated using Poitou-Tate duality by a class c H 1 (G,T p (E)) whose image in H 1 (G p,t p (E))/Hf 1 (G p,t p (E)) is non-torsion.
4 Diophantine geometry and abelian duality An explicit local reciprocity law then translates this into an analytic function on E(Q p ) that annihilates E(Q). Exp : H 1 (G p,t p (E)) F 1 H 1 DR (E/Q p); c L(E,1) Ω(E) α where α is an invariant differential form on E.
5 Diophantine geometry and abelian duality E(Q) E(Q p ) L(E,1) Ω(E) ( ) 0 α H 1 f (G,T p(e)) H 1 f (G p,t p (E)) c Q p
6 Non-abelian analogue? Wish to investigate an extension of this phenomenon to hyperbolic curves. That is, curves of -genus zero minus at least three points; -genus one minus at least one point; -genus at least two.
7 Notation F: Number field. S 0 : finite set of primes of F. R := O F [1/S 0 ], the ring of S integers in F. p: odd prime not divisible by primes in S 0 ; v: a prime of F above p with F v = Q p.. G := Gal( F/F); G v = Gal( F v /F v ). G S := Gal(F S /F), where F S is the maximal extension of F unramified outside S = S 0 {v p}. X: smooth curve over Spec(R) with good compactification. (Might be compact itself.) X: generic fiber of X, assumed to be hyperbolic. b X(R), possibly tangential.
8 Grothendieck s section conjecture Suppose X is compact. Then the map ĵ : X(R) H 1 (G,ˆπ 1 ( X,b)); x [ˆπ 1 ( X;b,x)] is a bijection.
9 Unipotent descent tower X(R).. H 1 f (G,U 4) j 4 j 3 j 1 j 2 Hf 1 (G,U 3) Hf 1 (G,U 2) Hf 1 (G,U 1)
10 Unipotent descent tower U = ˆπ 1 ( X,b) Q p, is the Q p -pro-unipotent étale fundamental group of X = X Spec(F) Spec( F) with base-point b. The universal pro-unipotent pro-algebraic group over Q p equipped with a map from ˆπ 1 ( X,b).
11 Unipotent descent tower U = ˆπ 1 ( X,b) Q p, is the Q p -pro-unipotent étale fundamental group of X = X Spec(F) Spec( F) with base-point b. The universal pro-unipotent pro-algebraic group over Q p equipped with a map from ˆπ 1 ( X,b). The map j : x X(R) [P(x)] H 1 f (G,U), associates to a point x, the U-torsor P(x) := ˆπ 1 ( X;b,x) ˆπ1 ( X,b) U of Q p -unipotent étale paths from b to x.
12 Unipotent descent tower U n := U n+1 \U, where U n is the lower central series with U 1 = U. So U 1 = U ab = T p J X Q p.
13 Unipotent descent tower U n := U n+1 \U, where U n is the lower central series with U 1 = U. So U 1 = U ab = T p J X Q p. All these objects have natural actions of G so that P(x) defines a class in H 1 f (G,U), the continuous non-abelian cohomology of G with coefficients in U satisfying local Selmer conditions, the Selmer variety of X, which must be controlled in order to control the points of X.
14 Algebraic localization X(R) X(R v ) j j v Hf 1 (G,U locv n) Hf 1 (G v,u n )
15 Algebraic localization X(R) X(R v ) j j v Hf 1 (G,U locv n) Hf 1 (G v,u n ) Goal: Compute the image of loc v.
16 Algebraic localization One essential fact is that the local map X(R v ) j v H 1 f (G v,u n ) can be computed via a diagram X(R v ) j v Hf 1 (G v,u n ) j DR U DR n /F 0 A N where U DR n /F 0 is a homogeneous space for the De Rham-crystalline fundamental group, and the map j DR can be described explicitly using p-adic iterated integrals.
17 Non-abelian method of Chabauty Meanwhile, the localization map is an algebraic map of varieties over Q p making it feasible, in principle, to discuss its computation.
18 Non-abelian method of Chabauty Meanwhile, the localization map is an algebraic map of varieties over Q p making it feasible, in principle, to discuss its computation. Knowledge of will lead to knowledge of Im(loc v ) H 1 f (G v,u n ) X(R) [j v ] 1 (Im(loc v )) X(R v ). For example, when Im(loc v ) is not Zariski dense, immediately deduce finiteness of X(R).
19 Non-abelian method of Chabauty This deduction is captured by the diagram X(R) X(R v ) such that ψ j et v j et v Hf 1 (G,U locv n) Hf 1 (G v,u n ) kills X(R). ψ 0 Q p
20 Non-abelian method of Chabauty Can use this to give a new proof of finiteness of points in some cases: F = Q and the Jacobian of X has potential CM. (joint with John Coates) F = Q and X, elliptic curve minus one point. F totally real and X of genus zero.
21 Non-abelian method of Chabauty Can use this to give a new proof of finiteness of points in some cases: F = Q and the Jacobian of X has potential CM. (joint with John Coates) F = Q and X, elliptic curve minus one point. F totally real and X of genus zero. In each of these cases, non-vanishing of a p-adic L-function seems to play a key role.
22 Non-abelian method of Chabauty By analogy with the abelian case: Non-vanishing of L-function control of Selmer group finiteness of points;
23 Non-abelian method of Chabauty By analogy with the abelian case: Non-vanishing of L-function control of Selmer group finiteness of points; one has Non-vanishing of L-function control of Selmer variety finiteness of points.
24 Non-abelian method of Chabauty By analogy with the abelian case: Non-vanishing of L-function control of Selmer group finiteness of points; one has Non-vanishing of L-function control of Selmer variety finiteness of points. But would like to construct ψ in some canonical fashion.
25 Motivation: Effective computation of points? The goal is to find an effectively compute m(x,v) such that min{d v (x,y) x y X(R) X(R v )} > m(x,v).
26 Motivation: Effective computation of points? The goal is to find an effectively compute m(x,v) such that min{d v (x,y) x y X(R) X(R v )} > m(x,v). Key point: Computation of m(x,v) + section conjecture computation of X(R).
27 Motivation: Effective computation of points? The goal is to find an effectively compute m(x,v) such that min{d v (x,y) x y X(R) X(R v )} > m(x,v). Key point: Computation of m(x,v) + section conjecture computation of X(R). Remark: Section conjecture can also be used to effectively determine the existence of a point (A. Pal, M. Stoll).
28 Non-abelian duality?
29 Non-abelian duality? Hope that Im(loc v ) might be computed using a sort of non-abelian Poitou-Tate duality.
30 Non-abelian duality? Hope that Im(loc v ) might be computed using a sort of non-abelian Poitou-Tate duality. In the abelian case, we know that Poitou-Tate duality is the basic tool for computing the global image inside local cohomology:
31 Non-abelian duality? Hope that Im(loc v ) might be computed using a sort of non-abelian Poitou-Tate duality. In the abelian case, we know that Poitou-Tate duality is the basic tool for computing the global image inside local cohomology: Say c H 1 (G,V (1)) has local component c w = 0 for all w v and c v 0. Then Im(H 1 (G,V)) H 1 (G v,v) lies in the hyperplane ( ) c v = 0. Would like a non-abelian analogue.
32 Non-abelian duality? Hope that Im(loc v ) might be computed using a sort of non-abelian Poitou-Tate duality. In the abelian case, we know that Poitou-Tate duality is the basic tool for computing the global image inside local cohomology: Say c H 1 (G,V (1)) has local component c w = 0 for all w v and c v 0. Then Im(H 1 (G,V)) H 1 (G v,v) lies in the hyperplane ( ) c v = 0. Would like a non-abelian analogue. Difficulty is that duality for Galois cohomology with coefficients in various non-abelian groups can be interpreted as a sort of non-abelian class field theory.
33 Non-abelian duality: example E/Q: elliptic curve with ranke(q) = 1, trivial Tamagawa numbers, and X(E)[p ] < for a prime p of good reduction. X =: E \{0} given as a minimal Weierstrass model: y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6. So X(Z) E(Z) = E(Q).
34 Non-abelian duality: example Let α = dx/(2y + a 1 x + a 3 ), β = xdx/(2y + a 1 x + a 3 ). Get analytic functions on X(Q p ), log α (z) = z b D 2 (z) = α; log β (z) = z b αβ. Here, b is a tangential base-point at 0, and the integral is (iterated) Coleman integration. Locally, the integrals are just anti-derivatives of the forms, while for the iteration, z dd 2 = ( β)α. b z b β;
35 Non-abelian duality: example Theorem Suppose there is a point y X(Z) of infinite order in E(Q). Then the subset X(Z) X(Z p ) lies in the zero set of the analytic function ψ(z) := D 2 (z) D 2(y) ( y b α)2( z b α) 2.
36 Non-abelian duality: example Theorem Suppose there is a point y X(Z) of infinite order in E(Q). Then the subset X(Z) X(Z p ) lies in the zero set of the analytic function ψ(z) := D 2 (z) D 2(y) ( y b α)2( z b α) 2. A fragment of non-abelian duality and explicit reciprocity.
37 Non-abelian duality: example Function ψ is actually a composition X(Z p ) H 1 f (G p,u 2 ) φ Q p U2 DR /F 0 where φ is constructed using secondary cohomology products and has the property that ψ φ(loc p (H 1 f (G,U 2))) = 0.
38 Non-abelian duality: example X(Z) H 1 f (G,U 2) X(Z p ) Hf 1 (G p,u 2 ) φ Q p U2 DR /F 0 ψ
39 Non-abelian duality: example U 2 V Q p (1) where V = T p (E) Q p, with group law (X,a)(Y,b) = (X + Y,a+b+(1/2) < X,Y >). A function a = (a 1,a 2 ) : G p U 2 is a cocycle if and only if da 1 = 0; da 2 = (1/2)[a 1,a 1 ].
40 Non-abelian duality: example For a = (a 1,a 2 ) H 1 f (G p,u 2 ), we define φ(a 1,a 2 ) := [b,a 1 ]+logχ p ( 2a 2 ) H 2 (G p,q p (1)) Q p,
41 Non-abelian duality: example For a = (a 1,a 2 ) H 1 f (G p,u 2 ), we define φ(a 1,a 2 ) := [b,a 1 ]+logχ p ( 2a 2 ) H 2 (G p,q p (1)) Q p, where logχ p : G p Q p is the logarithm of the p-adic cyclotomic character and b : G V is a solution to the equation db = logχ p a 1.
42 Non-abelian duality: example The annihilation comes from the standard exact sequence 0 H 2 (G,Q p (1)) v H 2 (G v,q p (1)) Q p 0. That is, our assumptions imply that the class [π 1 ( X;b,x)] 2 for x X(Z) is trivial at all places l p. On the other hand φ(loc p ([π 1 ( X;b,x)] 2 )) = loc p (φ glob ([π 1 ( X;b,x)] 2 )).
43 Non-abelian duality: example With respect to the coordinates the image H 1 f (G p,u 2 ) U DR 2 /F 0 A 2 = {(s,t)} is described by the equation loc p (H 1 f (G,U 2)) H 1 f (G p,u 2 ) t D 2(y) ( y b α)2 s2 = 0.
44 Non-abelian duality: abstract framework Let L = n N L n be graded Lie algebra over field k. The map D : L L such that D L n = n is a derivation, i.e., an element of H 1 (L,L). Can be viewed as an element of H 2 (L L,k), that is, a central extension of L L: 0 k E L L 0.
45 Non-abelian duality: abstract framework Explicitly described as follows: [(a,α,x),(b,β,y)] = (α(d(y)) β(d(x)),ad X (β) ad Y (α),[x,y]). When L = L 1 and D = I, then this gives a standard Heisenberg extension.
46 Non-abelian duality: abstract framework Explicitly described as follows: [(a,α,x),(b,β,y)] = (α(d(y)) β(d(x)),ad X (β) ad Y (α),[x,y]). When L = L 1 and D = I, then this gives a standard Heisenberg extension. When k = Q p and we are given an action of G or G v, can twist to 0 Q p (1) E L (1) L 0. Also have a corresponding group extension (L = Lie(U)) 0 Q p (1) E L (1) U 0.
47 Non-abelian duality: abstract framework From this, we get a boundary map H 1 (G v,l (1) U) δ H 2 (G v,q p (1)) Q p. This boundary map should form the basis of (unipotent) non-abelian duality.
48 Non-abelian duality: abstract framework From this, we get a boundary map H 1 (G v,l (1) U) δ H 2 (G v,q p (1)) Q p. This boundary map should form the basis of (unipotent) non-abelian duality. H 1 (G v,l (1)) H 1 (G v,l (1) U) δ Q p H 1 (G v,u)
49 Non-abelian duality: difficulties 1. How to get functions on H 1 f (G v,u)?
50 Non-abelian duality: difficulties 1. How to get functions on H 1 f (G v,u)? 2. When U is a unipotent fundamental group, L is not graded in way that s compatible with the Galois action.
51 Non-abelian duality: weighted completions This second difficulty is partially resolved by Hain s theory of weights completions.
52 Non-abelian duality: weighted completions This second difficulty is partially resolved by Hain s theory of weights completions. Let R be the Zariski closure of the image of G S Aut(H 1 ( X,Q p )).
53 Non-abelian duality: weighted completions This second difficulty is partially resolved by Hain s theory of weights completions. Let R be the Zariski closure of the image of G S Aut(H 1 ( X,Q p )). Then R contains the center G m of Aut(H 1 ( X,Q p )).
54 Non-abelian duality: weighted completions Consider the universal pro-algebraic extension 0 T G S R 0 equipped with a lift G S G S R such that T is pro-unipotent and the action of G m on H 1 (T) has negative weights.
55 Non-abelian duality: weighted completions Then H 1 (G S,U) H 1 (G S,U). Easy to see by comparing the splittings of the two rows in 1 U U G S G S 1 = 1 U U G S G S 1
56 Non-abelian duality: weighted completions Furthermore, the exact sequence 0 T G S R 0 splits to give R G S that maps isomorphically to R, and G S T R. In particular, there is a lifted one-parameter subgroup G m G S, which gives a grading on all G S modules. (Actually, the G m -lifting determines R.)
57 Non-abelian duality: weighted completions Corollary Let N = LieT. The lifting G m G S determines a grading on [N (1) L (1)] L N.
58 Non-abelian duality: weighted completions Corollary Let N = LieT. The lifting G m G S determines a grading on [N (1) L (1)] L N. One can use this to construct, in turn, central extensions of [N (1) L (1)] L N;
59 Non-abelian duality: weighted completions Corollary Let N = LieT. The lifting G m G S determines a grading on [N (1) L (1)] L N. One can use this to construct, in turn, central extensions of [N (1) L (1)] L N; [N (1) L (1)] U T;
60 Non-abelian duality: weighted completions Corollary Let N = LieT. The lifting G m G S determines a grading on [N (1) L (1)] L N. One can use this to construct, in turn, central extensions of [N (1) L (1)] L N; and [N (1) L (1)] U T; [N (1) L (1)] U G S ;
61 Non-abelian duality: weighted completions Corollary Let N = LieT. The lifting G m G S determines a grading on [N (1) L (1)] L N. One can use this to construct, in turn, central extensions of [N (1) L (1)] L N; and [N (1) L (1)] U T; [N (1) L (1)] U G S ; which can then be pulled back to [N (1) L (1)] U G S.
62 Non-abelian duality: weighted completions Proposition The G m lift determines a central extension 0 Q p (1) E [N (1) L (1)] U G S 0 giving rise to a boundary map H 1 (G S,[N (1) L (1)] U) H 2 (G S,Q p (1)).
63 Non-abelian duality: weighted completions The central extension can be pulled back to each G w for w S, to give boundary maps H 1 (G w,n (1) L (1)) H 1 (G w,[n (1) L (1)] U) δw Q p H 1 (G w,u)
64 Non-abelian duality: remarks 1. Applying the constructions to the finite level quotients, we get maps and H 1 (G w,[n n(1) L n(1)] U n ) δw,n Q p H 1 (G S,[N n(1) L n(1)] U n ) δ n H 2 (G S,Q p (1)).
65 Non-abelian duality: remarks 1. Applying the constructions to the finite level quotients, we get maps and H 1 (G w,[n n(1) L n(1)] U n ) δw,n Q p H 1 (G S,[N n(1) L n(1)] U n ) δ n H 2 (G S,Q p (1)). 2. These maps are compatible in the following sense: δ n restricted to H 1 (G S,[N n 1 (1) L n 1 (1)] U n) is the composition H 1 (G S,[N n 1 (1) L n 1 (1)] U n) H 1 (G S,[N n 1 (1) L n 1 (1)] U n 1) δ n 1 H 2 (G S,Q p (1)); and the same for the local versions.
66 Non-abelian duality: remarks H 1 (G w,[nn 1 (1) L n 1 (1)] U n) H 1 (G w,[nn(1) L n(1)] U n ) H 1 (G w,[nn 1 (1) L n 1 (1)] U n 1) Q p
67 Non-abelian duality: remarks 3. These boundary maps are quite non-trivial. For example, considering the central subgroup when the boundary map on is restricted to L n n = Un n := Un+1 \U n U n, H 1 (G w,[n n(1) L n(1)] U n ) H 1 (G w,[n n (1) L n (1)] Ln n ),
68 Non-abelian duality: remarks 3. These boundary maps are quite non-trivial. For example, considering the central subgroup when the boundary map on is restricted to L n n = Un n := Un+1 \U n U n, H 1 (G w,[n n(1) L n(1)] U n ) H 1 (G w,[n n (1) L n (1)] Ln n ), then it factors through H 1 (G w,n n (1) (Ln n ) (1) L n n ).
69 Non-abelian duality: remarks On the subspace H 1 (G w,(l n n ) (1) L n n ) H1 (G w,n n (1) (Ln n ) (1) L n n ), the induced map is usual Tate duality multiplied by n.
70 Non-abelian duality: remarks On the subspace H 1 (G w,(l n n ) (1) L n n ) H1 (G w,n n (1) (Ln n ) (1) L n n ), the induced map is usual Tate duality multiplied by n. H 1 (G w,(l n n ) (1) L n n ) H 1 (G w,[nn (1) L n (1)] Ln n ) H 1 (G w,nn (1) (Ln n ) (1) L n n ) H 1 (G w,[nn (1) L n (1)] U n) δ w,n Q p
71 Non-abelian duality: a reciprocity law Theorem The image of in is annihilated by H 1 (G S,[N n(1) L n(1)] U n ) H 1 (G w,[nn (1) L n (1)] U n) w S δ w. w
Galois Theory and Diophantine geometry ±11
Galois Theory and Diophantine geometry ±11 Minhyong Kim Bordeaux, January, 2010 1 1. Some Examples 1.1 A Diophantine finiteness theorem: Let a, b, c, n Z and n 4. Then the equation ax n + by n = c has
More informationDiophantine Geometry and Non-Abelian Reciprocity Laws
Diophantine Geometry and Non-Abelian Reciprocity Laws Minhyong Kim Oxford, July, 2014 Diophantine Geometry: Abelian Case The Hasse-Minkowski theorem says that ax 2 + by 2 = c has a solution in a number
More informationA non-abelian conjecture of Birch and Swinnerton-Dyer type
A non-abelian conjecture of Birch and Swinnerton-Dyer type Minhyong Kim Bordeaux, July, 2012 Dedicated to Martin Taylor on the occasion of his 60th birthday. Diophantine geometry: general remarks Diophantine
More informationFundamental groups, polylogarithms, and Diophantine
Fundamental groups, polylogarithms, and Diophantine geometry 1 X: smooth variety over Q. So X defined by equations with rational coefficients. Topology Arithmetic of X Geometry 3 Serious aspects of the
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 informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
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 informationp-adic structure of integral points Oberseminar Bielefeld Hannover Paderborn
p-adic structure of integral points Oberseminar Bielefeld Hannover Paderborn Summer 2011 Introduction Over the course of the last decade or so, Minhyong Kim has developed a new approach to proving Diophantine
More informationON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS
Hoshi, Y. Osaka J. Math. 52 (205), 647 675 ON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS YUICHIRO HOSHI (Received May 28, 203, revised March
More informationMotivic Periods, Coleman Functions, and Diophantine Equations
Motivic Periods, Coleman Functions, and Diophantine Equations An Ongoing Project D. 1 1 MIT April 10, 2018 Motivic Periods, Coleman Functions, and Diophantine Equations April 10, 2018 1 / 15 Motivation:
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 informationMixed Motives Associated to Classical Modular Forms
Mixed Motives Associated to Classical Modular Forms Duke University July 27, 2015 Overview This talk concerns mixed motives associated to classical modular forms. Overview This talk concerns mixed motives
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 informationFROM CHABAUTY S METHOD TO KIM S NON-ABELIAN CHABAUTY S METHOD
FROM CHABAUTY S METHOD TO KIM S NON-ABELIAN CHABAUTY S METHOD DAVID CORWIN Contents Notation 2 1. Classical Chabauty-Coleman-Skolem 2 1.1. Chabauty s Method 2 1.2. Non-Proper Curves and Siegel s Theorem
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 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 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 informationTHE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE
THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE TONY FENG Abstract. There is a canonical pairing on the Brauer group of a surface over a finite field, and an old conjecture of Tate predicts that
More informationReciprocity maps with restricted ramification
Reciprocity maps with restricted ramification Romyar Sharifi UCLA January 6, 2016 1 / 19 Iwasawa theory for modular forms Let be an p odd prime and f a newform of level N. Suppose that f is ordinary at
More informationClass groups and Galois representations
and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the
More informationAWS 2018, Problem Session (Algebraic aspects of Iwasawa theory)
AWS 2018, Problem Session (Algebraic aspects of Iwasawa theory) Kâzım Büyükboduk March 3-7, 2018 Contents 1 Commutative Algebra 1 2 Classical Iwasawa Theory (of Tate motives) 2 3 Galois cohomology and
More informationgφ(m) = ω l (g)φ(g 1 m)) where ω l : Γ F l
Global Riemann-Roch formulas Let K be a number field, Γ = Gal( K/K), M a finite Γ-module of exponent m; ie mm = (0) If S is a finite set of places of K we let Γ S = Gal(K S /K), where K S is the union
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
More informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
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 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 informationPeter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.
p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem
More informationHanoi lectures on the arithmetic of hyperelliptic curves
Hanoi lectures on the arithmetic of hyperelliptic curves Benedict H. Gross October, 01 1 Introduction Manjul Bhargava and I have recently proved a result on the average order of the -Selmer groups of the
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationThe average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point
The average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point Manjul Bhargava and Benedict H. Gross February 20, 2013 Abstract We prove that when all hyperelliptic
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
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 informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/20949 holds various files of this Leiden University dissertation. Author: Javan Peykar, Ariyan Title: Arakelov invariants of Belyi curves Issue Date: 2013-06-11
More informationMotivic Periods, Coleman Functions, and the Unit Equation
Motivic Periods, Coleman Functions, and the Unit Equation An Ongoing Project D. Corwin 1 I. Dan-Cohen 2 1 MIT 2 Ben Gurion University of the Negev April 10, 2018 Corwin, Dan-Cohen Motivic Periods, Coleman
More informationComputations with Coleman integrals
Computations with Coleman integrals Jennifer Balakrishnan Harvard University, Department of Mathematics AWM 40 Years and Counting (Number Theory Session) Saturday, September 17, 2011 Outline 1 Introduction
More informationAPPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP
APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP In this appendix we review some basic facts about étale cohomology, give the definition of the (cohomological) Brauer group, and discuss
More information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More informationThe Néron Ogg Shafarevich criterion Erik Visse
The Néron Ogg Shafarevich criterion Erik Visse February 17, 2017 These are notes from the seminar on abelian varieties and good reductions held in Amsterdam late 2016 and early 2017. The website for the
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More informationAutomorphic Galois representations and Langlands correspondences
Automorphic Galois representations and Langlands correspondences II. Attaching Galois representations to automorphic forms, and vice versa: recent progress Bowen Lectures, Berkeley, February 2017 Outline
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
More informationNUNO FREITAS AND ALAIN KRAUS
ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion
More informationMorava K-theory of BG: the good, the bad and the MacKey
Morava K-theory of BG: the good, the bad and the MacKey Ruhr-Universität Bochum 15th May 2012 Recollections on Galois extensions of commutative rings Let R, S be commutative rings with a ring monomorphism
More informationElliptic curves, Néron models, and duality
Elliptic curves, Néron models, and duality Jean Gillibert Durham, Pure Maths Colloquium 26th February 2007 1 Elliptic curves and Weierstrass equations Let K be a field Definition: An elliptic curve over
More informationThe Absolute Anabelian Geometry of Canonical Curves
Documenta Math. 609 The Absolute Anabelian Geometry of Canonical Curves Shinichi Mochizuki Received: September 27, 2002 Revised: January 13, 2003 Abstract. In this paper, we continue our study of the issue
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 information1.6.1 What are Néron Models?
18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in
More informationRational Points on Curves in Practice. Michael Stoll Universität Bayreuth Journées Algophantiennes Bordelaises Université de Bordeaux June 8, 2017
Rational Points on Curves in Practice Michael Stoll Universität Bayreuth Journées Algophantiennes Bordelaises Université de Bordeaux June 8, 2017 The Problem Let C be a smooth projective and geometrically
More informationTHE POLYLOG QUOTIENT AND THE GONCHAROV QUOTIENT IN COMPUTATIONAL CHABAUTY-KIM THEORY I
THE POLYLOG QUOTIENT AND THE GONCHAROV QUOTIENT IN COMPUTATIONAL CHABAUTY-KIM THEORY I DAVID CORWIN, ISHAI DAN-COHEN Abstract Polylogarithms are those multiple polylogarithms which factor through a certain
More informationProof of the Shafarevich conjecture
Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel
More informationTopics in Number Theory: Elliptic Curves
Topics in Number Theory: Elliptic Curves Yujo Chen April 29, 2016 C O N T E N T S 0.1 Motivation 3 0.2 Summary and Purpose 3 1 algebraic varieties 5 1.1 Affine Varieties 5 1.2 Projective Varieties 7 1.3
More informationWhen 2 and 3 are invertible in A, L A is the scheme
8 RICHARD HAIN AND MAKOTO MATSUMOTO 4. Moduli Spaces of Elliptic Curves Suppose that r and n are non-negative integers satisfying r + n > 0. Denote the moduli stack over Spec Z of smooth elliptic curves
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
More informationthis to include the explicit maps, please do so!
Contents 1. Introduction 1 2. Warmup: descent on A 2 + B 3 = N 2 3. A 2 + B 3 = N: enriched descent 3 4. The Faltings height 5 5. Isogeny and heights 6 6. The core of the proof that the height doesn t
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
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 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 informationGood reduction of the Brauer Manin obstruction
Good reduction of the Brauer Manin obstruction A joint work in progress with J-L. Colliot-Thélène Imperial College London Schloss Thurnau, July 2010 Notation: k is a number field, k v is the completion
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationJean-Pierre Serre. Galois Cohomology. translated from the French by Patrick Ion. Springer
Jean-Pierre Serre Galois Cohomology translated from the French by Patrick Ion Springer Table of Contents Foreword Chapter I. Cohomology of profinite groups 1. Profinite groups 3 1.1 Definition 3 1.2 Subgroups
More informationRational Points on Curves
Rational Points on Curves 1 Q algebraic closure of Q. k a number field. Ambient variety: Elliptic curve E an elliptic curve defined over Q. E N = E E. In general A an abelian variety defined over Q. For
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 informationAn LMFDB perspective on motives David P. Roberts University of Minnesota, Morris
An LMFDB perspective on motives David P. Roberts University of Minnesota, Morris Classical language is adequate for studying L- functions associated to 0- and 1-dimensional varieties. Q. What is a good
More informationRaynaud on F -vector schemes and prolongation
Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationSummer Algebraic Geometry Seminar
Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties
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 informationAN ALTERNATING PROPERTY FOR HIGHER BRAUER GROUPS
AN ALTERNATING PROPERTY FOR HIGHER BRAUER GROUPS TONY FENG Abstract. Using the calculus of Steenrod operations in ale cohomology developed in [Fen], we prove that the analogue of Tate s pairing on higher
More information数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25:
Non-existence of certain Galois rep Titletame inertia weight : A resume (Alg Related Topics 2009) Author(s) OZEKI, Yoshiyasu Citation 数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25: 89-92 Issue Date 2011-04
More informationPoints of Order 13 on Elliptic Curves
Inventiones math. 22, 41-49 (1973) 9 by Springer-Verlag 1973 Points of Order 13 on Elliptic Curves B. Mazur (Cambridge, Mass.) and J. Tate (Cambridge, Mass.) 1. Introduction The main object of this note
More informationOn Mordell-Lang in Algebraic Groups of Unipotent Rank 1
On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationSets of Completely Decomposed Primes in Extensions of Number Fields
Sets of Completely Decomposed Primes in Extensions of Number Fields by Kay Wingberg June 15, 2014 Let p be a prime number and let k(p) be the maximal p-extension of a number field k. If T is a set of primes
More informationElliptic curves over function fields 1
Elliptic curves over function fields 1 Douglas Ulmer and July 6, 2009 Goals for this lecture series: Explain old results of Tate and others on the BSD conjecture over function fields Show how certain classes
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 informationRigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture
Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck-
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 informationTriple product p-adic L-functions for balanced weights and arithmetic properties
Triple product p-adic L-functions for balanced weights and arithmetic properties Marco A. Seveso, joint with Massimo Bertolini, Matthew Greenberg and Rodolfo Venerucci 2013 Workshop on Iwasawa theory and
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 informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationTop exterior powers in Iwasawa theory
joint with Ted Chinburg, Ralph Greenberg, Mahesh Kakde, Romyar Sharifi and Martin Taylor Maurice Auslander International Conference April 28, 2018 Iwasawa theory (started by Kenkichi Iwasawa 1950 s). Study
More informationTamagawa Numbers in the Function Field Case (Lecture 2)
Tamagawa Numbers in the Function Field Case (Lecture 2) February 5, 204 In the previous lecture, we defined the Tamagawa measure associated to a connected semisimple algebraic group G over the field Q
More informationTHE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS
THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS DANIEL LITT Let us fix the following notation: 1. Notation and Introduction K is a number field; L is a CM field with totally real subfield L + ; (A,
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 informationThe GL 2 main conjecture for elliptic curves without complex multiplication. by Otmar Venjakob
The GL 2 main conjecture for elliptic curves without complex multiplication by Otmar Venjakob Arithmetic of elliptic curves E elliptic curve over Q : E : y 2 + A 1 xy + A 3 y = x 3 + A 2 x 2 + A 4 x +
More informationLecture 21: Structure of ordinary-crystalline deformation ring for l = p
Lecture 21: Structure of ordinary-crystalline deformation ring for l = p 1. Basic problem Let Λ be a complete discrete valuation ring with fraction field E of characteristic 0, maximal ideal m = (π), and
More informationUnipotent groups and some
Unipotent groups and some A 1 -contractible smooth schemes math.ag/0703137 Aravind Asok (joint w/ B.Doran) July 14, 2008 Outline 1. History/Historical Motivation 2. The A 1 -homotopy black box 3. Main
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
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 informationSPEAKER: JOHN BERGDALL
November 24, 2014 HODGE TATE AND DE RHAM REPRESENTATIONS SPEAKER: JOHN BERGDALL My goal today is to just go over some results regarding Hodge-Tate and de Rham representations. We always let K/Q p be a
More informationInfinite rank of elliptic curves over Q ab and quadratic twists with positive rank
Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank Bo-Hae Im Chung-Ang University The 3rd East Asian Number Theory Conference National Taiwan University, Taipei January
More informationArithmetic of certain integrable systems. University of Chicago & Vietnam Institute for Advanced Study in Mathematics
Arithmetic of certain integrable systems Ngô Bao Châu University of Chicago & Vietnam Institute for Advanced Study in Mathematics System of congruence equations Let us consider a system of congruence equations
More informationCongruences Between Selmer Groups 1
Journal of Number Theory 80, 135153 (2000) Article ID jnth.1999.2445, available online at http:www.idealibrary.com on Congruences Between Selmer Groups 1 Li Guo Department of Mathematics and Computer Science,
More informationANTICYCLOTOMIC IWASAWA THEORY OF CM ELLIPTIC CURVES II. 1. Introduction
ANTICYCLOTOMIC IWASAWA THEORY OF CM ELLIPTIC CURVES II ADEBISI AGBOOLA AND BENJAMIN HOWARD Abstract. We study the Iwasawa theory of a CM elliptic curve E in the anticyclotomic Z p- extension D of the CM
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 informationSpherical varieties and arc spaces
Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected
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 informationNOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE
NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the
More informationAn introduction to Bloch and Kato s conjecture
An introduction to Bloch and Kato s conjecture Two lectures at the Clay Mathematics Institute Summer School, Honolulu, Hawaii, 2009 Prerequisites: The prerequisites for these lectures are elementary: (i)
More information