Complément to the Thurston 3D-geometrization picture (Q2674716)

By the geometrization of 3-manifolds, closed oriented prime 3-manifolds can be decomposed into ``elementary primes'' which are quotients by discrete subgroups of isometries of one of the eight Thurston homogeneous Riemannian geometries (both three of hyperbolic type and of affinely flat type, two of elliptic type), called ``compound primes'' by the authors in case of a nontrivial decomposition. ``The point of the paper is to construct these compound primes \textit{geometrically} using the six Lie groups corresponding to the six geometries of hyperbolic or affine type. Thus, we build specific \textit{Lie generated geometries} on all of the compound prime closed oriented three-manifolds.'' The main theorem of the paper, in part written in the style of a (historical) essay on 3-manifolds and their geometries, is the following. ``Excepting those covered by \(S^3\) and \(S^2 \times\mathbb{R}\), every closed oriented prime 3-manifold has a canonical non-empty finite dimensional moduli space of Lie generated geometries defined by four Lie groups of dimensions (6,6,4,4) acting on the upper half space.'' As the authors note, this solves, using geometrization, a 45-year-old question/approach to the Poincaré conjecture as documented in a paper by \textit{D. Sullivan} and \textit{W. Thurston} [Enseign. Math. (2) 29, 15--25 (1983; Zbl 0529.53025)].