On the first relative Hochschild cohomology and contracted fundamental group

Abstract

In this paper we investigate the Lie algebra structure of the first relative Hochschild cohomology and its relation with the relative notion of fundamental group. Let $A,B$ be finite-dimensional basic $k$-algebras over an algebraically closed field of characteristic zero, such that $Q_B$ is a subquiver of $Q_A$. We show that if the complement of $Q_A$ by the arrows of $Q_B$ is a simple directed graph, then the first relative Hochschild cohomology $\text{HH}^1(A|B)$ is a solvable Lie algebra. We also compute the Lie algebra structure of the first relative Hochschild cohomology for radical square zero algebras and for dual extension algebras of directed monomial algebras. Finally, we introduce the notion of fundamental group for a pair of an algebra $A$ and a subalgebra $B$ and we construct the relative version of the map from the dual fundamental group into the first Hochschild cohomology.

Figures (1)

• Figure 1: Relative parade data

Theorems & Definitions (97)

• Theorem A: Theorem \ref{['thm1']}
• Theorem B: Theorem \ref{['thm:deg-one']}
• Theorem C: Theorem \ref{['thm:relativeMap']}
• Proposition 2.1
• Proposition 2.2
• Remark 2.3
• Lemma 2.4
• Lemma 2.5
• proof
• Remark 2.6