The infimum of nonconstant closed geodesic lengths in curvature , with value if there are none. On a closed surface with a hyperbolic metric this is a positive attained minimum, and a minimizing geodesic is simple. For fixed closed genus , a common positive lower bound gives relative compactness in the unmarked moduli space of Riemann surfaces by Mumford's compactness theorem.
New to topics? Read the docs here!