KAM for the Klein Gordon equation on mathbb S^d

Recently the KAM theory has been extended to multidimensional PDEs. Nevertheless all these recent results concern PDEs on the torus, essentially because in that case the corresponding linear PDE is diagonalized in the Fourier basis and the structure of the resonant sets is quite simple. In the present paper, we consider an important physical example that do not fit in this context: the Klein Gordon equation on $\mathbb S^d$. Our abstract KAM theorem also allow to prove the reducibility of the corresponding linear operator with time quasiperiodic potentials.