Alexei Miasnikov will give a talk "The Diophantine problem in classical matrix groups" on the next Omsk Group Seminar

The next Omsk Group Seminar meeting will take place on October 22 at 18:00 (Omsk time), 19:00 (Novosibirsk time), 08:00 (New York time), 15:00 (Moscow time). Alexei Miasnikov (Stevens Institute of Technology, USA) will present his talk "The Diophantine problem in classical matrix groups".
The Diophantine problem in a group (ring) G is decidable if there exists an algorithm that given a finite system of equations with coefficients in G decides whether or not the system has a solution in G. I will discuss the Diophantine problem in the groups the classical matrix groups G_n(R), where R is an associative unitary ring, n > 2, and G(n,R) is one of the groups GL(n,R), SL(n,R), T(n,R), UT(n,R), PGL(n,R), or PSL(n,R) (in the last two cases we assume that R is also commutative). The main result is that the Diophantine problem in G(n,R) with a chosen set of coefficients is Ptime reducible (Karp reducible) to the Diophantine problem in R with respect to a suitable set of coefficients in R. What is much more interesting is that the converse is also true. In the case when the ring R is finitely generated and commutative the result above allows one to clarify the situation completely, modulo a big conjecture in number theory. For not finitely generated rings, more so for uncountable rings, decidability of the Diophantine problem heavily depends on the set of constants. The case of classical fields of reals, complex and p-adic numbers is especially interesting, as well as the rings of p-adic integers (which is related to pro-p completions of groups). I am going to touch on this subject and, if time permits, show some surprising examples.

The talk is based on joint results with Mahmood Sohrabi.

Preliminary future speakers: V. Remeslennikov, A. Treyer, A. Rybalov. 

You can connect to the Zoom conference via this link: or manually in the Zoom app using the conference ID 812 2079 3393.

Please pay attention to the following rules for conducting an Internet seminar:
  • Please, use your real first and last name
  • Keep your microphone off during the talk
  • Should you have any questions, ask them in the chat