On subschemes of formal schemes
arXiv:math/0602542
Abstract
We think about what the subscheme of the formal scheme is. Differently form the ordinary scheme, the formal scheme has different notions of ``subscheme''. We lay a foundation for these notions and compare them. We also relate them to singularities of foliations.
24 pages