Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Ordinary.DimSevenPlane
29 declarations
Basis charge assignment with and
#B₀In the context of the 3-generation Standard Model with right-handed neutrinos, is a specific charge assignment (a vector in the charge space ) 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 ), assigns a charge of to the first generation of quark doublets (), a charge of to the second generation of quark doublets (), and a charge of to all other fermion species across all generations.
The cubic ACC trilinear form satisfies
#B₀_cubicIn the context of the 3-generation Standard Model with right-handed neutrinos, let be the space of rational charges. Let be the basis charge assignment defined by assigning a charge of to the first-generation quark doublet () and a charge of to the second-generation quark doublet (), with all other fermion charges set to zero. Let denote the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). For any two charge assignments , the following identity holds: \[ f(B_0, S, T) = 6 (S_0 T_0 - S_1 T_1) \] where and are the charges of the first and second generation quark doublets in the configurations and , respectively.
Basis charge vector for right-handed up-type quarks
#B₁The charge assignment is a vector in the charge space of the 3-generation Standard Model with right-handed neutrinos, denoted as . 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 to the right-handed up-type quark () of the first generation and a charge of to the right-handed up-type quark of the second generation, with all other fermion charges set to . Using the species index and generation index , 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 corresponds to the right-handed up-type quark species.
In the context of a 3-generation Standard Model with right-handed neutrinos, let be the space of rational charges assigned to the fermions. Let be the symmetric trilinear form associated with the cubic anomaly cancellation condition. For the basis charge vector (which assigns a charge of to the first-generation right-handed up-type quark and to the second-generation right-handed up-type quark, with all other charges being zero) and any two charge configurations , the trilinear form evaluates to: \[ f(B_1, S, T) = 3(S_3 T_3 - S_4 T_4) \] where and denote the -th components of the charge vectors and respectively. The indices and correspond to the right-handed up-type quark species in the first and second generations.
Basis charge assignment for right-handed down quarks
#B₂The charge assignment is an element of the charge space 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 and 3 generations , 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 corresponds to the right-handed down-type quark . In other words, assigns a charge of to the first generation of quarks and to the second generation, with all other charges in the system being zero.
Cubic ACC trilinear form
#B₂_cubicIn the 3-generation Standard Model with right-handed neutrinos, let be the symmetric trilinear form associated with the cubic anomaly cancellation condition. Let be the specific charge configuration (basis vector) that assigns a charge of to the first-generation right-handed down-type quark and to the second-generation right-handed down-type quark, with all other charges being zero. For any two charge configurations and in the charge space , the trilinear form satisfies: \[ f(B_2, S, T) = 3 (S_6 T_6 - S_7 T_7) \] where and denote the -th components of the charge vectors and , and the indices and correspond to the first and second generation right-handed down-type quarks, respectively.
Basis vector of the 7D plane for the 3-generation SM with RHN
#B₃In the 3-generation Standard Model with right-handed neutrinos, is a charge assignment (vector) in the space of charges . It is defined such that the left-handed lepton doublet (species index 3) of the first generation (index 0) has a charge of , and the left-handed lepton doublet of the second generation (index 1) has a charge of . All other fermion charges for all species and generations are zero.
Evaluation of the cubic ACC trilinear form at basis vector :
#B₃_cubicLet 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 , the value of the trilinear form evaluated at the basis vector and the vectors and is given by: \[ f(B_3, S, T) = 2(S_9 T_9 - S_{10} T_{10}) \] where and denote the components of the charge vectors and at index . Here, the indices 9 and 10 correspond to the charges of the left-handed lepton doublet () species for the first and second generations, respectively.
Basis charge vector for the 7-dimensional plane of charges
#B₄The charge vector 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 to the right-handed charged lepton () of the first generation, a charge of to the right-handed charged lepton of the second generation, and a charge of to all other fermion charges (including all generations of quarks, left-handed leptons, neutrinos, and the third generation of the right-handed charged lepton).
for the cubic ACC trilinear form
#B₄_cubicIn the 3-generation Standard Model with right-handed neutrinos, let be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let be the basis charge vector where the first-generation right-handed charged lepton has charge , the second-generation right-handed charged lepton has charge , and all other fermion charges are zero. For any two charge configurations and , the trilinear form evaluated at is: \[ f(B_4, S, T) = S_{12} T_{12} - S_{13} T_{13} \] where and are the charges of the first-generation right-handed charged leptons, and and are the charges of the second-generation right-handed charged leptons in the respective configurations.
Basis charge assignment for the 7-dimensional plane
#B₅The definition 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 and the second-generation right-handed neutrino has charge , while all other fermion charges (including all quarks, charged leptons, left-handed leptons, and the third-generation neutrino) are set to . This assignment serves as one of the basis elements for a 7-dimensional plane of charges that satisfy the anomaly cancellation conditions.
Evaluation of the cubic trilinear form at is
#B₅_cubicFor any two charge assignments in the charge space of the 3-generation Standard Model with right-handed neutrinos, let be the symmetric trilinear form associated with the cubic anomaly cancellation condition. If is a basis charge assignment where the first-generation right-handed neutrino has charge and the second-generation right-handed neutrino has charge (with all other fermion charges set to ), then the trilinear form evaluated at and satisfies: \[ f(B_5, S, T) = S_{15} T_{15} - S_{16} T_{16} \] where and denote the rational charges of the -th fermion representation in assignments and , with indices 15 and 16 corresponding specifically to the first and second generation right-handed neutrinos.
Basis charge vector for the seven-dimensional plane
#B₆The charge assignment 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 such that, under the identification of charges with species-generation pairs , 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 corresponds to the right-handed up-type quark , the index corresponds to the right-handed down-type quark , and the generation index corresponds to the third generation.
The cubic ACC trilinear form equals
#B₆_cubicIn the context of the 3-generation Standard Model with right-handed neutrinos, let be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). For the basis charge vector and any two charge configurations , the trilinear form satisfies the identity: \[ f(B_6, S, T) = 3(S_5 T_5 - S_8 T_8) \] where and denote the -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.
Basis vectors for the 7-dimensional plane of charges
#BThe function maps an index to a corresponding basis charge assignment in the charge space for the 3-generation Standard Model with right-handed neutrinos. Specifically, the mapping is defined as for , where the vectors form a basis for a 7-dimensional plane of charges where each point satisfies the anomaly cancellation conditions.
The cubic ACC trilinear form for
#B₀_Bi_cubicConsider the 3-generation Standard Model with right-handed neutrinos and let be its charge space. Let be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let be the basis vectors defined for the 7-dimensional plane in this charge space. For any index and any charge configuration , the trilinear form satisfies the identity: \[ f(B_0, B_i, S) = 0 \]
for
#B₁_Bi_cubicIn the 3-generation Standard Model with right-handed neutrinos, let be the space of rational fermion charges and be the symmetric trilinear form associated with the cubic anomaly cancellation condition. Let be the basis vectors for the 7-dimensional plane of charges defined in this system. For any index such that , and for any charge configuration , the trilinear form satisfies .
The cubic ACC trilinear form vanishes for
#B₂_Bi_cubicIn the 3-generation Standard Model with right-handed neutrinos, let be the charge space and be the symmetric trilinear form associated with the cubic anomaly cancellation condition. Let be the basis vectors for a specific 7-dimensional plane in . For any index such that and for any charge configuration , the trilinear form satisfies .
The Cubic ACC Trilinear Form for
#B₃_Bi_cubicLet be the charge space of the 3-generation Standard Model with right-handed neutrinos, and let be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let be the basis vectors of a specific 7-dimensional plane in . For any index such that , and for any charge vector , the trilinear form evaluated at , , and is zero: \[ f(B_3, B_i, S) = 0 \]
for in the 7-dimensional plane cubic ACC trilinear form
#B₄_Bi_cubicIn the context of the 3-generation Standard Model with right-handed neutrinos, let be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let be the basis vectors for the specific 7-dimensional plane of charges defined in this system. For any index such that , and for any arbitrary charge configuration , the trilinear form evaluated at , and is zero, i.e., .
for in the 7D plane basis
#B₅_Bi_cubicIn the context of the 3-generation Standard Model with right-handed neutrinos, let be the symmetric trilinear form associated with the cubic anomaly cancellation condition. Let be the basis vectors of a specific 7-dimensional plane in the charge space. For any index such that , and for any charge assignment , the trilinear form satisfies: \[ f(B_5, B_i, S) = 0 \]
The cubic ACC trilinear form for
#B₆_Bi_cubicIn the context of the 3-generation Standard Model with right-handed neutrinos, let be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC), and let be the basis vectors for the 7-dimensional plane in the charge space. For any index such that and for any charge configuration , it holds that .
for in the 7D plane basis
#Bi_Bj_ne_cubicIn the 3-generation Standard Model with right-handed neutrinos, let be the space of rational fermion charges and be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let be the basis vectors for the 7-dimensional plane of charges defined in this system. For any distinct indices (where ) and for any charge configuration , the trilinear form satisfies: \[ f(B_i, B_j, S) = 0 \]
Cubic ACC trilinear form vanishes for basis vectors
#Bi_Bi_Bj_cubicLet be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC) for the 3-generation Standard Model with right-handed neutrinos. Let be the basis vectors defining a 7-dimensional plane within the rational charge space . For any two indices , the trilinear form evaluated at the elements , and vanishes: \[ f(B_i, B_i, B_j) = 0 \]
The cubic ACC trilinear form vanishes for any three basis vectors of the 7D plane
#Bi_Bj_Bk_cubicIn the 3-generation Standard Model with right-handed neutrinos, let be the space of rational fermion charges and be the symmetric trilinear form associated with the cubic anomaly cancellation condition (ACC). Let be the basis vectors for the 7-dimensional plane defined in this system. For any indices , the trilinear form evaluated at these basis vectors is zero: \[ f(B_i, B_j, B_k) = 0 \]
The cubic ACC vanishes for any linear combination of the 7D plane basis vectors
#B_in_accCubeIn the 3-generation Standard Model with right-handed neutrinos, let be the cubic anomaly cancellation condition (ACC) map and be the basis vectors for the 7-dimensional plane of charges. For any set of rational coefficients , 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 \]
Any linear combination of the 7D plane basis vectors satisfies the ACCs
#B_sum_is_solIn the 3-generation Standard Model with right-handed neutrinos, let be the basis vectors defined for the 7-dimensional plane of charges. For any set of rational coefficients , the resulting linear combination of charges is a solution to the full set of anomaly cancellation conditions (including the gravitational, , , and cubic anomalies).
Linear independence of the basis vectors for the 7D plane of charges
#basis_linear_independentIn the 3-generation Standard Model with right-handed neutrinos, the set of seven basis vectors in the charge space is linearly independent over the field of rational numbers .
Existence of a 7D plane of solutions to the ACCs in the 3-generation SM
#seven_dim_plane_existsIn the 3-generation Standard Model with right-handed neutrinos, there exists a set of seven charge assignment vectors that are linearly independent over , such that every linear combination (where ) is a solution to the full set of anomaly cancellation conditions (ACCs).
