[논문 리뷰] Derived Categories

Amnon Yekutieli|arXiv (Cornell University)|2020. 01. 16.

Algebraic structures and combinatorial models참고 문헌 105인용 수 36

한 줄 요약

이 사전출판 도서는 교환적 및 비가환 대수학에서 유도 범주에 대한 기초적이고 응용적인 통찰을 제공하며, 추상적 공리계보다는 구성과 예제에 초점을 맞춘다. DG 대수, 삼각형 범주 및 유도 범주, K-입사형/프로젝티브/플랫 모듈 등의 핵심 도구를 수립하고, 쌍대화 복합체, 기울임 이중모듈러, 비가환 MGM 동치와 같은 고급 주제를 발전시킨다. 이는 칼라비-야우 및 아르틴-슐레터 정규 링에 응용된다.

ABSTRACT

This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to present several applications of this theory in commutative and noncommutative algebra. The emphasis is on constructions and examples, rather than on axiomatics. Here are the topics covered in the book: - A review of standard facts on abelian categories. - Differential graded algebra (DG rings, DG modules, DG categories and DG functors). - Triangulated categories and triangulated functors between them. How they arise from the DG background. The homotopy category K(A,M) of DG A-modules in M. - Localization of categories. The derived category D(A,M), which is the localization of K(A,M) with respect to the quasi-isomorphisms. - Left and right derived functors of a triangulated functor. - K-injective, K-projective and K-flat DG modules. Their roles, and their existence in several important algebraic situations. - Dualizing and residue complexes over commutative noetherian rings, including Van den Bergh rigidity. - Perfect DG modules and tilting DG bimodules over NC (noncommutative) DG rings. - NC connected graded rings, including Artin-Schelter regular rings. Derived torsion for NC connected graded rings, its relation to the chi condition of Artin-Zhang, and the NC MGM Equivalence. Balanced dualizing complexes, their uniqueness, existence and trace functoriality. - NC rigid dualizing complexes, following Van den Bergh. The uniqueness and existence of these complexes, a few examples, and their relation to Calabi-Yau rings. Readers of this preview version are urged to write to the author with any comments regarding errors, suggestions or questions.

연구 동기 및 목표

• 유도 범주 이론에 대한 엄밀하면서도 접근하기 쉬운 기초를 마련하여, 추상적 공리계보다는 구성과 예제에 중점을 둔다.
• 유도 범주 이론의 중심적인 프레임워크로서 DG 대수, DG 모듈, DG 범주의 역할을 탐구한다.
• 삼각형 함자에 대한 왼쪽 및 오른쪽 유도 함자를 포함한 유도 함자의 이론을 DG 모듈의 맥락에서 발전시킨다.
• 교환적 노에테르 링 위에서의 쌍대화 및 잔여 복합체의 행동을 조사하며, 반 덴 버그의 강성과 추적 함자성의 역할을 다룬다.
• 특히 비가환 링, 특히 NC 연결된 군집 링, 완전 모듈러, 기울임 이중모듈러를 포함한 비가환 설정으로 이론을 확장하고, 비가환 MGM 동치를 수립한다.

제안 방법

• 유도 범주를 구성하기 위한 주요 대수적 프레임워크로 미분 기하학적(DG) 링과 DG 모듈을 사용한다.
• 모듈 범주 M 내에서 DG A-모듈의 호모토피 범주 K(A,M)를 구성한 후, 준동형사상에 의한 국소화를 통해 유도 범주 D(A,M)를 형성한다.
• 국소화 기법을 적용하여 삼각형 범주를 유도하고, 특히 유도 함자와 관련된 삼각형 함자들을 연구한다.
• K-입사형, K-프로젝티브, K-플랫 DG 모듈을 도입하고, 주요 대수적 맥락에서 그 존재성을 증명한다.
• 균형 잡힌 및 강성 있는 쌍대화 복합체를 사용하여 이론을 비가환 링에 적용하고, 추적 함자성과 아르틴-장의 카이 조건을 활용한다.
• 유도된 토션과 칼라비-야우 성질을 연결하는 NC 링에서 유도된 비가환 MGM 동치를 수립한다.

실험 결과

연구 질문

• RQ1 유도 범주는 DG 대수와 DG 모듈로부터 어떻게 체계적으로 구성될 수 있으며, 이는 호모로지 대수학을 지원할 수 있는가?
• RQ2 중요한 대수적 맥락에서 K-입사형, K-프로젝티브, K-플랫 DG 모듈의 존재를 보장하는 조건은 무엇인가?
• RQ3 교환적 노에테르 링 위에서 쌍대화 및 잔여 복합체는 어떻게 행동하며, 반 덴 버그의 강성은 어떤 역할을 하는가?
• RQ4 비가환 대수학에서, NC DG 링 위에서 완전 DG 모듈과 기울임 DG 이중모듈러의 구조와 중요성은 무엇인가?
• RQ5 NC 연결된 군집 링에서의 유도된 토션은 카이 조건과 비가환 MGM 동치와 어떻게 관련이 있는가?

주요 결과

• 유도 범주 D(A,M)는 호모토피 범주 K(A,M)를 준동형사상에 대해 국소화함으로써 잘 정의되며, 유도 함자에 대한 견고한 프레임워크를 제공한다.
• K-입사형, K-프로젝티브, K-플랫 DG 모듈은 중요한 대수적 맥락에서 존재하며, 왼쪽 및 오른쪽 유도 함자를 구성하는 데 기여한다.
• NC 연결된 군집 링 위에서 균형 잡힌 쌍대화 복합체는 정규화된 동형사상에 대해 유일하며, 추적 함자성을 나타낸다.
• 비가환 맥락에서 강성 있는 쌍대화 복합체는 존재하며 유일하며, 명시적인 예와 칼라비-야우 링과의 연결 고리가 있다.
• 비가환 MGM 동치는 NC 연결된 군집 링에서 성립하며, 유도된 토션과 아르틴-장의 카이 조건을 연결한다.
• 반 덴 버그의 강성 정리가 DG 맥락에서 수립되어, 이러한 복합체의 유일성과 구조를 강화한다.