The definition of the solution B₃ and properties thereof

We define B₃ and show that it is a double point of the cubic.

References

The main reference for the material in this file is:

Allanach, Madigan and Tooby-Smith

def MSSMACC.B₃AsCharge : MSSMACC.Charges

B₃ is the charge which is $B-L$ in all families, but with the third family of the opposite sign.

Equations

• One or more equations did not get rendered due to their size.

def MSSMACC.B₃ : MSSMACC.Sols

B₃ as a solution.

Equations

• MSSMACC.B₃ = MSSMACC.AnomalyFreeMk MSSMACC.B₃AsCharge MSSMACC.B₃.proof_1 MSSMACC.B₃.proof_2 MSSMACC.B₃.proof_3 MSSMACC.B₃.proof_4 MSSMACC.B₃.proof_5 MSSMACC.B₃.proof_6

theorem MSSMACC.B₃_val : B₃.val = B₃AsCharge

theorem MSSMACC.doublePoint_B₃_B₃ (R : MSSMACC.LinSols) : ((MSSMACCs.cubeTriLin B₃.val) B₃.val) R.val = 0