Let be a -graded vector space, where both and are finite-dimensional. Suppose that is a degree-preserving endomorphism of (so it consists of endomorphisms for both ). Then the supertrace of is defined as the difference of the two traces:
Obviously, the definition of the supertrace is very simple, but it begs for a justification. For example, why is this better than just adding the two traces? I’ve seen two facts offered in defense of the supertrace (see the Wikipedia article): 1) The supertrace is invariant when applied to endomorphisms of modules over commutative superalgebras, and 2) The supertrace of a supercommutator is 0.
I feel like neither of these justifications is particularly satisfying; the first requires a much more complicated setup than what I described above, and the second passes the burden of proof onto the notion of supercommutator. So I’d like to offer another way of thinking about the supertrace, which should be reasonably convincing to anyone who knows a little bit of homological algebra. I feel like this is one of those ideas that the practitioners in the field all know, but nobody bothers to write down.