Arxiv:1805.01207V2 [Math.RA]

arXiv:1805.01207v2 [math.RA] 20 Jul 2019 ooooywt offiinsi utbebmdl a ensuidi [ in studied been has bimodule suitable a in coefficients with Cohomology oteHcshl oonaybtsial wse by twisted suitably but coboundary Hochschild the to cobundary A ihteproduct the with h ohi groups cochain the n ohcidchmlg ru ihcecet nabmdl r non in are bimodule a 2010 in coefficients with group cohomology Hochschild ond th for theory ( cohomology algebra type associative Hochschild a introduce and algebras hom-associa of notion the is paper this [ Silvestrov in [ and interest See Makhlouf of studied. object assoc been main also (e.g. Our have algebras maps of linear type by Other twisted algebras. ho Virasoro of and Witt notion the The [ Silvestrov maps. and linear Larsson by Hartwig, by twisted are structures the defining ( algebra associative optbei h es f( of sense the in compatible wse yalna homomorphism linear a by twisted u rdc n h degree the and product cup o nascaieagba( algebra associative an For (1) tptwrstennomttv emtyo o-soitv a ho hom-associative a of to geometry noncommutative rise the gives towards algebra step hom-associative a of bracket commutator u rdc.Hne tidcsacpproduct cup a induces operator it coboundary Hence, Hochschild product. the cup that out turns It (2) e od n phrases. and words Key ∪ esehbragbasrcue[ structure algebra Gerstenhaber a ESEHBRAGBASRCUEO H OOOOYO A OF COHOMOLOGY THE ON STRUCTURE ALGEBRA GERSTENHABER : hc satisfies which n[ In I authors. many by studied been have algebras type hom Recently, ti lsia atta h ohcidcohomology Hochschild the that fact classical a is It C ahmtc ujc Classification. Subject Mathematics m 1 ( , 8 ,A A, Abstract. i rce wihcnrl h eomto ftehom-asso the algebra. of Gerstenhaber deformation a it the makes controls cohomology (which bracket Lie ler.Adrc eicto hw htti u rdc to product cup coh this the that on shows product verification cup direct a A define we algebra. paper, this In homomorphism. h uhr tde h omloeprmtrdfrainof deformation one-parameter formal the studied authors the ] δ ) [ ⊗ 4 .Teeoe tgvsrs oadegree a to rise gives it Therefore, ]. C α ∪ n ◦ o-soitv ler sa ler hs associativit whose algebra an is algebra hom-associative A ( ( C f f ,µ α µ, A, ,A A, A ntesneo h olwn ebi rule Leibniz following the of sense the in esehbragba o-ler,Hcshl cohomolog Hochschild Hom-algebra, algebra, Gerstenhaber • ∪ = ( = ,A A, g f ) )( ⊕ ◦ → 7 ,its ), a i α .Ahmascaieagbai nagba( algebra an is algebra hom-associative A ]. ∈ 1 ar degree a carry ) 1 [ ,µ A, ⊗ Z a omk tit esehbralgebra. Gerstenhaber a into it make to ) C a , . . . , − O-SOITV ALGEBRA HOM-ASSOCIATIVE A n ∪ m rddLebakto h ohcidcohomology Hochschild the on bracket Lie graded 1 i n n h oonayoperator coboundary the and + , ,teHcshl ohi groups cochain Hochschild the ), ,c b, t ohi group cochain -th ∪ n oehrwt degree a with together ) ( α m [ = ] 4 ,A A, 64,17A30. 16E40, 5 + .A(ih)Grtnae ler sagae commutative, graded a is algebra Gerstenhaber (right) A ]. : .HmLeagba perdi xmlsof examples in appeared algebras Hom-Lie ]. n A = ) ,c a, endby defined ) 1. → ] PRADAS APURBA Introduction µ A ∪ − ( ti aldmlilctv if multiplicative called is It . ∪ f b rddLebaktcmail ihteHochschild the with compatible bracket Lie graded 1 ( ( + nteHcshl cohomology Hochschild the on a 1 1 a , . . . , − C α 1) n 7 ( , ( 8 ,A A, α H δ | − adrfrne hr n o oedetails. more for in) there references (and ] c ednt h ooooyby cohomology the denote We . m |− sagae eiainwt epc othe to respect with derivation graded a is • rddLebakton bracket Lie graded 1 ) ( 1) g , − ossso utlna maps multilinear of consists ) ,A A, | a rddLebakt[ bracket Lie graded 1 δ ( ehrwt h degree the with gether | α a itv ler tutr)o the on structure) algebra ciative a m fa soitv algebra associative an of ) : ∪ gba aebe ntae n[ in initiated been have lgebras +1 C mlg fahom-associative a of omology [ aie ebi,Pisn Hopf,...) Poisson, Leibniz, iative, m ie utpiaiehom- multiplicative a Given em. ,c b, C α n -i ler.Mr eety a recently, More algebra. m-Lie a , . . . , ( -i lerswsintroduced was algebras m-Lie • stitdb nalgebra an by twisted is y hs lers h identities the algebras, these n ,A A, ( ] utpiaiehom-associative multiplicative . ,A A, ,cup-product. y, ,µ A, ieagbaitoue by introduced algebra tive 2 m ) α .W hwta h sec- the that show We ]. ar cp product (cup) a carry ) -ooecorrespondence e-to-one → + hs soitvt is associativity whose ) sa ler a.The map. algebra an is n )) C H . α n • +1 ( q − ,A A, − dfrain of -deformations H graded 1 ( , ,A A, − • H ( .Moreover, ). compatible ] ,A A, • f ssimilar is ) ( H ,A A, A : α • .The ). A ( carries ,A A, ⊗ are ) n 6 → ]. ). 2 APURBA DAS with abelian extensions (cf. Theorem 3.3). In our knowledge, this result has not yet been mentioned in any article. Next, we turn our attention to the Hochschild cohomology of a multiplicative hom-associative algebra (A, µ, α) with coefficients in itself. Inspired from the classical case, the authors in [1] intro- • duce a degree −1 graded Lie bracket [−, −]α on the cochain groups Cα(A, A). However, they did not study further on the structure of the cohomology. In this paper, we show that the bracket [−, −]α on • • Cα(A, A) induces a degree −1 graded Lie bracket on the cohomology Hα(A, A). Next, we introduce • a cup product ∪α on the cochain groups Cα(A, A). Although, the algebra A is not associative, the • cup product ∪α turns out to be associative on Cα(A, A). Moreover, the coboundary operator δα is a graded derivation with respect to ∪α. Therefore, it induces an associative cup product (also • denoted by ∪α) on the cohomology Hα(A, A). The cup product on the cochain level may not be graded commutative but it is so at the level of cohomology. Finally, the cup product ∪α and the • degree −1 graded Lie bracket [−, −]α on the cohomology Hα(A, A) satisfy the Leibniz rule (1) to become a Gerstenhaber algebra (cf. Theorem 6.6). Throughout this paper all vector spaces are over a field K of characteristic 0.

2. Hom-associative algebras and graded pre-Lie algebras

The aim of this section is to recall some preliminaries on multiplicative hom-associative algebras, its Hochschild type cohomology [1,2,7,8] and graded pre-Lie algebras [4].

2.1. Deﬁnition. A hom-associative algebra is a triple (A, µ, α) consisting of a vector space A together with a bilinear map µ : A × A → A and a linear map α : A → A satisfying

(3) µ(α(a),µ(b,c)) = µ(µ(a,b), α(c)), for all a,b,c ∈ A.

A hom-associative algebra (A, µ, α) is called multiplicative if

α(µ(a,b)) = µ(α(a), α(b)), for all a,b ∈ A.

In the rest of the paper, by a hom-associative algebra, we shall always mean a multiplicative hom- associative algebra. When α = identity, in any case, one gets the deﬁnition of a classical associative algebra.

2.2. Example. Let (A, µ) be an associative algebra and α : A → A be an algebra homomorphism. Then the triple (A, α ◦ µ, α) is a hom-associative algebra, called ‘induced by composition’.

2.3. Example. Let A = (A, µ, α) and A′ = (A′,µ′, α′) be two hom-associative algebras. Then A ⊗ A′ = (A ⊗ A′,µ ⊗ µ′, α ⊗ α′) is a hom-associative algebra, called the tensor product of A and A′.

2.4. Example. Let (A, µ, α) be a hom-associative algebra. Then (Mn(A),Mn(µ),Mn(α)) is also a hom-associative algebra whose multiplication Mn(µ) is given by the matrix multiplication induced by µ and the structure map Mn(α) is the map α on each entry of the matrix.

2.5. Example. Let A be a two dimensional vector space with basis {e1,e2}. Deﬁne a multiplication µ : A × A → A by

e1 if (i, j)=(1, 1) µ(ei,ej)=  e2 if (i, j) 6= (1, 1).

A linear map α : A → A is deﬁned by α(e1)= e1 − e2 and α(e2) = 0. Then the triple (A, µ, α) forms a hom-associative algebra.

Next, we recall the deﬁnition of Hochschild type cohomology for hom-associative algebras [1]. We ﬁrst recall bimodules over hom-associative algebras.

2.6. Deﬁnition. Let A = (A, µ, α) be a hom-associative algebra. A left A-module consists of a triple M = (M,µl, αM ) of a vector space M, a bilinear map µl : A ⊗ M → M and a linear map GERSTENHABER ALGEBRA STRUCTURE ON THE COHOMOLOGY OF A HOM-ASSOCIATIVE ALGEBRA 3

αM : M → M satisfying

αM (µl(a,m)) = µl(α(a), αM (m)) and µl(α(a),µl(b,m)) = µl(µ(a,b), αM (m)).

A right A-module M = (M,µr, αM ) can be deﬁned in a similar way. An A-bimodule is a quadruple

M = (M,µl,µr, αM ) so that (M,µl, αM ) is a left A-module and (M,µr, αM ) is a right A-module and further satisfy

µl(α(a),µr(m,b)) = µr(µl(a,m), α(b)).

2.7. Remark. Any hom-associative algebra A is a bimodule over itself with µl = µr = µ and

αM = α. When there is an A-bimodule M = (M,µl,µr, αM ), we denote both µl and µr by µ if there is no confusion and simply say M = (M,µ,αM ) is an A-bimodule. Therefore, by µ we denote the product in A as well as the left and the right action of A on M. It would be clear from the entries of µ.

If M = (M,µ,αM ) is an A-bimodule, one can deﬁne a hom-associative algebra structure on M ⊕ A. The product and the structure map are given by

µ((m,a), (n,b)) = (µ(m,b)+ µ(a,n), µ(a,b)) and α((m,a)) = (αM (a), α(a)).

This is called the semi-direct product hom-associative algebra. Let (A, µ, α) be a hom-associative algebra and M be an A-bimodule. For each n ≥ 1, we deﬁne K n ⊗n a -vector space Cα,αM (A, M) consisting of all multilinear maps f : A → M satisfying αM ◦ f = f ◦ α⊗n, that is,

(αM ◦ f)(a1,...,an)= f(α(a1),...,α(an)), for all ai ∈ A.

n n+1 Deﬁne δα : Cα,αM (A, M) → Cα,αM (A, M) by the following

n−1 (δαf)(a1,a2,...,an+1)= µ α (a1),f(a2,...,an+1) n i + (−1) f α(a1),...,α(ai−1),µ(ai,ai+1), α(ai+2),...,α(an+1) Xi=1 n+1 n−1 + (−1) µ(f(a1,...,an), α (an+1)).

2 n n It has been shown in [1] that δα = 0. Therefore, if Zα,αM (A, M)= {f ∈ Cα,αM (A, M)| δα(f)=0} n n−1 denote the space of n-cocycles and Bα,αM (A, M) = {δαg| g ∈ Cα,αM (A, M)} denote the space of n n n-coboundaries, we have Bα,αM (A, M) ⊆ Zα,αM (A, M). The n-th cohomology group of the hom- associative algebra (A, µ, α) with coeﬃcients in M is deﬁned by n n Zα,αM (A, M) Hα,αM (A, M) := n , for n ≥ 2. Bα,αM (A, M) When M = A with the A-bimodule structure given in Remark 2.7, we denote the corresponding n n cochain groups simply by Cα (A, A) and the cohomology by Hα (A, A), for n ≥ 2.

2.8. Remark. (i) In general, the cohomology groups of hom-associative algebras does not make sense for n =0, 1. In the case of associative algebra and bimodule over it (i.e. α = id, αM = id), one can deﬁne the space of zero-th cochains by M and the coboundary map by (δm)(a)= µ(a,m) − µ(m,a), for m ∈ M, a ∈ A. Thus, the cohomology groups make sense for any n ≥ 0 and one recovers the classical Hochschild cohomology of an associative algebra. 2 (ii) Let (A, µ, α) be a hom-associative algebra. Then µ ∈ Cα(A, A). It follows from the hom- associativity condition that δα(µ) = 0. Therefore, µ deﬁnes a 2-cocycle. This is in fact a coboundary 1 and is given by µ = δα(id) where id ∈ Cα(A, A) is the identity map on A.

Next, we recall some details on graded pre-Lie algebras [4]. 4 APURBA DAS

2.9. Deﬁnition. A pre-Lie system {Vm, ◦i} consists of a sequence of vector spaces Vm,m ≥ 0, and for each m,n ≥ 0 there exist linear maps

◦i : Vm ⊗ Vn → Vm+n, (f,g) 7→ f ◦i g 0 ≤ i ≤ m satisfying

(f ◦j h) ◦i+p g if 0 ≤ j ≤ i − 1 (f ◦i g) ◦j h =  f ◦i (g ◦j−i h) if i ≤ j ≤ n +1, for f ∈ Vm, g ∈ Vn and h ∈ Vp. 

2.10. Example. Let A be a vector space and deﬁne Vm to be the space of all multilinear maps ⊗m+1 from A to A for m ≥ 0. If f ∈ Vm and g ∈ Vn with m,n ≥ 0, then for 0 ≤ i ≤ m, deﬁne f ◦i g ∈ Vm+n by

(f ◦i g)(a0,a1,...,am+n)= f a0,...,ai−1,g(ai,ai+1,...,ai+n),ai+n+1,...,am+n . In the next section, we generalize this example to a vector space A equipped with a linear map α.

Let {Vm, ◦i} be a pre-Lie system. Then for any m,n ≥ 0, there is a new linear map

◦ : Vm ⊗ Vn → Vm+n, (f,g) 7→ f ◦ g deﬁned by m ni f ◦ g = (−1) f ◦i g, for f ∈ Vm, g ∈ Vn. Xi=0 We will need the following useful result [4, Theorem 2].

2.11. Theorem. Let {Vm, ◦i} be a pre-Lie system and f ∈ Vm, g ∈ Vn and h ∈ Vp, respectively. Then ni+pj (i) (f ◦ g) ◦ h − f ◦ (g ◦ h) = i,j (−1) (f ◦i g) ◦j h, where the summation is indexed over those i and j with either 0P≤ j ≤ i − 1 or n + i +1 ≤ j ≤ m + n, (ii) (f ◦ g) ◦ h − f ◦ (g ◦ h) = (−1)np[(f ◦ h) ◦ g − f ◦ (h ◦ g)].

2.12. Deﬁnition. A graded pre-Lie algebra {Vm, ◦} consists of vector spaces Vm together with linear maps ◦ : Vm ⊗ Vn → Vm+n satisfying

np (f ◦ g) ◦ h − f ◦ (g ◦ h) = (−1) [(f ◦ h) ◦ g − f ◦ (h ◦ g)], for f ∈ Vm, g ∈ Vn, h ∈ Vp.

It is proved in [4] that the graded commutator of a graded pre-Lie algebra defines a graded Lie algebra structure. More precisely, if {Vm, ◦} is a graded pre-Lie algebra, then the bracket [−, −] defined by mn [f,g]= f ◦ g − (−1) g ◦ f, for f ∈ Vm, g ∈ Vn defines a graded Lie algebra structure on ⊕Vm.

2.13. Remark. It follows from Theorem 2.11(ii) that if {Vm, ◦i} is a pre-Lie system then {Vm, ◦} forms a graded pre-Lie algebra. Therefore, by applying the graded commutator we get a graded Lie algebra structure on ⊕Vm.

3. Abelian extensions

2 In this section, we show that the second Hochschild cohomology Hα,αM (A, M) of a hom-associative algebra A with coeﬃcients in a bimodule M can be interpreted as equivalence classes of abelian extensions of A by M.

Let A = (A, µ, α) be a hom-associative algebra and M = (M, αM ) be a vector space equipped with a linear map αM : M → M. Note that M can be considered as a hom-associative algebra with trivial multiplication. GERSTENHABER ALGEBRA STRUCTURE ON THE COHOMOLOGY OF A HOM-ASSOCIATIVE ALGEBRA 5

3.1. Deﬁnition. An abelian extension of A by M is an exact sequence of hom-associative algebras

i j 0 / (M, 0, αM ) / (E,µE, αE) o / (A, µ, α) / 0 s together with a K-splitting (given by s) which satisﬁes

(4) αE ◦ s = s ◦ α.

An abelian extension induces an A-bimodule structure on (M, αM ) via the action map µ(a,m) :=

µE(s(a),i(m)) and µ(m,a) := µE(i(m),s(a)), for a ∈ A, m ∈ M. One can easily verify that this action in independent of the choice of s.

3.2. Remark. Let (E, αE ) and (A, α) be two vector spaces equipped with linear maps αE : E → E and α : A → A. Suppose j : E → A is a linear surjective map which commutes with respective structure maps. Then there might not be a section s : A → E of j which commute with respective structure maps. Take E = hx, yi with αE(x) = y, αE(y) = 0 and A = hai with α(a)=0. Take j(x) = a and j(y) = 0. Let s be a section for j commuting with respective structure maps. For s(a)= λx + νy, we have a = (j ◦ s)(a)= λa, which implies that λ = 1. Finally,

0 = (s ◦ α)(a) = (αE ◦ s)(a)= αE(x + νy)= y which is a contradiction.

Two abelian extensions are said to be equivalent if there is a morphism φ : E → E′ between hom-associative algebras making the following diagram commute

i j 0 / (M, 0, αM ) / (E,µE , αE) o / (A, µ, α) / 0 s φ ′ j′ / i / ′ ′ ′ / / 0 (M, 0, αM ) (E ,µE, αE ) o (A, µ, α) 0. s′ Note that two extensions with same i and j but diﬀerent s are always equivalent. Suppose M is a given A-bimodule. We denote by Ext(A, M) the equivalence classes of abelian extensions of A by M for which the induced A-bimodule structure on M is the pescribed one. The next result is inspired from the classical case.

2 ∼ 3.3. Theorem. Hα,αM (A, M) = Ext(A, M). 2 K Proof. Given a 2-cocycle f ∈ Cα,αM (A, M), we consider the -module E = M ⊕ A with following structure maps

µE((m,a), (n,b)) = (µ(m,b)+ µ(a,n)+ f(a,b), µ(a,b)),

αE((m,a)) = (αM (a), α(a)).

(Observe that when f = 0 this is the semi-direct product.) Using the fact that f is a 2-cocycle, it is easy to verify that (E,µE, αE) is a hom-associative algebra. Moreover, 0 → M → E → ′ ′ A → 0 deﬁnes an abelian extension with the obvious splitting. Let (E = M ⊕ A, µE, αE) be the corresponding hom-associative algebra associated to the cohomologous 2-cocycle f − δα(g), for some 1 ′ ′ g ∈ Cα,αM (A, M). The equivalence between abelian extensions E and E is given by E → E , 2 (m,a) 7→ (m + g(a),a). Therefore, the map Hα,αM (A, M) →Ext(A, M) is well deﬁned. i j Conversely, given an extension 0 → M −→ E −→ A → 0 with splitting s, we may consider E = M ⊕ A and s is the map s(a) = (0,a). With respect to the above splitting, the maps i and j are the obvious ones. Moreover, the property (4) then implies that αE = (αM , α). Since j ◦ µE((0,a), (0,b)) = µ(a,b) as j is an algebra map, we have µE((0,a), (0,b)) = (f(a,b),µ(a,b)), for 2 some f ∈ Cα,αM (A, M). The hom-associativity of µE then implies that f is a 2-cocycle. Similarly, φ one can observe that any two equivalent extensions are related by a map E = M ⊕A −→ M ⊕A = E′, 6 APURBA DAS

1 (m,a) 7→ (m + g(a),a) for some g ∈ Cα,αM (A, M). Since φ is an algebra morphism, we have

′ φ ◦ µE((0,a), (0,b)) = µE(φ(0,a), φ(0,b))

′ ′ which implies that f (a,b)= f(a,b)−(δαg)(a,b). Here f is the 2-cocycle induced from the extension ′ 2 E . This shows that the map Ext(A, M) → Hα,αM (A, M) is well deﬁned. Moreover, these two maps are inverses to each other.

In the following sections, we will be interested in the Hochschild cohomology of A with coeﬃcients in itself.

4. Shifted graded Lie bracket

α Let A be a vector space and α : A → A be a linear map. For each m ≥ 0, deﬁne Vm to be the space of all multilinear maps f : A⊗m+1 → A satisfying

(α ◦ f)(a1,...,am+1)= f(α(a1),...,α(am+1)), for all ai ∈ A.

It is proved in [1, Theorem 3.3] that the graded vector space ⊕m≥0Vm carries a graded Lie algebra structure. Here, we will give an alternative proof of the same fact. Our construction of the same graded Lie algebra structure is based on the pre-Lie system. α α α If f ∈ Vm and g ∈ Vn with m,n ≥ 0, then for 0 ≤ i ≤ m, deﬁne f ◦i g ∈ Vm+n by n n n n (f ◦i g)(a0,a1,...,am+n)= f α a0,...,α ai−1,g(ai,ai+1,...,ai+n), α ai+n+1,...,α am+n . In the rest of the paper, by ◦i operation, we shall always mean the operation deﬁned above (involving α).

α 4.1. Proposition. With the above notations {Vm, ◦i} forms a pre-Lie system.

α α α Proof. Let f ∈ Vm, g ∈ Vn and h ∈ Vp . For 0 ≤ j ≤ i − 1 we have

((f ◦j h) ◦i+p g)(a0,a1,...,am+n+p) n n n n = (f ◦j h) α a0,...,α ai+p−1,g ai+p,...,ai+p+n , α ai+p+n+1,...,α am+n+p n+p n+p n n n+p p n+p = f α a0,...,α aj−1,h α aj ,...,α aj+p ,...,α ai+p−1, α g ai+p,...,ai+p+n ,...,α am+n+p p p p p = (f ◦i g) α a0,...,α aj−1,h aj ,...,aj+p , α aj+p+1,...,α am+n+p = ((f ◦i g) ◦j h)(a0,a1,...,am+n+p). Similarly, for 1 ≤ j ≤ n + 1 we have

(f ◦i (g ◦j−i h))(a0,a1,...,am+n+p) n+p n+p n+p n+p = f α a0,...,α ai−1, (g ◦j−i h)(ai,...,ai+n+p), α ai+n+p+1,...,α am+n+p n+p n+p p p p n+p = f α a0,...,α ai−1,g α ai,...,α aj−1,h(aj ,...,aj+p),...,α ai+n+p ,...,α am+n+p p p p p p p = (f ◦i g) α a0,...,α ai−1, α ai,...,α aj−1,h aj,...,aj+p , α aj+p+1,...,α am+n+p = ((f ◦i g) ◦j h)(a0,a1,...,am+n+p).

Therefore, it follows from Remark 2.13 that given a vector space A together with a linear map α α : A → A, the pair {Vm, ◦} forms a graded pre-Lie algebra. Hence, the graded commutator deﬁnes α α α a graded Lie algebra structure on ⊕Vm. More precisely, the graded Lie bracket [−, −]: Vm × Vn → α Vm+n is given by mn α α [f,g]= f ◦ g − (−1) g ◦ f, for f ∈ Vm,g ∈ Vn , m ni where f ◦g = i=0(−1) f ◦ig. This gives an alternative and less computational proof of [1, Theorem 3.3]. P α Let (A, µ, α) be a hom-associative algebra and consider the graded Lie algebra structure on ⊕Vm m α • deﬁned above. Since Cα (A, A) = Vm−1 for m ≥ 1, the Hochschild type cochain groups Cα(A, A) GERSTENHABER ALGEBRA STRUCTURE ON THE COHOMOLOGY OF A HOM-ASSOCIATIVE ALGEBRA 7 carries a shifted graded Lie algebra structure. Explicitly, the shifted graded Lie bracket

m n m+n−1 [−, −]α : Cα (A, A) × Cα (A, A) → Cα (A, A), m,n ≥ 1 is given by

(m−1)(n−1) m n [f,g]α = f ◦ g − (−1) g ◦ f, for f ∈ Cα (A, A), g ∈ Cα (A, A),

m (n−1)(i−1) n−1 n−1 where (f◦g)(a1,...,am+n−1)= i=1(−1) f(α a1,...,g(ai,...,ai+n−1),...,α am+n−1). n α For any f ∈ Cα (A, A)= Vn−1P, we observe that n−1 (f ◦ µ − (−1) µ ◦ f)(a1,...,an+1) n i−1 = (−1) f α(a1),...,µ(ai,ai+1),...,α(an+1) Xi=1 n−1 n−1 n−1 n−1 n−1 − (−1) µ(f(a1,...,an), α an+1) − (−1) (−1) µ(α a1,f(a2,...,an+1)) n i = − (−1) f α(a1),...,µ(ai,ai+1),...,α(an+1) Xi=1 n−1 n−1 n−1 − (−1) µ(f(a1,...,an), α an+1) − µ(α a1,f(a2,...,an+1)) = −(δαf)(a1,...,an+1). Hence,

n−1 n−1 n (5) δαf = −(f ◦ µ − (−1) µ ◦ f)= −[f,µ]α = (−1) [µ,f]α, for f ∈ Cα (A, A).

m n 4.2. Proposition. For any f ∈ Cα (A, A) and g ∈ Cα (A, A), m,n ≥ 1, we have

n+1 δα[f,g]α = (−1) [δαf,g]α + [f,δαg]α.

Proof. It follows from (5) that

m+n δα[f,g]α = (−1) [µ, [f,g]α]α m+n n+1 = (−1) [[µ,f]α,g]α + (−1) [f, [µ,g]α]α (shifted graded Jacobi identity) n+1 = (−1) [δαf,g]α + [f,δαg]α.

m n 4.3. Remark. It follows from Proposition 4.2 that if f ∈ Zα (A, A) and g ∈ Zα (A, A), m,n ≥ 1, m+n−1 m n then [f,g]α ∈ Zα (A, A). Moreover, if either f ∈ Bα (A, A) or g ∈ Bα(A, A) then [f,g]α ∈ m+n−1 • Bα (A, A). Therefore, the degree −1 graded Lie bracket [−, −]α on Cα(A, A) induces a degree • • −1 graded Lie bracket on Hα(A, A). We denote the induced bracket on Hα(A, A) by the same symbol [−, −]α.

5. Cup product

The aim of this section is to deﬁne a cup product on the cohomology of a hom-associative algebra. m n Let (A, µ, α) be a hom-associative algebra. For f ∈ Cα (A, A) and g ∈ Cα (A, A) with m,n ≥ 1, m+n deﬁne f ∪α g ∈ Cα (A, A) by

n−1 n−1 m−1 m−1 (f ∪α g)(a1,...,am+n)= µ(f(α a1,...,α am),g(α am+1,...,α am+n)) n−1 m−1 = µ(α f(a1,...,am), α g(am+1,...,am+n)). (Note the powers of α in the above expression.) In the case of associative algebra (i.e. α = id), one gets the standard cup product (2) deﬁned on the classical Hochschild cochains. It follows from • the hom-associativity condition (3) that the cup product ∪α deﬁned on Cα(A, A) is associative. In other words,

(6) f ∪α (g ∪α h) = (f ∪α g) ∪α h,

m n p for any f ∈ Cα (A, A) ,g ∈ Cα (A, A) and h ∈ Cα(A, A). 8 APURBA DAS

m n 5.1. Remark. Let f ∈ Cα (A, A) and g ∈ Cα (A, A) with m,n ≥ 1. Consider them as elements of α α Vm−1 and Vn−1, respectively. We observe that the cup product ∪α and the ◦i products deﬁned in the beginning of Section 4 are related in the following way

f ∪α g = ((µ ◦0 f) ◦m g) and g ∪α f = ((µ ◦1 f) ◦0 g).

• In the next result, we prove that the diﬀerential δα on Cα(A, A) satisﬁes the graded Leibniz rule with respect to the cup product.

m n 5.2. Proposition. For f ∈ Cα (A, A) and g ∈ Cα (A, A) with m,n ≥ 1, we have m δα(f ∪α g)= δαf ∪α g + (−1) f ∪α δαg.

Proof. For any a1,a2,...,am+n+1 ∈ A, we have

(δα(f ∪α g))(a1,a2,...,am+n+1) m+n−1 = µ(α (a1), (f ∪α g)(a2,...,am+n+1)) m+n i + (−1) (f ∪α g)(α(a1),...,α(ai−1),µ(ai,ai+1), α(ai+2),...,α(am+n+1)) Xi=1 m+n+1 m+n−1 + (−1) µ((f ∪α g)(a1,...,am+n), α (am+n+1)) m+n−1 n−1 n−1 m−1 m−1 = µ α (a1), µ(f(α a2,...,α am+1),g(α am+2,...,α am+n+1)) m i n n−1 n m m + (−1) µ(f(α a1,...,α µ(ai,ai+1),...,α am+1), g(α am+2,...,α am+n+1)) Xi=1 n m+i n n m m−1 m + (−1) µ(f(α a1,...,α am), g(α am+1,...,α µ(am+i,am+i+1),...,α (am+n+1))) Xi=1 m+n+1 n−1 n−1 m−1 m−1 m+n−1 + (−1) µ µ f(α a1,...,α am),g(α am+1,...,α am+n) , α (am+n+1) m+n−2 n−1 n−1 = µ µ( α (a ),f(α a ,...,α am )) 1 2 +1 m i n−1 n−1 n−1 n−1 + (−1) f α(α a1),...,µ(α ai, α ai+1),...,α(α am+1) Xi=1

m+1 n−1 n−1 m+n−2 m m + (−1) µ( f(α a ,...,α am), α am ) ,g(α am ,...,α am n ) 1 +1 +2 + +1 m n n m+n−2 m−1 m−1 + (−1) µ f(α a ,...,α am), µ( α am , g(a am ,...,α am n )) 1 +1 +2 + +1 n i m−1 m−1 m−1 m−1 + (−1) g α(α am+1),...,µ(α am+i, α am+i+1),...,α(α am+n+1) Xi=1

n+1 m−1 m−1 m+n−2 + (−1) µ g(α am ,...,α am n), α (am n ) (using hom-associativity) +1 + + +1 n−1 n−1 m m = µ (δαf)(α a1,...,α am+1), g(α am+2,...,α am+n+1) m n n m−1 m−1 + (−1) µ f(α a1,...,α am), (δαg)(α am+1,...,α am+n+1) m = δαf ∪α g + (−1) f ∪α δαg (a1,a2,...,am+n+1). Hence the result follows.

m n 5.3. Remark. It follows from Proposition 5.2 that if f ∈ Zα (A, A) and g ∈ Zα (A, A), m,n ≥ 1, then m+n m n m+n f ∪α g ∈ Zα (A, A). Moreover, if either f ∈ Bα (A, A) or g ∈ Bα(A, A) then f ∪α g ∈ Bα (A, A). • • Therefore, the cup product ∪α on Cα(A, A) induces an associative (cup) product on Hα(A, A). We • denote the induced cup product on Hα(A, A) by the same symbol ∪α. It follows from condition (6) • that ∪α is associative on Hα(A, A). GERSTENHABER ALGEBRA STRUCTURE ON THE COHOMOLOGY OF A HOM-ASSOCIATIVE ALGEBRA 9

The cup product ∪α on the cochain level is not graded commutative. In the next proposition, we will prove that the cup product ∪α is graded commutative at the cohomology level. The proof is similar to the classical case [4].

m 5.4. Proposition. Let (A, µ, α) be a hom-associative algebra. For any f ∈ Cα (A, A) and g ∈ n Cα (A, A), we have

n−1 n−1 mn f ◦ δαg − δα(f ◦ g) + (−1) δαf ◦ g = (−1) g ∪α f − (−1) f ∪α g . Proof. By using (5) we get

n−1 f ◦ δαg − δα(f ◦ g) + (−1) δαf ◦ g = (−1)n−1f ◦ (µ ◦ g) − f ◦ (g ◦ µ) − (−1)m+n−2µ ◦ (f ◦ g) + (f ◦ g) ◦ µ (7) + (−1)n−1(−1)m−1(µ ◦ f) ◦ g − (−1)n−1(f ◦ µ) ◦ g.

α α α α Since {Vm, ◦i} is a pre-Lie system and f ∈ Vm−1, g ∈ Vn−1, µ ∈ V1 , by Theorem 2.11(ii) we get (f ◦ g) ◦ µ − f ◦ (g ◦ µ) = (−1)n−1(f ◦ µ) ◦ g − (−1)n−1f ◦ (µ ◦ g).

Substituting the above relation in (7) we get

n−1 f ◦ δαg − δα(f ◦ g) + (−1) δαf ◦ g = (−1)m+n[(µ ◦ f) ◦ g − µ ◦ (f ◦ g)] m+n m(n−1) m−1 = (−1) [(−1) (µ ◦0 f) ◦m g + (−1) (µ ◦1 f) ◦0 g] (by Theorem 2.11 (i)) m+n m(n−1) m−1 = (−1) [(−1) f ∪α g + (−1) g ∪α f] (by Remark 5.1) mn+n n−1 n−1 mn = (−1) f ∪α g + (−1) g ∪α f = (−1) [g ∪α f − (−1) f ∪α g].

m n 5.5. Remark. It follows from Proposition 5.4 that if f ∈ Zα (A, A) and g ∈ Zα (A, A) then n mn (−1) [g ∪α f − (−1) f ∪α g]= δα(f ◦ g).

Hence, at the level of cohomology, the cup product is graded commutative.

6. Leibniz rule

Let (A, µ, α) be a hom-associative algebra. In this section, we prove that the degree −1 graded • Lie bracket [−, −]α and the cup product ∪α on the Hochschild type cohomology Hα(A, A) satisﬁes the Leibniz rule of a Gerstenhaber algebra. The proof is similar to the classical case [4] involving α. For simplicity we will use the following notations. The multiplication µ : A × A → A, (a,b) 7→

µ(a,b) is denoted by the dot ·, therefore, a · b = µ(a,b). Let a1,a2,... ∈ A be arbitrary. For any θ θ θ θ θ i ≤ j and θ ≥ 0, we will write aij for (α ai,...,α aj ) and ai for α ai. Sometimes we also omit the arguments from an expression of the form

θ θ θ θ θ θ f(α aλ, α aλ+1,...,α aλ+m−1) or g(α aλ, α aλ+1,...,α aλ+n−1) and simply write them as f θ or gθ. It is easy to write down the correct arguments as it depend only on the ﬁrst index. m n p Let f ∈ Cα (A, A), g ∈ Cα (A, A) and h ∈ Cα(A, A) be three cochains. Let 1 ≤ i ≤ p − 1 and m + i ≤ j ≤ m + p − 1. For any a1,a2,...,am+n+p−1 ∈ A, we set

m+n+p−3 m+n−2 n−1 m+n−2 m−1 m+n−2 hi,j = (α a1) · h(a2,i , f , ai+m+1,j , g , aj+n+1,m+n+p−1) i−1 λ m+n−1 m+n−2 m+n−1 n m+n−1 m m+n−1 + (−1) h(a1,λ−1 , α (aλ · aλ+1), aλ+2,i , f , ai+m+1,j , g , aj+n+1,m+n+p−1) λX=1 i m+n−1 m+n−2 n−1 m+n−1 m m+n−1 + (−1) h(a1,i−1 , ai · f , ai+m+1,j , g , aj+n+1,m+n+p−1), 10 APURBA DAS

′ m+i−1 m+n−1 n−1 m+n−2 m+n−1 m m+n−1 hi,j = (−1) h(a1,i−1 , f · ai+m , ai+m+1,j , g , aj+n+1,m+n+p−1) j−1 λ m+n−1 n m+n−1 m+n−2 m+n−1 m m+n−1 + (−1) h(a1,i−1 , f , ai+m,λ−1, α (aλ · aλ+1), aλ+2,j , g , aj+n+1,m+n+p−1) λ=Xm+i j m+n−1 n m+n−1 m+n−2 m−1 m+n−1 + (−1) h(a1,i−1 , f , ai+m,j−1, aj · g , aj+n+1,m+n+p−1) and

′′ j+n−1 m+n−1 n m+n−1 m−1 m+n−2 m+n−1 hi,j = (−1) h(a1,i−1 , f , ai+m,j−1, g · aj+n , aj+n+1,m+n+p−1) m+n+p−2 λ m+n−1 n m+n−1 m m+n−1 m+n−2 m+n−1 + (−1) h(a1,i−1 , f , ai+m,j−1, g , aj+n,λ−1, α (aλ · aλ+1), aλ+2,m+n+p−1) λ=Xj+n m+n+p−1 m+n−2 n−1 m+n−2 m−1 m+n−2 m+n+p−3 + (−1) h(ai,i−1 , f , ai+m,j−1, g , aj+n,m+n+p−2) · α (am+n+p−1). We need the following useful result.

m n 6.1. Lemma. Let (A, µ, α) be a hom-associative algebra and f ∈ Zα (A, A), g ∈ Zα(A, A), h ∈ p Cα(A, A). For 1 ≤ i ≤ p − 1 and m + i ≤ j ≤ m + p − 1,

′ ′′ hi,j + hi,j + hi,j = δα((h ◦i−1 f) ◦j−1 g)(a1,a2,...,am+n+p−1).

Proof. We have

δα((h ◦i−1 f) ◦j−1 g)(a1,a2,...,am+n+p−1) m+n+p−3 = (α a1) · ((h ◦i−1 f) ◦j−1 g)(a2,...,am+n+p−1) m+n+p−2 λ + (−1) ((h ◦i−1 f) ◦j−1 g)(α(a1),...,α(aλ−1),aλ · aλ+1, α(aλ+2),...,α(am+n+p−1)) λX=1 m+n+p−1 m+n+p−3 + (−1) ((h ◦i−1 f) ◦j−1 g)(a1,a2,...,am+n+p−2) · α (am+n+p−1) m+n+p−3 m+n−2 n−1 m+n−2 m−1 m+n−2 = (α a1) · h(a2,i , f , ai+m+1,j , g , aj+n+1,m+n+p−1) i−1 m+i−1 j−1 j+n−1 m+n+p−2 + + + + + λX=1 Xλ=i λ=Xm+i λX=j λ=Xj+n m+n+p−1 m+n−2 n−1 m+n−2 m−1 m+n−2 m+n+p−3 + (−1) h(ai,i−1 , f , ai+m,j−1, g , aj+n,m+n+p−2) · α (am+n+p−1). Note that i−1 i−1 λ m+n−1 m+n−2 m+n−1 n m+n−1 m m+n−1 = (−1) h(a1,λ−1 , α (aλ · aλ+1), aλ+2,i , f , ai+m+1,j , g , aj+n+1,m+n+p−1), λX=1 λX=1

j−1 j−1 λ m+n−1 n m+n−1 m+n−2 m+n−1 m m+n−1 = (−1) h(a1,i−1 , f , ai+m,λ−1, α (aλ · aλ+1), aλ+2,j , g , aj+n+1,m+n+p−1) λ=Xm+i λ=Xm+i and m+n+p−2 m+n+p−2 λ m+n−1 n m+n−1 m m+n−1 m+n−2 m+n−1 = (−1) h(a1,i−1 , f , ai+m,j−1, g , aj+n,λ−1, α (aλ · aλ+1), aλ+2,m+n+p−1). λ=Xj+n λ=Xj+n Moreover, since f is a cocycle, we observe that m+i−1 i m+n−1 m+n−2 n−1 m+n−1 m m+n−1 = (−1) h(a1,i−1 , ai · f , ai+m+1,j , g , aj+n+1,m+n+p−1) Xλ=i m+i−1 m+n−1 n−1 m+n−2 m+n−1 m m+n−1 + (−1) h(a1,i−1 , f · ai+m , ai+m+1,j , g , aj+n+1,m+n+p−1). GERSTENHABER ALGEBRA STRUCTURE ON THE COHOMOLOGY OF A HOM-ASSOCIATIVE ALGEBRA 11

Similarly, g is a cocycle implies that j+n−1 j m+n−1 n m+n−1 m+n−2 m−1 m+n−1 = (−1) h(a1,i−1 , f , ai+m,j−1, aj · g , aj+n+1,m+n+p−1) λX=j j+n−1 m+n−1 n m+n−1 m−1 m+n−2 m+n−1 + (−1) h(a1,i−1 , f , ai+m,j−1, g · aj+n , aj+n+1,m+n+p−1). ′ ′′ Hence, the result follows from the deﬁnition of hi,j , hi,j and hi,j .

m The above Lemma will be used to prove the next proposition. We ﬁrst take f ∈ Zα (A, A), g ∈ n p Zα (A, A) and h ∈ Zα(A, A), for m,n,p ≥ 1. Then one can easily check that

n(p−1) h ◦ (f ∪α g) − (−1) (h ◦ f) ∪α g − f ∪α (h ◦ g)=0, whenever p =1.

To prove this, one only needs that h is a 1-cocycle. If p 6= 1, the left hand side of the above equality may not be zero. However, the next proposition suggests that this is given by a coboundary. This type of veriﬁcations appear in many places [4, Theorem 5] (see also [9]).

m n 6.2. Proposition. Let (A, µ, α) be a hom-associative algebra and f ∈ Zα (A, A), g ∈ Zα(A, A) and p h ∈ Zα(A, A). Let p−2 m+p−2 (m−1)i+(n−1)j H = (−1) (h ◦i f) ◦j g. Xi=0 j=Xm+i m+n+p−2 Then H ∈ Cα (A, A) and

(m−1)n n(p−1) δαH = (−1) h ◦ (f ∪α g) − (−1) (h ◦ f) ∪α g − f ∪α (h ◦ g) . Proof. For 1 ≤ i ≤ p − 1, m + i ≤ j ≤ m + p − 1 and a1,a2,...,am+n+p−1 ∈ A, we have from Lemma 6.1 that

′ ′′ (8) hi,j + hi,j + hi,j = δα((h ◦i−1 f) ◦j−1 g)(a1,a2,...,am+n+p−1). In particular, if m + i +1 ≤ j ≤ m + p − 2, then

m−1 ′ (m−1)+(n−1) ′′ (9) hi,j + (−1) hi+1,j + (−1) hi+1,j+1 m+n−2 n−1 m+n−2 m−1 m+n−2 = (δαh)(a1,i , f , ai+m+1,j , g , aj+n+1,m+n+p−1)=0, as h is a cocycle. One may also extend the range of indices for which (9) is valid by setting

(10) h0,j = (f ∪α (h ◦j−m g))(a1,...,am+n+p−1) for j = m,m +1,...,m + p − 1 ′ m+i−1 (11) hi,m+i−1 = (−1) (h ◦i−1 (f ∪α g))(a1,...,am+n+p−1) for i =1, 2,...,p ′′ m+n+p−1 (12) hi,m+p = (−1) ((h ◦i−1 f) ∪α g)(a1,...,am+n+p−1) for i =1, 2, . . . , p. Therefore, (9) hold for all those pairs (i, j) such that 0 ≤ i ≤ p − 1 and m + i ≤ j ≤ m + p − 1. Hence,

(m−1)(i−1)+(n−1)(j−1) m−1 ′ (m−1)+(n−1) ′′ (13) (−1) hi,j + (−1) hi+1,j + (−1) hi+1,j+1 =0, (Xi,j) where the sum is indexed over all the pairs (i, j) such that 0 ≤ i ≤ p − 1 and m + i ≤ j ≤ m + p − 1. Moreover, it follows from (8) that

p−1 m+p−1 (m−1)(i−1)+(n−1)(j−1) ′ ′′ (δαH)(a1,...,am+n+p−1)= (−1) (hi,j + hi,j + hi,j ). Xi=1 j=Xm+i

One can easily observe that the whole expression of (δαH)(a1,...,am+n+p−1) is contained in the left hand side of (13). Although, the left hand side of (13) contain additional terms (with some signs) which are of the forms (10), (11) and (12). More precisely, by substituting the expression of 12 APURBA DAS

(δαH)(a1,...,am+n+p−1) in (13), we get m+p−1 −(m−1)+(n−1)(j−1) (δαH)(a1,...,am+n+p−1) + (−1) h0,j jX=m p−1 (m−1)(i−1)+(n−1)(m+i−1)+(m−1) ′ + (−1) hi+1,m+i Xi=0 p−1 (m−1)(i−1)+(n−1)(m+p−2)+(m−1)+(n−1) ′′ + (−1) hi+1,m+p =0. Xi=0 Then by a straightforward calculation using (10), (11) and (12), we get

(m−1)n (m−1)n+1 (m−1)n+n(p−1) δαH + (−1) f ∪α (h ◦ g) + (−1) h ◦ (f ∪α g) + (−1) (h ◦ f) ∪α g =0. Hence the result follows.

m n p 6.3. Proposition. For any f ∈ Cα (A, A), g ∈ Cα (A, A) and h ∈ Cα(A, A), we have

m(p−1) (f ∪α g) ◦ h = (f ◦ h) ∪α g + (−1) f ∪α (g ◦ h).

Proof. For any a1,a2,...,am+n+p−1 ∈ A,

((f ∪α g) ◦ h)(a1,a2,...,am+n+p−1) m+n (p−1)(i−1) p−1 p−1 = (−1) (f ∪α g)(a1,i−1,h(ai,...,ai+p−1),ai+p,m+n+p−1) Xi=1 m (p−1)(i−1) n−1 p−1 p−1 = (−1) α f(α a1,...,h(ai,...,ai+p−1),...,α am+p−1) · Xi=1 m+p−2 α g(am+p,...,am+n+p−1) m+n (p−1)(i−1) n+p−2 + (−1) α f(a1,...,am) · i=Xm+1 m−1 p−1 p−1 α g(α am+1,...,h(ai,...,ai+p−1),...,α am+n+p−1) m (p−1)(i−1) n−1 p−1 p−1 = (−1) α f(α a1,...,h(ai,...,ai+p−1),...,α am+p−1) · Xi=1 m+p−2 α g(am+p,...,am+n+p−1) m(p−1) n+p−2 + (−1) α f(a1,...,am) · n (p−1)(i−1) m−1 p−1 p−1 (−1) α g(α am+1,...,h(am+i,...,am+p−1),...,α am+n+p−1)) Xi=1 n−1 m+p−2 = α (f ◦ h)(a1,...,am+p−1) · α g(am+p,...,am+n+p−1) m(p−1) n+p−2 m−1 + (−1) α f(a1,...,am) · α (g ◦ h)(am+1,...,am+n+p−1) m(p−1) = (f ◦ h) ∪α g + (−1) f ∪α (g ◦ h) (a1,a2,...,am+n+p−1).

Finally, we prove the following.

m n p 6.4. Proposition. If f ∈ Zα (A, A), g ∈ Zα (A, A) and h ∈ Zα(A, A) then

m(p−1) [f ∪α g,h]α − [f,h]α ∪α g − (−1) f ∪α [g,h]α = ±δαH. GERSTENHABER ALGEBRA STRUCTURE ON THE COHOMOLOGY OF A HOM-ASSOCIATIVE ALGEBRA 13

Proof. We have

m(p−1) [f ∪α g,h]α − [f,h]α ∪α g − (−1) f ∪α [g,h]α (p−1)(m+n−1) (m−1)(p−1) = (f ∪α g) ◦ h − (−1) h ◦ (f ∪α g) − (f ◦ h) ∪α g + (−1) (h ◦ f) ∪α g m(p−1) m(p−1) (n−1)(p−1) − (−1) f ∪α (g ◦ h) + (−1) (−1) f ∪α (h ◦ g) m(p−1) (n−1)(p−1) p (n−1)(p−1) = − (−1) (−1) h ◦ (f ∪α g) + (−1) (h ◦ f) ∪α g − (−1) f ∪α (h ◦ g) (by Proposition 6.3) np−n+1 = ± h ◦ (f ∪α g) − f ∪α (h ◦ g) + (−1) (h ◦ f) ∪α g = ± δαH. (by Proposition 6.2)

6.5. Remark. It follows from Proposition 6.4 that at the level of cohomology, the degree −1 graded

Lie bracket [−, −]α satisﬁes the Leibniz rule with respect to the cup product ∪α on the cohomology.

As a summary, we get the following.

6.6. Theorem. Let (A, µ, α) be a hom-associative algebra. Then its Hochschild type cohomology • Hα(A, A) inherits a Gerstenhaber algebra structure. When α = identity, one can extend the bracket and the cup product from the zero-th cochains and compatible to the Hochschild coboundary as Propositions 4.2, 5.2. Thus, one gets the Gerstenhaber n algebra structure on Hochschild cohomology ⊕n≥0H (A, A)[4].

6.7. Remark. It was shown in [3] that the Hochschild cochain complex deﬁning the cohomology of a hom-associative algebra inherits a structure of an operad with a multiplication. As a consequence, we get a Gerstenhaber algebra structure on the cohomology. However, the proof of the present paper is direct and therefore it passes through some important propositions which might be useful as well. Moreover, the results of the present paper (arXiv:1805.01207) was obtained by the author before the paper [3] was submitted in arXiv.

6.8. Remark. Let (A, µ) be an associative algebra and α : A → A be an associative algebra morphism. We consider the hom-associative algebra (A, α ◦ µ, α) and the corresponding Hochschild • cochain complex are given by (Cα(A, A),δα). We have seen that these cochain groups have a cup • product and a degree −1 graded Lie bracket which makes the corresponding cohomology Hα(A, A) a Gerstenhaber algebra. On the other hand, we may also consider the classical Hochschild complex (C•(A, A),δ) of the associative algebra A. Since α : A → A is an associative algebra morphism, the Hochschild cobound- • • ary δ restricts to Cα(A, A). In other words, (Cα(A, A),δ) is a subcomplex of the Hochschild complex (C•(A, A),δ). Moreover, the cup product and the degree −1 graded Lie bracket on the Hochschild • • • cochains C (A, A) restricts to Cα(A, A). Hence, we get a Gerstenhaber subalgebra of H (A, A). • However, this Gerstenhaber subalgebra is diﬀerent than the Gerstenhaber algebra Hα(A, A) induced from the hom-associative algebra (A, α ◦ µ, α).

Acknowledgements. The author would like to thank the referee for his/her valuable comments on the earlier version of the manuscript. The research has been carried out when the author was a research fellow at Indian Statistical Institute, Kolkata (India). He wishes to thank the Institute for their support.

References

[1] F. Ammar, Z. Ejbehi and A. Makhlouf, Cohomology and Deformations of Hom-algebras, J. Lie Theory 21 (2011), no. 4, 813-836. [2] A. Arfa, B. Fraj and A. Makhlouf, Morphisms cohomology and deformations of Hom-algebras, J. Nonlinear Math. Phys. 25 (2018), no. 4, 589-603. 14 APURBA DAS

[3] A. Das, Homotopy G-algebra structure on the cochain complex of hom-type algebras, C. R. Acad. Sci. Paris 356 (2018), no. 11-12, 1090-1099. [4] M. Gerstenhaber, The cohomology structure of an associative ring, Ann. of Math. 78 (1963) 267-288. [5] J. T. Hartwig, D. Larsson and S. D. Silvestrov, Deformations of Lie algebras using σ-derivations, J. Algebra 295 (2006) 314-361. [6] M. Hassanzadeh, I. Shapiro and S. Sütlü, Cyclic homology for Hom-associative algebras, J. Geom. Phys. 98 (2015) 40-56. [7] A. Makhlouf, S. Silvestrov, Hom-algebra structures, J. Gen. Lie Theory Appl. 2 (2008), no. 2, 51-64. [8] A. Makhlouf, S. Silvestrov, Notes on 1-parameter formal deformations of Hom-associative and Hom-Lie algebras, Forum Math. 22 (2010), no. 4, 715-739. [9] T. Tradler, The Batalin-Vilkovisky algebra on Hochschild cohomology induced by infinity inner products, Ann. Inst. Fourier (Grenoble) 58 (2008), no. 7, 2351-2379. Current address: Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur 208016, Uttar Pradesh, India E-mail address: [email protected]