1: \begin{definition}\footnote{

2: This algebraic structure (and the example coming from Theorem \ref{thm: simpBF}) was introduced in \cite{SimpBF,DiscrBF} under the name of a \emph{quantum} $L_\infty$ algebra.  

3: In \cite{Granaker} it was named a \emph{unimodular} $L_\infty$ algebra and was studied as an algebra over a particular Merkulov's wheeled operad.

4: } \label{def: uL_infty}

5: A \emph{unimodular $L_\infty$ algebra} is a graded vector space $V^\bt$ endowed with two sequences of skew-symmetric multilinear operations,

6: \begin{itemize}

7: \item \emph{classical operations}  $l_n:\,\wedge^n V \ra V$ for $n\geq 1$ of degree $2-n$ and

8: \item \emph{quantum operations} $q_n:\, \wedge^n V\ra \mathbb{R}$ for $n\geq 1$ of degree $-n$,

9: \end{itemize}

10: such that the following two sequences of identities hold: homotopy Jacobi identities

11: \begin{equation}\label{L_infty relations}

12: \sum_{\sigma\in \Sigma_{n}}\sum_{r+s=n}\pm\frac{1}{r!s!}\,l_{r+1}(x_{\sigma_1},\ldots,x_{\sigma_r},l_s(x_{\sigma_{r+1}},\ldots,\sigma_{n}))=0

13: \end{equation}

14: and homotopy unimodularity relations

15: \begin{equation} \label{uL_infty homotopy unimodularity}

16: \sum_{\sigma\in\Sigma_n}\left(\pm\frac{1}{n!}\,\mr{Str}_V\;l_{n+1}(x_{\sigma_1},\ldots,x_{\sigma_n},\bt)+\sum_{r+s=n}\pm\frac{1}{r!s!}\,q_{r+1}(x_{\sigma_1},\ldots,x_{\sigma_r},l_s(x_{\sigma_{r+1}},\ldots,x_{\sigma_n}))\right)=0 

17: \end{equation}

18: %where $\sA\in \mr{Hom}_1(V[1],V)$ is the shifted identity map.

19: Here $x_1,\ldots,x_n$ is an $n$-tuple of elements of $V$ and $\sigma$ runs over permutations of this $n$-tuple; $\pm$ are the Koszul signs. 

20: 

21: %A unimodular $L_\infty$ algebra is called \emph{minimal} if $l_1=0$.

22: \end{definition}

23: