앞서 cohomology를 도입하며 우리는 cohomology의 가장 큰 장점 중 하나가 이 위에 자연스럽게 정의된 곱셈구조라 하였다. 그렇다면 이 구조가 왜 호몰로지에서는 보이지 않았는지 또한 합리적인 의문일 것인데, 이번 글에서 이 곱셈구조를 정의하면, 본질적으로 cohomology가 contravariant functor이기 때문이라는 것이 드러난다.
코호몰로지의 외적
Commutative ring $A$를 고정하고, $A$-module들의 chain complex $C_\bullet,D_\bullet$이 주어졌다 하자. 이들의 dual sequence
\[(C^\vee)^\bullet=\Hom_A(C_\bullet,A),\qquad (D^\vee)^\bullet=\Hom_A(D_\bullet,A)\]그리고
\[((C\otimes D)^\vee)^\bullet=\Hom_A((C\otimes D)_\bullet,A)\]에 대하여, 우리는 우선
\[\times:(C^\vee\otimes D^\vee)^\bullet\rightarrow ((C\otimes D)^\vee)^\bullet\]을 정의한다. 이를 위해서는 좌변의 simple tensor $\phi\otimes \psi$를 받아 $(C\otimes D)_\bullet$에서 $A$의 함수를 하나 대응시켜주면 되고, 이는 다시 $(C\otimes D)_\bullet$의 simple tensor에서의 값으로 정의된다. 만일 $\phi\in (C^\vee)^p,\psi\in (D^\vee)^q$라면, 우리는 정확히 $C_p\otimes D_q$에 속하는 simple tensor $\alpha\otimes \beta$에 대해서만
\[(\phi\times\psi):(C\otimes D)_\bullet \rightarrow A;\qquad (\alpha\otimes \beta)\mapsto (-1)^{\deg(\alpha)\deg(\beta)}\phi(\alpha)\psi(\beta)\]이고, 나머지에 대해서는 $0$인 함수로 이 대응을 정의한다. 그럼 어렵지 않게 이것이 cochain complex들 사이의 morphism인 것을 확인할 수 있으며 따라서 $\times$는 cohomology의 함수
\[\bar{\times}: H^\bullet(C^\vee\otimes D^\vee)\rightarrow (H(C^\vee)\otimes H(D^\vee))^\bullet\rightarrow H^\bullet((C\otimes D)^\vee)\]를 정의한다.
이제 두 위상공간 $X,Y$의 $A$-valued chain
\[C_\bullet(X;A),\qquad C_\bullet(Y;A)\]들이 주어졌다 하자. $C_\bullet=C_\bullet(X;A), D_\bullet=C_\bullet(Y;A)$로 두고 위의 cochain map을 취하면 우리는 이를 §코호몰로지의 Alexander-Whitney map $\AW$가 유도하는 함수와 합성하여 다음의 cochain map
\[(C^\vee(X;A)\otimes C^\vee(Y;A))^\bullet \overset{\times}{\longrightarrow} \Hom_A(C_\bullet(X;A)\otimes C_\bullet(Y;A),A)\overset{\Hom(\AW,A)}{\longrightarrow} \Hom_A(C_\bullet(X\times Y;A),A)=(C^\vee)^\bullet(X\times Y)\]을 얻고, 다시 이를 cohomology 레벨로 내리면 각각의 $(p,q)$마다 다음의 $A$-module homomorphism
\[{\AW^\ast}\circ{(-\mathbin{\bar{\times}}-)}:H^p(X;A)\otimes_A H^q(Y;A)\rightarrow H^{p+q}(X\times Y;A)\]을 얻는다. 혼동의 여지가 없을 때에는 이를 간단히 $\times$로 적기로 하자.
합곱의 정의와 기본 성질들
이제 우리는 합곱을 정의할 수 있다.
정의 1 Commutative ring $A$와 위상공간 $X$에 대하여, 다음의 합성
\[{\smile}:H^\bullet(X;A)\otimes_A H^\bullet(X;A)\overset{\AW^\ast\circ\bar{\times}}{\longrightarrow}H^\bullet(X\times X)\overset{\Delta^\ast}{\longrightarrow} H^\bullet(X)\]을 $H^\bullet(X;A)$ 위의 cup product합곱이라 부른다.
이 단계에서 cup product가 왜 homology에서는 명시적으로 보이지 않았는지가 나타난다. Eilenberg-Zilber map을 사용하면
\[H_p(X;A)\otimes_A H_q(X;A)\rightarrow H_{p+q}(X\times X;A)\]까지는 만들 수 있을 것이나, diagonal map $\Delta:X\rightarrow X\times X$에 homology functor를 취하는 것은 covariant이므로 방향이 맞지 않을 것이기 때문이다.
명시적으로, 임의의 $\alpha\in H^p(X;A)$, $\beta\in H^q(X;A)$에 대하여, $\alpha\smile\beta\in H^{p+q}(X;A)$는 임의의 chain $\sigma:\Delta^{p+q}\rightarrow X$ 위에서 다음의 식
\[(\alpha\smile\beta)(\sigma)=(\Delta^\ast\AW^\ast(\alpha\mathbin{\bar{\times}}\beta))(\sigma)=(\alpha\mathbin{\bar{\times}}\beta)(\AW(\Delta(\sigma)))=(-1)^{pq}\alpha(\text{front face of $\sigma$})\beta(\text{back face of $\sigma$})\]으로 주어진다. 이 명시적인 계산에서 알 수 있듯, de Rham cohomology에서 cup product는 아주 익숙한 것으로, differential form들의 wedge product에 해당하는 것이다.
그럼 그 이름에서 짐작할 수 있듯, cup product는 cohomology ring 위의 곱셈구조를 정의한다. 그런데 $H^\bullet(X;A)$는 graded ring이기도 하므로, 이 위에 정의된 곱셈의 commutativity를 논할 때는 다음과 같이 주의를 기울여야 한다.
명제 2 위상공간 $X$와 commutative ring $A$를 고정하자. 그럼
\[(H^\bullet(X;A), {\smile}, 1)\]은 grade-commutative, $\mathbb{N}$-graded $A$-algebra를 이룬다. 여기서 $1\in H^0(X;A)$는 $X$의 임의의 $\Delta$-simplex를 모두 $1\in A$로 보내는 cocycle이다.
즉, homogeneous cycle들 $\alpha\in H^p(X;A),\beta\in H^q(X;A),\gamma\in H^r(X;A)$에 대하여,
- (Unit) $1\smile\alpha=\alpha\smile 1=\alpha$
- (Associativity) $(\alpha\smile\beta)\smile\gamma=\alpha\smile(\beta\smile\gamma)$
- (Grade-commutativity) $\alpha\smile\beta=(-1)^{pq}\beta\smile\alpha$
이 성립한다. 이를 보이기 위해서는, 당연히, $\Top^2$ (혹은 $\Top^3$)에서 $\Ch_{\geq 0}(\lMod{A})$로의 functor들에 §Acyclic models theorem, ⁋정리 3를 적용하면 된다.
합곱의 함자적 성질들
위에서 증명한 성질은 functor $H^\bullet(-;A)$의 대상들이, 처음 정의할 때는 $\lMod{A}$로의 functor로 정의하였지만, 최종적으로는 $\gr_{\mathbb{N}}\Alg{A}$에 도착한다는 것을 보여준다. 그렇다면 $H^\bullet(-;A)$가 $\Top$에서 $\gr_\mathbb{N}\Alg{A}$로의 functor인지를 궁금해하는 것이 당연하다.
명제 3 임의의 위상공간 $X,Y$와 commutative ring $A$에 대하여,
\[\times: H^*(X;A)\otimes_A H^*(Y;A) \to H^*(X\times Y;A)\]는 graded $A$-algebra homomorphism이다.
증명
즉 우리가 보이고 싶은 것은 다음 diagram
의 commutativity이다. 이는 임의의 $\alpha_1,\alpha_2\in H^\ast(X;A)$와 임의의 $\beta_1,\beta_2\in H^\ast(Y;A)$에 대하여,
\[(\alpha_1\times\beta_1)(\alpha_2\times\beta_2)=\Delta_{X\times Y}^\ast ((\alpha_1\times\beta_1)\times(\alpha_2\times\beta_2))\]이고, 이제 우변이 $\alpha_1\times\beta_1\times\alpha_2\times\beta_2$의 꼴이므로 이를 다시 적절하게 묶어주면 된다. 이것이 graded homomorphism이고 $1$을 보존하는 것은 자명하다.
그럼 이를 바탕으로 cup product의 functoriality 또한 보일 수 있다.
명제 4 연속함수 $f:X \rightarrow Y$에 대하여, cohomology functor가 유도하는 $f^\ast=H^\bullet(f;A):H^\bullet(Y;A)\rightarrow H^\bullet(X;A)$는 graded $A$-algebra들 사이의 morphism이다. 즉, 다음의 식
\[f^\ast(\alpha\smile\beta)=(f^\ast\alpha)\smile(f^\ast\beta)\]이 성립한다.
이 명제의 증명은 앞선 명제 3에 의해 우리는 다음 diagram
이 commute하는 것을 알고 있으므로, 여기에 더해 다음 diagram
에 cohomology functor를 취해주면 된다.
Cap product
이제 남은 부분에서 우리는 homology와 cohomology의 duality를 다루기 위한 준비를 한다. 물론 우리는 이 duality를 [대수적 위상수학] §코호몰로지, ⁋명제 3와 같은 형태로 관찰할 수 있었지만, 이번에 살펴볼 것은 조금 더 미묘한 감이 있다.
우리가 지금부터 할 일은 homology module $H_\bullet(X;A)$에 graded ring $H^\bullet(X;A)$의 action을 정의하는 것이다. 이를
\[{\frown}:H^\bullet(X;A)\otimes_A H_\bullet(X;A) \rightarrow H_\bullet(X;A)\]라 적으면, 우리가 요구하는 $\frown$의 성질은 다음의 adjunction formula
\[\langle \alpha\smile\beta,\sigma\rangle=\langle \alpha,\beta\frown \sigma\rangle\]이며, 이를 통해 $H_\bullet(X;A)$는 $H^\bullet(X;A)$-module 구조를 갖게 된다. 여기서 $\langle-,-\rangle$은 Kronecker pairing
\[\langle-,-\rangle: C^\bullet(X;A)\times C_\bullet(X;A) \rightarrow A\]가 유도하는 pairing이다. 이제 이 식이 성립하기 위해서는,
\[\langle\alpha,\beta\frown \sigma\rangle=\langle\alpha\smile \beta,\sigma\rangle=\sum_i(-1)^{\lvert\beta\rvert\lvert\sigma_i\rangle}\alpha(\sigma_i)\beta(\tau_i)\]이어야 한다. 여기서 $\sigma_i$와 $\tau_i$ 각각은 $\sigma$를 Alexander-Whitney map을 통해 $\sum \sigma_i\otimes\tau_i$로 나타냈을 때 등장하는 chain들이다. 그럼 이 식이 모든 $\alpha$에 대해 성립해야 하므로, 우리는
\[\beta\frown \sigma=\sum_i(-1)^{\lvert\beta\rvert\lvert\sigma_i\rvert}\beta(\tau_i)\sigma_i\]으로 정의해야만 한다.
정의 5 위와 같이 정의된 함수
\[\frown:H^p(X;A)\otimes H_{p+q}(X;A) \rightarrow H_q(X;A)\]를 cap product라 부른다.
즉 $\frown$은 degree $p+q$의 homology chain과 degree $p$의 cohomology chain을 받아서, homology chain의 degree $p$인 부분과 cohomology chain을 Kronecker pairing을 통해 연산한 후, 이 상수를 남아있는 degree $q$의 homology chain에 scalar multiplication을 해 주어 얻어지는 것이다. 이는 다소 작위적인 정의로 보일 수 있으나 §Acyclic models theorem, ⁋정리 3의 유일성에 의해 유일하게 말이 되는 정의라 할 수 있다. 뿐만 아니라, 이 표현으로부터 이것이 정확하게 interior product에 해당하는 연산임을 안다.
그럼 다음이 성립한다.
명제 6 (Projection formula) 연속함수 $f:X \rightarrow Y$와 $\alpha\in H^p(X)$, $\beta\in H^q(Y)$, 그리고 $\sigma\in H_{p+q}(X)$에 대하여 다음의 식
\[f_\ast(f^\ast\beta\frown\sigma)=\beta\frown f_\ast\sigma\]이 성립한다.
댓글남기기