
Supersymmetries in the theory of W-algebras
Let $\mathfrak{g}$ be a basic Lie superalgebra and $f$ be an odd nilpotent element in an $\mathfrak{osp}(1|2)$ subalgebra of $\mathfrak{g}$. We provide a mathematical proof of the statement that the W-algebra $W^k(\mathfrak{g},F)$ for $F=-\frac{1}{2}[f,f]$ is a vertex subalgebra of the SUSY W-algebra $W_{N=1}^k(\mathfrak{g},f)$, and that it commutes with all weight $\frac{1}{2}$ fields in $W_{N=1}^k(\mathfrak{g},f)$. Note that it has been long believed by physicists \cite{MadRag94}. In par…