대수위상수학 (Algebraic Topology)

대수위상수학(Algebraic Topology)은 위상 공간의 성질을 대수적 구조(군, 환, 모듈 등)로 변환하여 연구하는 수학 분야입니다. 위상 공간의 "구멍"이나 "연결 상태"처럼 연속 변형으로 보존되는 성질을 수(數)와 대수 구조로 표현하여, 공간이 서로 같은지 다른지를 엄밀하게 판별합니다.

왜 "대수"와 "위상"을 합칩니까?

위상수학에서는 "도넛과 커피잔은 같다"고 합니다. 둘 다 구멍이 하나이기 때문입니다. 그러나 "구멍이 하나"라는 말은 직관적이지 정확하지 않습니다. 대수위상수학은 이 직관을 수학적으로 정밀하게 만듭니다. 공간에 들어 있는 고리(루프)의 집합이 어떤 군(群)을 이루는지 계산하면, 구멍의 개수와 구조를 숫자와 대수 구조로 정확하게 표현할 수 있습니다.

비유로 이해하기: 찰흙으로 만든 도형을 생각해 보십시오. 찰흙을 자르거나 붙이지 않고 늘이고 구부리기만 할 때, 변하지 않는 성질이 있습니다. 대수위상수학은 그 성질에 "이름표"를 붙이는 작업입니다. 예를 들어 "이 도형에는 고리 모양의 길이 3종류 있으므로 기본군은 $\mathbb{Z}^3$이다"와 같이 말합니다. 이 이름표가 같으면 두 도형은 본질적으로 같고, 다르면 절대로 같아질 수 없습니다.

호모토피 (Homotopy)

호모토피의 정의

두 연속함수(continuous function) $f, g : X \to Y$가 있을 때, $f$를 연속적으로 변형하여 $g$로 바꿀 수 있으면 두 함수는 호모토피 관계(homotopic)에 있다고 합니다. 정확하게 말하면, 연속함수 $H : X \times [0, 1] \to Y$가 존재하여 다음을 만족하면 됩니다.

$$H(x, 0) = f(x), \quad H(x, 1) = g(x) \quad (\text{모든 } x \in X)$$

여기서 $H$를 $f$와 $g$ 사이의 호모토피(homotopy)라 부르며, $f \simeq g$로 표기합니다. 매개변수 $t \in [0, 1]$는 "시간"이라고 생각하면 됩니다. 시간 $0$에서 $f$로 시작하여 시간 $1$에서 $g$로 끝나는 연속적인 변형입니다.

호모토피 동치 (Homotopy Equivalence)

두 위상 공간 $X$와 $Y$가 호모토피 동치(homotopy equivalent)라 함은, 연속함수 $f : X \to Y$와 $g : Y \to X$가 존재하여 $g \circ f \simeq \text{id}_X$이고 $f \circ g \simeq \text{id}_Y$인 것입니다. 이때 $X \simeq Y$로 표기합니다.

호모토피 동치는 위상동형(homeomorphism)보다 넓은 개념입니다. 위상동형은 $g \circ f = \text{id}_X$를 요구하지만, 호모토피 동치는 $g \circ f \simeq \text{id}_X$ (호모토피 관계)만 요구합니다.

예시:

점과 실수 직선: $\mathbb{R}^n$은 한 점 $\{0\}$과 호모토피 동치입니다. $\mathbb{R}^n$ 전체를 원점으로 연속적으로 수축시킬 수 있기 때문입니다. 이처럼 한 점으로 수축 가능한 공간을 가축 가능(contractible)하다고 합니다.
원과 구멍 뚫린 평면: 원 $S^1$은 $\mathbb{R}^2 \setminus \{0\}$ (원점이 빠진 평면)과 호모토피 동치입니다.
뫼비우스 띠와 원: 뫼비우스 띠(Möbius strip)는 그 중심선인 원 $S^1$과 호모토피 동치입니다.

기본군 (Fundamental Group)

기본군의 정의와 군 구조

위상 공간 $X$에서 한 점 $x_0$을 잡고, $x_0$에서 출발하여 $x_0$으로 돌아오는 연속 경로(루프, loop)들을 생각합니다. 두 루프가 호모토피 관계에 있으면(시작점을 고정한 채 연속적으로 변형하여 서로 바꿀 수 있으면) 같은 것으로 봅니다. 이 동치류(equivalence class)들의 집합에 "이어 붙이기(concatenation)" 연산을 정의하면 군(group)이 됩니다. 이 군을 기본군(fundamental group)이라 하고, $\pi_1(X, x_0)$으로 표기합니다.

$$\pi_1(X, x_0) = \{ [\gamma] \mid \gamma : [0,1] \to X,\; \gamma(0) = \gamma(1) = x_0 \}$$

여기서 $[\gamma]$는 루프 $\gamma$의 호모토피 동치류입니다. 연산은 두 루프를 이어 붙이는 것이고, 항등원은 $x_0$에 가만히 있는 상수 루프, 역원은 루프를 반대 방향으로 도는 것입니다.

직관적 이해: 도넛 표면 위에 고무줄 하나를 놓았다고 상상해 보십시오. 고무줄이 도넛의 구멍을 감싸고 있다면, 아무리 잡아당겨도 한 점으로 줄일 수 없습니다. 그러나 구멍을 감싸지 않는 고무줄은 한 점으로 수축시킬 수 있습니다. 기본군은 "고무줄이 구멍을 몇 바퀴 감싸는가"를 세는 대수적 장치입니다.

기본군의 계산

공간 $X$	기본군 $\pi_1(X)$	설명
$\mathbb{R}^n$	$0$ (자명군)	가축 가능하므로 모든 루프가 한 점으로 수축됨
$S^n$ ($n \ge 2$)	$0$ (자명군)	$n$차원 구면은 단순연결
$S^1$ (원)	$\mathbb{Z}$	루프가 원을 몇 바퀴 감는지(정수)로 분류
$T^2$ (토러스)	$\mathbb{Z} \times \mathbb{Z}$	가로 방향과 세로 방향으로 각각 감는 횟수
$\mathbb{R}P^2$ (실사영평면)	$\mathbb{Z}/2\mathbb{Z}$	루프를 두 번 돌면 수축 가능
$S^1 \vee S^1$ (두 원의 쐐기합)	$F_2$ (자유군)	비가환 자유군, 원소 2개로 생성
클라인 병(Klein bottle)	$\langle a, b \mid abab^{-1} \rangle$	비가환군

기본군과 자유군

자유군(free group) $F_n$은 $n$개의 생성원 사이에 아무런 관계식이 없는 군입니다. 대수위상수학에서 자유군은 쐐기합(wedge sum)의 기본군으로 자연스럽게 나타납니다.

자유군과 기본군의 관계:

$\pi_1(S^1 \vee S^1 \vee \cdots \vee S^1) \cong F_n$ ($n$개의 원의 쐐기합)
$n$개의 점이 빠진 평면 $\mathbb{R}^2 \setminus \{p_1, \ldots, p_n\}$의 기본군은 $F_n$입니다.
그래프(1차원 CW 복합체)의 기본군은 항상 자유군입니다. 생성원의 수는 $1 - \chi(\text{그래프}) = 1 - V + E$입니다.

자유군의 핵심 성질은 닐센-슈라이어 정리(Nielsen–Schreier theorem)입니다. 자유군의 부분군은 다시 자유군입니다. $F_n$의 지수(index) $k$인 부분군은 $F_{k(n-1)+1}$과 동형입니다. 이 정리는 피복 공간 이론을 통해 위상적으로 증명할 수 있습니다.

기본군의 추가 계산 예제

공간 $X$	기본군 $\pi_1(X)$	계산 방법
$n$겹 토러스 $\Sigma_g$	$\langle a_1, b_1, \ldots, a_g, b_g \mid \prod [a_i, b_i] = 1 \rangle$	반 캄펜 정리
$SO(3)$	$\mathbb{Z}/2\mathbb{Z}$	$S^3 \to SO(3)$ 이중 피복
렌즈 공간 $L(p,q)$	$\mathbb{Z}/p\mathbb{Z}$	CW 구조 + 반 캄펜
매듭 여공간 $S^3 \setminus K$	매듭군(knot group)	비르팅어 표시(Wirtinger)
$\mathbb{C} \setminus \{0\}$	$\mathbb{Z}$	$S^1$과 호모토피 동치
$\mathbb{C} \setminus \{0, 1\}$	$F_2$	$S^1 \vee S^1$과 호모토피 동치

세잎매듭(trefoil knot)의 매듭군: 세잎매듭의 여공간 $S^3 \setminus K$의 기본군은 다음과 같습니다. $$\pi_1(S^3 \setminus K) = \langle a, b \mid a^2 = b^3 \rangle$$ 이 군은 무한군이며 비아벨입니다. 땋임군(braid group) $B_3$과 동형이기도 합니다.

피복 공간 (Covering Spaces)

피복 공간의 정의

피복 사상(covering map)이란, 연속 전사 함수 $p : \tilde{X} \to X$가 다음 조건을 만족하는 것입니다. $X$의 각 점 $x$에 대하여, $x$를 포함하는 열린집합 $U$가 존재하여 $p^{-1}(U)$가 서로소인 열린집합들의 합집합이 되고, 각 열린집합에서 $p$의 제한이 $U$로의 위상동형(homeomorphism)인 것입니다.

이때 $\tilde{X}$를 $X$의 피복 공간(covering space)이라 합니다.

예시:

실수 직선과 원: $p : \mathbb{R} \to S^1$, $p(t) = e^{2\pi i t}$는 피복 사상입니다. 실수 직선이 원 위에 나선형으로 감기는 모양입니다. 이것은 $S^1$의 보편 피복 공간(universal covering space)입니다.
구면과 실사영공간: $p : S^n \to \mathbb{R}P^n$, $p(x) = [x]$ (대척점을 동일시)는 2겹 피복 사상입니다.

경로 올리기와 호모토피 올리기

피복 공간의 핵심 성질은 경로 올리기(path lifting)입니다. $X$에서의 경로 $\gamma$와 $\tilde{X}$에서의 시작점 $\tilde{x}_0$이 주어지면, $p(\tilde{x}_0) = \gamma(0)$을 만족하는 $\tilde{X}$에서의 유일한 경로 $\tilde{\gamma}$가 존재합니다.

또한 호모토피 올리기(homotopy lifting)도 성립합니다. $X$에서의 호모토피도 $\tilde{X}$로 유일하게 올릴 수 있습니다. 이 성질로부터 다음의 중요한 정리가 따릅니다.

피복 공간과 기본군의 관계: $X$가 경로 연결이고 국소 경로 연결인 공간이면, $X$의 피복 공간은(기저점을 보존하는 동치 관계까지) $\pi_1(X, x_0)$의 부분군과 일대일 대응합니다. $$\{\text{피복 공간 } \tilde{X} \to X\} \longleftrightarrow \{\text{부분군 } H \le \pi_1(X, x_0)\}$$ 특히, 보편 피복 공간은 자명 부분군 $\{e\}$에 대응하며, 이때 $\pi_1(X, x_0) \cong \text{Deck}(\tilde{X} / X)$ (갑판 변환군)이 성립합니다.

보편 피복 공간 (Universal Covering Space)

보편 피복 공간(universal covering space)은 단순연결(simply connected)인 피복 공간, 즉 $\pi_1(\tilde{X}) = 0$인 피복 공간입니다. $X$가 연결이고 국소 단순연결(locally simply connected)이면, 보편 피복 공간이 존재하며 동형을 제외하면 유일합니다.

보편 피복 공간의 예:

$S^1$의 보편 피복: $\mathbb{R} \xrightarrow{t \mapsto e^{2\pi it}} S^1$. 갑판 변환군은 $\mathbb{Z}$ (정수 평행이동).
$T^2$의 보편 피복: $\mathbb{R}^2 \xrightarrow{} T^2$. 갑판 변환군은 $\mathbb{Z}^2$.
$\mathbb{R}P^n$의 보편 피복: $S^n \xrightarrow{} \mathbb{R}P^n$. 갑판 변환군은 $\mathbb{Z}/2\mathbb{Z}$.
$S^1 \vee S^1$의 보편 피복: 무한 4가(valency 4) 트리. 갑판 변환군은 $F_2$.
클라인 병의 보편 피복: $\mathbb{R}^2$. 갑판 변환군은 $\langle a, b \mid abab^{-1} \rangle$.

갈루아 대응 (Galois Correspondence)

피복 공간 이론의 핵심은 갈루아 이론(Galois theory)과의 구조적 유사성입니다. 체 확대에서 중간체와 갈루아 군의 부분군 사이의 대응처럼, 피복 공간에서도 유사한 대응이 성립합니다.

피복 공간의 갈루아 대응: $X$가 연결이고 국소 단순연결인 공간이면, 다음의 일대일 대응이 존재합니다. $$\left\{\begin{array}{c}\text{$X$의 연결 피복 공간} \\ \text{(기저점 보존 동형 제외)}\end{array}\right\} \;\longleftrightarrow\; \left\{\begin{array}{c}\text{$\pi_1(X, x_0)$의} \\ \text{켤레류(conjugacy class)}\end{array}\right\}$$

보편 피복 $\tilde{X}$ $\longleftrightarrow$ 자명 부분군 $\{e\}$
자기 자신 $X$ $\longleftrightarrow$ 전체군 $\pi_1(X)$
정규 부분군 $N \trianglelefteq \pi_1(X)$ $\longleftrightarrow$ 정규 피복(regular/normal covering), 이때 $\text{Deck}(\tilde{X}/X) \cong \pi_1(X)/N$

특히, 정규 피복 공간에서는 갑판 변환군이 기저 공간 위에 추이적(transitive)으로 작용합니다. 이 대응은 갈루아 이론에서 정규 확대(normal extension)가 갈루아 군의 정규 부분군에 대응하는 것과 정확히 평행합니다.

반 캄펜 정리 (Van Kampen's Theorem)

기본군을 직접 계산하기 어려운 경우, 공간을 간단한 조각으로 분해하여 각 조각의 기본군을 합쳐서 전체 기본군을 구하는 방법이 있습니다. 이를 가능하게 하는 것이 자이페르트-반 캄펜 정리(Seifert–van Kampen theorem)입니다.

반 캄펜 정리: 위상 공간 $X$가 경로 연결인 열린집합 $U_1, U_2$의 합집합 $X = U_1 \cup U_2$이고, $U_1 \cap U_2$도 경로 연결이면: $$\pi_1(X) \cong \pi_1(U_1) *_{\pi_1(U_1 \cap U_2)} \pi_1(U_2)$$ 여기서 $*_{\pi_1(U_1 \cap U_2)}$는 $\pi_1(U_1 \cap U_2)$에 의한 자유곱의 아말감(amalgamated free product)입니다.

직관적 이해: 공간을 두 조각 $U_1$, $U_2$로 나누고, 각 조각의 기본군을 알고 있으면, 두 조각이 겹치는 부분 $U_1 \cap U_2$의 기본군이 어떻게 양쪽에 포함되는지만 파악하면 전체 기본군을 구할 수 있습니다.

응용 예시

쐐기합 $S^1 \vee S^1$: 두 원의 쐐기합(wedge sum)의 기본군은 $\pi_1(S^1) * \pi_1(S^1) = \mathbb{Z} * \mathbb{Z} = F_2$ (2원소 자유군)입니다. 교집합이 한 점이므로 아말감 관계가 자명합니다.
$n$개 구멍 뚫린 평면: 기본군은 $n$개 생성원의 자유군 $F_n$입니다.
종수(genus) $g$인 닫힌 곡면: 반 캄펜 정리를 반복 적용하면 기본군의 표시(presentation)를 얻을 수 있습니다.
토러스 $T^2$: 토러스를 두 열린집합으로 분해합니다. $U_1$은 토러스에서 한 점을 뺀 것(구멍 뚫린 토러스, $S^1 \vee S^1$과 호모토피 동치), $U_2$는 그 점 주변의 원판입니다. $U_2$는 가축 가능하므로 $\pi_1(U_2) = 0$이고, $U_1 \cap U_2 \simeq S^1$입니다. 아말감 관계를 분석하면 $\pi_1(T^2) \cong \mathbb{Z} \times \mathbb{Z}$를 얻습니다.
클라인 병: 토러스와 유사하게 분해하되, 부착 사상이 $aba^{-1}b$ (토러스의 $aba^{-1}b^{-1}$과 다름)이므로 $\pi_1(K) = \langle a, b \mid abab^{-1} \rangle$이 됩니다.

$$\pi_1(\Sigma_g) = \langle a_1, b_1, \ldots, a_g, b_g \mid [a_1, b_1] \cdots [a_g, b_g] = 1 \rangle$$

단체 호몰로지 (Simplicial Homology)

단체와 단체 복합체

$n$-단체($n$-simplex)란, $\mathbb{R}^{n+1}$에서 일반적 위치(general position)에 있는 $n+1$개의 점 $v_0, v_1, \ldots, v_n$의 볼록 결합(convex hull)입니다.

$$\sigma^n = [v_0, v_1, \ldots, v_n] = \left\{ \sum_{i=0}^{n} t_i v_i \;\middle|\; t_i \ge 0,\; \sum t_i = 1 \right\}$$

$0$-단체: 점
$1$-단체: 선분
$2$-단체: 삼각형
$3$-단체: 사면체

단체 복합체(simplicial complex)란, 단체들의 모임으로서 다음 두 조건을 만족하는 것입니다. (1) 한 단체의 면(face)도 그 모임에 포함되고, (2) 두 단체의 교집합은 각각의 면이 됩니다.

사슬 복합체와 경계 연산자

단체 복합체 $K$에 대하여, $n$차 사슬군(chain group) $C_n(K)$를 $n$-단체들의 형식적 정수 결합(formal integer linear combination)으로 정의합니다. 경계 연산자(boundary operator) $\partial_n : C_n(K) \to C_{n-1}(K)$는 다음과 같이 정의됩니다.

$$\partial_n [v_0, \ldots, v_n] = \sum_{i=0}^{n} (-1)^i [v_0, \ldots, \hat{v}_i, \ldots, v_n]$$

여기서 $\hat{v}_i$는 $v_i$를 생략한다는 뜻입니다. 핵심 성질은 $\partial_{n-1} \circ \partial_n = 0$입니다. 이 성질로부터 호몰로지 군을 정의할 수 있습니다.

$n$차 단체 호몰로지 군(simplicial homology group): $$H_n(K) = \ker \partial_n \;/\; \text{im}\, \partial_{n+1} = Z_n(K) \;/\; B_n(K)$$ 여기서 $Z_n = \ker \partial_n$은 순환군(cycle group), $B_n = \text{im}\, \partial_{n+1}$은 경계군(boundary group)입니다.

직관적 이해: 순환(cycle)이란 "경계가 없는 사슬"입니다. 예를 들어, 세 변으로 이루어진 삼각형의 둘레는 1차 순환입니다. 경계(boundary)란 "더 높은 차원의 것에 의해 채워진 순환"입니다. 삼각형 면이 있으면 그 둘레는 경계가 됩니다. 호몰로지란 "순환이지만 경계가 아닌 것"의 모임으로, 채워지지 않은 구멍을 탐지합니다.

특이 호몰로지 (Singular Homology)

특이 호몰로지의 정의

단체 호몰로지는 단체 복합체 구조에 의존합니다. 이를 임의의 위상 공간으로 확장한 것이 특이 호몰로지(singular homology)입니다.

표준 $n$-단체 $\Delta^n$에서 위상 공간 $X$로의 연속함수 $\sigma : \Delta^n \to X$를 특이 $n$-단체(singular $n$-simplex)라 합니다. $\sigma$는 단사(injective)일 필요가 없으므로, 단체의 이미지가 찌그러지거나 겹칠 수 있습니다. 이것이 "특이(singular)"라는 이름의 유래입니다.

특이 $n$-단체들의 형식적 정수 결합으로 특이 사슬군(singular chain group) $S_n(X)$를 정의하고, 경계 연산자를 단체 호몰로지와 같은 부호 규칙으로 정의합니다. 그러면 $\partial_{n-1} \circ \partial_n = 0$이 여전히 성립하며, 호몰로지 군을 정의할 수 있습니다.

$$H_n(X) = \ker(\partial_n : S_n(X) \to S_{n-1}(X)) \;/\; \text{im}(\partial_{n+1} : S_{n+1}(X) \to S_n(X))$$

아일렌베르크-스틴로드 공리 (Eilenberg–Steenrod Axioms)

특이 호몰로지는 다음 공리들을 만족합니다. 이 공리들을 만족하는 이론은 본질적으로 유일합니다.

호모토피 공리(Homotopy Axiom): $f \simeq g$이면 $f_* = g_* : H_n(X) \to H_n(Y)$입니다. 즉, 호모토피 관계인 함수는 같은 호몰로지 사상을 유도합니다.
절제 공리(Excision Axiom): $Z \subset A \subset X$이고 $\overline{Z} \subset \text{int}(A)$이면, 포함 사상 $(X \setminus Z, A \setminus Z) \hookrightarrow (X, A)$가 호몰로지에서 동형사상을 유도합니다.
차원 공리(Dimension Axiom): 한 점의 호몰로지는 $H_0(\text{pt}) \cong \mathbb{Z}$이고, $n \ge 1$이면 $H_n(\text{pt}) = 0$입니다.
정확열 공리(Exactness Axiom): 쌍 $(X, A)$에 대하여 긴 정확열(long exact sequence)이 존재합니다. $$\cdots \to H_n(A) \to H_n(X) \to H_n(X, A) \to H_{n-1}(A) \to \cdots$$
가산 가법성(Additivity): $X = \bigsqcup_\alpha X_\alpha$이면 $H_n(X) \cong \bigoplus_\alpha H_n(X_\alpha)$입니다.

호몰로지의 성질

긴 정확열 (Long Exact Sequence)

공간 쌍 $A \subset X$에 대하여, 상대 호몰로지(relative homology) $H_n(X, A)$를 정의하면, 다음의 긴 정확열이 존재합니다.

$$\cdots \xrightarrow{\partial} H_n(A) \xrightarrow{i_*} H_n(X) \xrightarrow{j_*} H_n(X, A) \xrightarrow{\partial} H_{n-1}(A) \xrightarrow{i_*} \cdots$$

이 정확열은 호몰로지 계산의 가장 강력한 도구 중 하나입니다. $A$와 $X$의 호몰로지 중 두 개를 알면 나머지 하나를 결정할 수 있습니다.

마이어-비에토리스 열 (Mayer–Vietoris Sequence)

$X = A \cup B$이고 $A, B$가 열린집합(또는 적절한 조건을 만족하는 부분공간)이면, 다음의 마이어-비에토리스 정확열(Mayer–Vietoris exact sequence)이 성립합니다.

$$\cdots \to H_n(A \cap B) \xrightarrow{(\alpha, \beta)} H_n(A) \oplus H_n(B) \xrightarrow{\gamma} H_n(X) \xrightarrow{\delta} H_{n-1}(A \cap B) \to \cdots$$

반 캄펜 정리의 호몰로지 버전: 마이어-비에토리스 열은 반 캄펜 정리의 호몰로지 버전이라 할 수 있습니다. 공간을 두 부분으로 나누어 각 부분의 호몰로지를 합산하는 역할을 합니다.

절제 정리 (Excision Theorem)

$Z \subset A \subset X$에서 $\overline{Z} \subset \text{int}(A)$이면, 포함 $(X \setminus Z, A \setminus Z) \hookrightarrow (X, A)$에 의해 유도되는 사상

$$H_n(X \setminus Z, A \setminus Z) \xrightarrow{\cong} H_n(X, A)$$

이 모든 $n$에 대하여 동형사상입니다. 직관적으로, $A$의 "깊은 내부"에 있는 부분 $Z$를 제거해도 상대 호몰로지가 변하지 않는다는 뜻입니다.

주요 공간의 호몰로지

공간	$H_0$	$H_1$	$H_2$	$H_n$ ($n \ge 3$)
점 $\{\text{pt}\}$	$\mathbb{Z}$	$0$	$0$	$0$
$S^1$	$\mathbb{Z}$	$\mathbb{Z}$	$0$	$0$
$S^2$	$\mathbb{Z}$	$0$	$\mathbb{Z}$	$0$
$S^n$	$\mathbb{Z}$	$0$	$0$	$H_n \cong \mathbb{Z}$, 나머지 $0$
$T^2$	$\mathbb{Z}$	$\mathbb{Z}^2$	$\mathbb{Z}$	$0$
$\mathbb{R}P^2$	$\mathbb{Z}$	$\mathbb{Z}/2\mathbb{Z}$	$0$	$0$
클라인 병	$\mathbb{Z}$	$\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$	$0$	$0$

호몰로지의 상세 계산

토러스 $T^2$의 셀 호몰로지 계산: CW 구조는 $0$-셀 1개($v$), $1$-셀 2개($a, b$), $2$-셀 1개($\sigma$)로 구성됩니다.

$C_0 = \mathbb{Z}\langle v \rangle$, $C_1 = \mathbb{Z}\langle a, b \rangle$, $C_2 = \mathbb{Z}\langle \sigma \rangle$
$\partial_1(a) = v - v = 0$, $\partial_1(b) = v - v = 0$ (루프이므로)
$\partial_2(\sigma) = a + b - a - b = 0$ (부착 사상 $aba^{-1}b^{-1}$)
$H_0 = \mathbb{Z}$, $H_1 = \ker \partial_1 / \text{im}\,\partial_2 = \mathbb{Z}^2 / 0 = \mathbb{Z}^2$, $H_2 = \ker \partial_2 = \mathbb{Z}$

실사영공간 $\mathbb{R}P^n$의 호몰로지: $\mathbb{R}P^n$은 각 차원에 정확히 하나의 셀을 가집니다. 셀 경계 사상을 분석하면 다음을 얻습니다. $$H_k(\mathbb{R}P^n; \mathbb{Z}) = \begin{cases} \mathbb{Z} & k = 0 \\ \mathbb{Z}/2\mathbb{Z} & k \text{ 홀수}, 0 < k < n \\ \mathbb{Z} & k = n \text{ (}n\text{ 홀수일 때)} \\ 0 & \text{그 외} \end{cases}$$ 특히, $H_1(\mathbb{R}P^2) = \mathbb{Z}/2\mathbb{Z}$이며, 이는 $\mathbb{R}P^2$가 비방향적(non-orientable)임을 반영합니다.

클라인 병의 호몰로지 계산: CW 구조는 토러스와 같이 $0$-셀 1개, $1$-셀 2개($a, b$), $2$-셀 1개이지만, 부착 사상이 $aba^{-1}b$ ($b^{-1}$ 대신 $b$)입니다.

$\partial_2(\sigma) = a + b - a + b = 2b$
$H_0 = \mathbb{Z}$, $H_1 = \mathbb{Z}\langle a, b \rangle / \langle 2b \rangle \cong \mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$, $H_2 = 0$

$H_2 = 0$은 클라인 병이 비방향적이므로 "기본류(fundamental class)"를 가지지 않는다는 것을 의미합니다.

마이어-비에토리스 열의 계산 예제

마이어-비에토리스 열을 이용하면 공간을 분해하여 호몰로지를 체계적으로 계산할 수 있습니다.

$S^n$의 호몰로지 (마이어-비에토리스): $S^n$을 북반구 $A$와 남반구 $B$로 분해합니다. $A \cap B \simeq S^{n-1}$이고, $A \simeq B \simeq \text{pt}$입니다. 마이어-비에토리스 열에서: $$\cdots \to H_k(S^{n-1}) \xrightarrow{(\alpha,\beta)} H_k(\text{pt}) \oplus H_k(\text{pt}) \xrightarrow{\gamma} H_k(S^n) \xrightarrow{\delta} H_{k-1}(S^{n-1}) \to \cdots$$ $k \ge 2$일 때 $H_k(\text{pt}) = 0$이므로, $\delta : H_k(S^n) \xrightarrow{\cong} H_{k-1}(S^{n-1})$이 동형사상이 됩니다. 귀납법으로 $H_k(S^n) \cong \mathbb{Z}$ ($k = 0, n$), $0$ (그 외)를 얻습니다.

$T^2$의 호몰로지 (마이어-비에토리스): 토러스를 두 원통(cylinder)으로 분해합니다. 각 원통은 $S^1$과 호모토피 동치이고, 교집합은 두 개의 원 $S^1 \sqcup S^1$입니다. 마이어-비에토리스 열의 $H_1$ 부분을 분석하면: $$0 \to H_2(T^2) \xrightarrow{\delta} H_1(S^1 \sqcup S^1) \to H_1(S^1) \oplus H_1(S^1) \to H_1(T^2) \to H_0(S^1 \sqcup S^1) \to \cdots$$ $$0 \to H_2(T^2) \xrightarrow{\delta} \mathbb{Z}^2 \xrightarrow{\phi} \mathbb{Z}^2 \to H_1(T^2) \to \mathbb{Z}^2 \xrightarrow{\psi} \mathbb{Z}^2 \to \cdots$$ 사상 $\phi$와 $\psi$를 명시적으로 계산하면 $H_2(T^2) \cong \mathbb{Z}$, $H_1(T^2) \cong \mathbb{Z}^2$를 얻습니다.

오일러 표수 (Euler Characteristic)

오일러 표수(Euler characteristic)는 위상 공간의 가장 기본적인 불변량 중 하나입니다. 유한 CW 복합체 $X$에 대하여 다음과 같이 정의됩니다.

$$\chi(X) = \sum_{n=0}^{\infty} (-1)^n \, \text{rank}\, H_n(X) = \sum_{n=0}^{\infty} (-1)^n \, b_n$$

여기서 $b_n = \text{rank}\, H_n(X; \mathbb{Z})$는 $n$차 베티 수(Betti number)입니다.

유한 단체 복합체의 경우, 사슬 수준에서 직접 계산할 수도 있습니다.

$$\chi(K) = \sum_{n=0}^{\dim K} (-1)^n \, c_n$$

여기서 $c_n$은 $n$-단체의 개수입니다. 이 공식은 다면체에 대한 오일러의 고전적 공식 $V - E + F = 2$를 일반화한 것입니다.

오일러 표수의 예:

$\chi(\text{점}) = 1$
$\chi(S^1) = 0$ — 원: $b_0 = 1, b_1 = 1$이므로 $1 - 1 = 0$
$\chi(S^2) = 2$ — 구면: $b_0 = 1, b_1 = 0, b_2 = 1$이므로 $1 - 0 + 1 = 2$
$\chi(T^2) = 0$ — 토러스: $b_0 = 1, b_1 = 2, b_2 = 1$이므로 $1 - 2 + 1 = 0$
$\chi(\Sigma_g) = 2 - 2g$ — 종수 $g$인 닫힌 곡면

오일러 공식 $V - E + F = 2$: 임의의 볼록 다면체에서 꼭짓점 수 $V$, 모서리 수 $E$, 면의 수 $F$ 사이에 $V - E + F = 2$가 성립합니다. 예를 들어 정육면체는 $8 - 12 + 6 = 2$이고, 정사면체는 $4 - 6 + 4 = 2$입니다. 이것은 $\chi(S^2) = 2$의 조합론적 표현입니다.

코호몰로지 (Cohomology)

코호몰로지의 정의

코호몰로지(cohomology)는 호몰로지의 "쌍대(dual)" 이론입니다. 사슬군 $C_n$에 $\text{Hom}(-,\; G)$ 함자(functor)를 적용하여 공사슬군(cochain group) $C^n(X; G) = \text{Hom}(C_n(X), G)$을 만들고, 경계 연산자 $\partial$의 쌍대인 공경계 연산자(coboundary operator) $\delta$를 정의합니다.

$$\delta^n : C^n(X; G) \to C^{n+1}(X; G), \quad (\delta^n \varphi)(c) = \varphi(\partial_{n+1} c)$$

$\delta^{n+1} \circ \delta^n = 0$이 성립하므로 코호몰로지 군을 정의할 수 있습니다.

$$H^n(X; G) = \ker \delta^n \;/\; \text{im}\, \delta^{n-1}$$

계수 $G$를 생략하면 $G = \mathbb{Z}$를 의미합니다.

보편 계수 정리 (Universal Coefficient Theorem)

호몰로지와 코호몰로지의 관계를 설명하는 정리입니다.

$$0 \to \text{Ext}^1(H_{n-1}(X), G) \to H^n(X; G) \to \text{Hom}(H_n(X), G) \to 0$$

이 짧은 정확열은 분할(split)되므로, $H^n(X; G) \cong \text{Hom}(H_n(X), G) \oplus \text{Ext}^1(H_{n-1}(X), G)$입니다. 특히, 호몰로지가 자유 아벨군이면 $\text{Ext}^1 = 0$이 되어 $H^n(X; G) \cong \text{Hom}(H_n(X), G)$이 성립합니다.

곱 구조 — 컵 곱 (Cup Product)

코호몰로지가 호몰로지보다 강력한 이유는 곱 구조(product structure)가 있기 때문입니다. 컵 곱(cup product)은 다음과 같은 사상입니다.

$$\smile\; : H^p(X; R) \times H^q(X; R) \to H^{p+q}(X; R)$$

이 곱은 결합적이고, 등급에 따라 교환적(graded commutative)입니다.

$$\alpha \smile \beta = (-1)^{pq}\, \beta \smile \alpha$$

이로써 $H^*(X; R) = \bigoplus_{n \ge 0} H^n(X; R)$은 등급 가환 환(graded commutative ring)이 됩니다. 이 환 구조를 코호몰로지 환(cohomology ring)이라 합니다.

코호몰로지 환의 예:

$H^*(S^n; \mathbb{Z}) \cong \mathbb{Z}[\alpha] / (\alpha^2)$, $|\alpha| = n$. 즉, $\alpha^2 = 0$입니다.
$H^*(\mathbb{R}P^n; \mathbb{Z}/2\mathbb{Z}) \cong \mathbb{Z}/2\mathbb{Z}[\alpha] / (\alpha^{n+1})$, $|\alpha| = 1$. 이 환 구조는 호몰로지만으로는 포착할 수 없는 정보를 담고 있습니다.
$H^*(T^2; \mathbb{Z}) \cong \mathbb{Z}[\alpha, \beta] / (\alpha^2, \beta^2)$, $|\alpha| = |\beta| = 1$.
$H^*(\mathbb{C}P^n; \mathbb{Z}) \cong \mathbb{Z}[\alpha] / (\alpha^{n+1})$, $|\alpha| = 2$. 이 경우 $\alpha^k \neq 0$ ($k \le n$)이며, 이는 $\mathbb{C}P^n$과 $S^2 \vee S^4 \vee \cdots \vee S^{2n}$를 구별하는 핵심 정보입니다.

보편 계수 정리 심화

호몰로지의 보편 계수 정리도 있습니다. 계수를 $\mathbb{Z}$에서 일반적인 아벨군 $G$로 바꿀 때:

$$0 \to H_n(X; \mathbb{Z}) \otimes G \to H_n(X; G) \to \text{Tor}_1(H_{n-1}(X; \mathbb{Z}), G) \to 0$$

이 정확열도 분할됩니다. 예를 들어, $H_1(\mathbb{R}P^2; \mathbb{Z}) = \mathbb{Z}/2\mathbb{Z}$이므로:

$H_2(\mathbb{R}P^2; \mathbb{Z}/2\mathbb{Z}) \cong (\mathbb{Z}/2\mathbb{Z}) \otimes (\mathbb{Z}/2\mathbb{Z}) \oplus \text{Tor}_1(\mathbb{Z}/2\mathbb{Z}, \mathbb{Z}/2\mathbb{Z}) \cong \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$
$\text{Tor}_1$ 항이 비자명하게 기여하는 것은 비자유 호몰로지(torsion)가 있기 때문입니다.

큐네트 공식 (Künneth Formula)

큐네트 공식은 곱 공간의 호몰로지(또는 코호몰로지)를 각 인자의 호몰로지로부터 계산하는 공식입니다.

큐네트 공식 (호몰로지): $H_n(X)$가 유한 생성 아벨군이면: $$0 \to \bigoplus_{p+q=n} H_p(X) \otimes H_q(Y) \to H_n(X \times Y) \to \bigoplus_{p+q=n-1} \text{Tor}_1(H_p(X), H_q(Y)) \to 0$$ 체(field) $F$ 위의 계수에서는 $\text{Tor}$ 항이 사라져 더 간결한 형태가 됩니다: $$H_n(X \times Y; F) \cong \bigoplus_{p+q=n} H_p(X; F) \otimes_F H_q(Y; F)$$

큐네트 공식 (코호몰로지): 체 $F$ 위의 계수에서 코호몰로지 환에 대한 큐네트 공식은 다음과 같습니다. $$H^*(X \times Y; F) \cong H^*(X; F) \otimes_F H^*(Y; F)$$ 이 동형사상은 환 동형사상입니다. 곱 구조까지 보존합니다.

곱 구조 (Product Structures)

크로스 곱 (Cross Product)

크로스 곱(cross product)은 서로 다른 공간의 코호몰로지 원소를 결합하는 외적 연산입니다.

$$\times : H^p(X; R) \otimes H^q(Y; R) \to H^{p+q}(X \times Y; R)$$

사영 $\text{pr}_1 : X \times Y \to X$와 $\text{pr}_2 : X \times Y \to Y$를 이용하면 다음과 같이 정의됩니다.

$$\alpha \times \beta = \text{pr}_1^*(\alpha) \smile \text{pr}_2^*(\beta)$$

캡 곱 (Cap Product)

캡 곱(cap product)은 코호몰로지와 호몰로지를 결합하여 호몰로지를 산출하는 연산입니다.

$$\frown\; : H^p(X; R) \times H_n(X; R) \to H_{n-p}(X; R)$$

컵 곱이 코호몰로지 사이의 곱이라면, 캡 곱은 코호몰로지가 호몰로지 위에 "작용"하는 것입니다. 캡 곱은 푸앵카레 쌍대성에서 핵심적인 역할을 합니다.

곱 구조의 관계: 컵 곱, 캡 곱, 크로스 곱은 서로 긴밀하게 연결되어 있습니다. 대각 사상(diagonal map) $\Delta : X \to X \times X$, $\Delta(x) = (x, x)$를 이용하면 컵 곱을 크로스 곱으로 표현할 수 있습니다: $$\alpha \smile \beta = \Delta^*(\alpha \times \beta)$$

푸앵카레 쌍대성 (Poincaré Duality)

푸앵카레 쌍대성(Poincaré duality)은 닫힌 방향 다양체(closed oriented manifold)의 호몰로지와 코호몰로지 사이의 근본적인 대칭성을 표현합니다.

푸앵카레 쌍대성 정리: $M$이 $n$차원 닫힌 연결 방향 다양체이고 $[M] \in H_n(M; \mathbb{Z})$이 기본류(fundamental class)이면, 캡 곱에 의한 사상 $$D : H^k(M; \mathbb{Z}) \xrightarrow{\cong} H_{n-k}(M; \mathbb{Z}), \quad D(\alpha) = \alpha \frown [M]$$ 은 모든 $k$에 대하여 동형사상입니다.

직관적으로, $n$차원 닫힌 방향 다양체에서 $k$차원 "구멍"은 $(n-k)$차원 "구멍"과 쌍을 이룹니다. 예를 들어, 토러스 $T^2$에서 $H^1 \cong \mathbb{Z}^2 \cong H_1$이며, 이는 1차원 코호몰로지와 1차원 호몰로지가 같다는 것을 보여줍니다.

방향 다양체와 기본류

방향 다양체(orientable manifold)란 전체 공간에 걸쳐 일관된 "방향"을 선택할 수 있는 다양체입니다. $n$차원 닫힌 연결 방향 다양체 $M$은 유일한 기본류 $[M] \in H_n(M; \mathbb{Z}) \cong \mathbb{Z}$를 가집니다.

방향적 예: $S^n$, $T^n$, $\Sigma_g$ (종수 $g$ 곡면)
비방향적 예: $\mathbb{R}P^{2k}$, 클라인 병, 뫼비우스 띠
비방향 다양체에서는 $\mathbb{Z}/2\mathbb{Z}$ 계수 푸앵카레 쌍대성이 성립합니다: $H^k(M; \mathbb{Z}/2\mathbb{Z}) \cong H_{n-k}(M; \mathbb{Z}/2\mathbb{Z})$

푸앵카레 쌍대성의 적용:

$S^2$: $H^0 \cong H_2 \cong \mathbb{Z}$, $H^1 \cong H_1 = 0$, $H^2 \cong H_0 \cong \mathbb{Z}$
$T^2$: $H^0 \cong H_2 \cong \mathbb{Z}$, $H^1 \cong H_1 \cong \mathbb{Z}^2$
$\mathbb{C}P^2$: $H^0 \cong H_4 \cong \mathbb{Z}$, $H^1 \cong H_3 = 0$, $H^2 \cong H_2 \cong \mathbb{Z}$

고차 호모토피 군

기본군 $\pi_1$은 루프(1차원 구면 $S^1$의 사상)를 다룹니다. 이를 일반화하여, $n$차원 구면 $S^n$에서 $X$로의 사상을 호모토피로 분류하면 $n$차 호모토피 군(homotopy group) $\pi_n(X, x_0)$을 얻습니다.

$$\pi_n(X, x_0) = [(S^n, s_0),\; (X, x_0)]$$

여기서 $[(S^n, s_0), (X, x_0)]$은 기저점을 보존하는 연속함수들의 호모토피류의 집합입니다.

고차 호모토피 군의 주요 성질:

$n \ge 2$이면 $\pi_n(X, x_0)$은 아벨군(abelian group)입니다. ($\pi_1$은 일반적으로 비아벨)
$\pi_n(X \times Y) \cong \pi_n(X) \times \pi_n(Y)$ (곱 공간의 호모토피 군)
피복 사상 $p : \tilde{X} \to X$에 대하여 $\pi_n(\tilde{X}) \cong \pi_n(X)$ ($n \ge 2$)

구면의 호모토피 군

구면의 호모토피 군은 대수위상수학에서 가장 어렵고 풍부한 주제 중 하나입니다. $n$차원 구면 $S^n$의 호모토피 군은 완전히 알려져 있지 않습니다.

	$\pi_1$	$\pi_2$	$\pi_3$	$\pi_4$
$S^1$	$\mathbb{Z}$	$0$	$0$	$0$
$S^2$	$0$	$\mathbb{Z}$	$\mathbb{Z}$	$\mathbb{Z}/2\mathbb{Z}$
$S^3$	$0$	$0$	$\mathbb{Z}$	$\mathbb{Z}/2\mathbb{Z}$

특히, $\pi_3(S^2) \cong \mathbb{Z}$는 호프 사상(Hopf map) $\eta : S^3 \to S^2$에 의해 생성됩니다. 이것은 $\pi_n(S^m)$이 $n > m$일 때도 비자명할 수 있음을 보여주는 놀라운 결과입니다.

섬유다발과 피브레이션 (Fibration)

피브레이션(fibration)은 호모토피 이론에서 핵심적인 사상입니다. 연속함수 $p : E \to B$가 모든 공간에 대하여 호모토피 올리기 성질(homotopy lifting property)을 만족하면, $p$를 세르 피브레이션(Serre fibration)이라 합니다(CW 복합체에 대해서만 요구하면 됨).

피브레이션 $F \hookrightarrow E \xrightarrow{p} B$에서 $F = p^{-1}(b_0)$은 섬유(fiber)이고, 다음의 호모토피 정확열(homotopy exact sequence of a fibration)이 성립합니다.

섬유다발의 호모토피 정확열: $$\cdots \to \pi_n(F) \xrightarrow{i_*} \pi_n(E) \xrightarrow{p_*} \pi_n(B) \xrightarrow{\partial} \pi_{n-1}(F) \to \cdots \to \pi_1(B) \xrightarrow{\partial} \pi_0(F)$$

호프 피브레이션의 정확열: $S^1 \hookrightarrow S^3 \xrightarrow{\eta} S^2$에서: $$\cdots \to \pi_n(S^1) \to \pi_n(S^3) \to \pi_n(S^2) \to \pi_{n-1}(S^1) \to \cdots$$ $n \ge 3$이면 $\pi_n(S^1) = 0$이므로, $\pi_n(S^3) \cong \pi_n(S^2)$이 됩니다. 이것이 $\pi_3(S^2) \cong \pi_3(S^3) \cong \mathbb{Z}$인 이유입니다.

경로 공간 피브레이션: 루프 공간 $\Omega X = \{\gamma : [0,1] \to X \mid \gamma(0) = \gamma(1) = x_0\}$에 대하여, 경로 공간 피브레이션 $\Omega X \hookrightarrow PX \to X$가 있습니다. $PX$는 가축 가능하므로 정확열에서 $\pi_n(X) \cong \pi_{n-1}(\Omega X)$를 얻습니다. 이 관계는 호모토피 군의 차원을 낮추는 핵심 도구입니다.

CW 복합체 (CW Complex)

CW 복합체(CW complex)는 대수위상수학에서 가장 많이 사용되는 공간의 구성 방법입니다. 공간을 셀(cell)들을 붙여 나가며 단계적으로 만듭니다.

셀과 부착 사상

열린 $n$-셀(open $n$-cell)은 열린 $n$-원판 $e^n \cong \text{int}(D^n)$입니다. CW 복합체는 다음 과정으로 구성됩니다.

$0$-골격(0-skeleton) $X^0$: 이산 점들의 집합으로 시작합니다.
$n$-골격(n-skeleton) $X^n$: $(n-1)$-골격 $X^{n-1}$에 부착 사상(attaching map) $\varphi_\alpha : S^{n-1} \to X^{n-1}$을 이용하여 $n$-셀 $e_\alpha^n$을 붙입니다. $$X^n = X^{n-1} \cup_{\varphi_\alpha} \bigsqcup_\alpha D_\alpha^n$$
$X = \bigcup_{n \ge 0} X^n$: 약한 위상(weak topology)을 부여합니다.

"CW"는 "Closure-finite"와 "Weak topology"의 약자입니다.

CW 복합체의 예:

$S^n$: 하나의 $0$-셀과 하나의 $n$-셀로 구성됩니다. 부착 사상 $\varphi : S^{n-1} \to \{x_0\}$은 상수 사상입니다.
토러스 $T^2$: $0$-셀 1개, $1$-셀 2개, $2$-셀 1개로 구성됩니다. 부착 사상은 $aba^{-1}b^{-1}$입니다.
$\mathbb{R}P^n$: 각 차원 $0, 1, \ldots, n$에 정확히 하나씩의 셀을 가집니다.

셀 호몰로지 (Cellular Homology)

CW 복합체의 가장 큰 장점은 호몰로지 계산이 효율적이라는 점입니다. 셀 사슬군(cellular chain group) $C_n^{\text{CW}}(X) \cong \mathbb{Z}^{(\text{$n$-셀의 개수})}$와 적절한 경계 연산자를 정의하면, 그 호몰로지가 특이 호몰로지와 일치합니다.

$$H_n^{\text{CW}}(X) \cong H_n(X)$$

셀의 개수가 적으므로, 특이 사슬군보다 훨씬 작은 사슬 복합체에서 호몰로지를 계산할 수 있습니다.

특성류 (Characteristic Classes)

특성류(characteristic class)는 벡터 다발(vector bundle)의 위상적 성질을 코호몰로지 원소로 표현하는 불변량입니다. 다양체 위의 벡터 다발이 자명(trivial)인지, 얼마나 "꼬여" 있는지를 측정합니다.

오일러 류 (Euler Class)

방향 실 벡터 다발 $E \to M$ (계수 $r$)에 대하여, 오일러 류(Euler class) $e(E) \in H^r(M; \mathbb{Z})$가 정의됩니다.

$E$가 영점이 아닌 절단(nonzero section)을 가지면 $e(E) = 0$입니다.
닫힌 방향 다양체 $M$의 접다발(tangent bundle) $TM$에 대하여, $\langle e(TM), [M] \rangle = \chi(M)$ (오일러 표수)입니다. 이것이 푸앵카레-호프 정리(Poincaré–Hopf theorem)의 코호몰로지 버전입니다.

스티펠-위트니 류 (Stiefel–Whitney Classes)

실 벡터 다발 $E \to B$에 대하여, 스티펠-위트니 류 $w_i(E) \in H^i(B; \mathbb{Z}/2\mathbb{Z})$가 정의됩니다. 전체 스티펠-위트니 류는 $w(E) = 1 + w_1(E) + w_2(E) + \cdots$입니다.

스티펠-위트니 류의 핵심 성질:

자연성: $f^*(w_i(E)) = w_i(f^*E)$
위트니 곱 공식: $w(E \oplus F) = w(E) \smile w(F)$
방향성: $w_1(E) = 0$이면 $E$는 방향적(orientable)입니다.
스핀 구조: $w_1(E) = 0$이고 $w_2(E) = 0$이면 $E$는 스핀 구조(spin structure)를 가집니다.

예시:

$w_1(T\mathbb{R}P^n)$은 $H^1(\mathbb{R}P^n; \mathbb{Z}/2\mathbb{Z})$의 생성원입니다. 이로부터 $\mathbb{R}P^n$은 $n$이 홀수일 때만 방향적임을 알 수 있습니다.
$w(TS^n) = 1$ (구면의 접다발은 모든 스티펠-위트니 류가 자명)입니다.
$\mathbb{R}P^n$이 $\mathbb{R}^N$에 몰입(immersion)할 수 있으려면, 스티펠-위트니 류가 특정 조건을 만족해야 합니다.

스펙트럼 열 개요 (Spectral Sequences)

스펙트럼 열(spectral sequence)은 호몰로지 대수의 강력한 계산 도구입니다. 복잡한 호몰로지를 단계적으로 근사하여 계산하는 체계적인 방법을 제공합니다.

기본 구조

스펙트럼 열은 이중 등급 아벨군(bigraded abelian group)의 열 $\{E_r^{p,q}, d_r\}$로 구성됩니다. 각 페이지(page) $E_r$에서 미분(differential) $d_r : E_r^{p,q} \to E_r^{p+r, q-r+1}$이 정의되고, $d_r \circ d_r = 0$이며, 다음 페이지는 현재 페이지의 호몰로지로 얻어집니다.

$$E_{r+1}^{p,q} = H(E_r^{p,q}, d_r) = \ker d_r / \text{im}\, d_r$$

스펙트럼 열이 수렴(converge)한다 함은, 충분히 큰 $r$에서 $E_r^{p,q}$가 안정화되어 $E_\infty^{p,q}$를 이루고, 이것이 목표 호몰로지 $H^{p+q}$의 필트레이션(filtration)의 연접 몫(associated graded)이 되는 것입니다.

$$E_2^{p,q} \Rightarrow H^{p+q}$$

세르 스펙트럼 열 (Serre Spectral Sequence)

섬유다발 $F \hookrightarrow E \xrightarrow{p} B$에 대하여, 세르 스펙트럼 열은 다음과 같이 수렴합니다.

$$E_2^{p,q} = H^p(B;\; H^q(F)) \;\Rightarrow\; H^{p+q}(E)$$

이 열은 기저 공간 $B$와 섬유 $F$의 코호몰로지로부터 전체 공간 $E$의 코호몰로지를 계산하는 도구입니다. 호모토피 정확열보다 더 정교한 정보를 제공합니다.

예시 — $\pi_4(S^3)$ 계산: 호프 피브레이션 $S^1 \hookrightarrow S^3 \to S^2$의 세르 스펙트럼 열과 호모토피 정확열을 결합하여 $\pi_4(S^3) \cong \mathbb{Z}/2\mathbb{Z}$를 보일 수 있습니다. 이는 순수한 호모토피 정확열만으로는 결정하기 어려운 결과입니다.

K-이론 개요 (K-Theory)

위상 K-이론(topological K-theory)은 벡터 다발의 동형류(isomorphism class)로부터 구성되는 일반화된 코호몰로지 이론입니다.

정의와 기본 구조

콤팩트 하우스도르프 공간 $X$ 위의 복소 벡터 다발들의 동형류의 집합 $\text{Vect}(X)$는 직합(direct sum)에 의해 아벨 모노이드(monoid)가 됩니다. 여기에 그로텐디크 구성(Grothendieck construction)을 적용하면 아벨군 $K^0(X)$를 얻습니다.

$$K^0(X) = \text{Grothendieck}(\text{Vect}(X))$$

텐서 곱에 의해 $K^0(X)$는 환(ring) 구조를 가집니다. 축소된(reduced) K-군 $\tilde{K}^0(X)$는 기저점 조건을 추가한 것입니다.

보트 주기성 (Bott Periodicity)

보트 주기성 정리: 복소 K-이론에는 주기 2의 주기성이 있습니다. $$K^{n+2}(X) \cong K^n(X)$$ 실 K-이론의 경우 주기는 8입니다: $KO^{n+8}(X) \cong KO^n(X)$. 이 주기성은 대수위상수학에서 가장 깊은 결과 중 하나이며, 구면의 호모토피 군의 주기성과도 관련됩니다.

K-이론의 응용

벡터장 문제: $S^n$ 위에 일차독립인 접선 벡터장이 최대 몇 개 존재하는지를 K-이론으로 결정할 수 있습니다(아담스의 정리).
아티야-싱어 지표 정리: 타원 미분 연산자의 해석적 지표(analytic index)와 위상적 지표(topological index)가 같다는 정리로, K-이론이 핵심 도구입니다.
위상 절연체: 응집물질물리학에서 위상 절연체의 분류에 K-이론이 사용됩니다.

위상적 데이터 분석 (Topological Data Analysis)

위상적 데이터 분석(TDA)은 대수위상수학의 도구, 특히 호몰로지를 데이터 과학에 적용하는 분야입니다. 데이터의 "형상(shape)"을 수학적으로 포착하여 패턴을 발견합니다.

지속 호몰로지 (Persistent Homology)

점 구름(point cloud) 데이터 $\{x_1, \ldots, x_N\} \subset \mathbb{R}^d$가 주어졌을 때, 매개변수 $\epsilon > 0$에 따라 비에토리스-립스 복합체(Vietoris–Rips complex) $\text{VR}_\epsilon$를 구성합니다. $d(x_i, x_j) \le \epsilon$인 점들을 단체로 연결합니다.

$\epsilon$이 증가함에 따라 복합체가 커지고, 호몰로지 원소들이 "탄생(birth)"하고 "소멸(death)"합니다. 이 탄생-소멸 쌍을 기록한 것이 지속 다이어그램(persistence diagram)입니다.

지속 호몰로지의 핵심 아이디어:

필트레이션: $\text{VR}_{\epsilon_1} \subset \text{VR}_{\epsilon_2} \subset \cdots$ ($\epsilon_1 < \epsilon_2 < \cdots$)
각 포함 사상이 유도하는 호몰로지 사상: $H_k(\text{VR}_{\epsilon_i}) \to H_k(\text{VR}_{\epsilon_j})$
오래 지속되는(persistent) 호몰로지 원소 = 데이터의 진정한 위상적 특징
짧게 지속되는 원소 = 잡음(noise)

바코드 표현

지속 다이어그램의 동등한 표현으로 바코드(barcode)가 있습니다. 각 호몰로지 원소의 생존 구간 $[b_i, d_i)$를 수평 막대로 나타낸 것입니다. 긴 막대는 데이터의 의미 있는 위상적 특징을, 짧은 막대는 잡음을 나타냅니다.

TDA의 안정성

지속 호몰로지의 중요한 이론적 기반은 안정성 정리(stability theorem)입니다. 입력 데이터의 작은 변동은 지속 다이어그램의 작은 변동만을 유발합니다. 구체적으로, 보틀넥 거리(bottleneck distance)에 대하여:

$$d_B(\text{dgm}(f), \text{dgm}(g)) \le \|f - g\|_\infty$$

TDA의 응용 분야

생물학: 단백질 구조 분석, 뇌 연결체(connectome) 분석
재료과학: 다공성 재료의 구멍 구조 특성화
금융: 시계열 데이터의 주기적 패턴 탐지
기계 학습: 지속 호몰로지 특징을 분류기의 입력으로 활용

응용

브라우어 부동점 정리 (Brouwer Fixed Point Theorem)

브라우어 부동점 정리: $n$차원 닫힌 원판 $D^n$에서 자기 자신으로의 임의의 연속함수 $f : D^n \to D^n$는 반드시 부동점(fixed point) $x_0$을 가집니다. 즉, $f(x_0) = x_0$인 $x_0 \in D^n$이 존재합니다.

증명 아이디어 ($n = 2$ 경우): 귀류법을 사용합니다. 부동점이 없다고 가정하면, 모든 $x \in D^2$에 대하여 $f(x) \neq x$입니다. 이때 $x$에서 $f(x)$ 방향으로 반직선을 그어 $S^1 = \partial D^2$과 만나는 점으로 보내는 연속 사상 $r : D^2 \to S^1$을 구성할 수 있습니다. 이 $r$은 포함 사상 $S^1 \hookrightarrow D^2$의 수축(retraction)이 됩니다.

그런데 수축이 존재하면 유도 사상 $r_* : H_1(D^2) \to H_1(S^1)$에서 $i_* : H_1(S^1) \to H_1(D^2)$와 합성하면 $r_* \circ i_* = \text{id}$가 되어야 합니다. 그러나 $H_1(D^2) = 0$이고 $H_1(S^1) = \mathbb{Z}$이므로 항등사상이 $0$을 통과할 수 없어 모순입니다.

보르수크-울람 정리 (Borsuk–Ulam Theorem)

보르수크-울람 정리: 임의의 연속함수 $f : S^n \to \mathbb{R}^n$에 대하여, $f(x) = f(-x)$인 점 $x \in S^n$이 존재합니다. 즉, 구면의 대척점(antipodal point)에서 같은 값을 갖는 점이 반드시 있습니다.

일상적 해석: $n = 2$인 경우를 생각해 보십시오. 지구 표면($S^2$)에서 온도와 기압을 측정하는 연속함수 $f : S^2 \to \mathbb{R}^2$가 있으면, 지구 반대편의 두 지점에서 온도와 기압이 동시에 같은 곳이 반드시 존재합니다. 이것은 매우 놀라운 결과입니다.

보르수크-울람 정리의 따름정리로 함-샌드위치 정리(Ham Sandwich Theorem)가 있습니다. $\mathbb{R}^n$에서 $n$개의 측정 가능 집합이 주어지면, 하나의 $(n-1)$차원 초평면(hyperplane)으로 $n$개의 집합을 모두 동시에 이등분할 수 있습니다.

호몰로지 구면 인식 (Homology Sphere Recognition)

대수위상수학의 불변량은 공간을 구별하는 데 사용됩니다.

공간 구별: 호몰로지가 다르면 두 공간은 호모토피 동치가 아닙니다. 예를 들어, $S^2$와 $T^2$는 $H_1$이 다르므로 구별됩니다.
코호몰로지 환의 필요성: $\mathbb{C}P^2$와 $S^2 \vee S^4$는 호몰로지가 같지만, 코호몰로지 환의 컵 곱 구조가 다르므로 구별됩니다.
푸앵카레 추측: $3$차원에서 기본군이 자명한 닫힌 다양체는 $S^3$과 위상동형입니다. 이것은 2003년 페렐만(Perelman)에 의해 증명되었습니다.

대수위상수학의 추가 응용

위상적 데이터 분석(TDA, Topological Data Analysis): 데이터의 형상을 호몰로지로 파악하여 패턴을 발견합니다. 지속 호몰로지(persistent homology)가 핵심 도구입니다.
물리학: 위상 양자장론(TQFT), 게이지 이론, 끈 이론에서 대수위상수학이 근본적으로 사용됩니다.
로봇공학: 배위 공간(configuration space)의 위상적 성질을 분석하여 로봇 움직임을 계획합니다.

정리 및 요약

불변량	입력	출력	핵심 성질
기본군 $\pi_1$	뾰족 공간 $(X, x_0)$	군	비아벨 가능, 피복 공간 분류
고차 호모토피 군 $\pi_n$	뾰족 공간	아벨군 ($n \ge 2$)	계산이 매우 어려움
호몰로지 $H_n$	위상 공간	아벨군	계산 가능, 긴 정확열
코호몰로지 $H^n$	위상 공간	아벨군 + 환 구조	컵 곱으로 추가 정보
오일러 표수 $\chi$	유한 CW 복합체	정수	계산이 매우 쉬움

학습 순서 권장: 대수위상수학을 처음 공부할 때는 다음 순서를 권장합니다. (1) 호모토피와 기본군의 직관을 먼저 잡고, (2) 반 캄펜 정리와 피복 공간으로 기본군 계산 연습을 충분히 한 뒤, (3) 호몰로지 이론으로 넘어가십시오. 코호몰로지와 고차 호모토피 군은 그 이후에 학습하면 됩니다.

참고 문헌 및 관련 주제

Hatcher, A. — Algebraic Topology, Cambridge University Press (무료 온라인 제공)
Munkres, J. R. — Elements of Algebraic Topology, Addison-Wesley
Massey, W. S. — A Basic Course in Algebraic Topology, Springer
Rotman, J. J. — An Introduction to Algebraic Topology, Springer
위상수학 — 위상 공간의 기초 이론
추상대수학 — 군, 환, 체 등 대수 구조
집합론 — 집합론적 기초
선형대수학 — 벡터 공간과 선형 사상