Formal neighborhoods in algebraic geometry Local theory mathematics