IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v8y2020i10p1694-d423156.html
   My bibliography  Save this article

Nonstandard Analysis, Deformation Quantization and Some Logical Aspects of (Non)Commutative Algebraic Geometry

Author

Listed:
  • Alexei Kanel-Belov

    (Department of Mathematics, Bar-Ilan University, Ramat Gan 5290002, Israel)

  • Alexei Chilikov

    (Department of Information Security, Bauman Moscow State Technical University, ul. Baumanskaya 2-ya, 5, 105005 Moscow, Russia
    Department of Discrete Mathematics, Moscow Institute of Physics and Technology, Dolgoprudnyi, Institutskiy Pereulok, 141700 Moscow Oblast, Russia)

  • Ilya Ivanov-Pogodaev

    (Department of Discrete Mathematics, Moscow Institute of Physics and Technology, Dolgoprudnyi, Institutskiy Pereulok, 141700 Moscow Oblast, Russia)

  • Sergey Malev

    (Department of Mathematics, Ariel University of Samaria, Ariel 40700, Israel)

  • Eugeny Plotkin

    (Department of Mathematics, Bar-Ilan University, Ramat Gan 5290002, Israel)

  • Jie-Tai Yu

    (College of Mathematics and Statistics, Shenzhen University, Shenzhen 518061, China)

  • Wenchao Zhang

    (Department of Mathematics, Bar-Ilan University, Ramat Gan 5290002, Israel)

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 the first part of the second section 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. The second part of the second section is dedicated to particular cases of Plotkin’s problem. The last part of the second section 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 sections deal with algorithmic problems for noncommutative and commutative algebraic geometry.The first part of it 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. The second part of the last section 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.

Suggested Citation

  • Alexei Kanel-Belov & Alexei Chilikov & Ilya Ivanov-Pogodaev & Sergey Malev & Eugeny Plotkin & Jie-Tai Yu & Wenchao Zhang, 2020. "Nonstandard Analysis, Deformation Quantization and Some Logical Aspects of (Non)Commutative Algebraic Geometry," Mathematics, MDPI, vol. 8(10), pages 1-33, October.
  • Handle: RePEc:gam:jmathe:v:8:y:2020:i:10:p:1694-:d:423156
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/8/10/1694/pdf
    Download Restriction: no

    File URL: https://www.mdpi.com/2227-7390/8/10/1694/
    Download Restriction: no
    ---><---

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:8:y:2020:i:10:p:1694-:d:423156. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.