Indexed on: 24 Feb '06Published on: 24 Feb '06Published in: Mathematics - Algebraic Geometry
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.