[논문 리뷰] $t$-Structures on stable derivators and Grothendieck hearts

Manuel Saorı́n, Jan Šťovíček외 1명|arXiv (Cornell University)|2017. 08. 24.

Homotopy and Cohomology in Algebraic Topology인용 수 7

한 줄 요약

이 논문은 호모토피 대수학과 수반 함자들을 활용하여 그로텐디크 심장을 사용해 안정 유도자 위에 $t$-구조를 구성하는 프레임워크를 수립한다. 유도된 범주의 분할 정확한 수열이 왼쪽과 오른쪽 수반 함자와 관련된 자연 동형사상과 대응됨을 증명하며, hocolimit와 기저 변경 함자 포함 다이어그램의 교환성에 대한 핵심 결과를 제시한다.

ABSTRACT

We prove that given any strong, stable derivator and a $t$-structure on its base triangulated category $\cal D$, the $t$-structure canonically lifts to all the (coherent) diagram categories and each incoherent diagram in the heart uniquely lifts to a coherent one. We use this to show that the $t$-structure being compactly generated implies that the coaisle is closed under directed homotopy colimit which in turns implies that the heart is an (Ab.$5$) Abelian category. If, moreover, $\cal D$ is a well generated algebraic or topological triangulated category, then the heart of any accessibly embedded (in particular, compactly generated) $t$-structure has a generator. As a consequence, it follows that the heart of any compactly generated $t$-structure of a well generated algebraic or topological triangulated category is a Grothendieck category.

연구 동기 및 목표

• 그로텐디크 심장을 사용해 안정 유도자 위에 $t$-구조를 체계적으로 구성하는 방법을 개발하기 위해.
• 유도된 범주에서 정확성 제어에 있어 코사이브와 전부 일치하는 함자들의 역할을 명확히 하기 위해.
• 유도자 맥락에서 유도된 함자, hocolimit, 기저 변경 함자 포함 다이어그램의 교환성을 확립하기 위해.
• 색인 범주에 대한 특정 조건 하에서 객체에서의 평가가 $D(1)$에서 분할 정확한 수열을 유도함을 증명하기 위해.
• 유도된 맥락에서 자연 변환 $\epsilon_u$, $\eta_i$, $\gamma_!$의 행동을 특성화하기 위해.

제안 방법

• 완전 일치하는 함자 $i: \prime 1 \to I$ 에 대한 수반 $i_! \dashv i^*$ 를 사용해 유도된 사상 공간을 분석한다.
• $k \in I \setminus J$ 에 대해 자연 동형사상 $k^* \epsilon_k \cong \mathrm{id}$ 를 적용해 분할 정확한 수열을 유도한다.
• hocolimit 함자 $\mathrm{Hocolim}_{u/i}$ 와 기저 변경 함자 $\mathrm{pt}_{u/i}^*$ 를 사용해 범주 간 사상들을 연결한다.
• 수반과 유도자 공리(Der.4)에 의해 유도되는 가역적 자연 변환 $\gamma_!$ 와 $\eta_{u/i}$ 에 의존한다.
• 완전 일치하는 함자 $i: \prime 1 \to I$ 에 대해 $(j,a): j \to i$ 에서의 평가를 통해 사상의 작용을 분석한다.
• 수반의 자연성과 삼각 항등식을 통해 다이어그램의 교환성을 확립한다.

실험 결과

연구 질문

• RQ1 그로텐디크 심장을 사용해 안정 유도자 위에 $t$-구조를 어떻게 체계적으로 구성할 수 있는가?
• RQ2 어떤 조건에서 객체 $k \in I$ 에서의 평가가 $D(1)$에서 분할 정확한 수열을 유도하는가?
• RQ3 유도된 사상 공간에서 자연 변환 $\epsilon_u$, $\eta_i$, $\gamma_!$ 는 어떻게 상호작용하는가?
• RQ4 유도자 범주 $u/i$ 의 객체에서 $\mathrm{pt}_{u/i}^*(f) \circ \gamma^*$ 의 정확한 작용은 무엇인가?
• RQ5 $u_!u^*$, $i_!i^*$, hocolimit 를 포함한 다이어그램이 언제 교환되며, 이는 유도된 함자에 대해 어떤 의미를 갖는가?

주요 결과

• $k \in J$ 에 대해 $k$ 에서의 평가는 분할 정확한 수열 $0 \to k^*u_!u^*\mathscr{X} \xrightarrow{k^*\epsilon_u} k^*\mathscr{X} \to 0$ 을 유도하며, 이때 $k^*\epsilon_u$ 는 동형사상이다.
• $k \in I \setminus J$ 에 대해 수열 $k^*k_!k^*u_!u^*\mathscr{X} \to k^*k_!k^*\mathscr{X} \sqcup k^*u_!u^*\mathscr{X} \to k^*\mathscr{X}$ 는 분할 정확하다.
• 정리 3.6의 다이어그램은 교환되며, 모든 열은 수반과 유도자 공리에 의해 유도된 자연 동형사상이다.
• 객체 $(j,a): j \to i$ 에서 $\mathrm{pt}_{u/i}^*(f) \circ \gamma^*$ 의 작용은 $f \circ \mathscr{X}_a: \mathscr{X}_j \to \mathscr{Y}_i$ 로 주어진다.
• 정리 3.7의 다이어그램은 $\gamma_!$, $\eta_i$, $\eta_{u/i}$ 의 자연성과 항등식 $\gamma^* = (\gamma_!)^*$ 에 의해 교환된다.
• $\mathrm{pt}_{u/i}^* \circ i^* \circ \epsilon_u \circ u_!$ 의 복합은 $\gamma^* \circ \mathrm{pr}_i^*$ 와 같으며, 이는 다이어그램의 교환성을 확인한다.