I wonder if there is an example of rational homology sphere that is not a Seifert manifold. If there is, how can one construct such a rational homology sphere from a surgery of a knot in $S^3$?



Rational homology sphere that is not Seifert manifold
By Thurston, all but finitely many $(p,q)$-surgeries on a hyperbolic knot in $S^3$ result in hyperbolic rational homology spheres for $p\neq 0$. In particular there are infinitely many integral homology spheres among them.


