Related papers: Mild pro-p groups and the Koszulity conjectures

Let $p$ be a prime number and let ${K}$ be a field containing a root of 1 of order $p$. If the absolute Galois group $G_{K}$ satisfies $\dim H^1(G_{K},\mathbb{F}_p)<\infty$ and $\dim H^2(G_{K},\mathbb{F}_p)=1$, we show that L.~Positselski's…

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.…

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…

The main purpose of this article is to study pro-$p$ groups with quadratic $\mathbb{F}_p$-cohomology algebra, i.e. $H^\bullet$-quadratic pro-$p$ groups. Prime examples of such groups are the maximal Galois pro-$p$ groups of fields…

Let $k$ be an imaginary quadratic field and $p$ an odd prime number such that the $p$-rank of the class group of $k$ is one. Let $S$ be a finite set of places of $k$ distinct from $p$-adic places. We give sufficient conditions for the…

Let F be a finite field. We prove that the cohomology algebra with coefficients in F of a right-angled Artin group is a strongly Koszul algebra for every finite graph ${\Gamma}$. Moreover, the same algebra is a universally Koszul algebra…

Let $p$ be a prime number. For a field $F$ containing a root of unity of order $p$, let $H^\bullet(F)=H^\bullet(F,\mathbb{F}_p)$ be the mod-$p$ Galois cohomology graded $\mathbb{F}_p$-algebra of $F$. By the Norm Residue Theorem,…

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)…

Let $p$ be a prime. An oriented pro-$p$ group $(G,\theta)$ is said to have the Bogomolov--Positselski property if it is Kummerian and if $I_\theta(G)$ is a free pro-$p$ group. In this paper, we provide a new criterion for an oriented…

We prove that the Milnor ring of any (one-dimensional) local or global field K modulo a prime number l is a Koszul algebra over Z/l. Under mild assumptions that are only needed in the case l=2, we also prove various module Koszulity…

For a prime number $p$, we show that if two certain canonical finite quotients of a finitely generated Bloch-Kato pro-$p$ group $G$ coincide, then $G$ has a very simple structure, i.e., $G$ is a $p$-adic analytic pro-$p$ group. This result…

Let p be an odd prime and S a finite set of primes = 1 mod p. We give an effective criterion for determining when the Galois group G=G_S(p) of the maximal p-extension of Q unramified outside of S is mild when |S|=4 and the cup product…

In this article we establish a version of Koszul duality for filtered rings arising from $p$-adic Lie groups. Our precise setup is the following. We let $G$ be a uniform pro-$p$ group and consider its completed group algebra…

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 investigate how enhanced Koszul properties of Galois cohomology behave under composita of fields. Given fields $K_1$ and $K_2$ containing $\mu_p$, with intersection $k$ and compositum $K = K_1K_2$, we formulate an abstract composita…

Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of positive characteristic $p$. Under some restrictions on the size of $p$, the present paper establishes new results on the $G$-module structure of…

We introduce the notion of asymptotic universal Koszulity for graded-commutative algebras generated in degree~$1$, capturing the idea that an infinite-dimensional algebra can be approximated by a filtered system of finite-type universally…

Let $p$ be a prime. We resolve a question posed by Min\'a\v{c}-Rogelstad-T\^an. We relate the Zassenhaus and the lower central series of pro-$p$ groups under a torsion-freeness condition. We also study graph products of (pro-$p$) groups…

For a prime number $p$, we give a new restriction on pro-$p$ groups $G$ which are realizable as the maximal pro-$p$ Galois group $G_F(p)$ for a field $F$ containing a root of unity of order $p$. This restriction arises from Kummer Theory…

We prove a criterion for the mildness of a finitely presented pro-$p$ group $G$. It implies as a special case a cohomological mildness criterion via Massey products, generalizing results due to Schmidt and G\"artner. It subsumes Labute's…