DOCSLIB.ORG

Galois Cohomology and Applications

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Galois Cohomology and Applications Shiva Chidambaram, discussed with Prof. Frank Calegari March 17, 2017 1 Notations and Preliminaries We start with some notation. For any field extension K F , GK F denotes the Galois group Gal(K F ). j j j For any field K , K denotes the separable closure of K , and G denotes Gal(K K ). If K is a local field, K j I denotes the inertia subgroup Gal(K K ur ), where K ur is the maximal unramified extension of K . K j If K is a number field and l is a prime in K , Gl denotes the absolute Galois group of the completion Kl , and if l is finite, Il denotes the inertia subgroup. Depending on our choice of embedding K , K , we can regard G as a subgroup of G in different ways. This choice doesn’t affect any ¡! l l K of our statements. Also, if S is a finite set of places of a number field K , KS denotes the maximal extension of K unramified outside S, and G denotes the corresponding Galois group Gal(K K ). K ,S Sj For any finite group G and a G-module M, unless we are dealing with Global Euler Characteristic formula or Wiles-Greenberg formula, H 0(G,M) will denote the modified Tate cohomology group G G 0 M /NG (M) rather than the usual M . In the two exceptional cases, we will use Hˆ (G,M) to denote the modified Tate cohomology groups, distinguishing it from the normal cohomology groups H 0(G,M). The dual of an abelian group A is A_ Hom(A,Q/Z). For any two G-modules M and N, the Æ ¡ 1 ¢ abelian group Hom(M,N) is a G-module with (g f )(m) g f (g ¡ m) . We will talk exclusively ¢ Æ ¢ ¢ about Galois modules. In that context, the notion of a dual module is as follows. If K F is a Galois j extension, and M is a GK F -module, then the dual module M ¤ is defined as M ¤ Hom(M,¹), where j Æ ¹ is the GK F -submodule of K £ consisting of the roots of unity. If M is finite, then M ¤ Hom(M,K £) j Æ Let G be a group, and M,N,P be G-modules such that there is a G-module pairing Á : M N P. ­ ¡! This induces a pairing between cohomology groups, called the cup product. i j i j H (G,M) H (G,N) H Å (G,P) £ ¡! We will only be interested in the case i j 2. If x H 0(G,M) and f H 2(G,N), then x f H 2(G,P) Å Æ 2 2 [ 2 is represented by the cocycle x f : G G P;(g ,g ) Á(x f (g ,g )). The cup product pairing [ £ ! 1 2 7! ­ 1 2 between H 2(G,M) and H 0(G,N) is defined similarly. If f H 1(G,M) and f H 1(G,N), then 1 2 2 2 f f H 2(G,P) is represented by the cocycle f f : G G P;(g ,g ) Á(f (g ) g f (g )). 1 [ 2 2 1 [ 2 £ ! 1 2 7! 1 1 ­ 1 2 2 2 Galois Cohomology This treatment of Galois Cohomology follows [1] and [5]. The cohomology H ¤(GF ,M) of a module M for GF , is sometimes denoted H ¤(F,M). This shouldn’t be confusing because we will only have Galois groups acting on modules. We will start by stating some fundamental theorems in the subject. Proofs can be found in [3]. 1 Theorem 1. Local Tate duality: Let K be a p-adic local field and M be a finite GK module. Then 1. the groups H i (G ,M) are finite for all i, and zero for all i 3. K ¸ 2. for i 0,1,2, the cup product pairing Æ i 2 i 2 H (G ,M) H ¡ (G ,M ¤) H (G ,¹) Q/Z K £ K ¡! K Æ induced by the natural pairing between M and M ¤ is non-degenerate. So, they are duals of each other. i IK 2 i IK 3. If p does not divide #M, then H (GK /IK ,M ) and H ¡ (GK /IK ,M ¤ ) are the exact annihila- tors of each other in the above pairing. If K is an Archimedean local field, 1 and 2 still hold. We note that since GK is finite in this case, these are actually the modified Tate cohomology groups. Theorem 2. Local Euler Characteristic formula: Let K be a finite extension of Qp , and M be a finite GK module. Then, #H 0(G ,M)#H 2(G ,M) K K [K :Qp ] ordp (#M) 1 #M K p¡ ¢ #H (GK ,M) Æj j Æ Theorem 3. Global Euler Characteristic formula: Let K be a number field and M be a finite GK module. Let S be a finite set of places consisting of all infinite places, all places at which M is ramified, and all places at which #M has positive order. Then GK ,S acts on M and we have Q 0 0 2 #H (Gv ,M) #H (GK ,S,M)#H (GK ,S,M) v j1 1 [K :Q] #H (GK ,S,M) Æ #M (We note that these are the unmodified cohomology groups.) Let § be a finite set of primes in Q and X be a G§ GQ,§-module. This is the same as saying, X Æ 1 is a GQ-module that is unramified outside §. It can be shown that the cohomology H (G§, X ) is 1 isomorphic to the subgroup of H (GQ, X ) consisting of classes that are unramified outside §, i.e., 1 ¡ 1 Y 1 ¢ H (G§, X ) ker H (GQ, X ) H (Il , X ) . (2.1) ' ¡! l § 62 1 If X is finite, then H (G§, X ) is finite. When X is a finite GQ-module, the kernel of the Galois action is a finite index subgroup and hence is equal to GL for some number field L. Hence, X is unramified at all primes unramified in L. So, if we let § to be the set consisting of all the infinite primes, primes diving #X , and primes at which X is ramified, then § is finite and X is a G§-module. In this case, there is a nine-term i i exact sequence involving H (G§, X ) and H (G§, X ¤)_ called the Poitou Tate sequence, that we will study next. Though we state the theorems in the situation with base field Q, all of it applies for any number field K . The general result will be used in the next section in an application to Iwasawa theory. Let X and § be as above. Then, for each i, we have a map i Y i ®i,X : H (G§, X ) H (Gv , X ) ¡! v § 2 2 We can consider the corresponding map ®i,X ¤ for the module X ¤. We remark here that X ¤ is also unramified at all v §. Dualizing this map, and using Local Tate duality for each v §, we get the 62 2 following map Y 2 i i ¯2 i : H ¡ (Gv , X ) H (G§, X ¤)_. ¡ v § ¡! 2 Proposition 1. There is a non-degenerate pairing ker® ker® Q/Z. 1,X ¤ £ 2,X ¡! Proposition 2. ® is injective, ¯ is surjective and ker¯ Im ® . 0,X 2 r Æ r,X The proofs of the above propositions can be found in [3]. Putting these together, we get the Poitou Tate exact sequence. Theorem 4. Poitou-Tate: The following nine term sequence is exact 0 ®0,X Q 0 ¯0 2 0 / H (G§, X ) / H (Gv , X ) / H (G§, X ¤)_ v § 2 γ1 1 ®1,X Q 1 ¯1 1 / H (G§, X ) / H (Gv , X ) / H (G§, X ¤)_ v § 2 γ2 2 ®2,X Q 2 ¯2 0 / H (G§, X ) / H (Gv , X ) / H (G§, X ¤)_ / 0 v § 2 where γ1 and γ2 are the following maps induced by the non-degenerate pairing in Proposition 1. 2 ¡ ¢ 1 γ : H (G , X ¤)_ ker® _ ' ker® , H (G , X ), 1 § 2,X ¤ ¡! 1,X ¡! § 1 ¡ ¢ 2 γ : H (G , X ¤)_ ker® _ ' ker® , H (G , X ). 2 § 1,X ¤ ¡! 2,X ¡! § Using the Poitou Tate exact sequence, one can deduce the Wiles-Greenberg formula for gen- eralised Selmer groups. Let X be a finite GQ-module. For each place v of Q, let Lv be a given 1 1 Iv subgroup of H (Gv , X ) such that for all but finitely many places, Lv is the subgroup H (Gv /Iv , X ) 1 of unramified cohomology classes. The generalized Selmer group HL (GQ, X ) for the given set L {L } of local conditions, is defined as Æ v µ ¶ 1 1 Y 1 ± HL (GQ, X ) ker H (GQ, X ) H (Gv , X ) Lv Æ ¡! v (2.2) © 1 ª x H (GQ, X ) res (x) L for all v Æ 2 j v 2 v 1 1 where res : H (GQ, X ) H (G , X ) is the restriction map for each place v. We will also sometimes v ! v 1 Q use HL ( , X ) to denote this Selmer group. For each v, let L?v be the exact annihilator of Lv under 1 Iv the local Tate pairing. By part 3 of Theorem 1, we have L? H (G /I , X ¤ ) for all but finitely many v Æ v v v. The collection {L?v } is called the dual set of local conditions, and denoted L ¤.
Recommended publications
  • Hasse Principles for Higher-Dimensional Fields 3

    Hasse Principles for Higher-Dimensional Fields 3

    Annals of Mathematics 183 (2016), 1{71 http://dx.doi.org/10.4007/annals.2016.183.1.1 Hasse principles for higher-dimensional fields By Uwe Jannsen dedicated to J¨urgen Neukirch Abstract For rather general excellent schemes X, K. Kato defined complexes of Gersten-Bloch-Ogus type involving the Galois cohomology groups of all residue fields of X. For arithmetically interesting schemes, he developed a fascinating web of conjectures on some of these complexes, which generalize the classical Hasse principle for Brauer groups over global fields, and proved these conjectures for low dimensions. We prove Kato's conjecture over number fields in any dimension. This gives a cohomological Hasse principle for function fields F over a number field K, involving the corresponding function fields Fv over the completions Kv of K. For global function fields K we prove the part on injectivity for coefficients invertible in K. Assuming resolution of singularities, we prove a similar conjecture of Kato over finite fields, and a generalization to arbitrary finitely generated fields. Contents 0. Introduction1 1. First reductions and a Hasse principle for global fields7 2. Injectivity of the global-local map for coefficients invertible in K 16 3. A crucial exact sequence, and a Hasse principle for unramified cohomology 26 4. A Hasse principle for Bloch-Ogus-Kato complexes 40 5. Weight complexes and weight cohomology 52 References 67 0. Introduction In this paper we prove some conjectures of K. Kato [Kat86] which were formulated to generalize the classical exact sequence of Brauer groups for a global field K, L (0.1) 0 −! Br(K) −! Br(Kv) −! Q=Z −! 0; v c 2016 Department of Mathematics, Princeton University.
  • Selmer Groups in Degree $\Ell$ Twist Families

    Selmer Groups in Degree $\Ell$ Twist Families

    $\ell^{\infty}$-Selmer Groups in Degree $\ell$ Twist Families The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation Smith, Alexander. 2020. $\ell^{\infty}$-Selmer Groups in Degree $\ell$ Twist Families. Doctoral dissertation, Harvard University, Graduate School of Arts & Sciences. Citable link https://nrs.harvard.edu/URN-3:HUL.INSTREPOS:37365902 Terms of Use This article was downloaded from Harvard University’s DASH repository, and is made available under the terms and conditions applicable to Other Posted Material, as set forth at http:// nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of- use#LAA `1-Selmer groups in degree ` twist families A dissertation presented by Alexander Smith to The Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the subject of Mathematics Harvard University Cambridge, Massachusetts April 2020 © 2020 – Alexander Smith All rights reserved. Dissertation Advisor: Professor Elkies and Professor Kisin Alexander Smith `1-Selmer groups in degree ` twist families Abstract Suppose E is an elliptic curve over Q with no nontrivial rational 2-torsion point. Given p a nonzero integer d, take Ed to be the quadratic twist of E coming from the field Q( d). For every nonnegative integer r, we will determine the natural density of d such that Ed has 2-Selmer rank r. We will also give a generalization of this result to abelian varieties defined over number fields. These results fit into the following general framework: take ` to be a rational prime, take F to be number field, take ζ to be a primitive `th root of unity, and take N to be an `- divisible Z`[ζ]-module with an action of the absolute Galois group GF of F .
  • Brauer Groups and Galois Cohomology of Function Fields Of

    Brauer Groups and Galois Cohomology of Function Fields Of

    Brauer groups and Galois cohomology of function fields of varieties Jason Michael Starr Department of Mathematics, Stony Brook University, Stony Brook, NY 11794 E-mail address: [email protected] Contents 1. Acknowledgments 5 2. Introduction 7 Chapter 1. Brauer groups and Galois cohomology 9 1. Abelian Galois cohomology 9 2. Non-Abelian Galois cohomology and the long exact sequence 13 3. Galois cohomology of smooth group schemes 22 4. The Brauer group 29 5. The universal cover sequence 34 Chapter 2. The Chevalley-Warning and Tsen-Lang theorems 37 1. The Chevalley-Warning Theorem 37 2. The Tsen-Lang Theorem 39 3. Applications to Brauer groups 43 Chapter 3. Rationally connected fibrations over curves 47 1. Rationally connected varieties 47 2. Outline of the proof 51 3. Hilbert schemes and smoothing combs 54 4. Ramification issues 63 5. Existence of log deformations 68 6. Completion of the proof 70 7. Corollaries 72 Chapter 4. The Period-Index theorem of de Jong 75 1. Statement of the theorem 75 2. Abel maps over curves and sections over surfaces 78 3. Rational simple connectedness hypotheses 79 4. Rational connectedness of the Abel map 81 5. Rational simply connected fibrations over a surface 82 6. Discriminant avoidance 84 7. Proof of the main theorem for Grassmann bundles 86 Chapter 5. Rational simple connectedness and Serre’s “Conjecture II” 89 1. Generalized Grassmannians are rationally simply connected 89 2. Statement of the theorem 90 3. Reductions of structure group 90 Bibliography 93 3 4 1. Acknowledgments Chapters 2 and 3 notes are largely adapted from notes for a similar lecture series presented at the Clay Mathematics Institute Summer School in G¨ottingen, Germany in Summer 2006.
  • An Introduction to Motives I: Classical Motives and Motivic L-Functions

    An Introduction to Motives I: Classical Motives and Motivic L-Functions

    An introduction to motives I: classical motives and motivic L-functions Minhyong Kim February 3, 2010 IHES summer school on motives, 2006 The exposition here follows the lecture delivered at the summer school, and hence, contains neither precision, breadth of comprehension, nor depth of insight. The goal rather is the curious one of providing a loose introduction to the excellent introductions that already exist, together with scattered parenthetical commentary. The inadequate nature of the exposition is certainly worst in the third section. As a remedy, the article of Schneider [40] is recommended as a good starting point for the complete novice, and that of Nekovar [37] might be consulted for more streamlined formalism. For the Bloch-Kato conjectures, the paper of Fontaine and Perrin-Riou [20] contains a very systematic treatment, while Kato [27] is certainly hard to surpass for inspiration. Kings [30], on the other hand, gives a nice summary of results (up to 2003). 1 Motivation Given a variety X over Q, it is hoped that a suitable analytic function ζ(X,s), a ζ-function of X, encodes important arithmetic invariants of X. The terminology of course stems from the fundamental function ∞ s ζ(Q,s)= n− nX=1 named by Riemann, which is interpreted in this general context as the zeta function of Spec(Q). A general zeta function should generalize Riemann’s function in a manner similar to Dedekind’s extension to number fields. Recall that the latter can be defined by replacing the sum over positive integers by a sum over ideals: s ζ(F,s)= N(I)− XI where I runs over the non-zero ideals of the ring of integers F and N(I)= F /I , and that ζ(F,s) has a simple pole at s =1 (corresponding to the trivial motiveO factor of Spec(|OF ), as| it turns out) with r1 r2 2 (2π) hF RF (s 1)ζ(F,s) s=1 = − | wF DF p| | By the unique factorization of ideals, ζ(F,s) can also be written as an Euler product s 1 (1 N( )− )− Y − P P 1 as runs over the maximal ideals of F , that is, the closed points of Spec( F ).
  • Notes on Galois Cohomology—Modularity Seminar

    Notes on Galois Cohomology—Modularity Seminar

    Notes on Galois Cohomology—Modularity seminar Rebecca Bellovin 1 Introduction We’ve seen that the tangent space to a deformation functor is a Galois coho- mology group H1, and we’ll see that obstructions to a deformation problem will be in H2. So if we want to know things like the dimension of R or whether a deformation functor is smooth, we need to be able to get our hands on the cohomology groups. Secondarily, if we want to “deform sub- ject to conditions”, we’ll want to express the tangent space and obstruction space of those functors as cohomology groups, and cohomology groups we can compute in terms of an unrestricted deformation problem. For the most part, we will assume the contents of Serre’s Local Fields and Galois Cohomology. These cover the cases when G is finite (and discrete) and M is discrete, and G is profinite and M is discrete, respectively. References: Serre’s Galois Cohomology Neukirch’s Cohomology of Number Fields Appendix B of Rubin’s Euler Systems Washington’s article in CSS Darmon, Diamond, and Taylor (preprint on Darmon’s website) 2 Generalities Let G be a group, and let M be a module with an action by G. Both G and M have topologies; often both will be discrete (and G will be finite), 1 or G will be profinite with M discrete; or both will be profinite. We always require the action of G on M to be continuous. Let’s review group cohomology, using inhomogenous cocycles. For a topological group G and a topological G-module M, the ith group of continuous cochains Ci(G, M) is the group of continuous maps Gi → M.
  • Local Galois Cohomology Computation) Let K Be a finite Extension of Qp Or Fp((T)) with Residue field Fq

    Local Galois Cohomology Computation) Let K Be a finite Extension of Qp Or Fp((T)) with Residue field Fq

    Exercise 2 (due on October 26) Choose 4 out of 8 problems to submit. Problem 2.1. (Local Galois cohomology computation) Let K be a finite extension of Qp or Fp((t)) with residue field Fq. Let V be a representation of GK on an F`-vector space. 1 GK ∗ GK (1) Show that when ` 6= p, H (GK ;V ) = 0 unless V 6= 0 or V (1) 6= 0. When ` = p 1 and K = Qp, what is dim H (GQp ;V ) \usually"? (2) When ` 6= p, compute without using Euler characteristic formula, in an explicit way, i n dim H (GK ; F`(n)). Your answer will depend on congruences of q modulo `. Observe that the dimensions coincidence with the prediction of Tate local duality and Euler characteristic formula. i (3) When ` = p and K a finite extension of Qp, compute the dimension of dim H (GK ; Fp(n)). Problem 2.2. (Dimension of local Galois cohomology groups) Let K be a finite extension of Qp, and let V be a representation of GK over a finite dimensional F`-vector space. Suppose that V is irreducible as a representation of GK and dim V ≥ 2. 1 2 (1) When ` 6= p, show that H (GK ;V ) = 0. (Hint: compute H using local Tate duality and then use Euler characteristic.) 1 (2) When ` = p, what is dim H (GK ;V )? Problem 2.3. (An example of Poitou{Tate long exact sequence) Consider F = Q, and let S = fp; 1g for an odd prime p. Determine each term in the Poitou{Tate exact sequence for 2 the trivial representation M = Fp.
  • A Finiteness Theorem in the Galois Cohomology of Algebraic Number Fields [7]

    A Finiteness Theorem in the Galois Cohomology of Algebraic Number Fields [7]

    transactions of the american mathematical society Volume 303. Number 2, October 1987 A FINITENESS THEOREM IN THE GALOIS COHOMOLOGY OF ALGEBRAICNUMBER FIELDS WAYNE RASKIND Dedicated to the memory of Prof essor D. S. Rim Abstract. In this note we show that if k is an algebraic number field with algebraic closure I and M is a finitely generated, free Zrmodule with continuous Ga\(k/k)- action, then the continuous Galois cohomology group Hl(k, M) is a finitely generated Z,-module under certain conditions on M (see Theorem 1 below). Also, we present a simpler construction of a mapping due to S. Bloch which relates torsion algebraic cycles and étale cohomology. The Galois cohomology of an algebraic number field is well-known to be important in the study of the arithmetic of the field and of algebraic varieties defined over the field. Unfortunately, this cohomology is not always well-behaved; for example, the Galois cohomology group H1(k,Zl(l))=: lim Hl(Gal{k/k),ur) n (k an algebraic closure of k) is not a finitely generated Zrmodule. However, there are many important cases in which one knows that the group Hl(k, M) is a finitely generated Zrmodule when M is a finitely generated Zrmodule. In this note we prove a theorem to this effect when M is the /-adic étale cohomology group H'(X,Xi(j)) modulo torsion of the extension to k of a smooth, proper algebraic variety defined over k and i # 2j, 2(j - 1). One may view this theorem as a generalization of the weak Mordell-Weil Theorem for the /c-points of an abelian variety; indeed, when M is the Täte module of such a variety our theorem basically comes down to the weak Mordell-Weil Theorem.
  • Galois Cohomology of Abelian Groups

    Galois Cohomology of Abelian Groups

    Pacific Journal of Mathematics GALOIS COHOMOLOGY OF ABELIAN GROUPS DALTON TARWATER Vol. 24, No. 1 May 1968 PACIFIC JOURNAL OF MATHEMATICS Vol. 24, No. 1, 1968 GALOIS COHOMOLOGY OF ABELIAN GROUPS DALTON TARWATER Normal and separable algebraic extensions of abelian groups have been defined in a manner similar to that of the field theory. In this paper it is shown that if N is a normal algebraic extension of the torsion group K = ΣKP9 where the p-components Kp of K are cyclic or divisible, and if G is the group of iΓ-automorphisms of N, then there is a family {GB}Eex of subgroups of G such that {G, {GB}Eex, N} is a field formation. All groups mentioned are abelian. If K is a subgroup of E, then AK(E) denotes the group of Z-automorphisms of E. If S is a subgroup of the automorphism group A(E) of E, then Es is the subgroup of E fixed by S. E is an algebraic extension of K if every e e E satisfies an equation ne = k Φ 0, k e K. E is a normal extension of K in an algebraic closure D of (minimal divisible group containing) K if every iί-automorphism of D induces an automorphism of E and E is a separable extension of K if for every ee E, eg K, there is a σ e AK(D) such that e Φ σ(e) e E. A formation is a field formation [1] if it satisfies: AXIOM I. For each Galois extension F/E, H\FIE) = H\GEIGF, F) = 0 .
  • A Tate Duality Theorem for Local Galois Symbols II; the Semi-Abelian Case

    A Tate Duality Theorem for Local Galois Symbols II; the Semi-Abelian Case

    A TATE DUALITY THEOREM FOR LOCAL GALOIS SYMBOLS II; THE SEMI-ABELIAN CASE EVANGELIA GAZAKI* Abstract. This paper is a continuation to [Gaz17]. For every integer n ≥ 1, we consider sn 2 the generalized Galois symbol K(k; G1, G2)/n −→ H (k, G1[n] ⊗ G2[n]), where k is a finite extension of Qp, G1, G2 are semi-abelian varieties over k and K(k; G1, G2) is the Somekawa K-group attached to G1, G2. Under some mild assumptions, we describe the exact anni- 2 hilator of the image of sn under the Tate duality perfect pairing, H (k, G1[n] ⊗ G2[n]) × 0 H (k, Hom(G1[n] ⊗ G2[n],µn)) → Z/n. An important special case is when both G1, G2 are abelian varieties with split semistable reduction. In this case we prove a finiteness result, which gives an application to zero-cycles on abelian varieties and products of curves. 1. Introduction In the early 90’s Somekawa ([Som90]), following a suggestion of K. Kato, defined a new K-group, K(k; G1, ··· ,Gr) attached to a finite family of semi-abelian varieties over a field M k. This group is a generalization of the Milnor K-group, Kr (k), of a field k. In fact, in the most basic case when G1 = ··· = Gr = Gm, Somekawa proved an isomorphism M Kr (k) ≃ K(k; Gm, ··· , Gm). Moreover, similarly to the case of the classical Milnor K-group, for every integer n ≥ 1 invertible in k, there is a well-defined homomorphism to Galois cohomology, r sn : K(k; G1, ··· ,Gr)/n → H (k,G1[n] ⊗···⊗ Gr[n]), known as the generalized Galois symbol.
  • Cohomological Interpretation of Brauer Groups 20172252 Seewoo Lee

    Cohomological Interpretation of Brauer Groups 20172252 Seewoo Lee

    Cohomological interpretation of Brauer Groups 20172252 Seewoo Lee Abstract In this note, we introduce a centeral simple algebra and a Brauer group, which classifies central division algebra over a given field. We prove that there exists a canonical isomorphism between a relative Brauer group Br(L=k) and the second group cohomology H2(Gal(L=k);L×), which shows that the cohomology of group can be used to classify central division algebras over a given field. We also present some examples and computations. 1 Introduction Let k be a field. A central simple algebra A over k is a finite dimensional associative algebra which is simple and center is k. For example, the quoternions H is a 4-dimensional central simple algebra over R. Our basic question is the following: Classify the central simple algebras over a given field k. This seems very hard problem at first glance. However, we will show that the Artin-Wedderburn theorem claims that every central simple algebra over k is isomorphic to a matrix algebra over some central division algebra over k which is determined unique up to isomorphism. Hence the theorem reduces the problem as Classify the central division algebras over a given field k. However, this isn't an easy problem. To do this, we will define the Brauer group Br(k) of a given field, which is a group that classifies central division algebras over k. More precisely, each elements of Br(k) corresponds to the isomorphism class of the central division algebras over k. Computation of the Brauer group can be done by the computation of the second cohomology group, by the following main theorem we will prove: Br(L=k) ' H2(Gal(L=k);L×): Using this, we will compute Brauer groups over various fields such as R; Fp; Qp; Q.
  • GROUP and GALOIS COHOMOLOGY Romyar Sharifi

    GROUP and GALOIS COHOMOLOGY Romyar Sharifi

    GROUP AND GALOIS COHOMOLOGY Romyar Sharifi Contents Chapter 1. Group cohomology5 1.1. Group rings5 1.2. Group cohomology via cochains6 1.3. Group cohomology via projective resolutions 11 1.4. Homology of groups 14 1.5. Induced modules 16 1.6. Tate cohomology 18 1.7. Dimension shifting 23 1.8. Comparing cohomology groups 24 1.9. Cup products 34 1.10. Tate cohomology of cyclic groups 41 1.11. Cohomological triviality 44 1.12. Tate’s theorem 48 Chapter 2. Galois cohomology 53 2.1. Profinite groups 53 2.2. Cohomology of profinite groups 60 2.3. Galois theory of infinite extensions 64 2.4. Galois cohomology 67 2.5. Kummer theory 69 3 CHAPTER 1 Group cohomology 1.1. Group rings Let G be a group. DEFINITION 1.1.1. The group ring (or, more specifically, Z-group ring) Z[G] of a group G con- sists of the set of finite formal sums of group elements with coefficients in Z ( ) ∑ agg j ag 2 Z for all g 2 G; almost all ag = 0 : g2G with addition given by addition of coefficients and multiplication induced by the group law on G and Z-linearity. (Here, “almost all” means all but finitely many.) In other words, the operations are ∑ agg + ∑ bgg = ∑ (ag + bg)g g2G g2G g2G and ! ! ∑ agg ∑ bgg = ∑ ( ∑ akbk−1g)g: g2G g2G g2G k2G REMARK 1.1.2. In the above, we may replace Z by any ring R, resulting in the R-group ring R[G] of G. However, we shall need here only the case that R = Z.
  • Galois Cohomology

    Galois Cohomology

    A Short Course on Galois Cohomology William Stein Spring 2010 Contents 1 Preface3 2 Introduction4 3 G-modules5 4 Hq and Ext 7 5 Morphisms of pairs 10 5.1 Morphism of pairs........................ 10 5.2 Shapiro's lemma......................... 11 6 Inflation and restriction 12 7 Inner automorphisms 12 8 An application of inner automorphisms 13 9 The restriction-inflation sequence 14 10 Cohomology sets 15 11 Long exact sequence of cohomology sets 17 12 Homology 18 13 Tate cohomology groups 19 14 Complete resolution of G 22 1 15 Corestriction 23 16 Cup Product 25 16.1 The Definition.......................... 25 16.2 Existence............................. 26 16.3 Properties............................. 28 16.4 Cohomology of a Cyclic Group................. 28 17 Galois Cohomology 29 17.1 The Definition.......................... 29 17.2 Infinite Galois extensions.................... 30 17.3 Some Galois Modules....................... 31 17.4 The Additive and Multiplicative Groups of a Field...... 32 18 Kummer Theory 33 18.1 Kummer Theory of Fields.................... 33 18.2 Kummer Theory for an Elliptic Curve............. 35 19 Brauer Groups 37 19.1 The Definition.......................... 37 19.2 Some Motivating Examples................... 38 19.3 Examples............................. 38 19.4 Brauer Groups and Central Simple Algebras.......... 40 20 Galois Cohomology of Abelian Varieties 42 20.1 Principal Homogenous Spaces for Abelian Varieties...... 42 20.2 Galois Cohomology of Abelian Varieties over Finite Fields.. 43 21 Duality 46 21.1 Duality over a Local Field.................... 46 21.1.1 Example: n-torsion on an elliptic curve........ 47 21.2 Duality over a Finite Field.................... 48 22 A Little Background Motivation for Etale´ Cohomology 49 22.1 Schemes.............................