[論文レビュー] Morita theory for stable derivators

Simone Virili|arXiv (Cornell University)|Jul 4, 2018

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 同値性を保証するための有界性および有限性条件の役割は何か？

主な発見

• $t$-構造が適切に有界なコ/ティルティング対象によって誘導される場合、実現関手$\mathrm{real}_{\mathbb{t}}: \mathbf{D}_{\mathcal{A}} \to \mathbb{D}$は全単射かつ本質的に全射である。
• $t$-構造$\mathbb{t}$がコ/ティルティング対象$C$によって誘導されるならば、$\mathrm{real}_{\mathbb{t}}$は前導出関手の同値である。
• この構成により、既知の導来コ/ティルティング同値（[Šťo14]および[PV15]のものも含む）が統一され、一般化される。
• $t$-構造が$n$-スモージングであり、ハートに正確な積または余積がある場合、実現関手は積と余積を可換にする。
• 定理7.12の条件下で、$\mathbb{D}(\mathbb{1})$上の$t$-構造のハート$\mathcal{A}$は、射影的生成元または投射的余生成元をもつグロテンディーク圏と同値である。
• ビッグコティルティング加群$C$に対して成り立つ$\mathbf{D}_{\mathrm{Mod}(R)} \simeq \mathbf{D}_{\mathcal{G}}$の同値は、一般理論の特別な場合として回復される。