A-infinity-algebras, spectral sequences and exact couples

TL;DR

This paper introduces a new A-infinity-enhancement structure for multiplicative spectral sequences, providing a clearer approach to understanding their homotopic properties in the context of filtered dg and A-infinity-algebras.

Contribution

It proposes a simplified, equivalent definition of A-infinity-enhancement for spectral sequences, advancing the understanding of their homotopic structures.

Findings

The canonical spectral sequence from filtered dg or A-infinity-algebras admits an A-infinity-enhancement.

The new approach simplifies the handling of A-infinity-structures in spectral sequences.

The construction relates to recent work by S. Lapin, offering a more accessible framework.

Abstract

We study in this article a possible further structure of homotopic nature on multiplicative spectral sequences. More precisely, since Kadeishvili's theorem asserts that, given a dg (or A-infinity-)algebra, its cohomology has also a structure of A-infinity-algebra such that both become quasi-isomorphic, and in a multiplicative spectral sequence one considers the cohomology of dg algebras when moving from a term to the next one, a natural problem that arises is to study how this two possible structures intertwine. We give such a homotopic structure proposal, called A-infinity-enhancement of multiplicative spectral sequences, which could be of interest in our opinion. As far we know, this construction was studied only recently by S. Lapin, even though he did not state any definition. Seeing that the procedure considered by Lapin is rather complicated to handle, we propose an equivalent but in our opinion easier approach. In particular, from our definition we show that the canonical multiplicative spectral sequence obtained from a filtered dg (or A-infinity-)algebra, which could be viewed as the main example, has such an A-infinity-enhancement.