Source author record

Ido Efrat

Ido Efrat appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2024arXiv

Cohomology and the Combinatorics of Words for Magnus Formations

For a prime number $p$ and a free pro-$p$ group $G$ on a totally ordered basis $X$, we consider closed normal subgroups $G^Φ$ of $G$ which are generated by $p$-powers of iterated commutators associated with Lyndon words in the alphabet $X$. We express the profinite cohomology group $H^2(G/G^Φ)$ combinatorically, in terms of the shuffle algebra on $X$. This partly extends existing results for the lower $p$-central and $p$-Zassenhaus filtrations of $G$.

preprint2021arXiv

3-fold Massey products in Galois cohomology -- The non-prime case

For $m\geq2$, let $F$ be a field of characteristic prime to $m$ and containing the roots of unity of order $m$, and let $G_F$ be its absolute Galois group. We show that the 3-fold Massey products $\langleχ_1,χ_2,χ_3\rangle$, with $χ_1,χ_2,χ_3\in H^1(G_F,\mathbb{Z}/m)$ and $χ_1,χ_3$ $\mathbb{Z}/m$-linearly independent, are non-essential. This was earlier proved for $m$ prime. Our proof is based on the study of unitriangular representations of $G_F$.

preprint2020arXiv

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

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 $p$-Zassenhaus filtration of $S$. For $p>n$, we give a word-combinatorial description of the cohomology group $H^2(S/S_{(n,p)},\mathbb{Z}/p)$ in terms of the shuffle algebra on $X$. We give a natural linear basis for this cohomology group, which is constructed by means of unitriangular representations arising from Lyndon words.

preprint2016arXiv

Filtrations of free groups arising from the lower central series

We make a systematic study of filtrations of a free group F defined as products of powers of the lower central series of F. Under some assumptions on the exponents, we characterize these filtrations in terms of the group algebra, the Magnus algebra of non-commutative power series, and linear representations by upper-triangular unipotent matrices. These characterizations generalize classical results of Grun, Magnus, Witt, and Zassenhaus from the 1930's, as well as later results on the lower p-central filtration and the p-Zassenhaus filtrations. We derive alternative recursive definitions of such filtrations, extending results of Lazard. Finally, we relate these filtrations to Massey products in group cohomology.

preprint2015arXiv

Galois groups and cohomological functors

Let $q=p^s$ be a prime power, $F$ a field containing a root of unity of order $q$, and $G_F$ its absolute Galois group. We determine a new canonical quotient $\mathrm{Gal}(F_{(3)}/F)$ of $G_F$ which encodes the full mod-$q$ cohomology ring $H^*(G_F,\mathbb{Z}/q)$ and is minimal with respect to this property. We prove some fundamental structure theorems related to these quotients. In particular, it is shown that when $q=p$ is an odd prime, $F_{(3)}$ is the compositum of all Galois extensions $E$ of $F$ such that $\mathrm{Gal}(E/F)$ is isomorphic to $\{1\}$, $\mathbb{Z}/p$ or to the nonabelian group $H_{p^3}$ of order $p^3$ and exponent $p$.

preprint2014arXiv

On graphs and valuations

In the last two decades new techniques emerged to construct valuations on an infinite division ring $D,$ given a normal subgroup $N\subseteq D$ of finite index. These techniques were based on the commuting graph of $D^{\times}/N$ in the case where $D$ is non-commutative, and on the Milnor K-graph on $D^{\times}/N,$ in the case where $D$ is commutative. In this paper we unify these two approaches and consider V-graphs on $D^{\times}/N$ and how they lead to valuations. We furthermore generalize previous results to situations of finitely many valuations.

preprint2014arXiv

The Kernel Unipotent Conjecture and the vanishing of Massey products for odd rigid fields

A major difficult problem in Galois theory is the characterization of profinite groups which are realizable as absolute Galois groups of fields. Recently the Kernel $n$-Unipotent Conjecture and the Vanishing $n$-Massey Conjecture for $n\geq 3$ were formulated. These conjectures evolved in the last forty years as a byproduct of the application of topological methods to Galois cohomology. We show that both of these conjectures are true for odd rigid fields. This is the first case of a significant family of fields where both of the conjectures are verified besides fields whose Galois groups of $p$-maximal extensions are free pro-$p$-groups. We also prove the Kernel Unipotent Conjecture for Demushkin groups of rank 2, and establish a number of further related results.

preprint2014arXiv

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.

preprint2011arXiv

On the descending central sequence of absolute Galois groups

Let $p$ be an odd prime number and $F$ a field containing a primitive $p$th root of unity. We prove a new restriction on the group-theoretic structure of the absolute Galois group $G_F$ of $F$. Namely, the third subgroup $G_F^{(3)}$ in the descending $p$-central sequence of $G_F$ is the intersection of all open normal subgroups $N$ such that $G_F/N$ is 1, $\mathbb{Z}/p^2$, or the modular group $M_{p^3}$ of order $p^3$.

preprint2011arXiv

Quotients of absolute Galois groups which determine the entire Galois cohomology

For prime power $q=p^d$ and a field $F$ containing a root of unity of order $q$ we show that the Galois cohomology ring $H^*(G_F,\dbZ/q)$ is determined by a quotient $G_F^{[3]}$ of the absolute Galois group $G_F$ related to its descending $q$-central sequence. Conversely, we show that $G_F^{[3]}$ is determined by the lower cohomology of $G_F$. This is used to give new examples of pro-$p$ groups which do not occur as absolute Galois groups of fields.