No label defined (Q4701075)

In papers by A. P. Shirokov and N. N. Perelomova there was constructed a correspondence between points of the total space of the tangent bundle \(T\mathbb{C} P^1\), where \(\mathbb{C} P^1\) is the complex projective line, and horospheres in a three-dimensional Lobachevskij space. If \((z^1,z^2)\), \(z^2 \neq 0\), are local complex coordinates on \(T\mathbb{C} P^1\), the corresponding horosphere is given by the equation \( (\zeta - z^1)(\overline\zeta - \overline z^1) + \theta^2 - \theta | z^2| = 0 \), where \(\zeta = \xi + i\eta\), and \((\xi, \eta, \theta)\), \(\theta > 0\), are coordinates in the half-space \(\mathbb{R}^3_{+}\). In the paper under review, there are given some applications of this correspondence. First, there is proved that the enveloping surface \(\Sigma\) for a family of horospheres given by the equation \(z^2 = p(z^1)^2 + 2 q z^1 + r\) essentially depends on the value of \(D = pr - q^2\). Namely, if \(D=0\), then \(\Sigma\) is a horosphere; if \(| D| =1\), then \(\Sigma\) is a line; otherwise, \(\Sigma\) is an equidistant cylinder. Further, there are considered prolongations of projective transformations of \(\mathbb{C} P^1\): \[ \widetilde z^1 = {a z^1 + b \over c z^1 + d}, \quad \quad \widetilde z^2 = {ad -bc \over (cz^1 + d)^2}z^2 + {(cz^1 + d)(a_1 z^1 + b_1) - (az^1 + b)(c_1 z^1 + d_1) \over (cz^1 + d)^2}, \] which form a 12-dimensional Lie group \(G\) of transformations of the variety of horospheres of three-dimensional Lobachevskij space. Under the action of \(G\), a family of horospheres whose enveloping surface is an equidistant cylinder (a horosphere) transforms into a family whose enveloping surface is of the same type. Moreover, there is an invariant of the action of \(G\) which is similar to the ``tangent distance'' of the Laguerre geometry on the plane. Therefore, \(G\) can be considered as an analog of the Laguerre group.