AWS 2018, Problem Session (Algebraic aspects of Iwasawa theory)
|
|
- Victor O’Connor’
- 5 years ago
- Views:
Transcription
1 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 Selmer groups 4 4 Iwasawa Invariants of Elliptic Curves 7 A Selmer groups: Definitions and Examples 8 A.1 Greenberg local conditions and Selmer groups Commutative Algebra 1.1. For a positive integer m, we let µ m denote the mth roots of unity. Prove that the integral closure O of Z in Q(µ p ) := n Q(µ pn) is not a Dedekind ring Suppose Γ = Z p and let Λ := Z p [[Γ]]. If 0 M N K 0 is a short exact sequence of Λ-modules, prove that there exists an exact sequence 0 M Γ N Γ K Γ M Γ N Γ K Γ Let Λ := Z p [[T ]] and f = i=0 a it i Λ with a
2 Prove that f Q p [[T ]] Write f 1 = i=0 b it i with b i Q p. Prove that ord p (b i ) (i + 1)ord p (a 0 ) Conclude that Frac(Λ) is not contained in the Laurent series ring Q p ((T )) Suppose that R is a complete local Noetherian domain Prove that pseudo-isomorphism is an equivalence relation in the category of finitely generated R-modules Suppose that 0 M N K 0 is a short exact sequence of finitely generated torsion R-modules. If there no height-one primes of R contained in supp(m) supp(k), then N is pseudoisomorphic to M K Let Λ = Z p [[T ]] and M be a finitely generated torsion Λ-module. Suppose that we are given a sequence g n Λ of distinguished polynomial such that lim deg g n =. n If the sequence {dim Fp M/(g n, p)m} n is bounded, prove that µ(m) = Let K be any field that contains 2pth roots of unity and let K /K denote its cyclotomic Z p -extension. Set Γ K := Gal(K /K) = Z p and Λ := Z p [[Γ K ]]. Let γ denote a topological generator of Γ K and identify Λ with Z p [[T ]] via γ 1 + T. Set u := χ cyc (γ) Prove that u 1 + qz p, where q = p if p > 2 or q = 4 otherwise For any f Z p [[T ]], we may consider M := Λ/fΛ as a G K -module. Let M(i) denote its ith Tate-twist. Prove that we have an isomorphism of Λ-modules. M(i) Λ/f(u i (1 + T ) 1)Λ For a finitely generated Λ-module M, prove that M(i) Γ K is finite for all but finitely many i. 2 Classical Iwasawa Theory (of Tate motives) 2.1. Find a number field K and a prime p such that the first layer K 1 /K in the cyclotomic Z p -tower of K is unramified Suppose L/K is a finite extension of number fields If Leopoldt s conjecture is valid for L and p, prove that it also holds true for K and p. 2
3 Suppose L is a CM extension and K := L + its maximal totally real subfield. If the Leopoldt conjecture holds for K and p, prove that it is also true for L and p Prove that Leopoldt s conjecture for abelian extensions of Q follows from Leopoldt s conjecture for totally real abelian extensions Let K be a number field and K /K a Z p -extension of K. For n 0, let K n /K denote the unique subsextension of K /K that has degree p n over K, set Γ n = Gal(K /K n ) and let A n denote the p-sylow subgroup of the ideal class group of K n. Let L denote the maximal abelian unramified pro-p extension of K and let X := Gal(L /K ) denote its Galois group over K Prove that µ(x) = 0 if and only if {dim Fp A n /pa n } is bounded as n tends to infinity Calculate µ(x) and λ(x) for K = Q (and for the obvious choice of K ) Suppose there is only one prime of K that ramifies in K /K and that prime is totally ramified. Prove that X Γn A n and that A 0 = 0 if and only if A n = 0 for all n Find a number field K and a prime p such that the ν-invariant for the cyclotomic Z p -tower is non-zero Suppose Γ Z p and for each non-negative integer n, set Γ n := Γ pn. Let Λ = Z p [[Γ]] and let M be a finitely generated torsion Λ-module with characteristic polynomial f. Prove that the following three conditions are equivalent: (i) M Γn (ii) M Γn is finite. is finite. (iii) f(ζ 1) is non-zero for any ζ µ p n. When this is the case, prove that M Γn M Γn = p µ(m)pn ζ µ p n f(ζ 1) p Let F be an imaginary quadratic field and p be an odd prime. Let h (p) F denote the order of the p-sylow subgroup of the ideal class group of F. Let F /F denote the cyclotomic Z p -extension of K and X the Galois group of the maximal abelian unramified pro-p extension of F over F. Let f X (T ) denote any generator of the characteristic ideal of X. Suppose the prime p is either inert or ramified in F/Q Prove that f X (0) Prove that ord p h (p) F = ord pf X (0). 3
4 2.7. Let F be an imaginary quadratic field and p be an odd prime. Let h (p) F denote the order of the p-sylow subgroup of the ideal class group of F. Let F /F denote the cyclotomic Z p -extension of K and X the Galois group of the maximal abelian unramified pro-p extension of F over F. Let f X (T ) denote any generator of the characteristic ideal of X. Suppose the prime p is split in F/Q Prove that f X (T ) has a simple zero at T = Suppose F = Q(i). Calculate f X (0) More generally, calculate the ratio f X (0)/h(p) F With the notation of Problem 2.5, let N be a finitely generated Λ-module. Prove for sufficiently large n that rank Zp N Γn = p n rank Λ N + c for some constant c that doesn t depend on n Let K be a number field and K /K its cyclotomic Z p -extension. Let X K denote the Galois group of the maximal abelian unramified pro-p extension of K over K. Set µ K := µ(x K ). Let L be a finite extension of K. If µ L = 0, prove that µ K = 0 as well Let K be a number field and let S denote a set of places of K, containing all primes above p and places above. Let K /K be a Z p -extension of K and let X S denote the Galois group of the maximal abelian pro-p extension of K unramified outside S. Prove that the weak Leopoldt conjecture for K /K holds true if and only if rank Λ X S = r 2 (K) Suppose p is odd, K is a totally real number field and K = K(µ p ). Let S and X S be as in the previous problem. If µ K = 0 (with the notation of Problem 2.9), prove then that µ(x S ) = 0 for all choices of the finite set S (containing all primes of K above p and ). 3 Galois cohomology and Selmer groups 3.1. Let n be a positive integer and let µ p n denote the Galois module of p n th roots of unity Let F be any field. Prove that H 1 (F, µ p n) = F /(F ) pn Conclude that H 1 (F, Z p (1)) = F := lim F /(F ) pn, the p-adic completion of F Let l be a prime and suppose F is a finite extension of Q l. Calculate H 0 (F, µ p n) H 1 (F, µ p n) + H 2 (F, µ p n). 4
5 3.2. Suppose F is any field. Let O be the ring of integers of a finite extension of Q p and let χ be an O-valued character of G F that has finite prime-to-p order. Let L denote the finite extension of F, which is the fixed field of ker(χ). We write O(χ) to denote the free O-module of rank one on which G F acts by χ. Set T n := µ p n O(χ 1 ). Observe that T n = O(χ)/p n O(χ) Prove that H 1 (F, T n ) = ( L /(L ) pn ) χ, where for an O[[GF ]]-module M, we write M χ for the χ-isotypic component of its p-adic completion Prove that H 1 (F, T n) = Hom(G F, Z/p n Z) χ Set T := lim T n = Z p (1) O(χ 1 ) and T = lim T n = O(χ) Q p /Z p. Show that H 1 (F, T ) = (L ) χ and H 1 (F, T ) = Hom(G L, Q p /Z p ) χ Let l be a prime and suppose F is a finite extension of Q l. Let L be given as above and let λ denote its maximal ideal. Let I L G L denote the inertia subgroup so that the Galois group Gal(L ur /L) of the maximal unramified extension of L equals G L /I L. Prove that H 1 ur(f, T ) = Hom(G L /I L, Q p /Z p ) χ 1, the module of unramified homomorphisms into Q p /Z p In the situation of previous example, use local class field theory to conclude that H 1 ur(f, T ) = U χ L, where U L F is the subgroup of units Suppose F is a number field and all other notation in this problem follows that we have set in Problem 3.3. Let F can denote the canonical Selmer structure on T, as defined in Appendix A For each prime λ Σ(F can ) of F that does not lie above p, prove that H 1 F can (F λ, T ) = q λ U χ L q ; H 1 F can (F λ, T ) = q λ Hom(G Lq /I Lq, Q p /Z p ) χ 1. Hint: You may wish to figure out what semi-local Shapiro s lemma should look like Deduce that H 1 F can (F, T ) = (O L [1/p] ) χ and H 1 F can (F, T ) = Pic(O L [1/p]) χ Suppose that χ(p) 1 for primes p of F lying above p. Prove that ( OL [1/p] ) χ = ( O L ) χ and Pic(O L [1/p]) χ = Cl(L) χ. 5
6 Conclude that rank O HF 1 can (F, T ) rank O HF 1 (F, T ) = r can 1 (F ) + r 2 (F ) + 1 p p,χ(p)=1 if χ is non-trivial, and otherwise, that rank O HF 1 can (F, T ) rank O HF 1 (F, T ) = r can 1 (F ) + r 2 (F ) + g(f ) 1 where g(f ) is the number of primes of F that lie above p Prove that for T := Z p (1) Λ cyc we have rank Λcyc HF 1 Λ (F, T) rank Λcyc HF 1 (F, Λ T ) = r 1 (F ) + r 2 (F ) ( = rank Zp IndF/Q Z p (1) ) 3.5. Let F str denote the Selmer structure on T := Z p (1) Λ cyc given as in Example A Given a number field F, let Ô, F denote the kernel of Ô F p Ô F. Prove that HF 1 str (K, T) = lim Ô, n K n. In particular, weak Leopoldt conjecture in this set up is equivalent to the requirement that HF 1 str (K, T) = Let S denote the set of places of K above p and and let X S denote the module introduced in Problem 2.10 (with K = K cyc, the cyclotomic Z p - extension). Prove that H 1 F str (K, T ) = XS Prove that rank Λcyc H 1 F str (K, T) rank Λcyc H 1 F str (K, T ) = r 2 (F ). Remark. As you will learn in J. Coates lectures, Iwasawa has proved Leopoldt s conjecture for cyclotomic Z p -extensions. This, together with Problem 2.10, is a refinement of the equality above Suppose T is a free Z p -module of finite rank, which is endowed with a continuous G Q -action such that the residual representation T/pT is absolutely irreducible, non-trivial and unramified outside a finite set of primes. Prove that rank Zp H 1 F can (Q, T ) rank Zp H 1 F can (Q, T ) = rank Zp T + corank Zp (H 0 (Q p, T )) and explain how this generalizes the conclusion of Problem Suppose T is as in Problem 3.6. Set T := T Λ cyc and let F Λ denote the Selmer structure on T we have introduced in Appendix A. 6
7 Prove for l p that H 1 (Q ur l, T) = Prove that rank Λcyc H 1 F Λ (Q, T) rank Λcyc H 1 F Λ (Q, T ) = rank Zp T =: d (T ) We say that weak Leopoldt conjecture for T holds if H 1 F Λ (Q, T ) is torsion (in view of Problem 3.7.2, this is equivalent to the requirement that rank Λcyc H 1 F Λ (Q, T) = d (T )). If H 0 (Q, T ) = 0 and weak Leopoldt conjecture holds for T, prove that H 1 F Λ (Q, T) is in fact a free Λ cyc -module of rank d (T ). 4 Iwasawa Invariants of Elliptic Curves 4.1. Assume that p is an odd prime and E /Q is an elliptic curve with ordinary reduction at p. Assume also that E[p ] contains a G Q -invariant subgroup Φ of order p, which is either ramified at p and even; or unramified at p and odd. Let Σ denote the set of places that consists of all bad primes for E, the prime p and the infinite place Let Ψ := E[p]/Φ denote the one-dimensional F p -vector space. Prove that the G Q -action on Ψ is either unramified at p and odd (in case Φ is ramified at p and even) or else it is ramified at p and even (in case Φ is unramified at p and odd) Suppose that M is a one-dimensional F p -vector space which is endowed with a G Q -action. For each prime v of Q above l p, prove that H 1 (Q,v, M) has finite cardinality Let M be as in the previous problem. Suppose G Q acts on M via the character χ. Set H 1 ur(q Σ/Q, M) denote the collection of everywhere unramified cohomology classes. Prove that H 1 ur(q Σ /Q, M) = Hom(X χ, M) where X = Gal(L /F ), with F = F Q and F = Q ker χ ; L the maximal abelian unramified pro-p extension of F Show that Ferrero-Washington theorem implies Hur(Q 1 Σ /Q, M) for M as in the previous two problems Prove that H 1 (Q Σ /Q, E[p]) H 1 (Q Σ /Q, E[p ])[p] Prove that µ E = Use Mazur s theorem to determine all possible primes p that the conditions of this problem can apply Let p be an odd prime and suppose E /Q is an elliptic curve with good ordinary reduction at p. Suppose E(Q)[p] = 0. 7
8 Prove that E(K)[p] = 0 for every pro-p extension K/Q Prove that all three arrows lim n HF 1 (Q n, E[p]) lim H 1 Gr n F (Q n, E[p ])[p] H 1 Gr F (Q, T p(e) )[p] Gr are isomorphisms. Conclude that the following assertions are equivalent: µ E = 0. lim n H 1 F Gr (Q n, E[p]) has finite cardinality. The sequence of integers {#H 1 F Gr (Q n, E[p])} n is bounded Let Σ denote the set of places that consists of all bad primes for E, the prime p and the infinite place. Choose any subset Σ 0 of Σ which contains all places of bad reduction, but does not contain p and. We define Sel Σ 0 E[p ] (Q ) to denote the Selmer group by relaxing all local requirements at primes l Σ 0. Define similarly Sel Σ 0 E[p] (Q ) Prove that Sel Σ 0 E[p] (Q ) Sel Σ 0 E[p ] (Q )[p] Prove that Sel Σ 0 E[p ] (Q ) is Λ-torsion and its µ-invariant equals µ E Suppose that E 1 and E 2 are two elliptic curves defined over Q, both with ordinary reduction at p. Suppose moreover that E 1 [p] = E 2 [p] as G Q -modules. Let Σ denote the set of places that consists of all bad primes for E 1 and E 2, the prime p and the infinite place. Choose any subset Σ 0 of Σ which contains all places of bad reduction both for E 1 and E 2, but does not contain p and Prove that the module Sel Σ 0 E 1 [p ] (Q )[p] has finite cardinality if and only if Sel Σ 0 E 2 [p ] (Q )[p] does Deduce that µ E1 = 0 if and only if µ E2 = 0. A Selmer groups: Definitions and Examples Let K be a number field and let R be a complete local noetherian Z p -algebra. Let M be a R[[G K ]]-module which is free of finite rank over R. Definition A.1. A Selmer structure F on M is a collection of the following data: A finite set Σ(F) of places of K, including all infinite places and primes above p as well as all primes where M is ramified. For every λ Σ(F) a local condition on M, i.e., a choice of R-submodule H 1 F(K λ, M) H 1 (K λ, M). 8
9 Definition A.2. The semi-local cohomology group at a rational prime l is defined by setting H i (K l, M) := H i (K λ, M), λ l where the direct sum is over all primes λ of K lying above l. Let λ be a prime of K. There is the perfect local Tate pairing, λ : H 1 (K λ, M) H 1 (K λ, M ) H 2 (K λ, µ p ) Q p /Z p, where M := Hom(M, µ p ) stands for the Cartier dual of M. For a Selmer structure F on M, define H 1 F (K λ, M ) := H 1 F (k λ, M) as the orthogonal complement of H 1 F (K λ, M) with respect to the local Tate pairing. The Selmer structure F on M, with Σ(F) = Σ(F ), defined in this way will be called the dual Selmer structure. Definition A.3. If F is a Selmer structure on M, we define the Selmer module HF 1 (K, M) as HF(k, 1 M) := ker H ( 1 Gal(K Σ(F) /K ), M) H 1 (K λ, M) / HF(K 1 λ, M), λ Σ(F) where K Σ(F) is the maximal extension of K which is unramified outside Σ(F). We also define the dual Selmer structure in a similar fashion; just replace M by M and F by F above. Example A.4. (i) Let R = Z p and let M be a free R-module endowed with a continuous action of G K, which is unramified outside a finite set of places of K. We define a Selmer structure F can on M by setting and Σ(F can ) = {λ : M is ramified at λ} { p} {v }, if λ Σ(F can ), λ p, we define the local condition at λ to be H 1 F can (K λ, M) = ker(h 1 (K λ, M) H 1 (K ur λ, M Q p )), where K ur λ is the maximal unramified extension of K λ; if p, we define the local condition at by setting H 1 F can (k, M) = H 1 (k, M). The Selmer structure F can is called the canonical Selmer structure on M. 9
10 (ii) Let now R = Λ be the cyclotomic Iwasawa algebra and let M be as in the previous example. We define a Selmer structure F Λ on M := M Λ (which we endow with diagonal Galois action) by setting Σ(F Λ ) = F can and HF 1 Λ (K λ, M) = H 1 (K λ, M) for every λ Σ(F Λ ). A trivial extension of Problem tells us that for any λ p, HF 1 Λ (K λ, M) = ker ( H 1 (K λ, M) H 1 (Kλ ur, M) ) consists of unramified classes. As above, we then have a dual Selmer structure F Λ on M := Hom(M, µ p ). In explicit terms, it is given by the local conditions H 1 F Λ (K λ, M ) = 0 for λ Σ(F can ). (iii) For a general R (of characteristic zero) and M, we let F str denote the strict Selmer structure, which we define by setting Σ(F str ) = {λ : M is ramified at λ} { p} {v }, and if λ Σ(F str ), λ p, we define the local condition at λ to be H 1 F str (K λ, M) = ker(h 1 (K λ, M) H 1 (K ur λ, M[1/p])), if p, we define the local condition at by setting H 1 F can (k, M) = 0. Definition A.5. Suppose that F is a local condition (at a prime λ of K) on M. If M is a submodule of M (resp. M is a quotient module), then F induces local conditions (which we still denote by F) on M (resp. on M ), by taking H 1 F (k λ, M ) (resp. H 1 F (k λ, M )) to be the inverse image (resp. the image) of H 1 F (k λ, M) under the natural maps induced by M M, M M. Propagation of a local condition F on M to a submodule M (and a quotient M ) of M is the local condition F on M (and on M ) obtained following the above procedure. For example, if I is an ideal of R, then a local condition on M induces local conditions on M/IM and M[I], by propagation (which is customarily denoted by the same symbol). A.1 Greenberg local conditions and Selmer groups For the sake of simplicity (and since we do not offer anything original in these notes anyway and there are certainly better places to learn more about this material we shall present), we shall only concentrate in the case when K = Q. 10
11 Definition A.6. Let O be the ring of integers of a finite extension of Q p. Suppose T is a free O-module of finite rank which is endowed with a continuous action of G Q, that is unramified outside a finite set of places Σ (which we assume to contain p and ). Set V := T Q p and A := V/T. We say that V (or T ) is geometric if V is de Rham as a G Qp -representation. A geometric Galois representation V (or T ) is critical if the number of positive Hodge-Tate weights of V GQp (counted with multiplicities) equals the dimension of the +1-eigenspace acting on V. Suppose h + denotes the number of positive Hodge-Tate weights of V GQp (counted with multiplicities). We say that V satisfies the Panchishkin condition if T contains a G Qp - stable direct summand F p + T which has rank h + over O and whose all Hodge-Tate weights are positive as well as that the Hodge-Tate weights of T/F p + T are all non-negative. A critical V that satisfies Panchishkin condition is called Panchishkin-ordinary. Exercise A.7. Suppose f is a newform of weight k and let K f denote its Hecke field, a fixed prime of K f and finally, M f, its -adic Galois representation (with Hodge-Tate weights 0 and k 1) attached to f by Deligne. If ord a p (f) = 0, then it is known thanks to Wiles that M f, is Panchishkin-ordinary. Determine all integers j such that M f (j) is Panchishkin-ordinary. Exercise A.8. Suppose f and g are two newforms of respective weights k and l. Let F denote a common extension of K f and K g, and let be a prime of F. Let M f, and M g, denote Deligne s Galois representations. Suppose ord a p (f)a p (g) = 0. Determine all integers j such that M f, M g, (j) is Panchishkin-ordinary. Definition A.9 (Compact Greenberg Selmer groups). Suppose V is a Panchishkinordinary G Q -representation and T V is a G Q -stable lattice. Set F p T := T/F + p T. We define the compact Greenberg Selmer group HF 1 Gr (Q, T ) by setting ( HF 1 Gr (Q, T ) := ker H 1 (Q Σ /Q, T ) ) H 1 (Q ur l, V ) H 1 (Q p, Fp T ). l p, l Σ Likewise, set F p T := F p T Λ and define the compact Iwasawa theoretic Greenberg Selmer group by setting Note that H 1 F Gr (Q, T) := ker ( H 1 (Q, T) H 1 (Q p, F p T) ). H 1 (Q ur l, T) = 0, l p according to Problem 3.7.1, so the classes that in H 1 F Gr (Q, T) are unramified everywhere (away from p). 11
12 Definition A.10 (Discrete Greenberg Selmer groups). We retain the notation in the previous definition. We define the discrete Greenberg Selmer group HF 1 (Q, T ) as the Gr dual Selmer group, in the sense of Definition A.3. In more precise form, H 1 F Gr (Q, T ) := ker ( H 1 (Q Σ /Q, T ) l p, l Σ H 1 (Q l, T ) H 1 f (Q l, T ) H1 (Q p, F p T ) ). where H 1 f (Q l, T ) := im ( ker ( H 1 (Q l, V ) H 1 (Q ur l, V ) ) H 1 (Q l, T ) ) and F p T := ( F + p T ). Likewise, set Fp T := ( F p + T ) and define the discrete Iwasawa theoretic Greenberg Selmer group by setting ( HF 1 Gr (Q, T ) := ker H 1 (Q, T ) ) H 1 (Q l, T ) H 1 (Q p, Fp T ). Exercise A.11. Prove that l p, l Σ H 1 f (Q l, T ) H 1 ur(q l, T ) := ker ( H 1 (Q l, T ) H 1 (Q ur l, T ) ) ( ) H 0 and the quotient Hur(Q 1 l, T )/Hf 1(Q l, T (I l, T Frl =1 ) ) is isomorphic to. H 0 (I l, T ) div The cardinality of the latter Z p -module is precisely the definition of the p-part of the Tamagawa number (due to Fontaine and Perrin-Riou). Remark A.12. Greenberg has defined his Iwasawa theoretic Selmer group Sel T (Q ) p by setting Sel T (Q ) p := ker H1 (Q Σ /Q, T ) H 1 (I η, T ) H 1 (I,p, Fp T ) where I η is the inertia subgroup in G Q,η for each prime η of Q as above and likewise, I,p is the inertia group in G Q,p at the unique prime of Q above p (that we also denote by p, by slight abuse). See Exercise A.15 where this is compared to the Selmer groups H 1 F Gr (Q, T ) introduced above in the particular case when V = V p (E) (or more generally, when V = M f, ). η l p l Σ Exercise A.13. For T as above, prove that the natural map Hom(Λ, T ) =: Hom(Λ, Hom(T, µ p )) Hom(T Λ, µ p ) =: T is an isomorphism of Λ[[G Q ]]-modules. 12
13 Exercise A.14. Using the fact that the restriction maps induce an isomorphism lim H 1 (Q Σ /Q n, T ) res H 1 (Q Σ /Q, T ) n is an isomorphism, prove that H 1 (Q Σ /Q, T ) is naturally isomorphic to H 1 (Q Σ /Q, T ). Exercise A.15. Suppose E /Q is an elliptic curve with ordinary reduction at p and set T = T p (E), T = E[p ] (HW: Use Weil pairing to check that this choice of notation is consistent with our previous definitions). In this case, it follows from a theorem of Lutz that Sel T (Q ) p := ker H1 (Q Σ /Q, T ) H 1 (Q,η, T ) H 1 (I,p, Fp T ). Prove that we have an exact sequence η l p l Σ 0 H 1 F Gr (Q, T ) Sel T (Q ) p M p where the module M p depends only on F p T and it has finite cardinality unless E has split multiplicative reduction at p. In this case, deduce that the Iwasawa µ and λ-invariants of H 1 F Gr (Q, T ) equal to µ E and λ E, respectively. Prove analogous assertions for a general newform f that is ordinary at p (this once, relying on the local-global compatibility of Langlands correspondence). 13
Reciprocity 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationCongruences Between Selmer Groups 1
Journal of Number Theory 80, 135153 (2000) Article ID jnth.1999.2445, available online at http:www.idealibrary.com on Congruences Between Selmer Groups 1 Li Guo Department of Mathematics and Computer Science,
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationgφ(m) = ω l (g)φ(g 1 m)) where ω l : Γ F l
Global Riemann-Roch formulas Let K be a number field, Γ = Gal( K/K), M a finite Γ-module of exponent m; ie mm = (0) If S is a finite set of places of K we let Γ S = Gal(K S /K), where K S is the union
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More 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 information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
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 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 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 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 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 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 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 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 information5 Dedekind extensions
18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
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 informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol
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 informationVARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES
VARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES MATTHEW EMERTON, ROBERT POLLACK AND TOM WESTON 1. Introduction Let ρ : G Q GL 2 (k) be an absolutely irreducible modular Galois representation over a finite
More informationOn the equality case of the Ramanujan Conjecture for Hilbert modular forms
On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits
More informationQuestion 1: Are there any non-anomalous eigenforms φ of weight different from 2 such that L χ (φ) = 0?
May 12, 2003 Anomalous eigenforms and the two-variable p-adic L-function (B Mazur) A p-ordinary p-adic modular (cuspidal) eigenform (for almost all Hecke operators T l with l p and for the Atkin-Lehner
More information9 Artin representations
9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation
More informationPseudo-Modularity and Iwasawa Theory
Pseudo-Modularity and Iwasawa Theory Preston Wake and Carl Wang Erickson April 11, 2015 Preston Wake and Carl Wang Erickson Pseudo-Modularity and Iwasawa Theory April 11, 2015 1 / 15 The Ordinary Eigencurve
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 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 informationK-groups of rings of algebraic integers and Iwasawa theory
K-groups of rings of algebraic integers and Iwasawa theory Miho AOKI Okayama University of Science 1 F/Q : finite abelian extension O F : the ring of algebraic integers of F K n (O F ) (n 0) H i (O F,
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 informationSPEAKER: JOHN BERGDALL
November 24, 2014 HODGE TATE AND DE RHAM REPRESENTATIONS SPEAKER: JOHN BERGDALL My goal today is to just go over some results regarding Hodge-Tate and de Rham representations. We always let K/Q p be a
More informationElliptic curves, Néron models, and duality
Elliptic curves, Néron models, and duality Jean Gillibert Durham, Pure Maths Colloquium 26th February 2007 1 Elliptic curves and Weierstrass equations Let K be a field Definition: An elliptic curve over
More 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 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 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 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 informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(September 17, 010) Quadratic reciprocity (after Weil) Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields (characteristic not ) the quadratic norm residue
More informationDieudonné Modules and p-divisible Groups
Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous
More information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
More 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 informationAlgebraic Hecke Characters
Algebraic Hecke Characters Motivation This motivation was inspired by the excellent article [Serre-Tate, 7]. Our goal is to prove the main theorem of complex multiplication. The Galois theoretic formulation
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 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 informationProof of the Shafarevich conjecture
Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel
More 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 informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationExistence of Taylor-Wiles Primes
Existence of Taylor-Wiles Primes Michael Lipnowski Introduction Let F be a totally real number field, ρ = ρ f : G F GL 2 (k) be ( an odd residually ) modular representation (odd meaning that complex conjugation
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 informationCounting points on elliptic curves: Hasse s theorem and recent developments
Counting points on elliptic curves: Hasse s theorem and recent developments Igor Tolkov June 3, 009 Abstract We introduce the the elliptic curve and the problem of counting the number of points on the
More informationKolyvagin's ``Euler Systems'' in Cyclotomic Function Fields
journal of number theory 57, 114121 article no. 0037 Kolyvagin's ``Euler Systems'' in Cyclotomic Function Fields Keqin Feng and Fei Xu Department of Mathematics, University of Science and Technology of
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 information9 Artin representations
9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation
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 informationPERIOD RINGS AND PERIOD SHEAVES (WITH HINTS)
PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 1. Background Story The starting point of p-adic Hodge theory is the comparison conjectures (now theorems) between p-adic étale cohomology, de Rham cohomology,
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 informationON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE
ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE KEENAN KIDWELL 1. Introduction Let p be a prime. Recently Greenberg has given a novel representation-theoretic criterion for an absolutely irreducible
More informationIntroduction to Iwasawa Theory
Introduction to Iwasawa Theory Yi Ouyang Department of Mathematical Sciences Tsinghua University Beijing, China 100084 Email: youyang@math.tsinghua.edu.cn Contents 1 Modules up to pseudo-isomorphism 2
More informationA GENERALIZATION OF THE COLEMAN MAP FOR HIDA DEFORMATIONS
A GENERALIZATION OF THE COLEMAN MAP FOR HIDA DEFORMATIONS TADASHI OCHIAI Abstract. In this paper, we give a Coleman/Perrin-Riou type map for an ordinary type deformation and construct a two variable p-adic
More informationTATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto
TATE CONJECTURES FOR HILBERT MODULAR SURFACES V. Kumar Murty University of Toronto Toronto-Montreal Number Theory Seminar April 9-10, 2011 1 Let k be a field that is finitely generated over its prime field
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 informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More 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 informationMod p Galois representations attached to modular forms
Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended
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 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 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 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 informationEXTENSIONS AND THE EXCEPTIONAL ZERO OF THE ADJOINT SQUARE L-FUNCTIONS
EXTENSIONS AND THE EXCEPTIONAL ZERO OF THE ADJOINT SQUARE L-FUNCTIONS HARUZO HIDA Take a totally real field F with integer ring O as a base field. We fix an identification ι : Q p = C Q. Fix a prime p>2,
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 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 informationPOTENTIAL MODULARITY AND APPLICATIONS
POTENTIAL MODULARITY AND APPLICATIONS ANDREW SNOWDEN Contents 1. Introduction 1 2. Review of compatible systems 2 3. Potential modularity 3 4. Putting representations into compatible systems 5 5. Lifting
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
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 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 informationHIGHER CHERN CLASSES IN IWASAWA THEORY
HIGHER CHERN CLASSES IN IWASAWA THEORY F. M. BLEHER, T. CHINBURG, R. GREENBERG, M. KAKDE, G. PAPPAS, R. SHARIFI, AND M. J. TAYLOR Abstract. We begin a study of mth Chern classes and mth characteristic
More informationSets of Completely Decomposed Primes in Extensions of Number Fields
Sets of Completely Decomposed Primes in Extensions of Number Fields by Kay Wingberg June 15, 2014 Let p be a prime number and let k(p) be the maximal p-extension of a number field k. If T is a set of primes
More 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 informationIWASAWA INVARIANTS OF GALOIS DEFORMATIONS
IWASAWA INVARIANTS OF GALOIS DEFORMATIONS TOM WESTON Abstract. Fix a residual ordinary representation ρ : G F GL n(k) of the absolute Galois group of a number field F. Generalizing work of Greenberg Vatsal
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 information