代数多様体の局所性質と局所化