[論文レビュー] The Grothendieck group of an n-angulated category

Petter Andreas Bergh, Marius Thaule|arXiv (Cornell University)|May 25, 2012

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

ひとこと要約

本稿では、$n$-角的圏に対するグロテンディーク群を導入し、$n$ が奇数のとき、グロテンディーク群の部分群と完全かつ稠密な $n$-角的部分圏の間の全単射対応を確立する。テンソル $n$-角的圏の場合、グロテンディーク群は、完全かつ稠密な $n$-角的テンソルイデアルを分類する環となり、三角的圏におけるトーマソンの分類を一般化する。

ABSTRACT

We define the Grothendieck group of an n-angulated category and show that for odd n its properties are as in the special case of n=3, i.e. the triangulated case. In particular, its subgroups classify the dense and complete n-angulated subcategories via a bijective correspondence. For a tensor n-angulated category, the Grothendieck group becomes a ring, whose ideals classify the dense and complete n-angulated tensor ideals of the category.

研究の動機と目的

• 三角的圏に対する古典的構成を一般化して、$n$-角的圏のグロテンディーク群を定義し、その性質を調べること。
• $n$ が奇数のとき、グロテンディーク群の部分群と完全かつ稠密な $n$-角的部分圏の間の全単射対応を確立すること。
• テンソル $n$-角的圏において、グロテンディーク環のイデアルが $n$-角的テンソルイデアルを分類することを示し、分類を拡張すること。
• 特にクラスターティルティングの文脈において、グロテンディーク群の構造的役割を高次元ホモロジー代数の文脈で明確にすること。

提案手法

• $n$-角から得られるオイラー関係を法として、対象の同型類の自由アーベル群としてグロテンディーク群 $K_0(\mathcal{C})$ を定義する。
• $n$ が奇数のとき、$K_0(\mathcal{C})$ 内で $[A]$ の加法的逆元が $[\Sigma A]$ に一致することを証明し、部分圏の分類に寄与する。
• 三角的圏 $\mathcal{T}$ のクラスターティルティング部分圏から生じる $\mathcal{C}$ に対して、$K_0(\mathcal{C})$ から $K_0(\mathcal{T})$ への全射準同型を構成する。
• $n$-角と整合する対称モノイダル構造を備えたテンソル $n$-角的圏を定義し、$K_0(\mathcal{C})$ をグロテンディーク環にすることを示す。
• $K_0(\mathcal{C})$ のイデアルと $\mathcal{C}$ の完全かつ稠密な $n$-角的テンソルイデアルの間の対応を確立し、素イデアルが素テンソルイデアルに対応することを示す。
• $n$-角の構造とスuspension ファンクター $\Sigma$ の振る舞いを用いて、$n$ が奇数のとき対応が全単射であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 $n$ が奇数のとき、$n$-角的圏のグロテンディーク群は、完全かつ稠密な $n$-角的部分圏を分類するか？
• RQ2 特にクラスターティルティングの文脈において、$n$-角的圏のグロテンディーク群は、元の三角的圏のそれとどのように関係するか？
• RQ3 テンソル $n$-角的圏のグロテンディーク群に、テンソルイデアルを分類する環構造を導入できるか？
• RQ4 なぜ分類は偶数 $n$ では失敗するのか、どの構造的性質が崩壊するのか？

主な発見

• $n$ が奇数のとき、グロテンディーク群 $K_0(\mathcal{C})$ の部分群と $\mathcal{C}$ の完全かつ稠密な $n$-角的部分圏の間には全単射対応が存在する。
• $n=3$ の場合、この対応はすべての三角的部分圏が完全であるというトーマソンの分類定理を回復する。
• $\mathcal{C}$ がテンソル $n$-角的圏であるとき、$K_0(\mathcal{C})$ は環となり、この環のイデアルが完全かつ稠密な $n$-角的テンソルイデアルを分類する。
• $K_0(\mathcal{C})$ の素イデアルは、$\mathcal{C}$ の完全かつ稠密な $n$-角的テンソル素イデアルと全単射に対応する。
• 証明は、$n$ が奇数のとき $[A]$ の逆元が $[\Sigma A]$ に一致することに強く依存しており、これは偶数 $n$ のときには成立しない。
• $\mathcal{C}$ が三角的圏 $\mathcal{T}$ のクラスターティルティング部分圏から生じるとき、$K_0(\mathcal{C})$ から $K_0(\mathcal{T})$ への自然な全射準同型が存在する。