호몰로지 대수학에서, '''왼쪽 유도 함자'''(-誘導函子, )와 '''오른쪽 유도 함자'''(-誘導函子, )는 각각 오른쪽 완전 함자 또는 왼쪽 완전 함자가 왼쪽 또는 오른쪽에서 완전하지 못한 정도를 측정하는 함자이다. == 정의 == '''유도 함자'''의 개념은 원래 단사 또는 사영 대상을 충분히 가지는 아벨 범주의 대상에 대하여 정의되었다. 정의는 아벨 범주의 대상 대신 속의 사슬 복합체에 대하여 일반화할 있으며, 하나의 대상에 대한 유도 함자는 하나의 성분만을 가지는 사슬 복합체에 대한 특수한 경우이다. 사슬 복합체에 대하여 정의된 유도 함자는 '''초유도 함자'''(超誘導函子, 또는 )라고 한다. 초유도 함자의 값은 사슬 복합체의 유사동형에 의존하지 않으며, 따라서 자연스럽게 유도 범주 위에 정의된다. 사슬 복합체의 범주는 자연스럽게 모형 범주를 이루며, 초유도 함자의 개념을 임의의 모형 범주에 대하여 일반화할 있다. === 단사 사영 분해를 통한 정의 === ==== 단사 분해 ==== 단사 대상을 충분히 가지는 아벨 범주 에서, 임의의 대상 대하여 '''단사 분해''', 다음과 같은 꼴의 완전열이 존재한다. 여기서 단사 대상으로 구성된 자연수 차수 공사슬 복합체이다. 이러한 완전열을 대상 '''단사 분해'''()이라고 한다. 단사 분해는 유일하지 않을 있다. 단사 분해는 다음과 같은 꼴의, 단사 대상으로 구성된 자연수 차수 공사슬 복합체의 유사동형과 같다. 단사 대상을 충분히 가지는 아벨 범주 아벨 범주 사이의 왼쪽 완전 함자 주어졌다고 하자. 그렇다면, 대상 대하여, (임의의) 단사 분해의 대한 상을 생각하자. 행의 유사동형을 보존하지 않는다. 즉, 완전열이었지만, 이상 완전열이 아니다. 코호몰로지를 '''오른쪽 유도 함자'''의 값으로 정의한다. 특히, 이다. 보다 일반적으로, 단사 대상을 충분히 가지는 아벨 범주 속의 자연수 차수 공사슬 복합체 주어졌을 때, 항상 단사 대상으로 구성된 유사동형 공사슬 복합체를 찾을 있다. 이를 공사슬 복합체 '''단사 분해'''라고 한다. 하나의 대상의 단사 분해는 0차 성분만을 가진 공사슬 복합체에 대한 특수한 경우이다. 임의의 공사슬 복합체 대하여, 왼쪽 완전 함자 행의 유사동형을 일반적으로 보존하지 않는다. '''오른쪽 초유도 함자'''()의 값은 단사 분해 코호몰로지이다. 서로 다른 단사 분해를 사용하면, 자연 동형 오른쪽 유도 함자를 얻으며, 따라서 오른쪽 유도 함자는 단사 분해의 선택에 의존하지 않는다. 또한, 오른쪽 유도 함자 가법 함자임을 보일 있다. ==== 사영 분해 ==== 단사 대상 대신, 사영 대상을 사용해 오른쪽 완전 함자 '''왼쪽 유도 함자'''() 유사하게 정의할 있다. 사영 대상을 충분히 가지는 아벨 범주 에서, 대상 '''사영 분해'''() 생각하자. 사영 대상을 충분히 가지는 아벨 범주 아벨 범주 사이의 오른쪽 완전 함자 '''왼쪽 유도 함자''' 사영 분해의 상의 호몰로지이다. 보다 일반적으로, 사영 대상을 충분히 가지는 아벨 범주 속의 자연수 차수 사슬 복합체 주어졌을 때, 항상 사영 대상으로 구성된 유사동형 사슬 복합체를 찾을 있다. 이를 사슬 복합체 '''사영 분해'''라고 한다. 하나의 대상의 사영 분해는 0차 성분만을 가진 사슬 복합체에 대한 특수한 경우이다. 사영 대상을 충분히 가지는 아벨 범주 아벨 범주 사이의 오른쪽 완전 함자 '''왼쪽 초유도 함자'''() 사영 분해의 상의 호몰로지이다. === 모형 범주를 통한 정의 === 단사 또는 사영 대상을 충분히 가지는 아벨 범주 위의 (공)사슬 복합체의 범주는 모형 범주를 이루며, 위의 유도 함자의 정의는 임의의 모형 범주에 대하여 일반화할 있다. 경우 단사·사영 분해는 (적절한 모형 범주 구조에 대한) (쌍대)올 분해에 대응한다. 모형 범주 주어졌다고 하자. 그렇다면, 호모토피 범주로 가는 충실한 함자 존재한다. 함자는 모형 범주 약한 동치 사상을 호모토피 범주 동형 사상으로 대응시킨다. 모형 범주에서 올뭉치를 쌍대올뭉치를 약한 동치를 표기하자. 시작 대상은 이며, 대상은 표기하자. ==== 분해 ==== 모형 범주 에서 범주 가는 함자 올대상 사이의 약한 동치를 동형 사상으로 보낸다고 하자. 임의의 대상 대하여, '''올분해'''() 주어졌다고 하자. 그렇다면, '''오른쪽 초유도 함자''' 다음과 같다. 함자는 약한 동치를 동형 사상으로 대응시키므로, 자연스럽게 호모토피 범주 위에 정의된다. 공사슬 복합체 모형 범주 공사슬 복합체 범주 모형 범주 공사슬 복합체 범주의 유도 범주 모형 범주의 호모토피 범주 유도 범주 범주 오른쪽 완전 함자 로부터 정의된 함자 함자 단사 대상으로 구성된 공사슬 복합체 대상 단사 분해 분해 오른쪽 초유도 함자 오른쪽 초유도 함자 ==== 쌍대올 분해 ==== 모형 범주 주어졌다고 하자. 그렇다면, 호모토피 범주로 가는 충실한 함자 존재한다. 모형 범주 에서 범주 가는 함자 쌍대올대상 사이의 약한 동치를 동형 사상으로 보낸다고 하자. 임의의 대상 대하여, 쌍대올분해 주어졌다고 하자. 그렇다면, '''왼쪽 초유도 함자''' 다음과 같다. 사슬 복합체 모형 범주 사슬 복합체 범주 모형 범주 사슬 복합체 범주의 유도 범주 모형 범주의 호모토피 범주 유도 범주 범주 오른쪽 완전 함자 로부터 정의된 함자 함자 사영 대상으로 구성된 사슬 복합체 쌍대올 대상 사영 분해 쌍대올 분해 왼쪽 초유도 함자 왼쪽 초유도 함자 === 확대를 통한 정의 === 모형 범주에서는 약한 동치의 모임이 주어진다. 모형 범주에 존재하는 추가 구조 (올뭉치 쌍대올뭉치)는 유도 함자를 구체적으로 구성하는 간편하지만, 유도 함자를 정의하는 필요하지 않다. 따라서, 약한 동치가 주어진 범주에 대하여 유도 함자를 확대의 개념을 사용하여 일반적으로 정의할 있다. 약한 동치의 모임이 주어진 범주 함자 주어졌다고 하자. 그렇다면, 약한 동치들에 대한 국소화를 가하여 (범주론적인 문제를 무시하면) 호모토피 범주 포함 함자 정의할 있다. 그렇다면, '''왼쪽 유도 함자''' (만약 존재한다면) 대한 오른쪽 확대이다. 오른쪽 확대의 보편 성질에 따라서, 임의의 대상 대하여 자연 변환의 성분 존재한다. 모형 범주의 경우, 사상은 쌍대올 분해 이다. 마찬가지로, '''오른쪽 유도 함자''' (만약 존재한다면) 대한 왼쪽 확대이다. 왼쪽 확대의 보편 성질에 따라서, 임의의 대상 대하여 자연 변환의 성분 존재한다. 모형 범주의 경우, 사상은 분해 이다. == 성질 == 원래 함자 왼쪽 완전 함자라고 가정하였으므로, 단사 분해의 처음 부분 완전열이다. 따라서, 단사 사상이며, 이다. 따라서, 0차 유도 함자는 원래 함자와 자연 동형이다. 즉, 이다. 만약 단사 대상이라면, 단사 분해를 으로 취할 있다. 경우, 단사 분해의 호몰로지는 자명하다. 즉, 모든 대하여 이고, 단사 대상의 유도 함자에 대한 상은 항상 0이다. === 완전열 === 왼쪽 완전 함자 짧은 완전열 주어졌을 때, 보조정리에 따라서 다음과 같은 완전열이 발생한다. 마찬가지로, 오른쪽 완전 함자 짧은 완전열 주어졌을 때, 보조정리에 따라서 다음과 같은 완전열이 발생한다. == == 흔히 쓰이는 많은 호몰로지 코호몰로지 이론들은 유도 함자로서 정의할 있다. 적용 대상 함자 완전성 방향 유도 함자 위상 공간 아벨 군층의 단면 왼쪽 완전 함자 코호몰로지 왼쪽 가군 가군 준동형 왼쪽 완전 함자 Ext 함자 왼쪽 가군 텐서곱 오른쪽 완전 함자 Tor 함자 가군의 불변원 왼쪽 완전 함자 코호몰로지 가군의 쌍대불변원 오른쪽 완전 함자 호몰로지 스킴 에탈 층의 단면 왼쪽 완전 함자 에탈 코호몰로지 == 참고 문헌 == == 외부 링크 == 분류:함자 분류:호몰로지 대수학