Polynomial Automorphisms, Deformation Quantization and Some Applications on Noncommutative Algebras

: This paper surveys results concerning the quantization approach to the Jacobian Conjecture and related topics on noncommutative algebras. We start with a brief review of the paper and its motivations. The ﬁrst section deals with the approximation by tame automorphisms and the Belov– Kontsevich Conjecture. The second section provides quantization proof of Bergman’s centralizer theorem which has not been revisited for almost 50 years and formulates several related centralizer problems. In the third section, we investigate a free algebra analogue of a classical theorem of Białynicki-Birula’s theorem and give a noncommutative version of this famous theorem. Additionally, we consider positive-root torus actions and obtain the linearity property analogous to the Białynicki-Birula theorem. In the last sections, we introduce Feigin’s homomorphisms and we see how they help us in proving our main and fundamental theorems on screening operators and in the construction of our lattice W n -algebras associated with sl n , which is by far the simplest known approach concerning constructing such algebras until now.


Introduction
The goal of this review is to compile and condense findings related to the quantization approach to the Jacobian Conjecture.
As of the time this text was written, O.-H. Keller's Jacobian Conjecture remains an unresolved and seemingly insurmountable problem. The Jacobian Conjecture has been studied from a variety of perspectives, leading to the accumulation of a sizable amount of literature, while the development of many aspects of modern algebra and algebraic geometry was partially sparked by the search for an appropriate framework in which the Jacobian Conjecture could be investigated. This has led to a situation in which there is circumstantial evidence both for and against this conjecture's validity.
The study of infinite-dimensional algebraic semigroups of polynomial endomorphisms and groups of polynomial automorphisms as well as mappings between them is one of the most well established reasonable approaches to the Jacobian Conjecture. The foundation for this approach was laid by I.R. Shafarevich [1]. During the last several decades, the theory was vastly developed and enriched by the works of Anick, Artamonov, Bass, Bergman, Dicks, Dixmier, Lewin, Makar-Limanov, Czerniakiewicz, Shestakov, Umirbaev, We denote the pair (K[x 1 , . . . , x 2n ], { , }) by P n (K). In our discussion, the coefficient ring K is a field of characteristic zero and for later purposes, we require K to be algebraically closed. Thus, one may safely assume K = C in the sequel.
Throughout, we assume all homomorphisms to be unital and preserve all defining structures carried by the objects in question. Thus, by a Weyl algebra endomorphism, we always mean a K-linear ring homomorphism W n (K) into itself that maps 1 to 1. Similarly, the set End K[x 1 , . . . , x n ] consists of all K-endomorphisms of the polynomial algebra, while End P n is the set of polynomial endomorphisms preserving the Poisson structure. We will call elements of the group Aut P n polynomial symplectomorphisms, due to the fact that they can be identified with polynomial one-to-one mappings A 2n K → A 2n K of the affine space A 2n K which preserves the symplectic form Any endomorphism ϕ of K[x 1 , . . . , x N ], P n (K) or W n (K) can be identified with the ordered set (ϕ(x 1 ), ϕ(x 2 ), . . .) of images of generators of the corresponding algebra. For K[x 1 , . . . , x N ] and P n (K), the polynomials ϕ(x i ) can be decomposed into sums of homogeneous components. This means that the endomorphism ϕ may be written as a formal sum where ϕ k is a string (of length N and 2n, respectively) whose entries are homogeneous polynomials of total degree k (we set deg x i = 1). Accordingly, the height ht(ϕ) of the endomorphism is defined as This is not to be confused with the degree of endomorphism, which is defined as deg(ϕ) = sup{k | ϕ k = 0} (for W n the degree is well defined, but the height depends on the ordering of the generators). The height ht( f ) of a polynomial f is defined quite similarly to be the minimal number k such that the homogeneous component f k is not zero. Obviously, for an endomorphism ϕ = (ϕ(x 1 ), . . . , ϕ(x N )) one has ht(ϕ) = inf{ht(ϕ(x i )) | 1 ≤ i ≤ N}.
The function d(ϕ, ψ) = exp(− ht(ϕ − ψ)) is a metric on End K[x 1 , . . . , x N ]. We will refer to the corresponding topology on End (and on subspaces such as Aut and TAut) as the formal power series topology.
Note that in both cases we do not include translations of the affine space in our consideration, so we may safely assume the polynomials f and g to be at least of height one.
The subgroup of Aut P n (K) generated by all such automorphisms is the group TAut P n (K) of tame symplectomorphisms. One similarly defines the notion of tameness for the Weyl algebra W n (K), with tame elementary automorphisms having the exact same form as for P n (K).
The automorphisms which are not tame are called wild. It is unknown at the time of writing whether the algebras W n and P n have any wild automorphisms in characteristic zero for n > 1; however, for n = 1 all automorphisms are known to be tame [4][5][6][7]. On the other hand, the celebrated example of Nagata (x + (x 2 − yz)x, y + 2(x 2 − yz)x + (x 2 − yz) 2 z, z) provides a wild automorphism of the polynomial algebra K[x, y, z].
It is known, due to Kanel-Belov and Kontsevich [2,8], that for K = C the groups TAut W n (C) and TAut P n (C) are isomorphic. The homomorphism between the tame subgroups is obtained by means of non-standard analysis and involves certain non-constructible entities, such as free ultrafilters and infinite prime numbers. Recent effort [9,10] has been directed at proving the homomorphism's independence of such auxiliary objects, with limited success.

Approximation by Tame Automorphisms
A classical theorem in [11] gives that every endomorphism of K[x 1 , . . . , x n ] with invertible Jacobian is a limit of a sequence of tame automorphisms in the formal power series topology. The first main result of [12] is a slightly modified proof of this theorem with an automorphism with Jacobian equal to 1 as a limit. We study the problem of lifting polynomial symplectomorphisms in characteristic zero to automorphisms of the Weyl algebra by means of approximation by tame automorphisms. We also prove the possibility of lifting a symplectomorphism to an automorphism of the power series completion of the Weyl algebra of the corresponding rank. The use of tame approximation is advantageous due to the fact that tame symplectomorphisms correspond to Weyl algebra automorphisms.
Let ϕ ∈ Aut K[x 1 , . . . , x N ] be a polynomial automorphism. We say that ϕ is approximated by tame automorphisms if there is a sequence ψ 1 , ψ 2 , . . . , ψ k , . . . of tame automorphisms such that ht((ψ −1 k • ϕ)(x i ) − x i ) ≥ k for 1 ≤ i ≤ N and all k are sufficiently large. Observe that any tame automorphism ψ is approximated by itself-that is, by a stationary sequence ψ k = ψ.
We give here a slightly simplified sketch of the proof suitable for our context. The second theorem is essential in our approach to the lifting problem in deformation quantization.
The proof of Theorem 1 consists of several steps each of which amounts to composing a given automorphism ϕ with a tame transformation of a specific type-an operation that allows one to dispose of ϕ(x i ) (1 ≤ i ≤ N) in terms of total degree greater than one and less than a fixed integer k. Thus the approximating sequence of tame automorphisms is constructed. As was mentioned before, we disregard translation automorphisms completely: all automorphisms discussed here are origin-preserving, so the polynomials ϕ(x i ) have zero free parts. This of course leads to no loss of generality.
The process starts with the following straightforward observation [12].
Using the above lemma, we may replace ϕ with ϕ A (and suppress the A subscript for convenience). Lemma 2 ([12]). Suppose that ϕ ∈ Aut K[x 1 , . . . , x N ] is identity modulo square terms. Then, there exists a set ρ 1 , . . . , ρ m of tame automorphisms of degree two such that the composition ρ m • · · · • ρ 1 • ϕ = ϕ m is identity modulo cubic terms. Lemma 3. Suppose that, given an automorphism ϕ with unit Jacobian, we can, by composing it on the left with tame automorphisms, transform it into the automorphism ϕ m : The last lemma concludes the proof of Theorem 1. Once the approximation for the case of symplectomorphisms has been established, we can investigate the problem of lifting symplectomorphisms to Weyl algebra automorphisms. More precisely, one has the following Proposition 1. Let K = C and let σ : P n (C) → P n (C) be a symplectomorphism over complex numbers. Then, there exists a sequence ψ 1 , ψ 2 , . . . , ψ k , . . . of tame automorphisms of the n-th Weyl algebra W n (C), such that their images σ k in Aut P n (C) approximate σ.
A few comments are in order. First, the deformation quantization of elementary symplectomorphisms is a very simple procedure: one need only replace the x i and p i by their counterpartsx i andp i in the Weyl algebra W n . Because the transvection polynomials f and g (in the expressions for elementary symplectomorphisms) depend, as has been noted, on one type of generator (resp. p and x), the quantization is well defined.
Second, as the tame automorphism groups TAut W n (C) and TAut P n (C) are isomorphic, the correspondence between sequences of tame symplectomorphisms converging to symplectomorphisms and sequences of tame Weyl algebra automorphisms is one to one. The main question is how one may interpret these sequences as endomorphisms of W n (C).
Our construction shows that these sequences of tame automorphisms may be thought of as (vectors of) power series-that is, elements of C[[x 1 , . . . ,x n ,p 1 , . . . ,p n ]] 2n .
The main problem, therefore, consists in verifying that these vectors have polynomial entries in generators-that is, that the limits of lifted tame sequences are Weyl algebra endomorphisms.
We have developed a tame approximation theory for symplectomorphisms in formal power series topology. By virtue of the known correspondence between tame automorphisms of the even-dimensional affine space and tame automorphisms of the Weyl algebra, which is the object corresponding to the affine space in terms of deformation quantization, we have arrived at the lifting property of symplectomorphisms. This line of research may yield new insights into the endomorphisms of the Weyl algebra, the Dixmier Conjecture and the Jacobian Conjecture.  [13]. Let K be the main field and for a fixed positive integer n are given n polynomials of n variables x 1 , . . . , x n . Any such system of polynomials defines a unique image endomorphism of the algebra K[x 1 , . . . , x n ] . . , f n (x 1 , . . . , x n ).
The K-endomorphism F of polynomial algebra is determined by its action on the set of generators. Let J(F) denote Jacobian (the determinant of the Jacobi matrix) of the map F: The Jacobian Conjecture is as follows.
Conjecture 1 (The Jacobian Conjecture, JC n ). Let the characteristic of the base field K be equal to zero. Then, if the Jacobian J(F) of the endomorphism F is equal to a nonzero constant (that is, it belongs to the set K × ), then F is an automorphism.
An elementary exercise is to verify the statement that automorphisms of polynomial algebras always have a nonzero Jacobian constant. Conjecture 1 is thus a partially inverse statement of this property. It is also easy to see that if a polynomial endomorphism F is invertible, then the inverse will also be a polynomial endomorphism.
The Jacobian Conjecture is trivial for n = 1. On the other hand, when the field K has a positive characteristic, the Jacobian Conjecture formulated as Conjecture 1 is incorrect even in the case of n = 1. Indeed, if char K = p and n = 1, we can take ϕ(x) = x − x p . The Jacobian of such a mapping is equal to unity, but it is irreversible.
Despite the apparent simplicity of wording and context, the Jacobian Conjecture is one of the most difficult open questions of modern algebraic geometry. This problem has become the subject of numerous studies and has greatly contributed to the development of related fields of algebra, algebraic geometry and mathematical physics, which are also of independent interest.
The literature on the Jacobian Conjecture, its analogues and related problems are extensive. A detailed discussion of the results established in the context of the Jacobian Conjecture is beyond the scope of this work. Below, we give a brief overview of some results directly related to the Jacobian Conjecture (i.e., for the algebra of polynomials in commuting variables). Among studies of topics similar to the Jacobian Conjecture in associative algebra, it is worth noting the work of W. Dicks [14] and Dicks and J. Lewin [15] on an analogue of the Jacobian Conjecture for free associative algebras, the proof by U.U. Umirbaev [16] of an analogue of the Jacobian Conjecture for the free metabelian algebra, as well as the deep and extremely significant work of A.V. Yagzhev [17][18][19][20] (see also [21]).

Ind-Schemes and Varieties of Automorphisms
One of the essential areas of algebraic geometry, the development of which was motivated by the Jacobian Conjecture is the theory of infinite-dimensional algebraic groups. The main reference is the seminal article of I.R. Shafarevich [1], in which he defined concepts that allowed one to study questions about some natural infinite-dimensional groups-for example, the group of automorphisms of an algebra of polynomials in several variablesusing tools from algebraic geometry. In particular, Shafarevich defines infinite-dimensional varieties as inductive limits of directed systems of the form where X i are algebraic varieties (more generally, algebraic sets) over a field K and the morphisms f ij (defined for i ≤ j) are closed embeddings. The inductive limit of a system of topological spaces carries a natural topology and therefore the natural questions about connectivity and irreducibility arise, which were also studied in [1].
Following generally accepted terminology, we will call the direct limit of systems of varieties and closed embeddings an Ind-variety and the corresponding limits of systems of schemes and morphisms of schemes an Ind-scheme.
The Jacobian Conjecture has the following elementary connection with Ind-schemes. Since the algebra of polynomials K[x 1 , . . . , x n ] can be endowed with a natural Z-grading in total degree deg, which is defined as the appropriate monoid homomorphism by the requirement deg x i = 1, we can define as the degree of endomorphism ϕ: namely, if ϕ = (ϕ(x 1 ), . . . , ϕ(x n )) defined by its action on algebra generators, then the degree deg ϕ is the maximum value of degree on the polynomials ϕ(x 1 ), . . . , ϕ(x n ). It defines an increasing filtration End ≤N K[x 1 , . . . , x n ], N ≥ 0 on the set End K[x 1 , . . . , x n ] of endomorphisms of the polynomial algebra. Points End ≤N K[x 1 , . . . , x n ] are endomorphisms of degree at most N. It is easy to see that the algebraic sets End ≤N K[x 1 , . . . , x n ] are isomorphic to affine spaces of appropriate dimension. The coordinates of the point ϕ are the coefficients of the polynomials ϕ(x 1 ), . . . , ϕ(x n ), and for End K[x 1 , . . . , x n ] these coordinates are not connected by any relations.
The total degree filtration also enables endowing the sets of automorphisms with the Zariski topology as follows (see also [1]): if ϕ is a polynomial automorphism, then consider a set of polynomials (ϕ(x 1 ), . . . , ϕ(x 1 ), ϕ −1 (x 1 ), . . . , ϕ −1 (x n )), the images of generators under the action of the automorphism and its inverse. The coefficients of these polynomials serve as coordinates of ϕ as a point of some affine space.
Define the subsets as sets of automorphisms such that all coefficients of polynomials in the presentation above for degrees greater than n are zero. The sets Aut ≤N K[x 1 , . . . , x n ] are algebraic sets. Indeed, the identities that define the points Aut ≤N are derived from the identity ϕ • ϕ −1 = Id and, it is easy to see, are specified by polynomials. Now let J ≤N denote a subset of End ≤N K[x 1 , . . . , x n ], whose points are endomorphisms with a Jacobian equal to a nonzero constant. Then, Conjecture 1 can be clearly reformulated as follows ∀ϕ ∈ J ≤N ⇒ ϕ ∈ Aut K[x 1 , . . . , x n ], ∀N, for char K = 0.
2.3.3. Dixmier Conjecture and Belov-Kontsevich Conjecture J. Dixmier [22] in his seminal study of Weyl algebras found a connection between the Jacobian Conjecture and the following Conjecture. Let W n,K denote the n-th Weyl algebra over the field K defined as the quotient algebra of the free algebra F 2n = K a 1 , . . . , a n , b 1 , . . . , b n of 2n generators by the two-sided ideal I W , generated by polynomials a i a j − a j a i , where δ ij is the Kronecker symbol. The Dixmier Conjecture states: Conjecture 2 (Dixmier Conjecture, DC n ). Let char K = 0. Then, End W n,K = Aut W n,K .
In other words, the Dixmier Conjecture asks whether every endomorphism of the Weyl algebra over a field of characteristic zero is in fact an automorphism.
The Dixmier Conjecture for n variables, DC n , implies the Jacobian Conjecture JC n for n variables (see, for example, [23]). Significant progress in recent years in the study of Conjecture 1 has been achieved by Kanel-Belov (Belov) and Kontsevich [2]-and independently by Tsuchimoto [3] (also see [24])-in the form of the following theorem.  [2], Y. Tsuchimoto [3]). JC 2n implies DC n .
In particular, Theorem 3 implies the stable equivalence of the Jacobian Conjecture and the Dixmier Conjecture-i.e., the equivalence of conjectures JC ∞ and DC ∞ , where JC ∞ denotes the conjunction corresponding conjectures for all finite n.
Theorem 3 laid the foundation for the research into the Jacobian Conjecture based on the study of the behavior of varieties of endomorphisms and automorphisms of algebras under deformation quantization. The principal reference in this direction is an article by Kanel-Belov and Kontsevich [8]; in it, several conjectures concerning Ind-varieties of automorphisms of the corresponding algebras are formulated. The main Conjecture is called the Kontsevich Conjecture and is as follows.
Conjecture 3 (Kontsevich Conjecture, [8]). Let K = C be the field of complex numbers. The automorphism group Aut W n,C of the n-th Weyl algebra over C is isomorphic to the automorphism group Aut P n,C of the so-called n-th (commutative) Poisson algebra P n,C : Aut W n,C Aut P n,C .
The algebra P n,C is by definition the polynomial algebra C[x 1 , . . . , x n , p 1 . . . , p n ] of 2n variables, equipped with the Poisson bracket-a bilinear operation { , }, which is a Lie bracket satisfying the Leibniz rule and acting on generators of the algebra in the following way: Endomorphisms of the algebra P n are endomorphisms of the algebra of polynomials that preserve the Poisson bracket (which we sometimes call the Poisson structure). Elements of Aut P n,C are called polynomial symplectomorphisms. The choice of name is due to the existence of an (anti-) isomorphism between the group Aut P n,C and the group of polynomial symplectomorphisms of the affine space A 2n . The Kontsevich Conjecture is true for n = 1. The proof of this result is a direct description of automorphism groups Aut P 1,C and Aut W 1,C , contained in the classical works of Jung [4], Van der Kulk [7], Dixmier [22] and Makar-Limanov [5,6]. Namely, consider the following transformation groups: the group G 1 is a semi-direct product SL(2, C) C 2 , whose elements are called special affine transformations and the group G 2 by definition consists of the following "triangular" substitutions: Then the automorphism group of the algebra P 1,C [4] is isomorphic to the quotient group of the free product of the groups G 1 and G 2 by their intersection. Dixmier [22] and, later, Makar-Limanov [5] showed that if in the description above one replaces the commuting Poisson generators with their quantum (Weyl) analogues, one obtains a description of the group of automorphisms of the first Weyl algebra W 1,C .

Remark 1.
The theorems of Jung, van der Kulk, Dixmier and Makar-Limanov also mean that all automorphisms of the polynomial algebra of two variables and the first Weyl algebra W 1 are tame (we provide the definition of the concept of tame automorphism, which plays a significant role in this study, in the sequel). Moreover, Makar-Limanov [6] and A. Czerniakiewicz [25,26] proved that all automorphisms of the free algebra K x, y are tame.
In view of these circumstances, the case of two variables is to be considered exceptional. However, the Jacobian Conjecture is a difficult open problem even in this case.
Recently, Kanel-Belov, together with Elishev and Yu, suggested proof of the general case of the Kontsevich Conjecture [10,27]. Independent proof of a closely related result (based on a study of the properties of holonomic D-modules) was proposed by C. Dodd [28].
In contrast to the Jacobian Conjecture, which is an extremely difficult problem, in the study of the Kontsevich Conjecture, there are several possible approaches. First of all, in [8], Kanel-Belov and Kontsevich formulated several generalizations of Conjecture 3. In [2,3], which is devoted to the proof of Theorem 3, the construction of homomorphisms ϕ : Aut W n,C → Aut P n,C and ϕ : End W n,C → End P n,C involved in the construction, from a counterexample to DC n , of an irreversible endomorphism with a single Jacobian, was presented. A straightforward strengthening of Conjecture 3 is the statement that the homomorphism ϕ realizes the isomorphism of the Kontsevich Conjecture. Moreover, namely, in Chapter 8 of [8], an approach to solve the problem of the lifting of polynomial symplectomorphisms to automorphisms of the Weyl algebra (i.e., constructing a homomorphism inverse to ϕ) was discussed. Conjecture 5 of [8], along with Conjecture 6, which is a weaker form of Conjecture 3, make up the essential contents of the construction proposed in [8]. To solve the problem of the lifting symplectomorphisms in the sense of these conjectures, it is necessary to study the properties of D-modules, (left) modules over the Weyl algebra. The work of Dodd [28] is based on this approach.

Tame Automorphisms and the Kontsevich Conjecture
Dodd's constructions are deep in content and, apparently, prove the Kontsevich Conjecture on the correspondence between Lagrangian varieties and holonomic modules (more precisely, its essential part). On the other hand, starting from the Theorem of Dodd, we cannot immediately arrive at the general case of Conjecture 3. The proof of Conjecture 1 of [8] requires a solution to the lifting problem of symplectomorphisms to automorphisms of the corresponding Weyl algebra.
One of the main results of [8] was the proof of the following homomorphism properties ϕ : Aut W n,C → Aut P n,C constructed in [8] and [3]. First, let ϕ be an automorphism of the polynomial algebra K[x 1 , . . . , x n ]. We call ϕ elementary if it has the form In particular, automorphisms given by linear substitutions of generators are elementary. Denote by TAut K[x 1 , . . . , x n ] the subgroup generated by all elementary automorphisms. Elements of this subgroup are called tame automorphisms of the algebra of polynomials. Non-tame automorphisms are called wild automorphisms.
Tame automorphisms of the algebra P n,K are, by definition, compositions of those tame elementary automorphisms which preserve the Poisson bracket. Tame automorphisms of the Weyl algebra are defined W n,K similarly.
The following theorem is proved in [8].
In particular, due to the tame nature of automorphism groups of Weyl and Poisson algebras for n = 1, the homomorphism ϕ gives an isomorphism of the Kontsevich Conjecture between Aut W 1,C and Aut P 1,C .
It is not known whether all automorphisms of the Poisson and Weyl algebras are tame for n > 1, or even stably tame (an automorphism is called stably tame if it becomes tame after adding dummy variables and extending the action on them by means of the identity automorphism). For the algebra of polynomials in three variables, the Nagata automorphism is wild (the famous result due to I.P. Shestakov and Umirbaev [29,30]).
Nevertheless, tame automorphisms turn out to play a significant role in the context of the Kontsevich Conjecture and the Jacobian Conjecture, due to the following reason. Anick [11] showed that the set of tame automorphisms of the algebra of polynomials K[x 1 , . . . , x n ] (n ≥ 2) is dense in the topology of formal power series in the space J of polynomial endomorphisms with nonzero constant Jacobian. In particular, for any automorphism of a polynomial algebra there exists a sequence of tame automorphisms converging to it in this topology-in other words, Anick's theorem implies the existence of approximations of automorphisms, or approximations by tame automorphisms (and in general, endomorphisms with nonzero constant Jacobian). In view of Anick's theorem, the Jacobian Conjecture can be formulated as a problem of invertibility of limits of sequences of tame automorphisms (this is discussed in the conclusion of [11]). This formulation of the Jacobian Conjecture can be directly generalized to the case of a field of arbitrary characteristic, see more below as well as in [31].
Anick's results, together with Theorem 4, suggest the idea of solving the lifting problem of polynomial symplectomorphisms to automorphisms of the Weyl algebra (an alternative construction to that proposed in [8]). Namely, if there is a symplectic analogue of Anick's theorem-that is, if there is an approximation of polynomial symplectomorphisms by tame symplectomorphisms-then, taking a sequence of tame symplectomorphisms converging to a given point, we can take the sequence of their pre-images under the isomorphism ϕ | TAut and try to prove that its limit exists and is an automorphism of the Weyl algebra. The symplectic analogue of Anick's theorem was proved in [12]. The application of approximation theory to the lifting problem constitutes the main idea of the proof of Conjecture 3 in [27].
However, the direct application of the main result of [12] to the solution of the lifting problem does not achieve the desired result, since the homomorphism ϕ does not preserve the topology of formal power series (due to commutation relations in the Weyl algebra). In this connection, the naive approximation approach needs some modification. It turns out that such a modification is possible (see [27]). The nature of this modification is significant and is connected with the geometric properties of Ind-schemes of automorphisms of the corresponding algebras. Therefore, the study of the geometry of Ind-schemes of automorphisms is justified in the framework of the Kontsevich Conjecture.

Quantization Proof of Bergman's Centralizer Theorem
This section is a relatively independent part of the thesis and only sketches proofs with classical tools, while the following sections will focus on the new proof of Bergman's centralizer theorem.
We demonstrate the direct relationship between Bergman's theorem and Kontsevich's quantization in a classic way. The proof of the theorem has been broken into multiple steps.
A generic matrix is a matrix whose entries are distinct commutative indeterminates and the so-called algebra of generic matrices of order m is generated by associative generic m× matrices. In [32], we use the fact that when we come to the quantization of generic matrices, those matrices are allowed to commute but have no other relations.
It is shown that any two commuting elements in the free associative algebra also commute in some algebras of generic matrices. They also prove that if A is a free-associative algebra, then there is no commutative subalgebra with a transcendent degree greater than or equal to 2 of A. It is seen that two commuting generic matrices f , g with tr.deg( f , g) = 2 do not commute after quantization.
Let X be a set of noncommuting variables, which may or may not be finite and F be a field. Let X * denote the free monoid generated by X. An element of X (resp. X * ) is also called a letter (resp. word) and X is called an alphabet. Let F X and F X denote the F-algebra of formal series and polynomials in X, respectively. So an element of F X is in The following fact is easy to prove.
An interesting consequence of Lemma 5 is the following result: Let a ∈ X . Then, b ∈ C(a; F X ) if and only if a, b are not free, i.e., f (a, b) = 0 for some nonzero series f ∈ F x, y . Lemma 6. Suppose that the constant term of an element a ∈ F X is zero and b, c ∈ C(a; F X ) {0}. If ν(c) ν(b), then c = bd for some d ∈ C(a; F X ).

Centralizer Theorems
With the help of the preceding lemmas, we can state and prove this well known centralizer theorem of k-algebra of formal series by Cohn.
Theorem 5 (Cohn's Centralizer Theorem, [35]). If a ∈ k X is not a constant, then the centralizer C(a; k ] is the algebra of formal power series in the variable x. Now since k X ⊂ K X , it follows from the above theorem that if a ∈ k X is not constant, then C(a; k X ) is commutative because C(a; k X ) is commutative. The next theorem is our main goal which shows that there is a similar result for C(a; k X ).
Theorem 6 (Bergman's Centralizer Theorem, [36]). If a ∈ k X is not constant, then the centralizer C(a; k is the polynomial algebra in one variable x.
We will not fully restate the original proof of Bergman's centralizer theorem since this is not the main idea here. However, we do use a result in his original proof [36] which helps us to finish the proof of the fact that the centralizer is integrally closed. This will be shown in Section 3.4.
First of all, we need to emphasize that the proof of Cohn's centralizer theorem is included in the proof. Here is a sketch of the proof.
For simplicity, we denote by C := C(a; k X ) the centralizer of a which from now on is not a constant. Recall that the centralizer C is also commutative. Moreover, C is finitely generated, as a module over k[a] or as algebra. Then, since k X is a 2-fir (free ideal ring, cf. [36], Lemma 1.5) and the center of a 2-fir is integrally closed, we obtain that the centralizer of a is integrally closed in its field of fractions after using the lifting to k X ⊗ k(x) (where x is a free variable). Then, our aim is to show that C is a polynomial ring over k. In order to obtain this fact, we shall study homomorphisms of C in polynomial rings. By using "infinite" words, we obtained an embedding from C into polynomial rings by lexicographically ordered semigroup algebras, which completes this sketch of the proof. Indeed, any subalgebra not equal to k of a polynomial algebra k[x] that is integrally closed in its own field of fractions is of form k[y] (by Lüroth's theorem).
An analogue of Bergman's centralizer theorem for free group algebras was considered by N. Miasnikov in his very interesting paper (cf. [37]). He proved Theorem 7 ([37]). Suppose that u ∈ A is not supported on a cyclic group. Let C be the centralizer of u. Then, C is the affine coordinate ring of the complement of a k-point in a proper nonsingular curve over k.
We finally restate a conjecture by Miasnikov [37] as follows: Conjecture 4. Does every finitely generated subalgebra R = k of a free group algebra A over k admit a k-algebra homomorphism f : R → k[t, t −1 ] into the ring of Laurent polynomials of a single variable k[t, t −1 ] ∼ = k[Z] which is nontrivial in the sense that f (R) = k?
We conclude this section by pointing out that the method of "infinite" words inspires us to find a possibility to prove Bergman's centralizer theorem by deformation quantization. In the next section, we will establish this new approach of quantization for generic matrices.

Reduction to Generic Matrix
In this section, we will establish an important theorem that gives a relation between commutative subalgebras in free associative algebra and the algebra of generic matrices. Let k X be the free associative algebra over a field k generated by a finite set X = {x 1 , . . . , x s } of s indeterminates and let k X 1 , . . . , X s be the algebra of n × n generic matrices generated by the matrices X ν . The canonical homomorphism π : k x 1 , . . . , x s → k X 1 , . . . , X s is shown in the last section.
We claim that if we have a commutative subalgebra of rank two in the free associative algebra k X , then we also have a commutative subalgebra of rank two if we consider a reduction to generic matrices of big enough order n. We call two elements of a free algebra algebraically independent if the subalgebra generated by these two elements is a free algebra of rank two. Otherwise, we will call them algebraically dependent.
In other words, if we have a commutative subalgebra k[ f , g] of rank two in the free associative algebra, then we have to prove that its projection to generic matrices of some order also has rank two; i.e., π( f ), π(g) do not have any relations.
We need the following theorem: ). Let k X be the free associative algebra over a field k generated by a finite set X of indeterminates. If k X has a commutative subalgebra with two algebraically independent generators f , g ∈ k X , then the subalgebra of n by n generic matrices generated by reduction of f and g in k X 1 , . . . , X s also has rank two for big enough n.
Recall that the centralizer C := C(a; k X ) of a ∈ k X \ k is a commutative subalgebra of k X . So from the above theorem, we conclude that if the centralizer is a subalgebra in k X of rank two then the π-image subalgebra of C has also rank two.
However, we prefer discussing this general case of subalgebras instead of just considering a centralizer subalgebra. Furthermore, we want to prove that there are no commutative subalgebras of the free associative algebra k X of rank greater than or equal to two.

Quantization Proof of Rank One
By the opinion of most specialists, including E. Rips, there are no new proofs of Bergman's centralizer theorem [36] for almost fifty years. We use a method of deformation quantization presented by Kontsevich to give an alternative proof of Bergman's centralizer theorem. In this section, we get that the centralizer is a commutative domain of transcendence degree one (see [32]).
Let k X be the free associative algebra over a field k generated by s free variables X = {x 1 , . . . , x s }. Now, we concentrate our proof on the fact that there are no commutative subalgebras of rank greater than or equal to two. From the homomorphism π : k x 1 , . . . , x s → k X 1 , . . . , X s and Theorem 8, we change our objective from the elements of k X to the algebra of generic matrices k X 1 , . . . , X s and we consider the quantization of this algebra and its subalgebras.
Let A, B be two commuting generic matrices in k X 1 , . . . , X s which are algebraically independent, i.e., rank k A, B = 2. We have the following theorem. Theorem 9 ([32,38]). Let A, B be two commuting generic matrices in k X 1 , . . . , X s with rank k A, B = 2 and letÂ andB be quantized images (by sending multiplications to star products by means of Kontsevich's formal quantization) of A and B, respectively, by considering lifting A and B in k X 1 , . . . , X s [[h]]. Then,Â andB do not commute. Moreover, where λ i and µ i are eigenvalues(weights) of A and B, respectively.
To prove this theorem, we need some preparation. It is not easy to directly compute two such generic matrices with order n. However, if we can diagonalize those matrices, then the computation will be easier. So first of all, we should show the possibilities. Without loss of generality, we may assume that one of the generic matrices B is diagonal if we have a proper choice of basis of the algebra of generic matrices. Now consider the other generic matrix A which we mentioned above.

Remark 4.
Any non-scalar element A of the algebra of generic matrices must have distinct eigenvalues. In fact, by Amitsur's Theorem [39], the algebra of generic matrices is a domain. If the minimal polynomial is not a central polynomial, then the algebra can be embedded in a skew field. Hence, the minimal polynomial is irreducible and the eigenvalues are pairwise different. Let us conclude this section by explaining the whole process of this proof. Recall that we have the free associative algebra k X over a field k; if we have a commutative subalgebra of rank two generated by a, b ∈ k X , then we may have a commutative subalgebra of the algebra of generic matrices k X 1 , . . . , X s of rank two generated by A, B (they are images of a homomorphism π : k X → k X 1 , . . . , X s ). Consider the element 0 = [a, b] of the free associative algebra k X , homomorphism π and canonical quantization homomorphism q sending multiplications to star products. Then, we obtain that This leads to a contradiction to Theorem 9 which shows that [Â,B] = 0. So we obtain the following result.

Theorem 10.
There are no commutative subalgebras of rank ≥ 2 in the free associative algebra k X .
The centralizer ring is commutative from our discussion in Section 3.1 and from the above theorem, it is of rank 1. So it is a commutative subalgebra with form k[x] for some x ∈ k X \ k. We will show it implies Bergman's centralizer Theorem 6 in the next section.

Centralizers Are Integrally Closed
We have shown that the centralizer C is a commutative domain of transcendence degree one. For us, it was the most interesting part of the proof of Bergman's centralizer theorem. However, we have to prove the fact that C is integrally closed in order to complete the proof of Bergman's Centralizer Theorem. We showed above that centralizers are commutative domains of transcendence degree one over the ground field of characteristic zero.
However, in this section, our proofs are characteristic-free instead of the deep noncommutative divisibility theorems of Cohn and Bergman.
In our proof, despite the deep noncommutative divisibility theorems of Cohn and Bergman, the method which we use is characteristic-free. We use generic matrices reduction, invariant theory for characteristic zero by C. Procesi [40][41][42] and for positive characteristic due to A. N. Zubkov [43,44] and S. Donkin [45,46].
By transferring centralizers of non-scalar elements in the free associative algebra onto the algebra of generic matrices, we first consider the localization of the algebra of generic matrices. Theorem 11 ([47]). The algebra of generic matrices is a domain. Its localization as a skew field coincides with the localization of algebra of generic matrices with traces (for positive characteristicwith forms).
We then prove the integrally closedness of the algebra of generic matrices. Theorem 12 ([47]). The algebra of generic matrices with characteristic coefficients is integrally closed.

Proof of Bergman's Centralizer Theorem
Now we can sketch out the proof of Bergman's centralizer theorem. Consider the homomorphism from the following Proposition given by Bergman.
Proposition 2 (Bergman, [36]). For C = K, a finitely generated subalgebra of K X , there is a homomorphism f of C into the polynomial algebra over K in one variable, such that f (C) = K.
Because C is the centralizer of K X , it has transcendence degree 1. Consider the homomorphism ρ which sends C to the ring of polynomials. The homomorphism has kernel zero; otherwise, ρ(C) will have a smaller transcendence degree. Note that C is integrally closed and finitely generated; therefore, it can be embedded into the polynomial ring in one indeterminate. Since C is integrally closed, it is isomorphic to the polynomial ring of one indeterminate.
Consider the set of system of C , -generated subring of C such that C = ∪ C . Let C be the integral closure of C . Consider the set of embedding of C to ring of polynomial; then, C are integral closure of those images, i.e., C = K[z ], where z belongs to the integral closure of C . Consider the sequence of z . Because K[z ] ⊆ K[z +1 ] and degree of z +1 is strictly less than the degree of z , this sequence stabilizes for some element x and it shows that K[z] is the needed centralizer.

Noncommutative Białynicki-Birula Theorem
The study of algebraic group actions on varieties and coordinate algebras is a major area of research in algebraic geometry and ring theory. The subject has its connections with the theory of polynomial mappings, tame and wild automorphisms and the Jacobian Conjecture of O.-H. Keller, infinite-dimensional varieties according to Shafarevich, the cancellation problem (together with various cancellation-type problems) and the theory of locally nilpotent derivations, among other topics. One of the central problems in the theory of algebraic group actions has been the linearization problem, formulated and studied in the work of T. Kambayashi and P. Russell [48], which states that any algebraic torus action on an affine space is always linear with respect to some coordinate system. The linearization conjecture was inspired by the classical and well known result of A. Bialynicki-Birula; it states that every effective regular torus action of maximal dimension on the affine space over an algebraically closed field is linearizable. Although the linearization conjecture has turned out negative in its full generality, according to, among other results, the positive-characteristic counterexamples of T. Asanuma, the Bialynicki-Birula has remained an important milestone of the theory thanks to its connection to the theory of polynomial automorphisms. Recent progress in the latter area has stimulated the search for various noncommutative analogues of the Bialynicki-Birula theorem. In [49], we obtain the linearization theorem for effective maximal torus actions by automorphisms of the free associative algebra, which is the free analogue of the Bialynicki-Birula theorem. This statement is the free algebra analogue of a classical theorem of A. Białynicki-Birula.

Actions of Algebraic Tori
In [49], we consider algebraic torus actions on the affine space, according to Białynicki-Birula and formulate certain noncommutative generalizations.
We begin by recalling a few basic definitions. Let K be an algebraically closed field.

Definition 1.
An algebraic group is a variety G equipped with the structure of a group, such that the multiplication map m : G × G → G : (g 1 , g 2 ) → g 1 g 2 and the inverse map ι : G → G : g → g −1 are morphisms of varieties.

Definition 2.
A G-variety is a variety equipped with an action of the algebraic group G, which is also a morphism of varieties. We then say that α is an algebraic G-action.
Let K be our ground field, which is assumed to be algebraically closed. Let Z = {z 1 , z 2 , . . .} = {z i : i ∈ I} be a finite or a countable set of variables (where I = {1, 2, . . .} is an index set), and let Z * denote the free semigroup generated by Z, Z + = Z * \{1}. Moreover, let F I (K) = K Z be the free-associative K-algebra and F I (K) = K Z be the algebra of formal power series in free variables.
Denote by W = Z the free monoid of words over the alphabet Z (with 1 as the empty word) such that |W | 1, for |W | the length of the word W ∈ Z + .
For an alphabet Z, the free-associative K-algebra on Z is where the multiplication is K-bilinear extension of the concatenation on words, Z * denotes the free monoid on Z and KW denotes the free K-module on one element, the word W. Any element of K Z can thus be written uniquely in the form where the coefficients a i 1 ,i 2 ,...,i k are elements of the field K and all but finitely many of these elements are zero. In our context, the alphabet Z is the same as the set of algebra generators; therefore, the terms "monomial" and "word" will be used interchangeably.
In the sequel, we employ a (slightly ambiguous) short-hand notation for a free algebra monomial. For an element z, its powers are defined as usual. Any monomial z i 1 z i 2 . . . z i k can then be written in a reduced form with subwords zz . . . z replaced by powers.
We then write where by I we mean an assignment of i k to j k in the word z I . Sometimes we refer to I as a multi-index, although the term is not entirely accurate. If I is such a multi-index, its absolute value |I| is defined as the sum i 1 + · · · + i k . For a field K, let K × = K\{0} denote the multiplicative group of its non-zero elements viewed as an algebraic K-group.
It is usually denoted by G m and is the affine algebraic group Spec(K[t, t −1 ]). An n-dimensional algebraic torus over K is an algebraic group T n isomorphic to a finite direct product K × × . . . × K × which is a type of commutative affine algebraic group. Definition 3. An n-dimensional algebraic K-torus is a group T n (K × ) n (with obvious multiplication).
Denote by A n the affine space of dimension n over K.

Definition 4. A (left) torus action is a morphism
that fulfills the usual axioms (identity and compatibility): An action σ is effective if for every t = 1 there is an element x ∈ A n such that σ(t, x) = x.
Let us first restrict ourselves to the situation in which an r-dimensional torus T r = (G m ) r (F * ) r acts on an affine n-space A n := SpecF[x 1 , · · · , x n ], where F[x 1 , · · · , x n ] = F [n] is an n-variable polynomial ring over F. Since the quotient of a torus by any subgroup is again a torus, we may assume that T r acts effectively, i.e., that no proper subgroup of T r acts neutrally on A n .

Theorem 13 ([50]
). Any regular action of T n on A n has a fixed point.

Theorem 14 ([51]
). Any effective and regular action of T n on A n is a representation in some coordinate system.

Theorem 15 ([51]
). The action of T r on A n is linearizable in the cases of r = n or r = n − 1, which means that one can find isobaric elements y 1 , · · · , y n in F [n] = F[x 1 , · · · , x n ] such that F [n] = F[y 1 , · · · , y n ].
The term "regular" is to be understood here as in the algebro-geometric context of regular function (Białynicki-Birula also considered birational actions). The last theorem says that any effective regular maximal torus action on the affine space is conjugate to a linear action, or, as it is sometimes called, linearizable.
An algebraic group action on A n is the same as an action by automorphisms on the algebra K[x 1 , . . . , x n ] of global sections. In other words, it is a homomorphism σ : T n → Aut K[x 1 , . . . , x n ].
The polynomial algebra is a quotient of the free associative algebra F n = K z 1 , . . . , z n by the commutator ideal I (it is the two-sided ideal generated by all elements of the form f g − g f ). From the standpoint of noncommutative geometry, the algebra Γ(X, O X ) of global sections (along with the category of f.g. projective modules) contains all the relevant topological data of X and various non-commutative algebras (PI-algebras included) may be thought of as global function algebras over "noncommutative spaces". Therefore, a noncommutative analogue of the Białynicki-Birula theorem is a subject of legitimate interest.
In [49] we establish the free algebra version of the Białynicki-Birula theorem. The latter is formulated as follows.
Theorem 16. Suppose given an action σ of the algebraic n-torus T n on the free algebra F n . If σ is effective, then it is linearizable.
The linearization problem, as it has become known since Kambayashi, asks whether all (effective, regular) actions of a given type of algebraic group on the affine space of a given dimension are conjugate to representations. According to Theorem 16, the linearization problem extends to the noncommutative category. Several known results concerning the (commutative) linearization problem are summarized below.

5.
If the ground field is not algebraically closed, then a torus action on A n need not be linearizable. In [54], Asanuma proved that over any field K, if there exists a non-rectifiable closed embedding from A m into A n , then there exist non-linearizable effective actions of (K × ) r on A n+m+1 for 1 r 1 + m.

6.
When K is infinite and has a positive characteristic, there are examples of nonlinearizable torus actions on A n (Asanuma [54]).

Remark 6.
A closed embedding ι : A m → A n is said to be rectifiable if it is conjugate to a linear embedding by an automorphism of A n .
As can be inferred from the review above, the context of the linearization problem is rather broad, even in the case of torus actions. The regulating parameters are the dimensions of the torus and the affine space. This situation is due to the fact that the general form of the linearization conjecture (i.e., the conjecture that states that any effective regular torus action on any affine space is linearizable) has a negative answer.
Transition to the noncommutative geometry presents the inquirer with an even broader context: one now may vary the dimensions as well as impose restrictions on the action in the form of preservation of the PI identities. Caution is well advised. Some of the results are generalized in a straightforward manner-the main theorem of this paper being the typical example, others requiring more subtlety and effort. Of some note to us, given our ongoing work in deformation quantization (see, for instance, [12]), is the following instance of the linearization problem, which we formulate as a conjecture.

Conjecture 5.
For n 1, let P n denote the commutative Poisson algebra, i.e., the polynomial K[z 1 , . . . , z 2n ] equipped with the Poisson bracket defined by {z i , z j } = δ i,n+j − δ i+n,j . Then, any effective regular action of T n by automorphisms of P n is linearizable.
It is interesting to note that the context of Conjecture 1 admits a vague analogy in the real transcendental category (with P n replaced by an appropriate algebra of smooth functions, cf., for instance, the work of Zung [55]). Although the instances of the linearization problem we consider in [49], as well as the original theorem of Białynicki-Birula, are essential for the complex algebraic nature, it may be worthwhile to search for analytic analogues of the real transcendental linearization (however, whether this will give a feasible approach to Conjecture 5 is unclear, the hurdles being significant and fairly obvious).

Non-Linearizable Torus Actions and Problems
The noncommutative toric action linearization theorem that we have proved has several useful applications. In reference [31], it is used to investigate the properties of the group Aut F n of automorphisms of the free algebra. As a corollary of Theorem 16, one gets Corollary 7. Let θ denote the standard action of T n on K[x 1 , . . . , x n ]-i.e., the action θ t : (x 1 , . . . , x n ) → (t 1 x 1 , . . . , t n x n ).
Letθ denote its lifting to an action on the free associative algebra F n . Thenθ is also given by the standard torus action.
This statement plays a part, along with a number of results concerning the induced formal power series topology on Aut F n , in the establishment of the following proposition (cf. [31]). Proposition 3. When n ≥ 3, any Ind-scheme automorphism ϕ of Aut(K x 1 , . . . , x n ) is inner.
One could try and generalize the free algebra version of Białynicki-Birula's theorem to other noncommutative situations. Another method of generalization lies in changing the dimension of the torus. It is nonetheless possible that the free analogue of the main result of [51] exists. We have then the following conjecture.

Conjecture 6.
Any effective regular action of T n−1 on the free algebra F n (F) is linearizable, provided that F is algebraically closed.
According to the above results, we are now able to state and prove one of our main results: Theorem 17 ([56]). Let F be algebraically closed. Any effective regular action of (the onedimensional torus) F * on the free algebra F z 1 , z 2 is linearizable.
Next, we consider positive-root torus actions and prove the linearity property analogous to the Białynicki-Birula theorem. Theorem 18 ([56]). Any effective positive-root action of T r on F[x 1 , . . . , x n ] is linearizable.
In order to prove the free-associative version of this theorem, we devise a way to reduce the positive-root case to the commutative one. To that end, we introduce the generic matrices and induce the action on the rings of coefficients.
More precisely, we have the following.
Theorem 19 ([56]). Let σ : T r × F n → F n be a regular torus action with positive roots. Then, it is linearizable.
Next, we study non-linearizable torus actions. The examples of non-linearizable torus actions, as well as a way to study them, were developed by Asanuma [54]. It is not difficult to observe that most of Asanuma's techniques can be carried to the free-associative case without loss of generality. As in Asanuma's case, the existence of non-linearizable torus actions is tied to the existence of so-called non-rectifiable ideals in the appropriate algebras. One rather remarkable feature of Asanuma's technique is the fact that modulo minor details and replacements may be repeated almost verbatim in the associative category-a situation similar to the one we have observed in the Białynicki-Birula theorem concerning the action of the maximal torus. The main problem of interest is the free-associative analogue of the so-called Cancellation Conjecture, as formulated by V. Drensky and Yu [57]: Asanuma's results on the Rees algebras allow us to establish a version of the Cancellation Conjecture for co-products over a (commutative) F-algebra D. The following statement holds. Theorem 20 ([56]). Let D be an integral domain which is a F-algebra and let x be an indeterminate over D. Assume a non-zero element t ∈ D and monic polynomials f (x) and g(x) in F[x] of degree greater than 1.
where the product R * D S is the quotient of the free product R * S over F by the ideal generated by all elements of the form r * (ds) − d(r * s).
We have the following conjectures: One notable example is that we expect the free-associative analogue of the second Białynicki-Birula theorem to hold and formulate it here as a conjecture.

Conjecture 8. Any effective action of T n−1 on F n is linearizable.
Also of independent interest is the following instance of the linearity problem.

Conjecture 9.
For n ≥ 1, let P n denote the commutative Poisson algebra, i.e., the polynomial algebra F[z 1 , . . . , z 2n ] equipped with the Poisson bracket defined by Then, any effective regular action of T n by automorphisms of P n is linearizable.
This problem is loosely analogous to the Białynicki-Birula theorem, in the sense of maximality of torus with respect to the dimension of the configurations space (spanned by x i ).
On the other hand, there is little reason to expect this statement to hold with further lowering of the torus dimension. In fact, even in the commutative case the conjecture that any effective toric action is linearizable, in spite of considerable effort (see [48]), proved negative (counterexamples in positive characteristic due to Asanuma [54]).
Another direction would be to replace T by an arbitrary reductive algebraic group; however, the commutative case also does not hold even in characteristic zero (cf. [58]).
It is also a problem of legitimate interest to obtain the proof of Conjecture 5-i.e., to resolve the linearization problem of the regular action of the n-dimensional torus on the group Sympl(k 2n ) of polynomial symplectomorphisms of the 2n-dimensional affine space (k is a field of characteristic zero). One could hope to utilize the latter result in order to obtain a description of the space of Ind-scheme automorphisms of Sympl(k 2n ) along the lines of [31]. This space plays a prominent role in the study of quantization of symplectomorphisms, initiated by Kanel-Belov and Kontsevich [8], where the characteristic zero isomorphisms between the group of automorphisms of the n-th Poisson and Weyl algebras has been posed as the main conjecture (Kontsevich Conjecture). Recently, the first, the second and the fourth named authors have proposed a proof of this conjecture [10,27].

Feigin's Conjecture and the Lattice W-Algebras
Feigin's homomorphisms were born in Feigin's new formulation of quantum Gelfand-Kirillov Conjecture, which came into public view at RIMS in 1992 for the nilpotent part U q (n), and are now known as "Feigin's Conjecture" [59].
In the mentioned talk, Feigin proposed the existence of a family of homomorphisms from a quantized enveloping algebra to rings of skew-polynomials. These homomorphisms are becoming very useful tools for studying the fraction field of quantized enveloping algebra.

Feigin's Homomorphisms on U q (n)
Here, we will attempt to succinctly explain what Feigin's homomorphisms are and how they will help us arrive at and demonstrate that the screening operators in quantum Serre relations are satisfactory.
Let C be an arbitrary symmetrizable Cartan matrix of rank r and n = n + the standard maximal nilpotent sub-algebra in the Kac-Moody algebra associated with C (thus, n is generated by the elements e 1 , . . . , e r , satisfying the Serre relations). As usual, U q (n) will be considered the quantized enveloping algebra of n. A = (A ij ) = (d i c ij ) will be assumed the symmetric matrix corresponding to C for non-zero relatively prime integers d 1 , . . . , d n such that d i a ij = d j a ji for all i, j. Set g as the Kac-Moody Lie algebra attached to A, on generators For root lattice Λ, let A 1 and A 2 be Λ-graded associative algebras and define a qtwisted tensor product as the algebra A 1⊗ A 2 isomorphic with A 1 ⊗ A 2 as a linear space with multiplication given by (a 1 ⊗ a 2 ) · (a 1 ⊗ a 2 ) := q α 1 ,α 2 a 1 a 1 ⊗ a 2 a 2 , where α 1 = deg(a 1 ) and α 2 = deg(a 2 ) and invariant bilinear form , : Λ × Λ → Z defined by α i , α j = d i a ij . By this definition A 1⊗ A 2 become a Λ-graded algebra.

Proposition 4 ([60]
). Let g be an arbitrary Kac-Moody algebra; then, the map for 1 i n, is a homomorphism of associative algebras.

Remark 1 ([60]).
There are no such maps as U ± q (g) → U ± q (g)⊗U ± q (g) in the case where g is an associative algebra.
As always, after defining a co-multiplication∆, we extend it by an iteration on the sequence of maps as follows [61] determined by∆ 2 =∆,∆ n = (∆ ⊗ id) •∆ n−1 . Now, let C[X i ] be the ring of polynomials in one variable. Then, by equipping it with the grading structure degX i = α i for any simple root α i , we can regard it as a Λ-graded.
By this grading, there will be a morphism of Λ-graded associative algebras By following this construction for any sequence of simple roots β i 1 , . . . , β i k , there will be a morphism of Λ-graded associative algebras (here, the reason for double indexation is the appearance of i j s more than once in the sequence). Finally, C[X 1i 1 ]⊗ · · ·⊗C[X ki k ] is an algebra of skew polynomials C[X 1i 1 , . . . , X ki k ], with Λ-grading X si s X ti t = q α is ,α i t X ti t X si s , for s > t. However, let us simplify it as X i X j = q degX i ,degX j X j X i , which we will use after now more frequently. So, very briefly, we constructed the family of Feigin's homomorphisms from U − q (g) (the maximal nilpotent sub-algebra of a quantum group associated with an arbitrary Kac-Moody algebra [62]) to the algebra of skew polynomials and now we can continue to our construction.

The Quantum Serre Relations and the Screening Operators
Here in this subsection, we will rediscover the relation between the screening operators and the quantum Serre relations. Theorem 21 ([63]). Let Q = q 2 and points x 1 , · · · , x n such that x i x j = Qx j x i for i < j. Set Σ x = x 1 + · · · + x n . If Q N = 1 and x N i = 0 for some natural number N; then, we claim that (Σ x ) N = 0. This is straightforward; it just requires the use of q-calculation.
Theorem 22 ([63]). Suppose we have two different types of points x i , namely, (x 2i−1 ) i , which we will call of type 1 and (x 2i ) i , of type 2 for i ∈ I = {1, 2} and the following q-commutative relations: x j x j = q 2 x j x j if j < j and j, j ∈ {1, 3} and j = j Set Σ x 1 = Σ i∈I x 2i+1 and Σ x 2 = Σ i∈I x 2i . We will call these sums screening operators. Then Σ x 1 and Σ x 2 satisfy quantum Serre relations: This is also straightforward; it just requires the use of q-calculation. The following theorem can be proved by induction on k.

Lattice Virasoro Algebra
In this section we are interested in solutions Σ 1 x of the system of difference equation which will be a generator of the lattice Virasoro algebra and if that happens then we can extend it to another generator by using the following shift operators: for Σ 1 x = Σ 1 x (x 1 , x 2 , · · · , x k ).

Lattice Virasoro Algebra Associated with sl 2
Here, as always, we have the q-commutation relation X i X j = qX j X i , i < j between the points in sl 2 . Let us try to find three-point invariants. What this means is that we need to solve the following system of difference equations: One can easily find the trivial solutions to the second equation as follows: However, as is clear, none of the above solutions have zero grading. So we need to find another solution.
By just continuing to look at them for a while, we can see that by multiplying these kinds of solutions, one can find a zero grading expression, but there is a problem that does not satisfy the other two ones in the above set of relations.
Again, we note that for a solution, its inverse is again a solution, so by this remark, the option which we have is to inverse Σ 11 x or Σ 12 x and then multiply it with the other one. Which will result in the same set of generators except in the first case (inverse of Σ 11 x ). Hence, we have that the lattice Virasoro algebra in the first case will be generated by elements of the form Σ i x = X i X −1 i+1 X i+2 (X i + X i+1 + X i+2 ) −1 and in the second case (inverse of Σ 12 x ) will be generated by elements of the form . Noting that our working space is closed under multiplication, these new recently found generators are the trivial solutions for our system of difference equations. By using the shift operators (7), we will obtain the set of generators for our lattice Virasoro algebra associated with sl 2 . Now, the claim is that the following generators are the solutions of the above set of the system of difference equations and hence generate the lattice Virasoro algebra coming from the two-dimensional representation of sl 2 .

Lemma 8 ([63]
). The following equations satisfy: Then, by using the shift operators (7), we will have the set of all generators.

Generators of Lattice Virasoro Algebra Coming from 3 and 4-Dimensional Representation of sl 2
Let us suppose the following three-dimensional representation of sl 2 . The process of defining this representation is the same as the two-dimensional one. Define: In what comes, for a detailed discussion on the method of construction, we refer the interested reader to [63].
It is clear that the following generator, which we call ρ 1,5 , satisfies the system of difference equation in Section 6.1 associated with the above representation.
This is a four-point generator (invariant) of lattice Virasoro algebra, but due to its complexity we are less interested in it and we still have to look for the simplest one of type ABCD (it is good to remark that the type ABCD consists of four different parts and it is just restricted to this paper and it does not exist in the literature related to lattice W-algebras). So let us define another such generator as proposed and experienced before. For this reason, we propose the following lemma and interested readers are encouraged to review [63] for more details on how to construct these kinds of generators. Lemma 9. The claim is that should give us the desired four-point invariant for the lattice Virasoro algebra. ρ 1,4,5 has degree zero.
Now, to find five-point invariants, we need to consider another representation. For this reason, suppose the following representation of sl 2 . Define: for U + as before.

Claim 1.
Then the claim is that should give us the desired five-point invariant for the lattice Virasoro algebra. ρ 1,5,6 has degree zero.

Conclusions
The four-point invariant that comes from the three-dimensional representation of sl 2 is: The five-point invariant that comes from the four-dimensional representation of sl 2 is: We have the following n-point invariant that comes from the n-dimensional representation.
We call these kinds of generators, which are the only nontrivial ones:

Generators of type "ABCD"
These (new lattice) algebras are so important and may in principle lead to a new integrable chain equation that people can hardly provide.

Weak Faddeev-Takhtajan-Volkov Algebras; Lattice W n Algebras
This section is based on the paper [64]. As mentioned at the beginning of Section 5, there is an old problem that was considered and introduced by Boris Feigin in 1992. It was born in its new formulation, concerning quantum Gelfand-Kirillov Conjecture, in a public talk at RIMS in 1992 based on the nilpotent part of U q (g), i.e., U q (n) for g-a simple Lie algebra-and now this problem is known as "Feigin's Conjecture" [59].
In the mentioned talk, Feigin proposed the existence of a certain family of homomorphisms on the quantized enveloping algebra U q (g), which will lead us to a definition of lattice W-algebras.
These "homomorphisms" have been turned into a very useful tool for studying the fraction field of quantized enveloping algebras.
There have been many attempts to construct lattice W-algebras in Feigin's sense, which ensures the simplicity of the construction process of lattice W-algebra. For example, the best-known articles on the subject have been written by Kazuhiro Hikami and Rei Inoue, who tried to obtain the algebra structure by using lax operators and generalized R-matrices [65,66], or Alexander Belov and Alexander Antonov and Karen Chaltikian, who first tried to follow Feigin's construction but finally also solved part of the conjecture by getting the help of lax operators and because of its construction, that made it very difficult to follow their publication [67,68].
However, here, in [64], we proceeded and introduced the simplest way of constructing such kinds of algebras by just employing Feigin's homomorphisms and screening operators by defining a Poisson bracket on our variables just based on our Cartan matrix [63,69].
We have to note that in [69], Yaroslav Pugai constructed lattice W 3 algebras already, but here we will introduce its weaker version based on our newly defined Poisson bracket, constructed just based on the Cartan matrix A n , which will make our job easier and more elegant.
As before, to do this, let us set C as an arbitrary symmetrizable Cartan matrix of rank r and let n = n + be the standard maximal nilpotent sub-algebra of the Kac-Moody algebra associated with C. So n is generated by elements e 1 , . . . , e r which satisfy Serre relations [59], where r stands for rank(C).
In Section 5.1, we proved that screening operators S X ji and for α i , α j = a ij the ij's components of our Cartan matrix C satisfy quantum Serre relations ad q (X i ) 1−a ij (X j ).
Here again, as in Section 5.1, we can define and for C q [X] the quantum polynomial ring in one variable and twisted tensor product⊗, we can define such that we have the following embedding where C q [X  [63]. Which will ensure the well definedness of our definition of lattice W-algebras.

Weak Faddeev-Takhtajan-Volkov Algebras
In 1985, the first example of W 3 algebras was introduced by Alexander Zamolodchikov in the investigation of the possibility of the existence of new additional infinite symmetries in the context of two-dimensional Conformal Field Theory [70] and as the possible extension of Virasoro algebra.
Vladimir Fateev and Zamolodchikov [71] found the bosonic representation for W 3 algebras and noted some connection with sl 3 Lie algebra. In a series of articles [72][73][74], Fateev and Lukyanov have shown that there exist W-algebras associated with every simple Lie algebra and found the bosonic representation of generators in W-algebras. They discovered that free bosonic representation of W-algebras is given by quantum Miura transformation, a classical analogue of which was well known in the theory of integrable non-linear evaluation of Korteweg-de Vries type [75]. In the spirit of reference [76], Virasoro algebra should commute (in the Feigin-Fuchs representation) with screening operators. As a matter of fact, this property was given in the works [70,74,77] as the main mathematical background of such a definition of W-algebras was developed in references [77][78][79], where it was shown that W-algebras are the result of quantum Drinfeld-Sokolov reduction of K-M. algebras. It has been shown that screening operators satisfy the quantum Serre relation, i.e., they constitute the nilpotent part of quantum groups. So mathematically speaking we have W InvU q (n + ), (11) where g = n + ⊕ h ⊕ n − is the Lie algebra associated with W-algebra. In our work, we describe some variant of lattice analogue of W-algebras, given by Definition 11. The first example of classical lattice W 2 algebra (lattice Virasoro algebra) was found by Faddeev and Takhtajan in reference [80] in their study of the Liouville model on the lattice. The Quantum analogue of Faddeev-Takhtajan algebra was obtained by Volkov in 1992. Boris L. Feigin noticed that the lattice "bosonization" rule for Virasoro algebra can be obtained from the solution of some kind of difference equations in one unknown f with non-commutative coefficients composed of functions of n independent variables x 1 , x 2 , · · · , x n which do not contain the unknown function f . At the time of publishing the work by Yaroslav Pugai [69], no one knew any way to solve similar equations for W-algebras associated with other simple Lie algebras, but in [63,64] we have shown concerning the examples how the classical limit consideration can help in finding the right solution. To do this, we defined a new Poisson bracket based on the Cartan matrix A n of sl n . For example, in the case of sl 2 , we define our Poisson bracket as in the following process. As mentioned already in Section 5.2, the main tools which we will use are difference equations, screening operators, Feigin's homomorphisms, adjoint actions, partial differential equations and Cartan matrices.
We know that from an abstract view g = sl m+1 is an algebra related to the Cartan and so for sl 2 it will consist of just one row and one column, i.e., we have A 1 = (2) and let us denote by C X the skew polynomial ring on generators X = (X i ) i labeled by i ∈ {−∞, · · · − 1, 0, 1, · · · , +∞} and the defining q-commutation relations X i X j = q 2 X j X i for if i ≤ j all with the same color.

Definition 6.
Let us define our Poisson bracket as follows in the case of sl 2 : The main problem is to find solutions to the system of difference equations from an infinite number of non-commutative variables in the quantum case and commutative variables in the classical case. It is significant that commutation relations (12) depend just on the sign of the difference (i − j) and are based on our Cartan matrix. We should try to find all solutions to the system: Let us equip this system of variables with lexicographic ordering, i.e., j k m i < j k n i if j k m < j k n and ji k m < ji k n if i k m < i k n . We need this kind of order because we have different kinds of sets of variables with proper coloring such that each set has its own color different from its neighbors. We have τ 1 := τ 1 [· · · , X 1 , X 1 , X 2 , · · · ], a multi-variable function dependent on {X (ji) i }'s for i, j ∈ {−∞, · · · , 1, · · · , n, · · · , +∞} and D (n) where α i , α j = a ij which is related to our Cartan matrix and S X ji i is the screening operator on one of our variable sets, i.e., S X ji i = ∑ j∈Z X ji i . Then, we will obtain the whole set of solutions by using the following shift operator: . . .

Definition 7.
Let us define our lattice W-algebra based on its generators according to [63,69]. Generators of lattice W-algebra associated with simple Lie algebra g constitute the functional basis of the space of invariants with additional requirements where H X ji i and D X ji i will be specified later.
Equation (15) means that the generators have to satisfy quantum Serre relations and the first equation in (17) means that they should have zero degrees.
Here in this paper, we work on the case where g = sl n and we use τ (n) i instead of τ i , where (n) stands for n in sl n .

Lattice W 2 Algebra
Let us first consider the sl 2 case and to simplify the notations, let us consider our set of variables as X i := X ji i . As shown in [63], it is enough just to work with S X ji i =: because the other parts for i > 3 and i < 1 will tend to zero. By setting q = e −h , for the Planck constant h, we will try to find generators of our lattice W 2 -algebra in the case of sl 2 .
-First step: find D X . To do this and for simplicity, we will skip details here in this review paper and will refer the interested reader to [64]. We have -Second step: find H After doing some calculations in Mathematica it becomes clear that system (20) has only one functional dependent nontrivial solution: Again, as before, (2) goes back to 2 in sl 2 and 1 is a default index that will be used later to employ the shifting operator. According to the number of variables, we will have two shifts and then everything will be in a loop. So here in the sl 2 case we have three solutions for our system of linear equations (20) which belong to the fraction ring of polynomial functions: So we have It is enough to find our brackets just based on the first generator because after that we are able to find other brackets based on the other generators; so for τ (2) 3 in almost the same process, we have: We have to note that we are almost done with our Poisson algebra in the sl 2 case, but for further plans, i.e., to find our Volterra system, the differential-difference chain of non-linear equations where Γ i stands for τ 1 ,τ i τ 1 τ i [69], we have to write down the brackets {τ 1 , τ i } in terms of their decompositions to τ j 's for 1 ≤ j ≤ i. So we need to write it as the decomposition of our generators and this will be done by using the Mathematica coding which is presented in Appendix A [64] (please see the extended version of these results in [64]).
The result is as follows: 2 )(−1 + τ This result is weaker than the Faddeev-Takhtajan-Volkov algebra which was mentioned in [69] and if we continue this for sl 3 , then we will again have a weaker version of what was mentioned in [69].

Lattice W 3 Algebra
In this case, we will use the following defined Poisson bracket based on the Cartan Instead of (12), we have the following q−commutation relations We obtain the following equations in the same manner as in sl 2 : Therefore as in (20) we have the following system of PDEs In accordance with appendix A (please see the extended version of these results in [64]), we have the following functional dependent nontrivial solution for the whole system of PDEs (30) Again, as before, (3) goes back to 3 in sl 3 and 1 is a default index which later we will use to employ our shifting operators. In accordance with the number of variables, we will have six shifts and then after that, it will be in a loop. So here in the sl 3 case, we have six solutions that belong to the fraction ring of polynomial functions.
where τ 1 [· · · , X 1 , Y 1 , X 2 , Y 2 , X 3 , Y 3 · · · ]. Again, by setting X i s because of the algebra structure, and this will be done by using Mathematica coding in appendix A (please see the extended version of these results in [64]).
Lattice W n Algebra; Main Generator Here, for sl n , we skip writing down all steps which we have done in the previous sections and we just write down the main generator of the lattice W n algebra. The functional dependent nontrivial solution for the whole system of the first order partial differential equations are as follows: We should note that x (j) i j s are different to each other for any j ∈ {1, · · · n − 1}

Concluding Remarks and Some Open Directions
Recall that for a given Cartan matrix C ∈ M I×I (Z), we have three NI-graded bialgebras: the quantum enveloping algebra U + ≡ U q (n + ) (which has a bialgebra structure), the quantum shuffle algebra F * and the dual Ringel-Hall algebra H * (Q) [83]. In this paper, we only considered the first one. For a fixed word w ∈ W, there is a quantum polynomial algebra P w associated with the Cartan matrix C and the word w, which is the Q(v)-algebra generated by t 1 , . . . , t m subject to the relation t t k = v (α i k ,α i ) t k t for k < . There are various homomorphisms of algebras between these four algebras which have been studied extensively due to their connection to quantum groups and cluster algebras (cf. [84][85][86][87][88]). However, in this paper, in particular, we are interested in the following.
Theorem 24. Fix a word w = (i 1 i 2 . . . i m ) ∈ W. Then, the linear map is a homomorphism of algebras.
Morphism (35) is called Feigin's map of type w, and was first proposed by B. Feigin as a tool for studying the skew-field of fractions of (U + ) * and it is the main object of study in this paper.
Very recently, in a paper published in ArXiv, Anton Izosimov and Gloria Marí Beffa, questioned the reason behind the creation of the lattice W-algebras in [89]. They studied the discretization criteria of the Adler-Gelfand-Dickey bracket, both from the multiplicative structure on the algebra of formal pseudo-difference operators (which can also be interpreted as a Poisson-Lie structure on the extended group of such operators [90]) or by performing the so-called Drinfeld-Sokolov reduction to a specific symplectic leaf in the dual of an affine (Kac-Moody) Lie algebra [75]. They showed that both constructions admit a discretization (a lattice version) and hence there is a well defined notion of a lattice W m -algebra. In the process, recovering familiar structures, such as for m = 2, they obtain the lattice Virasoro algebra of Faddeev-Takhtajan-Volkov [80,91] (known as a cubic Poisson structure associated with the Volterra lattice [92]) and for m = 3 the construction gives the lattice W 3 -algebra of Belov-Chaltikian [68] and finally, they formulate their main theorem on the coincidence of two definitions of lattice W m -algebras.
We could follow the opposite direction to that proposed in [89] to find some approaches to making continuous W m -algebras based on our lattice W-algebras, which we think will be a very interesting project and may result in a new Adler-Gelfand-Dickey bracket.
On the other hand, we could do the same constructions done in the A n case, for other classes of Cartan matrices B n , C n and D n , which we believe could open a new direction in defining integrable chain systems, something which has never been done.
Moreover, we have to remark that our study regarding the lattice W n -algebras is not completed and still needs much work to be done. In accordance with (26), we need to write down the brackets {τ 1 , τ i } in terms of their decompositions to τ j 's for 1 j i, for i such that | i − 1 | n in the case of lattice W n -algebras and obtain the final algebra structure and we have to note that this can only be done by using Mathematica or any other computing software, with the exactly same approach as for lattice W 2 and W 3 -algebras.