Related papers: Pro-p groups with few relations and Universal Kosz…
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…
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 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…
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 problem this thesis deals with is the characterization of profinite groups which are realizable as absolute Galois groups of fields: this is currently one of the major problems in Galois theory. Usually one reduces the problem to…
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…
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…
We prove that Galois cohomology satisfies several surprisingly strong versions of Koszul properties, under a well known conjecture, in the finitely generated case. In fact, these versions of Koszulity hold for all finitely generated maximal…
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…
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…
In previous work, the authors introduced the notion of Q-Koszul algebras, as a tool to "model" module categories for semisimple algebraic groups over fields of large characteristics. Here we suggest the model extends to small…
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)…
In this article we introduce the notion of multi-Koszul algebra for the case of a locally finite dimensional nonnegatively graded connected algebra, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for…
We consider the canonical representation of the absolute Galois group of the rational numbers in the outer automorphism group of the pro-p completion of the fundamental group of the projective line minus 0,1, and infinity. Deligne has…
The Elementary Type Conjecture in Galois theory provides a concrete inductive description of the finitely generated maximal pro-$p$ Galois groups $G_F(p)$ of fields $F$ containing a root of unity of order $p$. We describe several variants…
Let $p$ be a prime. We produce two new families of pro-$p$ groups which are not realizable as absolute Galois groups of fields. To prove this we use the 1-smoothness property of absolute Galois pro-$p$ groups. Moreover, we show in these…
It is proved, as was conjectured by Eisenbud-Koh-Stillman, that for a finitely generated graded module $M$ over the symmetric algebra $S(V)$, if the Koszul group ${\cal K}_{p,0}(M,V)\ne 0$, then the set of rank 1 relations in $M_0\otimes V$…
We construct two families of examples of pro-p groups, with rather elementary presentations, that do not complete into 1-cyclotomic oriented pro-p groups. These provide brand new examples of pro-p groups that do not occur as maximal pro-p…
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…
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…