The symbol length for elementary type pro-\(p\) groups and Massey products
type: Item
instance of: scholarly article
title: The symbol length for elementary type pro-\(p\) groups and Massey products
zbMATH Open document ID: 1548.12004
author: Ido Efrat
published in: Journal of Algebra
publication date: 2024-06-19T00:00:00Z
review text: Let \(p\) be a fixed prime number, and for any profinite group \(G\) and an integer \(n \ge 0\), denote by \(H^n(G, \mathbb{F}_p)\) the \(n\)-th profinite cohomology group of \(G\) with respect to its trivial action on \(\mathbb{F}_p\); also, let \(H^*(G, \mathbb{F}_p) = \bigoplus_{n \ge 0} H^n(G, \mathbb{F}_p)\) be the cohomology (graded) ring with the cup product. A symbol in \(H^n(G, \mathbb{F}_p)\), where \(n \ge 1\), is a cup product \(\chi_1 \cup \dots \chi_n\) of \(n\) elements \(\chi_1, \dots, \chi_n\) of \(H^1(G_F, \mathbb{F}_p)\). The symbol length sl\((\omega)\) of a cohomology class \(\omega \in H^n(G, \mathbb{F}_p)\) is the minimal positive integer \(m\) such that \(\omega\) can be written as a sum of \(m\) symbols in \(H^n(G, \mathbb{F}_p)\); if no such integer exists, one sets sl\((\omega) = \infty\).\N\NLet now \(F\) be a field, \(F^{\ast} = F \setminus \{0\}\) its multiplicative group, \(F_{sep}\) a separable closure of \(F\), and \(G_F = Gal(F^{sep}/F)\) the absolute Galois group of \(F\); suppose that \(F\) contains a primitive \(p\)-th root of unity. By the Norm Residue Theorem (the Bloch-Kato conjecture proved by Voevodsky and Rost), \(H^{\ast}(G_F, \mathbb{F}_p)\) is isomorphic as a graded ring to the mod-\(p\) Milnor \(K\)-ring \(K_{\ast}^M(F)/p\) (see [\textit{V. Voevodsky}, Ann. Math. (2) 174, No. 1, 401--438 (2011; Zbl 1236.14026); \textit{C. Haesemeyer} and \textit{C. A. Weibel}, The norm residue theorem in motivic cohomology. Princeton, NJ: Princeton University Press (2019; Zbl 1433.14001)]). Consequently, \(H^{\ast}(G_F, \mathbb{F}_p)\) is generated by its degree \(1\) elements, that is, sl\((\omega) < \infty\) for all \(\omega\). General bounds on sl\((\omega)\) can serve as a measure for the arithmetical complexity of \(F\), as well as of specific cohomological constructions (see e.g., [\textit{D. Krashen}, Bull. Lond. Math. Soc. 48, No. 6, 985--1000 (2016; Zbl 1405.11039)], and [\textit{E. Matzri}, Trans. Am. Math. Soc. 368, No. 1, 41…
reviewed by: Ivan D. Chipchakov
Mathematics Subject Classification ID: 12G05
Mathematics Subject Classification ID: 20J06
Mathematics Subject Classification ID: 55S30
Mathematics Subject Classification ID: 12F10
Mathematics Subject Classification ID: 12E30
zbMATH DE Number: 7868230
zbMATH Keywords: symbol length
zbMATH Keywords: Massey products
zbMATH Keywords: elementary type conjecture
zbMATH Keywords: Galois cohomology
MaRDI profile type: MaRDI publication profile
cites work: Q4175436
cites work: Decomposition of Witt Rings
cites work: Characterizing reduced Witt rings of fields
cites work: Q3281138
cites work: Homology, Massey products and maps between groups
cites work: Pro-\(p\) Galois groups of algebraic extensions of \(\mathbb{Q}\)
cites work: Small maximal pro-\(p\) Galois groups
cites work: Finitely generated pro-\(p\) absolute Galois groups over global fields
cites work: Pro-Pgalois groups of function fields over local fields
cites work: A Hasse principle for function fields over PAC fields
cites work: On Galois groups over Pythagorean and semi-real closed fields
cites work: Triple Massey products and absolute Galois groups
cites work: Abelian p-subgroups of the general linear group
cites work: Four-fold Massey products in Galois cohomology
cites work: The Massey vanishing conjecture for number fields
cites work: Generalized Bockstein maps and Massey products
cites work: Splitting varieties for triple Massey products
cites work: The Norm Residue Theorem in Motivic Cohomology
cites work: On the structure of Pythagorean fields
cites work: A recursive description of the maximal pro-2 Galois group via Witt rings
cites work: Period and index, symbol lengths, and generic splittings in Galois cohomology
cites work: Die Struktur der absoluten Galoisgruppe über dem Körper \(R(t)\)
cites work: Classification of Demushkin Groups
cites work: Spaces of Orderings IV
cites work: Q4665019
cites work: Symbol length in the Brauer group of a field
cites work: Q3726224
cites work: The kernel unipotent conjecture and the vanishing of Massey products for odd rigid fields
cites work: Triple Massey products vanish over all fields
cites work: Koszul algebras and quadratic duals in Galois cohomology
cites work: Mild pro-\(p\) groups and the Koszulity conjectures
cites work: Q3445917
cites work: Koszul property and Bogomolov's conjecture
cites work: Galois cohomology of a number field is Koszul
cites work: Koszul duality and Galois cohomology
cites work: Massey products in Galois cohomology and the elementary type conjecture
cites work: Oriented pro-\(\ell\) groups with the Bogomolov-Positselski property
cites work: On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
cites work: p-Henselian fields: K-theory, Galois cohomology, and graded Witt rings
DOI: 10.1016/J.JALGEBRA.2024.04.025
description: scientific article; zbMATH DE number 7868230