Related papers: Chasing maximal pro-p Galois groups via 1-cyclotom…

We obtain vanishing ranges for the mod $p$ cohomology of alternating subgroups of finite $p$-free Coxeter groups. Here a Coxeter group $W$ is $p$-free if the order of the product $st$ is prime to $p$ for every pair of Coxeter generators…

Let $p$ be a prime. We show that if a pro-$p$ group with at most 2 defining relations has quadratic $\mathbb{F}_p$-cohomology, then such algebra is universally Koszul. This proves the "Universal Koszulity Conjecture" formulated by J.…

Let $p$ be an odd prime, and let $k$ be an arbitrary field of characteristic not $p$. In this article we determine the obstructions for the realizability as Galois groups over $k$ of all groups of orders $p^5$ and $p^6$, that have an…

Let $p$ be a prime. In this article, we prove the Smoothness Theorem, which asserts that a $(1,1)$-cyclotomic pair is $(n,1)$-cyclotomic, for all $n \geq 1$. In the particular case of Galois cohomology, the Smoothness Theorem provides a new…

We introduce a criterion on the presentation of finitely presented pro-$p$ groups which allows us to compute their cohomology groups and infer quotients of mild groups of cohomological dimension strictly larger than two, from (non-free)…

Translating results due to J. Labute into group cohomological language, A. Schmidt proved that a finitely presented pro-p-group G is mild and hence of cohomological dimension cd G=2 if $H^1(G,\F_p)=U\oplus V$ as $\F_p$-vector space and the…

We consider the family of CM-fields which are pro-p p-adic Lie extensions of number fields of dimension at least two, which contain the cyclotomic Z_p-extension, and which are ramified at only finitely many primes. We show that the Galois…

It is known that the Kurosh Subgroup Theorem does not hold for pro-$p$ groups of big cardinality. However, a subgroup $G$ of a free pro-$p$ product is projective relative to the Kurosh family of subgroups. In this paper we prove the…

We give formulas for 3-fold Massey products in the \'etale cohomology of the ring of integers of a number field and use these to find the first known examples of imaginary quadratic fields with class group of $p$-rank two possessing an…

We show that a nonempty family of $n$-generated subgroups of a pro-$p$ group has a maximal element. This suggests that 'Noetherian Induction' can be used to discover new features of finitely generated subgroups of pro-$p$ groups. To…

In this paper, we prove, under a technical assumption, that any semi-direct product of a $p$-group $G$ with a group $\Phi$ of order prime to $p$ can appear as the Galois group of a tower of extensions $H/K/F$ with the property that $H$ is…

We study the vanishing of four-fold Massey products in mod p Galois cohomology. First, we describe a sufficient condition, which is simply expressed by the vanishing of some cup-products, in direct analogy with the work of Guillot,…

For a prime number p, we denote by K the cyclotomic Z_p-extension of a number field k. For a finite set S of prime numbers, we consider the S-ramified Iwasawa module which is the Galois group of the maximal abelian pro-p-extension of K…

Let K be a number field containing the group of n-th roots of unity and S a set of primes of K including all those dividing n and all real archimedean places. We consider the cup product on the first Galois cohomology group of the maximal…

Let $K$ be a number field and $\mathcal{C}$ a full class of finite groups. We write $K^{\mathcal{C}}/K$ for the maximal pro-$\mathcal{C}$ Galois extension of $K$, and $G_K^{\mathcal{C}}$ for its Galois group. In this paper, we deal with the…

Let $p$ be a prime, and $\mathbb{F}_p$ the field with $p$ elements. We prove that if $G$ is a mild pro-$p$ group with quadratic $\mathbb{F}_p$-cohomology algebra $H^\bullet(G,\mathbb{F}_p)$, then the algebras $H^\bullet(G,\mathbb{F}_p)$ and…

We prove an irreducibility criterion for polynomials of the form $h(x)=x^{2m} + bx^m + c_1 \in F[x]$ relating to the Dickson polynomials of the first kind $D_p$. In the case when $F = \mathbb{Q}$, $m$ is a prime $p>3$, and $c_1=c^p$, for…

We investigate the Galois cohomology of finitely generated maximal pro-$p$ quotients of absolute Galois groups. Assuming the well-known conjectural description of these groups, we show that Galois cohomology has the PBW property. Hence in…

We investigate the Galois group $G_S(p)$ of the maximal $p$-extension unramified outside a finite $S$ of primes of a number field in the (tame) case, when no prime dividing $p$ is in $S$. We show that the cohomology of $G_S(p)$ is 'often'…

We prove that the property of being cyclic subgroup separable, that is having all cyclic subgroups closed in the profinite topology, is preserved under forming graph products. Furthermore, we develop the tools to study the analogous…