CheckModel not reporting missing terms involving conj[fermion]

[Socob]

For a fermion singlet “Psi” with hypercharge Y = 0, it seems that CheckModel does not take terms involving conj[Psi] into account. For example, when I add such a fermion to the Standard Model (built-in model “SM”):

Code: Select all

FermionFields[[6]] = {Psi, 1, psi 0, 1, 1};

I get the following result when running CheckModel:

Code: Select all

…
Checking for additional terms in the potential
{C[Psi],C[Psi,Psi],C[H,l,Psi],C[Psi,conj[H],conj[l]]}
! PossibleTerms::NonSUSY: The following terms are not present in the potential but allowed by gauge invariance: {{Psi},{Psi,Psi},{H,l,Psi},{Psi,conj[H],conj[l]}}.
…

Now, the terms {Psi} and {Psi,conj[H],conj[l]} obviously shouldn’t be there (but are listed because there is no check for Lorentz invariance). But for {Psi,Psi} and {H,l,Psi}, I would have expected that their Hermitian conjugates should also be reported as missing. That is, I think CheckModel should also list {conj[Psi],conj[Psi]} and {conj[H],conj[l],conj[Psi]} as missing terms!

[FStaub]

Yes, there are obviously problems with this function for non-SUSY models. It was originally created to check for superpotential terms where one has much less freedom because of the holomorphicity. I added a warning that one should carefully double-check the results. I hope that at some point, I find time to improve the function. Of course, also everybody else is invited to provide a better version of it which could be included.

Cheers,
Florian