[論文レビュー] General heart construction on a triangulated category (II): Associated cohomological functor

Noriyuki Abe, Hiroyuki Nakaoka|ArXiv.org|Oct 14, 2009

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

ひとこと要約

本稿は、任意の三角カテゴリカル圏から torsion 対の心へと至るコhomological関手を構成し、t-構造に関連する古典的なコhomological関手とクラスタ歪み部分圏に関連するものとを統一する。主な貢献は、X[1] と Y の共通部分を用いた商構成により、既知の2つのケースを一般化する自然なコhomological関手 H: C → H̲ を得ることにある。

ABSTRACT

In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., $t$-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases of torsion pairs are $t$-structures and cluster tilting subcategories. If the torsion pair comes from a $t$-structure, then its heart is nothing other than the heart of this $t$-structure. In this case, as is well known, by composing certain adjoint functors, we obtain a cohomological functor from the triangulated category to the heart. If the torsion pair comes from a cluster tilting subcategory, then its heart coincides with the quotient category of the triangulated category by this subcategory. In this case, the quotient functor becomes cohomological. In this paper, we unify these two constructions, to obtain a cohomological functor from the triangulated category, to the heart of any torsion pair.

研究の動機と目的

• t-構造とクラスタ歪み部分圏に関連するコhomological関手の構成を、三角カテゴリカル圏における任意の torsion 対へ一般化すること。
• 任意の torsion 対 (X,Y) に対して、自然なコhomological関手 H: C → H̲ を定義すること。
• 極端な2つの状況—t-構造とクラスタ歪み部分圏—を、心の構成によって一つの枠組みに統合すること。
• 得られた関手 H がコhomologicalであること、すなわち、区別された三角形によって誘導される長さの完全系列で正確性を保つことを確立すること。

提案手法

• H̲ を (C⁺ ∩ C⁻)/W として定義し、W = X[1] ∩ Y であり、C⁺, C⁻ は区別された三角形を用いて定義される部分圏である。
• 関手 H: C → H̲ を、商関手 C → C/W と包含写像 H̲ ⊆ C/W の合成により構成する。
• 八面体公理を用いて、C 内の区別された三角形を、商圏 C/W 内の誘導された三角形と関連付ける。
• 区別された三角形 A → B → C → A[1] に対して、H(A) → H(B) → H(C) の系列の正確性を検証することにより、H がコhomologicalであることを証明する。
• H(C) = 0 であることは、任意の X ∈ X から C への射が、ある X₀[1] ∈ X[1] ∩ Y に因数分解可能であることと同値であることを示す。
• 商圏 C/W と X と Y の直交性を活用して、H の定義の正当性と正確性を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の torsion 対の心へと至るコhomological関手を、t-構造とクラスタ歪み部分圏に関連する既知の構成を一般化して、三角カテゴリカル圏から構成できるか？
• RQ2 torsion 対の心は、古典的な t-構造の心と、クラスタ歪み部分圏に関する商圏とどのように関係するか？
• RQ3 関手 H: C → H̲ がコhomologicalである、すなわち長さの完全系列を保存するための条件は何か？
• RQ4 関手 H の核は何か？ そして、W = X[1] ∩ Y を通した因数分解の観点から、どのように特徴づけられるか？

主な発見

• 関手 H: C → H̲ はコhomologicalである。これは、区別された三角形によって誘導される系列の正確性を保つことを意味する。
• (X,Y) が t-構造であるとき、H は t-構造の心への古典的なコhomological関手と一致する。
• (X,Y) がクラスタ歪み部分圏 T = X[1] = Y から生じるとき、H は商関手 C → C/T と同型である。
• H の核は、任意の X ∈ X から C への射が、ある X[1] ∩ Y 内の対象に因数分解可能であるような対象 C からなる。
• 心 H̲ はアーベル圏であり、この構成は t-構造とクラスタ歪み部分圏の両方のケースを一つの枠組みに一般化する。
• H のコhomological性は、八面体公理と商圏 C/W 内の系列の正確性を用いて証明される。