Morphisms of A-infinity Bialgebras and Applications

TL;DR

This paper develops a framework for morphisms of A-infinity bialgebras, introduces relative matrads, and applies these concepts to identify complex algebraic structures in topological spaces, extending classical isomorphisms.

Contribution

It defines relative matrads and constructs a free H_-bimodule structure on bimultiplihedra, advancing the understanding of A-infinity bialgebra morphisms and their applications.

Findings

Homology of A_-bialgebras admits an induced A_-bialgebra structure.

Extended Bott-Samelson isomorphism to A_-bialgebras.

Identified nontrivial A_-bialgebra operations in loop space homology.

Abstract

We define the notion of a relative matrad and realize the free relative matrad as a free H_\infty-bimodule structure on cellular chains of bimultiplihedra JJ={JJ_{n,m} = JJ_{m,n}}. We define a morphism G:A => B of A_\infty-bialgebras as a bimodule over H_\infty and prove that the homology of every A_\infty-bialgebra over a commutative ring with unity admits an induced A_\infty-bialgebra structure. We extend the Bott-Samelson isomorphism to an isomorphism of A_\infty-bialgebras and identify the A_\infty-bialgebra structure of H_*(\Omega\Sigma X; Q). For each n>1, we construct a space X_n and identify an induced nontrivial A_\infty-bialgebra operation \omega_2^n : H^*(\Omega X_n; Z_2)^2 -> H^*(\Omega X_n; Z_2)^n.