Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Ordinary.DimSevenPlane
Dimension 7 plane
We work here in the three family case. We give an example of a 7 dimensional plane on which every point satisfies the ACCs.
The main result of this file is `seven_dim_plane_exists` which states that there exists a 7 dimensional plane of charges on which every point satisfies the ACCs.
29 declarations
Basis charge assignment with and
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
In 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: 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
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: 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: 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
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: 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
In 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: 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
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 :
Let 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: 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
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
In 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: 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
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
For 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: 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
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: 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
In 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: 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
The 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
Consider 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:
for
In 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
In 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
Let 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:
for in the 7-dimensional plane cubic ACC trilinear form
In 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
In 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:
The cubic ACC trilinear form for
In 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
In 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:
Cubic ACC trilinear form vanishes for basis vectors
Let 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:
The cubic ACC trilinear form vanishes for any three basis vectors of the 7D plane
In 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:
The cubic ACC vanishes for any linear combination of the 7D plane basis vectors
In 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:
Any linear combination of the 7D plane basis vectors satisfies the ACCs
In 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
In 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
In 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).
