On the p-adic Beilinson conjecture for number fields
|
|
- Paulina Tracey King
- 5 years ago
- Views:
Transcription
1 On the p-adic Beilinson conjecture for number fields Joint work with A. Besser, P. Buckingham and X.-F. Roblot Rob de Jeu jeu Department of Mathematics, Vrije Universiteit, Amsterdam On the p-adic Beilinson conjecture for number fields p. 1/27
2 The residue at s = 1 of ζ k (s) k: a number field of degree d with ring of integers O k r 1 : the number of real embeddings of k 2r 2 : the number of complex embeddings of k K 1 (O k ) = Ok has rank r = r 1 + r 2 1 σ 1,...,σ r+1 : the embeddings k C up to complex conjugation. If u 1,...,u r form a Z-basis of Ok /torsion, let 1 log σ 1 (u 1 )... log σ 1 (u r ).. R = 2r 2 [k : Q] det. 1 log σ r+1 (u 1 )... log σ r+1 (u r ) Then Res s=1 ζ k (s) = 2 r 1 (2π) r 2 R Cl(O k ) /(w D k ) [D k = discriminant of k, w = #roots of unity in k] On the p-adic Beilinson conjecture for number fields p. 2/27
3 Borel s theorem Theorem (Quillen+Borel) for n 2, K 2n 1 (k) is finitely generated; its rank m n equals r 2 for n even, r 1 + r 2 for n odd; there is a natural regulator map K 2n 1 (k) ( σ:k C R(n 1)) + = R m n, where R(m) = (2πi) m R C, and + indicates those (x σ ) σ with x σ = x σ ; the image is a lattice; if V n (k) is the volume of a fundamental domain of the image then ζ k (n) D k = q n π n(d m n) V n (k) for some q n in Q. On the p-adic Beilinson conjecture for number fields p. 3/27
4 Example If k = Q then ζ Q (s) = ζ(s) and we get n m n ζ(n) π 2 /6? π 4 /90? On the p-adic Beilinson conjecture for number fields p. 4/27
5 Interpolation formula The p-adic L-function L p of a totally real number field k satisfies L p (n,ωp 1 n,k) = E p (n,k)ζ k (n) for all integers n 0, where E p (s,k) = P p (1 N(P) s ). Here ω p : Gal(k/k) µ φ(2p) Q p is the Teichmüller character for k and p, i.e., the composition Gal(k/k) Gal(Q/Q) Gal(Q(µ 2p )/Q) = (Z/2pZ) µφ(2p) On the p-adic Beilinson conjecture for number fields p. 5/27
6 A special case of the conjecture Assume k is totally real, and take n 2 odd. Fix ordered Q-bases {a j } of k and {α j } of K 2n 1 (k) Z Q. (Both have dimension d.) Borel s map comes from composing 2 times the Beilinson regulator map reg : K 2n 1 (C) R(n 1) with σ : K 2n 1 (k) K 2n 1 (C) for all embeddings σ : k C. Let σ 1,...,σ d be the embeddings of k into C. With D 1/2, k = det(σi (a j )) and R n, (k) = det(reg σi, (α j)) Borel s theorem gives ζ k (n)d 1/2, k = q(n,k)r n, (k) for some q(n,k) in Q. On the p-adic Beilinson conjecture for number fields p. 6/27
7 Let F Q p be the topological closure of the Galois closure of k embedded into Q p in any way. There is a syntomic regulator reg p : K 2n 1 (F) F. Let σ p 1,...,σp d be the embeddings of k into F. Put D 1/2,p k = det(σ p i (a j)), R n,p (k) = det(reg p σ p i, (α j)). Conjecture (also special case of conjecture by Perrin-Riou) (1) in F we have, for some q p (n,k) in Q, L p (n,ωp 1 n,k)d 1/2,p k = q p (n,k)e p (n,k)r n,p (k) ; (2) in fact, q p (n,k) = q(n,k); (3) L p (n,ωp 1 n,k) and R n,p (k) are non-zero. On the p-adic Beilinson conjecture for number fields p. 7/27
8 A simple(?) open problem It is not known that L p (n,ωp 1 n, Q) 0 when n 2 is odd. On the p-adic Beilinson conjecture for number fields p. 8/27
9 A simple(?) open problem It is not known that L p (n,ωp 1 n, Q) 0 when n 2 is odd. For p > 2 this would certainly hold if p 1 ( 1) a (a) n = 2 1 n a=1 2 (b) n 0 in Z/pZ p 1 b=1 This seems to be the case often. Is it the case for infinitely many p when n is fixed? On the p-adic Beilinson conjecture for number fields p. 8/27
10 A motivic version Assume k/q is finite and Galois [but not necessarily totally real], with Galois group G. Fix embeddings φ : k C and φ p : k F. and R n,? (k) for? = or p are determinants of pairings D 1/2,? k and (, )? : Q[G] k C or F (σ,a) φ? (σ(a)) [, ]? : Q[G] (K 2n 1 (k) Z Q) R(n 1) or F (σ,α) reg? φ? (σ (α)) On the p-adic Beilinson conjecture for number fields p. 9/27
11 If E/Q is finite, π in E[G] an idempotent, then we can tensor k and K 2n 1 (k) with E and consider E-bilinear pairings and (, )? : E[G]π π(k Q E) E Q C or E Q F [, ]? : E[G]π π(k 2n 1 (k) Z E) E Q R(n 1) or E Q F On the p-adic Beilinson conjecture for number fields p. 10/27
12 If E/Q is finite, π in E[G] an idempotent, then we can tensor k and K 2n 1 (k) with E and consider E-bilinear pairings and (, )? : E[G]π π(k Q E) E Q C or E Q F [, ]? : E[G]π π(k 2n 1 (k) Z E) E Q R(n 1) or E Q F The dimensions for (, )? always match, for [, ]? they match in precisely two cases (for n 2): (1) the fixed field of the kernel of the representation of G on E[G]π is totally real, and n is odd; (2) the fixed field of the kernel of the representation of G on E[G]π is CM, complex conjugation of that field acts on E[G]π as multiplication by 1, and n is even. On the p-adic Beilinson conjecture for number fields p. 10/27
13 Write M E π for π(k Q E) and K 2n 1 (M E π ) for π(k 2n 1 (k) Z E). Fix ordered E-bases of those spaces, as well as of E[G]π. Let D(M E π ) 1/2,? be the determinant of the resulting pairing (, )?. In either case above, let R n,? (M E π ) be the determinant of the resulting pairing [, ]?. If χ π is the character of the representation of G on E[G]π one defines an E Q C valued L-function L(s,χ π 1, Q), with an Euler product L(s,χ π 1, Q) = p E p(s,χ π 1, Q). In the two cases above there is also a meromorphic E Q Q p -valued p-adic L-function, L p (s,χ π ωp 1 n, Q), together with an interpolation formula when s 0 is an integer. On the p-adic Beilinson conjecture for number fields p. 11/27
14 Conjecture (also...) In either case above, for n 2: (1) in E Q C we have L(n,χ π 1, Q)D(M E π ) 1/2, = e(n,m E π )R n, (M E π ) for some e(n,m E π ) in (E Q Q) ; (2) in E Q F we have L p (n,χ π ωp 1 n, Q)D(Mπ E ) 1/2,p = e p (n,m E π )E p (n,χ π 1, Q)R n,p (M E π ) for some e p (n,mπ E ) in (E Q Q) ; (3) in fact, e p (n,mπ E ) = e(n,mπ E ); (4) L p (n,χ π ωp 1 n, Q) and R n,p (Mπ E ) are units in E Q Q p and E Q F respectively. On the p-adic Beilinson conjecture for number fields p. 12/27
15 Zagier s conjecture: describing K 2n 1 (k) Let Li n (z) = j 1 zj j n (z in C with z < 1;n 0) Li 0 (z) = z/(1 z) Li 1 (z) = log(1 z) Li n+1 (z) = Li n(z)/z Li n (z) extends to a multi-valued analytic function on C \ {0, 1} on C \ {0, 1} P n (z) = π n 1 ( n 1 j=0 ) b j j! (2 log z )j Li n j (z) single-valued and satisfies P n (z) + ( 1) n P n (1/z) = 0. [b j = j-th Bernoulli number; π m = projection onto R(m) in C = R(m 1) R(m).] is On the p-adic Beilinson conjecture for number fields p. 13/27
16 For n 2: let B n (k) be a free abelian group on [x] n (x 0, 1 in k) define P n : B n (k) R(n 1) d [x] n (P n (σ(x))) σ:k C On the p-adic Beilinson conjecture for number fields p. 14/27
17 For n 2: let B n (k) be a free abelian group on [x] n (x 0, 1 in k) define P n : B n (k) R(n 1) d [x] n (P n (σ(x))) σ:k C define inductively: d n : B n (k) [x] n 2 Z k if n = 2 C n 1 (k) Z k if n > 2 { (1 x) x if n = 2 [x] n 1 x if n > 2 and C n (k) = B n (k)/ker(d n ) Ker( P n ). On the p-adic Beilinson conjecture for number fields p. 14/27
18 Conjecture (Zagier, reformulated by Deligne) For n 2: (i) there is an injection Ψ n : Ker(d n ) Ker(d n ) Ker( P n ) K 2n 1(k) Z Q with image a finitely generated group of maximal rank; (ii) Beilinson s regulator map is given by (n 1)! P n : commutes. Ker(d n ) Ker(d n ) Ker( P n ) Ψ n (n 1)! P n K 2n 1 (k) Z Q Q R(n 1) d σ reg σ On the p-adic Beilinson conjecture for number fields p. 15/27
19 Theorem (RdJ; Beilinson-Deligne) For n 2 there exists an injection Ψ n as in Zagier s conjecture such that the diagram commutes, with finitely generated image. Remark For n = 2 this was known before Zagier s conjecture and is due to Bloch and Suslin. The image in the theorem has maximal rank for: n = 2 (Suslin); n = 3 (Goncharov); all n 2 if k is cyclotomic; if ζ N = 1, ζ 1, then N[ζ] n lies in Ker(d n ) and the Ψ n (N[ζ] n ) generate K 2n 1 (k) Z Q (as Q-vector space). On the p-adic Beilinson conjecture for number fields p. 16/27
20 p-adic polylogarithms Coleman integration on P 1 C p C p = Q p p : p-adic valuation with p p = p 1 O: valuation ring F p : residue field Fix a logarithm log : C p C p such that: log(ab) = log(a) + log(b); log(1 + z) = usual power series expansion for z p small. For each x in P 1 F p (F p ) let: U x = residue disc of x = {all y in P 1 C p (C p ) that reduce to x} [a copy of the maximal ideal of O] t = t x = a local parameter on U x [e.g., t x = z x if x, t = 1/z] On the p-adic Beilinson conjecture for number fields p. 17/27
21 For x 1, in P 1 F p (F p ) let: A(U x ) = { n=0 a nt n that converge for t p < 1} A log (U x ) = A(U x ) Ω log (U x ) = A log (U x )dt For x = 1, let: A(U x ) = { n= a nt n conv. for r < t p < 1, some r < 1 } A log (U x ) = A(U x )[log t] Ω log (U x ) = A log (U x )dt Then 0 C p A log (U x ) d Ω log (U x ) 0 is exact for each x if we put dlog(t) = dt/t. On the p-adic Beilinson conjecture for number fields p. 18/27
22 Theorem (Coleman): There exists a subspace containing A Col x X(F p ) A log (U x ) A rig = lim r 1 A rig (P 1 C p \ {z such that z 1 p < r or z p > 1/r}) and such that, with Ω Col = A Col dz, 0 C p d A Col Ω Col 0 is exact. [z = affine parameter on A 1 C p ] On the p-adic Beilinson conjecture for number fields p. 19/27
23 Definition For ω in Ω Col and P,Q not in U 1 or U, let Q P ω = F ω (Q) F ω (P) for any F ω in A Col with df ω = ω. Example Put Li n+1 (z) = z 0 Li n(y)dlog y starting with Li 0 (z) = 1 z z. The Li n (z) are characterized in A Col by Li n (z) = j=1 j zj for z n p < 1 dli n+1 (z) = Li n (z)dlog(z) when n 0 Fact: the Li n (z) extend to C p \ {1}. On the p-adic Beilinson conjecture for number fields p. 20/27
24 The function P p n(z) = n 1 j=0 c j log j (z)li n j (z) with c 0 = 1 satisfies if n 1 j=0 c j (n j)! = 0. P p n(z) + ( 1) n P p n(z 1 ) = 0 We take any such function in what follows. On the p-adic Beilinson conjecture for number fields p. 21/27
25 Theorem (AB-RdJ) For σ : k F Q p let C σ n(k, O) = [x] n σ(x), 1 σ(x) are in O C n (k) = B n (k) Ker(d n ) Ker( P n ). Then Pn p,σ : B n (k) F given by [x] n Pn(σ(x)) p induces a map Pn p,σ : Cn(k, σ O) F and the solid arrows in C σ n(k, O) Ker(d n ) form a commutative diagram. Ker(d n ) Ψ n Ker(d n ) Ker( P n ) (n 1)!P p,σ (n 1)!Pn p,σ n K 2n 1 (k) Z Q F reg p σ On the p-adic Beilinson conjecture for number fields p. 22/27
26 Remark We conjecture that the dotted arrow exists and that the full diagram commutes. This holds for N[ζ] n in Ker(d n )/Ker(d n ) Ker( P n ) if ζ 1 is an N-th root of unity. On the p-adic Beilinson conjecture for number fields p. 23/27
27 Remark We conjecture that the dotted arrow exists and that the full diagram commutes. This holds for N[ζ] n in Ker(d n )/Ker(d n ) Ker( P n ) if ζ 1 is an N-th root of unity. Proposition If dim E (E[G]π) = 1 and the (motivic) conjecture applies then: (1) parts (1)-(3) hold; (2) part (4) also holds for χ π = 1, p = 2,...,19 and n = 2,...,20; (3) part (4) also holds for the 470 primitive characters χ π of Gal(Q(µ N )/Q) = (Z/NZ) with N = 3,...,49 for those values of p and n. On the p-adic Beilinson conjecture for number fields p. 23/27
28 Calculations We checked the conjecture numerically under the assumption that the dotted arrow in the last diagram exists and that the resulting diagram commutes. We checked the following cases (always for p = 2, 3, 5, 7, 11): k/q a totally real G = S 3 extension, π such that Q[G]π is an irreducible 2-dimensional representation of G (n = 3, 5) k/q a totally real G = D 8 extension, π such that Q[G]π is an irreducible 2-dimensional representation of G (n = 3, 5) k/q a CM G = D 8 extension, π such that Q[G]π is an irreducible 2-dimensional representation of G (n = 2, 4) k/q a totally real G = S 3 Z/3Z extension, π such that Q(ζ 3 )[G]π is an irreducible 2-dimensional representation of S 3 multiplied by a non-trivial character of Z/3Z (n = 3, 5) On the p-adic Beilinson conjecture for number fields p. 24/27
29 The conjecture holds numerically in all cases considered, with e(n,k)/e p (n,k) = 1 + O(p M(p) ) where M(2) = 72, M(3) = 47, M(5) = 32, M(7) = 26 and M(11) = 22 in the first three cases. It also holds in the last, where we took M(p) such that p M(p) was about On the p-adic Beilinson conjecture for number fields p. 25/27
30 Some values Splitting field of x 6 3x 5 2x 4 + 9x 3 5x + 1 G = S 3 n = 3 p R 3,p (M Q π )/D(M Q π ) 1/2,p 2 ( ) ( ) ( ) ( ) ( A928A A7888A) p L p (3,χ π ωp 2, Q) 2 ( ) ( ) ( ) ( ) (A A A278) On the p-adic Beilinson conjecture for number fields p. 26/27
31 Splitting field of x 4 2x 3 + 5x 2 4x + 2 G = D 8 n = 4 p R 4,p (M Q π )/D(M Q π ) 1/2,p 2 ( ) ( ) ( ) ( ) ( A ) p L p (4,χ π ωp 3, Q) 2 ( ) ( ) ( ) ( ) ( A2AA A7) On the p-adic Beilinson conjecture for number fields p. 27/27
On the p-adic Beilinson Conjecture for Number Fields
Pure and Alied Mathematics Quarterly Volume 5, Number 1 (Secial Issue: In honor of Jean-Pierre Serre, Part 2 of 2 ) 375 434, 2009 On the -adic Beilinson Conjecture for Number Fields A. Besser, P. Buckingham,
More informationPolylogarithms and Hyperbolic volumes Matilde N. Laĺın
Polylogarithms and Hyperbolic volumes Matilde N. Laĺın University of British Columbia and PIMS, Max-Planck-Institut für Mathematik, University of Alberta mlalin@math.ubc.ca http://www.math.ubc.ca/~mlalin
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 informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationKUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS
KUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS SEAN KELLY Abstract. Kummer s criterion is that p divides the class number of Q(µ p) if and only if it divides the numerator of some Bernoulli number
More informationCYCLOTOMIC FIELDS CARL ERICKSON
CYCLOTOMIC FIELDS CARL ERICKSON Cyclotomic fields are an interesting laboratory for algebraic number theory because they are connected to fundamental problems - Fermat s Last Theorem for example - and
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 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 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 informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free
More informationThe first layers of Z p -extensions and Greenberg s conjecture
The first layers of Z p -extensions and Greenberg s conjecture Hiroki Sumida June 21, 2017 Technical Report No. 63 1 Introduction Let k be a finite extension of Q and p a prime number. We denote by k the
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 informationINTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES
INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES VLADIMIR G. BERKOVICH Recall that there is a unique way to define for every comple manifold, every closed analytic one-form ω, and every continuous path
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 informationALGEBRA HW 9 CLAY SHONKWILER
ALGEBRA HW 9 CLAY SHONKWILER 1 Let F = Z/pZ, let L = F (x, y) and let K = F (x p, y p ). Show that L is a finite field extension of K, but that there are infinitely many fields between K and L. Is L =
More informationA SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )
A SIMPLE PROOF OF KRONECKER-WEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. Kronecker-Weber Theorem Let K/Q be
More informationA talk given at University of Wisconsin at Madison (April 6, 2006). Zhi-Wei Sun
A tal given at University of Wisconsin at Madison April 6, 2006. RECENT PROGRESS ON CONGRUENCES INVOLVING BINOMIAL COEFFICIENTS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093,
More informationHyperbolic volumes and zeta values An introduction
Hyperbolic volumes and zeta values An introduction Matilde N. Laĺın University of Alberta mlalin@math.ulberta.ca http://www.math.ualberta.ca/~mlalin Annual North/South Dialogue in Mathematics University
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationGalois Representations
9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and
More informationGalois Representations
Galois Representations Samir Siksek 12 July 2016 Representations of Elliptic Curves Crash Course E/Q elliptic curve; G Q = Gal(Q/Q); p prime. Fact: There is a τ H such that E(C) = C Z + τz = R Z R Z. Easy
More informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationUp to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor
Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,
More informationLecture III. Five Lie Algebras
Lecture III Five Lie Algebras 35 Introduction The aim of this talk is to connect five different Lie algebras which arise naturally in different theories. Various conjectures, put together, state that they
More informationMath Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013
Math 847 - Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem Spring 013 January 6, 013 Chapter 1 Background and History 1.1 Pythagorean triples Consider Pythagorean triples (x, y, z) so
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationThe Local Langlands Conjectures for n = 1, 2
The Local Langlands Conjectures for n = 1, 2 Chris Nicholls December 12, 2014 1 Introduction These notes are based heavily on Kevin Buzzard s excellent notes on the Langlands Correspondence. The aim is
More informationGALOIS THEORY. Contents
GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
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 informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationarxiv: v1 [math.nt] 15 Mar 2012
ON ZAGIER S CONJECTURE FOR L(E, 2): A NUMBER FIELD EXAMPLE arxiv:1203.3429v1 [math.nt] 15 Mar 2012 JEFFREY STOPPLE ABSTRACT. We work out an example, for a CM elliptic curve E defined over a real quadratic
More informationClass Field Theory. Anna Haensch. Spring 2012
Class Field Theory Anna Haensch Spring 202 These are my own notes put together from a reading of Class Field Theory by N. Childress [], along with other references, [2], [4], and [6]. Goals and Origins
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 informationNOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22
NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm
More informationAre ζ-functions able to solve Diophantine equations?
Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationIndependence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen)
Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Brown University Cambridge University Number Theory Seminar Thursday, February 22, 2007 0 Modular Curves and Heegner Points
More informationD-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.
D-MAH Algebra II FS18 Prof. Marc Burger Solution 26 Cyclotomic extensions. In the following, ϕ : Z 1 Z 0 is the Euler function ϕ(n = card ((Z/nZ. For each integer n 1, we consider the n-th cyclotomic polynomial
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationContradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.
1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore
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 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 informationGroup rings of finite strongly monomial groups: central units and primitive idempotents
Group rings of finite strongly monomial groups: central units and primitive idempotents joint work with E. Jespers, G. Olteanu and Á. del Río Inneke Van Gelder Vrije Universiteit Brussel Recend Trends
More informationThe Margulis-Zimmer Conjecture
The Margulis-Zimmer Conjecture Definition. Let K be a global field, O its ring of integers, and let G be an absolutely simple, simply connected algebraic group defined over K. Let V be the set of all inequivalent
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/25833 holds various files of this Leiden University dissertation Author: Palenstijn, Willem Jan Title: Radicals in Arithmetic Issue Date: 2014-05-22 Chapter
More informationThe Kronecker-Weber Theorem
The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the
More informationCOUNTING MOD l SOLUTIONS VIA MODULAR FORMS
COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation
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 informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationarxiv: v1 [math.nt] 13 Dec 2017
BLOCH GROUPS, ALGEBRAIC K-THEORY, UNITS, AND NAHM S CONJECTURE FRANK CALEGARI, STAVROS GAROUFALIDIS, AND DON ZAGIER arxiv:1712.04887v1 [math.nt] 13 Dec 2017 Abstract. Given an element of the Bloch group
More informationARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD
1 ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD BELGACEM DRAOUIL Abstract. We study the class field theory of curve defined over two dimensional local field. The approch used here is a combination
More informationKIDA S FORMULA AND CONGRUENCES
KIDA S FORMULA AND CONGRUENCES ROBERT POLLACK AND TOM WESTON 1. Introduction Let f be a modular eigenform of weight at least two and let F be a finite abelian extension of Q. Fix an odd prime p at which
More informationRing theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory
Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A talk in June, 2016 at Banff conference center.
More informationAlgebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9
Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation
More informationMahler measure and special values of L-functions
Mahler measure and special values of L-functions Matilde N. Laĺın University of Alberta mlalin@math.ualberta.ca http://www.math.ualberta.ca/~mlalin October 24, 2008 Matilde N. Laĺın (U of A) Mahler measure
More informationAlgebra Qualifying Exam Solutions. Thomas Goller
Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity
More informationALGEBRA 11: Galois theory
Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic
More informationOhio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti
Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions Timothy All Michael Belfanti July 22, 2013 Contents Spring 2012 1 1. Let G be a finite group and H a non-normal subgroup
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 informationA MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017
A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 7, 2017 Abstract. Following the natural instinct that when a group operates on a number field then every term in the
More informationChain Complexes and Herbrand Quotients
LECTURE 7 Chain Complexes and Herbrand Quotients Last time, we defined the Tate cohomology groups Ĥ0 (G, M) and Ĥ1 (G, M) for cyclic groups. Recall that if G = Z/nZ with generator σ, then a G-module is
More informationReal and p-adic Picard-Vessiot fields
Spring Central Sectional Meeting Texas Tech University, Lubbock, Texas Special Session on Differential Algebra and Galois Theory April 11th 2014 Real and p-adic Picard-Vessiot fields Teresa Crespo, Universitat
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 informationSome aspects of the multivariable Mahler measure
Some aspects of the multivariable Mahler measure Séminaire de théorie des nombres de Chevaleret, Institut de mathématiques de Jussieu, Paris, France June 19th, 2006 Matilde N. Lalín Institut des Hautes
More informationAlgebraic Number Theory
TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationProblems on Growth of Hecke fields
Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014
More informationp-adic fields Chapter 7
Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify
More informationp-adic L-functions for Dirichlet characters
p-adic L-functions for Dirichlet characters Rebecca Bellovin 1 Notation and conventions Before we begin, we fix a bit of notation. We mae the following convention: for a fixed prime p, we set q = p if
More informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
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 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 informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationarxiv: v1 [math.rt] 12 Jul 2018
ON THE LIFTING OF THE DADE GROUP CAROLINE LASSUEUR AND JACQUES THÉVENAZ arxiv:1807.04487v1 [math.rt] 12 Jul 2018 Abstract. For the group of endo-permutation modules of a finite p-group, there is a surjective
More informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationModularity of Abelian Varieties
1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists
More informationarxiv: v2 [math.nt] 29 Mar 2017
A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 30, 207 arxiv:703.0563v2 [math.nt] 29 Mar 207 Abstract. Following the natural instinct that when a group operates on
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 informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationHonours Research Project: Modular forms and Galois representations mod p, and the nilpotent action of Hecke operators mod 2
Honours Research Project: Modular forms and Galois representations mod p, and the nilpotent action of Hecke operators mod 2 Mathilde Gerbelli-Gauthier May 20, 2014 Abstract We study Hecke operators acting
More informationRamification Theory. 3.1 Discriminant. Chapter 3
Chapter 3 Ramification Theory This chapter introduces ramification theory, which roughly speaking asks the following question: if one takes a prime (ideal) p in the ring of integers O K of a number field
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 informationThere s something about Mahler measure
There s something about Mahler measure Junior Number Theory Seminar University of Texas at Austin March 29th, 2005 Matilde N. Lalín Mahler measure Definition For P C[x ±,...,x± n ], the logarithmic Mahler
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationLecture 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More 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 informationGalois Representations
Galois Representations Joel Bellaiche, Math 203b (Spring 2009) Contents 1 1 Introduction 1.1 Overview Three fields of study that are now thought to be related in quite fundamental ways are algebraic number
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 information1 Intro and History. 2 Ingredients. Stark's Conjecture Talk notes. Motivating example: = ln(1 + 2)
Stark's Conjecture Talk notes 1 Intro and History Motivating example: 1 1 3 1 5 + 1 7 + + = ln(1 + 2). This is L(1, χ) for the nontrivial χ : (Z/8Z) 2 C with χ( 1) = 1. The question is, broadly, why is
More informationLogarithm and Dilogarithm
Logarithm and Dilogarithm Jürg Kramer and Anna-Maria von Pippich 1 The logarithm 1.1. A naive sequence. Following D. Zagier, we begin with the sequence of non-zero complex numbers determined by the requirement
More informationSEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p
SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p JIM STANKEWICZ 1. Separable Field Extensions of degree p Exercise: Let K be a field of characteristic
More informationComputing coefficients of modular forms
Computing coefficients of modular forms (Work in progress; extension of results of Couveignes, Edixhoven et al.) Peter Bruin Mathematisch Instituut, Universiteit Leiden Théorie des nombres et applications
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
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 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 informationThe p-adic Numbers. Akhil Mathew
The p-adic Numbers Akhil Mathew ABSTRACT These are notes for the presentation I am giving today, which itself is intended to conclude the independent study on algebraic number theory I took with Professor
More information