[논문 리뷰] Morita theory for stable derivators

Simone Virili|arXiv (Cornell University)|2018. 07. 04.

Algebraic structures and combinatorial models참고 문헌 32인용 수 9

한 줄 요약

이 논문은 강한 안정 유도자에 대한 일반적인 모리타 유형 이론을 수립하기 위해, $t$-구조의 심장의 유도 범주에서 기저 삼각형 범주로의 실현 함자를 구성한다. $t$-구조가 공/틸팅 대상에 의해 유도될 때 유계 조건이 만족되면 실현 함자가 동치가 되며, 이는 문헌에 있는 유도 공/틸팅 동치를 통합하고 일반화한다.

ABSTRACT

We give a general construction of realization functors for $t$-structures on the base of a strong stable derivator. In particular, given such a derivator $\mathbb D$, a $t$-structure $\mathbf t=(\mathcal D^{\leq0},\mathcal D^{\geq0})$ on the triangulated category $\mathbb D(\mathbb 1)$, and letting $\mathcal A=\mathcal D^{\leq0}\cap \mathcal D^{\geq0}$ be its heart, we construct, under mild assumptions, a morphism of prederivators \[ \mathrm{real}_{\mathbf t}\colon \mathbf{D}_{\mathcal A} o \mathbb D \] where $\mathbf{D}_{\mathcal A}$ is the natural prederivator enhancing the derived category of $\mathcal A$. Furthermore, we give criteria for this morphism to be fully faithful and essentially surjective. If the $t$-structure $\mathbf t$ is induced by a suitably "bounded" co/tilting object, $\mathrm{real}_{\mathbf t}$ is an equivalence. Our construction unifies and extends most of the derived co/tilting equivalences appeared in the literature in the last years.

연구 동기 및 목표

• 유도자 이론을 사용하여 비유계 유도 범주로 빌리노프의 유계 실현 함수 기법을 확장한다.
• 체계적인 프레임워크를 통해 문헌에 있는 유도 공/틸팅 동치를 통합하고 일반화한다.
• 실현 함수가 전사적이고 본질적으로 전사가 되는 조건을 설정한다.
• 안정 유도자의 맥락에서 유도 모리타 이론의 프레임워크를 제공한다.
• 적절히 유계된 공/틸팅 대상에 의해 유도된 $t$-구조가 실현 함수를 통해 동치를 유도함을 보인다.

제안 방법

• 강한 안정 유도자 $\mathbb{D}$ 의 기저 삼각형 범주 $\mathbb{D}(\mathbb{1})$ 에 대한 심장 $\mathcal{A}$ 의 유도 범주 $\mathbf{D}_{\mathcal{A}}$ 에서 유도자 $\mathrm{real}_{\mathbb{t}}: \mathbf{D}_{\mathcal{A}} \to \mathbb{D}$ 로의 전이 함수를 구성한다.
• 유도자 이론을 사용하여 비유계 호모토피 (코)극한과 칸 확장을 다루며, $f$-범주가 필요 없도록 한다.
• 다이어그램 함수를 통해 $t$-구조를 올리기로 하여, 우성, 소거 가능, 비퇴화 구조 등의 성질을 유지한다.
• 정리 6.8의 쌍대를 적용하여, 유계 조건 하에서 실현 함수가 전사적이고 본질적으로 전사가 됨을 보인다.
• $\mathbb{t}_{\mathcal{A}}$ 가 스매시이고 $\mathbb{t}_{X}$ 가 $n$-스매시임을 이용하여 곱과 합성과의 호환성을 확보한다.
• 지역화 부분범주 성질과 보조정리 2.4를 활용하여, $t$-구조가 표준 $t$-구조로부터 유한한 거리에 있을 때 본질적 전사성을 증명한다.

실험 결과

연구 질문

• RQ1 실현 함수 $\mathrm{real}_{\mathbb{t}}: \mathbf{D}_{\mathcal{A}} \to \mathbb{D}$ 가 언제 전사적이고 본질적으로 전사가 되는가?
• RQ2 빌리노프의 유계 실현 함수 구성은 유도자 이론을 사용하여 비유계 유도 범주로 확장될 수 있는가?
• RQ3 공/틸팅 대상에 의해 유도된 실현 함수가 유도자 간의 동치가 되도록 보장하는 조건은 무엇인가?
• RQ4 공/틸팅 대상에 의해 유도된 $t$-구조는 유도자의 맥락에서 고전적 틸팅 이론과 어떻게 관련되는가?
• RQ5 등가를 보장하기 위해 등가 조건과 유계성, 유한성 조건이 어떻게 작용하는가?

주요 결과

• 실현 함수 $\mathrm{real}_{\mathbb{t}}: \mathbf{D}_{\mathcal{A}} \to \mathbb{D}$ 는 $t$-구조가 적절히 유계된 공/틸팅 대상에 의해 유도될 경우 전사적이고 본질적으로 전사가 된다.
• 만약 $t$-구조 $\mathbb{t}$ 가 공/틸팅 대상 $C$ 에 의해 유도된다면, $\mathrm{real}_{\mathbb{t}}$ 는 전이 유도자 간의 동치이다.
• 이 구성은 기존의 알려진 유도 공/틸팅 동치를 통합하고 일반화하며, [Šťo14] 및 [PV15]의 결과를 포함한다.
• 실현 함수가 $n$-스매시이고 심장에 정확한 곱 또는 합성이 존재할 경우, 실현 함수는 곱과 합성과 가환한다.
• 정리 7.12의 조건 하에서, $\mathbb{D}(\mathbb{1})$ 에서의 $t$-구조의 심장 $\mathcal{A}$ 는 프로젝티브 생성자 또는 인젝티브 코생성자를 갖는 그로텐디크 범주와 동치이다.
• 큰 코틸팅 모듈 $C$ 에 대해 $\mathbf{D}_{\mathrm{Mod}(R)} \simeq \mathbf{D}_{\mathcal{G}}$ 의 동치는 일반 이론의 특수한 경우로 복원된다.