Related papers: Triple Massey products over global fields

Let $p$ be a prime number, $F$ a field containing a root of unity of order $p$, and $G_F$ the absolute Galois group. Extending results of Hopkins, Wickelgren, Minac and Tan, we prove that the triple Massey product $H^1(G_F)^3\to H^2(G_F)$…

We show that any triple Massey product with respect to prime 2 contains 0 whenever it is defined over any field. This extends the theorem of M. J. Hopkins and K. G. Wickelgren, from global fields to any fields. This is the first time when…

Fix an arbitrary prime $p$. Let $F$ be a field, containing a primitive $p$-th root of unity, with absolute Galois group $G_F$. The triple Massey product (in the mod-$p$ Galois cohomology) is a partially defined, multi-valued function…

Let p be a prime number and F a field containing a root of unity of order p. We relate recent results on vanishing of triple Massey products in the mod-p Galois cohomology of F, due to Hopkins, Wickelgren, Minac, and Tan, to classical…

Fix an arbitrary prime $p$. Let $F$ be a field containing a primitive $p$-th root of unity, with absolute Galois group $G_F$, and let $H^n$ denote its mod $p$ cohomology group $H^n(G_F,\mathbb{Z}/p\mathbb{Z})$. The triple Massey product of…

We construct splitting varieties for triple Massey products. For a,b,c in F^* the triple Massey product < a,b,c> of the corresponding elements of H^1(F, mu_2) contains 0 if and only if there is x in F^* and y in F[\sqrt{a}, \sqrt{c}]^* such…

We study the vanishing of triple Massey products for absolutely irreducible smooth projective curves over a number field. For each genus $g > 1$ and each prime $\ell > 3$, we construct examples of hyperelliptic curves of genus $g$ for which…

We show that the absolute Galois group of any field has the vanishing triple Massey product property. Several corollaries for the structure of maximal pro-$p$-quotient of absolute Galois groups are deduced. Furthermore, the vanishing of…

We give formulas for 3-fold Massey products in the \'etale cohomology of the ring of integers of a number field and use these to find the first known examples of imaginary quadratic fields with class group of $p$-rank two possessing an…

We prove the Massey Vanishing Conjecture for $n=4$ and $p=2$. That is, we show that for all fields $F$, if a fourfold Massey product modulo $2$ is defined over $F$, then it vanishes over $F$.

We prove that there exists an absolute constant $c>0$ such that if an arithmetic progression $\cP$ modulo a prime number $p$ does not contain zero and has the cardinality less than $cp$, then it can not be represented as a product of two…

We show that, in general, there exist non-vanishing triple Massey products in the cohomology with finite field coefficients of a complex hypersurface complement. In contrast, the Massey products, triple and higher, in the rational…

Fix $a \in \mathbb{Z}$, $a\notin \{0,\pm 1\}$. A simple argument shows that for each $\epsilon > 0$, and almost all (asymptotically 100% of) primes $p$, the multiplicative order of $a$ modulo $p$ exceeds $p^{\frac12-\epsilon}$. It is an…

A conjecture of Min\'a\v{c} and T\^an predicts that for any n>2, any prime p and any field k, the Massey product of n Galois cohomology classes in H^1(k,Z/pZ) must vanish if it is defined. We establish this conjecture when k is a number…

If p is a prime, then the numbers 1, 2, ..., p-1 form a group under multiplication modulo p. A number g that generates this group is called a primitive root of p; i.e., g is such that every number between 1 and p-1 can be written as a power…

Let $p$ be a prime number, let $G$ be a profinite group, let $\theta\colon G\to \mathbb{Z}_p^{\times}$ be a continuous character, and for all $n\geq 1$ write $\mathbb{Z}/p^n\mathbb{Z}(1)$ for the twist of $\mathbb{Z}/p^n\mathbb{Z}$ by the…

We prove that, for all fields $F$ of characteristic different from $2$ and all $a,b,c\in F^\times$, the mod $2$ Massey product $\langle a,b,c,a \rangle$ vanishes as soon as it is defined. For every field $F_0$, we construct a field $F$…

Let $F_p$ be the field of a prime order $p$. Then for any positive integer $n>1$, for any $\epsilon>0$, and for any subset $A$ of $F_p$, every element of $F_p$ can be represented as a sum of $N$ elements, each of them is a product of $n$…

Kadeishvili's minimal model theorem establishes the existence of an $A_\infty$-structure, unique up to isomorphism, on the cohomology of a dg associative algebra, which captures its homotopy type. In this note we prove the existence of…

For any $\epsilon>0$, there exists $q_0(\epsilon)$ such for any $q\ge q_0(\epsilon)$ and any invertible residue class $a$ modulo $q$, there exists a natural number that is congruent to $a$ modulo $q$ and that is the product of exactly three…