Four dodecahedral spaces (Q1204318)

Let \(G\) and \(H\) be the Coxeter groups with Dynkin diagrams \(\circ \overset{\strut 3}\diagrbar \circ \overset{\strut 3}\diagrbar \circ \overset{\strut 5}\diagrbar \circ\) and \(\circ \overset{\strut 5}\diagrbar \circ \overset{\strut 3}\diagrbar \circ \overset{\strut 5}\diagrbar \circ\), respectively. The group \(G\) is of order 14400 and acts on the 3-sphere \(\mathbb{S}_ 3\) as the flag transitive symmetry group of the 120-cell. The stabilizer of a cell is the subgroup \(C\) obtained by deleting the first node of the diagram. Using the program package CAYLEY, the author found that up to conjugacy there are two complements \(G_ 1\cong \text{SL}(2,5)\) and \(G_ 2\) of \(C\) in \(G\). The group \(G_ 2\) is solvable. The spherical manifolds \(\mathbb{S}_ 3/G_ 1\) and \(\mathbb{S}_ 3/G_ 2\) are two of the four spaces mentioned in the title. The first one is the homology sphere of Poincaré. Similarly, the group \(H\) is the flag transitive symmetry group of a tesselation of hyperbolic 3-space \(\mathbb{H}_ 3\). The stabilizer of a cell is obtained as before. It has two complements \(H_ i=\varphi^{-1}G_ i\), \(i=1,2\), where \(\varphi:H\to G\) is a suitable epimorphism produced by CAYLEY. The hyperbolic manifolds \(\mathbb{H}_ 3/H_ i\) are the other two spaces of the title; one of them is a hyperbolic analogue of the Poincaré sphere, and was found by Weber and Seifert.