[論文レビュー] Massey products in graded Lie algebra cohomology

Dmitri V. Millionschikov|ArXiv.org|Aug 15, 2006

Advanced Topics in Algebra参考文献 11被引用数 7

ひとこと要約

本稿は、${\mathbb{N}}$-次数付きリーダイナムのコホモロジーにおけるn重マッセイ積を調査し、ウィット代数の正の部分 $L_1$ 及びその関連次数付きリーダイナム $\mathfrak{m}_0$ に注目する。$H^*(\mathfrak{m}_0)$ が $H^1(\mathfrak{m}_0)$ からの非自明なマッセイ積によって生成されることを証明し、ブーツバーグの $L_1$ に関する予想に強い証拠を提供するとともに、マッセイ積と表現論および形式的接続の関係を明らかにする。

ABSTRACT

We discuss Massey products in a N-graded Lie algebra cohomology. One of the main examples is the positive part L_1 of the Witt algebra $W$. We consider an associated graded algebra m_0 of L_1 with respect to the descending central series and prove that H*(m_0) is generated with respect to non-trivial Massey products by one cohomology H^1(m_0).

研究の動機と目的

• ${\mathbb{N}}$-次数付きリーダイナムのコホモロジーにおけるマッセイ積の構造を調査すること、特に $L_1$ 及びその関連次数付き代数 $\mathfrak{m}_0$ に注目すること。
• ブーツバーグの予想、すなわち $H^*(L_1)$ が $H^1(L_1)$ からの非自明なマッセイ積によって生成されることを検証すること。本研究では、$\mathfrak{m}_0$ における結果を鍵となるステップとして確立する。
• マッセイ積を形式的接続およびミューラー＝カルタン方程式と結びつけること、特に1次コホモロジー類の文脈において。
• 1次コホモロジー類の自明なマッセイ積の同値類を分類し、それらを $\mathfrak{m}_0$ 上の非分解的スレッド加群のベノワ・分類と関連付けること。

提案手法

• マッセイ積を定義するためのメイの枠組みを用い、特に閉形式を含むn重積に適用する。
• 形式的接続およびその関連行列を用いて、マッセイ積の定義系を構成する。
• 微分構造のコホモロジー複体を解析し、コサイクルの閉性を検証するためにミューラー＝カルタン方程式を適用する。
• 降下中心系列のフィルトレーションを用いて、関連次数付きリーダイナム $\mathfrak{m}_0 = \mathrm{gr}_C L_1$ を定義し、より単純なフィルトレート構造を通じてコホモロジーを研究可能にする。
• 定義系を符号化する明示的な行列 $A$ を構築し、$D_1$ および $D_{-1}$ 演算子を含む再帰的微分関係を用いて関連コサイクル $c(A)$ を計算する。
• $d(D_{-1}^k \omega) = e^1 \wedge D_{-1}^{k-1}\omega$ のような代数的恒等式を用いて、コサイクル条件の検証およびコホモロジー代表元の計算を行う。

実験結果

リサーチクエスチョン

• RQ1 コホモロジー代数 $H^*(\mathfrak{m}_0)$ は、$H^1(\mathfrak{m}_0)$ からの非自明なマッセイ積によって生成されるか？
• RQ2 1次コホモロジー類のマッセイ積は、$\mathfrak{m}_0$ の表現論とどのように関係するか？
• RQ3 1次コホモロジー類の自明なマッセイ積の同値類は分類可能か？ そして、既知の加群分類とどのように関連するか？
• RQ4 形式的接続およびその行列表現は、マッセイ積の構成および解析において果たす役割は何か？
• RQ5 $L_1$ の関連次数付き代数 $\mathfrak{m}_0$ は、元の無限次元リーダイナム $L_1$ のコホモロジー構造をどのように反映するか？

主な発見

• $H^*(\mathfrak{m}_0)$ は、定理5.7で示されるように、$H^1(\mathfrak{m}_0)$ からの非自明なマッセイ積によって生成される。
• 証明は、行列 $A$ を用いた明示的な定義系の構成に依拠し、関連コサイクル $c(A)$ がすべてのコホモロジー類、特に $\omega(e^{i_1} \wedge \cdots \wedge e^{i_q} \wedge e^{i_{q+1}})$ の形のものも生成することを示している。
• 定義系 $A$ に対応する関連コサイクル $c(A)$ が $(-1)^{i_1} \sum_{k \geq 0} (-1)^k D_1^k e^{i_1} \wedge D_{-1}^k \omega$ に等しいことが示され、マッセイ積の構造が確認された。
• 補題5.10は、マッセイ積 $\langle e^2, e^1, \dots, e^1, \omega(e^{i_2} \wedge \cdots \wedge e^{i_{q+1}}) \rangle$ の任意の定義系が、$(-1)^{i_1} \omega(e^{i_1} \wedge \cdots \wedge e^{i_{q+1}})$ 項を含むコサイクルを生成することを示しており、非自明性が証明された。
• 1次コホモロジー類の自明なマッセイ積の同値類は分類され、それらは定理5.5で示されるように、ベノワの $\mathfrak{m}_0$ 上の非分解的有限次元スレッド加群の分類と関連づけられた。
• 本稿は、同じ手法を用いてマッセイ積 $\langle e^2, e^1, \dots, e^1, e^2 \rangle$ が非自明であることを確認し、その結果をより広いクラスの積へと拡張した。