[論文レビュー] Derivations from the even parts into the odd parts for Lie superalgebras W and S

Wende Liu, Baoling Liu|arXiv (Cornell University)|Sep 8, 2005

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

ひとこと要約

本稿は、特徴値 $p > 3$ の体上での一般化ウィット超代数 $Ω$ および特殊超代数 $σ$ の偶部から奇部 $W_{\overline{1}}$ への導来空間を決定する。$\mathbb{Z}$-順位付き還元と加群論的解析を用いて、$\mathrm{Der}(\mathcal{S}, W_{\overline{1}}) = \mathrm{ad}\,W_{\overline{1}}$ および $\mathrm{Der}(\mathcal{S}, S_{\overline{1}}) = \mathrm{ad}\,\overline{S}_{\overline{1}}$ を証明し、すべての導来が内部的であることを示す。

ABSTRACT

Let $\mathcal{W}$ and $\mathcal{S}$ denote the even parts of the general Witt superalgebra $W$ and the special superalgebra $S$ over a field of characteristic $ p>3,$ respectively. In this note, using the method of reduction on $\mathbb{Z}$-gradations, we determine the derivation space $\mathrm{Der}(\mathcal{W}, W_{\bar{1}})$ from $\mathcal{W}$ into $W_{\bar{1}} $ and the derivation space $\mathrm{Der}(\mathcal{S}, W_{\bar{1}})$ from $\mathcal{S}$ into $W_{\bar{1}}. $ In particular, the derivation space $\mathrm{Der}(\mathcal{S}, S_{\bar{1}})$ is determined.

研究の動機と目的

• 一般化ウィット超代数 $\mathcal{W}$ の偶部から奇部 $W_{\overline{1}}$ への導来空間 $\mathrm{Der}(\mathcal{W}, W_{\overline{1}})$ を決定すること。
• 特殊超代数 $\mathcal{S}$ に対して $\mathrm{Der}(\mathcal{S}, W_{\overline{1}})$ を計算し、特に $\mathrm{Der}(\mathcal{S}, S_{\overline{1}})$ を求めること。
• Cartan型Lie超代数の文脈において、偶部から奇部への導来がすべて内部的かどうかを解明すること。
• 随伴表現を用いた順位付き構造と加群作用の分析を通じて、以前の導来代数に関する結果を拡張すること。

提案手法

• $\mathcal{W}$, $\mathcal{S}$, および $W_{\overline{1}}$ に $\mathbb{Z}$-順位を導入し、導来空間を同次成分 $\mathrm{Der}_r(\mathfrak{g}, V)$ に分解する。
• 負の次数 $r < -1$ の導来を解析するため、$\mathbb{Z}$-順位付き還元技術を適用する。
• 随伴表現を用いて、$W_{\overline{1}}$ を $\mathcal{W}_{\overline{0}}$ および $\mathcal{S}_{\overline{0}}$ 上の加群とみなす。
• 生成子 $n\Gamma_q + \Gamma'$ および $D_{ij}(x^{(\alpha)})$ を含む交換関係の恒等式を用いて、導来の像成分を制約する。
• 係数の比較を $x^u D_r$-展開において行い、$p > 3$ の下で成分が消えることを示す。
• $\mathrm{Der}_{-t}(\mathcal{S}, W_{\overline{1}})$ が $t > 1$ で消えることを利用して、非自明な導来は存在しないことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 $\mathcal{S}_{\overline{0}}$ から $W_{\overline{1}}$ へのすべての導来が内部的かどうか。
• RQ2 特徴値 $p > 3$ の下でのCartan型Lie超代数に対して、$\mathrm{Der}(\mathcal{S}, W_{\overline{1}})$ の構造は何か。
• RQ3 $\mathbb{Z}$-順位付き構造と加群構造は、偶部から奇部への導来空間にどのように影響を与えるか。
• RQ4 $\mathrm{Der}(\mathcal{S}, S_{\overline{1}})$ は $S_{\overline{1}}$ の随伴作用と一致するか。
• RQ5 graded reduction技法を用いて、導来空間 $\mathrm{Der}(\mathcal{W}, W_{\overline{1}})$ を完全に記述できるか。

主な発見

• 導来空間 $\mathrm{Der}(\mathcal{S}, W_{\overline{1}})$ は随伴作用の像に等しく、すなわち $\mathrm{Der}(\mathcal{S}, W_{\overline{1}}) = \mathrm{ad}\,W_{\overline{1}}$ である。
• 導来空間 $\mathrm{Der}(\mathcal{S}, S_{\overline{1}})$ は $\mathrm{ad}\,\overline{S}_{\overline{1}}$ に等しく、すべての導来が内部的であることを示す。
• $t > 1$ に対して $\mathrm{Der}_{-t}(\mathcal{S}, W_{\overline{1}}) = 0$ である。これは $-1$ より小さい次数の非自明な導来が存在しないことを示す。
• 導来 $\phi \in \mathrm{Der}_{-t}(\mathcal{S}, W_{\overline{1}})$ は、$\phi(D_{ij}(x^{((t+1)\varepsilon_i)})) = 0$ かつ $t > 1$ ならば消える。
• $p \neq 3$ であることが、$\phi(D_{ij}(x_{i}x_{k}x_{l}))$ の消滅を保証し、ねじれの問題を回避するために不可欠である。
• $\mathrm{Der}_{-t}(\mathcal{S}, S_{\overline{1}}) = 0$ が $t > 1$ で成り立つのは、$\mathrm{Der}_{-t}(\mathcal{S}, W_{\overline{1}})$ の消滅から直接導かれる。