Quantitative -principle for isotropic embeddings and applications to -symplectic geometry
We prove here a quantitative -principle statement that applies to isotropic embeddings of discs. We then apply it to get -flexibility and rigidity results in symplectic geometry. On the flexible side, we prove that a symplectic homeomorphism might take a symplectic disc to a smooth isotropic one. We also get a -rigidity result for the action of a symplectic homeomorphism on the reduction of a coisotropic submanifold.