[논문 리뷰] Intervals of $s$-torsion pairs in extriangulated categories with negative first extensions

Takahide Adachi, Haruhisa Enomoto외 1명|arXiv (Cornell University)|2021. 03. 17.

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

한 줄 요약

이 논문은 음수 첫 번째 확장이 존재하는 외부삼각형 분류에서 $s$- torsion 쌍을 도입하여, 삼각형 분류에서의 $t$-구조와 아벨 분류에서의 torsion 쌍을 일반화한다. 이는 $s$-torsion 쌍의 간격과 그에 대응하는 심장에서의 $s$-torsion 쌍 사이의 순서 집합 동형을 수립함으로써 HRS-tilt와 $\tau$-tilting 감소 프레임워크를 통합하며, 심장 구성의 카테고리적 일반화를 통해 이루어진다.

ABSTRACT

As a general framework for the studies of $t$-structures on triangulated categories and torsion pairs in abelian categories, we introduce the notions of extriangulated categories with negative first extensions and $s$-torsion pairs. We define a heart of an interval in the poset of $s$-torsion pairs, which naturally becomes an extriangulated category with a negative first extension. This notion generalizes hearts of $t$-structures on triangulated categories and hearts of twin torsion pairs in abelian categories. In this paper, we show that an interval in the poset of $s$-torsion pairs is bijectively associated with $s$-torsion pairs in the corresponding heart. This bijection unifies two well-known bijections: One is the bijection induced by HRS-tilt of $t$-structures on triangulated categories. The other is Asai--Pfeifer's and Tattar's bijections for torsion pairs in an abelian category, which is related to $τ$-tilting reduction and brick labeling.

연구 동기 및 목표

• 삼각형 분류에서의 $t$-구조와 아벨 분류에서의 torsion 쌍을 연구하는 데 통합된 프레임워크를 제공하기 위해 외부삼각형 분류를 사용하는 것.
• 음수 첫 번째 확장이 존재하는 외부삼각형 분류에서 $s$-torsion 쌍을 정의하고 연구함으로써 $t$-구조와 torsion 쌍을 일반화하기 위해.
• 간격의 심장 $\mathcal{H}_{[t_1,t_2]}$를 외부삼각형 분류로 정의하여 음수 첫 번째 확장이 존재하는 구조를 갖는다.
• 간격의 $s$-torsion 쌍과 그 심장에서의 $s$-torsion 쌍 사이의 순서 집합 동형을 수립함으로써 두 알려진 이항관계를 통합하기 위해.

제안 방법

• 외부삼각형 분류에서 음수 첫 번째 확장 $\mathbb{E}^{-1}$ 의 개념을 도입하여, $t$-구조에서 음수 첫 번째 확장의 소멸을 일반화한다.
• $\mathbb{E}^{-1}(\mathcal{T},\mathcal{F}) = 0$ 를 만족하는 $s$-torsion 쌍을 정의한다.
• 순서 집합에서의 $s$-torsion 쌍의 간격 $[t_1,t_2]$ 에 대해 심장 $\mathcal{H}_{[t_1,t_2]} = \mathcal{T}_2 \cap \mathcal{F}_1$ 을 구성한다.
• 심장이 자연스럽게 음수 첫 번째 확장이 존재하는 외부삼각형 분류의 구조를 상속함을 보인다.
• 간격 $[t_1,t_2]$ 와 심장 $\mathcal{H}_{[t_1,t_2]}$ 에서의 $s$-torsion 쌍의 순서 집합 사이의 순서 집합 동형을 증명한다.
• 일반 결과를 적용하여 기존의 이항관계를 복원한다: 삼각형 분류일 경우 HRS-tilt, 아벨 분류에서의 torsion 쌍일 경우 Asai–Pfeifer/Tattar의 이항관계.

실험 결과

연구 질문

• RQ1 어떻게 삼각형 분류에서의 $t$-구조와 아벨 분류에서의 torsion 쌍을 음수 첫 번째 확장이 존재하는 외부삼각형 분류의 공통 카테고리적 프레임워크 아래 통합할 수 있는가?
• RQ2 음수 첫 번째 확장이 존재하는 외부삼각형 분류에서 $t$-구조와 torsion 쌍의 적절한 일반화는 무엇인가?
• RQ3 간격의 $s$-torsion 쌍의 심장은 음수 첫 번째 확장이 존재하는 카테고리로서 어떻게 행동하는가?
• RQ4 간격의 $s$-torsion 쌍과 그 심장에서의 $s$-torsion 쌍 사이에 자연스러운 순서 집합 동형이 존재하는가?
• RQ5 $\mathrm{HRS}$-tilt와 $\tau$-tilting 감소 이항관계는 하나의 일반적 구성의 특수한 경우로 복원될 수 있는가?

주요 결과

• 음수 첫 번째 확장이 존재하는 외부삼각형 분류에서 $s$-torsion 쌍의 순서 집합에서의 간격 $[t_1,t_2]$ 는 그 심장 $\mathcal{H}_{[t_1,t_2]}$ 에서의 $s$-torsion 쌍의 순서 집합과 순서 집합 동형이다.
• 심장 $\mathcal{H}_{[t_1,t_2]} = \mathcal{T}_2 \cap \mathcal{F}_1$ 는 자연스럽게 음수 첫 번째 확장이 존재하는 외부삼각형 분류의 구조를 상속한다.
• 일반 정리에 의해 삼각형 분류일 경우 심장에서의 $t$-구조와 torsion 쌍 사이의 HRS-tilt 이항관계가 특수한 경우로 복원된다.
• 일반 정리는 또한 아벨 분류에서의 torsion 쌍에 대해 Asai–Pfeifer와 Tattar의 이항관계를 $\tau$-tilting 감소를 통해 복원한다.
• 유한한 비순환 화살표 쿼버에 대해서는 $s$-torsion 쌍의 순서 집합이 후행 닫힘 부분집합과 대응되며, 이 이중성은 쿼버의 부분쿼버와의 조합론적 구조와 호환된다.
• 이 동형은 할당 $I \mapsto I \setminus I_1$ 과 $J \mapsto I_1 \cup J$ 를 통해 명시적으로 구성되며, 간격 순서 집합과 부분쿼버 순서 집합을 연결한다.