Conformal envelopes of Novikov-Poisson algebras (Q6101506)

Recall that a Novikov algebra is a vector space \(V\) equipped with a bilinear operation \(\circ\) satisfying the following identities: \begin{center} \((x \circ y) \circ z - x \circ (y \circ z)=(x \circ z) \circ y - x \circ (z \circ y), \ x \circ (y \circ z) = y \circ (x \circ z).\) \end{center} Examples of Novikov algebras can be obtained from commutative algebras with a derivation. Namely, if \(A\) is a commutative (and associative) algebra with a derivation \(d,\) then the space \(A\) with the new operation \(a \circ b = d(a)b\) is a Novikov algebra denoted by \(A^{(d)}.\) It was shown in [\textit{L. A. Bokut} et al., J. Algebra Appl. 16, No. 1, Article ID 1750001, 22 p. (2017; Zbl 1405.17060)] for every Novikov algebra \((V, \circ)\) there exists a commutative algebra \(A\) with a derivation \(d\) such that \(V\) is isomorphic to a subalgebra in the Novikov algebra \(A^{(d)}\). A Novikov-Poisson algebra is a vector space \(V\) equipped with two bilinear operations \(\circ\) and \(*\) such that \((V, \circ)\) is a Novikov algebra, \((V, *)\) is a commutative (and associative) algebra, and the following identities hold: \begin{center} \((x \circ y) * z = x \circ (y * z), \ (x * y) \circ z - x * (y \circ z)=(x * z) \circ y - x * (z \circ y).\) \end{center} A Novikov-Poisson algebra can also be obtained from a commutative algebra \(A\) with a derivation \(d\) by means of the same operation \(\circ\) as in \(A^{(d)}\) on assuming that \(*\) is the multiplication in the initial algebra \(A\). However, this construction is far from being generic: There exist Novikov-Poisson algebras that cannot be embedded into any algebras of type \(A^{(d)}.\) The purpose of the present work is to prove that for every Novikov-Poisson algebra \((V, \circ, *)\) there exists a commutative conformal algebra \(\mathcal C\) with a derivation \(D\) such that \(V\) embeds into \(\mathcal C\) relative to the operations \begin{center} \(D(u)_{(0)} v = u \circ v, \ D(u) _{(1)} v = u * v.\) \end{center} Hence, we may construct differential enveloping algebras for Novikov-Poisson algebras of zero characteristic in the class of commutative conformal algebras. This construction allows us to study the embedding of transposed Poisson algebras (t-Poisson, for short) into ``ordinary'' Poisson algebras with a derivation. The notion of t-Poisson algebra was introduced in [\textit{C. Bai} et al., J. Algebra 632, 535--566 (2023; Zbl 1530.17022)]: This is a vector space \(V\) with two bilinear operations \([\cdot, \cdot]\) and \(*\) such that \(V\) is a Lie algebra with respect to \([\cdot, \cdot],\) \((V, *)\) is an (associative) commutative algebra, and the identity \begin{center} \(2x * [y, z]=[x * y, z] + [y, x * z].\) \end{center} For instance, if \((V, \circ, *)\) is a Novikov-Poisson algebra then the new operation \([a, b] = a \circ b - b \circ a,\) turns \(V\) into a t-Poisson algebra denoted by \(V^{(-)}\). On the other hand, every t-Poisson algebra satisfies the identity \begin{center} \([x * y, z] - x * [y, z] - [z * y, x] + z * [y, x]=[x, z] * y;\) \end{center} i.e., this is a Gelfand-Dorfman algebra. Among Gelfand-Dorfman algebras, a special place is occupied by special ones; i.e., those that can be embedded into differential Poisson algebras (see [\textit{P. S. Kolesnikov} et al., J. Algebra 539, 260--284 (2019; Zbl 1448.17023)]). Namely, a Gelfand-Dorfman algebra \(V\) with operations \([\cdot , \cdot]\) and \(*\) is special if there exists an (associative) commutative algebra \(P\) with a Poisson bracket \(\{\cdot, \cdot\}\) and derivation \(d\) such that \(V \subseteq P\) and \([u, v] = \{u, v\},\) with \(u * v = d(u)v.\) It was earlier shown in [\textit{P. S. Kolesnikov} et al., J. Noncommut. Geom. 15, No. 4, 1485--1500 (2021; Zbl 1487.17046)] that a Gelfand-Dorfman algebra obtained from a Novikov algebra \((V, \circ),\) considered as a system with the new operations \([a, b] = a \circ b - b \circ a,\) \ \(a * b = a \circ b,\) is special. In this paper, it was shown that for every Novikov-Poisson algebra \(V\) the t-Poisson algebra \(V^{(-)}\) is special. As proved in [\textit{P. S. Kolesnikov} and \textit{B. K. Sartayev}, ``On the special identities of Gelfand-Dorfman algebras'', Exp. Math. (to appear)], special Gelfand-Dorfman algebras form a variety, and so there exists some set of defining identities. The entire set of these identities is unknown, but we may use the embedding of a Novikov-Poisson algebra into a differential conformal one for proving the speciality of the Gelfand-Dorfman algebra \(V^{ (-)}\) constructed from a Novikov-Poisson algebra \(V.\)