The first Hochschild (co)homology when adding arrows to a bound quiver algebra (Q2330431)

The first Hochschild cohomology vector space \(HH^1(B)\) of an algebra \(B\) over a field \(k\) is isomorphic to the quotient of the \(k\)-derivations of the algebra by the inner ones. For a bound quiver algebra \(B = kQ/I\), given some hypotheses on \(I\), \textit{J. A. de la Peña} and \textit{M. Saorín} [Manuscr. Math. 104, No. 4, 431--442 (2001; Zbl 0985.16008)] obtained formulas computing the dimension of \(HH^1(B)\). The authors study the change in both the Hochschild cohomology and Hochschild homology of an algebra given by quiver and relations, when arrows to the quiver are added. A main tool for the work is relative cohomology as defined by \textit{G. Hochschild} [Trans. Am. Math. Soc. 82, 246--269 (1956; Zbl 0070.26903)] and used for instance by \textit{M. Auslander} and \textit{Ø. Solberg} [Commun. Algebra 21, No. 9, 2995--3031 (1993; Zbl 0792.16017)] in the context of representation theory. For this purpose they show that there exists a short exact sequence which relates the first cohomology vector spaces of the algebras to the first relative cohomology. The first Hochschild homologies are isomorphic when adding new arrows. As a by-product of the presented formula, a new computation of the dimension of \(HH^1(kQ)\) for a quiver \(Q\) without cycles is obtained.