[論文レビュー] PBW-deformations and deformations \\`a la Gerstenhaber of N-Koszul algebras

Estanislao Herscovich, Andréa Solotar+1 more|arXiv (Cornell University)|May 1, 2011

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

ひとこと要約

本稿は、$\mathrm{Tor}^A_3(k,k)$ が次数 $N+1$ に集中しているという条件下で、PBW変形とGerstenhaber型の次数付き変形との間の明示的かつコhomologically基盤づけられた同値性を確立する。弱PBW変形の圏と次数付き変形の圏の間の明示的かつ逆関手を構成し、BergerとGinzburg (2006) の結果を回復・明確化するとともに、FløystadとVatneによる以前の証明の欠陥を是正する。

ABSTRACT

In this article we establish an explicit link between the classical theory of deformations \\`a la Gerstenhaber -- and a fortiori with the Hochschild cohomology-- and (weak) PBW-deformations of homogeneous algebras. Our point of view is of cohomological nature. As a consequence, we recover a theorem by R. Berger and V. Ginzburg, which gives a precise condition for a filtered algebra to satisfy the so-called PBW property, under certain assumptions.

研究の動機と目的

• N-カオスズ代数におけるPBW変形とGerstenhaber風の次数付き変形との間の直接的でコホモロジー的に明示的な関係を確立すること。
• 弱PBW変形と次数付き変形の同値性における曖昧さを、明示的かつ逆の構成によって解消すること。
• BergerとGinzburg (2006) の定理1.2および定理3.4を回復・明確化すること。これらは、ねじれ条件のもとで弱PBW変形がPBW変形と一致することを示している。
• FløystadとVatne (2006) の定理1.1の証明における欠陥を是正すること。特に、$\gamma \circ \sigma$ が消えると仮定している誤った仮定を是正すること。
• 計算が複雑であっても、フィルトレーション付き代数から次数付き変形における変形積の明示的公式を提供すること。

提案手法

• Rees代数構成を用いて、$A_t$ から弱PBW変形 $U = A_t / \langle t-1 \rangle$ への関手を構成する。
• 弱PBW変形 $U$ から次数付き変形 $R(U)$ への関手をRees代数 $R(U)$ を用いて構成し、準逆対応を確立する。
• Hochschildコホモロジーと代数 $A$ のカオスズ的解体を用いて、比較写像 $\bar{\tau}_1$, $\bar{\tau}_2$ およびホモトピー $s_1$, $s_2$ を定義する。
• 条件 $\mathrm{Tor}^A_3(k,k)$ が次数 $N+1$ に集中していることにより、構成の整合性と可逆性を保証する。
• 単項式に関する帰納的議論を用いて、フィルトレーション写像 $\varphi_i$ を用いた変形積 $\psi_l$ の明示的公式を導出する。
• 比較写像 $\bar{\tau}_\bullet$ を用いてバー複体とカオスズ複体を関連付け、コチェーンレベルの変形を構成可能にする。

実験結果

リサーチクエスチョン

• RQ1 N-カオスズ代数の弱PBW変形が完全なPBW変形と一致するための条件は何か？
• RQ2 Gerstenhaber風の次数付き変形の圏と弱PBW変形の圏との間に、明示的かつコホモロジー的根拠に基づいた同値性を構築できるか？
• RQ3 フィルトレーション付き代数がPBW性質を満たすとき、次数付き変形における変形積をどのように明示的に再構成できるか？
• RQ4 $\mathrm{Tor}^A_3(k,k)$ が次数 $N+1$ 以外で消えることの、変形理論間の同値性を保証する上で果たす正確な役割は何か？
• RQ5 FløystadとVatne (2006) の定理1.1の証明はどこで失敗し、コホモロジー的技法を用いてどのように是正できるか？

主な発見

• 関手 $\mathrm{pg}: A_t \mapsto A_t / \langle t-1 \rangle$ と $\mathrm{gp}: U \mapsto R(U)$ は、同値性を除いて互いに逆関手であることが示され、カテゴリー的同値性が確立される。
• $\mathrm{Tor}^A_3(k,k)$ が次数 $N+1$ に集中しているという仮定のもとで、弱PBW変形および次数付き変形の明示的構成は、一般のRees代数およびファイバー構成と一致する。
• 本稿は、BergerとGinzburg (2006) の定理1.2および定理3.4を回復し、ねじれ条件のもとで弱PBW変形がPBW変形と同値であることを示している。
• ウェイル代数の例では、変形積 $\psi_l$ は $l=2i$ の偶数次数でのみ非ゼロであり、二項係数を含む係数を持つ：$\psi_l = i! \binom{m_1}{i} \binom{n_2}{i} y^{n_1+n_2-i} x^{m_1+m_2-i}$。
• $A = k\langle x \rangle / \langle x^N \rangle$ の代数に対しては、変形積は $m_1 + m_2 \geq N$ の場合にのみ $\psi_l(x^{m_1}, x^{m_2}) = a_{N-l} x^{m_1+m_2-l}$ となり、それ以外の場合はゼロである。
• 本稿はFløystadとVatne (2006) の誤りを特定・是正し、カオスズ複体とバー複体の間の整合性が欠落しているため、$\gamma \circ \sigma$ が必ずしもゼロにならないことを示している。