FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1579931862> ?p ?o ?g. }

• W1579931862 abstract "Let F be a field containing a primitive pth root of unity, and let U be an open normal subgroup of index p of the absolute Galois group GF of F . We determine the structure of the cohomology group H(U, Fp) as an Fp[GF /U ]-module for all n ∈ N. Previously this structure was known only for n = 1, and until recently the structure even of H(U, Fp) was determined only for F a local field, a case settled by Borevic and Faddeev in the 1960s. Let F be a field containing a primitive pth root of unity ξp. Let GF be the absolute Galois group of F , U an open normal subgroup of GF of index p, and G = GF /U . Let E be the fixed field of U in the separable closure Fsep of F . Fix a ∈ F such that E = F ( p √ a), and let σ ∈ G satisfy p √aσ−1 = ξp. In the 1960s Z. I. Borevic and D. K. Faddeev classified the possible G-module structures of the first cohomology groups H(U, Fp) in the case F a local field [B]. Quite recently this result was extended for all fields F as above [MS]. For the study of Galois cohomology it is important to extend these results to all cohomology groups H(U, Fp), n ∈ N, and a solution of this problem was out of reach until now. Recently, based on earlier work of A. S. Merkurjev, M. Rost and A. A. Suslin, V. Voevodsky established the Bloch-Kato Conjecture [V1, V2], and it turns out that some of the main theorems in his proof are sufficient to determine the structure of all G-Galois modules H(U, Fp), using only simple arithmetical invariants attached to the field extension E/F . The theorems we use (quoted as Theorems 3 and 4 in section 1 below) had, in fact, been standard conjectures on Galois cohomology. Date: October 29, 2004. Research supported in part by NSERC grant R3276A01. Research supported in part by NSERC grant R0370A01. Supported by the Mathematical Sciences Research Institute, Berkeley. Research supported in part by National Security Agency grant MDA904-02-10061. 1 2 NICOLE LEMIRE, JAN MINAC, AND JOHN SWALLOW It is interesting to point out, however, that the case n = 2 could have already been settled some 20 years ago, thanks to the work of Merkurjev and Suslin [MeSu]. The main ingredient for our determination of the G-module structure of H(U, Fp) is Milnor K-theory. (See [Mi] and [FV, Chap. IX].) For i ≥ 0, let KiF denote the ith Milnor K-group of the field F , with standard generators denoted by {f1, . . . , fi}, f1, . . . , fi ∈ F {0}. For α ∈ KiF , we denote by ᾱ the class of α modulo p, and we use the usual abbreviation knF for KnF/pKnF . We write NE/F for the norm map KnE → KnF , and we use the same notation for the induced map modulo p. We denote by iE the natural homomorphism in the reverse direction. We also apply the same notation NE/F and iE for the corresponding homomorphisms between cohomology groups. The image of an element α ∈ KiF in H (GF , Fp) we also denote by α. Voevodsky’s proof of the Bloch-Kato Conjecture establishes a GF -isomorphism H(U, Fp) ∼= knE. We formulate our results in terms of Galois cohomology for intended applications, but we use Milnor K-theory in our proof. We concentrate upon the case when F is a perfect field, and at the end of the paper we indicate how one may reduce the case of an imperfect field F to the case of characteristic 0. Our decomposition depends on four arithmetic invariants Υ1, Υ2, y, z, which we define as follows. First, for an element ᾱ of kiF , let annkn−1F ᾱ = ann ( kn−1F ᾱ·− −−→ kn−1+iF ) denote the annihilator of the product with ᾱ. When the domain of ᾱ is clear, we omit the subscript on the map and write simply ann ᾱ. Because we will often use the elements {a}, {ξp}, {a, a}, and {a, ξp}, we omit the bars for these elements. We also omit the bar in the element { p √a} ∈ knE. Fix n ∈ N and U an open normal subgroup of GF of index p with fixed field E. Define invariants associated to E/F and n as follows: d := dimFp knF / NE/F knE e := dimFp NE/F knE Υ1 := dimFp ann{a, ξp} / ann{a} Υ2 := dimFp kn−1F / ann{a, ξp} GALOIS MODULE STRUCTURE OF GALOIS COHOMOLOGY 3" @default.
• W1579931862 created "2016-06-24" @default.
• W1579931862 creator A5000307555 @default.
• W1579931862 creator A5022056837 @default.
• W1579931862 creator A5024533945 @default.
• W1579931862 date "2004-09-24" @default.
• W1579931862 modified "2023-10-03" @default.
• W1579931862 title "Galois module structure of Galois cohomology" @default.
• W1579931862 cites W1511909084 @default.
• W1579931862 cites W1516936858 @default.
• W1579931862 cites W1548944036 @default.
• W1579931862 cites W1615132133 @default.
• W1579931862 cites W1972469603 @default.
• W1579931862 cites W1991358355 @default.
• W1579931862 cites W2010096183 @default.
• W1579931862 cites W2031664294 @default.
• W1579931862 hasPublicationYear "2004" @default.
• W1579931862 type Work @default.
• W1579931862 sameAs 1579931862 @default.
• W1579931862 citedByCount "4" @default.
• W1579931862 crossrefType "posted-content" @default.
• W1579931862 hasAuthorship W1579931862A5000307555 @default.
• W1579931862 hasAuthorship W1579931862A5022056837 @default.
• W1579931862 hasAuthorship W1579931862A5024533945 @default.
• W1579931862 hasConcept C114614502 @default.
• W1579931862 hasConcept C118615104 @default.
• W1579931862 hasConcept C121332964 @default.
• W1579931862 hasConcept C134306372 @default.
• W1579931862 hasConcept C145899342 @default.
• W1579931862 hasConcept C182349385 @default.
• W1579931862 hasConcept C202444582 @default.
• W1579931862 hasConcept C206343339 @default.
• W1579931862 hasConcept C26204071 @default.
• W1579931862 hasConcept C2780435672 @default.
• W1579931862 hasConcept C2781311116 @default.
• W1579931862 hasConcept C33923547 @default.
• W1579931862 hasConcept C62520636 @default.
• W1579931862 hasConcept C67536143 @default.
• W1579931862 hasConcept C70710897 @default.
• W1579931862 hasConcept C78606066 @default.
• W1579931862 hasConcept C84114770 @default.
• W1579931862 hasConcept C9652623 @default.
• W1579931862 hasConceptScore W1579931862C114614502 @default.
• W1579931862 hasConceptScore W1579931862C118615104 @default.
• W1579931862 hasConceptScore W1579931862C121332964 @default.
• W1579931862 hasConceptScore W1579931862C134306372 @default.
• W1579931862 hasConceptScore W1579931862C145899342 @default.
• W1579931862 hasConceptScore W1579931862C182349385 @default.
• W1579931862 hasConceptScore W1579931862C202444582 @default.
• W1579931862 hasConceptScore W1579931862C206343339 @default.
• W1579931862 hasConceptScore W1579931862C26204071 @default.
• W1579931862 hasConceptScore W1579931862C2780435672 @default.
• W1579931862 hasConceptScore W1579931862C2781311116 @default.
• W1579931862 hasConceptScore W1579931862C33923547 @default.
• W1579931862 hasConceptScore W1579931862C62520636 @default.
• W1579931862 hasConceptScore W1579931862C67536143 @default.
• W1579931862 hasConceptScore W1579931862C70710897 @default.
• W1579931862 hasConceptScore W1579931862C78606066 @default.
• W1579931862 hasConceptScore W1579931862C84114770 @default.
• W1579931862 hasConceptScore W1579931862C9652623 @default.
• W1579931862 hasLocation W15799318621 @default.
• W1579931862 hasOpenAccess W1579931862 @default.
• W1579931862 hasPrimaryLocation W15799318621 @default.
• W1579931862 hasRelatedWork W1979232433 @default.
• W1579931862 hasRelatedWork W2043327707 @default.
• W1579931862 hasRelatedWork W2046779049 @default.
• W1579931862 hasRelatedWork W2046922807 @default.
• W1579931862 hasRelatedWork W2080329632 @default.
• W1579931862 hasRelatedWork W2111507559 @default.
• W1579931862 hasRelatedWork W2227488986 @default.
• W1579931862 hasRelatedWork W2245087588 @default.
• W1579931862 hasRelatedWork W2608269246 @default.
• W1579931862 hasRelatedWork W2613914349 @default.
• W1579931862 hasRelatedWork W2625094291 @default.
• W1579931862 hasRelatedWork W2807449063 @default.
• W1579931862 hasRelatedWork W2950272732 @default.
• W1579931862 hasRelatedWork W2951446978 @default.
• W1579931862 hasRelatedWork W2951570073 @default.
• W1579931862 hasRelatedWork W3001624967 @default.
• W1579931862 hasRelatedWork W3098967344 @default.
• W1579931862 hasRelatedWork W3159127186 @default.
• W1579931862 hasRelatedWork W53461247 @default.
• W1579931862 hasRelatedWork W2130896963 @default.
• W1579931862 isParatext "false" @default.
• W1579931862 isRetracted "false" @default.
• W1579931862 magId "1579931862" @default.
• W1579931862 workType "article" @default.