The homotopy theory of bialgebras over pairs of operads

DOI10.1016/J.JPAA.2013.10.013MaRDI QIDQ393510zbMATH OpenOpenAlexFDO

Authors Sinan Yalin

Publication date 23 January 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.1172

zbMATH Keywords

chain complex, operad, coalgebra, bialgebra cofibrantly generated model category

Mathematics Subject Classification ID

Chain complexes (category-theoretic aspects), dg categories (18G35)

Abstract: We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in two steps. In the first step, we equip coalgebras over an operad with a cofibrantly generated model category structure. In the second one we use the adjunction between bialgebras and coalgebras via the free algebra functor. This result allows us to do classical homotopical algebra in various categories such as associative bialgebras, Lie bialgebras or Poisson bialgebras in chain complexes.

Review text

Let \(P\) be an operad in the category of \(\mathbb{K}\)-vector spaces such that \(P(0)=0\) and \(P(1)=\mathbb{K}\) and such that the vector spaces \(P(n)\) are finite-dimensional for all \(n>1\). Let \(\mathrm{Ch}^+_{\mathbb{K}}\) be the category of positively graded chain complexes. It is proved that the category of \(P\)-coalgebras \({}^P\mathrm{Ch}^+_{\mathbb{K}}\) can be equipped with a cofibrantly generated model category such that a morphism is a weak equivalence (a cofibration resp.) if it is a weak equivalence (a cofibration resp.) between the underlying chain complexes, the fibrations being the maps having the right lifting property with respect to trivial cofibrations. Then, using an adjunction \(P:{}^Q\mathrm{Ch}^+_{\mathbb{K}} \rightleftarrows {}^Q_P\mathrm{Ch}^+_{\mathbb{K}}:U\), the above model structure is transferred to the category \({}^Q_P\mathrm{Ch}^+_{\mathbb{K}}\) of \((P,Q)\)-bialgebras. The author obtains on \({}^Q_P\mathrm{Ch}^+_{\mathbb{K}}\) a cofibrantly generated model structure such that a map \(f\) of \({}^Q_P\mathrm{Ch}^+_{\mathbb{K}}\) is a weak equivalence (a fibration resp.) if and only if \(U(f)\) is a weak equivalence (a fibration resp.) of \({}^Q\mathrm{Ch}^+_{\mathbb{K}}\), a cofibration being a map satisfying the left lifting property with respect to the trivial fibrations.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: The homotopy theory of bialgebras over pairs of operads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q393510)