scientific article; zbMATH DE number 1044029
The author considers the hyperbolic space \(H_3^1\equiv(P_3,G_6)\) (where \(G\) is a 6-parametric subgroup of the projective group \(PG(3,\mathbb{R})\), for which a non-degenerate real quadric, called absolutum, is invariant). He then chooses a moving frame field conjugate to any arbitrary manifold immersed in \(H_3^1\) as a polar tetrahedron \(\{A_i\}_{i=0,1,2,3}\). The author considers a quadric surface which is the locus of points at a constant distance from a hyperbolic plane, he calls the surface equidistant surface \(E_d\) and calls the hyperbolic plane base \(B\). The distance of a point of the surface \(E_d\) from its base \(B\) is called the parameter of the equidistant surface. The author proceeds to compute the normal curvature function on the surface which depends on a constant and on the parameter of the base. In the second lemma explicit formulas are given for the Gauss and the mean curvature functions, which also depend on a constant and on the parameter of the base. As a consequence of the formulas found, \(E_d\) is totally umbilical. In the third part of the article the author proves that the mean curvature and the Lipschitz Killing curvature in the direction \(\widehat{N}_1\) are constants. \(\widehat{N}_1\) is defined depending on the moving frame field, the parameter of the surface, and the parameter of the base. We can define \(\widehat{N}_2\) in a similar way to \(\widehat{N}_1\), and together they form a basis of the dual bundle \(T^\bot(C_t^1)\). \(C_t^1\) and \(C_t^2\) are the two line congruences generated on \(E_d\) by the principal directions \(l_1\equiv(M_1,A_1)\) and \(l_2\equiv(M_1,A_2)\), where \(M_1\equiv A_0+\zeta_1A_3\) and \(\zeta_1\) is the parameter of the surface \(E_d\). The author also proves that the normal section \(\widehat{N}_2\) is minimal, and as consequence of the previous results, the mean curvatures of the line congruences \(C_t^1\) and \(C_t^2\) are equal and their Gaussian curvature functions \(G^1\) and \(G^2\) verify the formula \(G^1=G^2+2\). The manifolds \(B,E_d\), as well as the manifold defined by the rays perpendicular to both previous manifolds, are characterized by an involutive system, which defines two distributions of line congruences corresponding to two line complex fields, designated by \(C_1\) and \(C_2\). In the end of the article, the author gives explicit formula for the Gaussian curvature function, the mean curvature vector field and the scalar normal curvature function of \(C_1\), which show that they are given in terms of the parameters of the equidistant surface and its base. The same conclusions apply to the mean curvature vector field, the second mean curvature function and the scalar normal curvature function of \(C_2\), while its Gaussian curvature function is constant and equal to the curvature of the ambient space \(H_3^1\).
- Visualization of geodesic curves, spheres and equidistant surfaces in \(\mathbb S^2\times\mathbb{R}\) space
- On visualization of the linearity problem for mapping class groups of surfaces
- Visualization of Enneper's surface by line graphics
- Visualization of lines of curvature on quadratic surfaces
- Visualization of Seifert surfaces
- Visibility of surfaces via differential geometry
- scientific article; zbMATH DE number 1749288
- Distortion of surfaces in graph manifolds
- Lines, surfaces and duality
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4346881)
