대수적 다양체의 기본 개념