[論文レビュー] Euler number and Betti numbers of homology groups of pre Lie superalgebra

Kentaro Mikami, Tadayoshi Mizutani|arXiv (Cornell University)|Sep 21, 2018

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

ひとこと要約

本稿は、特に二重重み付きチェーン複体における、$$\mathbb{Z}$$-重み付き前リーレイ超代数におけるホモロジー群のオイラー数およびベッチ数を調査する。重み付きホモロジー理論と微分の構造的解析を用いて、重み $w \neq h$ のとき、すべての $m$-番目のベッチ数が消えること、およびすべての重みに対して最初のベッチ数がゼロであることを証明する。これは、このような代数のホモロジー構造を著しく単純化する。

ABSTRACT

First we recall homology groups of prer Lie superalgebras. Then introducing double weighted chain spaces, we deal with pre Lie superalgebra of multi-vector fields with polynomial coefficients on n-dimensional number space. The bracket is Schouten bracket. We have several results about Euler number and Betti numbers of those homology groups of special pre Lie superalgebra.

研究の動機と目的

• $$\mathbb{Z}$$-重み付き前リーレイ超代数のホモロジー群を重み付きチェーン複体を用いて分析すること。
• 二重重み構造下でのこれらのホモロジー群のオイラー数およびベッチ数を計算すること。
• 0-番目のチェーン複体を含め、用語を「超リーレイ代数」から「前リーレイ超代数」または「$$\mathbb{Z}$$-重み付きリーレイ超代数」に明確化することで、以前の結果を是正・拡張すること。
• 特に $w \neq h$ および最初のベッチ数に関して、重み付きホモロジーにおけるベッチ数の構造的制約を確立すること。

提案手法

• $$\mathbb{Z}$$-重み付き前リーレイ超代数に対して二重重み付きチェーン複体 $\text{C}_{\bullet,w,h}$ を導入する。
• 括弧演算によって誘導される微分 $\partial$ を用いた標準的なリーレイ超代数ホモロジー構成を適用する。
• 重み分解を用いてチェーン空間を分類し、重み制約下での微分の作用を分析する。
• 代数的変形および対称性の議論を用いて、境界作用素におけるキャンセルを示し、特に $\partial/\partial x_k$ や交換子を含む項においてそのようにする。
• 以前の誤りを是正するため、0-番目のチェーン複体を含め、今や補題 4.2 として形式化されている。
• 単項式上の微分の作用を分析し、線形性および重み付き反対称性を用いてベッチ数の消滅を証明する。

実験結果

リサーチクエスチョン

• RQ1 二重重み付きチェーン複体が$$\mathbb{Z}$$-重み付き前リーレイ超代数に属するとき、そのホモロジー群のオイラー数は何か？
• RQ2 重み $w$ と $h$ に対して、$m$-番目のベッチ数が消える条件は何か？
• RQ3 このような複体のホモロジーにおいて、すべての二重重み $w, h$ に対して最初のベッチ数はゼロか？
• RQ4 0-番目のチェーン複体の含め方が、以前の定式化と比較してホモロジー構造にどのように影響するか？
• RQ5 微分の構造を活用することで、高次のベッチ数の消滅結果を証明できるか？

主な発見

• チェーン複体 $\text{C}_{\bullet,w,h}$ のオイラー数は、すべての重み $w$ および $h$ に対してゼロである。
• $\text{C}_{\bullet,w,h}$ の $m$-番目のベッチ数は、$w \neq h$ のとき常にゼロであり、定理 5.1 で述べられている。
• $\text{C}_{\bullet,w,h}$ の最初のベッチ数は、すべての重み $w$ および $h$ に対してゼロである。これは定理 5.2 で確立されている。
• 是正された補題 4.2 は、0-番目のチェーン複体を含むチェーン複体のオイラー数がゼロであることを確認している。
• 微分 $\partial$ は、$\partial/\partial x_k$ を含む項と交換子の和がキャンセルするように作用し、結果として寄与がゼロになる。
• 観察されたパターンに基づき、$w > 0$ の低次元の場合には第二のベッチ数がゼロであると予想される。