Vered Rom-Kedar

It is well known that changes in the Liouville foliations of the isoenergy surfaces of an integrable system imply that the bifurcation set has singularities at the corresponding energy level.We formulate certain genericity assumptions for two degrees of freedom integrable systems and we prove the opposite statement: the essential critical points of the bifurcation set appear only if the Liouville foliations of the isoenergy surfaces change at the corresponding energy levels. Along the proof, we give full classification of the structure of the isoenergy surfaces near the critical set under our genericity assumptions and we give their complete list using Fomenko graphs. This may be viewed as a step towards completing the Smale program for relating the energy surfaces foliation structure to singularities of the momentum mappings for non-degenerate integrable two degrees of freedom systems.