[논문 리뷰] DG quotients of DG categories

Vladimir Drinfeld|ArXiv.org|2002. 10. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 27인용 수 4

한 줄 요약

이 논문은 미분 등급 범주에 대한 유도 몫(유도된 몫, DG 몫) 이론을 개발하며, 베르드리에의 삼각형 몫을 DG 설정으로 일반화한다. 평탄성 조건이 성립할 경우 해석적 방법을 통해, 또 다른 새로운 국소화 유사 방법을 통해 두 가지 구축 방식을 제시하며, DG 몫이 유일하게 유사 등급에 대해 유일함을 증명하고, 유도 범주에서의 콘 구조를 통해 그의 Hom 복합체를 특성화한다.

ABSTRACT

Keller introduced a notion of quotient of a differential graded category modulo a full differential graded subcategory which agrees with Verdier's notion of quotient of a triangulated category modulo a triangulated subcategory. This work is an attempt to further develop his theory. More than a half of the text is devoted to an overview of "well known" definitions and results. As a result, the e-print is essentially self-contained.

연구 동기 및 목표

• 켈러의 DG 몫 이론을 더 체계적이고 자가 포함적인 프레임워크로 확장하기 위해.
• 고전적 삼각형 몫의 한계를 DG 범주 설정에서 작업함으로써 극복하고, 더 많은 호모토피 정보를 유지하기 위해.
• 완전한 DG 부분범주에 대한 DG 몫의 표준적 구축을 제공하기 위해.
• DG 몫의 Hom 복합체를 유도 텐서곱과 콘을 통해 특성화하기 위해.
• DG 몫이 유사 등급에 대해 유일함을 확립하여, 유도 대수기하학과 호모로지 대수학에서 일관된 사용이 가능하게 하기 위해.

제안 방법

• 평탄성 조건이 성립하지 않을 경우 DG 범주의 해석을 이용한 새로운 DG 몫의 구축을 제안한다.
• 드와이어-칸의 영감을 얻은 국소화 유사 접근을 활용하여 켈러의 원래 방법보다 더 단순화된 구축을 실현한다.
• DG 범주의 인도 버전을 사용하여 수직 여부를 정의함으로써 몫이 잘 정의됨을 보장한다.
• DG 몫의 Hom 복합체를 콘으로 특성화한다: $\operatorname{Cone}(h_Y \buildrel L\over{\otimes}_{{\mathcal{B}}} \tilde{h}_X \to \operatorname{Hom}(X,Y))$.
• 호모토피 동치와 유사 등급을 통해 DG 몫의 유일성을 확립하여 '해당 DG 몫'을 사용할 수 있도록 한다.
• DG 범주가 유도하는 삼각형 범주($\mathcal{A}^{\operatorname{tr}}$)를 활용하여 DG 몫을 고전적 버드리에 몫과 연결한다.

실험 결과

연구 질문

• RQ1 어떻게 작은 DG 범주 $\mathcal{A}$의 완전한 DG 부분범주 $\mathcal{B}$에 대해 체계적으로 유도 몫을 구축할 수 있는가?
• RQ2 그러한 DG 몫의 Hom 복합체는 어떤 호모로지적 구조를 가지는가?
• RQ3 DG 몫은 어떤 의미에서 유일하며, 고전적 삼각형 몫과 어떻게 관련되는가?
• RQ4 평탄성 조건이 성립할 경우 또는 비평탄성 범주를 해석할 경우 DG 몫 구축은 어떻게 행동하는가?
• RQ5 DG 몫은 유도 함자와 $A_\infty$-구조를 통해 특성화될 수 있는가?

주요 결과

• 작은 DG 범주 $\mathcal{A}$의 완전한 DG 부분범주 $\mathcal{B}$에 대한 DG 몫은 항상 존재하며, 유사 등급에 대해 유일하다.
• 평탄성 조건이 성립할 경우, DG 몫은 단지 $\mathcal{B}$의 대상들을 제거하는 것으로 간단히 구축할 수 있다.
• DG 몫의 Hom 복합체는 $h_Y$와 $\tilde{h}_X$가 관련된 DG 모듈일 때, 사상 $h_Y \buildrel L\over{\otimes}_{{\mathcal{B}}} \tilde{h}_X \to \operatorname{Hom}(X,Y)$의 콘과 자연스럽게 동형이다.
• DG 몫 구축은 등급을 유지하는 동치를 유도한다: $\mathcal{A}^{\operatorname{tr}} / \mathcal{B}^{\operatorname{tr}} \to \mathcal{C}^{\operatorname{tr}}$, 이는 고전적 버드리에 몫과 연결된다.
• 이 이론은 잘 정의되고 표준적인 DG 몫을 가능하게 하여, 유도 대수기하학과 $A_\infty$-범주 이론에서 일관된 사용이 가능하게 한다.
• DG 몫은 유도 함자와 호환되며, 켈러의 모델이나 콘체비치의 모델을 통해 $T(\mathcal{A}_1, \mathcal{A}_2)$를 정의하는 프레임워크를 제공한다.