Physlib

Physlib.StringTheory.FTheory.SU5.Fluxes.NoExotics.ChiralIndices

25 declarations

theorem

No exotics implies non-negative chiral indices for D=(3ˉ,1)1/3D = (\bar{3}, 1)_{1/3}

#chiralIndicesOfD_noneg_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 5ˉ\mathbf{\bar{5}} matter curves in an SU(5)SU(5) F-theory model. If the condition of no chiral exotics holds for FF, then every chiral index χ\chi in the multiset of chiral indices for the representation D=(3ˉ,1)1/3D = (\bar{3}, 1)_{1/3} is non-negative, i.e., χ0\chi \geq 0.

theorem

No chiral exotics implies 0χ(L)0 \leq \chi(L) for 5ˉ\mathbf{\bar{5}} matter curves

#chiralIndicesOfL_noneg_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 5ˉ\mathbf{\bar{5}} representation matter curves in an SU(5)SU(5) F-theory model. If the condition of no chiral exotics is satisfied (implying the total number of anti-chiral LL and DD states is zero), then every chiral index cici in the multiset of chiral indices for the representation L=(1,2)1/2L = (1,2)_{-1/2} (defined as M+NM + N for each curve) is non-negative, i.e., ci0ci \geq 0.

theorem

Positivity of Chiral Indices for Q=(3,2)1/6Q = (3, 2)_{1/6} Given No Chiral Exotics

#chiralIndicesOfQ_noneg_of_noExotics

For a multiset FF of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with 10-dimensional matter curves in an SU(5)SU(5) F-theory model, if FF satisfies the condition of having no chiral exotics (meaning the total number of anti-chiral representations for QQ, UU, and EE is zero), then every chiral index cici in the multiset of chiral indices for the representation Q=(3,2)1/6Q = (3, 2)_{1/6} is non-negative, i.e., ci0ci \ge 0.

theorem

Chiral Indices of UU are Non-negative given No Chiral Exotics

#chiralIndicesOfU_noneg_of_noExotics

For a multiset FF of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 1010-dimensional representation matter curves in an SU(5)SU(5) F-theory model, if there are no chiral exotics in the spectrum, then every chiral index χ(U)F.chiralIndicesOfU\chi(U) \in F.\text{chiralIndicesOfU} for the Standard Model representation U=(3ˉ,1)2/3U = (\bar{\mathbf{3}}, \mathbf{1})_{-2/3} is non-negative, i.e., 0χ(U)0 \le \chi(U).

theorem

No Chiral Exotics Implies χE0\chi_E \geq 0 for 1010d Curves

#chiralIndicesOfE_noneg_of_noExotics

In an SU(5)SU(5) F-theory model, let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with 10-dimensional matter curves. For each curve, the chiral index for the Standard Model representation E=(1,1)1E = (1, 1)_1 is given by χE=M+N\chi_E = M + N. If the flux multiset FF satisfies the condition of having no chiral exotics, then every chiral index χE\chi_E in the multiset of chiral indices for EE is non-negative, i.e., χE0\chi_E \geq 0.

theorem

The sum of chiral indices for D=(3ˉ,1)1/3D = (\bar{3}, 1)_{1/3} equals 3 under the no-exotics condition

#chiralIndicesOfD_sum_eq_three_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z×Z(M, N) \in \mathbb{Z} \times \mathbb{Z} associated with the 5ˉ\mathbf{\bar{5}} matter curves in an SU(5)SU(5) F-theory model. If the condition of no chiral exotics is satisfied for FF, then the sum of the chiral indices for the D=(3ˉ,1)1/3D = (\bar{3}, 1)_{1/3} representation—where each index corresponds to the chirality flux MM of a matter curve—is equal to 33.

theorem

The sum of chiral indices of LL equals 3 in the absence of exotics

#chiralIndicesOfL_sum_eq_three_of_noExotics

For a collection FF of flux pairs (M,N)Z×Z(M, N) \in \mathbb{Z} \times \mathbb{Z} associated with the 5ˉ\mathbf{\bar{5}} representation matter curves in an SU(5)SU(5) F-theory model, if there are no chiral exotics, then the sum of the chiral indices for the representation L=(1,2)1/2L = (1, 2)_{-1/2} is equal to 3. Here, the chiral index for each curve is given by M+NM + N, and the "no exotics" condition implies that the total number of chiral LL and DD states is 3 and the total number of anti-chiral states is 0.

theorem

Sum of chiral indices for QQ is 3 given no exotics

#chiralIndicesOfQ_sum_eq_three_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 10-dimensional matter curves in an SU(5)SU(5) F-theory model. If there are no chiral exotics in the spectrum, then the sum of the chiral indices for the representation Q=(3,2)1/6Q = (\mathbf{3}, \mathbf{2})_{1/6} (where each index is given by the chirality flux MM) across all matter curves in FF is equal to 33.

theorem

χ(U)=3\sum \chi(U) = 3 in the Absence of Chiral Exotics

#chiralIndicesOfU_sum_eq_three_of_noExotics

In an SU(5)SU(5) F-theory model, let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 10-dimensional representation matter curves, where MM is the chirality flux and NN is the hypercharge flux. If the condition of no chiral exotics is satisfied (meaning the total number of chiral states is 3 and anti-chiral states is 0 for the Standard Model representations Q,U,Q, U, and EE), then the sum of the chiral indices χ(U)=MN\chi(U) = M - N for the representation U=(3ˉ,1)2/3U = (\bar{\mathbf{3}}, \mathbf{1})_{-2/3} over all matter curves in FF is equal to 3.

theorem

χE=3\sum \chi_E = 3 in the absence of chiral exotics

#chiralIndicesOfE_sum_eq_three_of_noExotics

In an SU(5)SU(5) F-theory model, let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with 10-dimensional matter curves. If the condition of no chiral exotics is satisfied (meaning the total number of chiral E=(1,1)1E = (1, 1)_1 representations is 3 and the number of anti-chiral EE representations is 0), then the sum of the chiral indices χE=M+N\chi_E = M + N for the representation EE across all curves in FF is equal to 33.

theorem

Chiral Indices of D=(3ˉ,1)1/3D = (\bar{3}, 1)_{1/3} satisfy χ3\chi \leq 3 in the Absence of Chiral Exotics

#chiralIndicesOfD_le_three_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 5ˉ\mathbf{\bar{5}} matter curves in an SU(5)SU(5) F-theory model. If the condition of no chiral exotics is satisfied for FF, then every chiral index χ\chi in the multiset of chiral indices for the representation D=(3ˉ,1)1/3D = (\bar{3}, 1)_{1/3} satisfies χ3\chi \leq 3.

theorem

χ(L)3\chi(L) \leq 3 in the absence of chiral exotics for 5ˉ\mathbf{\bar{5}} matter curves

#chiralIndicesOfL_le_three_of_noExotics

In an SU(5)SU(5) F-theory model, let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 5ˉ\mathbf{\bar{5}} representation matter curves. If the condition of no chiral exotics is satisfied, then every chiral index cici in the multiset of chiral indices for the representation L=(1,2)1/2L = (1, 2)_{-1/2} satisfies ci3ci \leq 3.

theorem

Chiral Indices of QQ are 3\le 3 Given No Chiral Exotics

#chiralIndicesOfQ_le_three_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 10-dimensional matter curves in an SU(5)SU(5) F-theory model. If the model satisfies the condition of having no chiral exotics, then any chiral index cici in the multiset of chiral indices for the representation Q=(3,2)1/6Q = (3, 2)_{1/6} satisfies ci3ci \le 3.

theorem

χ(U)3\chi(U) \leq 3 in the Absence of Chiral Exotics

#chiralIndicesOfU_le_three_of_noExotics

In an SU(5)SU(5) F-theory model, let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 1010-dimensional representation matter curves. If the condition of no chiral exotics is satisfied (meaning the total number of chiral states is 3 and the total number of anti-chiral states is 0 for the Standard Model representations Q,U,Q, U, and EE), then every individual chiral index χ(U)=MN\chi(U) = M - N in the multiset of chiral indices for the representation U=(3ˉ,1)2/3U = (\bar{\mathbf{3}}, \mathbf{1})_{-2/3} satisfies χ(U)3\chi(U) \leq 3.

theorem

No Chiral Exotics Implies χE3\chi_E \le 3 for 1010d Curves

#chiralIndicesOfE_le_three_of_noExotics

In an SU(5)SU(5) F-theory model, let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 10-dimensional representation matter curves. The chiral index for the Standard Model representation E=(1,1)1E = (1, 1)_1 on a curve is given by χE=M+N\chi_E = M + N. If the configuration FF satisfies the condition of having no chiral exotics (which requires the sum of all such indices to be 3 and each index to be non-negative), then every individual chiral index χE\chi_E in the multiset must satisfy χE3\chi_E \le 3.

theorem

χD{0,1,2,3}\chi_D \in \{0, 1, 2, 3\} in the Absence of Chiral Exotics

#mem_chiralIndicesOfD_mem_of_noExotics

In an SU(5)SU(5) F-theory model, let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 5ˉ\mathbf{\bar{5}} matter curves. If the condition of no chiral exotics is satisfied for FF (meaning the total number of chiral states is 3 and the total number of anti-chiral states is 0 for the Standard Model representations LL and DD), then every individual chiral index χD\chi_D in the multiset of chiral indices for the representation D=(3ˉ,1)1/3D = (\bar{3}, 1)_{1/3} satisfies χD{0,1,2,3}\chi_D \in \{0, 1, 2, 3\}.

theorem

χ(L){0,1,2,3}\chi(L) \in \{0, 1, 2, 3\} in the Absence of Chiral Exotics for 5ˉ\mathbf{\bar{5}} Matter Curves

#mem_chiralIndicesOfL_mem_of_noExotics

In an SU(5)SU(5) F-theory model, let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 5ˉ\mathbf{\bar{5}} representation matter curves. If the condition of no chiral exotics is satisfied (which implies the total number of chiral LL states is 3 and no anti-chiral states exist), then every chiral index cici in the multiset of chiral indices for the Standard Model representation L=(1,2)1/2L = (1, 2)_{-1/2} must be one of the values 0,1,2,0, 1, 2, or 33. That is, ci{0,1,2,3}ci \in \{0, 1, 2, 3\}.

theorem

Chiral Indices of QQ are in {0,1,2,3}\{0, 1, 2, 3\} Given No Chiral Exotics

#mem_chiralIndicesOfQ_mem_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 10-dimensional matter curves in an SU(5)SU(5) F-theory model. If the model satisfies the condition of having no chiral exotics, then any chiral index cici in the multiset of chiral indices for the representation Q=(3,2)1/6Q = (3, 2)_{1/6} must be an element of the set {0,1,2,3}\{0, 1, 2, 3\}.

theorem

χ(U){0,1,2,3}\chi(U) \in \{0, 1, 2, 3\} in the Absence of Chiral Exotics

#mem_chiralIndicesOfU_mem_of_noExotics

In an SU(5)SU(5) F-theory model, let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with 1010-dimensional representation matter curves. If the condition of no chiral exotics is satisfied, then every chiral index χ(U)=MN\chi(U) = M - N in the multiset of chiral indices for the Standard Model representation U=(3ˉ,1)2/3U = (\bar{\mathbf{3}}, \mathbf{1})_{-2/3} belongs to the set {0,1,2,3}\{0, 1, 2, 3\}.

theorem

No Chiral Exotics Implies χE{0,1,2,3}\chi_E \in \{0, 1, 2, 3\} for 10\mathbf{10}d Curves

#mem_chiralIndicesOfE_mem_of_noExotics

In an SU(5)SU(5) F-theory model, let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 10\mathbf{10}-dimensional representation matter curves. For each curve, the chiral index for the Standard Model representation E=(1,1)1E = (1, 1)_1 is defined as χE=M+N\chi_E = M + N. If the flux configuration FF satisfies the condition of having no chiral exotics, then every individual chiral index χE\chi_E in the multiset of chiral indices for EE must be an element of the set {0,1,2,3}\{0, 1, 2, 3\}.

theorem

Sum of a subset of chiral indices of D3D \le 3 given no exotics

#chiralIndicesOfD_subset_sum_le_three_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z×Z(M, N) \in \mathbb{Z} \times \mathbb{Z} associated with the 5ˉ\mathbf{\bar{5}} matter curves in an SU(5)SU(5) F-theory model. If the condition of no chiral exotics is satisfied for FF, then for any sub-multiset SFS \subseteq F, the sum of the chirality fluxes MM (which correspond to the chiral indices of the D=(3ˉ,1)1/3D = (\bar{3}, 1)_{1/3} representation) satisfies: \[ \sum_{(M, N) \in S} M \le 3. \]

theorem

Subset sum of LL chiral indices 3\leq 3 given no exotics

#chiralIndicesOfL_subset_sum_le_three_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 5ˉ\mathbf{\bar{5}} representation matter curves in an SU(5)SU(5) F-theory model. Suppose that the condition of no chiral exotics is satisfied. For any sub-multiset SFS \subseteq F, the sum of the chiral indices for the representation L=(1,2)1/2L = (1, 2)_{-1/2} (where the index for each curve is M+NM + N) is less than or equal to 3, i.e., (M,N)S(M+N)3.\sum_{(M, N) \in S} (M + N) \leq 3.

theorem

Sum of a subset of chiral indices for QQ is 3\le 3 given no exotics

#chiralIndicesOfQ_subset_sum_le_three_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 10-dimensional matter curves in an SU(5)SU(5) F-theory model. If the model satisfies the condition of having no chiral exotics (implying the total sum of chiral indices for the representation Q=(3,2)1/6Q = (\mathbf{3}, \mathbf{2})_{1/6} is 3 and all indices are non-negative), then for any sub-multiset SFS \subseteq F, the sum of the chiral indices of QQ in SS is less than or equal to 3: (M,N)SM3.\sum_{(M, N) \in S} M \leq 3.

theorem

Sum of a subset of chiral indices for UU is 3\le 3 given no exotics

#chiralIndicesOfU_subset_sum_le_three_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with the 10-dimensional matter curves in an SU(5)SU(5) F-theory model. Suppose that the condition of no chiral exotics is satisfied. For any sub-multiset SFS \subseteq F, the sum of the chiral indices for the representation U=(3ˉ,1)2/3U = (\bar{\mathbf{3}}, \mathbf{1})_{-2/3} (where the index for each curve is MNM - N) is less than or equal to 3: (M,N)S(MN)3.\sum_{(M, N) \in S} (M - N) \leq 3.

theorem

Sum of a subset of chiral indices for EE is 3\le 3 given no exotics

#chiralIndicesOfE_subset_sum_le_three_of_noExotics

Let FF be a multiset of flux pairs (M,N)Z2(M, N) \in \mathbb{Z}^2 associated with 10-dimensional matter curves in an SU(5)SU(5) F-theory model. If the model satisfies the condition of having no chiral exotics (which implies that for the representation E=(1,1)1E = (1, 1)_1, the total sum of chiral indices χE=M+N\chi_E = M + N is 3 and each χE0\chi_E \ge 0), then for any sub-multiset SFS \subseteq F, the sum of the chiral indices for the representation EE in SS is less than or equal to 3: (M,N)S(M+N)3.\sum_{(M, N) \in S} (M + N) \leq 3.