[논문 리뷰] Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence

Leonid Positselski|2009. 05. 17.

Algebraic structures and combinatorial models참고 문헌 35인용 수 119

한 줄 요약

이 논문은 DG-대수, 코모듈, 콘트라모듈에 대한 DG- 및 CDG-대수 위에서 두 가지 다른 유형의 유도 범주—첫 번째 종류의 유도 범주(표준 유도 범주)와 두 번째 종류의 유도 범주(코모듈-콘트라모듈 대응 관계를 포함한 코유도 및 콘트라유도 범주)—에 대한 기초적인 프레임워크를 수립한다. 이 논문은 코스줄 이중성과 코모듈-콘트라모듈 대응 관계가 이러한 유도 범주를 통해 통합됨을 증명하며, 주요 결과로 코프라이브리언트 DG-대수에 대해 유도, 코유도, 콘트라유도 범주가 동치임을 보이고, 유한 호모로지 차원 조건 하에서 대응 관계가 성립함을 보여준다.

ABSTRACT

This paper can be thought of as an extended introduction to arXiv:0708.3398; nevertheless, most of its results are not covered by loc. cit. We consider the derived categories of DG-modules, DG-comodules, and DG-contramodules, the coderived and contraderived categories of CDG-modules, the coderived categories of CDG-comodules, and the contraderived categories of CDG-contramodules. The equivalence between the latter two categories (the comodule-contramodule correspondence) is established. Nonhomogeneous Koszul duality or "triality" (an equivalence between exotic derived categories corresponding to Koszul dual (C)DG-algebra and CDG-coalgebra) is obtained in the conilpotent and nonconilpotent versions. Various $A_\infty$-structures are considered, and a number of model category structures are described. Homogeneous Koszul duality and $D$-$Ω$ duality are discussed in the appendices.

연구 동기 및 목표

• 코스줄 이중성에서 발생하는 스펙트럴 시퀀스의 수렴 문제를 해결하기 위해 두 종류의 유도 범주를 구분함으로써 해결한다.
• 코유도 및 콘트라유도 범주를 통한 코모듈과 콘트라모듈 간의 이중성 관계 수립.
• CDG-구조와 A∞-대수를 활용하여 비코니플로턴트 및 곡선 형태의 설정으로 코스줄 이중성을 일반화함.
• 모델 범주 및 호모토피론적 대수 기법을 통해 DG-모듈, 코모듈, 콘트라모듈의 유도 범주를 통합함.
• 유한 호모로지 차원 조건을 만족하는 CDG-링에 대해 코유도 및 콘트라유도 범주가 일치함을 증명함. 특히 자유 기저를 가진 그레이드 대수의 경우를 포함한다.

제안 방법

• 표준 유도 범주(항등형 복합체로 나누기)와 코유도/콘트라유도 범주(미분을 忽시했을 때 포함된 모듈이 임베딩 또는 프로젝티브인 복합체로 나누기)라는 두 가지 유도 범주를 도입함.
• 완비 필터링을 사용하여 스펙트럴 시퀀스의 수렴을 보장함. 특히 불완전한 필터링을 완비한 필터링으로 대체함.
• 유한 호모로지 차원 조건 하에서 코유도 및 콘트라유도 범주를 식별하는 이중성 함수를 통해 코모듈-콘트라모듈 대응 관계를 적용함.
• DG-모듈, CDG-코모듈, CDG-콘트라모듈에 대한 모델 범주 구조를 활용하여 호모토피 범주를 구성하고 유도 함자를 도출함.
• ${ m D}$–$ ext{Hom}$ 이중성 및 리스 대수 기법을 적용하여 유한 차수의 일관된 유도 범주가 필터링된 모듈에 의해 생성됨을 보임.
• 기본적인 함자와 총합화 기법을 사용하여 CDG-모듈의 절대 유도 범주를 필터링된 모듈의 유한 차수 범주와 연결함.

실험 결과

연구 질문

• RQ1 표준 필터링이 불완전하여 수렴하지 못할 경우, 코스줄 이중성에서 스펙트럴 시퀀스를 어떻게 수렴시킬 수 있는가?
• RQ2 DG- 및 CDG-구조의 맥락에서 코유도 및 콘트라유도 범주 간의 정확한 관계는 무엇인가?
• RQ3 어떤 경우에 DG-대수 위의 DG-모듈에 대한 유도, 코유도, 콘트라유도 범주가 일치하는가?
• RQ4 코모듈-콘트라모듈 대응 관계는 곡선 A∞-코모듈 및 CDG-대수로 어떻게 일반화되는가?
• RQ5 어떤 조건에서 CDG-링의 유도 범주가 그 코유도 및 콘트라유도 범주와 일치하는가?

주요 결과

• 완비 필터링을 사용할 경우 스펙트럴 시퀀스는 수렴하며, 두 가지 다른 완비화 방식(무한 곱과 무한 합)은 두 개의 서로 다른 전체 복합체를 유도한다.
• 첫 번째 종류의 유도 범주는 호모토피 범주에서 약한 복합체로 나누어진 것이며, 두 번째 종류의 유도 범주는 미분을 忽시했을 때 복합체가 임베딩 또는 프로젝티브일 경우에 해당하는 전체 부분범주와 동치이다.
• 모든 DG-대수에 대해 DG-모듈의 유도, 코유도, 콘트라유도 범주는 동치이며, 이는 모든 DG-대수가 코프라이브리언트 대수와 준동치이기 때문이다.
• CDG-대수의 기저 그레이드 대수가 자유일 경우, 코유도 및 콘트라유도 범주는 일치하며, 코모듈-콘트라모듈 대응 관계가 성립한다.
• ${ m O}_X$-일관된 CDG-모듈의 절대 유도 범주는 필터링된 모듈에 의해 생성되며, 아이디포텐트 완비화에 대해 닫혀 있어, 유한 일관된 범주와의 이중성 보장.
• 필터링된 ${ m D}$-모듈의 리스 대수는 노에테르이면서 유한 호모로지 차수를 가지며, 따라서 일관된 필터링된 모듈을 표준 필터링된 모듈의 합으로 해체할 수 있다.