Analytic embedding of three-dimensional simplicial geometries

The study of maximum mobility geometries is of great importance for modern mathematics. The maximum mobility of an n-dimensional geometry defined by a function f of a pair of points means the existence of an n(n + 1)/2-dimensional transformation group fixing this function. There are a number of known maximum mobility geometries (Euclidean, symplectic, Lobachevskian, etc.), but there is no complete classification of such geometries. In this paper, we solve one of such classification problems by the embedding method. The essence of the method is as follows: from the function g of a pair of points of a three-dimensional geometry, we find all nondegenerate functions f of a pair of points of four-dimensional geometries that are invariants of the Lie group of transformations of dimension 10. In this paper, g are nondegenerate functions of a pair of points of three simplicial three-dimensional geometries: g = y(i) - y(j)/x(i) - x(j) + 2z(i) +2z(j), g = ln y(i) - y(j)/x(i) - x(j) +2z(i) +2z(j), g = arctan y(i) - y(j)/x(i) - x(j) +2z(i) +2z(j). These geometries are locally maximally mobile, which means that their groups of motions are six-dimensional. The problem solved in this paper is reduced to the solution of special functional equations by analytical methods. The solutions are sought in the form of Taylor series. The Maple 15 mathematical software package is used for the enumeration of various options. As a result, we obtain only degenerate functions of a pair of points, which do not define a maximum mobility geometry.