Stability and Testability

We argue that quantization, a mathematical model of the quantum classical correspondence, gives rise to approximate unitary representations of symplectomorphism groups. As an application, we get an obstruction to symplectic action of Lubotzky-Oppenheim non $p$-norm approximated groups. Preliminaries on symplectic geometry and quantization will be explained. Joint work with Laurent Charles.