Related papers: The bar complex of an E-infinity algebra

We show that an A-infinity algebra structure can be transferred to a projective resolution of the complex underlying any A-infinity algebra. Under certain connectedness assumptions, this transferred structure is unique up to homotopy. In…

A standard combinatorial construction, due to Kontsevich, associates to any A-infinity algebra with an invariant inner product, an inhomogeneous class in the cohomology of the moduli spaces of Riemann surfaces with marked points. We…

Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison…

It is a classical result that configuration spaces of labelled particles in $\mathbb{R}^d$ are free $E_d$-algebras and that their $d$-fold bar construction is equivalent to the $d$-fold suspension of the labelling space. In this paper, we…

We describe semiinfinite cohomology of associative algebras in terms of Koszul (or bar) duality. Consider an associative algebra $A$ and two its subalgebras $B$ and $N$ such that $A=B\otimes N$ as a vector space. We prove that the…

We describe an iterable construction of THH for an E_n ring spectrum. The reduced version is an iterable bar construction and its n-th iterate gives a model for the shifted cotangent complex at the augmentation, representing reduced…

To a homotopy algebra one may associate its deformation complex, which is naturally a differential graded Lie algebra. We show that infinity quasi-isomorphic homotopy algebras have L-infinity quasi-isomorphic deformation complexes by an…

Given a graded module over a commutative ring, we define a dg-Lie algebra whose Maurer-Cartan elements are the strictly unital A-infinity algebra structures on that module. We use this to generalize Positselski's result that a curvature…

The notion of a derived A-infinity algebra, considered by Sagave, is a generalization of the classical notion of A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We initiate a study of…

We construct a new spectrum of units for a commutative symmetric ring spectrum that detects the difference between a periodic ring spectrum and its connective cover. It is augmented over the sphere spectrum. The homotopy cofiber of its…

Two cochain complexes are constructed for an algebra A and a coalgebra C entwined with each other via the map $\psi:C\otimes A\to A\otimes C$. One complex is associated to an A-bimodule, the other to a C-bicomodule. In the former case the…

Finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as E-infinity algebras. The cochain functor from the homotopy category of finite type nilpotent spaces to the homotopy category…

For an infinite chain bicomplex we show that the orthogonality and grading conditions provide it with the structure of a bigraded differential algebra with respect to a natural multiplication of several elements bicomplex spaces.…

We describe the category of homotopy coalgebras, concentrating on properties of relatively cofree homotopy coalgebras, morphisms and coderivations from an ordinary coalgebra to a relatively cofree homotopy coalgebra, morphisms and…

We discuss Lurie's (derived) bar and cobar constructions, the classical ones for simplicial groups and sets (due to Eilenberg-MacLane and Kan), and the classical ones for differential graded (co)algebras (due to Eilenberg-MacLane and Adams)…

Let $A$ be a bi-Koszul algebra, we describe all possible $A_\infty$-algebra structures on the Ext-algebra $E(A)$, and prove that $E(A)$ must be $[m_2, m_3]$-finitely generated. An equivalent description for a connected graded algebra to be…

In previous work we showed that the contact category algebra of a quadrangulated surface is isomorphic to the homology of a strand algebra from bordered sutured Floer theory. Being isomorphic to the homology of a differential graded…

In this paper we define an explicit E_{infinity}-structure, i.e. a coherently homotopy associative and commutative product on chain complexes defining (integral and mod-l) motivic cohomology as well as mod -l \'etale cohomology. We also…

We prove that the classical map comparing Adams' cobar construction on the singular chains of a pointed space and the singular cubical chains on its based loop space is a quasi-isomorphism preserving explicitly defined monoidal…

In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its…