Many deep results in homotopy theory build around comparing fixed points and homotopy fixed points. I'll try to give a quick "best of" tour of some highlights from the last thirty+ years: The Segal conjecture, the Sullivan conjecture, etc, theorems so fundamental that they retain the name "conjecture" as a honorary title, long after their proof...