[論文レビュー] (Co)homology of quantum complete intersections

Petter Andreas Bergh, Karin Erdmann|ArXiv.org|Sep 19, 2007

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

ひとこと要約

この論文は、2次元の量子完全交差の最小射影双加群分解を構成し、それにより Hochschild (co)homology の明示的計算が可能になる。Hochschild cohomology が高次の次数で消えるのは、量子パラメータ $ q $ が単位根でない場合に限ることを示しており、Hochschild homology は常に非自明である。これは、[BGMS] に現れる4次元自己同型代数と同様のホモロジー的性質を持つ、広範な代数のクラスを提供する。

ABSTRACT

We construct a minimal projective bimodule resolution for every finite dimensional quantum complete intersection of codimension two. Then we use this resolution to compute both the Hochschild cohomology and homology for such an algebra. In particular, we show that the cohomology vanishes in high degrees, while the homology is always nonzero.

研究の動機と目的

• 2次元の量子完全交差の最小射影双加群分解を構成すること。
• そのような代数の Hochschild cohomology および homology を明示的に計算すること。
• Hochschild cohomology が高次の次数で消える条件を特定すること。
• 量子パラメータ $ q $ と代数のホモロジー的性質との関係を明確にすること。
• 量子パラメータ $ q $ が単位根である場合に、Hochschild cohomology 環の乗法的構造を確立すること。

提案手法

• 代数 $ A = k\langle X,Y \rangle / (X^a, XY - qYX, Y^b) $ の最小射影双加群分解 $ \bb{P} $ を構成し、$ P_n $ がランク $ n+1 $ の自由加群であるようにする。
• $ i+j = n $ を満たす生成子 $ \epsilon(i,j) $ を $ P_n $ に対して定義し、それらを用いて $ A^e $-加群の直和として分解を構築する。
• $ A^e $ 内の重要な要素 $ \tau_1(s), \tau_2(s), \gamma_1(s), \gamma_2(s) $ を導入し、微分 $ d_1, d_2 $ および高次の写像を定義する。
• 部分代数 $ R_1 = k\langle x \rangle $, $ R_2 = k\langle y \rangle $ のねじれ付き分解を自己同型 $ \sigma_1, \sigma_2 $ を用いて構成し、それらを用いて二重複体を構築する。
• 得られた分解を用いて、複体 $ \Hom_{A^e}(\bb{P}, A) $ を通じて Hochschild cohomology を計算し、$ \bb{P} \otimes_{A^e} A $ を通じて homology を計算する。
• 特に $ \delta_n^\nu $ の核および像の次元を計算し、非可昇格写像を用いて非自明性を検証することで、cohomology および homology を分析する。

実験結果

リサーチクエスチョン

• RQ1 量子パラメータ $ q $ がどのような条件下で、2次元の量子完全交差の Hochschild cohomology が高次の次数で消えるか？
• RQ2 このような代数の Hochschild homology は常に非自明か？
• RQ3 量子パラメータ $ q $ が単位根である場合、Hochschild cohomology 環の乗法的構造は何か？
• RQ4 代数 $ A $ の最小射影双加群分解は、その部分代数 $ R_1 $ および $ R_2 $ の分解とどのように関係するか？
• RQ5 量子パラメータ $ q $ が単位根でない場合、cohomology 環はファイバー積として記述可能か？

主な発見

• Hochschild cohomology $ \operatorname{HH}^n(A) $ がすべての $ n \geq 3 $ で消えるのは、$ q $ が単位根でない場合に限る。
• Hochschild homology $ \operatorname{HH}_n(A) $ は、$ q $ が単位根であるかどうかに関係なく、すべての $ n \geq 0 $ で非ゼロである。
• 量子パラメータ $ q $ が単位根でない場合、$ \operatorname{HH}^1(A) $ は2次元であり、$ \operatorname{HH}^2(A) $ は1次元である。
• Hochschild cohomology 環 $ \operatorname{HH}^*(A) $ が有限次元となるのは、$ q $ が単位根でない場合に限る。
• 量子パラメータ $ q $ が単位根でない場合、$ \operatorname{HH}^*(A) \cong k[U]/(U^2) \times_k k\langle V,W\rangle/(V^2, VW+WV, W^2) $ が成り立ち、$ U $ は次数0、$ V,W $ は次数1にある。
• 積 $ hg \in \operatorname{HH}^2(A) $ は非ゼロであり、cohomology 環における非自明な乗法的構造を確認している。