I am not sure that this notation is specific to supersymmetry theories but I ran into this while studying that.
I see people talking of component fields of a chiral superfield as $\phi$ and $\bar{\psi}$ in the adjoint representation of some gauge group. (One sometimes also seems to use the notation of $\bar{\psi}_+$ to denote which component of the spinor is being picked up) One also denotes the covariant derivative operator as $D$ (which is sometimes written as $D_{++}$ to denote which component of it is being chosen..but I don't understand this notation)
Now one talks of "single trace operators" of the kind $Tr[\phi \bar{\psi}]$, $Tr[\phi \bar{\psi}^2]$, $Tr[\phi^3D \bar{\psi}^4]$ and stuff like that..basically taking arbitrary combinations of powers of the scalar and the fermion and then taking a "gauge trace".
There are lot of things that I don't understand.
I am puzzled by the notation of taking powers of a fermionic field. How does one define powers of a spinor? (What is square of a fermion?) Also here in components $\psi$ would have a decomposition like $\psi = \psi_A t_A$ where $\psi_A$ are fermions and $t_A$ runs over the generators of the Lie algebra of a gauge group in the adjoint representation. I guess one is taking a tensor product between the the spinor $\psi_A$ and the matrix $t_A$. But then I don't understand what is a square or any other power of that tensor?
I am told that $\bar{\psi}^2 \neq 0$ but $Tr[\bar{\psi}^2] = 0$ I don't understand what is this supposed to mean.
One way I can think of the powers could be that $\bar{\psi}$ are after quantization operators on the Hilbert space of the theory and these are powers of that Hilbert space operator. But in this way of thinking I am confused how to intprete the trace over the gauge indices.
In this language one wants to think of the supersymmetry operators $Q$ to act on the fields in the following way,
$Q\phi=0$
$Q\bar{\psi} = 0$
$Q(DO) = [[\phi,\bar{\psi}],O\} + D(QO)$
where $O$ is some operator and in the first term on the RHS of the last of the above equations the symbol $[,\}$ means that one will take the commutator or the anticommutator depending on whether $O$ is bosonic or fermionic.
The above looks like a very different way of thinking about supersymmetry transformations than the language I am familiar with from the books like that of Weinberg where the action of $Q$ on $\phi$ and $\psi$ is through commutator and anti-commutator respectively or one thinks of infinitesimal supersymmetry transformations as $\delta \phi$ etc.
Definitely the last of the above list of commutators is totally unfamiliar to me!
What the above notion confuses is how I am supposed to think of the action of $Q$ on composite operators like say $Tr[\phi\bar{\psi}^3]$. Apparently one is supposed to think of this as a fermionic operator since the fermion is being raised to an odd power. (I can't see the full argument here!)
Then the action of $Q$ is supposed to be (dropping the overall trace),
$Q(\phi \bar{\psi}^3) = (Q\phi)\bar{\psi}^3 + \phi (Q \bar{\psi})\bar{\psi}^2 - \phi \bar{\psi}(Q \bar{\psi})\bar{\psi} + \phi \bar{\psi}^2(Q \bar{\psi})$
The signs alternate depending on how many $\bar{\psi}$s has the $Q$ skipped over.
I would like to know of explanations for the above way of writing powers of fermionic fields and doing supersymmetry transformations on them. I would be glad if I am directed to some reference which explains the above way of thinking which I haven't come across anywhere else in any book.
{Eventually one interested in calculating the "cohomology of $Q$" on the space of all such single trace operators. (for some reason not clear to me people want to drop from this list of operators which are total covariant derivatives) This depends on the theory one is looking it by what the auxiliary field integrates to and appearing on the RHS. I would like to know references along that too and why this is "cohomology" and why is this calculated.}
