GALOIS COHOMOLOGY GEUNHO GIM
|
|
- Damian Archibald Sharp
- 5 years ago
- Views:
Transcription
1 GALOIS COHOMOLOGY GEUNHO GIM Abstract. This note is based on the 3-hour presentation given in the student seminar on Fall 203. We will basically follow [HidMFG, Chapter IV] and [MilADT, Chapter I 0,, 2]. Contents. Group Cohomology 2. The main duality theorem 4 3. Local/global case Local case Global case 0 4. Euler characteristic formula 0 References. Group Cohomology Let G be a group and M be a G-module (i.e., an abelian group which G acts on). For G- modules M and N, a G-module homomorphism α : M N is a group homomorphism satisfying g α(m) = α(g m) for g G, m M. If we define the action of G on Hom Z (M, N) by (g φ)(m) = g(φ(g m)), then we have Hom G (M, N) = Hom Z (M, N) G. We define G-Mod to be the category of G-modules with G-homomorphisms. Note that G-Mod is equivalent to the category of modules over the ring Z[G], G-Mod = Z[G]-Mod. There are several equivalent ways to construct the cohomology groups. Construction : Extension groups Note that G-Mod has enough injectives. For a G-module M, we have an injective resolution: 0 M ɛ M 0 0 M (exact sequence with injective M i s for all i) and we write this 0 M (M, ) in short. Given M, M G-Mod, and injective resolutions 0 M (M, ) and 0 N (N, δ), we define Ext r G (M, N) = {homotopy classes of deg r chain maps (M, ) (N, δ)} = H r (Hom G (M, N ), δ ) Here deg r maps f, g : (M, ) (N, δ) are homotopic if there is a deg(r ) map satisfying f g = δ +. We define the r-th cohomology group by H r (G, M) = Ext r G (Z, M) Date: April 8, 204.
2 where G acts on Z trivially. Construction 2 : Right derived functor For a G-module M, we define M G = {m M gm = m for all g G}. Since ( ) G = Hom Z (Z, ) G = Hom G (Z, ), ( ) G : G-Mod Ab is a left exact functor. We apply this to an injective resolution and define as the right derived functor of ( ) G. 0 M G (M 0 ) G d 0 (M ) G d H r (G, M) = ker dr im d r Construction 3 : Cochain complex This is the most explicit construction because we can actually see what the elements of the cohomology groups are. We first define C r (G, M) = {φ : G n M} as the set of set-theoretic maps. Also define the boundary maps r : C r C r+ by ( r φ)(g,..., g r+ ) = g φ(g 2,..., g r+ ) + r j= ( ) j φ(g,..., g j g j+,..., g r+ ) + ( ) r+ φ(g,..., g r ) Now we can define H r ker r (G, M) = im r as the cohomology group. Note that all three constructions are equivalent. (See for example, [HidMFG, 4.3.].) Example.. () H 0 (G, M) = Hom G (Z, M) = M G (2) H {u : G M u(gh) = gu(h) + u(g)} (G, M) = {α m : G M m M} g (g )m (3) If G acts on M trivially, then H (G, M) = Hom group (G, M). Definition.2. Let H G be a subgroup and M H-Mod. We define the induced module Ind G H(M) G-Mod by Ind G H(M) = {φ : G M φ(hg) = hφ(g) for all h H} and the G-action is given by (gφ)(m) = φ(mg). Definition.3. Let M G-Mod and M G -Mod. Consider G G α M M β. The maps α and β are called compatible if β(α(g )m) = g (β(m)) for all g G and m M. In this case, there is a natural map between cohomology groups: H r (G, M) H r (G, M ) [φ : G n M] [β φ (α α) : G n M ] 2
3 Example.4. () Let H G and M G-Mod. Note that M is also an H-module by restricting the action of G to H. The maps H G and M id M are compatible. Thus, we get the restriction map The map M m (g gm) res : H r (G, M) H r (H, M) Ind G H M induces the following commutative diagram. res H r (G, M) H r (H, M) H r (G, Ind G H M) where the isomorphism on the right is from Shapiro s lemma. (2) Let H G and M G-Mod. Note that M H (G/H)-Mod. The maps G G/H and M H M are compatible, thus inducing the inflation map inf : H r (G/H, M H ) H r (G, M) (3) Suppose the index (G : H) is finite and M G-Mod. The map Ind G H M M φ sφ(s ) s G/H defines the corestriction map by the commutative diagram cor H r (H, M) H r (G, M) H r (G, Ind G H M) where the isomorphism on the left is from Shapiro s lemma. Proposition.5. Let H G be a subgroup of a finite group G and M G-Mod. () The composition cor G/H res G/H : H r (G, M) H r (G, M) is multiplication by (G : H). (2) G kills H r (G, M). (3) Suppose H G, r > 0, and we have H i (H, M) = 0 for all 0 < i < r. Then there is the following inflation-restriction exact sequence 0 H r (G/H, M H ) inf H r (G, M) res H r (G, M) Proof. () The composition of the maps defined earlier M Ind G H(M) M is multiplication by (G : H). (2) (G:) H r (G, M) H r (G, M) H r ({}, M) = 0 (3) If r =, it is clear. For r >, we use induction. See [MilCFT, p. 69]. 3
4 Definition.6. Let G be a finite group and M G-Mod. We define Tate cohomology groups as follows: H r (G, M) r > 0 HT(G, r M G /N M) = G M r = 0 ker N G /I G M r = H r (G, M) r < where N G : M m g G gm M and I GM = (g )M. This connects homology and cohomology. g G Example.7. H 2 T (G, Z) = Gab. Theorem.8 (Tate). Let G be a finite group and C G-Mod. Suppose () H (H, C) = 0 (2) H 2 (H, C) is cyclic of order H for all subgroups H G. Then we have H r T(G, Z) γ H r+2 T (G, C) where [γ] is a generator of H 2 (G, C). (Note that the isomorphism depends on the choice of γ.) In general, if M G-Mod is torsion-free, then we have H r T(G, M) Proof. Use dimension-shifting. See [MilCFT, p. 8]. γ H r+2 T (G, M Z C) 2. The main duality theorem Let G be a profinite group and M be a discrete G-module (i.e., M has discrete topology and the action G M M is continuous.) This is equivalent to say that M = M U. We define the continous cochain complex Cct(G, n M) = {φ : G n M, continuous} and by using this, define Hct(G, r M). Note that for φ Cct(G, n M), we have G n = φ (m i ) by compactness. Thus, φ is locally constant and factors through finite UG G n φ M (G/U) n for some U G. Therefore we have Hct(G, r M) = lim H r (G/U, M U ) UG where the limit is over inf U/V : H r (G/U, M U ) H r (G/V, M V ) for V U G subgroups. From now on, G-Mod means the category of discrete G-modules (which has enough injectives) and H = H ct. 4
5 Definition 2.. Suppose C G-Mod and we have inv U : H 2 (U, C) Q/Z for all subgroups U G (called the invariant map relative to U). (G, C) is called a class formation if () H (U, C) = 0 for all U G (2) for all V U G, we have H 2 (U, C) H 2 (V, C) inv U Q/Z res (U:V) inv U Q/Z Theorem 2.2. Let (G, C) be a class formation. Then, there is a map rec G : C G G ab called the reciprocity map such that im(rec G ) G ab is dense and ker(rec G ) = N G/U : C U x g G/U gx CG. UG N G/U C U where Proof. Let V U G. From the inflation-restriction exact sequence 0 H (U/V, C V ) inf H (U, C) res H (V, C) we have H (U, C) = 0 and H (V, C) = 0 by assumption (), thus H (U/V, C V ) = 0. From assumption (2), inf 0 H 2 (U/V, C V ) H 2 (U, C) H 2 (V, C) res 0 inv U/V inv U inv V (U:V) Z/Z Q/Z Q/Z 0 (U : V) we get inv U/V := H 2 (U/V, C V ) u U/V (U : V) Z/Z where H2 (U/V, C V ) = u U:V. (U:V) Now we apply Tate s theorem to G/U to get H 2 Tate T (G/U, Z) H0 T (G/U, CU ) (G/U) ab C G /N G/U C U Now we define rec G : C G G ab = lim (G/U) ab by using these maps. Then we get ker(rec G ) = UG UG N G/U C U and im(rec G ) is dense in G ab. 5
6 Example 2.3 (trivial example). Suppose G = σ = Ẑ and G C = Z trivially. Let U G be an subgroup. By using the fact that H r (G, Q) = lim H r (G/U, Q) is a torsion group for UG r > 0 and Q n Q, we get H r (G, Q) n H r (G, Q) and H r (G, Q) = 0 for all r > 0. By applying H (U, ) to the exact sequence 0 Z Q Q/Z 0 we can define inv U : H 2 (U, Z) H (U, Q/Z) = Hom ct (U, Q/Z) Q/Z and H (U, Z) = Hom ct (U, Z) = 0 since the image of a continuous map from U is a compact subgroup of Z. Therefore, (G, Z) is a class formation. If (G : U) = m, then we have C G /N G/U C U (G/U) ab and rec G : C G (= Z G = Z) G ab = Ẑ. Z/mZ Z/mZ Definition 2.4. Let M be an abelian group. We define M = Hom Z (M, Q/Z). (If M is a torsion group, then this is the Pontryagin dual of M.) Definition 2.5. Let M G-Mod and (G, C) be a class formation. We have the following Ext pairing: Ext r G (M, C) Ext2 r G (Z, M) Ext2 G (Z, C) H 2 r (G, M) H 2 (G, C) Q/Z where the map is the composition of chain maps. We define by using the Ext pairing. α r (G, M) : Ext r G (M, C) H2 r (G, M) Example 2.6. Let M = Z and G M trivially. Then, we have Ext r G (Z, C) = Hr (G, C). () (r = 0) α 0 (G, Z) : H 0 (G, C)(= C G ) H 2 (G, Z)(= Hom ct (G, Q/Z) = G ab ) and we have α 0 (G, Z) = rec G. (2) (r = ) α (G, Z) : H (G, C)(= 0) H (G, Z) (= 0) since H (G, Z) = Hom ct (G, Z) = 0. (3) (r = 2) α 2 (G, Z) : H 2 (G, C) H 0 (G, Z) (= Z = Q/Z) and we have α 2 (G, Z) = inv G. Example 2.7. Let M = Z/mZ and G M trivially. By using the exact sequence 0 Z m Z Z/mZ 0, we get the following: 6 inv G
7 () (r = 0) α 0 (G, Z/mZ) : Ext 0 G (Z/mZ, C) H2 (G, Z/mZ) C G [m] G ab [m] and the composition is rec G : C G [m] G ab [m]. (2) (r = ) α (G, Z/mZ) : Ext G (Z/mZ, C) H (G, Z/mZ) C G /mc G G ab /mg ab and we have α (G, Z/mZ) = rec G : C G /mc G G ab /mg ab. (3) (r = 2) α 2 (G, Z/mZ) : Ext 2 G (Z/mZ, C) H0 (G, Z/mZ) H 2 (G, C)[m] m Z/Z and we have α 2 (G, Z/mZ) = inv G H2 (G,C)[m]. Theorem 2.8 (Main Theorem : Tate). Let (G, C) be a class formation and M G-Mod be a finitely generated G-module. Then, () α r (G, M) : Ext r G (M, C) H2 r (G, M) is bijective for r 2. α (G, M) is bijective for torsion-free M. Ext r G (M, C) = 0 and for torsion-free M and r 3. (2) If α (U, Z/mZ) is bijective for all U G and m, then α (G, M) is bijective. (3) If α 0 (U, Z/mZ) is bijective for all U G and m, then α 0 (G, M) is bijective for finite M. sketch of proof. Step : Ext r G (M, C) = 0 for r 4 and Ext3 G (M, C) = 0 for torsion-free M. (Thus, for large r, we have α r (G, M) : 0 0. Step 2 : Show this when G M trivially. It is enough to show for M = Z, Z/mZ. Step 3 : General case. Since M = U M U is finitely generated, M = M U for some U G. Define π : Z[G/U] a g g a g We get the following diagram: Z and M = Hom Z (Z, M) π Hom Z (Z[G/U], M) =: I S = coker π Ext r G (S, C) Extr G (I, C) Extr G (M, C) Extr+ G (S, C) α r (G,S) α r (U,M) α r (G,M) α r+ (G,S) H 2 r (G, S) H 2 r (G, I) H 2 r (G, M) H r (G, S) 7
8 where we have α r (U, M) : Ext r G (I, C) = Ext r U(M, C) H 2 r (U, M) = H 2 r (G, I) We know that α r (U, M) is an isomorphism because U M trivially. We can use the five lemma to show the general case. Detailed proof can be found in [MilADT, p. 2] or [HidMFG, p. 208]. 3. Local/global case 3.. Local case. Let K/Q p be a finite extension and G = Gal(K/K) (fix K), G C = K. For L/K finite, we write H 2 (L/K) = H 2 (Gal(L/K), L ). We have the following exact sequence: U K un (K un ) Z 0 where K un is the maximal unramified extension and U K un = O K un. Note that H r T(Gal(L/K), U L ) = 0 for a finite unramified extension L/K and all r, thus H r T(Gal(K un /K), U K un) = 0. We define where inv G = inv K : H 2 (G, C) = H 2 (K/K) inf H 2 (K un /K) H 2 (Gal(K un /K), Z) H (Gal(K un /K), Q/Z) Q/Z inf : H 2 (K un /K) = H 2 (Gal(K/K)/ Gal(K/K un ), (K ) Gal(K/Kun) ) H 2 (Gal(K/K), K ) For U G, we have U = Gal(K/L) = Gal(L/L) for some L/K finite. Thus we can define inv U = inv L : H 2 (U, C) = H 2 (L/L) Q/Z similarly. Also note that H (U, K ) by Hilbert theorem 90. Consider the following: 0 H 2 (L/K) H 2 (K/K) H 2 (L/L) res 0 inv K [L:K]=(G:U) Z/Z Q/Z Q/Z [L : K] inv L This shows that (G, K ) is a class formation. By Tate s theorem, there is a map and in fact, we have K = Gal(K ab /K). rec G : (K ) G = K G ab = Gal(K ab /K) Theorem 3. (nonarchimedean case). Let (G, C) = (Gal(K/K), K ) be a class formation and M be a finitely generated G-module. Then, () α r (G, M) : H r (G, Hom(M, K )) Ext r G (M, K ) H 2 r (G, M) is bijective for r. (2) α 0 (G, M) : Hom G (M, K ) H 2 (G, M) is bijective for finite M. (3) For finite M, H r (G, M) is finite for r = 0,, 2 and zero otherwise. (This is also true for function field case if we use K sep /K and if ( M, char K) =.) 8
9 Proof. (), (2) Let I = Gal(K/K un ). We have the following commutative diagram: O K K Z 0 rec G Tensoring Z Z/mZ gives I ab G ab Ẑ 0 α (G, Z/mZ) : K /(K ) m G ab /(G ab ) m Ext G (Z/mZ, K ) H (G, Z/mZ) and applying Hom Z (Z/mZ, ) gives α 0 (G, Z/mZ) : µ m (K ) G ab [m] Hom G (Z/mZ, K ) Therefore α (G, M) is bijective and so is α 0 (G, M) for finite M by Theorem 2.8. (3) Note that H r (G, M) = 0 for r > 2 by duality. Since α 0 (G, M) : Hom G (M, K ) H 2 (G, M) and Hom G (M, K ) is finite, H 2 (G, M) is finite. Also, H 0 (G, M) = M G is finite. Apply ( ) G to to get µ m K m K µ m (K) K m K H (G, µ m ) H (G, K ) = 0 From this, we have H (G, µ m ) = K /(K ) m, which is finite. Choose m such that mm = 0. Take a finite extension L/K satisfying µ m L and M U = M for U = Gal(K/L). Then, M = µ n as a U-module. We have finite n m 0 H (G/U, M) inf H (G, M) res H (U, M) Here H (G/U, M) is finite because G/U and M are finite, and H (U, M) = H (U, µ n ) is also finite by previous argument. Therefore, H (G, M) is finite. Theorem 3.2 (archimedean case). G-module. Then, () Let G = Gal(C/R), C = C and M be a finitely generated HT(G, r Hom Z (M, C )) HT 2 r (G, M) H 2 (G, C ) 2 Z/Z is a perfect pairing for all r Z. (2) Let K = R or C, and H = Gal(C/K). Let M be a finite H-module. Then, Proof. See [MilADT, p. 35]. M [K:R] = H0 (H, M) H 0 (H, Hom Z (M, C )) H (H, M) 9
10 3.2. Global case. Let K be a number field, G = Gal(K/K) and C = lim L/K formation, but it is too big. finite C L. (G, C) is a class Definition 3.3. Let P be a set of prime numbers. For a G-module C, (G, C) is called a P-class formation if for all U G, there is a map inv U : H 2 (U, C) Q/Z such that () H (U, C) = 0 (2) for V U G, we have the following commutative diagram 0 H 2 (U/V, C V ) H 2 (U, C) H 2 (V, C) res 0 inv U/V inv U inv V (U:V) Z/Z Q/Z Q/Z (U : V) (3) for l P, we have between l-primary parts. inv U [l] : H 2 (U, C)[l ] (Q/Z)[l ] Let P be a finite set of primes of Q including and S be the set of primes of K above P. Let K S /K be the maximal unramified extension outside S and G S = Gal(K S /K). For a finite extension F/K inside K S, let Σ be the set of primes above S. Define OF S = F ( O F,p ), C F,S = F S /(OS F ) and C S = lim C F F,S. Then, (G S, C S ) is a P-class formation. Theorem 3.4. Let (G S, C S ) be the P-class formation defined above and M be a finitely generated G S -module. Suppose l P. Then, () α r (G S, M)[l] : Ext r G (M, C S)[l ] H 2 r (G S, M) [l ] is bijective for all r. (2) Let M be finite, and F/K be a totally imaginary extension. Suppose Gal(K S /F) M, µ M trivially, and M O S = O S = lim F p/ Σ OF S. Then, there is the following exact sequence: Hom(M, D S (F)) N F/K Hom GS (M, C S ) α0 (G S,M) H 2 (G S, M) 0 where D S (F) is the identity component of C F (S) = C F /U F,S where U F,S = (O F Z Z l ). l P Proof. See [MilADT, p. 52]. 4. Euler characteristic formula Definition 4. (Local case). Let K/Q p be a finite extension and G = Gal(K/K). Let M be a finite G-module. Then we define the Euler characteristic of M by χ(m) = χ(g, M) = H0 (G, M) H 2 (G, M) H (G, M) Theorem 4.2. χ(m) = O K : M O K 0
11 Remark 4.3. If M has l-power order for a prime l, then H j (G, M) is a Z l -module of finite length for all j. We have log l χ(m) = 2 j=0 ( ) j log l H j (G, M) = (H j (G, M) = 0 for j = 0,, 2) and ( ) log l = O K : M O K proof of Theorem 4.2. See [HidMFG, p. 228]. j=0 ( ) j length Zl H j (G, M) { 0 l = p [K : Q p ] length Zp M l = p Definition 4.4 (Global case). Let K/Q be a finite extension and G S = Gal(K S /K). Let M be a finite G S -module and assume that M O S = O S. Then we define χ(m) = χ(g S, M) = H0 (G S, M) H 2 (G S, M) H (G S, M) Remark 4.5. It is NOT true that we have H r (G S, M) = 0 for r 3 like in local case. H Theorem 4.6. χ(m) = 0 (G v, M) where G v = Gal(K v /K v ) and M = M [Kv:R]. v: arch M v v Proof. See [MilADT, p. 67]. References [HidMFG] H. Hida, Modular Forms and Galois Cohomology, Cambridge University Press, 2000 [MilADT] J. S. Milne, Arithmetic Duality Theorems, 2006, available at [MilCFT] J. S. Milne, Class Field Theory (v4.02), 203, available at
Isogeny invariance of the BSD formula
Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic
More informationWinter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada
Winter School on Galois Theory Luxembourg, 15-24 February 2012 INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada LECTURE 3 3.1 G-MODULES 3.2 THE COMPLETE GROUP ALGEBRA 3.3
More informationGalois Cohomology. John Tate
Galois Cohomology John Tate Contents Galois Cohomology 1 1. Group modules 1 2. Cohomology 2 2.1. Examples 3 2.2. Characterization of H r (G, ) 4 3. Kummer theory 4 4. Functor of pairs (G, A) 6 5. The
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 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 informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
More informationNOTES ON CHAIN COMPLEXES
NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which
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 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 informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
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 informationEtale cohomology of fields by Johan M. Commelin, December 5, 2013
Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology The canonical topology on a Grothendieck topos Let E be a Grothendieck topos. The canonical topology T on E is given in
More information5. Kato s higher local class field theory
ISSN 1464-8997 (on line) 1464-8989 (printed) 53 Geometry & Topology Monographs Volume 3: Invitation to higher local fields Part I, section 5, pages 53 60 5. Kato s higher local class field theory Masato
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationCOHOMOLOGY THEORY OF GALOIS GROUPS
COHOMOLOGY THEORY OF GALOIS GROUPS HARUZO HIDA Contents 1. Extension of Modules 2 1.1. Extension groups 2 1.2. Extension functors 5 1.3. Cohomology groups of complexes 8 1.4. Higher extension groups 10
More informationDualities in étale cohomology
UNIVERSITÀ DEGLI STUDI DI MILANO UNIVERSITÉ DE BORDEAUX I Dualities in étale cohomology Alberto Merici supervised by Baptiste Morin Academic year 2016/2017 Introduction Amor ch al cor gentil ratto s apprende,
More informationPERIODS OF PRINCIPAL HOMOGENEOUS SPACES OF ALGEBRAIC TORI
PERIODS OF PRINCIPAL HOMOGENEOUS SPACES OF ALGEBRAIC TORI A. S. MERKURJEV Abstract. A generic torsor of an algebraic torus S over a field F is the generic fiber of a S-torsor P T, where P is a quasi-trivial
More informationAlgebraic number theory II
Algebraic number theory II Uwe Jannsen Contents 1 Infinite Galois theory 2 2 Projective and inductive limits 9 3 Cohomology of groups and pro-finite groups 15 4 Basics about modules and homological Algebra
More informationON THE TATE-SHAFAREVICH GROUP OF A NUMBER FIELD
ON THE TATE-SHAFAREVICH GROUP OF A NUMBER FIELD SAMEER KAILASA Abstract. For an elliptic curve E defined over a field K, the Tate-Shafarevich group X(E/K) encodes important arithmetic and geometric information.
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 informationNotes on the definitions of group cohomology and homology.
Notes on the definitions of group cohomology and homology. Kevin Buzzard February 9, 2012 VERY sloppy notes on homology and cohomology. Needs work in several places. Last updated 3/12/07. 1 Derived functors.
More informationCLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES
CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES FRANK GOUNELAS 1. Class Field Theory We ll begin by motivating some of the constructions of the CM (complex multiplication) theory for
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationGEOMETRIC CLASS FIELD THEORY I
GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
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 informationThe Ring of Monomial Representations
Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationSelmer Groups and Galois Representations
Selmer Groups and Galois Representations Edray Herber Goins July 31, 2016 2 Contents 1 Galois Cohomology 7 1.1 Notation........................................... 8 2 Galois Groups as Topological Spaces
More 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 informationDerived Functors and Explicit Projective Resolutions
LECTURE 12 Derived Functors and Explicit Projective Resolutions A Let X and Y be complexes of A-modules. Recall that in the last lecture we defined Hom A (X, Y ), as well as Hom der A (X, Y ) := Hom A
More informationRELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY
RELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY SEMRA PAMUK AND ERGÜN YALÇIN Abstract. Let G be a finite group and F be a family of subgroups of G closed under conjugation and taking subgroups. We consider
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 informationWeil-étale Cohomology
Weil-étale Cohomology Igor Minevich March 13, 2012 Abstract We will be talking about a subject, almost no part of which is yet completely defined. I will introduce the Weil group, Grothendieck topologies
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationEndomorphism Rings of Abelian Varieties and their Representations
Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication
More informationThe group C(G, A) contains subgroups of n-cocycles and n-coboundaries defined by. C 1 (G, A) d1
18.785 Number theory I Lecture #23 Fall 2017 11/27/2017 23 Tate cohomology In this lecture we introduce a variant of group cohomology known as Tate cohomology, and we define the Herbrand quotient (a ratio
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
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 informationHamburger Beiträge zur Mathematik
Hamburger Beiträge zur Mathematik Nr. 270 / April 2007 Ernst Kleinert On the Restriction and Corestriction of Algebras over Number Fields On the Restriction and Corestriction of Algebras over Number Fields
More informationSupplementary Notes October 13, On the definition of induced representations
On the definition of induced representations 18.758 Supplementary Notes October 13, 2011 1. Introduction. Darij Grinberg asked in class Wednesday about why the definition of induced representation took
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik Extensions of profinite duality groups Alexander Schmidt and Kay Wingberg Preprint Nr. 25/2008 Extensions of profinite duality groups Alexander Schmidt and Kay Wingberg
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
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 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 informationCohomology and Representations of Galois Groups
Cohomology and Representations of Galois Groups Eric Stubley Discussed with Professor Frank Calegari February 28, 2017 Deformations of Galois representations saw their introduction in the late 1980s, and
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 informationLecture 7: Etale Fundamental Group - Examples
Lecture 7: Etale Fundamental Group - Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of
More informationHOMOLOGY AND COHOMOLOGY. 1. Introduction
HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationAlgebraic topology and algebraic number theory
Graduate Student Topology & Geometry Conference http://math.berkeley.edu/ ericp/latex/talks/austin-2014.pdf April 5, 2014 Formal groups In this talk, p is an odd prime and k is a finite field, char k =
More informationMorava K-theory of BG: the good, the bad and the MacKey
Morava K-theory of BG: the good, the bad and the MacKey Ruhr-Universität Bochum 15th May 2012 Recollections on Galois extensions of commutative rings Let R, S be commutative rings with a ring monomorphism
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationThe Grunwald-Wang Theorem
The Grunwald-Wang Theorem Part III Essay by Martin Luedte Supervised by Tom Fisher at the University of Cambridge May 1, 2013 Contents 1 Group Cohomology 3 1.1 Profinite Groups...............................
More informationGROUP AND GALOIS COHOMOLOGY. Romyar Sharifi
GROUP AND GALOIS COHOMOLOGY Romyar Sharifi Contents Chapter 1. Group cohomology 5 1.1. Group rings 5 1.2. Group cohomology via cochains 6 1.3. Group cohomology via projective resolutions 10 1.4. Homology
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik Circular sets of prime numbers and p-extensions of the rationals Alexander Schmidt Preprint Nr. 07/2005 Circular sets of prime numbers and p-extensions of the rationals
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
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 informationThe Universal Coefficient Theorem
The Universal Coefficient Theorem Renzo s math 571 The Universal Coefficient Theorem relates homology and cohomology. It describes the k-th cohomology group with coefficients in a(n abelian) group G in
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 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 informationLecture slide No.6 for Math 207a Winter 2019 Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA , U.S.A.
Lecture slide No.6 for Math 207a Winter 2019 Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. Assuming that ρ 0 = Ind Q K ϕ for a quadratic field K = Q[ D] (with discriminant
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 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 informationFALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra)
FALTINGS SEMINAR TALK SIMON RUBINSTEIN-SALZEDO 1. Cartier duality Let R be a commutative ring, and let G = Spec A be a commutative group scheme, where A is a finite flat algebra over R. Let A = Hom R mod
More informationLie Algebra Cohomology
Lie Algebra Cohomology Carsten Liese 1 Chain Complexes Definition 1.1. A chain complex (C, d) of R-modules is a family {C n } n Z of R-modules, together with R-modul maps d n : C n C n 1 such that d d
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 informationRAPHAËL ROUQUIER. k( )
GLUING p-permutation MODULES 1. Introduction We give a local construction of the stable category of p-permutation modules : a p- permutation kg-module gives rise, via the Brauer functor, to a family of
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 informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More informationMath 210B. The bar resolution
Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationLecture 4: Abelian varieties (algebraic theory)
Lecture 4: Abelian varieties (algebraic theory) This lecture covers the basic theory of abelian varieties over arbitrary fields. I begin with the basic results such as commutativity and the structure of
More information1. Prolonging Morphisms
p-divisible GROUPS: PART II BRANDON LEVIN This talk discusses the main results of Tate s paper "p-divisible Groups" [6]. From the point of view of p-adic Hodge theory, this is a foundational paper and
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 informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationCOMPARISON OF THE DISCRETE AND CONTINUOUS COHOMOLOGY GROUPS OF A PRO-p GROUP
COMPARISON OF THE DISCRETE AND CONTINUOUS COHOMOLOGY GROUPS OF A PRO-p GROUP GUSTAVO A. FERNÁNDEZ-ALCOBER, ILYA V. KAZACHKOV, VLADIMIR N. REMESLENNIKOV, AND PETER SYMONDS 1. Introduction Let G be a profinite
More informationMath 757 Homology theory
Math 757 Homology theory March 3, 2011 (for spaces). Given spaces X and Y we wish to show that we have a natural exact sequence 0 i H i (X ) H n i (Y ) H n (X Y ) i Tor(H i (X ), H n i 1 (Y )) 0 By Eilenberg-Zilber
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationLECTURE NOTES, WEEK 7 MATH 222A, ALGEBRAIC NUMBER THEORY
LECTURE NOTES, WEEK 7 MATH 222A, ALGEBRAIC NUMBER THEORY MARTIN H. WEISSMAN Abstract. We discuss the connection between quadratic reciprocity, the Hilbert symbol, and quadratic class field theory. We also
More information3 Extensions of local fields
3 Extensions of local fields ocal field = field complete wrt an AV. (Sometimes people are more restrictive e.g. some people require the field to be locally compact.) We re going to study extensions of
More informationCHAPTER 10. Cohomology
208 CHAPTER 10 Cohomology 1. Cohomology As you learned in linear algebra, it is often useful to consider the dual objects to objects under consideration. This principle applies much more generally. For
More informationMinimal Cell Structures for G-CW Complexes
Minimal Cell Structures for G-CW Complexes UROP+ Final Paper, Summer 2016 Yutao Liu Mentor: Siddharth Venkatesh Project suggested by: Haynes Miller August 31, 2016 Abstract: In this paper, we consider
More informationAlgebraic Topology Final
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Algebraic Topology Final Solutions 1. Let M be a simply connected manifold with the property that any map f : M M has a
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 informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationGENERALISED KAWADA SATAKE METHOD FOR MACKEY FUNCTORS IN CLASS FIELD THEORY CONTENTS
GENERALISED KAWADA SATAKE METHOD FOR MACKEY FUNCTORS IN CLASS FIELD THEORY IVAN B. FESENKO, SERGEI V. VOSTOKOV, SEOK HO YOON ABSTRACT. We propose and study a generalised Kawada Satake method for Mackey
More informationMODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL REPRESENTATIONS OF A FINITE GROUP #
Communications in Algebra, 33: 3667 3677, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500243312 MODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL
More informationPAIRINGS IN THE ARITHMETIC OF ELLIPTIC CURVES
PAIRINGS IN THE ARITHMETIC OF ELLIPTIC CURVES BARRY MAZUR AND KARL RUBIN Introduction The recent work of Cornut, Vatsal, Bertolini, Darmon, Nekovár and others on the Mordell-Weil and Shafarevich-Tate groups
More informationGALOIS EXTENSIONS ZIJIAN YAO
GALOIS EXTENSIONS ZIJIAN YAO This is a basic treatment on infinite Galois extensions, here we give necessary backgrounds for Krull topology, and describe the infinite Galois correspondence, namely, subextensions
More informationHOMEWORK SET 3. Local Class Field Theory - Fall For questions, remarks or mistakes write me at
HOMEWORK SET 3 Local Class Field Theory - Fall 2011 For questions, remarks or mistakes write me at sivieroa@math.leidneuniv.nl. Exercise 3.1. Suppose A is an abelian group which is torsion (every element
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 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 information0.1 Universal Coefficient Theorem for Homology
0.1 Universal Coefficient Theorem for Homology 0.1.1 Tensor Products Let A, B be abelian groups. Define the abelian group A B = a b a A, b B / (0.1.1) where is generated by the relations (a + a ) b = a
More informationAn introduction to derived and triangulated categories. Jon Woolf
An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes
More information