Pro-p groups with few relations and Universal Koszulity

One relator maximal pro-p Galois 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 and T.~Weigel's Koszulity conjectures are true for ${K}$. Also, under the above hypothesis we show that the $\mathbb{F}_p$-cohomology algebra of $G_{K}$ is the quadratic dual of the graded algebra $\mathrm{gr}_\bullet\mathbb{F}_p[G_{K}]$, induced by the powers of the augmentation ideal of the group algebra $\mathbb{F}_p[G_{K}]$, and these two algebras decom…

Mild pro-p groups and the Koszulity conjectures

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 $\mathrm{gr}\mathbb{F}_p[\![G]\!]$ - the latter being induced by the quotients of consecutive terms of the $p$-Zassenhaus filtration of $G$ - are both Koszul, and they are quadratically dual to each other. Consequently, if the maximal pro-$p$ Galois group of a field is mild, then Positselski's and Weigel's Koszulity conjectures hold true for such a field.

关于博戈莫洛夫-波西茨尔基猜想

On the Bogomolov-Positselski Conjecture

本文提出了一个新准则，用于判断定向pro-p群是否具有博戈莫洛夫-波西茨尔基性质，并展示了初等类型pro-p群满足更强条件

All automorphisms of the universal sofic group are class-preserving

In this article we prove that every automorphism of a universal sofic group is class preserving, i.e. preserves the conjugacy classes

On the universal theory of torsion and lacunary hyperbolic groups

We show that the universal theory of torsion groups is strongly contained in the universal theory of finite groups. This answers a question of Dyson. We also prove that the universal theory of some natural classes of torsion groups is undecidable. Finally we observe that the universal theory of the class of hyperbolic groups is undecidable and use this observation to construct a lacunary hyperbolic group with undecidable universal theory. Surprisingly, torsion groups play an important role in the proof of the latter results.

On universal and epi-universal locally nilpotent groups

In this paper we mainly consider the class LN of all locally nilpotent groups. We first show that there is no universal group in LN_lambda if lambda is a cardinal such that lambda = lambda^{aleph_0}; here we call a group G universal (in LN_lambda) if any group H in LN_lambda can be embedded into G where LN_lambda denotes the class of all locally nilpotent groups of cardinality at most lambda. However, our main interest is the construction of torsion-free epi-universal groups in LN_lambda, where G in LN_lambda is said to be epi-universal if any group H in LN_lambda is an epimorphic image of G. …