On Galois cohomology and realizability of 2-groups as Galois groups

2011 ◽  
Vol 9 (2) ◽  
pp. 403-419 ◽  
Author(s):  
Ivo M. Michailov
2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Alberto Cassella ◽  
Claudio Quadrelli

AbstractLet 𝔽 be a finite field. We prove that the cohomology algebra H^{\bullet}(G_{\Gamma},\mathbb{F}) with coefficients in 𝔽 of a right-angled Artin group G_{\Gamma} is a strongly Koszul algebra for every finite graph Γ. Moreover, H^{\bullet}(G_{\Gamma},\mathbb{F}) is a universally Koszul algebra if, and only if, the graph Γ associated to the group G_{\Gamma} has the diagonal property. From this, we obtain several new examples of pro-𝑝 groups, for a prime number 𝑝, whose continuous cochain cohomology algebra with coefficients in the field of 𝑝 elements is strongly and universally (or strongly and non-universally) Koszul. This provides new support to a conjecture on Galois cohomology of maximal pro-𝑝 Galois groups of fields formulated by J. Mináč et al.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Claudio Quadrelli

Abstract Let 𝑝 be a prime. We produce two new families of pro-𝑝 groups which are not realizable as absolute Galois groups of fields. To prove this, we use the 1-smoothness property of absolute Galois pro-𝑝 groups. Moreover, we show in these families, one has several pro-𝑝 groups which may not be ruled out as absolute Galois groups employing the quadraticity of Galois cohomology (a consequence of the norm residue theorem), or the vanishing of Massey products in Galois cohomology.


Author(s):  
Aprameyo Pal ◽  
Gergely Zábrádi

We show that the Galois cohomology groups of $p$ -adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ can be computed via the generalization of Herr’s complex to multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$ -modules. Using Tate duality and a pairing for multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$ -modules we extend this to analogues of the Iwasawa cohomology. We show that all $p$ -adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ are overconvergent and, moreover, passing to overconvergent multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$ -modules is an equivalence of categories. Finally, we prove that the overconvergent Herr complex also computes the Galois cohomology groups.


2018 ◽  
Vol 154 (9) ◽  
pp. 1921-1959 ◽  
Author(s):  
Pierre Guillot ◽  
Ján Mináč ◽  
Adam Topaz

In this paper, we develop a new necessary and sufficient condition for the vanishing of $4$-Massey products of elements in the modulo-$2$ Galois cohomology of a field. This new description allows us to define a splitting variety for $4$-Massey products, which is shown in the appendix to satisfy a local-to-global principle over number fields. As a consequence, we prove that, for a number field, all such $4$-Massey products vanish whenever they are defined. This provides new explicit restrictions on the structure of absolute Galois groups of number fields.


2011 ◽  
Vol 352 (1) ◽  
pp. 205-221 ◽  
Author(s):  
Sunil K. Chebolu ◽  
Ido Efrat ◽  
Ján Mináč

1997 ◽  
Vol 225 (2) ◽  
pp. 245-261 ◽  
Author(s):  
Ido Efrat
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document