On the tame authomorphism approximation, augmentation Topology of Automorphism Groups and IndInd-schemes, and authomorphisms of tame automorphism groups

We study authomorphisms of $Ind$-groups of polynomial automorphisms (wich are singular) via tame approximations. Such objects were pioneeered in research by B.I.Plotkin We obtain a number of properties of $Aut(Aut(A))$, where $A$ is the polynomial or free associative algebra over the base field $K$. We prove that all $Ind$-scheme automorphisms of $Aut(K[x_1,\dots,x_n])$ are inner for $n\ge 3$, and all $Ind$-scheme automorphisms of $Aut(K\langle x_1,\dots, x_n\rangle)$ are semi-inner. As an application, we prove that $Aut(K[x_1,\dots,x_n])$ cannot be embedded into $Aut(K\langle x_1,\dots,x_n\rangle)$ by the natural abelianization. In other words, the {\it Automorphism Group Lifting Problem} has a negative solution. We explore close connection between the above results and the Jacobian conjecture type questions, formulate the Jacobian conjecture for fields of any characteristic.Comment: 40 pages, dedicated to 90-th aniversary of prof. B.I.Plotkin. arXiv admin note: substantial text overlap with arXiv:1207.2045, Acctped to the special Issue of International Journal of Aljebra and computation, dedicated to prof. B.I.Plotkin, 201

Estimation of the distance between two bodies inside an nn-dimensional ball of unit volume

We consider the problem of estimating the distance between two bodies of volume $\varepsilon$ located inside a $n$-dimensional ball $U$ of unit volume for $n\to\infty$. Let $A$ be a closed set with a smooth boundary of the volume $\varepsilon$ ($0 \leq \varepsilon \leq 1/2$) inside a $n$-dimensional ball $U$ of unit volume that implements among all the sets of volume $\varepsilon$ is a set with the smallest possible free surface area, lying in one half-space with respect to a certain hyperplane that passes through the center of the ball. Then $A$ has the same free surface area as the set representing the intersection of a ball perpendicular to $U$ and the ball $U$ itself.Comment: 6 pages, in Russian, The work was carried out with the help of the Russian Science Foundation Grant N 17-11-01377, to appear in Math. Note

On Shirshov bases of graded algebras

We prove that if the neutral component in a finitely-generated associative algebra graded by a finite group has a Shirshov base, then so does the whole algebra.Comment: 4 pages; v2: minor corrections in English; to appear in Israel J. Mat

Small cancelation rings

The theory of small cancellation groups is well known. In this paper we introduce the notion of Group-like Small Cancellation Ring. This is the main result of the paper. We define this ring axiomatically, by generators and defining relations. The relations must satisfy three types of axioms. The major one among them is called the Small Cancellation Axiom. We show that the obtained ring is non-trivial. Moreover, we show that this ring enjoys a global filtration that agrees with relations, find a basis of the ring as a vector space and establish the corresponding structure theorems. It turns out that the defined ring possesses a kind of Gr\"obner basis and a greedy algorithm. Finally, this ring can be used as a first step towards the iterated small cancellation theory which hopefully plays a similar role in constructing examples of rings with exotic properties as small cancellation groups do in group theory. This is a short version of paper arXiv:2010.02836Comment: arXiv admin note: substantial text overlap with arXiv:2010.0283

Describing the set of words generated by interval exchange transformation

Let $W$ be an infinite word over finite alphabet $A$. We get combinatorial criteria of existence of interval exchange transformations that generate the word W.Comment: 17 pages, this paper was submitted at scientific council of MSU, date: September 21, 200