[논문 리뷰] General heart construction on a triangulated category (II): Associated cohomological functor

Noriyuki Abe, Hiroyuki Nakaoka|ArXiv.org|2009. 10. 14.

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

한 줄 요약

이 논문은 임의의 삼중분류 범주에서 토르션 쌍의 하트로의 코homological 함자를 구성하며, t-구조와 클러스터 트리밍 부분범주에 관련된 고전적 코homological 함자들을 통합한다. 주요 기여는 X[1]과 Y의 교차를 이용한 몫 구조를 통해 두 알려진 경우를 일반화하는 자연스러운 코homological 함자 H: C → H̲를 제공하는 것이다.

ABSTRACT

In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., $t$-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases of torsion pairs are $t$-structures and cluster tilting subcategories. If the torsion pair comes from a $t$-structure, then its heart is nothing other than the heart of this $t$-structure. In this case, as is well known, by composing certain adjoint functors, we obtain a cohomological functor from the triangulated category to the heart. If the torsion pair comes from a cluster tilting subcategory, then its heart coincides with the quotient category of the triangulated category by this subcategory. In this case, the quotient functor becomes cohomological. In this paper, we unify these two constructions, to obtain a cohomological functor from the triangulated category, to the heart of any torsion pair.

연구 동기 및 목표

• 삼중분류 범주에서 t-구조와 클러스터 트리밍 부분범주에 대한 알려진 코homological 함자 구성법을 임의의 토르션 쌍으로 일반화한다.
• 삼중분류 범주 C의 임의의 토르션 쌍 (X,Y)에 대해 자연스러운 코homological 함자 H: C → H̲를 정의한다.
• 두 극한 경우—t-구조와 클러스터 트리밍 부분범주—를 하트 구성에 의해 하나의 프레임워크로 통합한다.
• 유도된 삼중분류 삼각형에 의해 유도되는 장점 수열에서 정확성을 유지하는 바에 따라, 결과 함자 H가 코homological임을 확립한다.

제안 방법

• H̲를 (C⁺ ∩ C⁻)/W로 정의하며, 여기서 W = X[1] ∩ Y이며, C⁺, C⁻는 삼중분류 삼각형을 통해 정의된 부분범주이다.
• 함수 H: C → H̲를 C → C/W의 몫 함수와 H̲ ⊆ C/W의 포함 함수의 합성으로 구성한다.
• 옥타드론 공리를 사용하여 C의 삼중분류 삼각형을 몫 범주 C/W에서 유도된 삼각형과 연결한다.
• 모든 삼중분류 삼각형 A → B → C → A[1]에 대해 H(A) → H(B) → H(C)의 수열이 정확함을 확인하여 H가 코homological임을 증명한다.
• H(C) = 0이 되는 것은, 모든 X ∈ X에서 C로의 사상이 X₀[1] ∈ X[1] ∩ Y에 의해 인수화되는 데에 의존함을 보장한다.
• 몫 범주 C/W와 X와 Y의 수직성 조건을 활용하여 H의 잘 정의성과 정확성 보장

실험 결과

연구 질문

• RQ1 임의의 토르션 쌍의 하트로의 삼중분류 범주에서 코homological 함자를 구성할 수 있는가? 이는 t-구조와 클러스터 트리밍 부분범주에 대한 알려진 구성법을 일반화하는가?
• RQ2 토르션 쌍의 하트는 고전적 t-구조의 하트와 클러스터 트리밍 부분범주에 모odulo된 몫 범주와 어떻게 관련이 있는가?
• RQ3 유도된 함자 H: C → H̲가 코homological, 즉 장점 수열의 정확성을 유지하는 데 필요한 조건은 무엇인가?
• RQ4 함자 H의 커널은 무엇이며, W = X[1] ∩ Y를 통한 인수화 측면에서 어떻게 특성화할 수 있는가?

주요 결과

• 함자 H: C → H̲는 코homological이며, 삼중분류 삼각형에 의해 유도되는 수열의 정확성을 유지한다.
• (X,Y)가 t-구조일 경우, H는 t-구조의 하트로의 고전적 코homological 함자와 일치한다.
• (X,Y)가 클러스터 트리밍 부분범주 T = X[1] = Y로부터 유도될 경우, H는 몫 함자 C → C/T와 동형이다.
• H의 커널은 모든 X ∈ X에서 C로의 사상이 X[1] ∩ Y에 속하는 어떤 객체를 통해 인수화되는 객체 C로 정확히 구성된다.
• 하트 H̲는 아벨 범주이며, 이 구성은 t-구조와 클러스터 트리밍 사례를 하나의 프레임워크로 일반화한다.
• H의 코homological 성질은 옥타드론 공리와 몫 범주 C/W에서의 수열의 정확성에 의해 증명된다.