[Paper Review] 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 models6 references3 citations

TL;DR

This paper determines the derivation spaces from the even parts of the generalized Witt superalgebra $\mathcal{W}$ and the special superalgebra $\mathcal{S}$ into the odd part $W_{\overline{1}}$ over a field of characteristic $p > 3$. Using $\mathbb{Z}$-gradation reduction and module-theoretic analysis, it proves that $\mathrm{Der}(\mathcal{S}, W_{\overline{1}}) = \mathrm{ad}\,W_{\overline{1}}$ and $\mathrm{Der}(\mathcal{S}, S_{\overline{1}}) = \mathrm{ad}\,\overline{S}_{\overline{1}}$, showing all such derivations are inner.

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.

Motivation & Objective

• To determine the derivation space $\mathrm{Der}(\mathcal{W}, W_{\overline{1}})$ from the even part of the generalized Witt superalgebra $\mathcal{W}$ into the odd part $W_{\overline{1}}$.
• To compute $\mathrm{Der}(\mathcal{S}, W_{\overline{1}})$ for the special superalgebra $\mathcal{S}$, and in particular $\mathrm{Der}(\mathcal{S}, S_{\overline{1}})$.
• To answer whether derivations from the even part into the odd part of $\mathcal{S}$ are inner, in the context of Lie superalgebras of Cartan type.
• To extend previous results on derivation algebras by analyzing graded structures and module actions via adjoint representation.

Proposed method

• Utilizes $\mathbb{Z}$-gradations on $\mathcal{W}$, $\mathcal{S}$, and $W_{\overline{1}}$ to decompose derivation spaces into homogeneous components $\mathrm{Der}_r(\mathfrak{g}, V)$.
• Applies reduction techniques on $\mathbb{Z}$-gradations to analyze derivations of negative degree $r < -1$.
• Employs the adjoint representation to view $W_{\overline{1}}$ as a module over $\mathcal{W}_{\overline{0}}$ and $\mathcal{S}_{\overline{0}}$.
• Uses commutator identities involving generators $n\Gamma_q + \Gamma'$ and $D_{ij}(x^{(\alpha)})$ to constrain image components of derivations.
• Applies comparison of coefficients in $x^u D_r$-expansions to show vanishing of components under $p > 3$.
• Leverages the vanishing of $\mathrm{Der}_{-t}(\mathcal{S}, W_{\overline{1}})$ for $t > 1$ to conclude that only inner derivations exist.

Experimental results

Research questions

• RQ1 Are all derivations from $\mathcal{S}_{\overline{0}}$ into $W_{\overline{1}}$ inner?
• RQ2 What is the structure of $\mathrm{Der}(\mathcal{S}, W_{\overline{1}})$ for Lie superalgebras of Cartan type in characteristic $p > 3$?
• RQ3 How do $\mathbb{Z}$-gradations and module structures influence the derivation space from the even part into the odd part?
• RQ4 Does $\mathrm{Der}(\mathcal{S}, S_{\overline{1}})$ coincide with the adjoint action of $S_{\overline{1}}$?
• RQ5 Can the derivation space $\mathrm{Der}(\mathcal{W}, W_{\overline{1}})$ be fully described using graded reduction techniques?

Key findings

• The derivation space $\mathrm{Der}(\mathcal{S}, W_{\overline{1}})$ is equal to the image of the adjoint action, i.e., $\mathrm{Der}(\mathcal{S}, W_{\overline{1}}) = \mathrm{ad}\,W_{\overline{1}}$.
• The derivation space $\mathrm{Der}(\mathcal{S}, S_{\overline{1}})$ is equal to $\mathrm{ad}\,\overline{S}_{\overline{1}}$, meaning all derivations are inner.
• For $t > 1$, $\mathrm{Der}_{-t}(\mathcal{S}, W_{\overline{1}}) = 0$, showing no nontrivial derivations of degree less than $-1$.
• The derivation $\phi \in \mathrm{Der}_{-t}(\mathcal{S}, W_{\overline{1}})$ vanishes if $\phi(D_{ij}(x^{((t+1)\varepsilon_i)})) = 0$ and $t > 1$.
• The condition $p \neq 3$ is essential for the vanishing of $\phi(D_{ij}(x_{i}x_{k}x_{l}))$, ensuring no torsion issues.
• The result $\mathrm{Der}_{-t}(\mathcal{S}, S_{\overline{1}}) = 0$ for $t > 1$ follows directly from the vanishing of $\mathrm{Der}_{-t}(\mathcal{S}, W_{\overline{1}})$.