I am trying to define a closed simple curve (that is, a smooth curve) on a manifold $M$ such that it belongs to a specific class of $\pi_1(M)$. How can I be sure that such a curve exists?
The representatives of a fixed class are obviously closed, so I am trying to find under what conditions there are simple smooth representatives.