Related papers: On the cobar construction of a bialgebra
We provide bar and cobar constructions as functors acting between various categories of curved operads and curved cooperads. Cobar and bar constructions are adjoint to each other. Given a twisting cochain between a curved augmented cooperad…
We construct an $A_\infty$-structure on the two-sided bar construction involving homotopy Gerstenhaber algebras (hgas). It extends the non-associative product defined by Carlson and the author and generalizes the dga structure on the…
We find an interpretation of the complex of variational calculus in terms of the Lie conformal algebra cohomology theory. This leads to a better understanding of both theories. In particular, we give an explicit construction of the Lie…
A differential graded (DG for short) free algebra $\mathcal{A}$ is a connected cochain DG algebra such that its underlying graded algebra is $$\mathcal{A}^{\#}=\k\langle x_1,x_2,\cdots, x_n\rangle,\,\, \text{with}\,\, |x_i|=1,\,\, \forall…
Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.
Differential graded (DG) algebras are powerful tools from rational homotopy theory. We survey some recent applications of these in the realm of homological commutative algebra.
We survey the topology which led to the original bar and cobar constructions, for both associative algebras and coalgebras and for Lie algebras and commutative coalgebras. These constructions are often viewed as part of the larger theory of…
We explain how the simplicial higher-order unstable homotopy operations defined in [BBS2] may be composed and inserted one in another, thus forming a coherent if complicated algebraic structure.
The goal of this paper is to construct a semifree resolution for a non-negatively graded strongly commutative DG algebra $B$ over the enveloping DG algebra $B\otimes_AB$, where $A\subseteq B$ is a DG subalgebra and $B$ is semifree over $A$.…
We formulate the (co)bar construction theory of dg $K$-(co)rings and the calculus theory of the Hochschild homology and cohomology of dg $K$-rings. As applications, we compare the Hochschild (co)homologies of a complete typical dg $K$-ring…
In this paper we show that for a Koszul Calabi-Yau algebra, there is a shifted bi-symplectic structure in the sense of Crawley-Boevey-Etingof-Ginzburg, on the cobar construction of its co-unitalized Koszul dual coalgebra, and hence its DG…
We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When…
Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of…
Let $H$ be a cocommutative Hopf algebra. The notion of Lie $H$-pseudoalgebra is a multivariable generalization of Lie conformal algebras. In this paper, we study some higher structures related to Lie $H$-pseudoalgebras where we increase the…
We construct a calculus structure on the Lie conformal algebra cochain complex. By restricting to degree one chains, we recover the structure of a g-complex introduced in [DSK]. A special case of this construction is the variational…
In this paper, the structure of cocommutative vertex bialgebras is investigated. For a general vertex bialgebra $V$, it is proved that the set $G(V)$ of group-like elements is naturally an abelian semigroup, whereas the set $P(V)$ of…
We use derived localization of the bar and nerve constructions to provide simple proofs of a number of results in algebraic topology. This includes a recent generalization of Adams' cobar-construction to the non-simply connected case, and a…
This text gives a construction of a differential graded Lie algebra in Nori's category of effective homological motives. In fact the construction works in more a general setting than that of an Abelian category. This allows us to give the…
In this survey article we discuss certain homotopy coherent enhancements of the coalgebra structure on cellular chains defined by an approximation to the diagonal. Over the rational numbers, $C_\infty$-coalgebra structures control the…
A *Gerstenhaber-Schack (G-S) bialgebra* consists of a graded Hopf algebra $H$ together with multilinear operations $\{\omega^1_3,\omega^2_2,\omega^3_1\}\subset \{Hom^{-1}(H^{\otimes m},H^{\otimes n}): m+n=4\},$ whose sum is the degree $-1$…