Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.PlaneNonSols
Plane of non-solutions
Working in the three family case, we show that there exists an eleven dimensional plane in the vector space of charges on which there are no solutions.
The main result of this file is `eleven_dim_plane_of_no_sols_exists`, which states that an 11 dimensional plane of charges exists on which there are no solutions except the origin.
36 declarations
First basis vector of the 11-dimensional plane of charges
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
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:
Basis charge vector for the eleven-dimensional plane of the 3-generation SMRHN + system
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
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
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
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
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: 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
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: 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
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
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
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
For 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
In 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
In 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
This 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
In 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
In 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
In 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,
In 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,
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 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,
In 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,
In 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,
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 linear combination satisfies the anomaly cancellation conditions, then the coefficient must be equal to zero, i.e., .
For any solution in the 11D plane,
Consider 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,
Consider 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,
Consider 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,
Consider 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
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 the last two components:
For any solution in the 11D plane, .
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 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
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
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 . 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
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 . 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
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 . 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
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 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
The 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
In 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.
