K-groups of rings of algebraic integers and Iwasawa theory
|
|
- Abraham Matthews
- 6 years ago
- Views:
Transcription
1 K-groups of rings of algebraic integers and Iwasawa theory Miho AOKI Okayama University of Science 1
2 F/Q : finite abelian extension O F : the ring of algebraic integers of F K n (O F ) (n 0) H i (O F, Z p (n)) := Het í (Spec(O F[1/p]), Z p (n)) (i = 0, 1, 2, n Z) H i (G Σ (F ), Z p (n)) (:= lim H i (G Σ (F ), Z/p m Z(n))) Σ : all Archimedean primes & primes above p F Σ /F : the maximal algebraic Σ-ramified extension G Σ (F ) : =Gal(F Σ /F ) 2
3 p: odd prime number Conjecture (Quillen-Lichtenbaum) n 1 p-adic Chern class maps : K 2n+1 (O F ) Z Z p H 1 (O F, Z p (n + 1)) K 2n (O F ) Z Z p H 2 (O F, Z p (n + 1)) are isomorphisms. Remarks surjectivity & finite kernel [Soulé(1 n p 1), Dwyer and Friedlander (n 1))] K: totally imaginary field & p = 2 [Kahn] 3
4 Lemmas on H i (i = 1, 2) fr Zp H i (O F, Z p (n)) := H i (O F, Z p (n))/tor Zp H i (O F, Z p (n)) F := F (µ p ) G :=Gal(F /F ) w n (F ) :=max{n Gal(F (µ N )/F ) n = {1}} (n 0) w n (F ) = p w(p) n (F ) A m := p-part of the Σ-class groups of F m := F (µ p m+1) X := lim A m 4
5 Lemma (H 1 ) n 0 (1) tor Zp H 1 (O F, Z p (n)) Q p /Z p (n) G µ n w (p) n (F ) (2) fr Zp H 1 (O F, Z p (n)) Hom(G Σ (F ) ab Z p, Z p (n)) G Lemma (H 2 ) n 1 loc 2 0 X (n 1) G H 2 (O F, Z p (n)) p p µ 1 n w (p) 1 n (F p) µ 1 n w (p) 1 n (F ) 0 ( ) :=Hom(, Q p /Z p ) loc 2 : H 2 (G Σ (F ), Z p (n)) p p H2 (G Fp, Z p (n)) Keys of the Proofs Duality & Long exact sequence of Poitou-Tate. 5
6 K-groups and cyclotomic Z p -extensions F : totally real number field F m := F (µ p m+1), F := F (µ p ) :=Gal(F 0 /F ), Γ m :=Gal(F m /F 0 ), Γ :=Gal(F /F 0 ) G m :=Gal(F m /F ) Γ m G :=Gal(F /F ) Γ κ : G Z p cyclotomic character i.e. ζ τ = ζ κ(τ) for τ G, ζ µ p Ĝ Γ κ = ω κ 6
7 For even character χ Ĝm, L p (χ, s) s.t. L p (χ, 1 n) = L(χω n, 1 n) p p (1 χω n (p)n(p) n 1 )) for all integers n 1 0 Conjecture (L p ) L p (χ, 1 n) 0 for all even cheracters χ Ĝm and integers n 0. d i (n) := rank Zp H i (O Fm, Z p (n)) = corank Zp H i (O Fm, Q p /Z p (n)) Conjecture (d 2 )) d 2 (n) = 0 (n 1) Conjecture (d 1 ) d 1 (n) = [F m : Q]/2 (n 0, 1) [F m : Q]/2 + 1 (n = 0) 7
8 Remarks d 2 (1) = {p p p} 1, d 1 (1) = d 2 (1) + [F m : Q]/2 Finiteness of even-numbered K-groups d 2 (n) = 0 (n 2) Conjecture (L p ) + µ = 0 Conjecture (d 2 ) Conjecture (d 1 ) 8
9 Conjecture m 0, n 2 : integers. For all integers j, (K 2n 2 (Z[µ p m+1]) Z Z p ) ωj (K 2n 1 (Z[µ p m+1]) Z Z p ) ωj 0 if n \ j (mod 2) or n j (mod p 1), ( Λ/(f ω n j, g (m) 1 n )e ω j n+1 ) (n 1) otherwise. µ n D p,n,j if n j (mod 2), Hom Zp (Λ/(g (m) n )e ω n j, Z p (n)) otherwise. g (m) n = γ pm κ n (γ pm ) Λ := Z p [Γ] N p,n,j, D p,n,j : the power of p such that ψ Γ m L p (1 n, ω n j ψ) = N p,n,j D p,n,j Q p (N p,n,j, D p,n,j Z p, v p (N p,n,j ) = 0 or v p (D p,n,j ) = 0, N p,n,j p N p,n,j and D p,n,j p D p,n,j ) f ω n j Λ Z p [[T ]] such that f ω n j((1 + p) s 1) = L p (s, ω n j ) 9
10 Brumer conjecture and Coates-Sinnott conjecture F : totally real number field K/F : finite abelian extension G :=Gal(K/F ) S : finite set of primes of F containing all Archimedean primes & primes which ramify in K Definition (Partial zeta function) For σ G, ζ F,S (σ, s) = Na s (Re(s) > 1). (a,k/f )=σ a is prime to S Theorem [Klingen and Siegel] For all integers n 0, ζ F,S (σ, n) Q. Definition (Higer Stickelberger elements) For an integer n 0, θ S (n) = σ G ζ F,S (σ, n)σ 1 Q[G]. 10
11 Theorem (Integrality) [Iwasawa, Coates, Sinnott, Cassou-Noguès, Deligne and Ribet] For all integers n 0, ann Z[G] (µ n+1 w n+1 (K) ) θ S(n) Z[G]. Lemma n 0 ann Z[G] (µ n+1 w n+1 (K) ) = Na n+1 (a, K/F ) integral ideals a prime to S and w n+1 (K) Z[G]. (Na n+1 (a, K/F ))θ S (n) = σ G δ n+1(σ, a)σ 1, where δ n+1 (σ, a) = Na n+1 ζ F,S (σ, n) ζ F,S (σ(a, K/F ), n). Then Theorem (Integrality) δ n+1 (σ, a) Z. 11
12 Theorem (Congruence) [Iwasawa, Coates, Sinnott, Doligne and Ribet] Assume S contains all primes above p. δ n+1 (σ, a) (Nb σ a) n δ 1 (σ, a) mod w n (K)Z p where b σ is an integral ideal of F s.t. (b σ, K/F ) = σ. Theorem [Coates] Theorem (Integrality) + Theorem (Congruence) p-adic L-function exsists. 12
13 Conjecture (Brumer) ann Z[G] (µ K ) θ S (0) ann Z[G] (Cl K ). Conjecture (Brumer-p)) p : prime number. ann Zp [G](µ K Z Z p ) θ S (0) ann Zp [G](Cl K Z Z p ). Remarks Conjecture (Brumer) F = Q [Stickelberger]. Conjecture (Brumer-p) CM fields K such that p [K : F ] [Wiles] Conjecture (Brumer-p) CM fields K under some assumptions including a condition on the µ-invariant. [Greither] 13
14 Conjecture (Coates-Sinnott) n 1 : integer (1) ann Z[G] (tor Z (K 2n+1 (O K ))) θ S (n) Z[G] (2) ann Z[G] (tor Z (K 2n+1 (O K ))) θ S (n) ann Z[G] (K 2n (O K )) Conjecuture (Coates-Sinnott-p) p: prime number, n 1: integer (1) ann Zp [G](tor Zp (K 2n+1 (O K ) Z Z p )) θ S (n) Z p [G] (2) ann Zp [G](tor Zp (K 2n+1 (O K ) Z Z p )) θ S (n) ann Zp [G](K 2n (O K ) Z Z p ) Remarks Conjecture (Quillen-Lichtenbaum) + Lemma (H 1 ) + Theorem (Integrality) Conjecture (Coates-Sinnott-p) (1) 14
15 In cases F = Q and finite abelian extensions K/Q For n = 1 and odd prime numbers p [Coates and Sinnott] For integers n and odd prime numbers p (under Conjecture(Q-L)) [Nguyen Quang Do] For all results below, assume Conjecture(Q-L) In cases finite abelian extensions K/F of totally real fields both F and K For even integers n and odd prime numbers p under some assumption on the µ-invariant [Nguyen Quang Do] In cases finite abelian extensions K/F of totally real fields F and CM fields K For odd prime numbers p under some assumptions [Burns and Greither] For odd integers n and odd prime numbers p v p such that p n[k : F ] w(p) n (K v ) [Banaszak] w n (p) (K) 15
16 Theorem p : odd prime number Assume: I. Conjecture (Quillen-Lichtenbaum). II. S contains all primes above p. III. Conjecture (Brumer-p) for K m /F (K m = K(µ p m+1)) with sufficiently large m. v p w(p) n (K v ) IV. w (p) n (K) = 1. Then, Conjecture (Coates-Sinnott-p) is true. Remarks on the condition IV In particular, the condition IV holds in the following cases p does not ramify in K and (p 1) n. p does not split in K. The condition yields that the localization map : H 2 ét(spec(o K [1/p]), Z p (n + 1)) v p H 2 (K v, Z p (n + 1)) is a zero map. 16
17 Outline of the proof Proposition Assume condition II. For all integers m, n 0 and integral ideals a which are coprime to S, (Na n+1 (a, K m /F )) ζ F,S (σ, n)σ 1 σ G m (Na n+1 (a, K m /F )) σ G m ζ F,S (σ, 0)κ m (σ) n σ 1 (mod p m+1 Z p ). (Proof: Use Theorem (Congruence)) By Condition I and IV, K 2n (O K ) Z Z p H 2 (O K, Z p (n + 1)) X (n) Gal(K /K) X /IX (n) where I = σ κ n (σ) σ Gal(K /K). Coose m 0 satisfying the following conditions: X /IX p m+1 All ramified primes in K /K m are totally ramified. ν m,e (X /IX ) = 0 (ν m,e = 1+γ pe +γ 2pe + +γ pm p e ) 17
18 Put ζ = ζ p m+1. For a ζ n (X /IX )(n) = (X /IX ) µ n p m+1, (Na n+1 (a, K/F ))θ S (n) (a ζ n ) = (Na n+1 (a, K m /F )) σ G m ζ F,S (σ, n)σ 1 (a ζ n ) = (Na n+1 (a, K m /F )) σ G m ζ F,S (σ, 0)κ m (σ) n σ 1 (a ζ n ) = {Na n (Na (a, K m /F )) σ G m ζ F,S (σ, 0)σ 1 a} ζ n = 0. 18
19 (1) p8 Conjecture (L p ) + µ = 0 Conjecture (d 2 ) Conjecture (d 1 ), µ = 0 (,, µ).. (2) p5 Lemma (H 1 )(H 2 ) [S] + ) (3) p7 Conjecture (L p ) [KNF] p687 Conjecture (D k ) + µ = 0 Conjecture (L p ). (4) p7 Conjecture (d 2 ) [KNF] p683 p683 Conjecture (C m ) [CL] p521 Conjecture 3.1 (5) p8 Conjecture(d 2 ) Conjecture(d 1 ) ( [S] p192 Satz 6) (6) p9 Conjecture ( [A1]) (7) p12 Theorem [Coates] ( [C] p319 Theorem 4.4) (8) Brumer conjecture and Coates-Sinnott conjecture ( [A2]) [A1] M. Aoki, On some exact sequences in the theory of cyclotomic fields, Journal of Algebra, 2008, 320, [A2] M.Aoki, A note on the Coates-Sinnott conjecture, to appear in Bull. Lond. Math. Soc. [C] J. Coates, p-adic L-functions and Iwasawa s theory, Algebraic Number Fields : L-functions and Galois properties (ed. A. Fröhlich), Academic Press, London (1977) [CL] J. Coates and S. Lichtenbaum, On l-adic zeta functions, Ann. of Math. (2), 98 (1973) [KNF] M. Kolster, T. Nguyen Quang Do and V. Fleckinger, Twisted S-units, p-adic class number formulas, and the Lichtenbaum conjectures, Duke Math. J. 84 (1996), [S] P. Schneider, Über gewisse Galoiscohomologiegruppen, Math. Z. 168 (1979)
VALUES AT s = 1 OF L-FUNCTIONS FOR RELATIVE QUADRATIC EXTENSIONS OF NUMBER FIELDS, AND THE FITTING IDEAL OF THE TAME KERNEL
VALUES AT s = 1 OF L-FUNCTIONS FOR RELATIVE QUADRATIC EXTENSIONS OF NUMBER FIELDS, AND THE FITTING IDEAL OF THE TAME KERNEL Jonathan W. Sands Dept. of Mathematics and Statistics University of Vermont,
More informationL-VALUES AND THE FITTING IDEAL OF THE TAME KERNEL FOR RELATIVE QUADRATIC EXTENSIONS. Jonathan W. Sands
L-VALUES AND THE FITTING IDEAL OF THE TAME KERNEL FOR RELATIVE QUADRATIC EXTENSIONS Jonathan W. Sands Abstract. Fix a relative quadratic extension E/F of totally real number fields and let G denote the
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 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 informationANNIHILATION OF REAL CLASSES. Jean-Robert Belliard & Anthony Martin
ANNIHILATION OF REAL CLASSES by Jean-Robert Belliard & Anthony Martin Abstract. Let F be a number field, abelian over Q and let p be a prime unramified in F. In this note we prove that Solomon s ψ F element
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 informationTHE COATES SINNOTT CONJECTURE AND EIGENSPACES OF K GROUPS. PIETRO CORNACCHIA and PAUL ARNE ØSTVÆR. Contents. 1. Introduction and summary of results
THE COATES SINNOTT CONJECTURE AND EIGENSPACES OF K GROUPS PIETRO CORNACCHIA and PAUL ARNE ØSTVÆR Abstract. Let E signify a totally real Abelian number field with a prime power conductor and ring of p integers
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 informationFITTING IDEALS OF IWASAWA MODULES AND OF THE DUAL OF CLASS GROUPS. Dedicated to Professor Ken-ichi Shinoda. 1. Introduction
FITTING IDEALS OF IWASAWA MODULES AND OF THE DUAL OF CLASS GROUPS CORNELIUS GREITHER AND MASATO KURIHARA Dedicated to Professor Ken-ichi Shinoda Abstract. In this paper we study some problems related to
More informationModularity of Galois representations. imaginary quadratic fields
over imaginary quadratic fields Krzysztof Klosin (joint with T. Berger) City University of New York December 3, 2011 Notation F =im. quadr. field, p # Cl F d K, fix p p Notation F =im. quadr. field, p
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 informationON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS
Itoh, T. Osaka J. Math. 51 (2014), 513 536 ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS TSUYOSHI ITOH (Received May 18, 2012, revised September 19, 2012) Abstract
More informationCristian D. Popescu 1
THE RUBIN STARK CONJECTURE FOR IMAGINARY ABELIAN FIELDS OF ODD PRIME POWER CONDUCTOR Cristian D. Popescu 1 Abstract. We build upon ideas developed in [9], as well as results of Greither on a strong form
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 informationp-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007
p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:
More informationHILBERT MODULAR FORMS: MOD P AND P-ADIC ASPECTS
HILBERT MODULAR FORMS: MOD P AND P-ADIC ASPECTS F. Andreatta and E.Z. Goren This paper is concerned with developing the theory of Hilbert modular forms along the lines of the theory of elliptic modular
More 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 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 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 informationHIDA THEORY NOTES TAKEN BY PAK-HIN LEE
HIDA THEORY NOTES TAKEN BY PAK-HIN LEE Abstract. These are notes from the (ongoing) Student Number Theory Seminar on Hida theory at Columbia University in Fall 2017, which is organized by David Hansen
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 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 informationIntroduction to Kolyvagin systems
Contemporary Mathematics Introduction to Kolyvagin systems Barry Mazur and Karl Rubin Introduction Since their introduction by Kolyvagin in [Ko], Euler systems have been used in several important applications
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 informationKIDA S FORMULA AND CONGRUENCES
University of Massachusetts Amherst ScholarWorks@UMass Amherst Mathematics and Statistics Department Faculty Publication Series Mathematics and Statistics 2005 KIDA S FORMULA AND CONGRUENCES R Pollack
More informationON TRIVIAL p-adic ZEROES FOR ELLIPTIC CURVES OVER KUMMER EXTENSIONS. Daniel Delbourgo (Received 30 October, 2014)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 45 2015), 33-38 ON TRIVIAL p-adic ZEROES FOR ELLIPTIC CURVES OVER KUMMER EXTENSIONS Daniel Delbourgo Received 30 October, 2014) Abstract. We prove the exceptional
More informationMA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26
MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is
More 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 informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationON THE EQUATION X n 1 = BZ n. 1. Introduction
ON THE EQUATION X n 1 = BZ n PREDA MIHĂILESCU Abstract. We consider the Diophantine equation X n 1 = BZ n ; here B Z is understood as a parameter. We give new conditions for existence of solutions to this
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 informationKida s Formula and Congruences
Documenta Math. 615 Kida s Formula and Congruences To John Coates, for his 60 th birthday Robert Pollack and Tom Weston Received: August 30, 2005 Revised: June 21, 2006 Abstract. We consider a generalization
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 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 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 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 informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationOn metacyclic extensions
On metacyclic extensions Masanari Kida 1 Introduction A group G is called metacyclic if it contains a normal cyclic subgroup N such that the quotient group G/N is also cyclic. The category of metacyclic
More 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 informationThe Main Conjecture. 1 Introduction. J. Coates, R. Sujatha. November 13, 2009
The Main Conjecture J. Coates, R. Sujatha November 13, 2009 1 Introduction In his important papers [16], [17], Wiles proved in most cases the so-called main conjecture for the cyclotomic Z p -extension
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 informationPacific Journal of Mathematics
Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC
More informationON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS. Frank Gerth III
Bull. Austral. ath. Soc. Vol. 72 (2005) [471 476] 11r16, 11r29 ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS Frank Gerth III Recently Calegari and Emerton made a conjecture about the 3-class groups of
More informationAnti-cyclotomic Cyclicity and Gorenstein-ness of Hecke algebras
Anti-cyclotomic Cyclicity and Gorenstein-ness of Hecke algebras Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A talk in June, 2016 at Rubinfest at Harvard. The author
More informationarxiv:math/ v1 [math.nt] 23 Dec 2002
arxiv:math/0212420v1 [math.nt] 23 Dec 2002 SUPPORT PROBLEM FOR THE INTERMEDIATE JACOBIANS OF l-adic REPRESENTATIONS G. Banaszak, W. Gajda, P. Krasoń Abstract. We consider the support problem of Erdös in
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 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 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 informationTWO-PRIMARY ALGEBRAIC K-THEORY OF RINGS OF INTEGERS IN NUMBER FIELDS
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 13, Number 1, Pages 1 54 S 0894-0347(99)00317-3 Article electronically published on August 23, 1999 TWO-PRIMARY ALGEBRAIC K-THEORY OF RINGS OF INTEGERS
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 informationOn the theory of higher rank Euler and Kolyvagin systems
On the theory of higher rank Euler and Kolyvagin systems Notes by Tony Feng for a talk by David Burns June 15, 2016 1 Overview Let k be a number field and p 2 a prime. Fix a set of places S, which contains
More informationGrowth of Hecke fields over a slope 0 family
Growth of Hecke fields over a slope 0 family Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A conference talk on January 27, 2014 at Simons Conference (Puerto Rico). The
More informationINTERTWINING OF RAMIFIED AND UNRAMIFIED ZEROS OF IWASAWA MODULES
INTERTWINING OF RAMIFIED AND UNRAMIFIED ZEROS OF IWASAWA MODULES CHANDRASHEKHAR KHARE AND JEAN-PIERRE WINTENBERGER 1. Introduction Let F be a totally real field, p > 2 a prime, F F (µ p ) the cyclotomic
More informationVandiver s Conjecture via K-theory
Vandiver s Conjecture via K-theory Summer School on Cyclotomic fields, Pune, June 7-30, 1999 Eknath Ghate 1 Introduction The purpose of this note is to describe some recent work by Soulé [6] on Vandiver
More informationThe fractional Galois ideal for arbitrary order of vanishing
The fractional Galois ideal for arbitrary order of vanishing Paul Buckingham 617 CAB, Math and Statistical Sciences, University of Alberta, Edmonton AB T6G 2G1, Canada p.r.buckingham@ualberta.ca Abstract
More informationSTARK S QUESTION ON SPECIAL VALUES OF L FUNCTIONS. Cristian D. Popescu 1
TARK QUETION ON PECIAL VALUE OF L FUNCTION Cristian D. Popescu 1 Abstract. In 1980, tark posed a far reaching question regarding the second derivatives at s = 0 of L functions of order of vanishing two
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 informationHecke fields and its growth
Hecke fields and its growth Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. Kyushu university talk on August 1, 2014 and PANT talk on August 5, 2014. The author is partially
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 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 informationarxiv: v2 [math.nt] 12 Dec 2018
LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS SAZZAD ALI BISWAS Abstract. Let K/ be a quadratic tamely ramified extension of a non-archimedean local field of characteristic zero. In this
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 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 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 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 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 informationTHE GAUSS HIGHER RELATIVE CLASS NUMBER PROBLEM
Ann. Sci. Math. Québec 32 (2008), no 2, 221 232 THE GAUSS HIGHER RELATIVE CLASS NUMBER PROBLEM JOHN VOIGHT Dedicated to professor John Labute on the occasion of his retirement. RÉSUMÉ. Sous l hypothèse
More informationACTA ARITHMETICA. Riemann{Hurwitz formula in basic Z S -extensions. Yi Ouyang (Hefei and Minneapolis, Minn.) and Fei Xu (Hefei)
ACTA ARITHMETICA * (199*) Riemann{Hurwitz formula in basic Z S -extensions by Yi Ouyang (Hefei and Minneapolis, Minn.) and Fei u (Hefei) 1. Introduction. Let p be a prime number and F be a CM-eld. Let
More informationPart II Galois Theory
Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
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 informationNon CM p-adic analytic families of modular forms
Non CM p-adic analytic families of modular forms Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. The author is partially supported by the NSF grant: DMS 1464106. Abstract:
More informationOn cohomology groups H 1 of G modules of finite type over cyclic groups
arxiv:1507.02370v2 [math.nt] 18 May 2016 On cohomology groups H 1 of G modules of finite type over cyclic groups Derong Qiu (School of Mathematical Sciences, Capital Normal University, Beijing 100048,
More informationEKNATH GHATE AND VINAYAK VATSAL. 1. Introduction
ON THE LOCAL BEHAVIOUR OF ORDINARY Λ-ADIC REPRESENTATIONS EKNATH GHATE AND VINAYAK VATSAL 1. Introduction In this paper we study the local behaviour of the Galois representations attached to ordinary Λ-adic
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 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 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 informationOn the Structure of Ideal Class Groups of CM-Fields
539 On the Structure of Ideal Class Groups of CM-Fields dedicated to Professor K. Kato on his 50th birthday Masato Kurihara Received: November 30, 2002 Revised: June 30, 2003 Abstract. For a CM-field K
More informationClass Field Theory. Travis Dirle. December 4, 2016
Class Field Theory 2 Class Field Theory Travis Dirle December 4, 2016 2 Contents 1 Global Class Field Theory 1 1.1 Ray Class Groups......................... 1 1.2 The Idèlic Theory.........................
More informationGlobal Units modulo Circular Units : descent without Iwasawa s Main Conjecture.
Global Units modulo Circular Units : descent without Iwasawa s Main Conjecture. Jean-Robert Belliard arxiv:0912.2528v1 [math.nt] 13 Dec 2009 Université de Franche-Comté, Laboratoire de mathématiques UMR
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 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 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 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 informationEXPLICIT COMPUTATION OF GROSS-STARK UNITS OVER REAL QUADRATIC FIELDS
EXPLICIT COMPUTATION OF GROSS-STARK UNITS OVER REAL QUADRATIC FIELDS BRETT A. TANGEDAL AND PAUL T. YOUNG Dedicated to the memory of David R. Hayes Abstract. We present an effective and practical algorithm
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 informationREVIEW OF GALOIS DEFORMATIONS
REVIEW OF GALOIS DEFORMATIONS SIMON RUBINSTEIN-SALZEDO 1. Deformations and framed deformations We'll review the study of Galois deformations. Here's the setup. Let G be a pronite group, and let ρ : G GL
More informationON THE EQUIVARIANT TAMAGAWA NUMBER CONJECTURE FOR TATE MOTIVES AND UNCONDITIONAL ANNIHILATION RESULTS
ON THE EQUIVARIANT TAMAGAWA NUMBER CONJECTURE FOR TATE MOTIVES AND UNCONDITIONAL ANNIHILATION RESULTS HENRI JOHNSTON AND ANDREAS NICKEL Abstract. Let L/K be a finite Galois extension of number fields with
More informationOn the existence of unramified p-extensions with prescribed Galois group. Osaka Journal of Mathematics. 47(4) P P.1165
Title Author(s) Citation On the existence of unramified p-extensions with prescribed Galois group Nomura, Akito Osaka Journal of Mathematics. 47(4) P.1159- P.1165 Issue Date 2010-12 Text Version publisher
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 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 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 informationOn The Structure of Certain Galois Cohomology Groups
Documenta Math. 335 On The Structure of Certain Galois Cohomology Groups To John Coates on the occasion of his 60th birthday Ralph Greenberg Received: October 31, 2005 Revised: February 14, 2006 Abstract.
More informationCristian D. Popescu 1
THE RUBIN STARK CONJECTURE FOR A SPECIAL CLASS OF FUNCTION FIELD EXTENSIONS Cristian D. Popescu 1 Abstract. We prove a strong form of the Brumer Stark Conjecture and, as a consequence, a strong form of
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 informationOrdinary forms and their local Galois representations
Ordinary forms and their local Galois representations Eknath Ghate Abstract. We describe what is known about the local splitting behaviour of Galois representations attached to ordinary cuspidal eigenforms.
More informationM ath. Res. Lett. 15 (2008), no. 6, c International Press 2008
M ath. Res. Lett. 15 (2008), no. 6, 1223 1231 c International Press 2008 A FINITENESS CONJECTURE ON ABELIAN VARIETIES WITH CONSTRAINED PRIME POWER TORSION Christopher Rasmussen and Akio Tamagawa Abstract.
More information1. Artin s original conjecture
A possible generalization of Artin s conjecture for primitive root 1. Artin s original conjecture Ching-Li Chai February 13, 2004 (1.1) Conjecture (Artin, 1927) Let a be an integer, a 0, ±1, and a is not
More informationDUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE
DUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE C. RYAN VINROOT Abstract. We prove that the duality operator preserves the Frobenius- Schur indicators of characters
More informationQUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES.
QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES. P. GUERZHOY The notion of quadratic congruences was introduced in the recently appeared paper [1]. In this note we present another, somewhat more conceptual
More informationLocal root numbers of elliptic curves over dyadic fields
Local root numbers of elliptic curves over dyadic fields Naoki Imai Abstract We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension
More information