Homotopy characters as a homotopy limit

TL;DR

This paper computes the homotopy limit of a cosimplicial system of DG-algebras associated with a derived algebraic group, revealing a category of homotopy characters and their tensor products.

Contribution

It introduces a novel approach to understanding homotopy characters as a homotopy limit in the context of DG-algebras and derived algebraic groups.

Findings

Homotopy limit characterized as Maurer-Cartan elements and $A_$-comodules.

Tensor product of characters interpreted via Kadeishvili's multibraces.

Analysis of the coderived category of DG-modules over the constructed DG-category.

Abstract

For a Hopf DG-algebra corresponding to a derived algebraic group, we compute the homotopy limit of the associated cosimplicial system of DG-algebras given by the classifying space construction. The homotopy limit is taken in the model category of DG-categories. The objects of the resulting DG-category are Maurer-Cartan elements of $\operatorname{Cobar}(A)$, or 1-dimensional $A_\infty$-comodules over $A$. These can be viewed as characters up to homotopy of the corresponding derived group. Their tensor product is interpreted in terms of Kadeishvili's multibraces. We also study the coderived category of DG-modules over this DG-category.