[論文レビュー] On the vanishing of cohomology in triangulated categories

Petter Andreas Bergh|ArXiv.org|Nov 17, 2008

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

ひとこと要約

本稿は、三角化カテゴリにおけるコホモロジーの消滅を検討し、有限の消滅ギャップが最終的に消滅すること、およびコホモロジーの消滅が対称的であるかどうかを検証する。有限生成性の条件下で、特に対称的周期的代数において、一方の方向でのExtの消滅が他方の方向でも成り立つことを示している。

ABSTRACT

We study the vanishing of cohomology in triangulated categories admitting a central ring action. In particular, we study vanishing gaps and symmetry.

研究の動機と目的

• 三角化カテゴリにおけるコホモロジーの有限消滅ギャップが、大きな次数において最終的に消滅することを特定すること。
• 一方の方向でのExt群の消滅が、双対方向でも成り立つかどうか（コホモロジーの対称性）を調査すること。
• コホモロジーがカテゴリのグレーデッド中心上で有限生成である場合に、これらの現象が成り立つ条件を確立すること。
• 特に周期的代数に焦点を当て、対称的代数や群代数に適用可能な一般枠組みを提供すること。
• 非対称的自己同型代数、特に特定の中島代数において、コホモロジーの消滅が対称でないことを示すこと。

提案手法

• 三角化カテゴリにおける対象のコホモロジーがカテゴリのグレーデッド中心上で有限生成であるという仮定を導入する。
• グレーデッド中心の構造を用いてExt群への中心的作用を定義し、加群論的議論を可能にする。
• 有限生成仮定を適用して、長さc+1の有限ギャップでの消滅が、cが複雑性であるとき、すべての大きな次数で消滅することを証明する。
• 厚い部分カテゴリおよび部分カテゴリのテンソル積の概念を用いてカテゴリの構造を分析する。
• Hochschildコホモロジーの結果を適用し、対称的周期的代数におけるExt群がHochschildコホモロジー環上での有限生成加群であることを示す。
• 中島代数における明示的な最小射影分解を用いて、対称性が成り立たない反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 コホモロジーの有限消滅ギャップが、三角化カテゴリにおいて大きな次数で最終的に消滅することを保証する条件は何か？
• RQ2 十分に大きなnに対してExt^n(X,Y)が消えると仮定したとき、Ext^n(Y,X)も消えるか、すなわちコホモロジーの消滅は対称的か？
• RQ3 コホモロジーがカテゴリのグレーデッド中心上で有限生成である場合、有限ギャップによる消滅検出は可能か？
• RQ4 対称的周期的代数において、コホモロジーの消滅の対称性は成り立つか、またその条件は何か？
• RQ5 非対称的自己同型代数において、コホモロジーの消滅が非対称である例は存在するか？

主な発見

• 可換局所完備交差環において、Ext^n(M,N)が長さc+1のギャップで消える（cは余次元）ならば、すべての十分に大きなnで消える。
• 半単純な単純モジュールのテンソル積を持つ対称的周期的代数では、一方の方向でのExtの消滅が他方の方向でも成り立ち、両者はすべてのi>0で消えることに同値である。
• 単純モジュールSとNに対して、Ext*(S,N)は有限生成仮定のもとでHochschildコホモロジー環HH*(Λ)上での有限生成加群である。
• 自己同型の中島代数では、パラメータr = t−1のとき、コホモロジーの消滅が対称でない。具体的には、Ext^n(S1,S2)は奇数nに対して非ゼロであるが、Ext^n(S2,S1)はすべてのnでゼロである。
• Ext*(S,N)がHH*(Λ)上で有限生成であることは、グレーデッド中心の作用を通じて示され、特にΛ/𝑟⊗Λ/𝑟が半単純である場合に成立する。
• 本稿では中島代数における明示的な最小射影分解を構成し、すべての奇数nに対してExt^n(S1,S2) ≠ 0であるが、すべてのnに対してExt^n(S2,S1) = 0であることを示し、非対称な場合における対称性の失敗を実証した。