[논문 리뷰] Exact DG-categories and fully faithful triangulated inclusion functors

Leonid Positselski|arXiv (Cornell University)|2021. 10. 15.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 DG-범주에 대한 '거의 호환성(Almost Involution)' 구조를 제안하여 DG-환으로부터 그룹화된 모듈의 아벨 범주를 복원하고, 제2종 유도 범주와 정확한 DG-범주를 위한 통합적 프레임워크를 제공한다. 주요 기여는 제2종 유도 범주 간 전순수 삼각형 유도자에 대한 일반 이론을 수립한 것으로, 아벨 DG-범주 위에서의 호모로지 대수학을 통해 증명되며, 복합체, 행렬 인수분해, CDG-모듈에 응용된다.

ABSTRACT

We construct an "almost involution" assigning a new DG-category to a given one, and use this construction to recover, say, the abelian category of graded modules over the graded ring $R^*$ from the DG-category of DG-modules over a DG-ring $(R^*,d)$. This provides an appropriate technical background for the definition and discussion of abelian and exact DG-categories. In the setting of exact DG-categories, derived categories of the second kind are defined in the maximal natural generality. We develop the related abstract category-theoretic language and use it to formulate and prove several full-and-faithfulness theorems for triangulated functors induced by the inclusions of fully exact DG-subcategories. Such functors are fully faithful for derived categories of the second kind more often than for the conventional derived categories. Examples and applications range from the categories of complexes in abelian/exact categories to matrix factorization categories, and from curved DG-modules over curved DG-rings to quasi-coherent CDG-modules over quasi-coherent CDG-quasi-algebras over schemes.

연구 동기 및 목표

• 정확한 DG-범주를 위한 범주론적 프레임워크를 '거의 호환성' 구조를 통해 개발한다.
• 새로운 DG-범주 구조를 통해 DG-환으로부터 그룹화된 모듈의 아벨 범주를 복원한다.
• 코유도 및 반유도 범주를 포함한 제2종 유도 범주의 일반적 설정을 수립한다.
• 완전 정확한 DG-부분범주의 포함이 제2종 유도 범주에서 전순수 삼각형 유도자로 이어지는 조건을 증명한다.
• 기존의 복합체, 행렬 인수분해, 준구성 CDG-모듈에 대한 유도 범주 결과들을 통합 및 일반화한다.

제안 방법

• 주어진 DG-범주 $\mathbf{A}$ 에서 새로운 DG-범주 $\mathbf{A}^\natural$ 을 구성하며, 이는 그룹화된 구조를 복원하는 이중성 유사 '거의 호환성'을 사용한다.
• 닫힌 사상의 0차 수준인 $\mathsf{Z}^0(\mathbf{A})$ 와 $\mathsf{Z}^0(\mathbf{A}^\natural)$ 간의 상호작용을 통해 아벨 및 정확한 DG-범주를 정의한다.
• 자유 생성된 DG-모듈을 그룹화된 모듈에서 유도하며, 표준적인 수축 호모토피를 갖춘다.
• $\mathsf{Z}^0(\mathbf{A})$ 와 $\mathsf{Z}^0(\mathbf{A}^\natural)$ 사이의 삼중 조인트 유도자 쌍을 도입하여 '미분을 忽시하는 것'과 '자유로운 DG-모듈 생성'을 해석한다.
• DG-모듈, 곡선이 있는 DG-모듈, 스킴 위의 CDG-모듈에 이 те론을 적용하며, 제2종 유도 범주를 중심으로 한다.
• 주요 결과는 $\mathsf{Z}^0(\mathbf{A}^\natural)$ 에 대한 호모로지 차원 가정과 fp-프로젝티브 차원 조건을 통해 증명된다.

실험 결과

연구 질문

• RQ1 어떻게 DG-환을 통해 그룹화된 환 위의 그룹화된 모듈의 아벨 범주를 DG-범주적 구조로 복원할 수 있는가?
• RQ2 기존의 예인 복합체 및 인수분해 범주를 일반화하는 정확한 DG-범주의 적절한 추상적 정의는 무엇인가?
• RQ3 완전 정확한 DG-부분범주의 포함이 제2종 유도 범주에서 전순수 삼각형 유도자로 이어지는 조건은 무엇인가?
• RQ4 Positselski와 Becker가 정의한 코유도 및 반유도 범주는 출력 측면에서 어떻게 비교 가능한가?
• RQ5 코유도 범주에 대한 전순수성 정리에서 유한한 fp-프로젝티브 차원 조건을 완화할 수 있는가?

주요 결과

• 구성 $\mathbf{A}^\natural$ 은 $\mathbf{A} = \boldsymbol{R}^\bullet\mathbf{--mod}$ 일 때 $\mathsf{Z}^0(\mathbf{A}^\natural)$ 에서 $R^*$-그룹화된 모듈의 아벨 범주를 복원한다.
• 아벨 DG-범주 $\mathbf{A}$ 에 대해, 함자 $\natural\natural: \mathbf{A} \to \mathbf{A}^{\natural\natural}$ 는 DG-동치를 이룬다. 이는 이 구성이 이러한 경우에 자기쌍대성을 가짐을 보여준다.
• 포함관계 $\boldsymbol{R}^{\blackdiamond}\mathbf{--mod}_{\mathbf{fp}} \to \boldsymbol{R}^{\blackdiamond}\mathbf{--mod}$ 는 $\mathsf{D}^{\mathsf{abs}}(\boldsymbol{R}^{\blackdiamond}\mathbf{--mod}_{\mathbf{fp}})$ 와 $\mathsf{D}^{\mathsf{co}}(\boldsymbol{R}^{\blackdiamond}\mathbf{--mod})$ 사이에 전순수 삼각형 유도자를 유도한다.
• $\aleph_n$-노에테리안 조건 하에서 $\mathsf{Z}^0(\mathbf{A}^\natural)$ 의 fp-프로젝티브 차원은 $n$ 이하로 유계된다. 이는 주요 정리의 가정을 만족한다.
• [50]의 결과는 Becker의 코유도 범주를 사용할 경우 $\mathsf{Z}^0(\mathbf{A})$ 에 대한 유한한 fp-프로젝티브 차원 조건을 제거할 수 있게 하여 주요 정리를 개선한다.
• Positselski의 코유도 범주와 Becker의 코유도 범주가 $\mathsf{Z}^0(\mathbf{A}^\natural)$ 이 유한한 fp-프로젝티브 차원을 가질 경우 일치함을 보이며, 더 넓은 설정에서도 잠재적인 동치가 존재할 가능성을 시사한다.