If you could isometrically and smoothly embed the modular surface, you would smoothly and locally isometrically immerse the hyperbolic plane, which is impossible by a theorem of Hilbert.
Ben McKay
- 26.3k
- 7
- 67
- 102