단체 복합체
대수적 위상수학에서, 단체 복합체(單體複合體, )는 위상 공간을 단체들로 분할하는 구조이다. 이를 사용하여 위상 공간의 호몰로지를 계산할 수 있다.
단체 복합체의 개념은 층 이론을 사용하여 추상적으로 정의할 수도 있고, 조합론적으로 구체적으로 정의할 수도 있다.
공집합이 아닌 유한 집합과 함수의 범주 formula_1를 생각하자. 그 위의 (집합 값의) 준층을 대칭 단체 집합()이라고 한다. 즉, 대칭 단체 집합의 범주는 formula_2이다. 이는 그로텐디크 토포스를 이룬다.
일반적으로, 임의의 작은 범주 위의 준층 formula_3의 원소 가운데 구체적 준층()은 다음과 같은 표준적인 함수
가 단사 함수인 경우이다. (여기서 formula_5는 시작 대상이다.) 모든 준층의 범주 formula_6는 그로텐디크 토포스를 이루지만, 모든 구체적 준층 formula_7의 충실충만한 부분 범주는 준토포스를 이룬다.
formula_1 위의 구체적 준층을 단체 복합체라고 한다. 단체 복합체의 범주
는 준토포스를 이룬다. 정의에 따라 모든 단체 복합체는 대칭 단체 집합이다.
대칭 단체 집합 formula_10에서, 한원소 집합 formula_11의 상 formula_12의 원소를 단체 복합체의 꼭짓점()이라고 한다. 보다 일반적으로, 크기 formula_13의 집합 formula_14의 상 formula_15의 원소를 (퇴화되었을 수 있는) formula_16차원 단체()라고 한다. (따라서 꼭짓점은 0차원 단체이다.) 표준적인 함수
아래, formula_18의 상 formula_19의 성분들을 단체 formula_20의 꼭짓점(-點, )이라고 한다. 단체 복합체의 경우 단체는 그 꼭짓점들로부터 완전히 결정되지만, 일반적 대칭 단체 집합의 경우 그렇지 않다. 모든 꼭짓점들이 서로 다른 단체를 비퇴화 단체()라고 하고, 일부 꼭짓점들이 일치하는 단체를 퇴화 단체()라고 한다. (모든 꼭짓점은 한원소 집합으로서 비퇴화 단체이다.)
대칭 단체 집합의 단체 사상()은 준층의 사상이다 (즉, 함자의 자연 변환이다).
단체 복합체의 개념은 매우 구체적으로 정의할 수 있으며, 이 정의는 준층을 통한 추상적 정의와 동치이다.
단체 복합체 formula_21는 다음과 같은 데이터로 구성된다.
이 데이터는 다음 조건들을 만족시켜야 한다.
중복집합에서, 중복되는 원소를 제거하여 집합으로 만드는 과정을 formula_37라고 하자. 그렇다면, 꼭짓점들로 구성된 중복집합 formula_20에 대하여, 만약 formula_39가 비퇴화 단체라면, formula_20를 단체()라고 한다. 비퇴화 단체가 아닌 단체를 퇴화 단체()라고 한다.
두 단체 복합체 formula_21, formula_42 사이의 단체 사상() formula_43은 다음 조건을 만족시키는 함수 formula_44이다.
즉, 단체 사상은 formula_16차원 단체는 formula_16차원 단체에 대응시킨다. 다만, 비퇴화 단체 또한 (같은 차원의) 퇴화 단체에 대응될 수 있다.
단체 복합체 formula_21이 주어졌다고 하자. 그렇다면, 각 formula_16차원 (추상적) 비퇴화 단체에 (위상 공간인) 실제 단체 formula_51을 대응시키고, 그 면들을 경계 사상을 통해 서로 적절히 붙여 위상 공간을 정의할 수 있다. 이를 단체 복합체의 기하학적 실현() formula_52이라고 한다. 위상 공간 formula_53에 대하여, 만약 단체 복합체 formula_21의 기하학적 실현이 formula_53와 위상 동형이라면, formula_21를 formula_53 위의 삼각 분할()이라고 한다.
델타 복합체도 단체 복합체나 단체 집합과 같이 준층으로서 정의할 수 있으며, 구체적으로 정의할 수도 있다.
델타 복합체는 공집합이 아닌 유한 전순서 집합과 증가 단사 함수의 범주 formula_58 위의 준층이다. 모든 증가 함수 대신 단사 함수만을 여기는 것은 (단체 집합과 달리) 경계 사상만 있고, 퇴화 사상이 없는 것을 뜻한다. 퇴화 사상이 없으므로, 모든 단체들이 비퇴화 단체가 된다.
델타 복합체의 델타 사상()은 준층의 사상이다. (즉, 자연 변환이다.) 그런데 모든 단체들이 비퇴화 단체이므로, 델타 사상은 비퇴화 단체를 항상 비퇴화 단체에 대응시켜야 한다. 즉, 단체 복합체나 단체 집합의 사상과는 달리, 델타 사상 아래 단체가 퇴화될 수 없다.
델타 복합체는 다음과 같은 데이터로 구성된다.
이들은 다음 조건을 만족시켜야 한다. (이는 단체 집합의 정의에 등장하는 첫째 단체 항등식이다.)
델타 복합체 역시 기하학적 실현()을 정의할 수 있다. 이 경우 모든 단체들이 비퇴화 단체가 된다.
델타 복합체와 단체 복합체의 주된 차이는 다음과 같다.
그러나 단체 복합체와 마찬가지로 (단체 집합과 달리) 델타 복합체는 자명하지 않은 퇴화 단체들을 갖지 않는다. 따라서, 델타 복합체는 단체 복합체와 단체 집합의 중간 개념으로 생각할 수 있다.
위상 공간 formula_53가 주어졌다고 하자. 그렇다면, formula_60을 모든 연속 함수 formula_69의 집합으로 하고, 이들을 면을 따라 이어붙여 매우 큰 공간 formula_70를 만들 수 있다. 그렇다면, formula_70의 단체 사슬 복합체는 formula_53의 특이 사슬 복합체와 같다. 즉, 특이 호몰로지는 단체 호몰로지의 특수한 경우이다.
델타 복합체로 나타낼 수 있는 위상 공간은 항상 단체 복합체로서 나타낼 수 있다.
단체 복합체에서 위상 공간으로 가는 기하학적 실현 함자
는 유한 곱조차 보존하지 않는다. (반면 단체 집합의 기하학적 실현은 동등자와 유한 곱을 보존한다.)
주어진 다양체가 삼각 분할을 갖는지 여부는 어려운 문제이다. 모든 매끄러운 다양체는 삼각 분할을 갖지만, (위상) 다양체의 경우 일반적으로 그렇지 않다.
델타 복합체 구조로부터, 위상 공간의 호몰로지를 계산할 수 있다. 이를 단체 호몰로지(單體homology, )라고 한다.
위상 공간 formula_53 위의 델타 복합체 formula_75가 주어졌다고 하자. formula_53 위의 formula_16차 단체 사슬의 군은 formula_16차 단체들로 생성되는 자유 아벨 군이다.
formula_16차 단체 formula_81의 경계() formula_82는 다음과 같다.
여기서 formula_84은 표준 단체 formula_85의 꼭짓점들이며, formula_86은 formula_87를 포함하지 않는 유일한 면이다.
이 정의를 단체 사슬 군에 formula_88-선형으로 확장하여, 사슬 복합체
를 정의할 수 있다. (formula_90인 것은 쉽게 확일할 수 있다.) 이를 단체 사슬 복합체()라고 하며, 그 호몰로지를 단체 호몰로지()
라고 한다.
델타 복합체의 특이 호몰로지는 단체 호몰로지와 동형이다. 따라서, 단체 호몰로지는 사용한 델타 복합체 구조에 의존하지 않는다.
formula_92를 공집합이 아닌 유한 전순서 집합과 증가 함수의 범주라고 하자. 그렇다면, 단체 집합의 범주는 준층 범주 formula_93이다. 전순서를 잊는 망각 함자
를 통해, 다음과 같은 단체 복합체 → 대칭 단체 집합 → 단체 집합으로 가는 함자들이 존재한다.
단체 집합은 공집합이 아닌 유한 전순서 집합과 모든 증가 함수의 범주 formula_96 위의 준층이다. 따라서, 충만하지 않는 포함 함자
에 대하여 망각 함자
가 존재한다. 이는 단체 집합에서 퇴화 사상을 망각하는 것에 해당한다. 이 함자 아래 퇴화 단체도 비퇴화 단체에 대응되므로, 이 함자는 기하학적 실현과 호환되지 않는다.
델타 복합체의 개념은 사무엘 에일렌베르크와 조지프 에이브러햄 질버()가 1949년에 "반단체 복합체"()라는 이름으로 도입하였다. 이후 이 이름은 에일렌베르크와 질버가 도입한 개념 대신 단체 집합을 지칭하게 되었고, 대신 에일렌베르크와 질버의 원래 개념은 "델타 복합체"로 불리게 되었다. (그 뒤 반단체 복합체는 다시 "단체 집합"으로 간단히 불리게 되었다.)