[논문 리뷰] Dg algebras with enough idempotents, their dg modules and their derived categories

Manuel Saorı́n|arXiv (Cornell University)|2016. 12. 14.

Algebraic structures and combinatorial models인용 수 25

한 줄 요약

이 논문은 충분한 아이디포텐트를 가진 dg 대수와 소형 dg 범주 사이의 기초적인 등치성을 확립하며, 그들의 dg 모듈과 유도 범주가 준동치임을 보여준다. dg 수반 관계를 도입하고, 이러한 dg 대수에 대해 왼쪽 및 오른쪽 모듈의 완전 유도 범주가 상호 이중임을 증명하여, 고전적 모듈 이론의 수반 관계를 유도 함자로 확장한다.

ABSTRACT

We develop the theory dg algebras with enough idempotents and their dg modules and show their equivalence with that of small dg categories and their dg modules. We introduce the concept of dg adjunction and show that the classical covariant tensor-Hom and contravariant Hom-Hom adjunctions of modules over associative unital algebras are extended as dg adjunctions between categories of dg bimodules. The corresponding adjunctions of the associated triangulated functors are studied, and we investigate when they are one-sided parts of bifunctors which are triangulated on both variables. We finally show that, for a dg algebra with enough idempotents, the perfect left and right derived categories are dual to each other.

연구 동기 및 목표

• 충분한 아이디포텐트를 가진 dg 대수와 그들의 dg 모듈에 대한 종합적인 이론을 개발하여 고전적 대수학과 현대 dg 범주론을 연결한다.
• 소형 dg 범주와 충분한 아이디포텐트를 가진 dg 대수 사이의 일대일 대응을 확립하고, 이들의 모듈 범주 간의 dg 등치를 증명한다.
• 결합 대수학에서의 고전적 텐서-항성 및 항성-항성 수반 관계를 dg 설정으로 확장하여 dg 이중모듈 범주 간의 dg 수반 관계를 구성한다.
• dg 함자 간의 유도 함자를 연구하고, 이들이 두 변수 모두에서 삼각형 범주로 작용하는 조건을 규명한다.
• 충분한 아이디포텐트를 가진 dg 대수의 완전한 왼쪽 및 오른쪽 유도 범주가 상호 이중임을 증명한다.

제안 방법

• 표준적인 dg 공리계를 만족하는 군형과 미분을 갖는 다수의 아이디포텐트 생성자로 일반화된, 충분한 아이디포텐트를 가진 dg 대수를 정의한다.
• 이러한 대수 위의 오른쪽 dg 모듈 범주를 구성하고, 관련된 소형 dg 범주 위의 dg 모듈 범주와의 동치를 증명한다.
• 고전적 수반 관계(텐서-항성 및 항성-항성)를 모듈 범주에서 dg 수준으로 옮겨 수반構조를 유지하는 dg 수반 관계를 도입한다.
• 호모토피 및 유도 범주를 사용하여 dg 함자를 분석하고, 특히 제약 및 스칼라 확장의 유도 함자를 중심으로 다룬다.
• 이론을 적용하여 유도 항성 및 텐서 함자를 통해 완전한 왼쪽 및 오른쪽 유도 범주 간의 이중성을 증명한다.
• 완전 범주의 생성자를 사용하여 핵심 동치를 검증하고, 호모토피적 프로젝티브성과 Hom-複합체 및 모듈 간의 명시적 동치를 활용한다.

실험 결과

연구 질문

• RQ1 충분한 아이디포텐트를 가진 dg 대수의 이론은 어떻게 체계적으로 발전시켜 소형 dg 범주 이론을 모방할 수 있는가?
• RQ2 결합 대수학에서의 고전적 텐서-항성 및 항성-항성 수반 관계의 정확한 dg 해석은 무엇인가?
• RQ3 dg 함자 간의 유도 함자가 두 변수 모두에서 삼각형 범주로 작용하는 조건은 무엇인가?
• RQ4 충분한 아이디포텐트를 가진 dg 대수 위의 dg 모듈의 유도 범주는 어떻게 소형 dg 범주의 유도 범주와 관련이 있는가?
• RQ5 충분한 아이디포텐트를 가진 dg 대수의 완전한 왼쪽 및 오른쪽 유도 범주 간에 유도 이중성이 존재하는가?

주요 결과

• 충분한 아이디포텐트를 가진 dg 대수 위의 오른쪽 dg 모듈 범주와 관련된 소형 dg 범주의 dg 모듈 범주 사이에 엄격한 dg 등치가 존재한다.
• 고전적 쌍대변수 텐서-항성 및 반대변수 항성-항성 수반 관계는 dg 이중모듈 범주 간의 dg 수반 관계로 확장된다.
• 제약 및 스칼라 확장의 유도 함자는 dg 수반 관계를 이루며, 이들의 합성은 완전한 모듈 위에서 자연 동치를 이룬다.
• 모든 충분한 아이디포텐트를 가진 dg 대수에 대해, 완전한 왼쪽 및 오른쪽 유도 범주는 유도 항성 및 텐서 함수를 통해 상호 이중이다.
• 이중성 증명의 핵심 동치는 생성자 $e_iA$ 에서 검증되며, $B \bigotimes_A \text{Hom}_A(e_iA, A)$ 와 $Be_i$ 사이, 그리고 $e_iA \bigotimes B$ 와 $Be_i$ 사이의 명시적 동치를 사용한다. 이는 차수 0의 사상과 그 역 구조를 포함한다.