GALOIS COHOMOLOGY GEUNHO GIM

Size: px
Start display at page:

Download "GALOIS COHOMOLOGY GEUNHO GIM"

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 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 information

Winter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada

Winter 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 information

Galois Cohomology. John Tate

Galois 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 information

Iwasawa algebras and duality

Iwasawa 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 information

gφ(m) = ω l (g)φ(g 1 m)) where ω l : Γ F l

gφ(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 information

Algebraic Topology II Notes Week 12

Algebraic 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 information

NOTES ON CHAIN COMPLEXES

NOTES 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 information

Notes on p-divisible Groups

Notes 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 information

l-adic Representations

l-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 information

A Primer on Homological Algebra

A 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 information

Profinite Groups. Hendrik Lenstra. 1. Introduction

Profinite 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 information

Etale cohomology of fields by Johan M. Commelin, December 5, 2013

Etale 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 information

5. Kato s higher local class field theory

5. 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 information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 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 information

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0

NOTES 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 information

COHOMOLOGY THEORY OF GALOIS GROUPS

COHOMOLOGY 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 information

Dualities in étale cohomology

Dualities 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 information

PERIODS OF PRINCIPAL HOMOGENEOUS SPACES OF ALGEBRAIC TORI

PERIODS 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 information

Algebraic number theory II

Algebraic 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 information

ON THE TATE-SHAFAREVICH GROUP OF A NUMBER FIELD

ON 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 information

Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups

Imaginary 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 information

Notes on the definitions of group cohomology and homology.

Notes 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 information

CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES

CLASS 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 information

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE 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 information

GEOMETRIC CLASS FIELD THEORY I

GEOMETRIC 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 information

Math 210B. Profinite group cohomology

Math 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 information

EXT, TOR AND THE UCT

EXT, 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 information

Chain Complexes and Herbrand Quotients

Chain 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 information

The Ring of Monomial Representations

The 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 information

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A 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 information

Selmer Groups and Galois Representations

Selmer 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 information

Reciprocity maps with restricted ramification

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 information

Derived Functors and Explicit Projective Resolutions

Derived 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 information

RELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY

RELATIVE 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 information

Isogeny invariance of the BSD conjecture

Isogeny 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 information

Weil-étale Cohomology

Weil-é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 information

Injective Modules and Matlis Duality

Injective 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 information

Endomorphism Rings of Abelian Varieties and their Representations

Endomorphism 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 information

The group C(G, A) contains subgroups of n-cocycles and n-coboundaries defined by. C 1 (G, A) d1

The 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 information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 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 information

9 Artin representations

9 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 information

Hamburger Beiträge zur Mathematik

Hamburger 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 information

Supplementary Notes October 13, On the definition of induced representations

Supplementary 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 information

Universität Regensburg Mathematik

Universitä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 information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED 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 information

On the modular curve X 0 (23)

On 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 information

Algebraic Hecke Characters

Algebraic 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 information

Cohomology and Representations of Galois Groups

Cohomology 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 information

HONDA-TATE THEOREM FOR ELLIPTIC CURVES

HONDA-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 information

Lecture 7: Etale Fundamental Group - Examples

Lecture 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 information

HOMOLOGY AND COHOMOLOGY. 1. Introduction

HOMOLOGY 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 information

Hungry, Hungry Homology

Hungry, 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 information

Algebraic topology and algebraic number theory

Algebraic 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 information

Morava K-theory of BG: the good, the bad and the MacKey

Morava 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 information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC 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 information

Algebraic Topology exam

Algebraic 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 information

The Grunwald-Wang Theorem

The 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 information

GROUP AND GALOIS COHOMOLOGY. Romyar Sharifi

GROUP 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 information

Universität Regensburg Mathematik

Universitä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 information

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

Generalized 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 information

Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen)

Independence 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 information

The Universal Coefficient Theorem

The 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 information

Dieudonné Modules and p-divisible Groups

Dieudonné 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 information

Math 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 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 information

Lecture 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 , 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 information

Galois Representations

Galois 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 information

CLASS FIELD THEORY WEEK Motivation

CLASS 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 information

FALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra)

FALTINGS 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 information

Lie Algebra Cohomology

Lie 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 information

On the theory of higher rank Euler and Kolyvagin systems

On 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 information

RAPHAËL ROUQUIER. k( )

RAPHAË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 information

THE 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. 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 information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA 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 information

Math 210B. The bar resolution

Math 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 information

Frobenius Green functors

Frobenius 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 information

Direct Limits. Mathematics 683, Fall 2013

Direct 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 information

Lecture 4: Abelian varieties (algebraic theory)

Lecture 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 information

1. Prolonging Morphisms

1. 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 information

Sets of Completely Decomposed Primes in Extensions of Number Fields

Sets 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 information

Math Homotopy Theory Hurewicz theorem

Math 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 information

COMPARISON 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 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 information

Math 757 Homology theory

Math 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 information

p-divisible Groups and the Chromatic Filtration

p-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 information

LECTURE NOTES, WEEK 7 MATH 222A, ALGEBRAIC NUMBER THEORY

LECTURE 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 information

3 Extensions of local fields

3 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 information

CHAPTER 10. Cohomology

CHAPTER 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 information

Minimal Cell Structures for G-CW Complexes

Minimal 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 information

Algebraic Topology Final

Algebraic 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 information

A Version of the Grothendieck Conjecture for p-adic Local Fields

A 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 information

INTRO TO TENSOR PRODUCTS MATH 250B

INTRO 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 information

Lecture 6: Etale Fundamental Group

Lecture 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 information

GENERALISED KAWADA SATAKE METHOD FOR MACKEY FUNCTORS IN CLASS FIELD THEORY CONTENTS

GENERALISED 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 information

MODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL REPRESENTATIONS OF A FINITE GROUP #

MODULAR 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 information

PAIRINGS IN THE ARITHMETIC OF ELLIPTIC CURVES

PAIRINGS 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 information

GALOIS EXTENSIONS ZIJIAN YAO

GALOIS 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 information

HOMEWORK SET 3. Local Class Field Theory - Fall For questions, remarks or mistakes write me at

HOMEWORK 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 information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL 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 information

Class Field Theory. Anna Haensch. Spring 2012

Class 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 information

0.1 Universal Coefficient Theorem for Homology

0.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 information

An introduction to derived and triangulated categories. Jon Woolf

An 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