Supertrace

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

Supertrace: a simple, rotated version of the usual trace for “graded” spaces

What it is
- In superalgebra and supermodule theory, spaces have a natural division into an even part and an odd part.
- A linear map T on such a space can be drawn as a 2-by-2 block matrix, with blocks that go between even and odd parts.
- The supertrace is the difference between the usual traces of the diagonal blocks: it is Tr(T00) minus Tr(T11).

Why it’s useful
- It’s a basis-independent quantity: no matter how you rewrite the map with a different graded basis, the supertrace stays the same.
- It plays a key role in the grading (Z2-graded) setting and in preserving certain symmetries when you change basis.

Key properties
- Supertrace of a product with a supercommutator: str(T1 T2) and str(T2 T1) are related by signs depending on the parities of T1 and T2, and in particular the supertrace of a supercommutator is zero. This generalizes a familiar trace property to graded objects.
- Generalization: You can define a supertrace on any associative superalgebra E over a commutative superalgebra A as a linear map that vanishes on all supercommutators. Such a supertrace isn’t unique and can be adjusted by multiplying by elements of A.

Physics applications
- In supersymmetric theories, quantities come in boson/fermion pairs. The supertrace lets you sum their contributions with correct signs, often yielding cancellations that are important for consistency.
- Mass matrices and the effective potential: a common use is to express one-loop quantum corrections in terms of a supertrace. For example, the Coleman–Weinberg potential can be written with a formula involving the fourth power of masses, weighted by bosonic and fermionic contributions.
- Specifically, the one-loop effective potential can be written using the supertrace of M^4 log(M^2/Λ^2), where M is the mass matrix and Λ is a cutoff scale. In anomaly-free, renormalizable theories, many such supertrace expressions cancel out or simplify greatly.

Related ideas
- Berezinian: the superalgebra analogue of a determinant.
- The ordinary trace isn’t generally well-behaved under grading, which is why the supertrace is the right tool in Z2-graded contexts.

In short
- Supertrace is the graded analogue of the ordinary trace, taking the difference of traces on the even and odd parts.
- It’s basis-independent, obeys a useful zero-on-supercommutators property, and has important applications in the mathematics of superalgebras and in the physics of supersymmetric theories.