Real SU(2) triplets: CheckModel reports missing terms with conj[trip]

[Socob]

It seems that CheckModel does not realize that the Lagrangian does not need to include the conjugate of real SU(2) triplets. For example, using the built-in model “SM+Triplet/Real”:

Code: Select all

Start["SM+Triplet/Real"]
CheckModel

I get as output:

Code: Select all

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

(Almost) every term listed in PossibleTerms::NonSUSY includes conj[trip], but this wouldn’t add anything new because trip is a real triplet.

Also, the term {trip,trip,trip} is indeed missing from the model SM+Triplet/Real, but I’m not sure if that’s intentional.