Multidimensional smooth loops with universal elasticity

Let $\tilde{E}$ be a universal (isotopically invariant) identity that is derived from the elasticity identity $E:\left(xy\right)x=x\left(yx\right)$. One of the authors has previously shown that a) each local loop of dimension $r$ with identity $\tilde{E}$ (briefly, a loop $\tilde{E}$) is a smooth middle Bol loop of dimension $r$; b) smooth two-dimensional loops $\tilde{E}$ are Lie groups; c) up to isotopy, there exist only two three-dimensional loops $\tilde{E}$: the loops $E_1$ and $E_2$. In this paper, the loops $E_1$ and $E_2$ are extended to the multidimensional case. The fact that each smooth loop $\tilde{E}$ of dimension $r$ corresponds to a unique multidimensional three-web on a manifold of dimension $2r$ is key to our work. In addition, the class of loops under investigation is characterized by the fact that the torsion tensor of the corresponding web has rank 1 (that is, the algebra generated by this tensor has a one-dimensional derived algebra). This enables us to express the differential equations of the problem in an invariant form. The system of equations thus obtained was found to be amenable to integration in the most general case, and the equations of the required loops have been obtained in local coordinates.

Bibliography: 17 titles.