Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.PlaneNonSols
36 declarations
First basis vector of the 11-dimensional plane of charges
#B₀The vector is a charge assignment in the 18-dimensional rational vector space corresponding to the 3-generation Standard Model with right-handed neutrinos. It is defined as the unit vector , which assigns a charge of to the first generation left-handed quark doublet and a charge of to all other fermions. This vector serves as one of the basis elements for an 11-dimensional plane in the space of charges.
Basis vector of the 11-dimensional plane of charges
#B₁The vector is a basis element for the 11-dimensional plane of charges in the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry. It is an element of the rational vector space , specifically defined as the vector where the charge of the first-generation right-handed up-type quark is 1, and all other 17 charges are 0: \[ B_1 = (0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) \]
Basis charge vector for the eleven-dimensional plane of the 3-generation SMRHN + system
#B₂The charge assignment is defined as the vector . In the context of the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, this vector represents a configuration where the right-handed down-type quark of the first generation () has charge , and all other fermions have charge . This vector serves as a basis element for an eleven-dimensional plane in the charge space.
Third basis vector for the 11-dimensional plane of non-solutions
#B₃The charge assignment is a vector in the space of charges for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry. It serves as one of the basis elements for an 11-dimensional plane in the charge space where no non-trivial solutions to the anomaly cancellation conditions (ACCs) exist. Specifically, is defined as the unit vector where the charge of the second-generation left-handed quark doublet is , and all other charges are :
Fourth basis vector for the 11-dimensional plane of charges
#B₄The charge assignment is a specific vector in the 18-dimensional vector space of charges for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry. It is defined as the vector , where the eighth component is and all other components are . This vector serves as one of the basis elements for an 11-dimensional plane in the space of charges.
Basis vector of the 11-dimensional plane of charges
#B₅The definition represents a specific charge assignment vector in the space of charges for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry. It is defined as the coordinate vector: This vector serves as one of the basis elements used to construct an 11-dimensional plane in the charge space on which there are no non-trivial solutions to the anomaly cancellation conditions.
Basis element for the 11-dimensional plane of charges
#B₆The charge assignment is a basis vector used to construct an 11-dimensional plane in the charge space of the 3-generation Standard Model with right-handed neutrinos. It is defined as the vector where all charge components are zero except for the 13th component, which is 1: \[ B_6 = (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0) \] In the context of the ordered fermion charges , this vector corresponds to assigning a unit charge to the third-generation left-handed quark doublet and zero to all other fermions.
Basis vector of the 11-dimensional plane of charges
#B₇This definition specifies a charge assignment within the 18-dimensional vector space of charges for the 3-generation Standard Model with right-handed neutrinos. It is defined as the vector: \[ B_7 = (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0) \] This vector serves as one of the basis elements for an 11-dimensional plane in the charge space on which no non-trivial solutions to the anomaly cancellation conditions exist.
Basis vector of the 11-dimensional plane of charges
#B₈The charge vector is an element of the 18-dimensional rational vector space , representing the charge assignments for the 3-generation Standard Model with right-handed neutrinos and an extra symmetry. This specific vector is one of the basis elements used to construct an 11-dimensional plane of charges. It is defined as the configuration where the charge of the right-handed down-type quark in the third generation () is 1, and all other charges are 0.
The basis vector for the 11-dimensional plane of charges
#B₉The charge assignment is a vector in the space of charges for the three-generation Standard Model with right-handed neutrinos. It is defined as the vector , where the charge of the third generation lepton doublet is and the charge of the third generation charged lepton is , with all other fermion charges being zero. This vector serves as one of the basis elements for the 11-dimensional plane of charges on which no non-trivial solutions to the anomaly cancellation conditions exist.
Basis vector of the 11-dimensional plane of no solutions
#B₁₀For the anomaly cancellation system of the Standard Model with three generations () of fermions and right-handed neutrinos, the charge space is the vector space . The charge assignment is defined as the basis vector . This corresponds to the physical state where the right-handed neutrino of the third generation, , is assigned a charge of , while all other fermion charges are . This vector is one of the eleven basis elements used to construct a specific 11-dimensional plane in the charge space.
Basis vectors for the 11-dimensional plane of charges
#BFor the anomaly cancellation system of the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, this function defines a sequence of eleven charge assignments for . These vectors serve as a basis for an 11-dimensional plane in the rational vector space of charges. This specific plane is constructed to show that no non-trivial solutions to the anomaly cancellation conditions exist within it.
for distinct basis vectors of the 11D plane of charges
#Bi_Bj_quadIn the context of the 3-generation Standard Model with right-handed neutrinos, let be the basis vectors for the specific 11-dimensional plane of charges in the rational vector space . For any two distinct indices where , the symmetric bilinear form associated with the quadratic anomaly cancellation conditions satisfies .
for the 11D plane basis
#Bi_sum_quadIn the context of the 3-generation Standard Model with right-handed neutrinos, let be the basis vectors for the 11-dimensional plane in the charge space . For any index and any sequence of rational coefficients , the symmetric bilinear form associated with the quadratic anomaly cancellation conditions satisfies: where represents the symmetric bilinear map `quadBiLin`.
Coefficients of the quadratic form in the 11D plane basis
#quadCoeffThis definition specifies a sequence of 11 rational coefficients (for ) used in a quadratic form defined over an 11-dimensional plane in the charge space. The coefficients are defined such that for and for and . In the context of a basis , these correspond to the values of the bilinear form .
The quadratic coefficients are equal to for the 11D plane basis vectors
#quadCoeff_eq_bilinearIn the context of the 11-dimensional plane in the charge space for the 3-generation Standard Model with right-handed neutrinos, for any index , the predefined quadratic coefficient is equal to the value of the symmetric bilinear form evaluated on the basis vector with itself, that is, .
for the 11D plane basis
#on_accQuadIn the context of the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . For any sequence of rational coefficients , the quadratic anomaly cancellation condition evaluated on the linear combination of these basis vectors satisfies: where are the predefined quadratic coefficients associated with the basis vectors , which correspond to the values of the symmetric bilinear form .
For any solution in the 11D plane, for all
#isSolution_quadCoeff_f_sq_zeroIn the context of the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . For any sequence of rational coefficients , if the charge configuration is a solution to the anomaly cancellation conditions, then for every index , the product of the quadratic coefficient and the square of the coordinate is zero: where are the predefined quadratic coefficients associated with the basis vectors .
For any solution in the 11D plane,
#isSolution_f0In the context of the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . If a linear combination of these basis vectors with rational coefficients is a solution to the anomaly cancellation conditions, then the first coefficient must be zero.
For any solution in the 11D plane,
#isSolution_f1In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of a specific 11-dimensional plane in the rational charge space. For any sequence of rational coefficients , if the charge configuration is a solution to the anomaly cancellation conditions, then the coefficient must be zero:
For any solution in the 11D Plane,
#isSolution_f2In the anomaly cancellation system of the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane. For any sequence of rational coefficients , if the linear combination is a solution to the anomaly cancellation conditions, then the coefficient must be equal to zero, i.e., .
For any solution in the 11D plane,
#isSolution_f3In the anomaly cancellation system of the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors for the 11-dimensional plane in the rational charge space . For any set of rational coefficients , if the linear combination is a solution to the anomaly cancellation conditions, then the coefficient must be zero.
For any solution in the 11D plane,
#isSolution_f4In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . For any sequence of rational coefficients , if the linear combination satisfies the anomaly cancellation conditions, then the coefficient must be equal to zero, i.e., .
For any solution in the 11D plane,
#isSolution_f5Consider the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry. Let be the basis vectors of the 11-dimensional plane in the rational charge space . If a charge configuration , where , is a solution to the anomaly cancellation conditions, then the coefficient must be zero.
For any solution in the 11D plane,
#isSolution_f6Consider the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry. Let be the basis vectors of the 11-dimensional plane in the rational charge space . For any sequence of rational coefficients , if the charge assignment is a solution to the anomaly cancellation conditions, then the coefficient must be zero.
For any solution in the 11D plane,
#isSolution_f7Consider the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry. Let be the basis vectors of the 11-dimensional plane in the rational charge space . If a charge assignment , where , is a solution to the anomaly cancellation conditions, then the coefficient must be zero.
For any solution in the 11D plane,
#isSolution_f8Consider the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry. Let be the basis vectors of the 11-dimensional plane in the rational charge space . If a charge assignment , where , is a solution to the anomaly cancellation conditions, then the coefficient must be zero.
Solutions in the 11D plane satisfy
#isSolution_sum_partIn the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . For any sequence of rational coefficients , if the charge assignment is a solution to the anomaly cancellation conditions, then the sum reduces to the last two components:
For any solution in the 11D plane, .
#isSolution_gravIn the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . For any rational coefficients , if the charge assignment is a solution to the anomaly cancellation conditions, then the coefficients of the last two basis vectors must satisfy the linear relation .
Solutions in the 11D plane satisfy
#isSolution_sum_part'In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . For any sequence of rational coefficients , if the charge assignment is a solution to the anomaly cancellation conditions, then the sum reduces to a linear combination of the last two basis vectors involving only the coefficient :
Solutions in the 11D plane must have
#isSolution_f9In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . If a charge assignment is a solution to the anomaly cancellation conditions for some rational coefficients , then the coefficient must be zero.
Solutions in the 11D plane must have
#isSolution_f10In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . If a charge assignment is a solution to the anomaly cancellation conditions for some rational coefficients , then the coefficient must be zero.
All coefficients of a solution in the 11D plane are zero
#isSolution_f_zeroIn the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . If a charge assignment (where ) is a solution to the anomaly cancellation conditions, then for every , the coefficient must be zero.
Any solution in the 11D plane must be
#isSolution_only_if_zeroIn the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, let be the basis vectors of the 11-dimensional plane in the rational charge space . For any rational coefficients , if the linear combination is a solution to the anomaly cancellation conditions, then must be the zero vector.
Linear Independence of the 11D Plane Basis
#basis_linear_independentThe set of eleven basis vectors in the charge space of the 3-generation Standard Model with right-handed neutrinos (and an additional gauge symmetry) is linearly independent over the rational numbers .
An 11D plane of charges exists where the only solution to the ACC system is the origin
#eleven_dim_plane_of_no_sols_existsIn the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional gauge symmetry, there exists a set of eleven basis vectors in the rational charge space that are linearly independent over , such that for any rational coefficients , if the linear combination is a solution to the anomaly cancellation conditions, then must be the zero vector.
