PhysLean Documentation

PhysLean.Particles.SuperSymmetry.SU5.FieldLabels

The field labels #

i. Overview #

To each field and it's conjugate in the SU(5) SUSY GUT we assign a label, namely an element of the inductive type FieldLabel.

This field label will be used to specify the representations of fields present in terms of the lagrangian.

ii. Key results #

The key results are

iii. Table of contents #

iv. References #

A. The field labels #

The inductive type FieldLabel is defined, with one constructor for each field and it's conjugate present in the SU(5) SUSY GUT.

Note that there is only one 10 representation, as it is self-conjugate.

source
inductive SuperSymmetry.SU5.FieldLabel :
Type

The types of field present in an SU(5) GUT.

Instances For
    source
    instance SuperSymmetry.SU5.instDecidableEqFieldLabel :
    DecidableEq FieldLabel
    Equations
    source
    instance SuperSymmetry.SU5.instFintypeFieldLabel :
    Fintype FieldLabel
    Equations
    • One or more equations did not get rendered due to their size.

    B. R-parity of a field label #

    We define the R-parity of a field label, being 1 if it is in the non-trivial representation and 0 otherwise.

    source
    def SuperSymmetry.SU5.FieldLabel.RParity :
    FieldLabel → Fin 2

    The R-Parity of a field, landing on 1 if it is in the non-trivial representation and 0 otherwise.

    Equations
    Instances For