3-manifold
Smith conjecture

The Smith conjecture (now proven) states that if f is a diffeomorphism of the 3-sphere of finite order, then the fixed point set of f cannot be a nontrivial knot.
detectable_content:postscript, keywords:frequency