[논문 리뷰] $t$-Structures with Grothendieck hearts via functor categories

Manuel Saorı́n, Jan Šťovíček|arXiv (Cornell University)|2020. 03. 03.

Algebraic structures and combinatorial models참고 문헌 58인용 수 7

한 줄 요약

이 논문은 쌍대곱을 가진 삼중분류 범주에서 $t$-구조의 심장이 AB5 또는 그로텐디크 범주가 되는 조건을, 함자 범주와 순수성 이론을 사용하여 규명한다. 표준적인 잘 생성된 삼중분류 범주에서, $t$-구조가 그로텐디크 심장을 가질 조건은 그의 공이슬이 순수-입체적 $t$-코생성 객체를 포함하는 것과 동치이며, 이는 기존의 컴팩트로 생성된 설정을 초월하는 일반화이다.

ABSTRACT

We study when the heart of a t-structure in a triangulated category $\mathcal{D}$ with coproducts is AB5 or a Grothendieck category. If $\mathcal{D}$ satisfies Brown representability, a t-structure has an AB5 heart with an injective cogenerator and coproduct-preserving associated homological functor if, and only if, the coaisle has a pure-injective t-cogenerating object. If $\mathcal{D}$ is standard well generated, such a heart is automatically a Grothendieck category. For compactly generated t-structures (in any ambient triangulated category with coproducts), we prove that the heart is a locally finitely presented Grothendieck category. We use functor categories and the proofs rely on two main ingredients. Firstly, we express the heart of any t-structure in any triangulated category as a Serre quotient of the category of finitely presented additive functors for suitable choices of subcategories of the aisle or the co-aisle that we, respectively, call t-generating or t-cogenerating subcategories. Secondly, we study coproduct-preserving homological functors from $\mathcal{D}$ to complete AB5 abelian categories with injective cogenerators and classify them, up to a so-called computational equivalence, in terms of pure-injective objects in $\mathcal{D}$. This allows us to show that any standard well generated triangulated category $\mathcal{D}$ possesses a universal such coproduct-preserving homological functor, to develop a purity theory and to prove that pure-injective objects always cogenerate t-structures in such triangulated categories.

연구 동기 및 목표

• 쌍대곱을 가진 삼중분류 범주에서 $t$-구조의 심장이 AB5 또는 그로텐디크 범주가 되는 조건을 규명한다.
• 컴팩트로 생성된 삼중분류 범주를 초월하여 순수성 이론을 일반화한다.
• 이러한 범주에서의 쌍대곱을 보존하는 호로지컬 함자를 순수-입체적 객체를 통해 분류한다.
• 표준적인 잘 생성된 삼중분류 범주에서 보편적인 쌍대곱을 보존하는 호로지컬 함자를 수립한다.
• 컴팩트로 생성된 $t$-구조가 국소적으로 유한히 생성된 그로텐디크 심장을 가진다.

제안 방법

• 모든 $t$-구조의 심장을 $t$-생성 또는 $t$-코생성 부분범주 위의 유한형 함자 범주의 세르 몫으로 표현한다.
• 표준적 접근 방식인 ${\rm Mod}\text{-}\mathcal{D}^c$ 대신 함자 범주를 사용하여, 컴팩트로 생성되지 않은 설정에서도 결과를 도출한다.
• 밀너 극한과 정확한 직접 극한을 통해 삼중분류 범주에서의 순수성을 도입하고 연구한다.
• 완비한 AB5 아벨 범주에 대한 포함 코생성자가 있는 쌍대곱을 보존하는 호로지컬 함자를 순수-입체적 객체를 통해 특성화한다.
• 이러한 함자의 표현 가능성을 증명하고 표준적인 잘 생성된 범주에서 보편 함자를 구성한다.
• 이 결과들을 사용하여 순수-입체적 객체를 통한 그로텐디크 심장을 가진 $t$-구조를 분류한다.

실험 결과

연구 질문

• RQ1 쌍대곱을 가진 삼중분류 범주에서 $t$-구조의 심장이 AB5 또는 그로텐디크 범주가 되는 조건은 무엇인가?
• RQ2 비컴팩트로 생성된 삼중분류 범주로의 순수성 이론을 어떻게 일반화할 수 있는가?
• RQ3 순수-입체적 객체는 어떤 역할을 하여 그로텐디크 심장을 가진 $t$-구조를 생성하는가?
• RQ4 삼중분류 범주에서의 쌍대곱을 보존하는 호로지컬 함자가 순수-입체적 객체에 의해 표현 가능한 조건은 무엇인가?
• RQ5 $t$-구조가 국소적으로 유한히 생성된 심장을 가지는 조건은 무엇인가?

주요 결과

• 쌍대곱을 가진 삼중분류 범주에서 브라운 표현 가능성을 만족하는 $t$-구조는 그의 공이슬이 순수-입체적 $t$-코생성 객체를 포함하는 것과 동치이며, 이 경우 심장은 포함 코생성이 있는 AB5 범주이자 쌍대곱을 보존하는 호로지컬 함자를 가진다.
• 표준적인 잘 생성된 삼중분류 범주에서는 이러한 심장은 자동으로 그로텐디크 범주이다.
• 모든 쌍대곱을 가진 삼중분류 범주에서 컴팩트로 생성된 $t$-구조는 국소적으로 유한히 생성된 그로텐디크 심장을 가진다.
• 논문은 표준적인 잘 생성된 삼중분류 범주에서 보편적인 쌍대곱을 보존하는 호로지컬 함자를 구성한다.
• $t$-구조의 심장이 포함 코생성이 있는 AB5 범주이면, 그 $t$-구조는 순수-입체적 NSZ 부분 코실팅 객체로부터 유도된다.
• 좌측 비비틀림이 없는 $t$-구조에서, 범주가 브라운 표현 가능성을 만족하거나 표준적인 잘 생성된 경우, 모든 조건—스모싱, AB5 심장에 포함 코생성이 있으며, 순수-입체적 AMV 부분 코실팅 객체—는 서로 동치이다.