Title: Foliations of Energy Surfaces and Singularities of Curves

Abstract: The Liouville foliations of energy surfaces of integrable systems, which describe how the level sets topology is changed on a given energy surface, determine much of the behavior of the solutions of the corresponding near-integrable systems. To study this foliation, one constructs the `bifurcation set' in the energy-momentum diagram. In the 2 degrees of freedom case, the bifurcation set is composed of curves and isolated points in R^2. It is proved that under certain non-degeneracy conditions, changes in the Liouville foliations of the energy surfaces of smooth 2 degrees of freedom integrable Hamiltonian systems imply that the bifurcation set must have singularities at the corresponding energy levels. The notion of the critical set, as the set of singularities of the bifurcation set, is introduced, and this set is divided to essential and non-essential parts. It is proved that in the non-degenerate case, essential critical points appear if and only if the Liouville foliations of the isoenergy manifolds change at the corresponding energy levels. The proof of this main theorem incorporates a concise description of the isoenergy surfaces near the bifurcation set and near the critical set using Fomenko graphs; thus, the structure of the energy surfaces near isolated fixed points, near circles of fixed points (normally hyperbolic or normally elliptic), near parabolic circles and near global bifurcations of separatrices of normally hyperbolic circles is completely classified (for the non-degenerate cases) and listed using Fomenko graphs. This may be viewed as completing Smale program for relating the energy surfaces foliation structure to singularities of the energy-momentum mappings for non-degenerate integrable two degrees of freedom systems.