The category of $E_\infty$-coalgebras, the $E_\infty$-coalgebra structure on the homology, and the dimension completion of the fundamental group

TL;DR

This paper explores the structure of $E_infty$-coalgebras over integers, establishing how their homology inherits such structures and connecting these to invariants of fundamental groups in complex hyperplane arrangements.

Contribution

It introduces a category of $E_infty$-coalgebras over integers and shows how homology with no torsion naturally acquires an $E_infty$-coalgebra structure, linking to fundamental group invariants.

Findings

Homology of torsion-free $E_infty$-coalgebras inherits an $E_infty$-structure.

Defined invariants of $E_infty$-coalgebra structures relate to fundamental group invariants.

Established a categorical framework for $E_infty$-coalgebras over the integers.

Abstract

We study a special type of $E_\infty$-operads that govern strictly unital $E_\infty$-coalgebras (and algebras) over the ring of integers. Morphisms of coalgebras over such an operad are defined by using universal $E_\infty$-bimodules. Thus we obtain a category of $E_\infty$-coalgebras. It turns out that if the homology of an $E_\infty$-coalgebra have no torsion, then there is a natural way to define an $E_\infty$-coalgebra structure on the homology so that the resulting coalgebra be isomorphic to the initial $E_\infty$-coalgebra in our category. We also discuss some invariants of the $E_\infty$-coalgebra structure on homology and relate them to the invariant formerly used by the author to distinguish the fundamental groups of the complements of combinatorially equivalent complex hyperplane arrangements.