Uniform finiteness of short geodesic classes (source code)

= Uniform finiteness of short geodesic classes

In a compact smooth family of marked closed <hyperbolic surfaces>, only finitely many <free homotopy> classes of <closed geodesics> have length below a fixed bound somewhere in the family. A uniform <bilipschitz equivalence> with a fixed metric reduces this to local finiteness of its <length spectrum>.