앞선 글에서는 아핀 공간 위에서 다항식 조건으로 정의되는 대수적 부분집합을 살펴보았다. 그러나 대수기하학은 모든 대수적 부분집합을 동일하게 다루지 않는다. 어떤 집합은 기하적으로 지나치게 복잡하고, 어떤 집합은 하나의 공간으로 다루기에 적합한 구조를 갖지 못한다. 이 지점에서 등장하는 개념이 바로 아핀 다양체다. 아핀 다양체는 대수적 부분집합 중에서도, 대수기하학이 ‘공간’으로서 안정적으로 다룰 수 있는 대상만을 골라낸 개념이다. 이 글에서는 아핀 다양체가 무엇인지, 왜 굳이 이런 구분이 필요한지, 그리고 이 정의가 이후 이론의 기초가 되는 이유를 차근차근 설명한다.
대수적 부분집합의 한계
아핀 공간 위의 대수적 부분집합은 다항식 조건으로 정의된다는 점에서 이미 강력한 구조를 갖고 있다. 하지만 이 개념만으로는 아직 부족한 점이 있다. 서로 다른 다항식 조건으로 정의된 집합이, 실제로는 같은 기하적 대상을 나타내는 경우가 많기 때문이다.
예를 들어, 아핀 평면에서 다음 두 집합을 생각해 보자. 하나는 (x − 1)(x + 1) = 0으로 정의된 집합이고, 다른 하나는 x² − 1 = 0으로 정의된 집합이다. 두 식은 다르게 보이지만, 해집합은 완전히 동일하다.
이처럼 “어떤 식을 쓰느냐”보다 “어떤 점들의 집합이 만들어지느냐”가 중요해지는 순간, 단순히 다항식의 나열만으로는 기하적 대상을 안정적으로 구분하기 어렵다.
또 다른 문제는 분해 가능성이다. 하나의 대수적 부분집합이 사실은 여러 개의 더 작은 부분집합이 합쳐진 형태인 경우가 많다. 이런 경우, 전체를 하나의 공간으로 다루기에는 구조가 지나치게 불균질해진다.
기약성이라는 기준
아핀 다양체를 정의하는 핵심 기준은 기약성이다. 기약성이란, 해당 집합이 두 개의 더 작은 대수적 부분집합의 합으로 분해될 수 없는 성질을 말한다.
직관적으로 말하면, 기약 대수적 부분집합은 더 이상 쪼갤 수 없는 ‘하나의 덩어리’다. 이 덩어리는 내부적으로 연결되어 있으며, 인위적으로 나누지 않는 이상 하나의 기하적 대상로 유지된다.
예를 들어, 하나의 직선이나 하나의 원은 기약이다. 반면, 두 개의 서로 다른 직선이 합쳐진 집합은 기약이 아니다. 이 경우 각 직선은 독립적인 기하적 대상을 이루기 때문이다.
대수기하학은 이런 기약한 대상만을 ‘다양체’로 인정한다. 이는 임의의 대수적 부분집합을 무시한다는 뜻이 아니라, 복잡한 대상은 먼저 기약한 구성 요소로 분해한 뒤 다루겠다는 전략이다.
아핀 다양체의 공식적 정의
이제 정의를 정리할 수 있다. 아핀 다양체란, 아핀 공간 위에 놓인 대수적 부분집합 중에서 기약한 것들을 말한다.
이 정의는 단순해 보이지만, 매우 중요한 의미를 담고 있다. 아핀 다양체는 더 이상 분해되지 않는 기본적인 기하 단위이며, 대수기하학의 모든 대상은 이 기본 단위들의 조합으로 이해된다.
또한 이 정의는 ‘식’이 아니라 ‘집합’에 초점을 맞춘다. 어떤 다항식들이 주어졌는지가 아니라, 그 다항식들이 정의하는 점들의 집합이 기약한가가 판단 기준이 된다.
이 관점 덕분에, 좌표 표현이 달라져도 같은 기하적 대상은 동일한 아핀 다양체로 인식된다. 좌표는 설명 수단일 뿐, 대상의 본질은 집합과 구조에 있기 때문이다.
아핀 다양체를 공간으로 다룰 수 있는 이유
아핀 다양체는 단순한 집합이 아니라, 다양한 기하적·대수적 구조를 안정적으로 얹을 수 있는 공간이다. 그 이유는 기약성 덕분에 구조가 일관되게 유지되기 때문이다.
아핀 다양체 위에서는 함수, 사상, 국소 구조 등을 자연스럽게 정의할 수 있다. 반대로, 기약하지 않은 집합에서는 이러한 정의들이 부분마다 달라져 혼란을 일으킨다.
또한 아핀 다양체는 국소적으로 보았을 때도 일관된 거동을 보인다. 한 점 주변을 확대해서 살펴보아도, 전체 구조와 충돌하지 않는 형태로 분석이 가능하다.
이 점에서 아핀 다양체는 대수기하학에서 ‘좌표가 있는 공간’이 아니라, ‘구조를 담을 수 있는 최소 단위의 공간’이라고 할 수 있다.
아핀 다양체가 이후 이론의 출발점이 되는 이유
대수기하학의 대부분의 개념은 아핀 다양체 위에서 처음 정의된다. 사상, 정칙 함수, 특이점, 국소환 같은 개념들은 모두 아핀 다양체를 기본 무대로 삼는다.
사영 다양체나 더 복잡한 기하적 대상들도 결국은 여러 개의 아핀 다양체를 이어 붙여 만든다. 따라서 아핀 다양체를 정확히 이해하지 못하면, 이후의 개념들은 조각난 퍼즐처럼 느껴질 수 있다.
이 단계에서 중요한 것은 정의 자체보다, 왜 기약성이 공간을 안정시키는가를 이해하는 것이다. 이 감각이 자리 잡으면, 대수기하학의 구조는 훨씬 자연스럽게 이어진다.
정리: 대수기하학의 기본 공간 단위
아핀 다양체는 아핀 공간 위의 대수적 부분집합 가운데, 더 이상 분해되지 않는 기약한 대상이다. 이 개념은 대수기하학이 복잡한 대상을 다루기 위해 선택한 가장 기본적인 공간 단위다.
이제 우리는 아핀 공간이라는 무대 위에, 대수적 부분집합이 등장하고, 그중에서도 기약한 대상이 아핀 다양체로 선택된다는 흐름을 확인했다.
다음 글에서는 아핀 다양체의 성질을 더 깊이 이해하기 위해, 기약 다양체와 비기약 다양체의 차이를 구체적인 예제와 함께 살펴보게 된다. 이 비교를 통해, 왜 기약성이 대수기하학의 핵심 기준이 되는지가 더욱 분명해질 것이다.