[论文解读] 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}$ 的心 $\mathcal{A}$ 的导出范畴 $\mathbf{D}_{\mathcal{A}}$ 到其基三角范畴 $\mathbb{D}(\mathbb{1})$ 构造一个预导出器的态射 $\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}}$ 的等价关系作为该一般理论的特例被恢复。