Remark 15.67.4. In the yoga of super vector spaces the sign used in the proof of Lemma 15.67.3 above can be explained as follows. A super vector space is just a vector space $V$ which comes with a direct sum decomposition $V = V^+ \oplus V^-$. Here we think of the elements of $V^+$ as the even elements and the elements of $V^-$ as the odd ones. Given two super vector spaces $V$ and $W$ we set

and similarly for the odd part. In the category of super vector spaces the isomorphism

is defined to be the usual one, except that on the summand $V^- \otimes W^-$ we use the negative of the usual identification. In this way we obtain a tensor category (where $\otimes $ is symmetric and associative with $1$). The category of super vector spaces has an internal hom which we denote $V^\vee $. One checks that the canonical isomorphisms $\mathop{\mathrm{Hom}}\nolimits (V, W) = W \otimes V^\vee $ and $\mathop{\mathrm{Hom}}\nolimits (V, W)^\vee = V \otimes W^\vee $ do not involve signs. Finally, given three super vector spaces $U$, $V$, $W$ we can consider the analogue

of the maps $c_{p, r, s}$ which occur in the lemma above. Using the formulae given above (which do not involve signs) this becomes a map

which involves a $(-1)$ on elements $w \otimes v^\vee \otimes u$ if $v^\vee $ and $u$ are odd.

## Comments (0)