A non-abelian conjecture of Birch and Swinnerton-Dyer type
|
|
- Todd Mason
- 5 years ago
- Views:
Transcription
1 A non-abelian conjecture of Birch and Swinnerton-Dyer type Minhyong Kim Bordeaux, July, 2012
2 Dedicated to Martin Taylor on the occasion of his 60th birthday.
3 Diophantine geometry: general remarks
4 Diophantine geometry: general remarks Diophantine geometry is the study of maps Y X between schemes of finite type over Z (integral points) or Q (rational points).
5 Diophantine geometry: general remarks (1) Galois theory: Spec(L) Spec(K) Spec(F )
6 Diophantine geometry: general remarks (1) Galois theory: Spec(L) (2) Class field theory: Spec(K) Spec(F ) Spec(O K ) Spec(O F ).
7 Diophantine geometry: general remarks (3) Conjectures and theorems of Shafarevich type: There are no abelian schemes f : A Spec(Z). (Fontaine-Abrashkin) There are at most finitely many smooth proper curves f : X Spec(O F,S ) of genus g 2. (Faltings)
8 Diophantine geometry: general remarks (4) Hasse-Minkowski theory: 0 H 2 (K, G m ) v H 2 (K v, G m ) Q/Z 0.
9 Diophantine geometry: general remarks (4) Hasse-Minkowski theory: 0 H 2 (K, G m ) v H 2 (K v, G m ) Q/Z 0. (5) The conjecture of Birch and Swinnerton Dyer: E(Z) Q p Hf 1 (G Q, H 1 (Ē, Q p )) E(Z) < L(E, 1) 0.
10 Diophantine geometry: linearization
11 Diophantine geometry: linearization People believe there is a good unified framework for linearized Diophantine geometry:
12 Diophantine geometry: linearization People believe there is a good unified framework for linearized Diophantine geometry: The theory of motives and the conjectures of Beilinson, Bloch, and Kato (generalizing BSD).
13 Diophantine geometry: linearization People believe there is a good unified framework for linearized Diophantine geometry: The theory of motives and the conjectures of Beilinson, Bloch, and Kato (generalizing BSD). After replacing varieties X and Y by motives H(X ) and H(Y ), it is (sometimes) believed that there should be uniform way to understand RHom Mot (Y, X ) inside the category Mot hom of homological motives.
14 Diophantine geometry: linearization For example, when X and Y are smooth projective varieties over F it is conjectured that Hom Mot (Y, X ) Q p Hom GF [H et (Ȳ, Q p ), H et ( X, Q p )].
15 Diophantine geometry: linearization For example, when X and Y are smooth projective varieties over F it is conjectured that and Hom Mot (Y, X ) Q p Hom GF [H et (Ȳ, Q p ), H et ( X, Q p )]. Ext 1 Mot (Y, X ) Q p Ext 1 G F,f (Het (Ȳ, Q p ), H et ( X, Q p )),
16 Diophantine geometry: linearization Also conjectured are numerical criteria:
17 Diophantine geometry: linearization Also conjectured are numerical criteria: dimext 1 Mot (Y, X ) dimhom Mot(Y, X ) = ord s=1 L(H(X ) H(Y ), s)
18 Diophantine geometry: linearization Also conjectured are numerical criteria: dimext 1 Mot (Y, X ) dimhom Mot(Y, X ) = ord s=1 L(H(X ) H(Y ), s) All maps in this theory are treated in a uniform manner, without regard, for example, to the relative dimensions of the objects.
19 Diophantine geometry: problems of linearization
20 Diophantine geometry: problems of linearization In linearized Diophantine geometry, X will pick up many more virtual Y -points, making it difficult to recover the original maps of interest.
21 Diophantine geometry: problems of linearization In linearized Diophantine geometry, X will pick up many more virtual Y -points, making it difficult to recover the original maps of interest. When Y = F itself, then given a K point x X (K) for a finite field extension K of F, the formal linear combination σ(x), where σ(x) runs over the Galois conjugates of x, will define a map in M from Spec(F ) to X.
22 Homotopical Diophantine geometry
23 Homotopical Diophantine geometry Programme to recover non-linear information by studying π(x ) instead of H(X ).
24 Homotopical Diophantine geometry Programme to recover non-linear information by studying π(x ) instead of H(X ). Precise nature of π(x ), a homotopy type, is still undetermined.
25 Homotopical Diophantine geometry Programme to recover non-linear information by studying π(x ) instead of H(X ). Precise nature of π(x ), a homotopy type, is still undetermined. Grothendieck proposed the profinite étale π 1 for a certain class of schemes including algebraic number fields and curves of genus 2.
26 Homotopical Diophantine geometry Programme to recover non-linear information by studying π(x ) instead of H(X ). Precise nature of π(x ), a homotopy type, is still undetermined. Grothendieck proposed the profinite étale π 1 for a certain class of schemes including algebraic number fields and curves of genus 2. Toen and Vezzosi propose schematic homotopy types.
27 Homotopical Diophantine geometry Programme to recover non-linear information by studying π(x ) instead of H(X ). Precise nature of π(x ), a homotopy type, is still undetermined. Grothendieck proposed the profinite étale π 1 for a certain class of schemes including algebraic number fields and curves of genus 2. Toen and Vezzosi propose schematic homotopy types. Deligne and Ihara emphazised the importance of rational homotopy types that have a motivic nature.
28 Homotopical Diophantine geometry Programme to recover non-linear information by studying π(x ) instead of H(X ). Precise nature of π(x ), a homotopy type, is still undetermined. Grothendieck proposed the profinite étale π 1 for a certain class of schemes including algebraic number fields and curves of genus 2. Toen and Vezzosi propose schematic homotopy types. Deligne and Ihara emphazised the importance of rational homotopy types that have a motivic nature. Hope (fantasy?) is to construct non-linear refinements of all aspects of the theory of motives.
29 Homotopical Diophantine geometry A somewhat more accessible fantasy is to extend the ideas surrounding the conjecture of Birch and Swinnerton-Dyer to hyperbolic curves, e.g.,
30 Homotopical Diophantine geometry A somewhat more accessible fantasy is to extend the ideas surrounding the conjecture of Birch and Swinnerton-Dyer to hyperbolic curves, e.g., [X (Q) < ] [non-vanishing of L-values].
31 Homotopical Diophantine geometry A somewhat more accessible fantasy is to extend the ideas surrounding the conjecture of Birch and Swinnerton-Dyer to hyperbolic curves, e.g., [X (Q) < ] [non-vanishing of L-values]. The focus of this lecture is extending the portion E(Z) Q p H 1 f (G Q, H 1 (Ē, Q p )) to the hyperbolic setting, where the right-hand side gets replaced by non-abelian cohomology with coefficients in a fundamental group.
32 type
33 type X /Z is one of the following: P 1 \ {0, 1, }; The regular minimal model of an curve of genus one with at least one point removed; The regular minimal model of a compact smooth curve of genus 2; The regular minimal model of a compact smooth curve of genus 2 with some points removed.
34 type X /Z is one of the following: P 1 \ {0, 1, }; The regular minimal model of an curve of genus one with at least one point removed; The regular minimal model of a compact smooth curve of genus 2; The regular minimal model of a compact smooth curve of genus 2 with some points removed. Denote by b either an integral point of X ; or an integral tangent vector at a missing point.
35 type X /Z is one of the following: P 1 \ {0, 1, }; The regular minimal model of an curve of genus one with at least one point removed; The regular minimal model of a compact smooth curve of genus 2; The regular minimal model of a compact smooth curve of genus 2 with some points removed. Denote by b either an integral point of X ; or an integral tangent vector at a missing point. Let p be an odd prime of good reduction and T a finite set of primes containing all primes of bad reduction and p. X = X Spec(Z) Spec( Q).
36 type Denote by U = π Qp 1 ( X, b) the Q p -pro-unipotent étale fundamental group of X with base-point b. That is, the universal pro-unipotent pro-algebraic group over Q p with a continuous homomorphism π et 1 ( X, b) U(Q p ).
37 type Denote by U = π Qp 1 ( X, b) the Q p -pro-unipotent étale fundamental group of X with base-point b. That is, the universal pro-unipotent pro-algebraic group over Q p with a continuous homomorphism π et 1 ( X, b) U(Q p ). U 1 = U, U n+1 = [U, U n ], U n = U/U n+1. U 4 U 3 U 2 U 1 Each U n is a unipotent Q p -algebraic group.
38 A conjecture of Birch and Swinnerton-Dyer type We have U 1 = H 1 ( X, Q p ) = V p J X and in the affine case, while in the compact case. U 2 /U 3 2 U 1 U 2 /U 3 2 U 1 /Q p (1)
39 A conjecture of Birch and Swinnerton-Dyer type We have U 1 = H 1 ( X, Q p ) = V p J X and in the affine case, while in the compact case. U 2 /U 3 2 U 1 U 2 /U 3 2 U 1 /Q p (1) When X = P 1 \ {0, 1, }, get an exact sequence 1 Q p (2) U 2 Q p (1) Q p (1) 1.
40 A conjecture of Birch and Swinnerton-Dyer type We have U 1 = H 1 ( X, Q p ) = V p J X and in the affine case, while in the compact case. U 2 /U 3 2 U 1 U 2 /U 3 2 U 1 /Q p (1) When X = P 1 \ {0, 1, }, get an exact sequence 1 Q p (2) U 2 Q p (1) Q p (1) 1. When X = E \ O, get an exact sequence 1 Q p (1) U 2 V p E 1.
41 type For any other point x X (Z), we have P(x) := π Qp 1 ( X ; b, x) = [π et 1 ( X ; b, x) U]/π et 1 ( X, b), the homotopy classes of Q p -pro-unipotent étale paths from b to x. This is a torsor for U, the push-out of the π1 et( X, b)-torsor π1 et( X ; b, x) via the map π et 1 ( X, b) U.
42 type For any other point x X (Z), we have P(x) := π Qp 1 ( X ; b, x) = [π et 1 ( X ; b, x) U]/π et 1 ( X, b), the homotopy classes of Q p -pro-unipotent étale paths from b to x. This is a torsor for U, the push-out of the π1 et( X, b)-torsor π1 et( X ; b, x) via the map π et 1 ( X, b) U. Both U and P(x) admit compatible actions of G = G Q that factor through G T = Gal(Q T /Q). The induced action action of G p = Gal( Q p /Q p ) is also crystalline.
43 type Get a global Q p -pro-unipotent period map: X (Z) j H 1 f (G T, U); x [P(x)]; to a moduli scheme Hf 1 (G T, U) of torsors for U that are unramified outside T and crystalline at p.
44 type Get a global Q p -pro-unipotent period map: X (Z) j H 1 f (G T, U); x [P(x)]; to a moduli scheme Hf 1 (G T, U) of torsors for U that are unramified outside T and crystalline at p. Similarly, for each prime v, get local period maps X (Z v ) j v H 1 (G v, U). such that X (Z p ) j p H 1 f (G p, U) H 1 (G p, U).
45 type.. H 1 f (G, U 3) j 3 j 2 Hf 1 (G, U 2) X (Z) j 1 Hf 1 (G, U 1)
46 type Compatible with localization X (Z) X (Z v ) j Hf 1 (G T, U n ) where each loc v is an algebraic map. j v loc v H 1 (G v, U n )
47 type Define H 1 Z (U n) := v p loc 1 v [Im(j v )] H 1 f (G T, U n ) Thee are the torsors that are locally path torsors for each place v p and crystalline at p.
48 type Define H 1 Z (U n) := v p loc 1 v [Im(j v )] H 1 f (G T, U n ) Thee are the torsors that are locally path torsors for each place v p and crystalline at p. Remarks: Im(j v ) is finite for all v p (actually, im(j v ) = 0 for v / T ). Thus, H 1 Z (U n) is a closed subcheme.
49 type Define H 1 Z (U n) := v p loc 1 v [Im(j v )] H 1 f (G T, U n ) Thee are the torsors that are locally path torsors for each place v p and crystalline at p. Remarks: Im(j v ) is finite for all v p (actually, im(j v ) = 0 for v / T ). Thus, H 1 Z (U n) is a closed subcheme. H 1 f (G p, U n ) = j p (X (Z p )) H 1 (G p, U n ).
50 type X (Z) X (Z p ) j j p HZ 1 (U locp n) Hf 1 (G p, U n )
51 type X (Z) X (Z p ) j j p Define HZ 1 (U locp n) Hf 1 (G p, U n ) X (Z p ) n := jp 1 (loc p [HZ 1 (U n)]), the p-adic points that are cohomologically global of level n.
52 type From the diagrams H 1 f (G p, U n+1 ) loc p H 1 Z (U n+1 ) j p X (Z p ) j p Hf 1 (G p, U n ) loc p HZ 1 (U n)
53 type From the diagrams H 1 f (G p, U n+1 ) loc p H 1 Z (U n+1 ) j p X (Z p ) j p Hf 1 (G p, U n ) loc p HZ 1 (U n) we see that X (Z p )
54 type From the diagrams H 1 f (G p, U n+1 ) loc p H 1 Z (U n+1 ) j p X (Z p ) j p Hf 1 (G p, U n ) loc p HZ 1 (U n) we see that X (Z p ) X (Z p ) 1
55 type From the diagrams H 1 f (G p, U n+1 ) loc p H 1 Z (U n+1 ) j p X (Z p ) j p Hf 1 (G p, U n ) loc p HZ 1 (U n) we see that X (Z p ) X (Z p ) 1 X (Z p ) 2
56 type From the diagrams H 1 f (G p, U n+1 ) loc p H 1 Z (U n+1 ) j p X (Z p ) j p Hf 1 (G p, U n ) loc p HZ 1 (U n) we see that X (Z p ) X (Z p ) 1 X (Z p ) 2
57 type From the diagrams H 1 f (G p, U n+1 ) loc p H 1 Z (U n+1 ) j p X (Z p ) j p Hf 1 (G p, U n ) loc p HZ 1 (U n) we see that X (Z p ) X (Z p ) 1 X (Z p ) 2 X (Z p ) n
58 type From the diagrams H 1 f (G p, U n+1 ) loc p H 1 Z (U n+1 ) j p X (Z p ) j p Hf 1 (G p, U n ) loc p HZ 1 (U n) we see that X (Z p ) X (Z p ) 1 X (Z p ) 2 X (Z p ) n X (Z p ) n+1
59 type From the diagrams H 1 f (G p, U n+1 ) loc p H 1 Z (U n+1 ) j p X (Z p ) j p Hf 1 (G p, U n ) loc p HZ 1 (U n) we see that X (Z p ) X (Z p ) 1 X (Z p ) 2 X (Z p ) n X (Z p ) n+1 X (Z).
60 type Conjecture: for n >> 0. X (Z p ) n = X (Z)
61 type Conjecture: for n >> 0. X (Z p ) n = X (Z) Key point is that X (Z p ) n should be computable, in principle.
62 type Easy part: p-adic Hodge theory gives us a description of X (Z p ) j p H 1 f (G p, U n ) A rn as j p (z) = (j w p (z)) where each coordinate j w p (z) is a p-adic analytic function defined by iterated Coleman integrals z b α 1 α 2 α n of differential forms on X.
63 type X (Z) X (Z p ) j j p (j w p ) HZ 1 (U locp n) Hf 1 (G p, U n ) A rn
64 type Difficult part is compute the defining ideal L(n) for the global image at level n: loc p [HZ 1 (U n)] Hf 1 (G p, U n ) = A rn. from which we wish to get the set X (Z p ) n as zeros of f j p, for f L(n).
65 type As soon as L(n) 0, we get finiteness of X (Z p ) n, and hence, of X (Z).
66 type As soon as L(n) 0, we get finiteness of X (Z p ) n, and hence, of X (Z). Standard motivic conjectures (Fontaine-Mazur-Jannsen, Bloch-Kato) imply that for n large, j L(n + 1) j L(n) and in fact contains elements that are algebraically independent of the elements in j L(n).
67 type As soon as L(n) 0, we get finiteness of X (Z p ) n, and hence, of X (Z). Standard motivic conjectures (Fontaine-Mazur-Jannsen, Bloch-Kato) imply that for n large, j L(n + 1) j L(n) and in fact contains elements that are algebraically independent of the elements in j L(n). So something in the common zero set for all n should be there for a good reason.
68 type: Examples [Joint work in progress with Jennifer Balakrishnan, Ishai Dan-Cohen, and Stefan Wewers]
69 type: Examples [Joint work in progress with Jennifer Balakrishnan, Ishai Dan-Cohen, and Stefan Wewers] Let X = P 1 \ {0, 1, }.
70 type: Examples [Joint work in progress with Jennifer Balakrishnan, Ishai Dan-Cohen, and Stefan Wewers] Let X = P 1 \ {0, 1, }. We have and so there is an exact sequence U 1 = Q p (1) Q p (1) U 2 /U 3 = Q p (2), 0 Q p (2) U 2 Q p (1) Q p (1) 0.
71 type: Examples The diagram X (Z) X (Z p ) j j p HZ 1 (U locp 1) Hf 1 (G p, U 1 )
72 type: Examples The diagram X (Z) X (Z p ) j j p becomes HZ 1 (U locp 1) Hf 1 (G p, U 1 ) φ X (Z p ) j j p loc p 0 A 2
73 type: Examples The map j p takes the form z (log(z), log(1 z)), so that X (Z p ) 1 is the common zero set of log(z) and log(1 z).
74 type: Examples The map j p takes the form z (log(z), log(1 z)), so that X (Z p ) 1 is the common zero set of log(z) and log(1 z). Must have z = ζ n and 1 z = ζ m, and hence, z = ζ 6.
75 type: Examples The map j p takes the form z (log(z), log(1 z)), so that X (Z p ) 1 is the common zero set of log(z) and log(1 z). Must have z = ζ n and 1 z = ζ m, and hence, z = ζ 6. Thus, we have if p = 3 or p 2 mod 3. X (Z p ) 1 = φ = X (Z)
76 type: Examples The map j p takes the form z (log(z), log(1 z)), so that X (Z p ) 1 is the common zero set of log(z) and log(1 z). Must have z = ζ n and 1 z = ζ m, and hence, z = ζ 6. Thus, we have if p = 3 or p 2 mod 3. When p 1 mod 3 X (Z p ) 1 = φ = X (Z) X (Z) = φ {ζ 6 } = X (Z p ) 1 and we must go to a higher level.
77 type: Examples We have and is where H 1 f (G p, U 2 ) = A 3 j p : X (Z p ) A 3 j p (z) = (log(z), log(1 z), Li 2 (z)), Li 2 (z) = n z n n 2 is the dilogarithm.
78 type: Examples Meanwhile, H 1 Z (U 2) = 0. (We have H 1 (G T, Q p (2)) = 0 by Soulé vanishing.)
79 type: Examples Meanwhile, H 1 Z (U 2) = 0. (We have H 1 (G T, Q p (2)) = 0 by Soulé vanishing.) X (Z p ) 2 = {z log(z) = 0, log(1 z) = 0, Li 2 (z) = 0}.
80 type: Examples Meanwhile, H 1 Z (U 2) = 0. (We have H 1 (G T, Q p (2)) = 0 by Soulé vanishing.) X (Z p ) 2 = {z log(z) = 0, log(1 z) = 0, Li 2 (z) = 0}. Li 2 (ζ 6 ) 0?
81 type: Examples Meanwhile, H 1 Z (U 2) = 0. (We have H 1 (G T, Q p (2)) = 0 by Soulé vanishing.) X (Z p ) 2 = {z log(z) = 0, log(1 z) = 0, Li 2 (z) = 0}. Li 2 (ζ 6 ) 0? Can check this numerically for all p < 500.
82 type: Examples Let X = E \ O where E is an elliptic curve of rank 0 and Tamagawa number 1.
83 type: Examples Let X = E \ O where E is an elliptic curve of rank 0 and Tamagawa number 1. Then (assuming BSD), H 1 Z (U 1) = 0,
84 type: Examples Let X = E \ O where E is an elliptic curve of rank 0 and Tamagawa number 1. Then (assuming BSD), and we get H 1 Z (U 1) = 0, X (Z) X (Z p ) j j p loc p 0 Hf 1 (G p, U 1 ) = A 1
85 type: Examples The map is given by where j p : X (Z p ) Hf 1 G p, U 1 ) = A 1 z log(z) log(z) = z b (dx/y).
86 type: Examples Thus, X (Z p ) 1 = E(Z p )[tor] \ O.
87 type: Examples Thus, X (Z p ) 1 = E(Z p )[tor] \ O. For small p, it happens frequently that E(Z)[tor] = E(Z p )[tor] and hence that X (Z) = X (Z p ) 1. But of course, this fails as p grows.
88 type: Examples So then, examine j p : X (Z p ) H 1 f (U 2) which is given by where z (log(z), D 2 (z)), D 2 (z) = z b (dx/y)(xdx/y).
89 type: Examples So then, examine j p : X (Z p ) H 1 f (U 2) which is given by where z (log(z), D 2 (z)), D 2 (z) = z b (dx/y)(xdx/y). Under our assumptions, still have H 1 Z (U 2) = 0, so that X (Z p ) 2 is the common zero set of log(z) and D 2 (z).
90 type: Examples So then, examine j p : X (Z p ) H 1 f (U 2) which is given by where z (log(z), D 2 (z)), D 2 (z) = z b (dx/y)(xdx/y). Under our assumptions, still have H 1 Z (U 2) = 0, so that X (Z p ) 2 is the common zero set of log(z) and D 2 (z). Here, X (Z) = X (Z p ) 2 appears to be very common.
91 type: Examples The curve has integral points y 2 + xy = x 3 x x (675, ±108).
92 type: Examples The curve has integral points y 2 + xy = x 3 x x (675, ±108). We find X (Z) = {z log(z) = 0, D 2 (z) = 0} = X (Z p ) 2 for all p such that 5 p 79.
93 type: Examples The curve has integral points y 2 + xy = x 3 x x (675, ±108). We find X (Z) = {z log(z) = 0, D 2 (z) = 0} = X (Z p ) 2 for all p such that 5 p 79. Note that D 2 (675, ±108) = 0 is already non-obvious.
94 type: Examples Higher genus:
95 type: Examples Higher genus: is identified with j p : X (Z p ) H 1 f (G p, U 1 ) log : X (Z p ) J(Z p ) T e J,
96 type: Examples Higher genus: is identified with j p : X (Z p ) H 1 f (G p, U 1 ) log : X (Z p ) J(Z p ) T e J, So X (Z p ) J(Z p )[tor] X (Z p ) 1. and we have equality whenever HZ 1 (U 1) = 0.
97 type: Examples Using this, we get X (Z) = X (Z p ) 1 for x 5 + y 5 = z 5 whenever ζ 5 / Q p and for x 7 + y 7 = z 7 when ζ 7 / Q p.
98 type: Examples In general, for (l 5), x l + y l = z l X (Z) = X (Z p ) J(Z p )[tor] whenever ζ l / Q p by the theorem of Wiles and Coleman-Tamagawa-Tzermias.
99 type: Examples In general, for (l 5), x l + y l = z l X (Z) = X (Z p ) J(Z p )[tor] whenever ζ l / Q p by the theorem of Wiles and Coleman-Tamagawa-Tzermias. But the rank of the Jacobian is positive as soon as l > 7. The discrepancy between X (Z) and X (Z p ) 1 is captured by X (Z) = X (Z p ) J X (Z) = X (Z p ) J(Z p )[tor] X (Z p ) 1 = X (Z p ) J X (Z) + J X (Z p )[tor].
100 type: Examples If d 0, the affine hyperelliptic curve y 2 = d 3 x 6 27d 2 x 4 648dx , has integral points (0, ±108).
101 type: Examples If d 0, the affine hyperelliptic curve y 2 = d 3 x 6 27d 2 x 4 648dx , has integral points (0, ±108). For p such that d / Q p, we often have X (Z) = X (Z p ) 2, e.g. d = 2, p = 5, 11, 13, 19, 29, 53.
102 type: Examples Begun to examine the case of X = E \ O where E is of rank 1 and Tamagawa number 1.
103 type: Examples Begun to examine the case of X = E \ O where E is of rank 1 and Tamagawa number 1. Assume there is a point y X (Z) of infinite order. Then is computed to be where loc p : H 1 Z (U 2) H 1 p(g p, U 2 ) = A 2 A 1 A 2 ; t (t, ct 2 ), c = D 2 (y)/ log 2 (y). So image is defined by x 2 cx 2 1 = 0.
104 type: Examples Meanwhile, is Thus, is the zero set of Can also write this as X (Z p ) H 1 f (G p, U 2 ) z (log(z), D 2 (z)). X (Z p ) 2 D 2 (z) c log 2 (z). D 2 (z) log 2 (z) = c.
105 type: Examples has integral points X : y 2 + y = x 3 x; p = 7 P = (0, 0), 2P = (1, 0), 3P = ( 1, 1), 4P = (2, 3), 6P = (6, 14).
106 type: Examples has integral points X : y 2 + y = x 3 x; p = 7 P = (0, 0), 2P = (1, 0), 3P = ( 1, 1), 4P = (2, 3), 6P = (6, 14). We find D 2 (P) log 2 (P) = D 2(2P) log 2 (2P) = D 2(3P) log 2 (3P) = D 2(4P) log 2 (4P) = D 2(6P) log 2 (6P) = O(7 5 ).
107 type: Examples Meanwhile, D 2 (5P) log 2 (5P) = O(7 7 ) D 2 (7P) log 2 (7P) = O(7 5 ) D 2 (8P) log 2 (8P) = O(7 7 ) D 2 (9P) log 2 (9P) = O(7 5 )
108 type: Examples Analogously, investigating S-integral analogues for affine curves, say 2-integral points in X = P 1 \ {0, 1, }. There, the diagram X (Z) X (Z p ) j j p becomes HZ 1 (U locp 2) Hf 1 (G p, U 2 )
109 type: Examples {2, 1/2, 1} X (Z p ) j A 2 where (Dan-Cohen, Wewers) j p loc p A 3 Recall that loc p (x, y) = ((log 2)x, (log 2)y, (1/2)(log 2 2)xy). j p (z) = (log(z), log(1 z), Li 2 (z)).
110 type: Examples Therefore, X (Z p ) 2 is the zero set of 2Li 2 (z) + log(z) log(1 z).
111 type: Examples Therefore, X (Z p ) 2 is the zero set of 2Li 2 (z) + log(z) log(1 z). So far, we have checked that this is exactly {2, 1/2, 1} for p = 3, 5, 7.
112 type: Examples Therefore, X (Z p ) 2 is the zero set of 2Li 2 (z) + log(z) log(1 z). So far, we have checked that this is exactly {2, 1/2, 1} for p = 3, 5, 7. For larger p, appear to have X (Z[1/2]) X (Z p ) 2 indicating we need to look at X (Z p ) 3.
113 type: Plan
114 type: Plan Develop a systematic method to compute loc p : H 1 Z (U n) H 1 f (G p, U n ).
115 type: Plan Develop a systematic method to compute loc p : H 1 Z (U n) H 1 f (G p, U n ). Make the conjecture falsifiable.
116 type: Plan Develop a systematic method to compute loc p : H 1 Z (U n) H 1 f (G p, U n ). Make the conjecture falsifiable. Investigate possibility that there is a precise formula for X (Z) hidden in the conjecture, perhaps using a another interpretation of the defining ideal L(n) of loc p (H 1 Z )(U n) H 1 f (G p, U n ).
117
Diophantine 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 informationGalois 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 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 informationDiophantine geometry and non-abelian duality
Diophantine geometry and non-abelian duality Minhyong Kim Leiden, May, 2011 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
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 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 informationSolving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture
Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture William Stein (http://modular.ucsd.edu/talks) December 1, 2005, UCLA Colloquium 1 The Pythagorean Theorem c a 2 + b
More informationA p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties
A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties Steffen Müller Universität Hamburg joint with Jennifer Balakrishnan and William Stein Rational points on curves: A p-adic and
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 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 informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
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 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 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 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 p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties
A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties Steffen Müller Universität Hamburg joint with Jennifer Balakrishnan (Harvard) and William Stein (U Washington) Forschungsseminar
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 informationarxiv: v1 [math.nt] 20 Dec 2017
ARITHMETIC GAUGE THEORY: A BRIEF INTRODUCTION MINHYONG KIM arxiv:1712.07602v1 [math.nt] 20 Dec 2017 Abstract. Much of arithmetic geometry is concerned with the study of principal bundles. They occur prominently
More informationExtensions of motives and higher Chow groups
Extensions of motives and higher Chow groups A. J. Scholl Introduction This note has two purposes: the first is to give a somewhat different description of the higher cycle class map defined by Bloch [3]
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 informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More informationVerification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves
Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves William Stein University of California, San Diego http://modular.fas.harvard.edu/ Bremen: July 2005 1 This talk reports
More informationGalois representations and automorphic forms
Columbia University, Institut de Mathématiques de Jussieu Yale, November 2013 Galois theory Courses in Galois theory typically calculate a very short list of Galois groups of polynomials in Q[X]. Cyclotomic
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 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 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 informationNumber Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011
Number Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011 January 27 Speaker: Moshe Adrian Number Theorist Perspective: Number theorists are interested in studying Γ Q = Gal(Q/Q). One way
More informationToric coordinates in relative p-adic Hodge theory
Toric coordinates in relative p-adic Hodge theory Kiran S. Kedlaya in joint work with Ruochuan Liu Department of Mathematics, Massachusetts Institute of Technology Department of Mathematics, University
More informationHomotopy types of algebraic varieties
Homotopy types of algebraic varieties Bertrand Toën These are the notes of my talk given at the conference Theory of motives, homotopy theory of varieties, and dessins d enfants, Palo Alto, April 23-26,
More informationTHE PARAMODULAR CONJECTURE ARMAND BRUMER
THE PARAMODULAR CONJECTURE ARMAND BRUMER (Joint work with Ken Kramer and Magma) Modular Forms and Curves of Low Genus: Computational Aspects @ ICERM Sept. 30, 2015 B&Kramer: Certain abelian varieties bad
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 informationMODULAR FORMS AND ALGEBRAIC K-THEORY
MODULAR FORMS AND ALGEBRAIC K-THEORY A. J. SCHOLL In this paper, which follows closely the talk given at the conference, I will sketch an example of a non-trivial element of K 2 of a certain threefold,
More informationComputation of zeta and L-functions: feasibility and applications
Computation of zeta and L-functions: feasibility and applications Kiran S. Kedlaya Department of Mathematics, University of California, San Diego School of Mathematics, Institute for Advanced Study (2018
More informationMotives. Basic Notions seminar, Harvard University May 3, Marc Levine
Motives Basic Notions seminar, Harvard University May 3, 2004 Marc Levine Motivation: What motives allow you to do Relate phenomena in different cohomology theories. Linearize algebraic varieties Import
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 informationVoevodsky s Construction Important Concepts (Mazza, Voevodsky, Weibel)
Motivic Cohomology 1. Triangulated Category of Motives (Voevodsky) 2. Motivic Cohomology (Suslin-Voevodsky) 3. Higher Chow complexes a. Arithmetic (Conjectures of Soulé and Fontaine, Perrin-Riou) b. Mixed
More informationDiophantine equations and beyond
Diophantine equations and beyond lecture King Faisal prize 2014 Gerd Faltings Max Planck Institute for Mathematics 31.3.2014 G. Faltings (MPIM) Diophantine equations and beyond 31.3.2014 1 / 23 Introduction
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 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 informationAn abelian surface with constrained 3-power torsion
An abelian surface with constrained 3-power torsion Abstract. Christopher Rasmussen In my talk at the Galois Theoretic Arithmetic Geometry meeting, I described recent joint work with Akio Tamagawa on a
More informationSome. Manin-Mumford. Problems
Some Manin-Mumford Problems S. S. Grant 1 Key to Stark s proof of his conjectures over imaginary quadratic fields was the construction of elliptic units. A basic approach to elliptic units is as follows.
More informationElliptic curves and modularity
Elliptic curves and modularity For background and (most) proofs, we refer to [1]. 1 Weierstrass models Let K be any field. For any a 1, a 2, a 3, a 4, a 6 K consider the plane projective curve C given
More informationCongruent number problem
Congruent number problem A thousand year old problem Maosheng Xiong Department of Mathematics, Hong Kong University of Science and Technology M. Xiong (HKUST) Congruent number problem 1 / 41 Congruent
More informationLECTURE 1: OVERVIEW. ; Q p ), where Y K
LECTURE 1: OVERVIEW 1. The Cohomology of Algebraic Varieties Let Y be a smooth proper variety defined over a field K of characteristic zero, and let K be an algebraic closure of K. Then one has two different
More informationIntermediate Jacobians and Abel-Jacobi Maps
Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate
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 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 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 informationPossibilities for Shafarevich-Tate Groups of Modular Abelian Varieties
Possibilities for Shafarevich-Tate Groups of Modular Abelian Varieties William Stein Harvard University August 22, 2003 for Microsoft Research Overview of Talk 1. Abelian Varieties 2. Shafarevich-Tate
More informationMOTIVIC ANALYTIC NUMBER THEORY
MOTIVIC ANALYTIC NUMBER THEORY DANIEL LITT 1. Introduction [I d like to talk about some connections between topology, number theory, and algebraic geometry, arising from the study of configurations of
More informationBSD and the Gross-Zagier Formula
BSD and the Gross-Zagier Formula Dylan Yott July 23, 2014 1 Birch and Swinnerton-Dyer Conjecture Consider E : y 2 x 3 +ax+b/q, an elliptic curve over Q. By the Mordell-Weil theorem, the group E(Q) is finitely
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 informationMATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 2014) LECTURE 1 (FEBRUARY 7, 2014) ERIC URBAN
MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 014) LECTURE 1 (FEBRUARY 7, 014) ERIC URBAN NOTES TAKEN BY PAK-HIN LEE 1. Introduction The goal of this research seminar is to learn the theory of p-adic
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 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 information6.5 Elliptic Curves Over the Rational Numbers
6.5 Elliptic Curves Over the Rational Numbers 117 FIGURE 6.5. Louis J. Mordell 6.5 Elliptic Curves Over the Rational Numbers Let E be an elliptic curve defined over Q. The following is a deep theorem about
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.
RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis
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 informationOdds and ends on equivariant cohomology and traces
Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.
More informationApplications to the Beilinson-Bloch Conjecture
Applications to the Beilinson-Bloch Conjecture Green June 30, 2010 1 Green 1 - Applications to the Beilinson-Bloch Conjecture California is like Italy without the art. - Oscar Wilde Let X be a smooth projective
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 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 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 informationMotivic Fundamental Groups and Integral Points
Motivic Fundamental Groups and Integral Points Dissertation zur Erlangung des Doktorgrades der Mathematisch-Naturwissenschaftlichen Fakultät der Rheinischen Friedrich-Wilhelms-Universität Bonn vorgelegt
More informationTorsion points on modular curves and Galois Theory
Torsion points on modular curves and Galois Theory Kenneth A. Ribet and Minhyong Kim January 5, 2001 In elementary terms, the arithmetic theory of a curve X is concerned with solutions to a geometrically
More informationElliptic Curves: An Introduction
Elliptic Curves: An Introduction Adam Block December 206 Introduction The goal of the following paper will be to explain some of the history of and motivation for elliptic curves, to provide examples and
More informationLECTURE 1. ZETA FUNCTIONS: AN OVERVIEW
LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW Zeta functions encode the counting of certain objects of geometric, algebraic, or arithmetic behavior. What distinguishes them from other generating series are special
More informationVojta s conjecture and level structures on abelian varieties
Vojta s conjecture and level structures on abelian varieties Dan Abramovich, Brown University Joint work with Anthony Várilly-Alvarado and Keerthi Padapusi Pera ICERM workshop on Birational Geometry and
More informationForschungsseminar p-adic periods and derived de Rham Cohomology after Beilinson
Forschungsseminar p-adic periods and derived de Rham Cohomology after Beilinson Organizers: Lars Kindler and Kay Rülling Sommersemester 13 Introduction If X is a smooth scheme over the complex numbers,
More informationOn the Alexander stratification in the deformation space of Galois characters
On the Alexander stratification in the deformation space of Galois characters Masanori MORISHITA Abstract. Following the analogy between primes and knots, we give an arithmetic analogue of a theorem by
More informationTAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS
TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.
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 informationTORSION AND TAMAGAWA NUMBERS
TORSION AND TAMAGAWA NUMBERS DINO LORENZINI Abstract. Let K be a number field, and let A/K be an abelian variety. Let c denote the product of the Tamagawa numbers of A/K, and let A(K) tors denote the finite
More informationL-functions and Arithmetic. Conference Program. Title: On the conjecture of Birch and Swinnerton-Dyer for elliptic curves with complex multiplication
Monday, June 13 9:15-9:30am Barry Mazur, Harvard University Welcoming remarks 9:30-10:30am John Coates, University of Cambridge Title: On the conjecture of Birch and Swinnerton-Dyer for elliptic curves
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 informationThe complexity of Diophantine equations
The complexity of Diophantine equations Colloquium McMaster University Hamilton, Ontario April 2005 The basic question A Diophantine equation is a polynomial equation f(x 1,..., x n ) = 0 with integer
More informationAnabelian Phenomena in Geometry and Arithmetic
Anabelian Phenomena in Geometry and Arithmetic Florian Pop, University of Pennsylvania PART I: Introduction and motivation The term anabelian was invented by Grothendieck, and a possible translation of
More informationGalois Theory and Diophantine geometry
Galois Theory and Diophantine geometry Minhyong Kim August 5, 2009 Lecture at Cambridge workshop, July, 2009 The author must confess to having contemplated for some years a diagram of the following sort.
More informationElliptic curves and Hilbert s Tenth Problem
Elliptic curves and Hilbert s Tenth Problem Karl Rubin, UC Irvine MAA @ UC Irvine October 16, 2010 Karl Rubin Elliptic curves and Hilbert s Tenth Problem MAA, October 2010 1 / 40 Elliptic curves An elliptic
More informationGeometric Class Field Theory
Geometric Class Field Theory Notes by Tony Feng for a talk by Bhargav Bhatt April 4, 2016 In the first half we will explain the unramified picture from the geometric point of view, and in the second half
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 informationCONGRUENT NUMBERS AND ELLIPTIC CURVES
CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. In this short paper we consider congruent numbers and how they give rise to elliptic curves. We will begin with very basic notions before moving
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 informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
More informationWhat is a motive? Johan M. Commelin March 3, 2014
What is a motive? Johan M Commelin March 3, 2014 Abstract The question in the title does not yet have a definite answer One might even say that it is one of the most central, delicate, and difficult questions
More informationPythagoras = $1 million problem. Ken Ono Emory University
Pythagoras = $1 million problem Ken Ono Emory University Pythagoras The Pythagorean Theorem Theorem (Pythagoras) If (a, b, c) is a right triangle, then a 2 + b 2 = c 2. Pythagoras The Pythagorean Theorem
More informationPeriods, Galois theory and particle physics
Periods, Galois theory and particle physics Francis Brown All Souls College, Oxford Gergen Lectures, 21st-24th March 2016 1 / 29 Reminders We are interested in periods I = γ ω where ω is a regular algebraic
More informationLaval University, Québec September 2010
Conférence Québec-Maine Laval University, Québec September 2010 The Birch and Swinnerton-Dyer conjecture for Q-curves and Oda s period relations... Joint work in progress with Victor Rotger (Barcelona),
More informationIrrationality of 2 and Arakelov Geometry
Irrationality of 2 and Arakelov Geometry Jürg Kramer and Anna-Maria von Pippich Summary of a talk given by the first named author at the occasion of a visit to the Indian Institute of Technology at Madras
More informationThe Intrinsic Hodge Theory of p-adic Hyperbolic Curves
The Intrinsic Hodge Theory of p-adic Hyperbolic Curves Shinichi Mochizuki Research Institute for Mathematical Sciences Kyoto University Kyoto 606-01, JAPAN motizuki@kurims.kyoto-u.ac.jp 1. Introduction
More informationOn the notion of visibility of torsors
On the notion of visibility of torsors Amod Agashe Abstract Let J be an abelian variety and A be an abelian subvariety of J, both defined over Q. Let x be an element of H 1 (Q, A). Then there are at least
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 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 informationEXPLICIT RECIPROCITY LAW FOR LUBIN-TATE GROUPS
EXPLICIT RECIPROCITY LAW FOR LUBIN-TATE GROUPS (NOTES OF THE SEMINAR AT USC ON FEB. 13, 2001) TAKESHI TSUJI Let K be an imaginary quadratic field of class number 1 and let E be an elliptic curve over K
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 informationEndomorphism algebras of semistable abelian varieties over Q of GL(2)-type
of semistable abelian varieties over Q of GL(2)-type UC Berkeley Tatefest May 2, 2008 The abelian varieties in the title are now synonymous with certain types of modular forms. (This is true because we
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 informationThe pro-p Hom-form of the birational anabelian conjecture
The pro-p Hom-form of the birational anabelian conjecture Scott Corry at Appleton and Florian Pop at Philadelphia Abstract We prove a pro-p Hom-form of the birational anabelian conjecture for function
More informationThe Grothendieck Conjecture on the Fundamental Groups of Algebraic Curves. Hiroaki Nakamura, Akio Tamagawa, Shinichi Mochizuki
The Grothendieck Conjecture on the Fundamental Groups of Algebraic Curves Hiroaki Nakamura, Akio Tamagawa, Shinichi Mochizuki The Grothendieck Conjecture in the title is, in a word, a conjecture to the
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 information