[논문 리뷰] Compact Corigid Objects in Triangulated Categories and Co-t-structures

David Pauksztello|ArXiv.org|2007. 05. 01.

Algebraic structures and combinatorial models참고 문헌 8인용 수 4

한 줄 요약

이 논문은 삼중 분할 범주에서 컴팩트한 코리지드 객체에 의해 유도되는 co-t-구조를 제안하며, 리지드 객체에 의해 유도되는 t-구조의 이중 이론이다. 이러한 co-t-구조가 비퇴화적임을 증명하고, 그 코하트(coheart)가 리지드 객체의 내부자기환의 반대 범주인 모듈러 범주와 동치임을 보이며, 따라서 아벨 부분범주를 이룬다.

ABSTRACT

In the work of Hoshino, Kato and Miyachi, the authors look at t-structures induced by a compact object, C, of a triangulated category, T, which is rigid in the sense of Iyama and Yoshino. Hoshino, Kato and Miyachi show that such an object yields a non-degenerate t-structure on T whose heart es equivalent to Mod(End(C)^op). Rigid objects in a triangulated category can be thought of as behaving like chain differential graded algebras (DGAs). Analogously, looking at objects which behave like cochain DGAs naturally gives the dual notion of a corigid object. Here, we see that a compact corigid object, S, of a triangulated category, T, induces a structure similar to a t-structure which we shall call a co-t-structure. We also show that the coheart of this non-degenerate co-t-structure is equivalent to Mod(End(S)^op), and hence an abelian subcategory of T.

연구 동기 및 목표

• 리지드 객체에 의해 유도되는 t-구조의 이중 이론을 개발하며, 코체인 DGA처럼 행동하는 객체에 초점을 맞춘다.
• 삼중 분할 범주에서 t-구조의 이중 개념으로 co-t-구조를 정의하고 연구한다.
• co-t-구조의 코하트가 아벨 범주가 되는 조건을 확립한다.
• 호시노, 카토, 미야치의 t-구조에 관한 결과를 코체인 설정으로 일반화하며, 컴팩트한 코리지드 객체를 통해 이를 달성한다.
• 비퇴화적인 co-t-구조가 컴팩트한 코리지드 객체에 의해 유도될 경우, 그 코하트가 Mod(End(S)^op)와 동치임을 증명한다.

제안 방법

• t-구조의 이중 개념으로서 co-t-구조의 개념을 도입하며, 수직 범주와 코수직성(co-orthogonality)을 통해 정의한다.
• 삼중 분할 범주 T에서 컴팩트한 코리지드 객체 S를 다음과 같이 정의한다: 모든 i < 0에 대해 Hom(S, Σ^i S) = 0이며, {Σ^i S | i ∈ ℤ}가 T를 생성한다.
• X = {X ∈ T | 모든 i < 0에 대해 Hom(S, Σ^i X) = 0} 및 Y = {X ∈ T | 모든 i > 0에 대해 Hom(S, Σ^i X) = 0}인 co-t-구조 (X, Y)를 구성한다.
• C = X ∩ Y(코하트)의 전체 부분범주에 대해, Functor Hom(S, -)를 통해 Mod(End(S)^op)로의 동치를 증명함으로써 C가 아벨 범주임을 보인다.
• 컴팩트성과 생성 성질을 이용하여 Functor Hom(S, -): C → Mod(End(S)^op)의 전사성과 필수적 전사성을 확립한다.
• 합집합의 보편성과 교환 가능한 다이어그램을 사용하여 Hom(S, -)가 전사적이고 필수적으로 전사적임을 보이며, 이로 인해 범주 동치가 성립함을 도출한다.

실험 결과

연구 질문

• RQ1 삼중 분할 범주에서 코체인 DGA처럼 행동하는 객체에 대해 t-구조 이론을 어떻게 이중화할 수 있는가?
• RQ2 컴팩트한 코리지드 객체는 삼중 분할 범주에 어떤 구조를 유도하며, t-구조와는 어떻게 관련이 있는가?
• RQ3 co-t-구조의 코하트가 아벨 범주가 되는 조건은 무엇인가?
• RQ4 비퇴화적인 co-t-구조의 코하트는 유도 객체의 내부자기환의 반대 모듈러 범주와 동치인가?
• RQ5 호시노, 카토, 미야치의 t-구조에 관한 정리의 이중성이 컴팩트한 코리지드 객체를 통해 co-t-구조에 대해 성립하는가?

주요 결과

• 삼중 분할 범주 T에서 컴팩트한 코리지드 객체 S는 T 위에 비퇴화적인 co-t-구조를 유도한다.
• 이 co-t-구조의 코하트는 두 반구조의 교차로 정의되며, Mod(End(S)^op)와 동치이다.
• 코하트에 제한된 Functor Hom(S, -)는 범주 동치이므로 코하트는 아벨 범주이다.
• 증명은 S의 컴팩트성과 {Σ^i S | i ∈ ℤ}의 생성 성질을 이용하여 Hom(S, -)의 전사성을 확립함에 기반한다.
• 코하트가 아벨 범주임을 증명하기 위해 Functor Hom(S, -)가 전사적이고 필수적으로 전사적임을 보였다.
• 이 결과는 호시노, 카토, 미야치의 t-구조에 관한 정리에 대한 이중 대응을 제공하며, 이제는 co-t-구조와 코리지드 객체에 대해 적용된다.