[논문 리뷰] A note on separable functors and monads

Xiao‐Wu Chen|arXiv (Cornell University)|2014. 03. 06.

Rings, Modules, and Algebras참고 문헌 7인용 수 4

한 줄 요약

이 논문은 분리 가능 함수자와 모나드를 통한 유인자 함수자에 대한 단항성 기준을 수립한다: 오른쪽 수반 함수자가 분리 가능할 조건은 그에 관련된 모나드가 분리 가능하고, 비교 함수자가 재접합에 대해 동치일 때이다. 아이디포텐트 완비성 조건이 만족될 경우, 수반 쌍은 단항성이 된다. 이 결과는 아벨 범주에서 군의 순서가 가역일 때, G-작용하는 대상의 유도 범주가 유도 범주의 G-작용 대상과 삼각 동치임을 보여주는 데 응용된다.

ABSTRACT

For an adjoint pair $(F, G)$ of functors, we prove that $G$ is a separable functor if and only if the defined monad is separable and the associated comparison functor is an equivalence up to retracts. In this case, under an idempotent completeness condition, the adjoint pair $(F, G)$ is monadic. This applies to the comparison between the derived category of the category of equivariant objects in an abelian category and the category of equivariant objects in the derived category of the abelian category.

연구 동기 및 목표

• 분리 가능 함수자와 모나드를 사용하여 수반 쌍에 대한 단항성 기준을 수립하기.
• 아벨 범주에서 G-작용 대상의 유도 범주가 유도 범주의 G-작용 대상과 동치가 되는 조건을 명확히 하기.
• 기존의 특성 0 및 고계 조건 하에서의 동치 결과를 더 넓은 설정으로 일반화하기.
• 아벨 범주에서 군의 순서가 가역임이 G-작용 범주 간의 유도 동치를 위한 필요충분 조건임을 보여주기.

제안 방법

• Hom-함수자에 유도되는 자연 변환에 대한 자연적 재접합의 존재를 통해 분리 가능 함수자를 정의한다.
• 수반 쌍 (F, G)를 사용하여 모나드 M = GF를 정의하고, M과 비교 함수자의 성질을 통해 G의 분리 가능성을 특성화한다.
• G가 분리 가능할 조건은 M이 분리 가능하고, 비교 함수자가 재접합에 대해 동치일 때이다.
• G에 대한 작용을 이용해 단면을 구성함으로써, G-작용 대상의 범주와 기저 범주 사이의 수반 관계에 이 기준을 적용한다.
• 유도 범주에서 모나드 M = UF의 분리 가능성을 이용해 D^b(A^G)와 D^b(A)^G 사이의 삼각 동치를 유도한다.
• 사전삼각형 범주와 안정적 분리 가능성의 결과를 활용하여, 유도 동치가 성립함을 보장한다.

실험 결과

연구 질문

• RQ1 오른쪽 수반 함수자가 관련된 모나드와 비교 함수자에 대해 어떤 조건에서 분리 가능할 수 있는가?
• RQ2 아이디포텐트 완비성 조건 하에서 수반 쌍은 언제 단항성이 되는가?
• RQ3 특성 0이나 고계 조건 없이도 D^b(A^G)와 D^b(A)^G 사이의 동치가 성립하는가?
• RQ4 군의 순서의 가역성이 G-작용 범주 간의 유도 동치를 확립하는 데 어떤 역할을 하는가?
• RQ5 추가 조건 없이도 G-작용 대상의 유도 범주와 G-작용 유도 범주 사이의 비교 함수자가 동치가 될 수 있는가?

주요 결과

• 유도 함수자 U: A^G → A는 유한군 G의 순서가 아벨 범주 A에서 가역일 경우 분리 가능하다.
• |G|의 가역성 조건 하에서 아벨 범주 A에서 모나드 M = UF도 분리 가능하다.
• A가 아이디포텐트 완비이고 G-작용이 삼각 함수자로 이루어지면, A^G는 U가 삼각 함수자인 유일한 사전삼각형 구조를 가진다.
• |G|가 A에서 가역일 경우, 함수자 K: D^b(A^G) → D^b(A)^G는 삼각 동치이다.
• |G|가 가역이 아니면, 양의 특성에서의 반례를 통해 동치가 성립하지 않음을 보였다.
• 이 결과는 [8, Lemma 1.1]을 일반화하여 특성 0 및 고계 조건이 필요 없어졌다.