Singular sets of planar hyperbolic billiards are regular

Many planar hyperbolic billiards are conjectured to be ergodic. This paper represents a first step towards the proof of this conjecture. The Hopf argument is a standard technique for proving the ergodicity of a smooth hyperbolic system. Under additional hypotheses, this technique also applies to certain hyperbolic systems with singularities, including hyperbolic billiards. The supplementary hypotheses concern the subset of the phase space where the system fails to be C^2 differentiable. In this work, we give a detailed proof of one of these hypotheses for a large collection of planar hyperbolic billiards. Namely, we prove that the singular set and each of its iterations consist of a finite number of compact curves of class C^2 with finitely many intersection points.