On the geometry and trigonometry of homogeneous 3-manifolds with 4-dimensional isometry group (Q2509045)

The author studies the geometry of the family of simply connected homogeneous 3-manifolds \((M,g_{\kappa,\tau})\). First, basing on [\textit{W. P. Thurston}, Three dimensional geometry and topology. Vol. 1. Princeton Mathematical Series. 35. Princeton, NJ: Princeton University Press (1997; Zbl 0873.57001)] the author proves the following: Theorem. Let \((M,g)\) be a simply connected homogeneous 3-manifold with at least 4-dimensional isometry group. Then \((M,g)\) either has constant sectional curvature or it fibres as an 1-dimensional principal fiber bundle over an homogeneous 2-manifold of constant curvature \(\kappa\). The horizontal distribution of this fibration is the kernel of a connection form with constant curvature \(\tau\). If \((M,g)\) is a principal bundle as in the above theorem then it is denoted by \((M,g_{\kappa,\tau})\). Next the author investigates the normal Jacobi fields, the conjugate radius and the closed geodesics on \((M,g_{\kappa,\tau})\) and determines the cut locus and the injectivity radius for all \((M,g_{\kappa,\tau})\). Finally, the author investigates the trigonometry on \((M,g_{\kappa,\tau})\). He proves the so called law of sine. In the end he derives the laws of trigonometry for the projected triangle and the law of holonomy, which together give a complete set of relations for determine the trigonometry on \((M,g_{\kappa,\tau})\).