Massey Products Research Articles

Degenerate fourfold Massey products over arbitrary fields

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 containing F_{0} and a,b,c,d\in F^{\times} such that \langle a,b,c\rangle and \langle b,c,d\rangle vanish but \langle a,b,c,d\rangle is not defined. As a consequence, we answer a question of Positselski by constructing the first examples of fields containing all roots of unity and such that the mod 2 cochain differential graded algebra of the absolute Galois group is not formal.

Bott–Chern Formality and Massey Products on Strong Kähler with Torsion and Kähler Solvmanifolds

We study the interplay between geometrically-Bott–Chern-formal metrics and SKT metrics. We prove that a 6-dimensional nilmanifold endowed with a invariant complex structure admits an SKT metric if and only if it is geometrically-Bott–Chern-formal. We also provide some partial results in higher dimensions for nilmanifolds endowed with a class of suitable complex structures. Furthermore, we prove that any Kähler solvmanifold is geometrically formal. Finally, we explicitly construct lattices for a complex solvable Lie group in the list of Nakamura (J Differ Geom 10:85–112, 1975) on which we provide a non vanishing quadruple ABC-Massey product.

Universal First-Order Massey Product of a Prefactorization Algebra

This paper studies the universal first-order Massey product of a prefactorization algebra, which encodes higher algebraic operations on the cohomology. Explicit computations of these structures are carried out in the locally constant case, with applications to factorization envelopes on Rm\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathbb {R}^m$$\\end{document} and a compactification of linear Chern–Simons theory on R2×S1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathbb {R}^2\ imes \\mathbb {S}^1$$\\end{document}.

The symbol length for elementary type pro-p groups and Massey products

For a prime number p and an integer m≥2, we prove that the symbol length of all elements of m-fold Massey products in H2(G,Fp), for pro-p groups G of elementary type, is bounded by (m2/4)+m. Assuming the Elementary Type Conjecture, this applies to all finitely generated maximal pro-p Galois groups G=GF(p) of fields F which contain a root of unity of order p. More generally, we provide such a uniform bound for the symbol length of all pullbacks ρ⁎(ω¯) of a given cohomology element ω¯∈Hn(G¯,Fp), where G¯ is a finite p-group, n≥2, and ρ:G→G¯ is a pro-p group homomorphism.

On Massey products and rational homogeneous varieties

On Massey products and rational homogeneous varieties

Cohomological properties of maximal pro-p Galois groups that are preserved under profinite completion

Abstract Let p be a prime number. One of the most difficult and important questions in Galois theory these days is determining which pro-p groups can occur as maximal pro-p Galois groups. Some restrictions of the structure of maximal pro-p Galois groups are already known, and therefore, the families of all pro-p groups satisfying these restrictions are in the center of the research. In the current paper we deal with three of these families: The family of all pro-p groups which satisfy hereditarily the n-vanishing Massey product property, the family of 1-cyclotomic oriented pro-p groups, and the family of pro-p groups that are hereditarily of p-absolute Galois type. We show that all these families are closed under taking profinite completion of each order.

On the behavior of Massey products under field extension

We show that global vanishing of Massey products on a commutative differential graded algebra is not invariant under field extension. Non-vanishing triple Massey products remain non-vanishing upon field extension, while higher Massey products can generally vanish. If the field being extended is algebraically closed, all non-vanishing Massey products remain non-vanishing on a finite type commutative differential graded algebra.

Bounded cohomology classes of exact forms

On negatively curved compact manifolds, it is possible to associate to every closed form a bounded cocycle – hence a bounded cohomology class – via integration over straight simplices. The kernel of this map is contained in the space of exact forms. We show that in degree 2 this kernel is trivial, in contrast with higher degree. In other words, exact non-zero 2 2 -forms define non-trivial bounded cohomology classes. This result is the higher dimensional version of a classical theorem by Barge and Ghys [Invent. Math. 92 (1988), pp. 509–526] for surfaces. As a consequence, one gets that the second bounded cohomology of negatively curved manifolds contains an infinite dimensional space, whose classes are explicitly described by integration of forms. This also showcases that some recent results by Marasco [Proc. Amer. Math. Soc. 151 (2023), pp. 2707–2715] can be applied in higher dimension to obtain new non-trivial results on the vanishing of certain cup products and Massey products. Some other applications are discussed.

Massey products and elliptic curves

AbstractWe study the vanishing of Massey products of order at least 3 for absolutely irreducible smooth projective curves over a field with coefficients in . We mainly focus on elliptic curves, for which we obtain a complete characterization of when triple Massey products do not vanish.

Massey products for algebras over operads

We define a generalization of Massey products for algebras over a Koszul operad in characteristic zero, extending Massey’s and Allday’s and Retah’s in the associative and Lie cases, respectively. We establish connections with minimal models and with Dimitrova’s universal operadic cohomology class. We compute a Gerstenhaber algebra example and a hypercommutative algebra example related to the Chevalley–Eilenberg complex of the Heisenberg Lie algebra.

Massey products and Fujita decomposition over higher dimensional base

Let $$f:X\rightarrow Y$$ be a semistable fibration between smooth complex varieties of dimension n and m. This paper contains an analysis of the local systems of de Rham closed relative one forms and top forms on the fibers. In particular the latter recovers the local system of the second Fujita decomposition of $$f_*\omega _{X/Y}$$ over higher dimensional base. The so called theory of Massey products allows, under natural Castelnuovo-type hypothesis, to study the finiteness of the associated monodromy representations. Motivated by this result, we also make precise the close relation between Massey products and Castelnuovo-de Franchis type theorems.

The Massey vanishing conjecture for number fields

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 field.

Generalized Bockstein maps and Massey products

Abstract Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H, we relate the values of these generalized Bockstein maps to Massey products relative to a restricted class of defining systems depending on H. We apply our study to prove lower bounds on the p-ranks of class groups of certain nonabelian extensions of $\mathbb {Q}$ and to give a new proof of the vanishing of Massey triple products in Galois cohomology.

Derived universal Massey products

We define an obstruction to the formality of a differential graded algebra over a graded operad defined over a commutative ground ring. This obstruction lives in the derived operadic cohomology of the algebra. Moreover, it determines all operadic Massey products induced on the homology algebra, hence the name of derived universal Massey product.

On the formality problem for manifolds with special holonomy

In ??1 and 2 we follow our online talk at the 21st Geometrical Seminar (Beograd, Serbia) on June 30, 2022 by giving a survey of the formality problem for manifold with special holonomy and exposing recent results by M. Amann and the author on the formality of Joyce?s examples of G2-manifolds. In ?3 we expose the approach to establishing the formality by using the intersection Massey products.

On the May spectral sequence at the prime 2

We make a conjecture about the whole E2 page of the May spectral sequence in terms of generators and relations and we prove it in a subalgebra which covers a large range of dimensions. We show that the E2 page plays a universal role in the study of Massey products in commutative DGAs. We conjecture that the E2 page is nilpotent free and also prove it in this subalgebra. We compute all the d2 differentials of the generators in the conjecture and construct maps of spectral sequences which allow us to explore Adams vanishing line theorem to compute differentials in the May spectral sequence.

Monomial non-Golod face rings and Massey products

Monomial non-Golod face rings and Massey products

Минимально неголодовы кольца граней и произведения Масси

We give a correct statement and a complete proof of the criterion obtained by Grbi\'c, Panov, Theriault and Wu for the face ring $\Bbbk[K]$ of a simplicial complex $K$ to be Golod over a field $\Bbbk$. (The original argument depended on the main result of a paper by Berglund and J\"ollenbeck, which was shown to be false by Katth\"an.) We also construct an example of a minimally non-Golod complex $K$ such that the cohomology of the corresponding moment-angle complex $\mathcal Z_K$ has trivial cup product and a non-trivial triple Massey product.

Differential graded algebras, Steenrod cup-one products, binomial operations, and Massey products

Motivated by the construction of Steenrod cup-i products in the singular cochain algebra of a space and in the algebra of non-commutative differential forms, we define a category of binomial cup-one differential graded algebras over the integers and over prime fields of positive characteristic. The Steenrod and Hirsch identities bind the cup-product, the cup-one product, and the differential in a package that we further enhance with a binomial ring structure arising from a ring of integer-valued rational polynomials. This structure allows us to define the free binomial cup-one differential graded algebra generated by a set and derive its basic properties. It also provides the context for defining restricted triple Massey products, which have a smaller indeterminacy than the classical ones, and hence, give stronger homotopy type invariants.

LS-category of moment-angle manifolds and higher order Massey products

Abstract Using the combinatorics of the underlying simplicial complex K, we give various upper and lower bounds for the Lusternik–Schnirelmann (LS) category of moment-angle complexes 𝒵 K {\mathcal{Z}_{K}} . We describe families of simplicial complexes and combinatorial operations which allow for a systematic description of the LS-category. In particular, we characterize the LS-category of moment-angle complexes 𝒵 K {\mathcal{Z}_{K}} over triangulated d-manifolds K for d ≤ 2 {d\leq 2} , as well as higher-dimensional spheres built up via connected sum, join, and vertex doubling operations. We show that the LS-category closely relates to vanishing of Massey products in H * ⁢ ( 𝒵 K ) {H^{*}(\mathcal{Z}_{K})} , and through this connection we describe first structural properties of Massey products in moment-angle manifolds. Some of the further applications include calculations of the LS-category and the description of conditions for vanishing of Massey products for moment-angle manifolds over fullerenes, Pogorelov polytopes and k-neighborly complexes, which double as important examples of hyperbolic manifolds.