Arnold-Liouville theorem for integrable PDEs: a case study of the focusing NLS equation
We prove an infinite dimensional version of the Arnold-Liouville theorem for integrable non-linear PDEs: In a case study we consider the {\em focusing} NLS equation with periodic boundary conditions.