On a Plus-Construction for Algebras over an Operad

We prove a analogous to Quillen's plus-construction in the category of algebras over an operad. For that purpose we prove that this category is a closed model category and prove the existence of an obstruction theory. We apply further this plus-construction for the specific cases of Lie algebras and Leibniz algebras which are a noncommutative version of Lie algebras: let sl(A) be the kernel of the trace map gl(A)A/[A,A], where A is an associative algebra with unit and gl(A) is the Lie algebra of matrices over A. Then the homotopy of slA)⁺ in the category of Lie algebras is the cyclic homology of A whereas it is the Hochschild homology of A in the category of Leibniz algebras.     

More on the Hochschild and Cyclic Homologies of Crossed Modules of Algebras

We investigate the Hochschild and cyclic homologies of crossed modules of algebras in some special cases. We prove that the cotriple cyclic homology of a crossed module of algebras (I, A, ρ) is isomorphic to HC _*(ρ): HC _*(I) → HC _*(A), provided I is H-unital and the ground ring is a field with characteristic zero. We also calculate the Hochschild and cyclic homologies of a crossed module of algebras (R, 0, 0) for each algebra R with trivial multiplication. At the end, we give some applications proving a new five term exact sequence.     

NonstableK-Theory for operator algebras

We show that the homotopy groups of the group of quasi-unitaries inC ^*-algebras form a homology theory on the category of allC ^*-algebras which becomes topologicalK-theory when stabilized. We then show how this functorial setting, in particular the half-exactness of the involved functors, helps to calculate the homotopy groups of the group of unitaries in a series ofC ^*-algebras. The calculations include the case of all AbelianC ^*-algebras and allC ^*-algebras of the formAB, whereA is one of the Cuntz algebras O_n n=2, 3, ..., an infinite dimensional simpleAF-algebra, the stable multiplier or corona algebra of a-unitalC ^*-algebra, a properly infinite von Neumann algebra, or one of the projectionless simpleC ^*-algebras constructed by Blackadar.     

The plus-construction, Bousfield localization, and derived completion

We define a plus-construction on connective augmented algebras over operads in symmetric spectra using Quillen homology. For associative and commutative algebras, we show that this plus-construction is related to both Bousfield localization and Carlsson’s derived completion.     

From Leibniz Homology to Cyclic Homology

For an algebra R over a commutative ring k, a natural homomorphism _*: HL_*+1(R) HH_* (R) from Leibniz to Hochschild homology is constructed that is induced by an antisymmetrization map on the chain level. The map _* is surjective when R = gl(A), A an algebra over a characteristic zero field. If f: A B is an algebra homomorophism, the relative groups HL_* (gl(f)) are studied, where gl(f): gl(A) gl(B) is the induced map on matrices. Letting HC_* denote cyclic homology, if f is surjective with nilpotent kernel, there is a natural surjection HL_*+1(gl(f)) HC_* (f) in the characteristic zero setting.     

Hochschild (co)homology of Yoneda algebras of reconstruction algebras of type A 1

The reconstruction algebra is a generalization of the preprojective algebra, and plays important roles in algebraic geometry and commutative algebra. We consider the homological property of this class of algebras by calculating the Hochschild homology and Hochschild cohomology. Let Λ _t be the Yoneda algebra of a reconstruction algebra of type A ₁ over a field k. In this paper, a minimal projective bimodule resolution of Λ _t is constructed, and the k-dimensions of all Hochschild homology and cohomology groups of Λ _t are calculated explicitly.     

Formule d'homotopie entre les complexes de Hochschild et de De Rham

Let k be the field or let M be the space k ⁿ and let A be the algebra of polynomials over M. We know from Hochschild and co-workers that the Hochschild homology H _·(A,A) is isomorphic to the de Rham differential forms over M: this means that the complexes (C _·(A,A),b) and (^·(M), 0) are quasi-isomorphic. In this work, I produce a general explicit homotopy formula between those two complexes. This formula can be generalized when M is an open set in a complex manifold and A is the space of holomorphic functions over M. Then, by taking the dual maps, I find a new homotopy formula for the Hochschild cohomology of the algebra of smooth fonctions over M (when M is either a complex or a real manifold) different from the one given by De Wilde and Lecompte. I will finally show how this formula can be used to construct an homotopy for the cyclic homology.     

无限箭图的同调群

对任意箭图Q,我们研究路代数A=kQ的Hochschild同调群H_n(A)和同调群Tor_n^Ae(A,A),其中A^e是代数A的包络代数。在本文中,我们具体地给出了各次同调群和Hochschild同调群。     

Crossed Modules Over Operads and Operadic Cohomology

It is known that elements in the cohomology of groups and in the Hochschild cohomology of algebras are represented by crossed extensions. We introduce the notion of crossed modules and crossed extensions for algebras over operads and obtain in this way an operadic version of Hochschild cohomology. Applications are given for the operads Com, Ass and for E operads.     

Homotopy Structures for Algebras over a Monad

Let T be a monad over a category A. Then a homotopy structure for A, defined by a cocylinder P : A A, or path-endofunctor, can be lifted to the category A ^T of Eilenberg–Moore algebras over T, provided that P is consistent with T in a natural sense, i.e. equipped with a natural transformation : T P P T satisfying some obvious axioms. In this way, homotopy can be lifted from well-known, basic situations to various categories of algebras for instance, from topological spaces to topological semigroups, or spaces over a fixed space (fibrewise homotopy), or actions of a fixed topological group (equivariant homotopy); from categories to strict monoidal categories; from chain complexes to associative chain algebras. The interest is given by the possibility of lifting the homotopy operations (as faces, degeneracy, connections, reversion, interchange, vertical composition, etc.) and their axioms from A to A ^T , just by verifying the consistency between these operations and : T P P T. When this holds, the structure we obtain on our category of algebras is sufficiently powerful to ensure the main general properties of homotopy.     

Pluriassociative algebras II: The polydendriform operad and related operads

Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the dendriform operad, the Koszul dual of the diassociative operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of dendriform algebras, called γ-polydendriform algebras, so that 1-polydendriform algebras are dendriform algebras. For that, we consider the operads obtained as the Koszul duals of the γ-pluriassociative operads introduced by the author in a previous work. In the same manner as dendriform algebras are suitable devices to split associative operations into two parts, γ-polydendriform algebras seem adapted structures to split associative operations into 2γ operation so that some partial sums of these operations are associative. We provide a complete study of the γ-polydendriform operads, the underlying operads of the category of γ-polydendriform algebras. We exhibit several presentations by generators and relations, compute their Hilbert series, and construct free objects in the corresponding categories. We also provide consistent generalizations on a nonnegative integer parameter of the duplicial, triassociative and tridendriform operads, and of some operads of the operadic butterfly.     

Hochschild Homology Invariants of Külshammer Type of Derived Categories

For a perfect field k of characteristic p > 0 and for a finite dimensional symmetric k-algebra A Külshammer studied a sequence of ideals of the centre of A using the p-power map on degree 0 Hochschild homology. In joint work with Bessenrodt and Holm we removed the condition to be symmetric by passing through the trivial extension algebra. If A is symmetric, then the dual to the Külshammer ideal structure was generalised to higher Hochschild homology in earlier work [23 Zimmermann , A. ( 2007 ). Fine Hochschild invariants of derived categories for symmetric algebras . Journal of Algebra 308 : 350 – 367 . [Google Scholar]]. In the present article we follow this program and propose an analogue of the dual to the Külshammer ideal structure on the degree m Hochschild homology theory also to not necessarily symmetric algebras.     

The Generalized Chern Character and Lefschetz Numbers in W*-Modules

We define N-theory as being an analogue of K-theory on the category of von Neumann algebras such that K ₀(A)N ₀(A) for any von Neumann algebra A. Moreover, it turns out to be possible to construct the extension of the Chern character to some homomorphism from N ₀(A) to an even Banach cyclic homology of A. Also, we define generalized Lefschetz numbers for an arbitrary unitary endomorphism U of an A-elliptic complex. We study them in the situation when U is an element of a representation of some compact Lie group.     

Idempotent et cohomologie de Hochschild

Any idempotent element e of an (associative) algebra T defines an algebra $A=eTe$ with unit e. We show that the morphism which compares their Hochschild cohomology algebras is a Gerstenhaber algebras morphism. Moreover, this morphism factorizes through the cohomological algebras of many triangular algebras. To cite this article: B. Bendiffalah, D. Guin, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Homology and cohomology of <Emphasis Type="Italic">E</Emphasis><Subscript>∞</Subscript> ring spectra

Every homology or cohomology theory on a category of E ring spectra is Topological André–Quillen homology or cohomology with appropriate coefficients. Analogous results hold more generally for categories of algebras over operads.Mathematics Subject Classification (2000): 55P43, 55P48, 55U35The second author was supported in part by NSF grant DMS-0203980.     

Pluriassociative algebras I: The pluriassociative operad

Diassociative algebras form a category of algebras recently introduced by Loday. A diassociative algebra is a vector space endowed with two associative binary operations satisfying some very natural relations. Any diassociative algebra is an algebra over the diassociative operad, and, among its most notable properties, this operad is the Koszul dual of the dendriform operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of diassociative algebras, called γ-pluriassociative algebras, so that 1-pluriassociative algebras are diassociative algebras. Pluriassociative algebras are vector spaces endowed with 2γ associative binary operations satisfying some relations. We provide a complete study of the γ-pluriassociative operads, the underlying operads of the category of γ-pluriassociative algebras. We exhibit a realization of these operads, establish several presentations by generators and relations, compute their Hilbert series, show that they are Koszul, and construct the free objects in the corresponding categories. We also study several notions of units in γ-pluriassociative algebras and propose a general way to construct such algebras. This paper ends with the introduction of an analogous generalization of the triassociative operad of Loday and Ronco.     

Homology of Centralizers

Given a group Π, we study the group homology of centralizers Π _g , g ? Π, and of their central quotients Π _g /〈 g〉. This study is motivated by the structure of the Hochschild and the cyclic homology of group algebras, and is based on Quillen's approach to the cyclic homology of algebras via algebra extensions. A method of computing the de Rham complex of a group algebra by means of a Gruenberg resolution is also developed.     

Realising Smashing Localisations as Morphisms of DG Algebras

For a smashing localisation L of the derived category of a differential graded (dg) algebra A we construct a dg algebra A _L and a morphism of dg algebras A→A _L that induces the canonical map in cohomology. As a first application we obtain a localisations of a dg algebra A with graded commutative homology at a prime ideal in the homology H ^* A, namely a morphism of dg algebras. As a second application we can use results of Keller to “model” every smashing localisation of compactly generated algebraic triangulated categories by a morphism of dg algebras.      

Gerstenhaber Algebra Structure on the Hochschild Cohomology of Quadratic String Algebras

We describe the Gerstenhaber algebra structure on the Hochschild cohomology HH^?(A) when A is a quadratic string algebra. First we compute the Hochschild cohomology groups using Barzdell’s resolution and we describe generators of these groups. Then we construct comparison morphisms between the bar resolution and Bardzell’s resolution in order to get formulae for the cup product and the Lie bracket. We find conditions on the bound quiver associated to string algebras in order to get non-trivial structures.