In this paper we show that a strongly homotopy commutative (or C∞-) algebra with an invariant inner product on its cohomology can be uniquely extended to a symplectic C∞-algebra (an ∞-generalisation of a commutative Frobenius algebra introduced by Kontsevich). This result relies on the algebraic Hodge decomposition of the cyclic Hochschild cohomology of a C∞-algebra and does not generalize to a...

We prove that, for a Poisson vertex algebra $${\cal V}$$ , the canonical injective homomorphism of variational cohomology to its classical is an isomorphism, provided that viewed as differential algebra, polynomials in finitely many variables. This theorem one key ingredients computation cohomology. For proof, we introduce sesquilinear Hochschild and Harrison complexes vanishing symmetric

Let A be a (G, χ)-Hopf algebra with bijection antipode and let M be a G-graded A-bimodule. We prove that there exists an isomorphism HH∗gr(A,M) ∼= Ext ∗ A-gr(K, (M)), where K is viewed as the trivial graded A-module via the counit of A, M is the adjoint A-module associated to the graded A-bimodule M and HHgr denotes the G-graded Hochschild cohomology. As an application, we deduce that the cohom...

We study cohomology theories of strongly homotopy algebras, namely A∞, C∞ and L∞-algebras and establish the Hodge decomposition of Hochschild and cyclic cohomology of C∞-algebras thus generalising previous work by Loday and Gerstenhaber-Schack. These results are then used to show that a C∞-algebra with an invariant inner product on its cohomology can be uniquely extended to a symplectic C∞-alge...

A relative Rota-Baxter algebra is a generalization of algebra. Relative algebras are closely related to dendriform algebras. In this paper, we introduce bimodules over that fits with the representations We define cohomology coefficients in bimodule and then study abelian extenfsions terms second group. Finally, consider homotopy classify skeletal above-defined cohomology.

For any Lie algebra g there is a notion of Leibniz cohomology HL(g), which is defined like the classical Lie cohomology, but with the n-th tensor product g⊗n in place of the n-th exterior product Λ g. This Leibniz cohomology is defined on a larger class of algebras : the Leibniz algebras (cf. [L1], [L2]). A Leibniz algebra is a vector space equipped with a product satisfying a variation of the ...

Group algebras are Hopf algebras, and their Hopf structure plays crucial roles in representation theory and cohomology of groups. A Hopf algebra is an algebra A (say over a field k) that has a comultiplication (∆ : A → A ⊗k A) generalizing the diagonal map on group elements, an augmentation (ε : A → k) generalizing the augmentation on a group algebra, and an antipode (S : A → A) generalizing th...

LetG be a reductive linear algebraic group over a field k. LetA be a finitely generated commutative k-algebra on which G acts rationally by k-algebra automorphisms. Invariant theory states that the ring of invariantsA = H 0(G,A) is finitely generated. We show that in fact the full cohomology ringH ∗(G,A) is finitely generated. The proof is based on the strict polynomial bifunctor cohomology cla...

I. M. Gelfand and D. B. Fuks have studied the cohomology of the Lie algebra of vector fields on a manifold. In this article, we generalize their main tools to compute the Leibniz cohomology, by extending the two spectral sequences associated to the diagonal and the order filtration. In particular, we determine some new generators for the diagonal Leibniz cohomology of the Lie algebra of vector ...

For an algebra B coming with an action of a Hopf algebra H and a twist automorphism, we introduce equivariant twisted cyclic cohomology. In the case when the twist is implemented by a modular element in H we establish the pairing between even equivariant cyclic cohomology and equivariant K-theory for B. We then extend this formalism to compact quantum group actions and show that our cyclic coho...