[論文レビュー] Hereditary triangulated categories

Xiao‐Wu Chen, Claus Michael Ringel|arXiv (Cornell University)|Jun 27, 2016

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

ひとこと要約

本稿は、単純なアーベル圏の有界導来カテゴリに同値であると定義される、遺伝的三角カテゴリの2つの内的特徴付けを提示する—すなわち、完全な部分カテゴリ条件と、特定の経路の非存在を用いる。主な結果は、任意の非分解的対象 $X$ について $X[1]$ から $X$ への経路が存在しないことと、三角カテゴリが遺伝的であることの必要十分条件である。この結果は、部分的に遺伝的代数および導来同値性への応用を伴う。

ABSTRACT

We call a triangulated category \emph{hereditary} provided that it is equivalent to the bounded derived category of a hereditary abelian category, where the equivalence is required to commute with the translation functors. If the triangulated category is algebraical, we may replace the equivalence by a triangle equivalence. We give two intrinsic characterizations of hereditary triangulated categories using a certain full subcategory and the non-existence of certain paths. We apply them to piecewise hereditary algebras.

研究の動機と目的

• 外部同値に依存せずに、遺伝的三角カテゴリの内的で圏論的な特徴付けを提供すること。
• 以前の研究におけるギャップを解消し、代数的三角カテゴリにおいて、導来カテゴリへの同値が三角同値に強化できることを示すこと。
• 非分解的対象 $X$ について $X[1]$ から $X$ への経路が存在しないという条件に基づいた、部分的に遺伝的代数の基準を確立すること。
• これらの特徴付けを、遺伝的アーベルカテゴリから生じる三角カテゴリの分類および導来カテゴリにおける指向的対象の研究に応用すること。

提案手法

• 切り捨てファンクターとコホホロジー的ファンクターを用いて、ハートをアーベルカテゴリとして定義する、三角カテゴリにおける遺伝的 $t$-構造を導入・分析する。
• 三角カテゴリが遺伝的であることと、遺伝的ハートをもつ遺伝的 $t$-構造をもつことの必要十分条件であることを証明する。
• 代数的三角カテゴリにおける $t$-構造の実現ファンクターの存在を用いて、加法的同値を三角同値に高める。
• 特に非分解的対象 $X$ について $X[1]$ から $X$ への経路に注目し、三角カテゴリにおける経路を定義・分析する。
• このような経路の非存在が、特に代数的場合に遺伝的三角カテゴリを特徴付けることを確立する。
• 部分的に遺伝的代数に応用するため、$X[1]$ から $X$ への経路が存在しないことにより、遺伝的アーベルカテゴリへの導来同値性が特徴付けられることを示す。

実験結果

リサーチクエスチョン

• RQ1 遺伝的三角カテゴリは、外部の導来カテゴリに言及せずに、内的に特徴付けられるか？
• RQ2 どのような条件下で、三角カテゴリと導来カテゴリとの加法的同値が三角同値に高められるか？
• RQ3 特に $X[1]$ から $X$ への経路という経路構造が、三角カテゴリが遺伝的であるかどうかを決定する役割を果たすか？
• RQ4 これらの特徴付けは、部分的に遺伝的代数およびその導来カテゴリにどのように応用されるか？
• RQ5 導来カテゴリにおける指向的対象と、それに対応する遺伝的アーベルカテゴリの導来同値類との関係は何か？

主な発見

• 三角カテゴリが遺伝的であることと、遺伝的 $t$-構造をもつことの必要十分条件である。これは外部同値に依存しない構造的特徴付けを提供する。
• 代数的三角カテゴリにおいて、任意の遺伝的アーベルカテゴリの有界導来カテゴリへの同値は、三角同値に強化できる。
• 任意の非分解的対象 $X$ について $X[1]$ から $X$ への経路が存在しないことと、三角カテゴリが遺伝的であることの必要十分条件である。
• 三角カテゴリに指向的対象が存在するための必要十分条件は、それが遺伝的アーベルカテゴリの有界導来カテゴリと三角同値であることである。
• 有限次元代数 $A$ が部分的に遺伝的であることと、$\mathbf{D}^b(A\text{-mod})$ 内の任意の非分解的対象 $X$ について $X[1]$ から $X$ への経路が存在しないことの必要十分条件である。これは新しいホモロジー的基準を提供する。
• 有限次元遺伝的代数と導来同値であるとは、その導来カテゴリに指向的対象が存在することの必要十分条件である。