arXiv subjects
Publications and source records attributed to Andrey Elishev.
In this paper we prove that over algebraically closed field $K$ of positive characteristic $\neq 2$ every automorphism of the group of origin-preserving automorphisms of the polynomial algebra $K[x_1,\ldots, x_n]$ ($n>3$) which fixes every diagonal matrix preserves, up to composition with a linear inner automorphism, every tame automorphism.
We investigate a certain class of Ind-scheme morphisms corresponding to homomorphisms between the automorphism group of the $n$-th complex Weyl algebra and the group of Poisson structure-preserving automorphisms of the commutative complex polynomial algebra in $2n$ variables. A conjecture of Kanel-Belov and Kontsevich, whose proof we have recently obtained, states that these automorphism groups are canonically isomorphic in characteristic zero, with the mapping discussed here being the candidate for the isomorphism. The main objective of the present paper is to establish the independence of the said mapping of the choice of infinite prime - that is, the class $[p]$ of prime number sequences modulo fixed non-principal ultrafilter $\mathcal{U}$ on the index set of positive integers. To that end, we introduce the augmented and skew augmented versions of algebras in question and study the augmented Ind-morphism between the normalized automorphism Ind-schemes in the context of tame automorphism approximation. In order to correctly implement approximation in our proof, we study singularities of curves in skew augmented automorphism Ind-schemes and their images under Ind-scheme morphisms. Apart from that, we study the augmented version of the independence conjecture.
The objective of this paper is the proof of a conjecture of Kontsevich on the isomorphism between groups of polynomial symplectomorphisms and automorphisms of the corresponding Weyl algebra in characteristic zero. The proof is based on the study of topological properties of automorphism $\Ind$-varieties of the so-called augmented and skew augmented versions of Poisson and Weyl algebras. Approximation by tame automorphisms as well as a certain singularity analysis procedure is utilized in the construction of the lifting of augmented polynomial symplectomorphisms, after which specialization of the augmentation parameter is performed in order to obtain the main result.
The purpose of this review paper is the collection, systematization and discussion of recent results concerning the quantization approach to the Jacobian conjecture, as well as certain related topics.
In this short note we prove that every maximal torus action on the free algebra is conjugate to a linear action. This statement is the free algebra analogue of a classical theorem of A. Białynicki-Birula.
We examine the problem of the linearity of an algebraic torus action in the associative setting. We prove the free algebra analog of a classical theorem of BialynickiBirula, which establishes linearity of maximal torus action. Additionally, we formulate and prove linearity theorems for specific classes of regular actions, and provide a framework for constructing non-linearizable actions, analogous to the work of Asanuma. This framework has applications in the study of the Associative Cancellation Conjecture. Furthermore, we show the existence of two non-isomorphic algebras, whose free products with a polynomial ring are isomorphic.
We outline the proof of a conjecture of Kontsevich on the isomorphism between the group of polynomial symplectomorphisms in $2n$ variables and the group of automorphisms of the $n$-th Weyl algebra over complex numbers. Our proof uses lifting of polynomial symplectomorphisms to Weyl algebra automorphisms by means of approximation by tame symplectomorphisms and gauging of the lifted morphism. Approximation by tame symplectomorphisms is the symplectic version of the well-known theorem of D. Anick and is a result of our prior work.
We study the problem of lifting of polynomial symplectomorphisms in characteristic zero to automorphisms of the Weyl algebra by means of approximation by tame automorphisms. We utilize -- and reprove -- D. Anick's fundamental result on approximation of polynomial automorphisms, adapt it to the case of symplectomorphisms, and formulate the lifting problem. The lifting problem has its origins in the context of deformation quantization of the affine space and is closely related to several major open problems in algebraic geometry and ring theory.
We study the Zariski topology of the ind-groups of polynomial and free associative algebras $\Aut(K[x_1,...,x_n])$ (which is equivalent to the automorphism group of the affine space $\Aut(K^n))$) and $\Aut(K< x_1,..., x_n>$ via $\Ind$-schemes, toric varieties, approximations and singularities. We obtain some nice properties of $\Aut(\Aut(A))$, where $A$ is polynomial or free associative algebra over a field $K$. We prove that all $\Ind$-scheme automorphisms of $\Aut(K[x_1,...,x_n])$ are inner for $n\ge 3$, and all $\Ind$-scheme automorphisms of $\Aut(K< x_1,..., x_n>)$ are semi-inner. We also establish that any effective action of torus $T^n$ on $\Aut(K< x_1,..., x_n>)$ is linearizable provided $K$ is infinity. That is, it is conjugated to a standard one. As an application, we prove that $\Aut(K[x_1,...,x_n])$ cannot be embedded into $\Aut(K< x_1,...,x_n>)$ induced by the natural abelianization. In other words, the {\it Automorphism Group Lifting Problem} has a negative solution. We explore the close connection between the above results and the Jacobian conjecture, and Kontsevich-Belov conjecture, and formulate the Jacobian conjecture for fields of any characteristic.
In this paper we study a correspondence between cyclic modules over the first Weyl algebra and planar algebraic curves in positive characteristic. In particular, we show that any such curve has a preimage under a morphism of certain ind-schemes. This property might pave the way for an indirect proof of existence of a canonical isomorphism between the group of algebra automorphisms of the first Weyl algebra over the field complex numbers and the group of polynomial symplectomorphisms of $\mathbb{C}^2$.