Higher Triple Massey products and symbols

Abstract

Fix an arbitrary prime p. Let F be a field containing a primitive p-th root of unity, with absolute Galois group GF, and let Hn denote its mod p cohomology group Hn(GF,Z/pZ). The triple Massey product of weight (n,k,m)∈N3 is a partially defined, multi-valued function 〈⋅,⋅,⋅〉:Hn×Hk×Hm→Hn+k+m−1. In this work we prove that for an arbitrary prime p, any defined 3MP of weight (n,1,m), where the first and third entries are symbols, contains zero; and that any defined 3MP of weight (1,k,1), where the middle entry is a symbol, contains zero.