BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
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 H2(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.
For m≥2, let F be a field of characteristic prime to m and containing the roots of unity of order m, and let GF be its absolute Galois group. We show that the 3-fold Massey products ⟨χ1,χ2,χ3⟩, with χ1,χ2,χ3∈H1(GF,Z/m) and χ1,χ3 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 GF.
For a prime number p and a free profinite group S on the basis X, let S(n,p), n=1,2,…, be the p-Zassenhaus filtration of S. For p>n, we give a word-combinatorial description of the cohomology group H2(S/S(n,p),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.
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.
Let q=ps be a prime power, F a field containing a root of unity of order q, and GF its absolute Galois group. We determine a new canonical quotient Gal(F(3)/F) of GF which encodes the full mod-q cohomology ring H∗(GF,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 Gal(E/F) is isomorphic to {1}, Z/p or to the nonabelian group Hp3 of order p3 and exponent p.
Let p be a prime number, F a field containing a root of unity of order p, and GF the absolute Galois group. Extending results of Hopkins, Wickelgren, Minac and Tan, we prove that the triple Massey product H1(GF)3→H2(GF) contains 0 whenever it is nonempty. This gives a new restriction on the possible profinite group structure of GF.
For several natural filtrations of a free group S we express the n-th term of the filtration as the intersection of all kernels of homomorphisms from S to certain groups of upper-triangular unipotent matrices. This generalizes a classical result of Grun for the lower central filtration. In particular, we do this for the n-th term in the lower p-central filtration of S.
In the last two decades new techniques emerged to construct valuations on an infinite division ring D, given a normal subgroup N⊆D of finite index. These techniques were based on the commuting graph of D×/N in the case where D is non-commutative, and on the Milnor K-graph on D×/N, in the case where D is commutative. In this paper we unify these two approaches and consider V-graphs on D×/N and how they lead to valuations. We furthermore generalize previous results to situations of finitely many valuations.
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≥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.
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.
Let p be an odd prime number and F a field containing a primitive pth root of unity. We prove a new restriction on the group-theoretic structure of the absolute Galois group GF of F. Namely, the third subgroup GF(3) in the descending p-central sequence of GF is the intersection of all open normal subgroups N such that GF/N is 1, Z/p2, or the modular group Mp3 of order p3.
For prime power q=pd 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 GF[3] of the absolute Galois group GF related to its descending q-central sequence. Conversely, we show that GF[3] is determined by the lower cohomology of GF. This is used to give new examples of pro-p groups which do not occur as absolute Galois groups of fields.
Let p be a prime number and let F be a field containing a root of unity of order p. We prove that a certain very small canonical Galois group (GF)[3] over F encodes the valuations on F whose value group is not p-divisible and which satisfy a variant of Hensel's lemma.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.