Simple derivation of general Fierz-type identities

Bottom line: this is a short, correct methods paper. If you already know Fierz identities, you will learn one tidy trick — organize the 4×4 matrices in the chiral basis {R, L, Rγ^μ, Lγ^μ, σ^μν} and read chiral Fierz transformations straight off the completeness relation. Nothing in it is wrong, and nothing in it is a surprise. What is new is honestly small, and the author says so: the completeness-relation reading of Fierz identities is flagged as well known (abstract:s0), and the chiral identities themselves are cited as known. The contribution is packaging. Eq. (39) plus Eq. (40) turns any chiral Fierz transform into a couple of gamma traces, and the projectors kill most terms. That is a real convenience over expanding in the usual sixteen bilinears and re-projecting, which is the route Nieves and Pal took. The SU(N) completeness relations in Sec. II are standard textbook material, included for completeness. On the stress-test worry: it does not land. The 1/2 bookkeeping in Eq. (39) is all visible — the outer 1/2, the (1/2)σ_μν dual, and the full μν sum — and they multiply to 1/8, exactly what Σ_μ<ν(σ^μν][(1/2)σ_μν) requires. I also checked the first term of Eq. (42) independently and got (3i/2)(Rγ^μ][R), matching the paper. Eq. (38) is asserted rather than proved, but it is a two-line check and the downstream coefficients confirm it. Soft spots, in proportion: the “simple and systematic” claim is fair but modest — Eq. (42) still costs real trace work, and the paper never does a side-by-side with Ref. 5 to show how much labor is actually saved. Eq. (43) is stated with a ± and a “one can check,” which is a little loose for a paper whose selling point is bookkeeping. The neutrino-matter example in the introduction is motivation, not a result. Who it is for: grad students and anyone matching onto four-fermion operators, computing neutrino matter potentials, or organizing BSM weak operators. Worth twenty minutes at a reading group, and I would cite it as a clean reference for chiral Fierz. Recommendation: send it out. It is already in AJP, and it is the kind of note that earns its place by being right and short.

The paper's central claim is that Eq. (39), the completeness relation for the chiral basis, yields chiral Fierz identities via Eq. (40). That chain depends on two unproved normalizations: (i) Tr[Gamma_A Gamma^B] = 2 delta_A^B in Eq. (38), including the dual assignment that swaps R gamma^mu and L gamma^mu; (ii) the explicit 1/2 inserted before the sigma^{mu nu} term in Eq. (39) to correct for summing mu,nu over all values with sigma^{mu nu} = -sigma^{nu mu}. The reader flags (i) as the weakest assumption, which is fair, but (ii) is the more delicate point: the sigma term in Eq. (39) is written (1/2 sigma^{mu nu}][1/2 sigma^{mu nu}), and the prefactor 1/2 outside the brace must simultaneously absorb both the double-counting and the 1/2 from the dual basis element (1/2)sigma_{mu nu} in Eq. (37). If either bookkeeping is off by a factor of 2, the sigma-sector coefficient in Eq. (42) (the 1/2 (R gamma^nu][R sigma_{nu mu}) term) would shift. The paper does not show the intermediate step, so a reader cannot distinguish a correct double-counting correction from a compensating error. This is not a claim of wrongness; Eqs. (41) and (42) are checkable and Eq. (41) does come out to 2(R][L) as stated. The concern is that the one nontrivial bookkeeping step in the derivation is asserted rather than displayed, and it is exactly the step a pedagogical paper should make explicit.

The reader identifies Eq. (38) as the weakest assumption and is right that it is asserted rather than proved line by line. I agree the derivation is correct and checkable, and I do not think the paper is wrong. My partial disagreement is on which normalization is most load-bearing: the reader points at the R gamma^mu / L gamma^mu dual swap, but that swap is forced by the anticommutation of gamma^mu with gamma^5 and is easy to confirm. The genuinely delicate step is the double-counting factor of 1/2 in the sigma^{mu nu} term of Eq. (39), where the outer 1/2 and the dual-basis 1/2 must be tracked together. That is the step a reader cannot reconstruct from the text as written, and it is the step that feeds the sigma-sector coefficient in Eq. (42). This is a presentation gap in a pedagogical paper, not a correctness risk: Eq. (41) checks out, the method is standard, and the paper is published in AJP. I would not move the verdict. The concrete test above is the one check that would settle whether the bookkeeping is sound, and it is cheap enough that the authors could add it as a one-line display in a revision.

The paper serves a genuine pedagogical purpose: it organizes the chiral Fierz identities as a single completeness relation and shows that the coefficients follow from a few gamma-matrix traces, which is cleaner than expanding in the usual Dirac bilinears and re-projecting. The SU(N) completeness relations in Eqs. (20)-(22) are standard but usefully collected in one place, and the neutrino-matter example gives the formalism a concrete motivation. The central method is sound and the key example Eq. (41) checks out. The paper is a review/pedagogical contribution rather than new physics, and it should be assessed on clarity and correctness of its worked examples.

The paper sets out to show that Fierz identities — the rules that let you reorder the four spinor fields inside a product of two Dirac bilinears — are not a grab-bag of separate tricks but one statement about bases in the space of $4times4$ complex matrices. Once a basis is chosen and its trace-orthogonality fixed, the reordering rule is simply that basis's completeness relation written out element by element. The author uses this to do two things: recover the standard completeness relations for the fundamental representation of SU(N), and, more pointedly, build a basis out of left and right chiral projectors so that chiral Fierz identities come out directly instead of being assembled from the ordinary ones. The practical payoff is demonstrated on the charged-current four-fermion operator responsible for neutrino forward scattering in matter, where the reordering puts the neutrino bilinear first and lets the electron bilinear be replaced by the ambient electron density.

What carries the argument. The load-bearing device is the notion of a dual basis in a matrix vector space, written in the bracket notation the paper credits to Takahashi: a basis $lbraceGamma_A rbrace$ and a dual $lbraceGamma^A rbrace$ with $mathrm{Tr}[Gamma_A Gamma^B] = 2delta_A^B$ generate the completeness relation $(,)[,] = tfrac{1}{2}(Gamma_A][Gamma^A)$, which is the Fierz identity in embryo. The chiral version of this relation, Eq. (39), is what makes the chiral case simple: because $R$ and $L$ are projectors and $gamma^mu$ anticommutes with $gamma_5$, the dual of $Rgamma^mu$ is $Lgamma^mu$, so any bilinear with a given chirality on the left must reappear with the same chirality on the right. That restriction, not computational cleverness, is what collapses the expansion to a few nonzero coefficients.

Core claim. The central claim is that the chiral Fierz identities follow from a single completeness relation, Eq. (39), for the chiral basis $lbrace R, L, Rgamma^mu, Lgamma^mu, sigma^{munu}rbrace$ paired with its dual $lbrace R, L, Lgamma^mu, Rgamma^mu, tfrac{1}{2}sigma^{munu}rbrace$, which satisfy $mathrm{Tr}[Gamma_A Gamma^B] = 2delta_A^B$ (Eq. (38)). Inserting that completeness relation into a general product of bilinears gives Eq. (40), a Fierz transform in which the projector structure kills most terms before any trace is evaluated. The author works two examples: $(Rgamma^mu)[Lgamma^mu] = 2(R][L)$ (Eq. (41)), and the less trivial $(Rsigma^{munu})[Rgamma^nu] = tfrac{i}{2}(Rgamma^mu][R) + tfrac{1}{2}(Rgamma^nu][Rsigma^{numu})$ (Eq. (42)). The same reasoning is used to rederive the SU(N) completeness relation $tfrac{1}{C}(T_a)_{ij}(T_a)_{kl} + tfrac{1}{N}delta_{ij}delta_{kl} = delta_{il}delta_{kj}$ (Eq. (22)), and the physical motivation is the matter-induced potential for electron neutrinos, which the reordered form of the charged-current Lagrangian makes transparent.

The premise it rests on. The derivation rests on the chiral basis and its dual being trace-orthogonal with $mathrm{Tr}[Gamma_A Gamma^B] = 2delta_A^B$, including the swap of $Rgamma^mu$ and $Lgamma^mu$ between the two sets; the paper states this relation in Eq. (38) rather than proving it term by term, and the factor $tfrac{1}{2}$ in Eq. (39) and every coefficient downstream depend on it.

Any chiral Fierz transformation can be read off from Eq. (40) by evaluating a handful of gamma-matrix traces, with the projectors eliminating most candidate terms before the work starts.

The charged-current operator $barpsi_e gamma^alpha L psi_{nu_e}, barpsi_{nu_e} gamma_alpha L psi_e$ can be rewritten with the neutrino bilinear first, so that the electron bilinear averages to $delta_{alpha 0} n_e$ in ordinary matter and yields the electron-neutrino matter potential with the correct sign and factor.

Chiral Fierz identities can be combined with the SU(3) color completeness relation, Eq. (21), to decompose four-quark operators carrying definite color and chirality quantum numbers.

The same recipe — pick a basis, fix its trace-orthogonality, write the completeness relation — produces Fierz-type identities for any matrix representation or algebra, not only the Dirac and SU(N) cases treated here.

The standard textbook Fierz identities are recovered as the special case in which the ordinary Dirac basis $lbrace 1, gamma_5, gamma^mu, gamma_5gamma^mu, sigma^{munu}rbrace$ is used instead of the chiral one.

Because the derivation needs only a trace-orthogonal basis, the procedure is mechanical enough to automate: choose a basis, compute the trace matrix, invert it, and read off the Fierz coefficients. That would turn a routine but error-prone calculation into a lookup.

The same trick should give Fierz rules adapted to other symmetry-breaking patterns — nonrelativistic or heavy-quark projectors, for instance — where the analogue of the $Rgamma^mu leftrightarrow Lgamma^mu$ swap would encode which bilinears can talk to which.

The $tfrac{1}{2}$ in front of $sigma^{munu}$ in the dual basis is there to correct for double counting over $mu < nu$; anyone implementing Eq. (39) numerically must carry that factor explicitly or the coefficients in Eq. (42) come out wrong by a factor of two.

The paper's framing suggests the usefulness of a Fierz identity is a measure of how nearly complete the chosen set of matrix objects is, which would explain why chiral bilinears give compact rules while, say, a set of symmetric matrices alone does not.

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes.

Request a human review