Nonstandard analysis, deformation quantization and some logical aspects of (non)commutative algebraic geometry

Abstract

This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the edge of algebra, logic and geometry. We start from a brief review of the paper and motivations. The first sections deal with model theory. In Section 2.1 we describe the geometric equivalence, the elementary equivalence, and the isotypicity of algebras. We look at these notions from the positions of universal algebraic geometry and make emphasis on the cases of the first order rigidity. In this setting Plotkin's problem on the structure of automorphisms of (auto)endomorphisms of free objects, and auto-equivalence of categories is pretty natural and important. Section 2.2 is dedicated to particular cases of Plotkin's problem. Section 2.3 is devoted to Plotkin's problem for automorphisms of the group of polynomial symplectomorphisms. This setting has applications to mathematical physics through the use of model theory (non-standard analysis) in the studying of homomorphisms between groups of symplectomorphisms and automorphisms of the Weyl algebra. The last two sections deal with algorithmic problems for noncommutative and commutative algebraic geometry. Section 3.1 is devoted to the Gröbner basis in non-commutative situation. Despite the existence of an algorithm for checking equalities, the zero divisors and nilpotency problems are algorithmically unsolvable. Section 3.2 is connected with the problem of embedding of algebraic varieties; a sketch of the proof of its algorithmic undecidability over a field of characteristic zero is given.

arXiv commentIn this review we partially used results of arXiv:1512.06533, arXiv:math/0512273, arXiv:1812.01883 and arXiv:1606.01566 and put them in a new context

References in corpus (14)

• Algebras with the same (algebraic) geometry
• Seven Lectures on the Universal Algebraic Geometry
• Automorphisms of the Weyl algebra
• Homogeneity in the free group
• Automorphisms of the endomorphism semigroup of a free commutative algebra
• Automorphisms of categories of free modules and free Lie algebras
• On the tame authomorphism approximation, augmentation Topology of Automorphism Groups and $Ind$-schemes, and authomorphisms of tame automorphism groups
• The group of automorphisms of the category of free associative algebras
• Automorphisms of the semigroup of all endomorphisms of free algebras
• On the model theory of higher rank arithmetic groups
• Elementary equivalence of right-angled Coxeter groups and graph products of finite abelian groups
• Gröbner-Shirshov bases and PBW theorems
• Automorphisms of the semigroup of endomorphisms of free algebras of homogeneous varieties
• Two Remarks on First-Order Theories of Baumslag-Solitar Groups