유도 범주

호몰로지 대수학에서 **유도 범주**(誘導範疇, )는 사슬 복합체의 범주에서, 호몰로지들이 같은 사슬 복합체들을 서로 동형으로 간주하도록 변형한 범주이다.

## 정의
### 사슬 호모토피
아벨 범주 \mathcal A 속의 두 (공)사슬 복합체 C, D 사이의 두 (공)사슬 사상 f,g\colon C\to D 사이의 **(공)사슬 [[호모토피]]**()는 다음과 같이 여러 가지로 정의될 수 있으나,  이 정의들은 서로 동치이다.

같은 정의역과 공역을 갖는 두 (공)사슬 사상 사이에 (공)사슬 호모토피가 존재한다면, 이를 서로 **[[호모토픽]]**한 (공)사슬 사상이라고 한다. 호모토픽 관계는 동치 관계이다. 모든 원소를 0으로 대응시키는 상수 (공)사슬 사상 0\in\hom_{\operatorname{Ch}(\mathcal A)}(C,D)과 호모토픽한 (공)사슬 사상은 **[[널호모토픽]]** (공)사슬 사상이라고 한다.

호모토픽 관계는 사슬 사상 집합의 아벨 군 구조와 호환되며, 특히 널호모토픽한 사슬 사상들의 부분 집합은 부분군을 이룬다. 두 사슬 사상 f,g\colon C\to D이 서로 호모토픽하다는 것은 두 사슬 사상의 차 f-g가 널호모토픽하다는 것과 동치이다. 사슬 사상 집합의 호모토픽 관계에 대한 동치류들은 모든 사슬 사상들로 구성된 아벨 군의, 널호모토픽 사슬 사상으로 구성된 부분군에 대한 몫군이다.

사슬 복합체를 대상으로 하고, 사슬 사상의 호모토피류를 사상으로 하는 범주를 **사슬 복합체 호모토피 범주**() K(\mathcal A)라고 한다. 이 범주에서 약한 동치를 국소화하면 유도 범주 \operatorname D(\mathcal A)를 얻는다.

#### 사슬 호모토피의 구체적 정의
아벨 범주 \mathcal A 속의 두 사슬 복합체 C, D 사이의 두 사슬 사상 f,g\colon C\to D 사이의 **사슬 호모토피** h \colon f \Rightarrow g는 다음과 같은 같은 데이터로 주어진다.
* 각 i\in\mathbb Z에 대하여, \mathcal A 속의 사상 h_i\colon C_i\to D_{i+1}. (※이는 사슬 사상 C[1]\to D를 일반적으로 이루지 않는다.)
이는 다음 조건을 만족시켜야 한다.
* f_i-g_i=\partial^D_i\circ h_i+h_{i-1}\circ\partial^C_i

이를 공사슬 복합체의 언어로 번역하면 다음과 같다. 아벨 범주 \mathcal A 속의 두 공사슬 복합체 C^\bullet, D^\bullet 사이의 두 공사슬 사상 f,g\colon C^\bullet\to D^\bullet 사이의 **공사슬 [[호모토피]]**는 다음과 같은 데이터로 주어진다.
* 각 i\in\mathbb Z에 대하여, \mathcal A 속의 사상 h^i\colon C^i\to D^{i-1}
이는 다음 조건을 만족시켜야 한다.
* f^i-g^i=\mathrm d_D^{i-1}\circ h^i+h^{i+1}\circ\mathrm d_C^i

#### 사슬 호모토피의 추상적 정의 (왼쪽 호모토피)
아벨 범주 \mathcal A 속의 사슬 복합체 C가 주어졌을 때, 다음과 같은 **기둥 사슬 복합체**()를 정의하자.
:\operatorname{Cyl}(C)_\bullet \in \operatorname{Ch}(\mathcal A)
:\operatorname{Cyl}(C)_n = C_n \oplus C_n \oplus C_{n-1}
:\partial^{\operatorname{Cyl}(C)}_n \colon C_n \oplus C_n \oplus C_{n-1} \to C_{n-1} \oplus C_{n-1} \oplus C_{n-2}
:\partial^{\operatorname{Cyl}(C)}_n = \begin{pmatrix}
\partial_n^C & 0 & 1\\
0 & \partial_{n-1}^C & -1\\
0 & 0 & -\partial_{n-2}^C
\end{pmatrix}
(여기서 2×2 행렬은 2×1 열벡터 위에 작용하며, 열벡터의 첫 성분은 C_n, 둘째 성분은 C_{n-1}이다. 마찬가지로, 행렬을 곱하여 얻는 열벡터의 첫 성분은 C_{n-1}, 둘째 성분은 C_{n-2}이다.)

여기에는 자연스러운 포함 사상
:\iota, \iota' \colon C \to \operatorname{Cyl}(C)
:\iota = \begin{pmatrix} 1 \\ 0 \\ 0\end{pmatrix}
:\iota' = \begin{pmatrix} 0 \\ 1 \\ 0\end{pmatrix}
이 주어진다.

임의의 두 사슬 복합체 C, D 사이의 두 사슬 사상 f,g\colon C\to D 사이의 **사슬 호모토피**는 다음과 같은 그림을 가환 그림으로 만드는 사슬 사상 h \colon \operatorname{Cyl}(C) \to D이다.
:\begin{matrix}
C &\overset{\iota}\to & \operatorname{Cyl}(C) & \overset{\iota'}\leftarrow & C \\
\| & & {\color{White}\scriptstyle h}\downarrow{\scriptstyle h} && \| \\
C & \underset f\to & D & \underset g\leftarrow & C \\
\end{matrix}

(이 정의는 사슬 복합체의 모형 범주에서의 왼쪽 호모토피의 정의를 풀어 쓴 것이다.)

#### 사슬 호모토피의 추상적 정의 (오른쪽 호모토피)
아벨 범주 \mathcal A 속의 사슬 복합체 D가 주어졌을 때, 다음과 같은 **경로 사슬 복합체**(經路사슬複合體, )를 정의하자.
:\operatorname{Path}_n(D) = D_n \oplus D_n \oplus D_{n+1}
:\partial_n^{\operatorname{Path}(D)} = \begin{pmatrix}
\partial^D_n & 0 & (-)^n \\
0 & \partial^D_n & (-)^{n+1} \\
0 & 0 & \partial^D_{n+1}
\end{pmatrix}
여기에는 자연스러운 사상
:\pi,\pi'\colon \operatorname{Path}(D)\to D
:\pi = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix}
:\pi' = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix}
이 존재한다.

임의의 두 사슬 복합체 C, D 사이의 두 사슬 사상 f,g\colon C\to D 사이의 **사슬 호모토피**는 다음과 같은 그림을 가환 그림으로 만드는 사슬 사상 h \colon C \to \operatorname{Path}(D) 이다.
:\begin{matrix}
D &\overset f\leftarrow & C & \overset g\to & D \\
\| & & {\color{White}\scriptstyle h}\downarrow{\scriptstyle h} && \| \\
D & \underset\pi\leftarrow & \operatorname{Path}(D) & \underset{\pi'}\to & D \\
\end{matrix}

(이 정의는 사슬 복합체의 모형 범주에서의 오른쪽 호모토피의 정의를 풀어 쓴 것이다.)

#### 구간 사슬 복합체를 통한 사슬 호모토피의 정의
가군 범주에서, 위 정의는 다음과 같이 더 깔끔하게 표현될 수 있다. \mathcal A = {}_A\operatorname{Mod}_A = {}_{A\otimes_KA}\operatorname{Mod}가 어떤 가환환 K 위의 결합 대수 A 위의 (A,A)-쌍가군들의 아벨 범주라고 하자. 이제, 다음과 같은 **구간 사슬 복합체**() I_\bullet 를 정의할 수 있다.
:I_n = \begin{cases}
0 & n \not\in\{0,1\} \\
A & n = 1 \\
A\oplus A & n = 0
\end{cases}
:\partial_1 \colon A \to A\oplus A
:\partial_1 = \binom 1{-1}
또한, 자명한 사슬 복합체
:1_n = \begin{cases}
0 & n \ne 0 \\
A & n = 0
\end{cases}
을 정의하자. (이는 텐서곱의 항등원이다.) 그렇다면, 두 개의 자명한 사슬 사상
:\binom10, \binom01 \colon 1_\bullet \to I_\bullet
이 존재한다. (기호 \textstyle\binom10와 \textstyle\binom01는 등급 0의 성분의 2×1행렬 표현이다.) 이제,
:\operatorname{Cyl}_\bullet(C) = I\otimes_\bullet C
:\operatorname{Path}_\bullet(D) = \hom_\bullet(I,D)
임을 쉽게 확인할 수 있다.

그렇다면, 사슬 사상 f,g\colon C\to C 사이의 **사슬 호모토피**는 다음 그림을 가환 그림으로 만드는 사슬 사상
:h \colon I\otimes C \to D
이다.
:\begin{matrix}
1\otimes C &\overset{\binom10}\to & I\otimes C & \overset{\binom01}\leftarrow & 1\otimes C\\
\| & & {\color{White}\scriptstyle h}\downarrow{\scriptstyle h} && \| \\
C & \underset f\to & D & \underset g\leftarrow & C \\
\end{matrix}

### 유도 범주의 일반적 정의
아벨 범주 \mathcal C가 있다고 하자. 그렇다면, 그 **유도 범주** \operatorname D(\mathcal C)는 다음과 같은 범주이다.
* \operatorname D(\mathcal C)의 대상들은 \mathcal C의 사슬 복합체들이다. 즉, 대상들은 사슬 복합체의 범주 \operatorname{Comp}(\mathcal C)와 같다.
* \operatorname D(\mathcal C)의, 사슬 복합체 C_\bullet, D_\bullet 사이의 사상은 C_\bullet\xleftarrow{q_\bullet}E_\bullet\xrightarrow{f_\bullet}D_\bullet와 같은 꼴의 두 사슬 사상들 q_\bullet\colon E_\bullet\to C_\bullet, f_\bullet\colon E_\bullet\to D_\bullet의 순서쌍 (q_\bullet,f_\bullet)=f_\bullet q_\bullet^{-1}의 동치류이다. 여기서
** q_\bullet\colon E_\bullet\to C_\bullet은 **[[유사동형]]**()이다. 즉, q_\bullet로 유도되는, 호몰로지 사이의 사상 q_\bullet^*\colon H_\bullet(E)\to H_\bullet(C)이 동형사상이다.
** f_\bullet\colon E_\bullet\to D_\bullet는 임의의 사슬 사상이다.
** 서로 다른 두 순서쌍 f_\bullet q_\bullet^{-1}, f'_\bullet q_\bullet'^{-1}가 서로 호모토픽하다면 서로 동치라고 한다. 즉, 만약 C_\bullet\xleftarrow{q_\bullet}E_\bullet\xrightarrow{f_\bullet}D_\bullet와 C_\bullet\xleftarrow{q'_\bullet}E'_\bullet\xrightarrow{f'_\bullet}D_\bullet가 다음을 만족시킨다면, 같은 동치류에 속한다.
*** E_\bullet=E'_\bullet
*** f_\bullet와 f'_\bullet는 서로 호모토픽하다.
*** q_\bullet와 q'_\bullet는 서로 호모토픽하다.

이 정의는 다음과 같은, 집합론적인 문제를 야기한다.
* 만약 \mathcal A가 국소적으로 작은 범주라면 (즉, 두 대상 사이의 모든 사상들이 집합을 이룬다면), 그 유도 범주는 국소적으로 작은 범주가 되지 못할 수 있다.
* 만약 \mathcal A가 국소적으로 작은 범주가 아닐 수 있다면 (즉, 두 대상 사이의 모든 사상들이 모임을 이룬다면), 그 유도 범주의 경우 두 대상 사이의 사상들이 심지어 모임을 이루지 못할 수 있다.

### 유도 범주의 모형 범주 이론을 통한 정의
일부 아벨 범주의 경우, 모형 범주의 이론을 통해 집합론적인 문제를 피할 수 있다. 구체적으로, 만약 아벨 범주 \mathcal A 위의 사슬 복합체 범주 \operatorname{Ch}_\bullet(\mathcal A) 위에, 다음 조건을 만족시키는 모형 범주 구조가 존재한다면, 그 호모토피 범주로서 유도 범주를 구성할 수 있다.
* 약한 동치는 유사동형이다.
* 올대상이자 쌍대올대상인 두 대상 사이의 사상이 호모토픽할 필요 충분 조건은 이 둘 사이에 사슬 호모토피가 존재하는 것이다.

#### 사영 모형 구조를 통한 정의
사영 대상을 충분히 가지는 아벨 범주 \mathcal A 위의, 음이 아닌 차수의 사슬 복합체 범주 \operatorname{Ch}_{\ge0}(\mathcal A)에는 다음과 같은 모형 범주 구조가 존재한다.

아벨 범주 \mathcal A의 음이 아닌 차수 **유도 범주** \operatorname D_{\ge0}(\mathcal A)는 \operatorname{Ch}_\bullet(\mathcal A)의 위 모형 범주 구조에 대한 호모토피 범주이다. 즉, 다음과 같다.
* \operatorname D(\mathcal A)의 대상은 모든 성분이 사영 대상인 사슬 복합체이다.
* 두 사슬 복합체 C_\bullet, D_\bullet 사이의 \operatorname D(\mathcal A)-사상은 그 사이의 사슬 사상의 (사슬 호모토피에 대한) 호모토피류이다.

이 경우, 다음과 같은 함자를 정의할 수 있다.
:F\colon \operatorname{Ch}_\bullet(\mathcal A)\to\operatorname D_{\ge0}(\mathcal A)
이는 구체적으로 다음과 같다.
* F는 사슬 복합체 C_\bullet를 이와 유사동형이며, 사영 대상만으로 구성된 사슬 복합체 \hat C_\bullet로 대응시킨다. 이 유사동형을 s_C \colon \hat C_\bullet\to C_\bullet라고 하자.
* F는 두 공사슬 복합체 사이의 공사슬 사상 f\colon C_\bullet\to D_\bullet를, f\circ s_C = s_D \circ \hat f 인 \hat f\colon \hat C_\bullet\to \hat D_\bullet로 대응시킨다.

#### 단사 모형 구조를 통한 정의
마찬가지로, 단사 대상을 충분히 가지는 아벨 범주 \mathcal A 위의, 음이 아닌 차수의 공사슬 복합체 범주 \operatorname{Ch}^{\ge0}(\mathcal A)에는 다음과 같은 모형 범주 구조가 존재한다.

아벨 범주 \mathcal A의 **유도 범주** \operatorname D^{\ge0}(\mathcal A)는 \operatorname{Ch}^\bullet(\mathcal A)의 위 모형 범주 구조에 대한 호모토피 범주이다. 즉, 다음과 같다.
* \operatorname D(\mathcal A)의 대상은 모든 성분이 단사 대상인 공사슬 복합체이다.
* 두 공사슬 복합체 C^\bullet, D^\bullet 사이의 \operatorname D(\mathcal A)-사상은 그 사이의 사슬 사상의 (공사슬 호모토피에 대한) 호모토피류이다.

이 경우, 다음과 같은 함자를 정의할 수 있다.
:F\colon \operatorname{Ch}^\bullet(\mathcal A)\to\operatorname D^{\ge0}(\mathcal A)
이는 구체적으로 다음과 같다.
* F는 공사슬 복합체 C^\bullet를 이와 유사동형이며, 단사 대상만으로 구성된 공사슬 복합체 \hat C^\bullet로 대응시킨다. 이 유사동형을 r_C \colon C^\bullet\to \hat C^\bullet라고 하자.
* F는 두 공사슬 복합체 사이의 공사슬 사상 f\colon C^\bullet\to D^\bullet를, r_D\circ f = \hat f \circ r_C인 \hat f\colon \hat C^\bullet\to \hat D^\bullet로 대응시킨다.

#### 비(非)유계 차수 유도 범주
위의 두 구성은 유도 범주 \operatorname D(\mathcal A)의 특별한 부분 범주 \operatorname D_{\le0}(\mathcal A), \operatorname D_{\ge0}(\mathcal A)들을 정의한다. 만약 모든 정수 등급을 가질 수 있는 유도 범주 \operatorname D(\mathcal A)를 정의하려면, 다음과 같은 경우들이 알려져 있다.
*  만약 아벨 범주 \mathcal A가 그로텐디크 아벨 범주라면, 모든 사슬 복합체의 범주 \operatorname{Ch}_\bullet(\mathcal A) 위에, 그 유도 범주를 호모토피 범주로 갖는 모형 범주 구조가 존재한다. 이는 **단사 모형 구조**()라고 한다. 그러나 이 모형 구조는 대체로 텐서곱과 잘 호환되지 못한다. 예를 들어, 가환환 위의 가군 범주의 사슬 복합체 범주에 단사 모형 구조를 부여하면, 이는 모노이드 모형 범주를 이루지 못한다.
::
* 환 K 위의 왼쪽 가군의 범주 _R\operatorname{Mod} 위에는 다음과 같은 **표준 모형 구조**()라는 모형 범주 구조가 존재한다.
::
:또한, 만약 R가 가환환이라면 이는 텐서곱에 대하여 모노이드 모형 범주를 이룬다.
* 특별한 환 달린 공간 (X,\mathcal O_X) 위의 가군층 아벨 범주  \operatorname{Mod}_{\mathcal O_X}의 사슬 복합체 범주 위에는 (텐서곱에 대한) 모노이드 모형 범주 구조가 존재한다.
* (X,\mathcal O_X)가 콤팩트 공간인 분리 스킴일 때, 그 위의 준연접층의 아벨 범주 \operatorname{QCoh}(X) 위의 사슬 복합체 범주 \operatorname{Ch}_\bullet(\operatorname{QCoh}(X)) 위에는 (텐서곱에 대한) 모노이드 모형 범주 구조가 존재한다.

## 연산
두 아벨 범주 \mathcal A,\mathcal B 사이의 함자 F\colon\mathcal A\to\mathcal B의 오른쪽 유도 함자 \operatorname R^iF는 어떤 대상 X\in\mathcal A를 그 단사 분해
:0\to X\to I^0\to I^1\to I^2\to\cdots
의 상
:0\to F(X)\to F(I^0)\to F(I^1)\to F(I^2)\to\cdots
의 코호몰로지
:\operatorname R^iF(X)=\frac{\ker(F(I^i)\to F(I^{i+1}))}{\operatorname{im}(F(I^{i-1})\to F(I^i))}
로 대응시킨다. 이는 \mathcal A에서 \operatorname{Comp}(\mathcal B)로 가는 “함자”의 코호몰로지로 생각할 수 있는데, 사실 이러한 함자는 (단사 분해가 유일하지 않으므로) 존재하지 않는다. 이에 반해, 유도 함자 사이에는 다음 성질을 만족시키는 **전체 유도 함자**(全體誘導函子, ) \operatorname RF\colon\operatorname D(\mathcal A)\to\operatorname D(\mathcal B)가 존재한다.
:\operatorname R^iF(X)=\operatorname H^i(\operatorname RF(X))
즉, i번째 유도 함자는 전체 유도 함자의 i번째 코호몰로지가 된다.

## 성질
아벨 범주의 유도 범주는 일반적으로 아벨 범주가 아니지만, 삼각 분할 범주이며 따라서 가법 범주이다.

모든 유사동형은 호모토피이므로, 사슬 복합체의 범주 \operatorname{Comp}(\mathcal C)에서 유도 범주 \operatorname{D}(\mathcal C)로 가는 표준적(canonical) 함자 \operatorname{Comp}(\mathcal C)\to\operatorname{D}(\mathcal C)가 존재한다.

### 삼각 분할 범주 구조
유도 범주 \operatorname{D}(\mathcal A)는 자연스럽게 삼각 분할 범주를 이룬다.

사슬 사상 f\colon C\to D의 **사상뿔**() \operatorname{cone}f\in\operatorname{Ch}_\bullet(\mathcal A)을 다음과 같이 정의하자.
:(\operatorname{cone}f)_\bullet=(C[1]\oplus D)_\bullet=C_{\bullet-1}\oplus D_\bullet
:\partial^{\operatorname{cone}f}=\begin{pmatrix}
\partial^C&0\\
f[1]&\partial^D
\end{pmatrix}
여기서, 사상뿔의 경계 사상은 열벡터 \textstyle\binom cd\;(c\in C[1]_\bullet=C_{\bullet-1},\;d\in D_\bullet) 위에 작용하는 2×2 행렬이다.

그렇다면, 현수 C\to C[1]를 자기 동치로, 사상뿔을 특별 삼각형으로 삼으면 \operatorname{D}_\bullet(\mathcal A)는 삼각 분할 범주를 이룬다.

## 역사
유도 범주의 개념은 1960년대에 알렉산더 그로텐디크와 그 제자 장루이 베르디에가 도입하였다. 베르디에는 박사 학위 논문에서 유도 범주의 이론을 집대성하였다. (같은 논문에서 베르디에는 삼각 분할 범주의 개념을 함께 도입하였다.) 이 박사 학위 논문은 오랫동안 출판이 지연되다가, 1996년에 출판되었다.

## 같이 보기
* 연접층 코호몰로지
## 각주

## 외부 링크
* 
* 
* 
* 
* 
* 
* 
* 
* 

분류:호몰로지 대수학
분류:호모토피 이론
분류:범주론