앞선 글에서는 아핀 다양체가 대수적 부분집합 가운데서도 ‘공간’으로 다루기 적합한 대상이라는 점을 살펴보았다. 그 기준의 핵심은 기약성이다. 이번 글에서는 이 기약성이라는 개념을 좀 더 정면으로 다룬다. 즉, 기약 다양체와 비기약 다양체가 어떻게 다른지, 왜 이 구분이 대수기하학에서 필수적인지, 그리고 이 차이가 이후 이론 전반에 어떤 영향을 미치는지를 구체적인 예와 함께 설명한다.
겉으로는 하나처럼 보이는 집합들
대수적 부분집합을 처음 접하면, 많은 집합들이 비슷해 보인다. 예를 들어, 아핀 평면 위에 두 개의 직선이 그려져 있을 때, 그것은 하나의 그림처럼 인식된다. 하지만 대수기하학은 이런 시각적 인상에 머물지 않는다.
두 개의 서로 다른 직선이 합쳐진 집합을 생각해 보자. 이 집합은 하나의 식으로 정의될 수도 있고, 여러 식의 조합으로 표현될 수도 있다. 하지만 중요한 점은, 이 집합이 실제로는 서로 독립적인 두 개의 기하적 대상으로 구성되어 있다는 사실이다.
대수기하학에서는 이런 집합을 하나의 공간으로 다루지 않는다. 겉으로 하나처럼 보일 수는 있지만, 내부 구조가 여러 조각으로 나뉘어 있기 때문이다. 이 지점에서 기약성과 비기약성의 구분이 등장한다.
기약 다양체의 의미
기약 다양체란, 두 개의 더 작은 대수적 부분집합의 합으로 표현될 수 없는 대상을 말한다. 즉, 해당 집합을 둘로 나누려 해도, 항상 전체를 다시 얻을 수밖에 없는 경우다.
직관적으로 말하면, 기약 다양체는 ‘더 이상 쪼갤 수 없는 하나의 덩어리’다. 이 덩어리는 단순히 연결되어 있다는 의미를 넘어, 대수적 조건 자체가 하나로 묶여 있다는 뜻을 가진다.
예를 들어, 하나의 직선은 기약이다. 하나의 원도 기약이다. 이들은 내부적으로 복잡할 수는 있지만, 대수적 관점에서 더 작은 독립적 부분으로 분해되지 않는다.
기약 다양체는 대수기하학에서 가장 기본적인 공간 단위로 취급된다. 이후 등장하는 거의 모든 개념은 이 기약한 대상 위에서 정의되거나, 기약한 대상들의 조합으로 확장된다.
비기약 다양체와 분해의 필요성
비기약 다양체는 기약 다양체와 정반대의 성질을 가진다. 즉, 두 개 이상의 더 작은 대수적 부분집합의 합으로 표현될 수 있는 경우다.
대표적인 예는 두 개의 서로 다른 직선이 합쳐진 집합이다. 이 집합은 하나의 대수적 부분집합이지만, 각각의 직선은 독립적인 기하적 의미를 가진다.
대수기하학에서는 이런 비기약 집합을 그대로 연구하지 않는다. 대신, 이를 구성하는 기약 성분들로 분해한 뒤, 각 성분을 개별적으로 분석한다.
이 분해 과정은 단순한 편의가 아니다. 비기약 집합을 하나의 공간으로 다루면, 국소 구조나 함수의 거동이 부분마다 달라져 일관된 이론을 만들기 어렵기 때문이다.
따라서 비기약 다양체는 ‘잘못된 대상’이 아니라, 분해를 전제로 한 출발점이라고 이해하는 것이 옳다.
기약 분해가 주는 구조적 이점
대수기하학의 중요한 사실 중 하나는, 모든 대수적 부분집합이 유한 개의 기약 성분으로 분해된다는 점이다. 즉, 아무리 복잡해 보이는 집합이라도, 결국은 몇 개의 기약 다양체들의 합으로 이해할 수 있다.
이 사실은 대수기하학 전체를 안정적으로 만든다. 복잡한 대상이 등장해도, 그 대상이 속한 범주를 벗어나지 않기 때문이다.
기약 분해를 통해 우리는 다음과 같은 질문을 명확히 할 수 있다. 이 집합의 ‘본질적인 조각’은 무엇인가? 각각의 조각은 어떤 성질을 갖는가? 그리고 이 조각들이 어떻게 결합되어 있는가?
이 질문들은 이후 사상, 차원, 특이점 같은 개념을 다룰 때 반복해서 등장한다. 따라서 기약성과 비기약성의 구분은 단순한 분류 기준이 아니라, 사고의 기본 틀이 된다.
기약성은 왜 대수기하학에 필수적인가
대수기하학은 가능한 한 ‘균질한 대상’을 다루려는 학문이다. 하나의 공간 안에서 정의가 흔들리지 않고, 성질이 일관되게 유지되기를 원한다.
기약 다양체는 이러한 요구를 충족한다. 국소적으로 보나 전역적으로 보나, 하나의 구조 안에서 분석이 가능하기 때문이다.
반면 비기약 다양체는 서로 다른 구조가 한데 모여 있는 상태다. 이를 그대로 두면, 정의와 성질이 뒤섞여 혼란이 발생한다.
그래서 대수기하학은 처음부터 “모든 것은 기약 성분으로 나누어 생각한다”는 원칙을 채택한다. 이 원칙 덕분에, 이론은 복잡해지더라도 방향을 잃지 않는다.
정리: 하나의 공간인가, 여러 조각의 합인가
기약 다양체와 비기약 다양체의 차이는 단순한 용어 차이가 아니다. 그것은 대수기하학이 공간을 어떤 단위로 이해하는지를 보여 주는 핵심 기준이다.
기약 다양체는 더 이상 분해되지 않는 기본 공간이며, 비기약 다양체는 이러한 기본 공간들이 결합된 결과물이다. 대수기하학은 언제나 이 기본 공간으로 되돌아가 사고를 정리한다.
이제 우리는 아핀 공간, 대수적 부분집합, 아핀 다양체, 그리고 기약성이라는 흐름을 통해 대수기하학의 기본 골격을 갖추게 되었다.
다음 글에서는 이 기약 다양체들이 갖는 또 하나의 중요한 속성인 차원을 살펴보며, 대수기하학에서 ‘크기’와 ‘복잡성’이 어떻게 정의되는지를 본격적으로 다룬다.