Multipliers of nilpotent diassociative algebras (Q2164999)

Recall that a diassociative algebra (also called an associative dialgebra) [\textit{J.-L. Loday}, Lect. Notes Math. 1763, 7--66 (2001; Zbl 0999.17002)] over a field \(\mathbb{F}\) is a vector space \(L\) over \(\mathbb{F}\) equipped with two separate associative operations \(\dashv\), \(\vdash\) that satisfy the further identities \begin{align*} x \dashv (y \dashv z) &= x \dashv (y \vdash z), \\ (x \vdash y) \dashv z &= x \vdash (y \dashv z), \\ (x \dashv y) \vdash z &= (x \vdash y) \vdash z , \end{align*} where \(x\), \(y\), \(z \in L\). The center \(Z(L)\) of \(L\) is the ideal consisting of those elements \(z \in L\) with the property \[ z \dashv x = z \vdash x = x \dashv z = x \vdash z = 0, \ \ \ \forall x \in L . \] For two subalgebras \(A\) and \(B\) of \(L\), the diamond operation \(A \diamondsuit B\) is the linear span of \(A \dashv B + A \vdash B\). Set \(L' = L \diamondsuit L\). A defining pair \((K, M)\) of \(L\) is a pair of diassociative algebras \(K\) and \(M\) with \(K/M \simeq L\) and \(M \subseteq Z(K) \cap K'\). The pair is called maximal if the dimension of \(K\) is maximal, in which case \(K\) is said to be a cover of \(L\) and \(M\) is the multiplier of \(L\), denoted \(M(L)\). In [\textit{E. Mainellis}, ``Multipliers and unicentral diassociative algebras'', J. Algebra Appl. 22, No. 5 (2023)] it is shown that \(M(L) \simeq H^2 (L, \mathbb{F})\) where \(H^2\) is defined in the afore mentioned reference. Define a sequence \(L^n\) inductively by \(L^1 = L\), \[ L^{n+1} = L^1 \diamondsuit L^n + L^2 \diamondsuit L^{n-1} + \ldots + L^n \diamondsuit L^1. \] A diassociative algebra \(L\) satisfying \(L^n \neq 0\) and \(L^{n+1} = 0\) is called nilpotent of class \(n\), and yields a central extension \[ 0 \longrightarrow L^n \longrightarrow L \longrightarrow L/L^n \longrightarrow 0 . \] Now, let \(L\) be a nilpotent diassociative algebra with ideals \(A\), \(B\) such that \(L' \subseteq A\) and \(B \subseteq Z(L)\). If all cocycles in \(\Hom(L^{\otimes 2}, \mathbb{F})\) satisfy an additional certain vanishing condition, it is proven in the paper under review that \[ H^2 (L/B, \mathbb{F}) \longrightarrow H^2 (L, \mathbb{F}) \longrightarrow (L/A \otimes B \oplus B \otimes L/A) \oplus (L/A \otimes B \oplus B \otimes L/A) \] is exact. As a corollary, for a nilpotent, finite-dimensional dialgebra \(L\) of class \(n\), we have \[ \dim H^2 (L, \mathbb{F}) \leq \dim H^2 (L/L', \mathbb{F}) + \dim (L')[4 \cdot \dim (L/L') - 1]. \] Thus, for \(n = \dim L\), \(d = \dim (L/L')\), \[ \dim H^2 (L, \mathbb{F}) \leq -2d^2 + d + 4nd - n . \] If \(L\) is an associative algebra with \(x \dashv y = x \vdash y = xy\), then the above result redues to \[ \dim H^2 (L, \mathbb{F}) \leq -d^2 + d + 2nd - n . \]