[論文レビュー] Addendum to 'Direct limits in the heart of a t-structure: The case of a torsion pair'

Carlos E. Parra, Manuel Saorı́n|arXiv (Cornell University)|Sep 1, 2015

Algebraic structures and combinatorial models参考文献 4被引用数 6

ひとこと要約

本稿は、グローテンディーク圏における torsion 対 $(\mathcal{T}, \mathcal{F})$ に付随する Happel-Reiten-S"{o}nsteiner t-構造の心がグローテンディーク圏であるための必要十分条件を確立している。その条件は、torsionfree 類 $ \mathcal{F} $ が直接極限に関して閉じていることである。証明は、心の対象を、射影的成分を持つ度数 -1 と 0 に集中する複体として表現し、そのような複体からのホモロジー関手が、$ \mathcal{F} $ が極限に関して閉じているときかつそのときに限り直接極限を保存することを示す。

ABSTRACT

Let $\mathcal{G}$ be a Grothendieck category, let $\mathbf{t}=(\mathcal{T},\mathcal{F})$ be a torsion pair in $\mathcal{G}$ and let $(\mathcal{U}_\mathbf{t},\mathcal{W}_\mathbf{t})$ be the associated Happel-Reiten-Smal$ø$ t-structure in the derived category $\mathcal{D}(\mathcal{G})$. We prove that the heart of this t-structure is a Grothendieck category if, and only if, the torsionfree class $\mathcal{F}$ is closed under taking direct limits in $\mathcal{G}$.

研究の動機と目的

• 文献[7]の質問4.11を解決すること。すなわち、torsionfree 類が直接極限に関して閉じているならば、心がグローテンディーク圏であるか。
• Colpi, Gregorio, Mantese, Tonolo による先行研究で始まった特徴付けを完成させること。
• グローテンディーク圏における torsion 対から生じる t-構造の心が、自身でグローテンディーク圏であるための必要十分条件を確立すること。
• 導来圏論における長年の未解決問題、すなわち t-構造の心のホモロジー的性質に関する根本的問いに明確な答えを与えること。

提案手法

• 心の各対象を、グローテンディーク圏における射影的対象を度数 -1 に持つ、度数 -1 と 0 に集中する複体として表現する。
• 心の任意の対象は、射影的複体に quasi-isomorphic であり、適切な切断を適用することで、度数 -1 項が射影的である代表的複体が得られることを用いる。
• ホモトピー圏におけるこのような複体の直接系を、超限帰納法を用いて構成し、元の導来圏における直接系と整合性を持つように保証する。
• このような射影的代表複体に対して、ホモトピー圏におけるホモロジー集合から導来圏への自然な写像が同型であることを示す。
• 関手 $ H^{-1} $（各複体に対してその度数 -1 のコホモロジーを割り当てるもの）が直接極限を保存することと、torsionfree 類 $ \mathcal{F} $ が直接極限に関して閉じていることとは同値であることを証明する。
• 心における直接系と複体の圏 $ \mathcal{C}(\mathcal{G}) $ における直接系との間の同型を用いて、$ H^{-1} $ が直接極限を保存するのは $ \mathcal{F} $ が極限に関して閉じているときかつそのときに限ることを導く。

実験結果

リサーチクエスチョン

• RQ1 torsionfree 類が直接極限に関して閉じているならば、関連する t-構造の心はグローテンディーク圏であるか？
• RQ2 文献[7]の定理4.8の逆は真か？すなわち、心がグローテンディーク圏ならば、torsionfree 類は直接極限に関して閉じているか？
• RQ3 torsionfree 類が直接極限に関して閉じていない場合でも、Happel-Reiten-S"{o}nsteiner t-構造の心がグローテンディーク圏になり得るか？
• RQ4 torsion 対にどのような条件を課すと、心が基本圏のグローテンディーク性質を引き継ぐのか？

主な発見

• グローテンディーク圏 $ \mathcal{G} $ における torsion 対 $ \mathbf{t} = (\mathcal{T}, \mathcal{F}) $ に付随する t-構造の心 $ \mathcal{H}_{\mathbf{t}} $ がグローテンディーク圏であるための必要十分条件は、torsionfree 類 $ \mathcal{F} $ が $ \mathcal{G} $ において直接極限に関して閉じていることである。
• $ N $ が度数 -1 と 0 に集中し、$ N^{-1} $ が $ \mathcal{G} $ で射影的である複体であるとき、$ \text{Hom}_{\mathcal{K}(\mathcal{G})}(M,N) \to \text{Hom}_{\mathcal{D}(\mathcal{G})}(M,N) $ は同型である。この性質により、心における射の制御が可能になる。
• $ H^{-1}: \mathcal{H}_{\mathbf{t}} \to \mathcal{G} $ が直接極限を保存することと、$ \mathcal{F} $ が直接極限に関して閉じていることは同値であり、これが心がグローテンディーク圏であることを示す鍵となる。
• 心 $ \mathcal{H}_{\mathbf{t}} $ における直接系は、度数 -1 項が射影的な複体の直接系に持ち上げられ、導来圏の構造を保つ。
• 心における直接極限は、複体の圏 $ \mathcal{C}(\mathcal{G}) $ における対応する複体の直接極限と同型であり、この同型は関手 $ H^{-1} $ と可換である。
• 証明により、$ \mathcal{F} $ が直接極限に関して閉じていることは、$ \mathcal{H}_{\mathbf{t}} $ がグローテンディーク圏であるための必要十分条件であることが確認され、[7]における未解決問題が完全に解決された。