[논문 리뷰] Acyclicity versus total acyclicity for complexes over noetherian rings

Srikanth B. Iyengar, Henning Krause|ArXiv.org|2005. 06. 14.

Algebraic structures and combinatorial models참고 문헌 19인용 수 99

한 줄 요약

이 논문은 분해 복합체를 가진 교환적 노에터 링 위에서 프로젝티브 및 인젝티브 모듈의 호모토피 범주 간의 등가성을 함의하는 함수자 $ D \bigotimes_R - $ 를 사용하여 수립하며, 양 범주 내에서 약간의 약한 복합체를 제거한 몫 범주들이 등가임을 증명한다. 핵심 결과는 이러한 몫 범주들이 두껍게 서브범주 몫 $ \operatorname{Thick}(R,D)/\operatorname{Thick}(R) $ 와 일치함을 규명하여, 아우슬라너 및 바스 범주 내 복합체의 새로운 특성화를 제공한다.

ABSTRACT

It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects, this statement is a reinterpretation of Grothendieck's duality theorem. Using this equivalence it is proved that the (Verdier) quotient of the category of acyclic complexes of projectives by its subcategory of totally acyclic complexes and the corresponding category consisting of injective modules are equivalent. A new characterization is provided for complexes in Auslander categories and in Bass categories of such rings.

연구 동기 및 목표

• 교환적 노에터 링에 분해 복합체를 가진 링 위에서 프로젝티브 및 인젝티브 모듈의 호모토피 범주 간의 삼각형 등가성을 수립하는 것.
• 프로젝티브 및 인젝티브 설정 모두에서 약한 복합체를 완전히 약한 복합체로 나눈 몫 범주를 특성화하는 것.
• 이 등가성을 이용해 아우슬라너 및 바스 범주 내 복합체의 새로운 특성화를 제공하는 것.
• 유도된 함수자와 컴act 대상들을 통해 호모토피 범주 수준으로 그로텐디크 등가성을 확장하는 것.

제안 방법

• 분해 복합체 $ D $ 를 사용하여 함수자 $ D \otimes_R - $ 를 사용해 $ \mathbf{K}(\operatorname{Prj} R) $ 와 $ \mathbf{K}(\operatorname{Inj} R) $ 간의 삼각형 등가를 구성하는 것.
• 직접 합의 인젝티브 모듈이 인젝티브임을 이용하여 함수자가 삼각형적 구조를 유지함을 보장하는 것.
• 함수자 $ \mathsf{q} \circ \operatorname{Hom}_R(D, -) $ 를 통해 역함수를 수립하는 것. 여기서 $ \mathsf{q} $ 는 평탄한 복합체에서 인젝티브 복합체로의 몫 함수자이다.
• 컴팩트 대상의 성질을 이용하여 $ \mathbf{K}(\operatorname{Prj} R) $ 와 $ \mathbf{K}(\operatorname{Inj} R) $ 내의 대상들 간의 등가를 $ \mathbf{D}^f(R) $ 내의 그로텐디크 등가와 연결하는 것.
• 두껍게 서브범주 몫을 통해 $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Prj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Prj} R) $ 와 $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Inj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Inj} R) $ 의 몫 범주를 분석하는 것.
• 컴팩트 생성 및 국소화 이론을 적용하여 몫 범주들이 컴팩트 생성임을 보이고, $ \operatorname{Thick}(R,D)/\operatorname{Thick}(R) $ 와 등가임을 증명하는 것.

실험 결과

연구 질문

• RQ1 노에터 링에 분해 복합체를 가진 링 위에서 프로젝티브 및 인젝티브 모듈의 호모토피 범주 간에 삼각형 등가가 존재하는가?
• RQ2 프로젝티브 및 인젝티브 설정 모두에서 약한 복합체를 완전히 약한 복합체로 나눈 몫 범주들은 어떻게 관련되어 있는가?
• RQ3 아우슬라너 및 바스 범주가 이러한 몫 범주를 통해 특성화될 수 있는가?
• RQ4 유도된 등가 $ \mathbf{R}\operatorname{Hom}_R(-,D) $ 는 어느 정도까지 호모토피 범주 수준으로 확장될 수 있는가?
• RQ5 어떤 조건이 인젝티브 복합체가 유한한 G-인젝티브 차원을 가질 수 있도록 보장하는가?

주요 결과

• 함수자 $ D \otimes_R - $ 는 $ \mathbf{K}(\operatorname{Prj} R) $ 와 $ \mathbf{K}(\operatorname{Inj} R) $ 간의 삼각형 등가를 유도하며, 그 역함수는 $ \mathsf{q} \circ \operatorname{Hom}_R(D, -) $ 를 따른다.
• 몰입 범주 $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Prj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Prj} R) $ 와 $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Inj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Inj} R) $ 는 컴팩트 생성이며 $ \operatorname{Thick}(R,D)/\operatorname{Thick}(R) $ 와 등가이다.
• R 위에서 유한한 G-인젝티브 차원을 가진 복합체는 바스 범주 $ \mathcal{B}(R) $ 내의 복합체이며, 정확한 삼각형 $ V \to Y \to T \to \Sigma V $ 가 존재하여 $ V \in \operatorname{Loc}(D) $ 이고 $ T $ 는 완전히 약한 복합체임을 특성화한다.
• 인젝티브 복합체 $ Y $ 가 유한한 G-인젝티브 차원을 가질 조건은 $ \mathbf{R}\operatorname{Hom}_R(D,Y) $ 가 오른쪽으로 유계임, 또는 $ V \cong \mathsf{v}(Y) $ 이면 $ \mathsf{S}(V) $ 가 $ \operatorname{Loc}(R) $ 에 속함을 의미한다.
• 등가 $ \mathbf{K}(\operatorname{Prj} R) \simeq \mathbf{K}(\operatorname{Inj} R) $ 는 컴팩트 대상 대응에 의해 그로텐디크 등가를 회복한다.
• 결과는 쌍 $ \langle S,R \rangle $ 에 대한 분해 복합체를 통해 비가환 설정으로 확장되며, G-프로젝티브 및 G-인젝티브 차원은 아우슬라너 및 바스 범주 내의 대상들과 일치한다.