arXiv:2301.06693v1 [math.RA] 17 Jan 2023
REPRESENTATIONS VIA DIFFERENTIAL ALGEBRAS AND EQUATIONALLY NOETHERIAN ALGEBRAS
Alexander A. Mikhalev1, Manat Mustafa2, and Ualbai Umirbaev3 To the memory of A. V. Mikhalev (1940–2022)
Abstract. We show that free algebras of the variety of algebras generated by the Witt algebra Wn, the left-symmetric Witt algebra Ln, and the symplectic Poisson algebra Pn can be described as subalgebras of differential polynomial algebras with respect to appropriately defined products. Using these representations, we prove that Wn, Ln, Pn, and the free algebras of the varieties of algebras generated by these algebras are equationally Noetherian.
Mathematics Subject Classification (2020): Primary 12H05, 17B63, 17B66, 17D25;
Secondary 16P40, 17A50.
Key words: Differential algebras, Lie algebras, left-symmetric algebras, Poisson alge- bras, equationally Noetherian algebras.
1. Introduction
The well-known Hilbert Basis Theorem (see, for example [6]) implies that the affine space An(K) over an arbitrary field K is Noetherian. In other words, any field K is equationally Noetherian. The basics of algebraic geometry over groups and algebraic systems can be found in [2, 4, 21]. Many standard notions of algebraic geometry such as algebraic sets, the Zariski topology, irreducible varieties, and coordinate groups were freely used to solve the famous Tarski’s problems independently by O. Kharlampovich and A. Myasnikov [11, 12] and by Z. Sela [25]. In 1986 V. Guba [8] proved that free groups are equationally Noetherian using the well known representation of free groups via matrices of order two. It is also known that linear groups over a Noetherian domain [2] (in particular, polycyclic groups and finitely generated metabelian groups), finitely generated free solvable groups [9], and torsion-free hyperbolic groups [26] are equationally Noetherian.
There are only few examples of equationally Noetherian rings and algebras. Obviously, Hilbert’s basis theorem implies that every associative and commutative Noetherian ring or algebra is equationally Noetherian. It is also known that any finitely generated metabelian or nilpotent Lie algebra is equationally Noetherian [4]. Finitely generated free metabelian
1Faculty of Mechanics and Mathematics, M.V.Lomonosov Moscow State University, Leninskie Gory 1, 119991, Moscow, Russian Federation e-mail: aamikhalev@mail.ru.
2Department of Mathematics, SSH., Nazarbayev University, 53 Kabanbay Batyr Avenue, Astana, 010000, Kazakhstan, e-mail: manat.mustafa@nu.edu.kz
3Department of Mathematics, Wayne State University, Detroit, MI 48202, USA; and Institute of Mathematics and Mathematical Modeling, Almaty, 050010, Kazakhstan, e-mail: umirbaev@wayne.edu
1
Lie algebras of characteristic zero are Noetherian with respect to equations in the universal enveloping algebras [24].
In this paper we give more examples of equationally Noetherian algebras. The source of these examples is differential algebras. The Ritt-Raudenbush Basis Theorem [10, 13, 23], which is an analogue of the Hilbert Basis Theorem, says that every finitely generated dif- ferential algebra of characteristic zero is radically Noetherian, i.e., satisfies the ascending chain condition for radically closed differential ideals. Consequently, every finitely gener- ated differential domain over a field of characteristic zero is equationally Noetherian.
We show that free algebras of the variety of algebras generated by the Witt algebraWn, the left-symmetric Witt algebra Ln, and the symplectic Poisson algebra Pn over a field of characteristic zero can be described as subalgebras of differential polynomial algebras with respect to appropriately defined products.
Using these representations, we prove that the algebras Wn, Ln, Pn, and the free alge- bras of the varieties of algebras generated by these algebras are equationally Noetherian.
Recall that the variety of algebras generated by the left symmetric Witt algebraL1is the variety of all Novikov algebras [18]. Consequently, every free Novikov algebra over a filed of characteristic zero is equationally Noetherian. The solvability, nilpotency, and identities of Novikov algebras have been intensively studied in recent years [27, 28, 30, 31]. In particular, every Novikov algebra over a field of characteristic zero satisfying a nontrivial polynomial identity is associative right nilpotent [5].
The paper is organized as follows. In Section 2 we give an exact definition of equation- ally Noetherian algebras, formulate some basic results from [4], and give some examples of equationally Noetherian free algebras. In Section 3 we recall some well known results on differential algebras from [10, 13, 23] and give some examples of equationally Noe- therian differential algebras. Section 4 is devoted to a representation of free algebras of the variety of algebras generated by the left-symmetric Witt algebra Ln and the Witt algebra Wn. Here we also prove that Wn, Ln, and the free algebras of the varieties of algebras generated by these algebras are equationally Noetherian. The same results for the symplectic Poisson algebra Pn are formulated in Section 5.
2. On equationally Noetherian algebras
LetMbe an arbitrary variety of (universal) algebras and let Abe an arbitrary algebra of M. Let Mhx1, x2, . . . , xmi be the free algebra of the variety M freely generated by x1, x2, . . . , xm. Consider the coproduct (or free product)
B =A⊔MMhx1, x2, . . . , xmi
of A and Mhx1, x2, . . . , xmi in the variety of algebras M. Recall that (see, for example [17]) there exist homomorphisms α1 :A →B and α2 :Mhx1, x2, . . . , xmi → B satisfying the following universal property: for any algebraC ∈Mand for any two homomorphisms φ1 :A→ C and φ2 :M→ C there exists a unique homomorphism φ: B →C such that φ◦α1 = φ1 and φ◦α2 =φ2. Notice that the homomorphisms α1 and α2 are not always injections. In this paper we consider only the varieties of algebras for which the homomor- phisms α1 and α2 are always injections. Then we can identify A and Mhx1, x2, . . . , xmi with there images in B. As a consequence of this, for any m-tuple (a1, . . . , am) ∈ Am
2
there exists the unique homomorphism φ: B →A such that φA= id and φ(xi) = ai for alli. For anyf =f(x1, . . . , xm)∈B we set f(a1, . . . , am) =φ(f). This allows to consider any element f =f(x1, . . . , xm) of B as a function
f :Am→ A.
For any subset S of B we define the set of all zeroes
Z(S) ={(a1, . . . , am)|f(a1, . . . , am) = 0, f ∈S}
of S in Am. The sets Z(S) allow to define the Zariski topology on Am. The algebra A is called equationally Noetherianif Am is Noetherian with respect to Zariski topology for all natural m.
Notice that this definition does not depend on the choice of M such that A ∈ M. In many cases it is more efficient to assume that M is the variety of algebras Var(A) generated by A. Sometimes it is better to choose M with some special properties, for example, the varieties with an explicit description of the coproduct of algebras. It might happen that A⊔B = 0 for nonzero algebras A and B in some varieties of algebras with unity in the signature.
Proposition 1. [4] Let A be an equationally Noetherian algebra. Then the following algebras (of the same signature) are equationally Noetherian:
(1) Every subalgebra of A;
(2) Every direct power of A;
(3) Every algebra of the quasi variety of algebras Qvar(A) generated by A;
(4) Every free algebra of the variety of algebras Var(A) generated by A.
Let us revise some examples of equationally Noetherian associative and commutative algebras:
(i) Every field is equationally Noetherian. This is a corollary of Hilbert’s basis theorem and is one of the basics of classical algebraic geometry.
(ii) Every domain is equationally Noetherian by Proposition 1(1) since it is embeddable into a field.
(iii) Every Noetherian ring with identity is also equationally Noetherian by Hilbert’s basis theorem.
(iv) LetRbe an arbitrary equationally Noetherian associative and commutative algebra with identity containing the field of rationals Q = Q·1 ⊆ R. Then every polynomial algebra over R is equationally Noetherian. This follows from Proposition 1(4) since R generates the variety of all associative and commutative algebras over R.
The next theorem gives more examples of associative and nonassociative equationally Noetherian algebras.
Theorem 1. Let R be an arbitrary associative and commutative equationally Noetherian ring with identity. Let A be an arbitraryR-algebra that is a finitely generated free module over R. Then A is an equationally Noetherian R-algebra.
Proof. For simplicity of notations, we prove this theorem only for rings R containing the field of rational numbers Q.
3
Lete1, . . . , em be a basis of a finite dimensional algebraA over R. Then every element a∈A can be identified with (r1, . . . , rm)∈Rm such that
a=r1e1+. . .+rmem, i.e.,
A≡Rm and
An ≡Rmn. (1)
Let R0 = R[xji : 1 ≤ i ≤ n,1 ≤ j ≤ m] be a polynomial algebra over R. Consider the algebra A0 = R0 ⊗RA. Since A0 is a tensor product of free modules, R0 and A are embeddable into A0. Let M= Var(A) be the variety of algebras over R generated by A.
Since Q⊆R, it follows that A0 ∈M. Set
Xi =x1i ⊗e1+x2i ⊗e2+. . .+xmi ⊗em ∈A0, 1≤i≤n.
LetRhX1, . . . , Xni be the R-subalgebra ofA0 generated byX1, . . . , Xn. It is well known that RhX1, . . . , Xni is the free algebra of the variety of algebras M = Var(A) freely generated by X1, . . . , Xn.
Let C be the R-subalgebra of A0 generated by A and RhX1, . . . , Xni. Denote by D = A ⊔ RhX1, . . . , Xni the coproduct of A and RhX1, . . . , Xni in M. Consider the homomorphism
ω :D−→C
of R-algebras that is identical on A and RhX1, . . . , Xni.
For any homomorphism ϕ : D → A with ϕ|A = id there exists the unique homo- morphism ε : C → A such that ε|A = id and ϕ = ε ◦ω. In fact, if ϕ(Xi) = ai ∈ A and
ai =X
rij⊗ej,
then we can define a homomorphismδ :A0 →Athat it is identical onAandδ(xji) =rijfor all i, j. We set ε =δ|C :C →A. Then ε(Xi) = ai and ε satisfies all required conditions.
The uniqueness of ε is obvious.
This means that iff =f(X1, . . . , Xn)∈ Ker(ω) thenf(a1, . . . , an) = 0 for alla1, . . . , an∈ A. Consequently, the kernel ofωis not essential in studying of equations overA. Therefore it is sufficient to study equations of the form s= 0 over A where s∈C.
Let S be an arbitrary set of elements of C. Every element s ∈ S can be uniquely written in the form
s =s1⊗e1+. . .+sm⊗em.
Using the identification (1), the equation s = 0 over A is equivalent to the equations s1 = . . . = sm = 0 over R. Consequently, the set of equations s = 0, s ∈ S, over A is equivalent to the set of equationss1 =. . .=sm= 0, s∈Sover R. The latter is equivalent to a finite subsystem of equations since R is equationally Noetherian. Therefore the set
4
of equations s = 0, s ∈ S, over A is also equivalent to a finite subsystem, i.e., A is equationally Noetherian.
We formulate some essential corollaries of Theorem 1.
Corollary 1. Every algebra of generic matrices over an equationally Noetherian associa- tive and commutative algebra is equationally Noetherian.
Proof. Let R be an equationally Noetherian associative and commutative ring. Then the algebra of matrices Mn(R) of ordern over R is equationally Noetherian by Theorem 1. Recall that any algebraGof generic matrices of order nis a free algebra of the variety of algebras Var(Mn(R)). Then G is equationally Noetherian by Proposition 1.
Corollary 2. Every free algebra of the variety of associative algebras defined by the iden- tity
[x1, y1]. . .[xn, yn] = 0
over an equationally Noetherian associative and commutative algebra is equationally Noe- therian.
Proof. It is well known that this variety of associative algebras over R is generated by the algebra of triangular matrices Trn(R) [20] since Q⊆R.
Corollary 3. Every freeNcA-Lie algebra over an infinite field is equationally Noetherian.
Proof.It is well known that this variety of Lie algebras is also generated by the algebra of triangular matrices Trn(R) [1].
3. Differential polynomial algebras
The basic concepts of differential algebras can be found in [10, 13, 23].
Let ∆ ={δ1, . . . , δm}be a basic set of derivation operators.
A commutative ring R with identity is said to be a differential ring or ∆-ring if all elements of ∆ act onRas a commuting set of derivations, i.e., the derivations δi :R →R are defined for all i and δiδj =δjδi for all i, j.
Let Θ be the free commutative monoid on the set ∆ = {δ1, . . . , δm} of derivation operators. The elements
θ=δ1i1. . . δmim
of the monoid Θ are called derivative operators. The order of θ is defined as |θ| = i1+. . .+im.
LetRbe a differential ring. Denote by Re the free leftR-module with a basis Θ. Every element u∈Re can be uniquely written in the form
u=X
θ∈Θ
rθθ
with a finite number of nonzerorθ ∈R. It is well known [15] that there is the unique ring structure on Re defined by the relations
δir=rδi+δi(r)
5
for all i and r ∈ R. Note that the ring Re is generated by R and ∆. Every left module over Re is called adifferential module overR [15]. For this reason we callRe theuniversal enveloping ring of R.
Obviously,R is a leftRe-module and every I ⊆Ris a differential ideal ofR if and only if I is an Re-submodule of R.
Let xΘ ={xθ|θ ∈Θ} be a set of symbols enumerated by the elements of Θ. Consider the polynomial algebra R[xΘ] over R generated by the set of (polynomially) independent variables xΘ. It is easy to check that the derivations δi can be uniquely extended to a derivation ofR[xΘ] byδi(xθ) =xδiθ. Denote this differential ring byR{x}; it is called the ring of differential polynomialsin x over R.
By adding additional variables, we can obtain the differential ring R{x1, x2, . . . , xn} of differential polynomials in x1, x2, . . . , xn over R. Let M be the free commutative monoid generated by all elements xθi, where 1≤ i≤n and θ ∈ Θ. The elements of M are called differential monomials of R{x1, x2, . . . , xn}. Every element a∈ R{x1, x2, . . . , xn} can be uniquely written in the form
a= X
m∈M
rmm with a finite number of nonzero rm ∈R.
An analog of the Hilbert Basis Theorem for differential algebras is known as the Ritt- Raudenbush Basis Theorem [10]. The condition of maximality for differential ideals does not hold for finitely generated differential rings. The Ritt-Raudenbush Basis Theorem claims that if R is a radically Notherian ring containing the field of rational numbers Q then R{x} is also radically Noetherian, i.e., every radically closed differential ideal is finitely generated.
Examples of equationally Noetherian differential rings are:
(i) Every differential field of characteristic zero is equationally Noetherian. This is a direct corollary of the Ritt-Raudenbush Basis Theorem and is one of the basics of differential algebraic geometry [13, Chapter IV].
(ii) Every differential domain of characteristic zero is equationally Noetherian by Propo- sition 1(1) since it is embeddable into a differential field.
In the remaining part of the paper we always assume that Ris an arbitrary associative and commutative ring with identity containing the field of rational numbersQ=Q1⊆R.
Consider R as a ∆-ring with δi(R) = 0 for all i. Then R{x1, x2, . . . , xn} becomes a R- algebra. Denote by Cm = R[x1, . . . , xm] the polynomial algebra over R in the variables x1, . . . , xm considered as a differential algebra with derivations δi ≡ ∂x∂i for all 1≤i≤m.
Proposition 2. Let C = R{y1, y2, ..., yn, . . .} be the differential polynomial algebra over R in the variables y1, y2, ..., yn, . . .. Let f be a nonzero element of C. Then there exists a homomorphism ϕ:C −→Cm of differential R-algebras such that ϕ(f)6= 0.
Proof. Suppose that there exists a nonzero f ∈ C such that ϕ(f) = 0 for any homo- morphism ϕ :C−→Cm of differential R-algebras. Then f = 0 is a nontrivial identity of the differential algebra Cm. Since Q⊆R, we can linearize the identities [32]. Linearizing f we can get a nonzero polylinear element g ∈ C such that g = 0 is an identity of Cm. Suppose that g contains the variables y1, . . . , yn and is polylinear in these variables.
6
For any θ=δi11. . . δmim ∈Θ we set α(θ) = (i1, . . . , im)∈Zm+ and
X(θ) = 1
i1!. . . im!xi11 . . . ximm ∈Cm.
If θ, θ1 ∈ Θ then we define setθ ≤θ1 if α(θ)≤α(θ1) with respect to the lexicographical order in Zm+. Notice that X(θ)θ = 1 and X(θ)θ1 = 0 for allθ, θ1 ∈Θ if θ < θ1.
For any polylinear differential monomial
u=y1θ1yθ22...ynθn
of degree nset β(u) = (α(θ1), . . . , α(θn))∈Zmn+ . Ifu andv are two polylinear monomials then set u≤v if β(u)≤β(v) with respect to the lexicographical order in Zmn+ .
The polylinear element g of degreen can be uniquely written in the unique form g =αyθ11yθ22...ynθn+X
αimi,
where 06= α ∈R and mi is a polylinear differential monomial such that y1θ1. . . ynθn < mi
for all i.
Notice that
X(θ1)θ1. . . X(θn)θn) = 1 and mi(X(θ1), . . . , X(θn)) = 0 for all i. Consequently,
g(X(θ1), . . . , X(θn)) =α 6= 0, that is g = 0 is not an identity ofCm.
Corollary 4. The variety of all differential algebras (∆-algebras) over R is generated by Cm =R[x1, . . . , xm].
Proof. By Proposition 2, the algebra Cm does not satisfy any nontrivial differential identity.
Theorem 2. Let A be a differential R-algebra without nilpotent elements satisfying the ascending chain condition for radically closed differential ideals. Then A is equationally Noetherian.
Proof. Notice that A{y1, . . . , yn} = A ⊔ R{y1, . . . , yn} is the coproduct of A and R{y1, . . . , yn}in the variety of differentialR-algebras. LetSbe any subset ofA{y1, . . . , yn} and
Z(S) ={(a1, . . . , an)∈An|s(a1, . . . , an) = 0 for alls∈S}.
Let I(S) be the set of all elements f of A{y1, . . . , yn} such that f(a1, . . . , an) = 0 for all (a1, . . . , an)∈Z(S). Obviously, S ⊆I(S) and I(S) is an ideal of A{y1, . . . , yn}. Note that
f(a1, . . . , an)δi =fδi(a1, . . . , an)
for all f ∈ A{y1, . . . , yn} and for all a1, . . . , an ∈ A. Consequently, I(S) is a differential ideal of A{y1, . . . , yn}.
If fk ∈ I(S) then fk(a1, . . . , an) = 0 for all (a1, . . . , an) ∈ Z(S). The algebra R does not contain nilpotent elements. Therefore f(a1, . . . , an) = 0 and f ∈I(S). Thus I(S) is radically closed differential ideal of A{y1, . . . , yn}.
7
By the Ritt-Raudenbush basis Theorem [10, 13, 23], A{y1, . . . , yn} satisfies the as- cending chain condition for radically closed differential ideals. Consequently, I(S) coin- sides with the radically closed differential ideal generated by a finite number of elements f1, . . . , fk∈A{y1, . . . , yn}. Therefore Z(S) =Z(f1, . . . , fk).
Corollary 5. If R is an assiciative and commutative radically Noetherian domain then the differential algebra Cm =R[x1, . . . , xm] is equationally Noetherian.
Proof. Notice that the differential structure on R is trivial, i.e., R is a radically Noe- therian differential algebra. The algebraCm is radically Noetherian differentialR-algebra by Ritt-Raudenbuch Basis Theorem [10, 13, 23].
Corollary 6. If R is an associative and commutative radically Noetherian domain then every differential polynomial R-algebra is equationally Noetherian.
Proof.Every free algebra of the variety of algebras Var(Cm) is equationally Noetherian by Proposition 1.
4. The left-symmetric Witt algebra Lm and the Witt algebra Wm
Construction of left-symmetric and Lie algebras. Consider differential algebras with the basic set of derivations ∆ = {δ1, . . . , δm}. Let R be an arbitrary associative and commutative ring with identity and A be an arbitrary differential algebra over R.
Consider the space B of elements of the form
f1δ1 +f2δ2+...+fnδm, fi ∈A,1≤ i≤m,
of the universal enveloping algebra Ce. The product◦ on B defined by f δi◦gδj =f δi(g)δj, f, g∈C,1≤i, j ≤m,
turns B into a left-symmetric algebra, that ishB,◦isatisfies the identity (x◦y)◦z−x◦(y◦z) = (y◦x)◦z−y◦(x◦z).
This can be easily checked as in [16, 29]. We denote the left-symmetric algebra hB,◦i by L(A) and call it the left-symmetric Witt algebra of the differential algebra A.
The construction of L(A) is a generalization of the well known Gelfand’s construction for Novikov algebras [7], and ifm = 1 then L(A) is a Novikov algebra.
Recall that the variety of left-symmetric algebras is Lie admissible, i.e., the commutator algebra of any left-symmetric algebra is a Lie algebra. Therefore B is a Lie algebra with respect to the bracket
[f δi, gδj] =f δi◦gδj −gδj◦f δi.
Denote the Lie algebra hB,[·,·]i by W(A) and call it the Witt algebra of the differential algebra A. If m= 1 then the bracket [·,·] is called the Wronskian [22].
The left-symmetric Witt algebra Lm and the Witt algebra Wm. Let Cm = R[x1, x2, . . . , xm] be the differential algebra with derivations δi =∂i for all 1≤ i≤m on the polynomial algebra R[x1, x2, . . . , xm] . Then the left-symmetric algebra Lm =L(Cm) is called the left-symmetric Witt algebra of index m and the Lie algebra Wm =W(Cm), is the well known Witt algebra of index m [16, 29].
8
Free algebras of the varieties Var(Lm) and Var(Wm). Let C = R{yij|1 ≤ i ≤ n,1≤j ≤m}be the differential polynomial algebra in the variables yij where 1≤i≤n and 1≤j ≤m. We set
Yi =yi1δ1+. . .+yimδm, 1≤i≤n.
Denote by Lnthe subalgebra of the left-symmetric algebra L(C) generated byY1, . . . , Yn, and byWn the subalgebra of the Lie algebraW(C) generated by Y1, . . . , Yn.
Below we show that Ln is the free algebra of the variety of algebras Var(Lm) freely generated by Y1, . . . , Yn and Wn is the free algebra of the variety of algebras Var(Wm) freely generated by Y1, . . . , Yn.
”Coproducts”. LetCe =Cm{yij|1≤i≤n,1≤j ≤m}be the differential polynomial algebra over the differential algebraCm in the variablesyij, where 1≤i≤n and 1≤j ≤ m. Obviously,
Ce =Cm⊗RC
is the tensor product of the differential algebrasCmandC =R{yij|1≤i≤n,1≤j ≤m}.
Moreover, these algebras can be identified with their images in Ce since they are free R- modules. Then the left-symmetric algebra L(C) containse Lm andLn, and the Lie algebra W(C) containse Wm and Wn.
Denote by Len the subalgebra of the left-symmetric algebra L(C) generated bye Lm and Ln and by fWn the subalgebra of the Lie algebra W(C) generated bye Wm and Wn. Proposition 3. (a) For any F1, . . . , Fn ∈ L(C)e there exists a unique homomorphism φ :Len → L(C)e of the left-symmetric algebras such that φ|Lm = id and φ(Yi) = Fi for all 1≤i≤n.
(b) For anyF1, . . . , Fn∈ W(C)e there exists a unique homomorphism φ :fWn→ W(C)e of the Lie algebras such that φ|Wm = id and φ(Yi) = Fi for all 1≤i≤n.
Proof. Consider
Fi =fi1δ1+. . .+fimδm, fij ∈C,e 1≤i≤n, 1≤j ≤m.
Obviously there exists a unique endomorphism ψ :Ce −→Ce of the differential R-algebra Ce such that ψ|Cm = id and ψ(yij) = fij for all i, j. This endomorphism can be uniquely extended to an endomorphism of the enveloping algebra Cee. We denote this extension of ψ by the same symbol, i.e., ψ : Cee → Cee is an endomorphism of the associative algebra Cee such that ψ(c) = c for all c∈ Cm, ψ(yij) = fij, and ψ(δj) = δj for all i, j. It is clear that ψ(L(C))e ⊆L(C) ande
ψ|Len :Len→L(C)e
is a homomorphism of the left-symmetric algebras. We set φ =ψ|Len :Len →L(C).e
Then φ(Yi) = Fi for all i and φ|Lm = id. Such a homomorphism is unique since Len is generated by Lm and by Y1, . . . , Yn.
Repeating the same arguments we can prove the statement (b) of the theorem.
9
Theorem 3. (a)The left-symmetric algebraLn is the free algebra of the variety of algebras Var(Lm) freely generated by Y1, . . . , Yn.
(b) The Lie algebra Wn is the free algebra of the variety of algebras Var(Wm) freely generated by Y1, . . . , Yn.
Proof.LetM be the free algebra of the variety of algebras Var(Lm) freely generated by z1, . . . , zn. It is well known thatM is isomorphic to a subalgebra of a direct power ofLm
[3, 19].
LetI be an arbitrary set of indexes, LIm be the directI-power of Lm, and assume that M is isomorphic to a subalgebra of LIm. Let F1, . . . , Fn be any set of elements of LIm. Suppose thatFi = (fij)j∈I. By Proposition 3 for each j ∈I there exists a homomorphism ψj :Len→Lm such that φj(Yi) =fij for all i. For φj =φj|Ln we have that
φ:Ln →LIm,
defined by φ(a) = (φj(a))j∈I for all a ∈ Ln, is a homomorphism of the left symmetric algebras such that φ(Yi) =Fi for all i.
It follows that there exists a homomorphism τ :Ln→M, such that τ(Yi) = zi for all 1≤i≤n.
Ifτ is not an isomorphism then there exists a nonzero element F =F(Y1, . . . , Yn) such that φ(F) = 0 for all homomorphisms φ :Ln→Lm. Consider
F =f1δ1+. . .+fmδm, fi ∈C.
Suppose that fi 6= 0. By Proposition 2, there exists a homomorphism ψ : C → Cm
such that ψ(fi) 6= 0. As above, we can extend this homomorphism to ψ : Ce → Cme. If φ=ψ|L:L→Lm, then
φ(F) =ψ(f1)δ1+. . .+ψ(fi)δi+. . .+ψ(fm)δm 6= 0
since ψ(fi) 6= 0. This contradiction proves that the kernel of τ is 0, i.e., τ is an isomor- phism.
This proves the statement (a) of the theorem. The statement (b) can be proved similarly.
Theorem 4. Let R be an arbitrary radically Noetherian domain containing the field of rational numbers Q=Q1⊆R. Then
(a) the left-symmetric Witt algebra Lm over R is equationally Noetherian;
(b) the Witt algebra Wm overR is equationally Noetherian.
Proof. By Proposition 3, for any natural n ≥ 0 and for any system of elements F1, . . . , Fn ∈ L(C) there exists a homomorphisme φ : Ln → L(C) of the left-symmetrice algebras such that φ(Yi) =Fi for all 1≤i≤n. Therefore L(C) belongs to the variety ofe algebras Var(Lm).
LetLm⊔Lnbe the coproduct ofLm andLnin the variety of algebras Var(Lm). SinceLen
is the subalgebra of L(C) generated bye Lm and Ln, there exists a unique homomorphism φ :Lm⊔Ln →Len
10
such that φ|Lm = id and φ|Ln = id.
LetS be any subset of Lm⊔Ln and
Z(S) ={(a1, . . . , an)∈Lnm|s(a1, . . . , an) = 0 for all s∈S}.
Recall that s(a1, . . . , an) is the image ofs under the homomorphism Lm⊔Ln →Lm that is identical on Lm and sends each Yi toai for all i. By Proposition 3, s(a1, . . . , an) = 0 if and only if φ(s)(a1, . . . , an) = 0. Therefore
Z(S) = {(a1, . . . , an)∈Lnm|φ(s)(a1, . . . , an) = 0 for all s∈S}.
Suppose that
φ(s) =s1δ1+. . .+smδm, s1, . . . , sm ∈C,e and
ai =ai1δ1+. . .+aimδm, ai1, . . . , aim∈Cm, 1≤i≤n.
Then
φ(s)(a1, . . . , an) = Xm
k=1
sk(aij)δk.
LetI(S) be the set of all elementsf ofCesuch thatf(a1, . . . , an) = 0 for all (a1, . . . , an)∈ Z(S). Obviously, si ∈I(S) for all s∈S and 1≤i≤m. Moreover, I(S) is an ideal of C.e We have
f(aij)δk =fδk(aij)
for all f ∈Ce and for all aij ∈Cm. It follows that I(S) is a differential ideal ofC.e
If fk ∈ I(S) then fk(aij) = 0 for all (a1, . . . , an) ∈ Z(S). Since R is a domain, the algebras Cm = R[x1, . . . , xm] and Ce = Cm{yij|1 ≤ i ≤ n,1 ≤ j ≤ m} do not contain nilpotent elements. Therefore f(aij) = 0 and f ∈ I(S). Thus I(S) is radically closed differential ideal of C.e
By the Ritt-Raudenbush Basis Theorem [10, 13, 23], Cm and Ce satisfy the ascending chain condition for radically closed differential ideals. Therefore there exists a finite subset T of S such that the radically closed differential ideal of Ce generated by all ti,1 ≤ i ≤ m, t∈T coinsides with I(S). It implies that Z(S) = Z(T).
This proves the statement (a) of the theorem. The statement (b) can be proved similarly.
Corollary 7. Let R be an arbitrary radically Noetherian domain containing the field of rational numbers Q=Q1⊆R. Then
(a) every free algebra over R of the variety of Var(Lm) is equationally Noetherian;
(b) every free algebra over R of the variety of Var(Wm) is equationally Noetherian.
Proof. This is a direct corollary of Proposition 1 and Theorem 4.
11
5. Symplectic Poisson algebra Pm
Construction of Poisson algebras. Consider differential algebras with the basic set of derivations ∆ = {δ1, . . . , δ2m} containing 2m elements. Let R be an arbitrary associative and commutative ring with identity and let A be an arbitrary differential algebra over R. For any f, g∈A we set
{f, g}= Xm
i=1
(δ2i−1(f)δ2i(g)−δ2i(f)δ2i−1(g)).
It is easy to show that the R-module A with respect to the product · and the bracket {·,·} is a Poisson algebra [14], in other words,
(a) hA,·i is an associative and commutative algebra, (b) hA,{·,·}iis a Lie algebra, and
(c) hA,·,{·,·}isatisfies the (Leibniz) identity:
{xy, z}=x{y, z}+{x, y}y.
Denote the Poisson algebra hA,·,{·,·}i by P(A).
The symplectic Poisson algebra Pm. Let C2m = R[x1, . . . , x2m] be the differen- tial algebra with derivations δi = ∂i for all 1 ≤ i ≤ 2m on the polynomial algebra R[x1, . . . , x2m]. We denote Pm =P(C2m). The Poisson algebra Pm is called the symplec- tic Poisson algebra of index m overR. If f, g ∈Pm then
{f, g}= Xm
i=1
( ∂f
∂x2i−1
∂g
∂x2i
− ∂f
∂x2i
∂g
∂x2i−1
).
Free algebras of the variety Var(Pm). Let C = R{y1, . . . , yn} be the differential polynomial algebra over R in the variables y1, . . . , yn. Denote by Pn the subalgebra of the Poisson algebra P(C) generated by y1, . . . , yn.
Below we show that Pn is the free algebra of the variety of algebras Var(Pm) freely generated by y1, . . . , yn.
”Coproducts”. Let Ce = C2m{y1, . . . , yn} be the differential polynomial algebra over the differential algebraC2m in the variables y1, . . . , yn. It is clear that
Ce =C2m⊗RC
is the tensor product of the differential algebras C2m and C = R{y1, . . . , yn}. Moreover, these algebras can be identified with their images in Ce since they are free R-modules.
Then the Poisson algebra P(C) containse Pm and Pn.
Denote by Pen the subalgebra of the Poisson algebra P(C) generated bye Pm and Pn. Proposition 4. For any F1, . . . , Fn ∈ P(C)e there exists the unique homomorphism φ : Pen →P(C)e of the Poisson algebras such that φ|Pm = id and φ(yi) =Fi for all 1≤i≤n.
The proof of this proposition repeats the proof of Proposition 3. The proofs of the following two theorems are similar to the proofs of Theorem 3 and Theorem 4, respectively.
Theorem 5. The Poisson algebra Pn is the free algebra of the variety of algebrasVar(Pm) freely generated by y1, . . . , yn.
12
Theorem 6. Let R be an arbitrary radically Noetherian domain containing the field of rational numbers Q = Q1 ⊆ R. Then the Poisson algebra Pm over R is equationally Noetherian.
Corollary 8. Let R be an arbitrary radically Noetherian domain containing the field of rational numbers Q=Q1⊆R. Then every free algebra overR of the variety Var(Pm) is equationally Noetherian.
Using Proposition 3, Theorem 3, and general results on the structure of the variety of algebras generated by an algebra [3, 19], it is possible to show that Len is the coproduct ofLm andLn in the variety of algebras Var(Lm) and fWn is the coproduct ofWm andWn
in the variety of algebras Var(Wm). Similarly it can be proved that Pen is the coproduct of Pm and Pn in the variety of algebras Var(Pm).
Acknowledgments
The first author is supported by Russian Science Foundation, grant 22-11-00052.
The second author is supported by Nazarbayev University FDCRG (Grant No. 021220FD3851).
The third author is supported by the Ministry of Education and Science of the Republic of Kazakhstan (project AP14872073).
References
[1] Yu. Bahturin, Identical relations in Lie algebras. Second edition. De Gruyter Expositions in Mathe- matics, 68. De Gruyter, Berlin, 2021, xxv+514 pp.
[2] G. Baumslag, A. Myasnikov, V. Remeslennikov, Algebraic geometry over groups I. Algebraic sets and ideal theory, J. Algebra 219 (1999), 16–79.
[3] P.M. Cohn, Universal algebra. Second edition. Mathematics and its Applications, 6. D. Reidel Pub- lishing Co., Dordrecht-Boston, Mass., 1981. xv+412 pp.
[4] E.Yu. Daniyarova, A.G. Myasnikov, V.N. Remeslennikov, Algebraic geometry over algebraic systems.
II. Foundations. (Russian) Fundam. Prikl. Mat. 17 (2011/12), no. 1, 65–106; translation in J. Math.
Sci. (N. Y.) 185 (2012), no. 3, 389–416.
[5] V. Dotsenko, N. Ismailov, U. Umirbaev, Polynomial identities in Novikov algebras, Math.Z., (sub- mitted). https://doi.org/10.48550/arXiv.2209.13662
[6] D. Eisenbud, Commutative algebra. With a view toward algebraic geometry. Graduate Texts in Mathematics, 150. Springer-Verlag, New York, 1995. xvi+785 pp.
[7] I.M. Gel’fand, I.Ya. Dorfman, Hamiltonian operators and algebraic structures related to them. (Rus- sian) Funktsional. Anal. i Prilozhen 13 (1979), no. 4, -30, translation in Funct. Anal. 13 (1979), 248–262.
[8] V.S. Guba, Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems. (Russian) Mat. Zametki 40 (1986), no. 3, 321–324, translation in Math. Notes 40 (1986), no. 3, 688-690.
[9] Ch.K. Gupta, N.S. Romanovskii, The property of being equational Noetherian of some solvable groups. (Russian) Algebra Logika 46 (2007), no. 1, 46–59; translation in Algebra Logic 46 (2007), no. 1, 28–36.
[10] I. Kaplansky, An introduction to differential algebra. Second edition. Actualit´es Scientifiques et Industrielles, No. 1251. Publications de l’Institut de Math´ematique de l’Universit´e de Nancago, No.
V. Hermann, Paris, 1976. 64 pp.
[11] O. Kharlampovich, A. Myasnikov, Algebraic geometry over free groups: lifting solutions into generic points. Groups, languages, algorithms, 213–318, Contemp. Math., 378, Amer. Math. Soc., Provi- dence, RI, 2005.
13
[12] O. Kharlampovich, A. Myasnikov, Elementary theory of free non-abelian groups. J. Algebra 302 (2006), no. 2, 451–552.
[13] E.R. Kolchin, Differential Algebra and Algebraic Groups. Pure and Applied Mathematics, Vol. 54.
Academic Press, New York-London, 1973.
[14] P.S. Kolesnikov, L.G. Makar-Limanov, I.P. Shestakov, The Freiheitssatz for generic Poisson algebras.
(English summary) SIGMA Symmetry Integrability Geom. Methods Appl. 10 (2014), Paper 115, 15 pp.
[15] M.V. Kondratieva, A.B. Levin, A.V. Mikhalev, E.V. Pankratiev, Differential and difference dimen- sion polynomials. Mathematics and its Applications, 461. Kluwer Academic Publishers, Dordrecht, 1999.
[16] D. Kozybaev, U. Umirbaev, Identities of the left-symmetric Witt algebras. Internat. J. Algebra Comput. 26 (2016), no. 2, 435–450.
[17] S. Mac Lane, Categories for the working mathematician. Second edition. Graduate Texts in Mathe- matics, 5. Springer-Verlag, New York, 1998. xii+314 pp.
[18] L. Makar-Limanov, U. Umirbaev, The Freiheitssatz for Novikov algebras. TWMS J. Pure Appl.
Math. 2 (2011), no. 2, 228–235.
[19] A.I. Mal’cev, Algebraic systems. Posthumous edition, edited by D. Smirnov and M. Taiclin. Trans- lated from the Russian by B. D. Seckler and A. P. Doohovskoy. Die Grundlehren der mathematischen Wissenschaften, Band 192. Springer-Verlag, New York-Heidelberg, 1973. xii+317 pp.
[20] Yu. Maltsev, A basis for the identities of the algebra of upper triangular matrices, (Russian) Algebra i Logika 10 (1971), no. 4, 393–400, translation in Algebra Logic 10 (1971), no. 4, 242–247.
[21] B. Plotkin, Varieties of algebras and algebraic varieties. Israel J. Math. 96 (1996), part B, 511–522.
[22] L. Poinsot, The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope. Comm. Algebra 46 (2018), no. 4, 1641–1667.
[23] J.F. Ritt, Differential Algebra. American Mathematical Society Colloquium Publications, Vol.
XXXIII, American Mathematical Society, New York, N. Y., 1950.
[24] N.S. Romanovskii, I.P. Shestakov, Equational Noetherianity of the universal enveloping algebra of wreath products of abelian Lie algebras. (Russian) Algebra Logika 47 (2008), no. 4, 475–490, 525;
translation in Algebra Logic 47 (2008), no. 4, 269–278.
[25] Z. Sela, Diophantine geometry over groups. VI. The elementary theory of a free group. Geom. Funct.
Anal. 16 (2006), no. 3, 707–730.
[26] Z. Sela, Diophantine geometry over groups. VII. The elementary theory of a hyperbolic group. Proc.
Lond. Math. Soc. (3) 99 (2009), no. 1, 217–273.
[27] I. Shestakov and Z. Zhang, Solvability and nilpotency of Novikov algebras. Comm. Algebra 48 (2020), no. 12, 5412–5420.
[28] K. Tulenbaev, U. Umirbaev, V. Zhelyabin, On the Lie-solvability of Novikov algebras. J. Algebra Appl. (accepted), https://doi.org/10.1142/S0219498823501177
[29] U.U. Umirbaev, Associative, Lie, and left-symmetric algebras of derivations, Transform. Groups 21 (2016), no. 3, 851–869.
[30] U. Umirbaev, V. Zhelyabin, On the solvability of graded Novikov algebras. Internat. J. Algebra Comput. 31 (2021), no. 7, 1405–1418.
[31] V. Zhelyabin, U. Umirbaev, On the Solvability of Z3-Graded Novikov Algebras. Symmetry 312(2) (2021), 13.
[32] K.A. Zhevlakov, A.M. Slinko, I.P. Shestakov, A.I. Shirshov, Rings that are nearly associative. Aca- demic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1982.
14
