[論文レビュー] Compact Corigid Objects in Triangulated Categories and Co-t-structures

David Pauksztello|ArXiv.org|May 1, 2007

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

ひとこと要約

この論文は、コンパクトなコリジッド対象によって誘導される三角関係圏におけるco-t-構造を導入し、リジッド対象によって誘導されるt-構造の双対として扱う。このようなco-t-構造は非退化的であり、そのcoheartはコリジッド対象の自己準同型代数のoppoosite圏上の加法的部分圏に同値であることが示され、加法的である。

ABSTRACT

In the work of Hoshino, Kato and Miyachi, the authors look at t-structures induced by a compact object, C, of a triangulated category, T, which is rigid in the sense of Iyama and Yoshino. Hoshino, Kato and Miyachi show that such an object yields a non-degenerate t-structure on T whose heart es equivalent to Mod(End(C)^op). Rigid objects in a triangulated category can be thought of as behaving like chain differential graded algebras (DGAs). Analogously, looking at objects which behave like cochain DGAs naturally gives the dual notion of a corigid object. Here, we see that a compact corigid object, S, of a triangulated category, T, induces a structure similar to a t-structure which we shall call a co-t-structure. We also show that the coheart of this non-degenerate co-t-structure is equivalent to Mod(End(S)^op), and hence an abelian subcategory of T.

研究の動機と目的

• リジッド対象によって誘導されるt-構造の双対理論を発展させること、特にコチェーンDGAに似た振る舞いを示す対象に焦点を当てる。
• 三角関係圏におけるt-構造の双対概念としてco-t-構造を定義し、研究すること。
• co-t-構造のcoheartが加法的になる条件を確立すること。
• ホシノ、カトウ、ミヤチのt-構造に関する結果を、コチェーン設定に一般化するため、コンパクトなコリジッド対象を用いること。
• コンパクトなコリジッド対象によって誘導される非退化的co-t-構造のcoheartが、Mod(End(S)^op)に同値であることを証明すること。

提案手法

• t-構造の双対としてco-t-構造を定義し、直交補空間とコ直交性を用いる。
• 三角関係圏Tにおけるコンパクトなコリジッド対象Sを、すべてのi < 0に対してHom(S, Σ^i S) = 0を満たし、{Σ^i S | i ∈ ℤ}がTを生成するものとして定義する。
• X = {X ∈ T | Hom(S, Σ^i X) = 0 for i < 0} および Y = {X ∈ T | Hom(S, Σ^i X) = 0 for i > 0} によって定義されるco-t-構造 (X, Y) を構成する。
• C = X ∩ Y（coheart）の全部分圏が、関手Hom(S, -) を通じてMod(End(S)^op)へ同値であることを示し、加法的であることを証明する。
• コンパクト性と生成性の性質を用いて、関手Hom(S, -): C → Mod(End(S)^op) が全忠実かつ本質的全射であることを確立する。
• 余積の普遍性と可換図式を用いて、Hom(S, -) が全忠実であることを示し、カテゴリの同値性に至る。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、三角関係圏におけるコチェーンDGAに似た振る舞いを示す対象に対して、t-構造理論を双対化できるか？
• RQ2 コンパクトなコリジッド対象は、三角関係圏にどのような構造を誘導するのか？また、t-構造とどのように関係するか？
• RQ3 co-t-構造のcoheartが加法的圏になる条件は何か？
• RQ4 非退化的co-t-構造のcoheartは、誘導対象の自己準同型代数のoppoosite圏上の加法的圏に同値か？
• RQ5 ホシノ、カトウ、ミヤチのt-構造に関する定理の双対を、コンパクトなコリジッド対象を用いてco-t-構造に対して確立できるか？

主な発見

• コンパクトなコリジッド対象Sは、三角関係圏Tに非退化的co-t-構造を誘導する。
• このco-t-構造のcoheart（2つの半構造の共通部分）は、Mod(End(S)^op)に同値である。
• coheartに制限された関手Hom(S, -) はカテゴリの同値であるため、coheartは加法的である。
• 証明は、Sのコンパクト性と{Σ^i S | i ∈ ℤ}の生成性を用いて、Hom(S, -) の全忠実性を確立することに依存する。
• coheartが加法的であることは、関手Hom(S, -) が全忠実かつ本質的全射であることを示すことで証明される。
• この結果により、ホシノ、カトウ、ミヤチのt-構造に関する定理の双対版が、co-t-構造とコリジッド対象に対して確立される。