[논문 리뷰] On torsion pairs, (well generated) weight structures, adjacent $t$-structures, and related (co)homological functors

Mikhail V. Bondarko|arXiv (Cornell University)|2016. 11. 02.

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

한 줄 요약

이 논문은 삼중 분류 범주에서 가중치 구조와 t-구조 사이의 깊은 연결 고리를 확립하며, Brown 표현 가능성을 갖는 완비 삼중 분류 범주에서의 파괴적 가중치 구조가 오른쪽으로 인접한 t-구조를 유도함을 증명한다. 주요 기여는 이러한 t-구조가 존재함과 동시에 가중치 구조가 파괴적일 조건을 특성화하는 것으로, 그 심장은 가중치 심장에서 아벨 군으로의 극한을 보존하는 함자 범주와 동치임을 보여준다.

ABSTRACT

The paper contains a collection of results related to weight structures, $t$-structures, and (more generally) to torsion pairs. For any weight structure $w$ we study (co)homological pure functors; these "ignore all weights except weight zero" and have already found several applications. We also study virtual $t$-truncations of cohomological functors coming from $w$. These are closely related to $t$-structures; so we prove in several cases (including certain categories of coherent sheaves) that $w$ "gives" a $t$-structure (that is adjacent or $Φ$-orthogonal to it). We also study in detail "well generated" weight structures (and prove that any perfect set of objects generates a weight structure). The existence of weight structures right adjacent to compactly generated $t$-structures (and constructed using Brown-Comenetz duality) implies that the hearts of the latter have injective cogenerators and satisfy the AB3* axiom; actually, "most of them" are Grothendieck abelian (due to the existence of "regularly orthogonal" weight structures). It is convenient for us to use the notion of torsion pairs; these essentially generalize both weight structures and $t$-structures. We prove several properties of torsion pairs (that are rather parallel to that of weight structures); we also generalize a theorem of D. Pospisil and J. Stovicek to obtain a classification of compactly generated torsion pairs.

연구 동기 및 목표

• 가중치 구조와 t-구조 사이의 관계를 명확히 하며, 특히 인접 및 수직 구성의 관점에서 다룬다.
• 모든 무게를 제외한 무게 0만을 탐지하는 순수 (코)호몰로지 함자들을 연구하고, 그들이 호몰로지 대수학과 피카르 군 계산에서 수행하는 역할을 다룬다.
• 특히 잘 생성되거나 컴팩트하게 생성된 범주에서 가중치 구조가 t-구조를 유도하는 조건을 설정한다.
• 특히 컴팩트하게 생성된 경우에서의 t-구조 심장의 구조를 조사하며, 그들이 그로텐디크 아벨 범주이자 AB3* 성질을 만족하는지 다룬다.
• 가중치 구조와 t-구조에 관한 결과를 통합하고 확장하기 위해 토르션 쌍 이론을 일반화하여 이중성과 수직 조건을 포함한다.

제안 방법

• 모든 무게를 제외한 무게 0에서만 0이 되는 '순수 함자'를 도입하고 분석하여 가중치 구조를 탐지한다.
• 가중치 구조를 통해 코호몰로지 함자의 '가상의 t-절단'을 정의하고, 이를 t-구조 구성과 연결한다.
• Brown-Comenetz 이중성을 적용하여 파괴적 가중치 구조에 대해 오른쪽으로 인접한 t-구조의 존재를 증명한다.
• 토르션 쌍의 개념을 통합적 프레임워크로 사용하여 가중치 및 t-구조에 관한 결과를 일반화한다.
• 국소화와 코로직 기법을 사용하여 컴팩트하게 생성된 범주와 그 분할을 연구한다.
• 칸 확장과 이중 확장 기법을 사용하여 삼중 분류 범주와 수직 토르션 쌍 사이의 이중성을 구성하고 특성화한다.

실험 결과

연구 질문

• RQ1 완비 삼중 분류 범주에서 가중치 구조가 오른쪽으로 인접한 t-구조를 유도하는 조건은 무엇인가?
• RQ2 무게 0만을 탐지하는 순수 함자—즉, 무게 0 외의 모든 무게에서 0이 되는 함자—는 피카르 군과 삼중 분류 범주의 코호몰로지 불변량과 어떻게 관련되는가?
• RQ3 특히 컴팩트하게 생성된 경우에서, 가중치 구조에 인접한 t-구조의 심장은 어떤 구조를 가지는가?
• RQ4 삼중 분류 범주 내의 토르션 쌍이 언제 컴팩트하게 생성되는가? 그리고 이러한 쌍은 어떻게 분류할 수 있는가?
• RQ5 이중 연속성 이중성 또는 좋은 이중성은 컴팩트하게 생성된 t-구조의 심장이 그로텐디크 아벨 범주가 되게 하는 어떤 의미를 갖는가?

주요 결과

• Brown 표현 가능성을 갖는 완비 삼중 분류 범주 $ \mathcal{D} $에서의 가중치 구조 $ w $ 는 $ w $ 가 파괴적일 때에만 오른쪽으로 인접한 t-구조를 가진다.
• 유도된 t-구조의 심장은 $ \mathcal{W}^{\text{op}} \to \underline{Ab} $ 에서의 극한을 보존하는 함자 범주와 동치이다. 여기서 $ \mathcal{W} $ 는 $ w $ 의 심장이다.
• 모든 컴팩트하게 생성된 삼중 분류 범주에서, 컴팩트하게 생성된 t-구조의 심장은 그로텐디크 아벨 범주이며, AB3* 성질을 만족하고 일반적으로 AB5 성질도 만족한다.
• 잘 생성된 가중치 구조는 존재하며, 이를 완전한 범주에서의 완전한 분류를 제공하는 편의성 또는 대칭적 클래스의 물체들로 생성된다.
• 컴팩트 물체의 범주가 두 개의 전체 삼중 분류 부분범주로 분할되면, 유일한 정확한 극한을 보존하는 사영 함자 함수가 유도되며, 원래의 토르션 쌍이 파괴적일 경우 그 합성에서 유도된 토르션 쌍도 파괴적이다.
• 서브범주 $ \mathcal{U}^{1} $ 에서의 좋은 이중성 $ \Phi^1 $ 은 컴팩트 물체에서의 이중성을 이중 확장하여 얻을 수 있으며, 유도된 가중치 및 t-구조는 $ \Phi^1 $ 에 의해 수직이다.