The definition of the solution Y₃ and properties thereof

We define $Y_3$ and show that it is a double point of the cubic.

References

The main reference for the material in this file is:

• https://arxiv.org/pdf/2107.07926.pdf

def MSSMACC.Y₃AsCharge : MSSMACC.Charges

$Y_3$ is the charge which is hypercharge 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.Y₃ : MSSMACC.Sols

$Y_3$ as a solution.

Equations

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

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

theorem MSSMACC.doublePoint_Y₃_Y₃ (R : MSSMACC.LinSols) : ((MSSMACCs.cubeTriLin Y₃.val) Y₃.val) R.val = 0