En–cohomology with coefficients as functor cohomology

Ziegenhagen, Stephanie

doi:10.2140/agt.2016.16.2981

Cited by 2 publications

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our techniques in §3.7 are to some extent comparable with the use by several authors of Batanin's pruned trees to analyse morphisms and homology of operads of dg-algebras: see Fresse [5], Livernet and Richter [9], and Ziegenhagen [23].…”

Section: Introductionmentioning

confidence: 93%

$E_{\infty}$ obstruction theory

Robinson

2018

Homology, Homotopy and Applications

View full text Add to dashboard Cite

The space of E ∞ structures on a simplicial operad C is the limit of a tower of fibrations, so its homotopy is the abutment of a Bousfield-Kan fringed spectral sequence. The spectral sequence begins (under mild restrictions) with the stable cohomotopy of the right Γ-module π * C; the fringe contains an obstruction theory for the existence of E ∞ structures on C. This formulation is very flexible: applications extend beyond structures on classical ring spectra to examples in motivic homotopy theory.

show abstract

Section: Introductionmentioning

confidence: 93%

$E_{\infty}$ obstruction theory

Robinson

2018

Homology, Homotopy and Applications

View full text Add to dashboard Cite

show abstract

Iterated bar complexes andEn-homology with coefficients

Fresse¹,

Ziegenhagen

2016

Journal of Pure and Applied Algebra

Self Cite

View full text Add to dashboard Cite

The first author proved in a previous paper that the n-fold bar construction for commutative algebras can be generalized to En-algebras, and that one can calculate Enhomology with trivial coefficients via this iterated bar construction. We extend this result to En-homology and En-cohomology of a commutative algebra A with coefficients in a symmetric A-bimodule. IntroductionBoardman-Vogt [BV73] and May [Ma72] showed in the early 70's that n-fold loop spaces are equivalent to algebras over the little n-cubes operad (at least, up to group completion issues, or provided that we restrict ourselves to connected spaces). In this paper, we deal with E noperads in chain complexes, which are defined as operads quasi-isomorphic to the chain operad of little n-cubes, for any 1 n ∞. The category of E n -algebras, algebras over an E n -operad, can be thought of as an algebraic version of the category of n-fold loop spaces. If we choose a Σ * -cofibrant E n -operad, let E n , then we can define homological invariants specifically suited to E n -algebras, namely the E n -homology and E n -cohomology of an E n -algebra A with coefficients in a representation M of A. These invariants are defined via derived Quillen functors. Note that every strictly commutative algebra A is an E n -algebra for any 1 n ∞, and that every symmetric A-bimodule is a representation of the E n -algebra A. The homology of E n -algebras can also be regarded as a particular case of the factorization homology theory (see [Fra13]), and, in the case of commutative algebras, agrees with Pirashvili's higher Hochschild homology theory (see [Pir00]). In the case n = ∞, we retrieve the Γ-homology theory of [RW02].In [Fre11] the first author also proved that the classical iterated bar complex of augmented commutative algebras B n (A) = B • · · · • B(A), such as defined by Eilenberg and MacLane (see [EM53]), computes the E n -homology of A with coefficients in the commutative unital ground ring M = k. The purpose of this paper is to extend this construction to the nontrivial coefficient case in order to get an explicit chain complex computing the E n -homology and the E n -cohomology of commutative algebras with coefficients. In short, we define a chain complex (M ⊗ B n (A), ∂ θ ) by adding a twisting differential ∂ θ : M ⊗ B n (A) → M ⊗ B n (A) to the tensor product of the Eilenberg-MacLane iterated bar complex B n (A) with any symmetric A-bimodule of coefficients M (see Definition 1.2). We then prove that the chain complex B [n] * (A, M ) = (M ⊗ Σ −n B n (A), ∂ θ ), where we use an n-fold desuspension Σ −n to mark an extra degree shift, computes the E n -homology of A with coefficients in M (see Theorem 1.3). Thus, we get 2000 Mathematics Subject Classification. 55P48, 57T30, 16E40. Key words and phrases. En-homology, Iterated bar construction, En-operad, Module over an operad, Hochschild homology.

show abstract

En–cohomology with coefficients as functor cohomology

Abstract: Abstract. Building on work of Livernet and Richter, we prove that En-homology and Encohomology of a commutative algebra with coefficients in a symmetric bimodule can be interpreted as functor homology and cohomology. Furthermore we show that the associated Yoneda algebra is trivial.

Cited by 2 publications

References 14 publications

$E_{\infty}$ obstruction theory

$E_{\infty}$ obstruction theory

Iterated bar complexes andEn-homology with coefficients

Contact Info

Product

Resources

About