Полиномиальные симплектоморфизмы и гипотеза Концевича

Мы обсудим предложенное нами недавно доказательство гипотезы Концевича об изоморфности над $\mathbb{C}$ групп автоморфизмов алгебры Вейля $W_n$ и алгебры $P_n$ многочленов от $2n$ переменных с дополнительной скобкой Пуассона. В доказательстве используются результаты о топологии формальных степенных рядов на группах автоморфизмов, полученные нами ранее (arXiv:1707.06450). Мы также рассмотрим вопрос о независимости изоморфизма из гипотезы Концевича от неконструктивных объектов (бесконечно большого простого числа), участвующих в его построении.