On the higher-order differential-geometric objects of a multidimensional three-web (Q923379): Difference between revisions

Let W be a 3-web given on a (2r)-dimensional differentiable manifold \(X^{2r}\) by three foliations of codimension r. Each W defines on \(X^{2r}\) a g-structure [see \textit{M. A. Akivis}, J. Sov. Math. 29, 1631- 1647 (1985); translation from Itogi Nauki Tekh., Ser. Probl. Geom. 15, 187-213 (1983; Zbl 0567.53014)]. Akivis notices (loc.cit.) that g- structures defined by parallelizable, group, Bol and Moufang 3-webs are closed g-structures, i.e. each of these 3-webs depends on a finite number of constants. (A closed g-structure defined by a 3-web W is called \(g_ W\)-structure). This implies a necessity of study of the 3-webs with closed g-structures and the problem whether the g-structure defined by a hexagonal 3-web is a closed g-structure or not. The latter problem was solved in the case \(r=2\) (i.e. on the manifold \(X^ 4)\) by \textit{V. P. Botsu} [On the isoclinal property of four-dimensional hexagonal three- webs, VINITI Dep. No.5824, 24 p. (1984)]. In a deposited paper the author gave an affirmative solution of the problem in the case \(r\geq 2\). This solution is given in {\S} 3 of the paper under review. To present this solution, in {\S}{\S} 1-2 the author describes properties of differential geometric objects of higher orders of a 3-web W. This allows the author to describe in {\S} 6 general analytic conditions leading to a closed \(g_ W\)-structure. In {\S} 7 the author shows that the components of differential geometric objects of W of any order can be expressed in terms of the coefficients of the power series expansions of the equations of a local coordinate loop of W. Moreover, if W is analytic, then the author solves the converse problem: he shows that the coefficients mentioned above can be expressed in terms of components of differential geometric objects of the corresponding orders of W. This allows to prove that for the local coordinate loops of the 3-webs W with closed \(g_ W\)-structures, and only for such loops, the canonical expansions of the equations of such loops are determined by a finite number of the first terms of the expansions. In the final {\S} 9 of the paper the problems of existence and classification of the identities with one variable in a local analytic loop are discussed.