[論文レビュー] The cohomology ring of truncated quiver algebras

Guillermo Ames, Leandro Cagliero+1 more|arXiv (Cornell University)|Mar 2, 2006

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

ひとこと要約

この論文は、ヤネダ積を用いて、切り捨てられたクーヴァー代数のホッシャルトコhomology環の構造を決定する。バーレゾリューションと最小レゾリューションの間の明示的な比較準同型を構成することで、環の完全な記述がなされ、奇数次元のコホモロジー類の積がゼロであることを証明する。また、クーヴァーが向き付きサイクルではなく、ソースやシンクを含まない場合、増幅イデアルは自明な環構造を持つことを示す。

ABSTRACT

Abstract. In this paper we determine the ring structure of the Hochschild cohomology of truncated quiver algebras with the Yoneda product. On the one hand Locateli described the cohomology groups in terms of classes of pairs of paths using minimal resolutions. On the other hand, the Yoneda product has a nice description on the bar resolution as the usual cup product. Our first main result is the explicit construction of comparison morphisms, in both directions, between the two different resolutions. We are then able to give a clear description of the Yoneda product on the minimal resolution and determine completely the structure of the cohomology ring. As a corollary we prove, that the product of two cohomology classes of odd degree is equal to zero. Moreover, we show that the ring structure (of the augmentation ideal) is trivial if the underlying quiver is not an oriented cycle and has neither sinks nor sources. 1.

研究の動機と目的

• ヤネダ積を用いて、切り捨てられたクーヴァー代数のホッシャルトコホモロジーの完全な環構造を決定すること。
• ロカテリの最小レゾリューションとバーレゾリューションのカップ積の二つのコホモロジー記述の不一致を解消すること。
• バーレゾリューションと最小レゾリューションの間の両方向への明示的な比較準同型を構成すること。
• 最小レゾリューション上のヤネダ積の明示的・計算可能な記述を提供すること。
• 特に、ソースやシンクのないクーヴァーに対して、コホモロジー環の構造的性質を確立すること。

提案手法

• 切り捨てられたクーヴァー代数のバーレゾリューションと最小レゾリューションの間の明示的なチェーン写像を構成すること。
• これらの比較準同型を用いて、バーレゾリューションからのヤネダ積構造を最小レゾリューションに移すこと。
• バーレゾリューション上の既知のカップ積構造を活用し、最小レゾリューション上のヤネダ積を導出すること。
• 得られた積の公式を用いて、コホモロジーの環構造を分析し、特に次数の偶奇とクーヴァーの位相的構造に注目すること。
• 組合せ的パス類を用いてコホモロジー類を表現し、導出されたヤネダ積を用いてそれらの積を計算すること。
• クーヴァーの位相的制約（ソース・シンクなし、向き付きサイクルでない）の下で、増幅イデアルの環構造を分析すること。

実験結果

リサーチクエスチョン

• RQ1 切り捨てられたクーヴァー代数の最小レゾリューション上のヤネダ積は、バーレゾリューションとの比較写像を用いてどのように明示的に記述できるか？
• RQ2 ヤネダ積の下で、切り捨てられたクーヴァー代数のホッシャルトコホモロジーの完全な環構造は何か？
• RQ3 この文脈において、二つの奇数次元コホモロジー類の積が消える条件は何か？
• RQ4 切り捨てられたクーヴァー代数のコホモロジー環の増幅イデアルは、どのような条件下で自明になるか？
• RQ5 特に、ソースやシンクの有無、サイクル構造の有無といった、基礎となるクーヴァー構造が、コホモロジー環の乗法的構造にどのように影響するか？

主な発見

• 切り捨てられたクーヴァー代数のホッシャルトコホモロジーにおいて、任意の二つの奇数次元コホモロジー類の積はゼロである。
• 基礎となるクーヴァーが向き付きサイクルではなく、ソースやシンクを含まない場合、ホッシャルトコホモロジー環の増幅イデアルは自明な環構造を持つ。
• バーレゾリューションと最小レゾリューションの間の両方向への明示的比較準同型が構成された。これにより、ヤネダ積構造の移行が可能となった。
• これらの比較写像を介して、最小レゾリューション上のヤネダ積は完全に決定され、明示的かつ計算可能なフレームワークが得られた。
• コホモロジーの環構造は完全に記述されており、乗法的性質はすべてクーヴァーの位相的性質と次数の偶奇によって特徴づけられる。
• 結果は、コホモロジー環の構造がクーヴァーの組合せ的および位相的特徴によって強く制約されることを確認している。