Bisector surfaces and circumscribed spheres of tetrahedra derived by translation curves in \textbf{Sol} geometry (Q1717437)

In preparation for ensuing investigations on ball packings and coverings based on Dirichlet-Voronoi tilings, the author computes parametric and implicit equations for bisector surfaces of two points in \textbf{Sol} geometry with respect to \textit{translation distance.} In many respects, \textbf{Sol} translation distance is more natural than geodesic distance of Riemannian geometry. Most notably, integration of the translation conditions allows for a closed form solution in terms of elementary functions. It should also be noted that \textbf{Sol} is one among three of the eight homogeneous Thurston geometries where the notions of geodesic distance and translation distance do not coincide. \par The author also shows uniqueness and existence of circumscribed translation spheres of \textbf{Sol} tetrahedra and, by example, demonstrates existence of isosceles translation \textbf{Sol} triangles with no two equal angles and failure of the triangle equality for generic translation triangles.