### ?

## Density of a thin film billiard reflection pseudogroup in a Hamiltonian symplectomorphism pseudogroup

Reflections from hypersurfaces act by symplectomorphisms on the space of oriented lines with respect to the canonical symplectic form. We consider an arbitrary infinitely-smooth hypersurface in Euclidean space that is either a global strictly convex closed hypersurface, or a germ of hypersurface. We deal with the pseudogroup generated by compositional ratios of reflections from it and of reflections from its small deformations. In the case of global convex hypersurface, we show that the latter pseudogroup is dense in the pseudogroup of Hamiltonian diffeomorphisms between subdomains of the phase cylinder: the space of oriented lines intersecting the hypersurface transversally. We prove an analogous local result for a germ of hypersurface. The derivatives of the above compositional differences in the deformation parameter are Hamiltonian vector fields calculated by Ron Perline. To prove the main results, we find the Lie algebra generated by them and prove its $C^{\infty}$-density in the Lie algebra of Hamiltonian vector fields. We also prove analogues of the above results for hypersurfaces in Riemannian manifolds.