  Plante-Thurston proved that every nilpotent subgroup of $\Diff^2(S^1)$ is
abelian. One of our main results is a sharp converse: $\Diff^1(S^1)$ contains
every finitely-generated, torsion-free nilpotent group.
