The $p$-Zassenhaus Filtration of a Free Profinite Group and Shuffle Relations

The Zassenhaus filtration, Massey Products, and Representations of Profinite Groups

We consider the p-Zassenhaus filtration (G_n) of a profinite group G. Suppose that G=S/N for a free profinite group S and a normal subgroup N of S contained in S_n. Under a cohomological assumption on the n-fold Massey products (which holds e.g., if the p-cohomological dimension of G is at most 1), we prove that G_{n+1} is the intersection of all kernels of upper-triangular unipotent (n+1)-dimensional representations of G over \mathbb F_p. This extends earlier results by Minac, Spira, and the author on the structure of absolute Galois groups of fields.

The lower $p$-central series of a free profinite group and the shuffle algebra

For a prime number $p$ and a free profinite group $S$ on the basis $X$, let $S^{(n,p)}$, $n=1,2,\ldots$ be the lower $p$-central filtration of $S$. For $p>n$, we give a combinatorial description of $H^2(S/S^{(n,p)},\mathbb{Z}/p)$ in terms of the Shuffle algebra on $X$.

The kernel generating condition and absolute Galois groups

For a list $\cal{L}$ of finite groups and for a profinite group $G$, we consider the intersection $T(G)$ of all open normal subgroups $N$ of $G$ with $G/N$ in $\cal{L}$. We give a cohomological characterization of the epimorphisms $π\colon S\to G$ of profinite groups (satisfying some additional requirements) such that $π[T(S)]=T(G)$. For $p$ prime, this is used to describe cohomologically the profinite groups $G$ whose $n$th term $G_{(n,p)}$ (resp., $G^{(n,p)}$) in the $p$-Zassenhaus filtration (resp., lower $p$-central filtration) is an intersection of this form. When $G=G_F$ is the absolute …

Cohomology of absolute Galois groups

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 the pro-$p$ case, i.e., one would like to know which pro-$p$ groups occur as maximal pro-$p$ Galois groups, i.e., maximal pro-$p$ quotients of absolute Galois groups. Indeed, pro-$p$ groups are easier to deal with than general profinite groups, yet they carry a lot of information on the whole absolute Galois group. We define a new class of pro-$p$ groups, cal…

The Cohomology of canonical quotients of free groups and Lyndon words

For a prime number $p$ and a free profinite group $S$, let $S^{(n,p)}$ be the $n$th term of its lower $p$-central filtration, and $S^{[n,p]}$ the corresponding quotient. Using tools from the combinatorics of words, we construct a canonical basis of the cohomology group $H^2(S^{[n,p]},\mathbb{Z}/p)$, which we call the Lyndon basis, and use it to obtain structural results on this group. We show a duality between the Lyndon basis and canonical generators of $S^{(n,p)}/S^{(n+1,p)}$. We prove that the cohomology group satisfies shuffle relations, which for small values of $n$ fully describe it.

上同调与 Magnus 构形的字组合

Cohomology and the Combinatorics of Words for Magnus Formations

本文研究了自由 pro-$p$ 群中由 Lyndon 字生成的闭正规子群，利用洗牌代数组合表达了相应的 profinite 上同调群，并扩展了下 $p$-中心与 $p$-Zassenhaus 滤波的已有结果。