Georgia Institute of Technology College of Sciences

The cohomology ring of the absolute Galois group Gal(kbar/k) of a field k controls interesting arithmetic properties of k. The Milnor conjecture, proven by Voevodsky, identifies the cohomology ring H^*(Gal(kbar/k), Z/2) with the tensor algebra of k* mod the ideal generated by x otimes 1-x for x in k - {0,1} mod 2, and the Bloch-Kato theorem, also proven by Voevodsky, generalizes the coefficient ring Z/2. In particular, the cohomology ring of Gal(kbar/k) can be expressed in terms of addition and multiplication in the field k, despite the fact that it is difficult even to list specific elements of Gal(kbar/k). The cohomology ring is a coarser invariant than the differential graded algebra of cochains, and one can ask for an analogous description of this finer invariant, controlled by and controlling higher order cohomology operations. We show that order n Massey products of n-1 factors of x and one factor of 1-x vanish, generalizing the relation x otimes 1-x. This is done by embedding P^1 - {0,1,infinity} into its Picard variety and constructing Gal(kbar/k) equivariant maps from pi_1^et applied to this embedding to unipotent matrix groups. This also identifies Massey products of the form <1-x, x, … , x , 1-x> with f cup 1-x, where f is a certain cohomology class which arises in the description of the action of Gal(kbar/k) on pi_1^et(P^1 - {0,1,infinity}). The first part of this talk will not assume knowledge of Galois cohomology or Massey products.