Physlib

Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Ordinary.DimSevenPlane

29 declarations

definition

Basis charge assignment B0B_0 with Q1=1Q_1 = 1 and Q2=1Q_2 = -1

#B₀

In the context of the 3-generation Standard Model with right-handed neutrinos, B0B_0 is a specific charge assignment (a vector in the charge space Q18\mathbb{Q}^{18}) that serves as a basis element for a 7-dimensional plane. Under the identification of the charge space with a species-generation grid (where species index 0 corresponds to the left-handed quark doublet QQ), B0B_0 assigns a charge of 11 to the first generation of quark doublets (Q1Q_1), a charge of 1-1 to the second generation of quark doublets (Q2Q_2), and a charge of 00 to all other fermion species across all generations.

theorem

The cubic ACC trilinear form ff satisfies f(B0,S,T)=6(S0T0S1T1)f(B_0, S, T) = 6 (S_0 T_0 - S_1 T_1)

#B₀_cubic

In the context of the 3-generation Standard Model with right-handed neutrinos, let V=Q18V = \mathbb{Q}^{18} be the space of rational charges. Let B0VB_0 \in V be the basis charge assignment defined by assigning a charge of 11 to the first-generation quark doublet (Q1Q_1) and a charge of 1-1 to the second-generation quark doublet (Q2Q_2), with all other fermion charges set to zero. Let ff denote the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). For any two charge assignments S,TVS, T \in V, the following identity holds: \[ f(B_0, S, T) = 6 (S_0 T_0 - S_1 T_1) \] where S0,T0S_0, T_0 and S1,T1S_1, T_1 are the charges of the first and second generation quark doublets in the configurations SS and TT, respectively.

definition

Basis charge vector B1B_1 for right-handed up-type quarks

#B₁

The charge assignment B1B_1 is a vector in the charge space of the 3-generation Standard Model with right-handed neutrinos, denoted as (SM 3).Charges(\text{SM } 3).\text{Charges}. It serves as a basis element for a specific 7-dimensional plane where points satisfy the anomaly cancellation conditions. The vector is defined by assigning a charge of 11 to the right-handed up-type quark (uu) of the first generation and a charge of 1-1 to the right-handed up-type quark of the second generation, with all other fermion charges set to 00. Using the species index s{0,,5}s \in \{0, \dots, 5\} and generation index i{0,1,2}i \in \{0, 1, 2\}, the assignment is: \[ (B_1)_{s,i} = \begin{cases} 1 & \text{if } s=1, i=0 \\ -1 & \text{if } s=1, i=1 \\ 0 & \text{otherwise} \end{cases} \] where s=1s=1 corresponds to the right-handed up-type quark species.

theorem

fcube(B1,S,T)=3(S3T3S4T4)f_{\text{cube}}(B_1, S, T) = 3(S_3 T_3 - S_4 T_4)

#B₁_cubic

In the context of a 3-generation Standard Model with right-handed neutrinos, let VQ18V \cong \mathbb{Q}^{18} be the space of rational charges assigned to the fermions. Let f:V×V×VQf: V \times V \times V \to \mathbb{Q} be the symmetric trilinear form associated with the cubic anomaly cancellation condition. For the basis charge vector B1VB_1 \in V (which assigns a charge of 11 to the first-generation right-handed up-type quark and 1-1 to the second-generation right-handed up-type quark, with all other charges being zero) and any two charge configurations S,TVS, T \in V, the trilinear form evaluates to: \[ f(B_1, S, T) = 3(S_3 T_3 - S_4 T_4) \] where SiS_i and TiT_i denote the ii-th components of the charge vectors SS and TT respectively. The indices 33 and 44 correspond to the right-handed up-type quark species in the first and second generations.

definition

Basis charge assignment B2B_2 for right-handed down quarks dd

#B₂

The charge assignment B2B_2 is an element of the charge space (SM 3).ChargesQ18(\text{SM } 3).\text{Charges} \cong \mathbb{Q}^{18} for the 3-generation Standard Model with right-handed neutrinos. It is defined as one of the basis elements for a 7-dimensional plane of charges. Using the identification of the 18 total charges with 6 fermion species s{0,,5}s \in \{0, \dots, 5\} and 3 generations i{0,1,2}i \in \{0, 1, 2\}, B2B_2 is defined by: \[ (s, i) \mapsto \begin{cases} 1 & \text{if } s = 2, i = 0 \\ -1 & \text{if } s = 2, i = 1 \\ 0 & \text{otherwise} \end{cases} \] where the species index s=2s=2 corresponds to the right-handed down-type quark dd. In other words, B2B_2 assigns a charge of 11 to the first generation of dd quarks and 1-1 to the second generation, with all other charges in the system being zero.

theorem

Cubic ACC trilinear form f(B2,S,T)=3(S6T6S7T7)f(B_2, S, T) = 3(S_6 T_6 - S_7 T_7)

#B₂_cubic

In the 3-generation Standard Model with right-handed neutrinos, let ff be the symmetric trilinear form associated with the cubic anomaly cancellation condition. Let B2B_2 be the specific charge configuration (basis vector) that assigns a charge of 11 to the first-generation right-handed down-type quark and 1-1 to the second-generation right-handed down-type quark, with all other charges being zero. For any two charge configurations SS and TT in the charge space Q18\mathbb{Q}^{18}, the trilinear form satisfies: \[ f(B_2, S, T) = 3 (S_6 T_6 - S_7 T_7) \] where SiS_i and TiT_i denote the ii-th components of the charge vectors SS and TT, and the indices 66 and 77 correspond to the first and second generation right-handed down-type quarks, respectively.

definition

Basis vector B3B_3 of the 7D plane for the 3-generation SM with RHN

#B₃

In the 3-generation Standard Model with right-handed neutrinos, B3B_3 is a charge assignment (vector) in the space of charges Q18\mathbb{Q}^{18}. It is defined such that the left-handed lepton doublet LL (species index 3) of the first generation (index 0) has a charge of 11, and the left-handed lepton doublet LL of the second generation (index 1) has a charge of 1-1. All other fermion charges for all species and generations are zero.

theorem

Evaluation of the cubic ACC trilinear form at basis vector B3B_3: f(B3,S,T)=2(S9T9S10T10)f(B_3, S, T) = 2(S_9 T_9 - S_{10} T_{10})

#B₃_cubic

Let ff be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC) for the 3-generation Standard Model with right-handed neutrinos. For any two charge configurations S,TQ18S, T \in \mathbb{Q}^{18}, the value of the trilinear form evaluated at the basis vector B3B_3 and the vectors SS and TT is given by: \[ f(B_3, S, T) = 2(S_9 T_9 - S_{10} T_{10}) \] where SiS_i and TiT_i denote the components of the charge vectors SS and TT at index i{0,,17}i \in \{0, \dots, 17\}. Here, the indices 9 and 10 correspond to the charges of the left-handed lepton doublet (LL) species for the first and second generations, respectively.

definition

Basis charge vector B4B_4 for the 7-dimensional plane of SMν\text{SM}\nu charges

#B₄

The charge vector B4B_4 is a basis element for a 7-dimensional plane in the charge space of the 3-generation Standard Model with right-handed neutrinos. This vector is defined by assigning a charge of 11 to the right-handed charged lepton (ee) of the first generation, a charge of 1-1 to the right-handed charged lepton of the second generation, and a charge of 00 to all other fermion charges (including all generations of quarks, left-handed leptons, neutrinos, and the third generation of the right-handed charged lepton).

theorem

f(B4,S,T)=S12T12S13T13f(B_4, S, T) = S_{12} T_{12} - S_{13} T_{13} for the cubic ACC trilinear form

#B₄_cubic

In the 3-generation Standard Model with right-handed neutrinos, let ff be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let B4B_4 be the basis charge vector where the first-generation right-handed charged lepton has charge 11, the second-generation right-handed charged lepton has charge 1-1, and all other fermion charges are zero. For any two charge configurations SS and TT, the trilinear form evaluated at (B4,S,T)(B_4, S, T) is: \[ f(B_4, S, T) = S_{12} T_{12} - S_{13} T_{13} \] where S12S_{12} and T12T_{12} are the charges of the first-generation right-handed charged leptons, and S13S_{13} and T13T_{13} are the charges of the second-generation right-handed charged leptons in the respective configurations.

definition

Basis charge assignment B5B_5 for the 7-dimensional plane

#B₅

The definition B5B_5 represents a specific charge assignment within the space of charges for the 3-generation Standard Model with right-handed neutrinos. It is defined such that the first-generation right-handed neutrino has charge 11 and the second-generation right-handed neutrino has charge 1-1, while all other fermion charges (including all quarks, charged leptons, left-handed leptons, and the third-generation neutrino) are set to 00. This assignment serves as one of the basis elements for a 7-dimensional plane of charges that satisfy the anomaly cancellation conditions.

theorem

Evaluation of the cubic trilinear form at B5B_5 is S15T15S16T16S_{15} T_{15} - S_{16} T_{16}

#B₅_cubic

For any two charge assignments S,TS, T in the charge space of the 3-generation Standard Model with right-handed neutrinos, let ff be the symmetric trilinear form associated with the cubic anomaly cancellation condition. If B5B_5 is a basis charge assignment where the first-generation right-handed neutrino has charge 11 and the second-generation right-handed neutrino has charge 1-1 (with all other fermion charges set to 00), then the trilinear form evaluated at B5,S,B_5, S, and TT satisfies: \[ f(B_5, S, T) = S_{15} T_{15} - S_{16} T_{16} \] where SiS_i and TiT_i denote the rational charges of the ii-th fermion representation in assignments SS and TT, with indices 15 and 16 corresponding specifically to the first and second generation right-handed neutrinos.

definition

Basis charge vector B6B_6 for the seven-dimensional plane

#B₆

The charge assignment B6B_6 is one of the basis elements for a seven-dimensional plane in the charge space of the three-generation Standard Model with right-handed neutrinos. It is defined as a vector in (SM 3).ChargesQ18(\text{SM } 3).\text{Charges} \cong \mathbb{Q}^{18} such that, under the identification of charges with species-generation pairs (s,i){0,,5}×{0,1,2}(s, i) \in \{0, \dots, 5\} \times \{0, 1, 2\}, we have: \[ B_6(s, i) = \begin{cases} 1 & \text{if } s = 1, i = 2 \\ -1 & \text{if } s = 2, i = 2 \\ 0 & \text{otherwise} \end{cases} \] Here, the species index s=1s=1 corresponds to the right-handed up-type quark uu, the index s=2s=2 corresponds to the right-handed down-type quark dd, and the generation index i=2i=2 corresponds to the third generation.

theorem

The cubic ACC trilinear form f(B6,S,T)f(B_6, S, T) equals 3(S5T5S8T8)3(S_5 T_5 - S_8 T_8)

#B₆_cubic

In the context of the 3-generation Standard Model with right-handed neutrinos, let ff be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). For the basis charge vector B6B_6 and any two charge configurations S,TQ18S, T \in \mathbb{Q}^{18}, the trilinear form satisfies the identity: \[ f(B_6, S, T) = 3(S_5 T_5 - S_8 T_8) \] where SiS_i and TiT_i denote the ii-th components of the respective charge vectors. The indices 5 and 8 correspond to the charges of the third-generation right-handed up-type quark and the third-generation right-handed down-type quark, respectively.

abbrev

Basis vectors {Bi}i=06\{B_i\}_{i=0}^6 for the 7-dimensional plane of charges

#B

The function BB maps an index i{0,1,,6}i \in \{0, 1, \dots, 6\} to a corresponding basis charge assignment BiB_i in the charge space (SM 3).ChargesQ18(\text{SM } 3).\text{Charges} \cong \mathbb{Q}^{18} for the 3-generation Standard Model with right-handed neutrinos. Specifically, the mapping is defined as B(i)=BiB(i) = B_i for i{0,,6}i \in \{0, \dots, 6\}, where the vectors {B0,B1,B2,B3,B4,B5,B6}\{B_0, B_1, B_2, B_3, B_4, B_5, B_6\} form a basis for a 7-dimensional plane of charges where each point satisfies the anomaly cancellation conditions.

theorem

The cubic ACC trilinear form f(B0,Bi,S)=0f(B_0, B_i, S) = 0 for i{1,,6}i \in \{1, \dots, 6\}

#B₀_Bi_cubic

Consider the 3-generation Standard Model with right-handed neutrinos and let VQ18V \cong \mathbb{Q}^{18} be its charge space. Let f:V×V×VQf: V \times V \times V \to \mathbb{Q} be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let B0,B1,,B6B_0, B_1, \dots, B_6 be the basis vectors defined for the 7-dimensional plane in this charge space. For any index i{1,2,,6}i \in \{1, 2, \dots, 6\} and any charge configuration SVS \in V, the trilinear form satisfies the identity: \[ f(B_0, B_i, S) = 0 \]

theorem

fcube(B1,Bi,S)=0f_{\text{cube}}(B_1, B_i, S) = 0 for i1i \neq 1

#B₁_Bi_cubic

In the 3-generation Standard Model with right-handed neutrinos, let VV be the space of rational fermion charges and f:V×V×VQf: V \times V \times V \to \mathbb{Q} be the symmetric trilinear form associated with the cubic anomaly cancellation condition. Let {B0,B1,,B6}\{B_0, B_1, \dots, B_6\} be the basis vectors for the 7-dimensional plane of charges defined in this system. For any index i{0,1,,6}i \in \{0, 1, \dots, 6\} such that 1i1 \neq i, and for any charge configuration SVS \in V, the trilinear form satisfies f(B1,Bi,S)=0f(B_1, B_i, S) = 0.

theorem

The cubic ACC trilinear form f(B2,Bi,S)f(B_2, B_i, S) vanishes for i2i \neq 2

#B₂_Bi_cubic

In the 3-generation Standard Model with right-handed neutrinos, let VV be the charge space and f:V×V×VQf: V \times V \times V \to \mathbb{Q} be the symmetric trilinear form associated with the cubic anomaly cancellation condition. Let {B0,B1,,B6}\{B_0, B_1, \dots, B_6\} be the basis vectors for a specific 7-dimensional plane in VV. For any index i{0,1,,6}i \in \{0, 1, \dots, 6\} such that i2i \neq 2 and for any charge configuration SVS \in V, the trilinear form satisfies f(B2,Bi,S)=0f(B_2, B_i, S) = 0.

theorem

The Cubic ACC Trilinear Form f(B3,Bi,S)=0f(B_3, B_i, S) = 0 for i3i \neq 3

#B₃_Bi_cubic

Let VQ18V \cong \mathbb{Q}^{18} be the charge space of the 3-generation Standard Model with right-handed neutrinos, and let f:V×V×VQf: V \times V \times V \to \mathbb{Q} be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let {B0,B1,,B6}\{B_0, B_1, \dots, B_6\} be the basis vectors of a specific 7-dimensional plane in VV. For any index i{0,,6}i \in \{0, \dots, 6\} such that i3i \neq 3, and for any charge vector SVS \in V, the trilinear form evaluated at B3B_3, BiB_i, and SS is zero: \[ f(B_3, B_i, S) = 0 \]

theorem

f(B4,Bi,S)=0f(B_4, B_i, S) = 0 for i4i \neq 4 in the 7-dimensional plane cubic ACC trilinear form

#B₄_Bi_cubic

In the context of the 3-generation Standard Model with right-handed neutrinos, let ff be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let {B0,B1,,B6}\{B_0, B_1, \dots, B_6\} be the basis vectors for the specific 7-dimensional plane of charges defined in this system. For any index i{0,1,,6}i \in \{0, 1, \dots, 6\} such that i4i \neq 4, and for any arbitrary charge configuration SS, the trilinear form evaluated at B4,BiB_4, B_i, and SS is zero, i.e., f(B4,Bi,S)=0f(B_4, B_i, S) = 0.

theorem

f(B5,Bi,S)=0f(B_5, B_i, S) = 0 for i5i \neq 5 in the 7D plane basis

#B₅_Bi_cubic

In the context of the 3-generation Standard Model with right-handed neutrinos, let ff be the symmetric trilinear form associated with the cubic anomaly cancellation condition. Let {B0,B1,,B6}\{B_0, B_1, \dots, B_6\} be the basis vectors of a specific 7-dimensional plane in the charge space. For any index i{0,,6}i \in \{0, \dots, 6\} such that i5i \neq 5, and for any charge assignment SS, the trilinear form satisfies: \[ f(B_5, B_i, S) = 0 \]

theorem

The cubic ACC trilinear form f(B6,Bi,S)=0f(B_6, B_i, S) = 0 for i6i \neq 6

#B₆_Bi_cubic

In the context of the 3-generation Standard Model with right-handed neutrinos, let ff be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC), and let {B0,B1,,B6}\{B_0, B_1, \dots, B_6\} be the basis vectors for the 7-dimensional plane in the charge space. For any index i{0,1,,6}i \in \{0, 1, \dots, 6\} such that i6i \neq 6 and for any charge configuration SS, it holds that f(B6,Bi,S)=0f(B_6, B_i, S) = 0.

theorem

f(Bi,Bj,S)=0f(B_i, B_j, S) = 0 for iji \neq j in the 7D plane basis

#Bi_Bj_ne_cubic

In the 3-generation Standard Model with right-handed neutrinos, let VV be the space of rational fermion charges and f:V×V×VQf: V \times V \times V \to \mathbb{Q} be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let {B0,B1,,B6}\{B_0, B_1, \dots, B_6\} be the basis vectors for the 7-dimensional plane of charges defined in this system. For any distinct indices i,j{0,1,,6}i, j \in \{0, 1, \dots, 6\} (where iji \neq j) and for any charge configuration SVS \in V, the trilinear form satisfies: \[ f(B_i, B_j, S) = 0 \]

theorem

Cubic ACC trilinear form vanishes for basis vectors Bi,Bi,BjB_i, B_i, B_j

#Bi_Bi_Bj_cubic

Let ff be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC) for the 3-generation Standard Model with right-handed neutrinos. Let {Bi}i=06\{B_i\}_{i=0}^6 be the basis vectors defining a 7-dimensional plane within the rational charge space Q18\mathbb{Q}^{18}. For any two indices i,j{0,1,,6}i, j \in \{0, 1, \dots, 6\}, the trilinear form evaluated at the elements Bi,BiB_i, B_i, and BjB_j vanishes: \[ f(B_i, B_i, B_j) = 0 \]

theorem

The cubic ACC trilinear form vanishes for any three basis vectors Bi,Bj,BkB_i, B_j, B_k of the 7D plane

#Bi_Bj_Bk_cubic

In the 3-generation Standard Model with right-handed neutrinos, let VV be the space of rational fermion charges and f:V×V×VQf: V \times V \times V \to \mathbb{Q} be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let {B0,B1,,B6}\{B_0, B_1, \dots, B_6\} be the basis vectors for the 7-dimensional plane defined in this system. For any indices i,j,k{0,1,,6}i, j, k \in \{0, 1, \dots, 6\}, the trilinear form evaluated at these basis vectors is zero: \[ f(B_i, B_j, B_k) = 0 \]

theorem

The cubic ACC vanishes for any linear combination of the 7D plane basis vectors

#B_in_accCube

In the 3-generation Standard Model with right-handed neutrinos, let Acube\mathcal{A}_{\text{cube}} be the cubic anomaly cancellation condition (ACC) map and {Bi}i=06\{B_i\}_{i=0}^6 be the basis vectors for the 7-dimensional plane of charges. For any set of rational coefficients fiQf_i \in \mathbb{Q}, the cubic ACC vanishes for the linear combination of these basis vectors: \[ \mathcal{A}_{\text{cube}} \left( \sum_{i=0}^6 f_i B_i \right) = 0 \]

theorem

Any linear combination of the 7D plane basis vectors satisfies the ACCs

#B_sum_is_sol

In the 3-generation Standard Model with right-handed neutrinos, let {Bi}i=06\{B_i\}_{i=0}^6 be the basis vectors defined for the 7-dimensional plane of charges. For any set of rational coefficients fiQf_i \in \mathbb{Q}, the resulting linear combination of charges S=i=06fiBiS = \sum_{i=0}^6 f_i B_i is a solution to the full set of anomaly cancellation conditions (including the gravitational, SU(2)SU(2), SU(3)SU(3), and cubic anomalies).

theorem

Linear independence of the basis vectors {Bi}i=06\{B_i\}_{i=0}^6 for the 7D plane of charges

#basis_linear_independent

In the 3-generation Standard Model with right-handed neutrinos, the set of seven basis vectors B={B0,B1,B2,B3,B4,B5,B6}B = \{B_0, B_1, B_2, B_3, B_4, B_5, B_6\} in the charge space (SM 3).ChargesQ18(\text{SM } 3).\text{Charges} \cong \mathbb{Q}^{18} is linearly independent over the field of rational numbers Q\mathbb{Q}.

theorem

Existence of a 7D plane of solutions to the ACCs in the 3-generation SM

#seven_dim_plane_exists

In the 3-generation Standard Model with right-handed neutrinos, there exists a set of seven charge assignment vectors {B0,B1,,B6}(SM 3).Charges\{B_0, B_1, \dots, B_6\} \in (\text{SM } 3).\text{Charges} that are linearly independent over Q\mathbb{Q}, such that every linear combination S=i=06fiBiS = \sum_{i=0}^6 f_i B_i (where fiQf_i \in \mathbb{Q}) is a solution to the full set of anomaly cancellation conditions (ACCs).