Toward Realistic Models in $T^2/\mathbb{Z}_2$ Flux Compactification


Abstract

We consider a six dimensional gauge theory compactified on \(T^2/\mathbb{Z}_2\) with magnetic flux. The configurations of models are classified by winding numbers at the fixed points. Requiring the existence of generation numbers and Yukawa coupling, we see that allowed and forbidden configurations are described by geometry of winding numbers.

NITEP-189

Toward Realistic Models
in \(T^2/\mathbb{Z}_2\) Flux Compactification

Hiroki Imai$\([^1]**,   **Nobuhito Maru\){, , }$

\(^{\dagger}\) Department of Physics, Osaka Metropolitan University,
Osaka 558-8585, Japan
\(^{\ast}\) Nambu Yoichiro Institute of Theoretical and Experimental Physics (NITEP),
Osaka Metropolitan University, Osaka 558-8585, Japan

1 Introduction↩︎

The Standard Model (SM) of particle physics has achieved remarkable successes, but there remain some mysteries. We see that there are three-generation of quarks and leptons by observation, but the origin is not revealed and there might be a fourth generation discovered in future experiments. We know that the masses of quarks/leptons are generated by the Yukawa couplings with Higgs boson, but these coupling constants with large hierarchy are given by hand and the origin is unknown. Therefore, we have to consider physics beyond the Standard Model (BSM).

Higher dimensional theory with compactified extra dimension is one of the candidates of BSM. We can consider a scenario in which a single fermion in higher dimension has a degeneracy with respect to four-dimensional (4d) quarks/leptons and the degree of degeneracy determines the generation number. This is achieved by introducing a magnetic flux in extra dimensions[1][3]. SM fermions are chiral zero modes and their existence is supported by the Atiyah-Singer (AS) index theorem[4].

Furthermore, we also consider orbifolding of the extra dimension. Magnetized orbifolds might provide rich flavor structures due to orbidold fixed points[5][9]. In \(T^2/\mathbb{Z}_N \, (N=2,3,4,6)\), winding numbers at the fixed points play an important role to classify configurations of models and contribute the generation number[10][12].1

In general, higher dimensional models have many configurations. Some configurations are realistic and others are not. Only realistic configurations are candidates of BSM. Indeed, classification between realistic and unrealistic configurations of magnetized \(T^2/\mathbb{Z}_N \, (N=2,3,4,6)\) is studied in Refs.[16], [17]. However, the geometrical meanings behind these results are still unclear.

In this paper, we clarify that the geometrical meaning is given by the winding numbers at the fixed points in magnetized \(T^2/\mathbb{Z}_2\). We require some conditions from phenomenological point of view, which are the existence of generations and Yukawa coupling. The former implies the presence of multi-generation of fermions and at least one “generation” of the Higgs boson in 4d physics. The latter is needed to realize fermion masses.

By imposing these conditions, we can obtain the possible number of the SM Higgs boson. We start from 6d Weyl fermions and consider two cases where 4d left- and right-handed fermions are originated from the 6d Weyl fermions with same 6d chirality or different one. We cannot give any constraint in the former case, which has many Higgs bosons. In the latter case, however, we see that certain geometric patterns of the winding numbers does not give positive Higgs number, which must be excluded. We note that the result does not depend on specific generation numbers and Yukawa coupling constants, thus we obtain general properties of realistic models in a magnetized orbifold.

This paper is organized as follows. In Section 2, we review 6d models compactified on \(T^2/\mathbb{Z}_2\) with magnetic flux and see that configurations of models are determined by winding numbers at the fixed points. In Section 3, we require the existance of the generations and Yukawa coupling in magnetized \(T^2/\mathbb{Z}_2\) models to constrain configurations by a geometry of winding numbers at fixed points. Section 4 is devoted to conclusion and discussion.

2 Set up↩︎

In this section, we briefly review 6d models compactified on \(T^2\) or \(T^2/\mathbb{Z}_2\) with magnetic flux [8][10], [12]. We emphasize that the generation number of the SM fermions is given by the index theorem.

2.1 \(T^2\) model↩︎

First of all, we consider a 6d spacetime where the extra dimensions are compactified on a two dimensional (2d) torus \(T^2\). By use of the complex coordinate \(z=x^5+ix^6\), the torus \(T^2\) is defined by two identifications between \(x^5=0\) and \(x^5=1\), and between \(x^6=0\) and \(x^6=1\) (See Fig. 1) 2, i.e. \[z \sim z+1\sim z+i. \label{2-1}\tag{1}\]

Figure 1: The torus is formed by identifying along the directions of the arrows.

We introduce a homogeneous static magnetic field \(B\) perpendicular to the \(x^5-x^6\) plane. The vector potential is given by \[A_5(z)= -\frac{1}{2} B x^6=\frac{iB}{4}(z-\bar{z}), \qquad A_{6}(z)= \frac{1}{2} Bx^5=\frac{B}{4}(z+\bar{z}), \label{2-2}\tag{2}\] which can be rewritten as \[A_z(z)\mathrel{\vcenter{:}}= \frac{1}{2}(A_5-iA_6)= -\frac{i}{4}B \bar{z}, \qquad A_{\bar{z}}(z)\mathrel{\vcenter{:}}= \frac{1}{2}(A_5+iA_6)= \frac{i}{4}Bz. \label{2-3}\tag{3}\] The torus lattice shifts on the vector potential should be accompanied by the gauge transformations as \[\begin{align} A_{z/\bar z}(z+1) & = A_{z/\bar z} (z) +\partial_{z/\bar z} \Lambda_1(z), \tag{4}\\ A_{z/\bar z}(z+i) & = A_{z/\bar z} (z) +\partial_{z/\bar z} \Lambda_2(z), \tag{5} \end{align}\] where \(\Lambda_1(z)\) and \(\Lambda_2(z)\) are gauge transformation parameters given by \[\begin{align} \Lambda_1(z) = \frac{1}{2} B \mathrm{Im} z ,\qquad \Lambda_2(z) = -\frac{1}{2} B \mathrm{Im}(i z). \label{2-6} \end{align}\tag{6}\]

We next consider some 6d Weyl fermions in the magnetic flux background. The Lagrangian reads \[\mathcal{L}_{\text{6d}}= i \sum_f \bar \Psi^f_{\chi^f} \Gamma^K D_K \Psi^f_{\chi^f} ,\qquad \Gamma_7 \Psi^f_{\chi^f}=\chi^f \Psi^f_{\chi^f}, \label{2-7}\tag{7}\] where \(K \, (=0,1,2,3,5,6)\) is the 6d spacetime index and \(f\) is the label specifying the SM fermions. In Section 3, \(f\) is used to distinguish between left-handed fermions L and right-handed fermions R. \(D_K=\partial_K - iq^f A_K\) is the covariant derivative, where \(q^f\) is the \(U(1)\) charge of the fermion. \(\Gamma^K \, (K=0,1,2,3,5,6)\) denote 6d Gamma matrices and \(\Gamma_7=-\Gamma^0\Gamma^1\Gamma^2\Gamma^3\Gamma^5\Gamma^6\) is the 6d chiral operator. We use the chiral representation for Gamma matrices3: \[\begin{align}\Gamma^\mu = \gamma^\mu\otimes I_2 = \begin{pmatrix} \gamma^\mu & 0 \\ 0 & \gamma^\mu \end{pmatrix} \qquad (\mu = 0, 1, 2, 3), \\ \Gamma^5 = i\gamma_5\otimes \sigma_1= \begin{pmatrix} 0 & i\gamma_5 \\ i\gamma_5 & 0 \end{pmatrix}, \qquad \Gamma^6 = i\gamma_5\otimes \sigma_2= \begin{pmatrix} 0 & \gamma_5 \\ -\gamma_5 & 0 \end{pmatrix}.\label{gamma-1} \end{align}\tag{8}\] The representation diagonalize \(\Gamma_7\) such as \[\begin{gather} \Gamma_7 = \gamma_5\otimes\sigma_3= \begin{pmatrix} \gamma_5 & 0 \\ 0 & - \gamma_5 \end{pmatrix}. \label{gamma-2} \end{gather}\tag{9}\] We take each fermion \(\Psi^f_{\chi^f}\) an eigenstate of \(\Gamma_7\), whose eigenvalue is \(\chi^f=\pm1\). \(\Psi^f_{\chi^f}\) are called 6d Weyl fermions, which are obtained by acting the projection operators \((I_8+\chi^f\Gamma_7)/2\) on 6d Dirac fermions \(\Psi^f\) such as \[\begin{align} \Psi^f_{\chi^f}&= \frac{I_8+\chi^f \Gamma_7}{2} \Psi^f. \label{2-8} \end{align}\tag{10}\] 6d Weyl fermions are expanded in terms of Kaluza-Klein (KK) modes, \[\begin{align} \Psi^f_+(x,z)&=\sum_{n=0}^\infty \left(\psi^f_{\text{4d,R},n}(x)\otimes \psi^f_{\text{2d,}+,n}(z)+\psi^f_{\text{4d,L},n}(x)\otimes \psi^f_{\text{2d,}-,n}(z)\right), \tag{11}\\ \Psi^f_-(x,z)&=\sum_{n=0}^\infty \left(\psi^f_{\text{4d,R},n}(x)\otimes \psi^f_{\text{2d,}-,n}(z)+\psi^f_{\text{4d,L},n}(x)\otimes \psi^f_{\text{2d,}+,n}(z)\right), \tag{12} \end{align}\] which can be written by use of \(\chi^f\) as \[\Psi^f_{\chi^f}(x,z)=\sum_{n=0}^\infty \left(\psi^f_{\text{4d,R},n}(x)\otimes \psi^f_{\text{2d,}\, \chi^f \! ,n}(z)+\psi^f_{\text{4d,L},n}(x)\otimes \psi^f_{\text{2d,}\, -\chi^f \! ,n}(z)\right), \label{2-10-1-1}\tag{13}\] where \(n\) means the label of KK mass eigenstates (i.e. Landau levels), and \(x\) denotes a 4d Minkowski coordinate. \(\psi^f_{\text{4d,R/L},n}(x)\) are 4d right/left-handed fermions which satisfy \(\gamma_5 \psi^f_{\text{4d,R/L},n}(x)=\pm\psi^f_{\text{4d,R/L},n}(x)\), and \(\psi^f_{\text{2d},\pm,n}(z)\) are 2d Weyl spinors which satisfy \(\sigma_3\psi^f_{\text{2d},\pm,n}(z)=\pm\psi^f_{\text{2d},\pm,n}(z)\). The eigenvalue \(\pm\) of \(\sigma_3\) is called the 2d chirality.

For convenience, we use the following notation: \[\begin{gather} \psi^f_{\text{2d},+,n} (z)= \begin{pmatrix} \psi^f_{T^2,+, n} (z)\\[3pt] 0 \end{pmatrix} , \qquad \psi^{f}_{\text{2d},-, n}(z)= \begin{pmatrix} 0 \\[3pt] \psi^f_{T^2,-, n}(z), \end{pmatrix}. \label{2-11} \end{gather}\tag{14}\] where \(\psi^{f}_{T^2,\pm, n}(z)\) are mode functions on \(T^2\) with 2d chirality \(\pm\). The 2d Weyl fermions in general obey the twisted periodic boundary conditions associated with the gauge transformation: \[\begin{align} \psi^f_{T^2,\pm, n} (z+1) &= U_1^f(z)\psi^f_{T^2,\pm, n} (z), \tag{15}\\ \psi^f_{T^2,\pm, n} (z+i) &= U_2^f(z)\psi^f_{T^2,\pm, n} (z) \tag{16} \end{align}\] with \[U_j^f(z) = e^{iq^f \Lambda_j(z)}e^{2i\pi \alpha_j^f}\qquad(j=1,2), \label{2-SS}\tag{17}\] where \((\alpha^f_1,\alpha^f_2)\) is called Scherk-Shwarz twist phase (SS phase).

Due to the consistency of the boundary conditions (15 ) and (16 ), the magnetic flux has to be quantized as \[\frac{q^f B}{2\pi} \eqqcolon M^f \in \mathbb{Z}, \label{2-quanta}\tag{18}\] where we call the flux quanta for the quantized magnetic flux number \(M^f\). We should emphasize that the flux quanta \(M^f\) depends on \(q^f\), therefore the fields feel different magnetic flux if the charge is different.

We require that the mode functions on \(T^2\) with \(\chi^f =+1\) obey the equations \[\begin{cases} \cancel{D} \psi^f_{\text{2d,}+,n}(z)=m_n\psi^f_{\text{2d,}-,n}(z),\\ \cancel{D} \psi^f_{\text{2d,}-,n}(z)=-m_n\psi^f_{\text{2d,}+,n}(z), \end{cases} \label{2-13}\tag{19}\] and those with \(\chi^f = -1\) obey the equations \[\begin{cases} \cancel{D} \psi^f_{\text{2d,}+,n}(z)=-m_n\psi^f_{\text{2d,}-,n}(z),\\ \cancel{D} \psi^f_{\text{2d,}-,n}(z)=m_n\psi^f_{\text{2d,}+,n}(z), \end{cases} \label{2-14}\tag{20}\] where the Dirac operator is defined as \(\cancel{D} \mathrel{\vcenter{:}}= \sigma_1 D_5 +\sigma_2 D_6\). Eqs.(19 ) and (20 ) are Dirac equations on the extra dimension, which leads to 4d Dirac equations \[\begin{cases} i\gamma^\mu D_\mu \psi^f_{\text{4d,R},n}(z)=m_n\psi^f_{\text{4d,L},n}(z),\\ i\gamma^\mu D_\mu \psi^f_{\text{4d,L},n}(z)=m_n\psi^f_{\text{4d,R},n}(z). \end{cases} \label{2-15}\tag{21}\]

The SM fermions are given by zero modes of Eqs.(19 ) or (20 ): \[\begin{cases} \cancel{D} \psi^f_{\text{2d,}+,0}(z)=0,\\ \cancel{D} \psi^f_{\text{2d,}-,0}(z)=0. \end{cases} \label{2-16}\tag{22}\] It follows from Eq.(22 ) that the zero mode functions \(\psi_{T^2,\pm,0}^f(z)\) on \(T^2\) obey \[\begin{align} D_{\bar z}\psi_{T^2,+,0}^f(z)=\left(\partial_{\bar z} +\frac{\pi M^f}{2} z \right)\psi_{T^2,+,0}^f(z)=0, \tag{23} \\ D_{z}\psi_{T^2,-,0}^f(z)=\left(\partial_{ z} -\frac{\pi M^f}{2} \bar{z} \right)\psi_{T^2,-,0}^f(z)=0. \tag{24} \end{align}\] We should note that only Eq.(23 ) has solutions if \(M^f>0\), and only Eq.(24 ) has those if \(M^f<0\)4. Each zero mode solution is in general degenerate as the lowest-lying mode of the Landau level.

The generation number of the SM fermions is given by the degree of degeneracy of the solutions of Eq.(23 ) or Eq.(24 ), which is given by \[n^f = |M^f|. \label{2-17-1}\tag{25}\] This can be understood it from the viewpoint of the AS index theorem. Let \(n_\pm^f\) be the numbers of zero modes with 2d chirality \(\pm\), which are numbers of solutions of Eqs.(22 ). We define the analytical index of the Dirac operator \(i\cancel{D}\) as \(\mathrm{Ind}(i\cancel{D})\mathrel{\vcenter{:}}= n^f_+ - n^f_-\). From the AS index theorem, the index is equal to the flux quanta \(M^f\) on the magnetized torus[1], [2]: \[\mathrm{Ind}(i\cancel{D}) = M^f. \label{2-17}\tag{26}\] Although the left-hand side of Eq.(26 ) is the difference between \(n^f_+\) and \(n^f_-\), it is consistent with (25 ) since \(n_-^f\) is zero if \(M^f>0\) and \(n_+^f\) is zero if \(M^f<0\). This discussion tells us that \(M^f= + 3(M^f=-3)\) gives three-generation of right-(left-)handed fermions with \(\chi^f=+1\) and left-(right-)handed fermions with \(\chi^f=-1\), respectively.

2.2 \(T^2/\mathbb{Z}_2\) model↩︎

Let us consider an orbifolding in this subsection. An orbifold \(T^2/\mathbb{Z}_2\) is defined by the torus identification Eq.(1 ) and an additional \(\mathbb{Z}_2\) parity one \[z\sim -z, \label{2-18}\tag{27}\] i.e. the orbifold is obtained from the identification \[\forall m,n \in \mathbb{Z}, \qquad z\sim -z +m +in. \label{2-19}\tag{28}\] The identification (28 ) forms a pillowcase shape illustrated in Fig. 2.

Figure 2: An orbifold \(T^2/\mathbb{Z}_2\) forms a pillowcase shape.

The important feature is the existence of fixed points \(z^{\text{fp}}\) defined by \[\exists m,n \in \mathbb{Z}, \qquad z^{\text{fp}}= -z^{\text{fp}} +m +in. \label{2-20}\tag{29}\] There are four fixed points \(z^{\text{fp}}_I \, (I=1,2,3,4)\) on the \(T^2/\mathbb{Z}_2\) orbifold as \[z_1^{\text{fp}}=0, \quad z_2^{\text{fp}}=1/2, \quad z_3^{\text{fp}}=i/2, \quad z_4^{\text{fp}}=(1+i)/2, \label{2-21}\tag{30}\] which are corners of the pillowcase.

Now, we consider mode functions on the \(T^2/\mathbb{Z}_2\). Similar to those on \(T^2\), we use the notation: \[\begin{gather} \psi^f_{\text{2d},+,n} (z)= \begin{pmatrix} \psi^f_{T^2/\mathbb{Z}_2,+, n} (z)_{\eta^f}\\[3pt] 0 \end{pmatrix} , \qquad \psi^{f}_{\text{2d},-, n}(z)= \begin{pmatrix} 0 \\[3pt] \psi^f_{T^2/\mathbb{Z}_2,-, n}(z)_{\eta^f} \end{pmatrix}, \label{2-22} \end{gather}\tag{31}\] where \(\psi^f_{T^2/\mathbb{Z}_2,\pm, n}(z)_{\eta^f}\) are mode functions on \(T^2/\mathbb{Z}_2\) with \(\mathbb{Z}_2\) eigenvalue \(\pm\eta^f\): \[\begin{align} \psi^f_{T^2/\mathbb{Z}_2,+, n} (-z)_{\eta^f} &= \eta^f\psi^f_{T^2/\mathbb{Z}_2,+, n} (z)_{\eta^f} , \tag{32}\\ \psi^f_{T^2/\mathbb{Z}_2,-, n} (-z)_{\eta^f} &= -\eta^f \psi^f_{T^2/\mathbb{Z}_2,-, n} (z)_{\eta^f} . \tag{33} \end{align}\] Eqs.(32 ) and (33 ) represent the parity transformation on the extra dimension. We emphasize that if \(\mathbb{Z}_2\) eigenvalue of \(\psi^f_{T^2/\mathbb{Z}_2,+, n} (z)_{\eta^f}\) is \(\eta^f\), then that of \(\psi^f_{T^2/\mathbb{Z}_2,-, n} (z)_{\eta^f}\) has to be \(-\eta^f\). We should note that we write the \(\mathbb{Z}_2\) eigenvalue of the mode function belonging to 2d chirality \(+\) as the subscript at the bottom right. As stated in Ref.[8], 6d Weyl fermions are transformed under \(\mathbb{Z}_2\) parity as \[\Psi^f_{\chi^f}(x,-z) = \eta^f \mathcal{S}\Psi^f_{\chi^f}(x,z), \label{2-23-3}\tag{34}\] where \(\mathcal{S}=\mathrm{diag}(I_4,-I_4)\).

Since \(\psi^f_{T^2/\mathbb{Z}_2,\pm, n} (z)_{\eta^f}\) are mode functions on \(T^2\) as well as those on the \(T^2/\mathbb{Z}_2\), they follow boundary conditions (15 ) and (16 ). From these conditions, the SS phase \((\alpha^f_1,\alpha^f_2)\) has to be quantized as \[(\alpha^f_1,\alpha^f_2) = (0,0), \, (1/2,0), \, (0,1/2), \, (1/2, 1/2). \label{2-23}\tag{35}\]

The winding numbers at the fixed points give the generation number of fermions. It is given by Ref.[10] \[n^f = \frac{|M^f|}{2} - \frac{V^f}{2}+1, \label{2-27}\tag{36}\] where \(V^f\) is sum of \(\mathbb{Z}_2\) winding numbers at the four fixed points.

The winding numbers at the fixed points \(\rho^f_{I} \, (I=1,2,3,4)\) are defined by \[\lim_{z\to0} \psi^f_{T^2/\mathbb{Z}_2,\pm, n} (z^{\text{fp}}_I - z)_{\eta^f} = (-1)^{\rho^f_{I}}\lim_{z\to0} \psi^f_{T^2/\mathbb{Z}_2,\pm, n} (z^{\text{fp}}_I + z)_{\eta^f}. \label{2-25}\tag{37}\] Since the definition (37 ) has mod 2 ambiguities of \(\rho^f_{I}\), we consider \(\rho^f_{I}\) as either 0 or \(1\) when we apply to Eq.(36 ).

As in the case of \(T^2\), \(n^f\) is the number of zero modes, which is the degree of degeneracy of the solutions of Eq.(23 ) or Eq.(24 ) under the conditions (15 ), (16 ) and (32 ), (33 ). Eq.(36 ) can be understood from the viewpoint of the index theorem on \(T^2/\mathbb{Z}_2\) orbifold[12]. The index theorem is given by \[\mathrm{Ind}(i\cancel{D}) = \frac{M^f}{2} + \frac{-V^f_+ + V^f_-}{4}, \label{2-24}\tag{38}\] where \(V_\pm^f\) are sums of the winding numbers at the fixed points with 2d chirality \(\pm\). Due to \(V_+^f + V_-^f=4\)[11], [12], Eq.(38 ) can be also transformed as \[\mathrm{Ind}(i\cancel{D}) =\frac{M^f}{2} - \frac{V^f_+}{2}+1 =\frac{M^f}{2} + \frac{V^f_-}{2}-1, \label{2-26}\tag{39}\] which is consistent with Eq.(36 ). Since \(n^f_+(n^f_-)\) vanishes for \(M^f>0(M^f<0)\), we see that the former(latter) equality in Eq.(39 ) is reduced to Eq.(36 ), respectively. We can see it from the first equal sign if \(M^f>0\) then \(n_-^f\) is zero, and from the second equal sign if \(M^f<0\) then \(n_+^f\) is zero.

Eq.(36 ) can be also applied to the counting of the zero modes for scalar fields although it is not supported by index theorem. In this paper, we simply assume that Eq.(36 ) to be correct for the SM Higgs field5.

There are \(2^4=16\) patterns of models with a magnetized \(T^2/\mathbb{Z}_2\) from possible combinations of the winding numbers \((\rho_1^f,\rho_2^f,\rho_3^f,\rho_4^f)\). In Ref.[8], the patterns are completely classified by the flux quanta \(|M^f|\), the SS phase \((\alpha^f_1,\alpha^f_2)\) and the \(\mathbb{Z}_2\) eigenvalue \(\eta^f =\pm1\). This classification is equivalent to that of winding numbers as shown in TABLE V of Ref.[10]. We rewrite it in Table 1 to make it clear to understand the classification by winding numbers. We notice that generation number \(n^f\) is determined by the sum of the winding numbers \(V^f=0,1,2,3,4\). We also illustrate possible patterns of winding numbers schematically in Fig.3.

Table 1: Classification of patterns in a magnetized \(T^2/\mathbb{Z}_2\) model. \(n_f\) is determined by \(V^f\).
\(V^f\) \(\rho_1^f\) \(\rho_2^f\) \(\rho_3^f\) \(\rho_4^f\) \(n^f\) \(|M^f|\) \((\alpha_1^f,\alpha_2^f)\) \(\eta^f\)
0 0 0 0 \(\displaystyle\frac{|M^f|}{2} +1\) even \((0,0)\) \(+1\)
0 0 0 1 \(\displaystyle\frac{|M^f|+1}{2}\) odd \((0,0)\) \(+1\)
0 0 1 0 \(\left(0,\frac{1}{2}\right)\) \(+1\)
0 1 0 0 \(\left(\frac{1}{2},0\right)\) \(+1\)
1 0 0 0 \(\left(\frac{1}{2},\frac{1}{2}\right)\) \(-1\)
2 0 0 1 1 \(\displaystyle\frac{|M^f|}{2}\) even \(\left(0,\frac{1}{2}\right)\) \(+1\)
0 1 0 1 \(\left(\frac{1}{2},0\right)\) \(+1\)
0 1 1 0 \(\left(\frac{1}{2},\frac{1}{2}\right)\) \(+1\)
1 0 0 1 \(\left(\frac{1}{2},\frac{1}{2}\right)\) \(-1\)
1 0 1 0 \(\left(\frac{1}{2},0\right)\) \(-1\)
1 1 0 0 \(\left(0,\frac{1}{2}\right)\) \(-1\)
3 0 1 1 1 \(\displaystyle\frac{|M^f|-1}{2}\) odd \(\left(\frac{1}{2},\frac{1}{2}\right)\) \(+1\)
1 0 1 1 \(\left(\frac{1}{2},0\right)\) \(-1\)
1 1 0 1 \(\left(0,\frac{1}{2}\right)\) \(-1\)
1 1 1 0 \((0,0)\) \(-1\)
1 1 1 1 \(\displaystyle\frac{|M^f|}{2} -1\) even \((0,0)\) \(-1\)

Figure 3: Classification of patterns in a magnetized \(T^2/\mathbb{Z}_2\) model are shown schematically. The red lines are the windings of the field around the fixed points. Each picture corresponds to the configuration specified by \((\rho_1^f,\rho_2^f,\rho_3^f,\rho_4^f)\).

3 Toward realistic models↩︎

In this section, we give some requirements to realize generation numbers and fermion masses, and see what kind of configurations satisfy these requirements. The geometrical meaning of the realistic configurations is clarified.

3.1 Realistic conditions↩︎

In this subsection, we impose the following three conditions in our analysis.

  • The generation numbers of the left- and right-handed fermions are equal.

  • At least one SM Higgs boson exists.

  • Yukawa coupling should be allowed.

These requirements are necessary for realistic model building.

The condition (i) and (ii) claim the existence of generation numbers. The former means that the generation number does not depend on chirality although the left- and right-handed fermions are independent in the SM. The latter means that the “generation” number of Higgs is more than one, which is clear from the experimental fact.

The condition (iii) is required to give masses to quarks/leptons. In this paper, we consider Yukawa coupling in the 6d bulk6: \[\mathcal{L}_{\text{Yukawa}} = \bar\Psi^{\text{L}}_{\chi^{\text{L}}} H \Psi^{\text{R}}_{\chi^{\text{R}}} + \text{h.c.}, \label{Yukawa}\tag{40}\] where \(\Psi^{\text{L}}_{\chi^{\text{L}}}\) and \(\Psi^{\text{R}}_{\chi^{\text{R}}}\) are 6d Weyl fermions generating the left- and right-handed 4d fermions in the SM, respectively. \(H\) is a 6d scalar7 field including the SM Higgs boson as the zero mode.

Note that specific values of the generation numbers and Yukawa coupling constants are not assumed in our analysis, which is applicable to the cases where the fourth generation of quarks/leptons or multi-Higgs doublets are present.

3.2 Formulations of the conditions↩︎

In this subsection, the above three conditions are discussed in more detail.

To express the conditions (i) and (ii), we use the generation formula Eq.(36 ). Denoting the number of the left-(right-)handed massless fermion as \(n^{\text{L}}\)(\(n^{\text{R}}\)), the condition (i) means \(n^{\text{L}}=n^{\text{R}} \eqqcolon g\), which can be expressed by using Eq.(36 ), \[\frac{|M^{\text{L}}|}{2}-\frac{V^{\text{L}}}{2} +1 = \frac{|M^{\text{R}}|}{2}-\frac{V^{\text{R}}}{2} +1=g \label{constraint-0}\tag{41}\] and is simplified as \[|M^{\text{L}}|-V^{\text{L}} = |M^{\text{R}}| - V^{\text{R}}=2g-2. \label{constraint-1}\tag{42}\] The condition (ii), which realizes at least one “generation” number of Higgs, is \[n^{\text{H}}= \frac{|M^{\text{H}}|}{2}-\frac{V^{\text{H}}}{2} +1\geq 1, \label{3-8}\tag{43}\] which is reduced to \[|M^{\text{H}}|\geq V^{\text{H}}. \label{3-9}\tag{44}\] Note that we do not need specific values of \(g\) and \(n^{\text{H}}\) in our analysis.
To express the condition (iii), we have to mention boudary conditions. For the Yukawa coupling (40 ) to be consistent with the boundary conditions from magnetized \(T^2/\mathbb{Z}_2\), it must be invariant under the torus lattice shifts (15 ), (16 ) and \(\mathbb{Z}_2\) parity transformation (32 ), (33 ).

Let us first consider the transformation under the torus lattice shifts. Since the phases appearing in the Yukawa coupling must be vanished, \[\begin{align} &-M^{\text{L}} + M^{\text{H}} +M^{\text{R}} =0, \tag{45}\\ &-\alpha^{\text{L}}_1 + \alpha^{\text{H}}_1 + \alpha^{\text{R}}_1 = 0, \tag{46} \\ &-\alpha^{\text{L}}_2 + \alpha^{\text{H}}_2 + \alpha^{\text{R}}_2 = 0. \tag{47} \end{align}\] are required[16]. We consider that the field \(H\) feels the magnetic field whose flux quanta8 is \(M^{\text{H}}\) and satisfied twisted boudary conditions with the SS phase \((\alpha_1^{\text{H}},\alpha_2^{\text{H}})\). These Higgs parameters are completely determined by the left- and right-handed fermion parameters from Eqs.(45 )-(47 ).

Next we consider the transformation under \(\mathbb{Z}_2\) parity. Eq.(34 ) tells us that the first term of Eq.(40 ) transforms as \[\overline{\left(\eta^{\text{L}}\mathcal{S}\Psi^{\text{L}}_{\chi^{\text{L}}}\right)}\eta^{\text{H}}H\left(\eta^{\text{R}}\mathcal{S}\Psi^{\text{R}}_{\chi^{\text{R}}}\right) = \bar \eta^{\text{L}} \eta^{\text{H}}\eta^{\text{R}} \bar\Psi^{\text{L}}_{\chi^{\text{L}}} \Gamma^0\mathcal{S}\Gamma^0 H \mathcal{S}\Psi^{\text{R}}_{\chi^{\text{R}}}, \label{con-1}\tag{48}\] where we used \(\left(\Gamma^0\right)^2=I_8\) and \(\mathcal{S}^\dagger =\mathcal{S}\). If \(H\) is an extra component of higher dimensional field, it is written as linear combination of \(\Gamma^5\) and \(\Gamma^6\). In this case, since we find \(\left[\mathcal{S},\Gamma^0\right]=0\) and \(\left\{\mathcal{S},\Gamma^5\right\}=\left\{\mathcal{S},\Gamma^6\right\}=0\), \[\bar \eta^{\text{L}} \eta^{\text{H}}\eta^{\text{R}}=-1 \label{con-2}\tag{49}\] is required for the Yukawa coupling to be allowed. On the other hand, if \(H\) is just a scalar, \[\bar \eta^{\text{L}} \eta^{\text{H}}\eta^{\text{R}}=1 \label{con-3}\tag{50}\] is required. Due to Lorentz symmetry in 6d theory, \(\chi^{\text{L}}=\chi^{\text{R}}\) is required in the former case and \(\chi^{\text{L}}=-\chi^{\text{R}}\) is required in the latter case. After all, \[-\chi^{\text{L}}\chi^{\text{R}} \bar\eta^{\text{L}} \eta^{\text{H}}\eta^{\text{R}} = 1. \label{constraint-2-4}\tag{51}\] is required for the Yukawa coupling to be allowed.

These conditions (45 )-(47 ) and (51 ) are rewritten by the winding numbers as \[\frac{\chi^{\text{L}}+\chi^{\text{R}}}{2} - \rho^{\text{L}}_I +\rho^{\text{H}}_I +\rho^{\text{R}}_I = 0 \mod 2 \qquad \text{for } \forall I\in\{1,2,3,4\}. \label{constraint-2}\tag{52}\] The detail check of Eq.(52 ) is given in Appendix 5.

3.3 Analysis toward realistic models↩︎

In this subsection, we perform analysis by depending on two ways of chirality assignments. As a result, we obtain a geometrical property to constrain the configurations in one case.

Case I : \(\chi^{\text{\rm{L}}}=\chi^{\text{\rm{R}}}\)↩︎

In this case, 4d left- and right-handed fermions come from the 6d Weyl fermion with same chirality9, \(\chi^{\text{L}}=\chi^{\text{R}}=+1\) or \(-1\). Eq.(52 ) is written as \[\forall I \in \{1,2,3,4\}, \qquad 1-\rho^{\text{L}}_I + \rho^{\text{R}}_I + \rho^{\text{H}}_I =0 \mod 2. \label{3-10-0}\tag{53}\] To eliminate mod 2 ambiguity, we take \(\rho^{\text{L,R,H}}\) to be 0 or 1. Then, \[\forall I \in \{1,2,3,4\}, \qquad \rho_I^{\text{H}} = 1 - |-\rho_I^{\text{L}} + \rho_I^{\text{R}}|. \label{3-10}\tag{54}\] Since the left- and the right-handed quarks/leptons have the same 6d chirality, their 2d chiralities are opposite each other. This means that the magnetic flux \(M^{\text{L}}\) and \(M^{\text{R}}\) have opposite signs. For instance, in the case of \(\chi^{\text{L}}=\chi^{\text{R}}=+1\), which is the same set up in Ref.[19], \(M^{\text{L}}<0\) and \(M^{\text{R}}>0\) are required. The relation between flux quanta (45 ) tells us \[M^{\text{H}} = M^{\text{L}} - M^{\text{R}} = \begin{cases} -|M^{\text{L}}| -|M^{\text{R}}|&\text{for }\chi^{\text{L}}=\chi^{\text{R}}=1, \\ |M^{\text{L}}|+|M^{\text{R}}|&\text{for }\chi^{\text{L}}=\chi^{\text{R}}=-1, \end{cases} \label{3-11}\tag{55}\] therefore we see \(|M^{\text{H}}|=|M^{\text{L}}|+|M^{\text{R}}|\) in either case. The number of Higgs fields is given by \[\begin{align} n^{\text{H}} &= \frac{|M^{\text{H}}|}{2} -\frac{V^{\text{H}}}{2} +1 \nonumber \\ &= \frac{|M^{\text{L}}|+|M^{\text{R}}|}{2} -\frac{1}{2}\sum_{I=1}^4 \left(1- |-\rho_I^{\text{L}} + \rho_I^{\text{R}}| \right)+1 \nonumber \\ &=\frac{|M^{\text{L}}|+|M^{\text{R}}|}{2}+\frac{1}{2} \sum_{I=1}^4 |-\rho_I^{\text{L}} + \rho_I^{\text{R}}| -1, \label{3-12} \end{align}\tag{56}\] where we use Eq.(54 ) in the second equality. Since we find \(|M^{\text{L}}|=V^{\text{L}}+2g-2\) and \(|M^{\text{R}}|=V^{\text{R}}+2g-2\) from Eq.(42 ), the number of Higgs fields can be expressed in term of the generation number \(g\) as \[\begin{align} n^{\text{H}} &= 2g+ \frac{V^{\text{L}}+V^{\text{R}}}{2}+\frac{1}{2} \sum_{I=1}^4 |-\rho_I^{\text{L}} + \rho_I^{\text{R}}| -3 \nonumber \\ &=2g-3 +\frac{1}{2}\sum_{I=1}^4(\rho_I^{\text{L}} + \rho_I^{\text{R}}+|-\rho_I^{\text{L}} + \rho_I^{\text{R}}| ). \label{3-14-1} \end{align}\tag{57}\] Since \(\rho_I^{\text{L/R}}\) are 0 or 1, \(\rho_I^{\text{L}} + \rho_I^{\text{R}}+|-\rho_I^{\text{L}} + \rho_I^{\text{R}}| =0,2\) for all \(I \in \left\{1,2,3,4\right\}\). Therefore the last term of Eq.(57 ) takes an integer in the range \([0,4]\), and we obtain \[2g-3 \leq n^{\text{H}} \leq 2g+1 \label{3-14}\tag{58}\] In three generation case \(g=3\), the number of Higgs fields is more than 3 and less than 7. In this case, we cannot constrain configurations of models10.

Case II : \(\chi^{\text{\rm{L}}}=-\chi^{\text{\rm{R}}}\)↩︎

In this case, 4d left- and right-handed fermions come from the 6d Weyl fermion with different chirality. Eq.(52 ) is written as \[\forall I \in \{1,2,3,4\}, \qquad -\rho^{\text{L}}_I + \rho^{\text{R}}_I+\rho^{\text{H}}_I=0 \mod 2. \label{3-15-0}\tag{59}\] Taking \(\rho^{\text{L,R,H}}_I\) to be 0 or 1, we have \[|-\rho_I^{\text{L}} +\rho_I^{\text{R}}| = \rho_I^{\text{H}}, \label{3-15}\tag{60}\] therefore, \[V^{\text{H}}= \sum_{I=1}^4|-\rho_I^{\text{L}} +\rho_I^{\text{R}}| . \label{3-16}\tag{61}\] Since the left- and the right-handed quarks/leptons have opposite 6d chiralities each other, their 2d chiralities of zero modes are same. This means that \(M^{\text{L}}\) and \(M^{\text{R}}\) have same signs. For instance, if \(\chi^{\text{L}}=-1\) and \(\chi^{\text{R}}=+1\), \(M^{\text{L}}\) and \(M^{\text{R}}\) are positive definite because both zero modes come from 2d chirality \(+1\). From the relation (45 ), \[M^{\text{H}} = M^{\text{L}} - M^{\text{R}} = \begin{cases} |M^{\text{L}}| -|M^{\text{R}}|&\text{for }\chi^{\text{L}}=-1\text{ and }\chi^{\text{R}}=+1, \\ -|M^{\text{L}}|+|M^{\text{R}}|&\text{for }\chi^{\text{L}}=+1\text{ and }\chi^{\text{R}}=-1, \end{cases} \label{3-16-0}\tag{62}\] hence we see \(|M^{\text{H}}|=\Bigl||M^{\text{L}}|-|M^{\text{R}}|\Bigr|\) in either case. Now we would like to count the number of Higgs fields similar to Eq.(56 ). We note that flux quanta of Higgs field is \[\begin{align} |M^{\text{H}}|&=\Bigl||M^{\text{L}}|-|M^{\text{R}}|\Bigr| \nonumber \\ &=|V^{\text{L}}-V^{\text{R}}| \nonumber \\ &=\left|\sum_{I=1}^4 ( -\rho^{\text{L}}_I + \rho^{\text{R}}_I)\right|, \label{3-16-1} \end{align}\tag{63}\] where we use Eq.(42 ) in the second equality. Substituting Eqs.(61 ) and (63 ) into the condition (44 ), we obtain \[\left|\sum_{I=1}^4 ( -\rho^{\text{L}}_I + \rho^{\text{R}}_I)\right| \geq \sum_{I=1}^4|-\rho_I^{\text{L}} +\rho_I^{\text{R}}|. \label{3-17}\tag{64}\] On the other hand, we know \[\left|\sum_{I=1}^4 ( -\rho^{\text{L}}_I + \rho^{\text{R}}_I)\right| \leq \sum_{I=1}^4|-\rho_I^{\text{L}} +\rho_I^{\text{R}}| \label{3-18}\tag{65}\] from the triangle inequality. In order to hold both inequalities, we conclude \[\left|\sum_{I=1}^4 ( -\rho^{\text{L}}_I + \rho^{\text{R}}_I)\right| = \sum_{I=1}^4|-\rho_I^{\text{L}} +\rho_I^{\text{R}}|. \label{3-19}\tag{66}\] Eq.(66 ) is satisfied if and only if \(\Delta \rho_I \mathrel{\vcenter{:}}= -\rho_I^{\text{L}}+\rho_I^{\text{R}} \, (I=1,2,3,4)\) do not have different signs.

It is clear from a geometrical viewpoint what kind of configurations satisfy Eq.(66 ). The configurations are forbidden if there coexist a fixed point where only the left-handed fermion is winding and it where only the right-handed fermion is winding (See Fig.4). The others are allowed (See Fig.5 - 8).

Figure 4: Examples of the forbidden configurations. The red(blue) lines show the windings of left-(right-) handed fermions. It is forbidden if there coexist fixed points with only the left-handed winding and those with only the right-handed winding.

Let us see why the configurations in Fig.4 are forbidden. If only the left-handed fermion is winding at a fixed point \(z^{\text{fp}}_I\), \(\Delta\rho_I =-1\). On the other hand, if only the right-handed fermion is winding at a fixed point \(z^{\text{fp}}_J\), \(\Delta\rho_J=+1\). In the case of \(I\neq J\), the left-hand side of Eq.(66 ) becomes smaller since cancellation between \(\Delta\rho_I\) and \(\Delta\rho_J\) occurs. Let us explain with an example of the upper leftmost picture of Fig.4, which is \(\Delta\rho_1=\Delta\rho_2=0\), \(\Delta \rho_3=-1\), \(\Delta \rho_4=+1\). The left-hand side of (66 ) is zero since \(\Delta \rho_3\) and \(\Delta \rho_4\) are cancelled each other, while the right-hand side of (66 ) is two.

Figure 5: An example of the allowed configurations, where there is no winding at any fixed point.

Figure 6: Examples of the allowed configurations, where there are only windings of left-handed fermion (upper) or right-handed fermion (lower).

Figure 7: Examples of the allowed configurations, where both left- and right-handed fermions are winding at the same fixed points.

Figure 8: Examples of the allowed configurations. These are combinations of Fig.6 and Fig.7.

The other configurations in Fig.5 - 8 are consistent with Eq.(66 ). The configuration with no any winding, which is illustrated in Fig.5, makes both sides zero. Configurations with windings of only left-(right-)handed fermion, which is illustrated in Fig.6, make Eq.(66 ) hold due to \(\rho_I^{\text{L}}=0(\rho_I^{\text{R}}=0)\) for any \(I=1,2,3,4\). Fig.7 shows that configuration whose fixed points are \(\Delta\rho_I=0\), therefore both sides of Eq.(66 ) are zero. Configurations in Fig.8 have both the properties of Fig.6 and Fig.7, whose fixed points are \(\Delta\rho_I=0\) otherwise \(\rho_I^{\text{L}}=0\) or \(\rho_I^{\text{R}}=0\).

Through the above analysis, we see that allowed and forbidden configurations are classified geometrically from pictures. Then we can predict Higgs numbers. Applying Eq.(66 ) to Eq.(43 ), we find \(n^{\text{H}} =1\) independent of the generation number \(g\). Thus, the realistic models in this case have only one Higgs fileds. We also count allowed configurations in Appendix 6 and the result is consistent with Table 16 in Ref.[16]. We emphasize that the constraint on the models is given by winding numbers, which are geometrically clear from figures.

4 Conclusion and discussion↩︎

In this paper, we have investigated how the conditions on generation numbers and Yukawa coupling can constrain models with \(T^2/\mathbb{Z}_2\) flux compactification. As a result, we found that there is a geometry behind realistic models in a 6d chirality assignment. The geometry which governs phenomenology is given by winding numbers at the orbifold fixed points.

In the case that the 4d left- and right-handed fermions are originated from the same 6d Weyl fermion, we could not exclude any configurations by use of winding numbers. On the other hand, in the case that the 4d left- and right-handed fermions are originated from the 6d Weyl fermion with different chirality, the configurations are forbidden, where there is a fixed point with only the left-handed fermion’s winding and another fixed point with only the right-handed fermion’s winding (See Fig.4).

There are three remarkable points in this study by use of winding numbers at the fixed points. The first one is that we succeeded in illustrating realistic and unrealistic configurations of models. We summarize the forbidden configurations in Table 2 - 4 in Appendix 6, but it seems hard to see the property of models intuitively. It is clear only if we illustrate as shown in Fig.4. Although we show allowed configurations in Fig.5 - 8, not all of these are allowed. More phenomenological constraints such as realization of mass hierarchies are desired to be studied.

The second one is that we do not need complicated calculations in our analysis. Thanks to winding numbers, we only need the triangle inequality (65 ) to constrain the models in Case II of Subsection 3.3. The calculation in this paper is more straightforward and clearly than previous works such as Ref.[16].

The last one is that we do not have to assume three-generation of fermions. Therefore, our analysis is applicable if the fourth generation of quark/lepton are discovered in future experiments. The results were made possible thanks to winding numbers and generation number counting fourmula (36 ). Without these, we had to specify generation number of fermions because of technical reasons in earlier works such as Refs.[16], [17]. We expect an extension to more general cases of these work by use of winding numbers.

Finally, we comment on future works. It would be interesting to apply our analysis to models in other orbifold compactifications \(T^2/\mathbb{Z}_N\, (N=3,4,6)\), where winding numbers have been studied in Refs.[10][12]. We hope that our analysis would be further powerful to find realistic models in such cases.

5 Check of constraints (52 )↩︎

In this Appendix, we show that the four conditions (45 )-(47 ) and (51 ) are rewritten as Eq.(52 ). At first, let us check \[-\chi^{\text{L}}\chi^{\text{R}} = (-1)^{(\chi^{\text{L}}+\chi^{\text{R}} )/2}. \label{proof-0}\tag{67}\] If \(\chi^{\text{L}}=\chi^{\text{R}}\), \(\chi^{\text{L}}\chi^{\text{R}} =1\) and \((\chi^{\text{L}}+\chi^{\text{R}} )/2=\pm1\) holds, therefore both sides of Eq.(67 ) are \(-1\). On the other hand if \(\chi^{\text{L}}=-\chi^{\text{R}}\), \(\chi^{\text{L}}\chi^{\text{R}} =-1\) and \((\chi^{\text{L}}+\chi^{\text{R}} )/2=0\) holds, therefore both sides of Eq.(67 ) are \(1\). In either case, we Eq.(67 ) holds.

  • At \(z_1^{\text{fp}}=0\), the winding number \(\rho_1^f\) is defined from Eq.(37 ) as \[\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}(-z)_{\eta^f} = (-1)^{\rho_1^f}\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}(z)_{\eta^f}. \label{proof-1}\tag{68}\] Eq.(68 ) is nothing but the definition of the \(\mathbb{Z}_2\) eigenvalue \(\eta^f\). From Eqs.(51 ) with (67 ), we obtain \[(-1)^{(\chi^{\text{L}} + \chi^{\text{R}})/2} \, (-1)^{-\rho_1^{\text{L}}} (-1)^{\rho_1^{\text{H}}}(-1)^{\rho_1^\text{H}} = 1, \label{proof-2}\tag{69}\] therefore Eq.(52 ) is verified in \(I=1\).

  • At \(z_2^{\text{fp}}=1/2\), it is a bit nontrivial. The definition of \(\rho_2^f\) is given by \[\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1}{2}-z\right)_{\! \! \eta^f} \!\!\! = (-1)^{\rho_2^f}\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1}{2}+z\right)_{\! \! \eta^f}. \label{proof-3}\tag{70}\] The left-hand side of Eq.(70 ) is deformed as \[\begin{align} \lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1}{2}-z\right)_{\! \! \eta^f} \!\!\! &=\lim_{z\to 0} e^{iq_f \Lambda_1\left(-\frac{1}{2} -z\right) +2i\pi \alpha_1^f}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(-\frac{1}{2}-z\right)_{\! \! \eta^f} \nonumber \\ &=\lim_{z\to 0} e^{iq_f \Lambda_1\left(-\frac{1}{2} -z\right) +2i\pi \alpha_1^f}\eta^f \psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1}{2}+z\right)_{\! \! \eta^f} \nonumber \\ &=\eta^f e^{2i\pi \alpha_1^f}\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1}{2}+z\right)_{\! \! \eta^f}, \label{proof-4} \end{align}\tag{71}\] where we use the torus conditon (15 ) in the first equality, and \(\Lambda_1(-1/2)=0\) from (6 ) in the last equality. Now, we find \[(-1)^{\rho_2^f}=\eta^f e^{2i\pi\alpha_1^f} \label{proof-5}\tag{72}\] by comparing Eq.(70 ) with Eq.(71 ). From Eq.(46 ) and Eq.(51 ) with (67 ), we obtain \[(-1)^{(\chi^{\text{L}} + \chi^{\text{R}})/2} \, (-1)^{-\rho_2^{\text{L}}} (-1)^{\rho_2^{\text{H}}}(-1)^{\rho_2^\text{H}} =(-1)^{(\chi^{\text{L}} + \chi^{\text{R}})/2} \, \bar\eta^{\text{L}} \eta^{\text{H}}\eta^{\text{R}} e^{2i\pi(-\alpha_1^{\text{L}}+\alpha_1^{\text{H}}+\alpha_1^{\text{R}})}=1. \label{proof-6}\tag{73}\]

  • At \(z_3^{\text{fp}}=i/2\), we can verify as same as \(I=2\). The definition of \(\rho^f_3\) is given by \[\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{i}{2}-z\right)_{\! \! \eta^f} \!\!\! = (-1)^{\rho_3^f}\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{i}{2}+z\right)_{\! \! \eta^f}. \label{proof-7}\tag{74}\] The left-hand side of Eq.(74 ) is deformed as \[\begin{align} \lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{i}{2}-z\right)_{\! \! \eta^f} \!\!\! &=\lim_{z\to 0} e^{iq_f \Lambda_2\left(-\frac{i}{2} -z\right) +2i\pi \alpha_2^f}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(-\frac{i}{2}-z\right)_{\! \! \eta^f} \nonumber \\ &=\lim_{z\to 0} e^{iq_f \Lambda_2\left(-\frac{i}{2} -z\right) +2i\pi \alpha_2^f}\eta^f \psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{i}{2}+z\right)_{\! \! \eta^f} \nonumber \\ &=\eta^f e^{2i\pi \alpha_2^f}\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{i}{2}+z\right)_{\! \! \eta^f}, \label{proof-8} \end{align}\tag{75}\] where we use the torus conditon (16 ) in the first equality, and \(\Lambda_2(-i/2)=0\) from Eq.(6 ) in the last equality. We find \[(-1)^{\rho_3^f}=\eta^f e^{2i\pi\alpha_2^f} \label{proof-9}\tag{76}\] by comparing Eq.(74 ) with Eq.(75 ). From Eq.(47 ) and Eq.(51 ), we obtain \[(-1)^{(\chi^{\text{L}} + \chi^{\text{R}})/2} \, (-1)^{-\rho_3^{\text{L}}} (-1)^{\rho_3^{\text{H}}}(-1)^{\rho_3^\text{H}} =(-1)^{(\chi^{\text{L}} + \chi^{\text{R}})/2} \, \bar\eta^{\text{L}} \eta^{\text{H}}\eta^{\text{R}} e^{2i\pi(-\alpha_2^{\text{L}}+\alpha_2^{\text{H}}+\alpha_2^{\text{R}})}=1. \label{proof-10}\tag{77}\]

  • Finally, we show at \(z_4^{\text{fp}}=(1+i)/2\). The definition of \(\rho^f_4\) is given by \[\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1+i}{2}-z\right)_{\! \! \eta^f} \!\!\!= (-1)^{\rho_4^f}\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1+i}{2}+z\right)_{\! \! \eta^f} . \label{proof-11}\tag{78}\] The left-hand side of Eq.(78 ) is deformed as \[\begin{align} &\lim_{z\to 0}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1+i}{2}-z\right)_{\! \! \eta^f} \!\!\! \nonumber \\ &=\lim_{z\to 0} e^{iq_f \Lambda_2\left(\frac{1-i}{2} -z\right) +2i\pi \alpha_2^f}\psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1-i}{2}-z\right)_{\! \! \eta^f}\nonumber \\ &=\lim_{z\to 0} e^{iq_f \Lambda_2\left(\frac{1-i}{2} -z\right) +2i\pi \alpha_2^f}e^{iq_f \Lambda_1\left(-\frac{1+i}{2} -z\right) +2i\pi \alpha_1^f} \psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(-\frac{1+i}{2}-z\right)_{\! \! \eta^f} \nonumber \\ &=\lim_{z\to 0} e^{iq_f \Lambda_2\left(\frac{1-i}{2} -z\right) +2i\pi \alpha_2^f}e^{iq_f \Lambda_1\left(-\frac{1+i}{2} -z\right) +2i\pi \alpha_1^f}\eta^f \psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1+i}{2}+z\right)_{\! \! \eta^f} \nonumber \\ &= e^{-i\pi M^f+2i\pi \alpha_1^f+2i\pi \alpha_2^f}\eta^f \lim_{z\to 0} \psi^f_{T^2/\mathbb{Z}_2,\pm, n}\!\left(\frac{1+i}{2}+z\right)_{\! \! \eta^f}, \label{proof-12} \end{align}\tag{79}\] where we use the torus conditon (16 ) and (15 ) in the first and second equality, respectively. In the last equality, we use Eq.(6 ) and flux quantized condition (18 ). We find \[(-1)^{\rho_4^f}=\eta^fe^{-i\pi M^f+2i\pi \alpha_1^f+2i\pi \alpha_2^f} \label{proof-13}\tag{80}\] by comparing Eq.(78 ) with Eq.(79 ). From Eq.(45 )-(47 ) and Eq.(51 ), we obtain \[\begin{align} &(-1)^{(\chi^{\text{L}} + \chi^{\text{R}})/2} \, (-1)^{-\rho_4^{\text{L}}} (-1)^{\rho_4^{\text{H}}}(-1)^{\rho_4^\text{H}} \nonumber \\ &=(-1)^{(\chi^{\text{L}} + \chi^{\text{R}})/2} \, \bar\eta^{\text{L}} \eta^{\text{H}}\eta^{\text{R}} e^{-i\pi(-M^{\text{L}}+M^{\text{H}}+M^{\text{R}})}e^{2i\pi(-\alpha_1^{\text{L}}+\alpha_1^{\text{H}}+\alpha_1^{\text{R}})}e^{2i\pi(-\alpha_2^{\text{L}}+\alpha_2^{\text{H}}+\alpha_2^{\text{R}})}=1. \label{proof-14} \end{align}\tag{81}\]

6 Allowed and forbidden configurations in Case II↩︎

We show all configurations of Case II in 3.3 and analyze whether each configuration is allowed or not.

At first, we show that all cases with the classes \(V^{\text{L}}=0\) and \(V^{\text{L}}=4\) are allowed. The important feature in both classes is that all winding numbers \(\rho_{I}^{\text{L}} \, (I=1,2,3,4)\) are same value. In the class \(V^{\text{L}}=0\), the only pattern \((\rho^{\text{L}}_1,\rho^{\text{L}}_2,\rho^{\text{L}}_3,\rho^{\text{L}}_4)=(0,0,0,0)\) is allowed, thus this means \(\Delta\rho_I = \rho^{\text{R}}_I\) for all \(I\in\{1,2,3,4\}\), which takes \(0\) or \(+1\). On the other hand, in the class \(V^{\text{L}}=4\), the only pattern \((\rho^{\text{L}}_1,\rho^{\text{L}}_2,\rho^{\text{L}}_3,\rho^{\text{L}}_4)=(1,1,1,1)\) is allowed, thus this implies \(\Delta \rho_I = -1+\rho^{\text{R}}_I\) for all \(I\in\{1,2,3,4\}\), which takes \(0\) or \(-1\). In either case, since all of \(\Delta\rho_I \, (I=1,2,3,4)\) have same signs, the patterns in the left-handed classes \(V^{\text{L}}=0,4\) satisfy (66 ). Replacing \(V^{\text{L}}\) with \(V^{\text{R}}\), the similar argument holds for \(V^{\text{R}}\), i.e. any patterns with the right-handed classes \(V^{\text{R}}=0,4\) are allowed.

What we should discuss carefully are patterns of winding numbers in the cases of \(V^{\text{L}}=1,2,3\) and \(V^{\text{R}}=1,2,3\). We will find some forbidden patterns and analyze for each left-handed class.

\(V^{\rm{L}}=1\)↩︎

In this case, the allowed patterns are that one of the winding numbers \(\rho^{\text{L}}_I \, (I=1,2,3,4)\) is \(1\) and the others are \(0\). It is convenient to rewrite (66 ) as \[|-1+V^{\text{R}}| = |-1+\rho^{\text{R}}_I|+\sum_{J\neq I}|\rho_J^{\text{R}}|. \label{3-19-0}\tag{82}\] Eq.(82 ) holds if and only if \(\rho^{\text{R}}_I=1\). In order to understand this, let us study an example \((\rho_1^{\text{L}},\rho_2^{\text{L}},\rho_3^{\text{L}},\rho_4^{\text{L}})=(1,0,0,0)\) for each right-handed class \(V^{\text{R}}=1,2,3\). Eq.(82 ) is written as \[|-1+V^{\text{R}}| = |-1+\rho^{\text{R}}_1|+\sum_{J=2}^4|\rho_J^{\text{R}}|. \label{3-19-1}\tag{83}\]

  • For \(V^{\text{R}}=1\), the left-hand side of (83 ) is 0. \(V^{\text{R}}=1\) also means that one of \(\rho^{\text{R}}_I \, (I=1,2,3,4)\) are 1 and the others are 0. Therefore, \(\rho^{\text{R}}_1=1\) and \(\rho^{\text{R}}_J=0 \, (J=2,3,4)\) are required to satisfy (83 ). That is, only \((\rho_1^{\text{R}},\rho_2^{\text{R}},\rho_3^{\text{R}},\rho_4^{\text{R}})=(1,0,0,0)\) is allowed in the class \(V^{\text{L}}=1\).

  • For \(V^{\text{R}}=2\), the left-hand side of (83 ) is 1. \(V^{\text{R}}=2\) also means that two of \(\rho^{\text{R}}_I \, (I=1,2,3,4)\) are 1 and the other two are 0. If we take \(\rho^{\text{R}}_1=0\), the first term of (83 ) is \(1\), and the second term becomes 2, thus these patterns are forbidden. From this observation, the following three patterns are found to be allowed: \((\rho_1^{\text{R}},\rho_2^{\text{R}},\rho_3^{\text{R}},\rho_4^{\text{R}})=(1,0,0,1), (1,0,1,0),(1,1,0,0)\).

  • For \(V^{\text{R}}=3\), the left-hand side of (83 ) is 2. \(V^{\text{R}}=3\) also means that three of \(\rho^{\text{R}}_I \, (I=1,2,3,4)\) are 1 and the remaining one is 0. If we take \(\rho^{\text{R}}_1=0\), the first term of (83 ) is \(1\), and the second term becomes 3, thus these patterns are forbidden. The other three patterns are found to be allowed: \((\rho_1^{\text{R}},\rho_2^{\text{R}},\rho_3^{\text{R}},\rho_4^{\text{R}})=(1,0,1,1), (1,1,0,1),(1,1,1,0)\).

We summarize our results of allowed patterns of winding numbers in the case of \(V^{\text{L}}=1\). The patterns except for \(\times\) shown in Table 2 are allowed. There are nine allowed patterns for each left-handed pattern. In total, 36 configurations are allowed for the class \(V^{\text{L}}=1\).

Table 2: Forbidden patterns in the class of \(V^{\text{L}}=1\). The symbol \(\times\) represents that the pattern is forbidden. In the top right row, the possible combinations of \(V^{\text{L}}=1\) are listed.
\(V^{\text{R}}\) \((\rho_1^{\text{R}},\rho_2^{\text{R}},\rho_3^{\text{R}},\rho_4^{\text{R}})\) (1,0,0,0) (0,1,0,0) (0,0,1,0) (0,0,0,1)
0 (0,0,0,0)
1 (0,0,0,1) \(\times\) \(\times\) \(\times\)
(0,0,1,0) \(\times\) \(\times\) \(\times\)
(0,1,0,0) \(\times\) \(\times\) \(\times\)
(1,0,0,0) \(\times\) \(\times\) \(\times\)
2 (0,0,1,1) \(\times\) \(\times\)
(0,1,0,1) \(\times\) \(\times\)
(0,1,1,0) \(\times\) \(\times\)
(1,0,0,1) \(\times\) \(\times\)
(1,0,1,0) \(\times\) \(\times\)
(1,1,0,0) \(\times\) \(\times\)
3 (0,1,1,1) \(\times\)
(1,0,1,1) \(\times\)
(1,1,0,1) \(\times\)
(1,1,1,0) \(\times\)
4 (1,1,1,1)

\(V^{\rm{L}}=2\)↩︎

Two of four winding numbers for the left-handed fermions are 1 and the remaining two are 0. Setting \(\rho_{I_1}^{\text{L}}=\rho_{I_2}^{\text{L}}=1\) and \(\rho_{I_3}^{\text{L}}=\rho_{I_3}^{\text{L}}=0\), where \(I_1,I_2,I_3,I_4\in\{1,2,3,4\}\), we have \(\Delta\rho_{I_1}=-1+\rho^{\text{R}}_{I_1}\), \(\Delta\rho_{I_2}=-1+\rho^{\text{R}}_{I_2}\), \(\Delta\rho_{I_3}=\rho^{\text{R}}_{I_3}\), \(\Delta\rho_{I_4}=\rho^{\text{R}}_{I_4}\). In this case, (66 ) becomes as follows. \[\begin{align} \left|-2 + V^{\text{R}}_I \right| = |-1 +\rho_{I_1}^{\text{R}}| + |-1 +\rho_{I_2}^{\text{R}}| + |\rho_{I_3}^{\text{R}}| + |\rho_{I_4}^{\text{R}}|. \label{3-19-2} \end{align}\tag{84}\]

  • For \(V^{\text{R}}=1\) case, the solution of winding numbers to (84 ) are found as \((\rho_{I_1}^{\text{R}},\rho_{I_2}^{\text{R}},\rho_{I_3}^{\text{R}}, \rho_{I_4}^{\text{R}})=(1, 0, 0, 0), (0, 1, 0, 0)\).

  • For \(V^{\text{R}}=2\) case, the solution of winding numbers to (84 ) is found as \((\rho_{I_1}^{\text{R}},\rho_{I_2}^{\text{R}},\rho_{I_3}^{\text{R}}, \rho_{I_4}^{\text{R}})=(1, 1, 0, 0)\).

  • For \(V^{\text{R}}=3\) case, the solution of winding numbers to (84 ) are found as \((\rho_{I_1}^{\text{R}},\rho_{I_2}^{\text{R}},\rho_{I_3}^{\text{R}}, \rho_{I_4}^{\text{R}})=(1, 1, 1, 0), (1, 1, 0, 1)\).

As a result, the patterns of the winding numbers except for \(\times\) shown in Table 3 are allowed. There are seven allowed patterns for each left-handed pattern. In total, 42 patterns are allowed for the class \(V^{\text{L}}=2\).

Table 3: Forbidden patterns in the class of \(V^{\text{L}}=2\). The symbol \(\times\) represents that the pattern is forbidden. In the top right row, the possible combinations of \(V^{\text{L}}=2\) are listed.
\(V^{\text{R}}\) \((\rho_1^{\text{R}},\rho_2^{\text{R}},\rho_3^{\text{R}},\rho_4^{\text{R}})\) (0,0,1,1) (0,1,0,1) (1,0,0,1) (0,1,1,0) (1,0,1,0) (1,1,0,0)
0 (0,0,0,0)
1 (0,0,0,1) \(\times\) \(\times\) \(\times\)
(0,0,1,0) \(\times\) \(\times\) \(\times\)
(0,1,0,0) \(\times\) \(\times\) \(\times\)
(1,0,0,0) \(\times\) \(\times\) \(\times\)
2 (0,0,1,1) \(\times\) \(\times\) \(\times\) \(\times\) \(\times\)
(0,1,0,1) \(\times\) \(\times\) \(\times\) \(\times\) \(\times\)
(0,1,1,0) \(\times\) \(\times\) \(\times\) \(\times\) \(\times\)
(1,0,0,1) \(\times\) \(\times\) \(\times\) \(\times\) \(\times\)
(1,0,1,0) \(\times\) \(\times\) \(\times\) \(\times\) \(\times\)
(1,1,0,0) \(\times\) \(\times\) \(\times\) \(\times\) \(\times\)
3 (0,1,1,1) \(\times\) \(\times\) \(\times\)
(1,0,1,1) \(\times\) \(\times\) \(\times\)
(1,1,0,1) \(\times\) \(\times\) \(\times\)
(1,1,1,0) \(\times\) \(\times\) \(\times\)
4 (1,1,1,1)

\(V^{\rm{L}}=3\)↩︎

We can understand in the case of \(V^{\text{L}}=3\) as same as \(V^{\text{L}}=1\), because one of the winding numbers \(\rho^{\text{L}}_I \, (I=1,2,3,4)\) is 0 and others are 1. In this case, (66 ) becomes \[\begin{align} \left|-3 + V^{\text{R}}_I \right| = |\rho_{I}^{\text{R}}| + \sum_{J \ne I}^4|-1 + \rho_J^{\text{R}}| \label{3-19-3} \end{align}\tag{85}\] and \(\rho^{\text{R}}_I=0\) is required if \(V^{\text{R}}=1,2,3\). The patterns of the winding numbers except for \(\times\) shown in Table 4 are allowed. There are nine allowed patterns for each left-handed pattern. In total, 36 configurations are allowed for the class \(V^{\text{L}}=3\).

Table 4: Forbidden patterns in the class of \(V^{\text{L}}=3\). The symbol \(\times\) represents that the pattern is forbidden. In the top right row, the possible combinations of \(V^{\text{L}}=3\) are listed.
\(V^{\text{R}}\) \((\rho_1^{\text{R}},\rho_2^{\text{R}},\rho_3^{\text{R}},\rho_4^{\text{R}})\) (1,1,1,0) (1,1,0,1) (1,0,1,1) (0,1,1,1)
0 (0,0,0,0)
1 (0,0,0,1) \(\times\)
(0,0,1,0) \(\times\)
(0,1,0,0) \(\times\)
(1,0,0,0) \(\times\)
2 (0,0,1,1) \(\times\) \(\times\)
(0,1,0,1) \(\times\) \(\times\)
(0,1,1,0) \(\times\) \(\times\)
(1,0,0,1) \(\times\) \(\times\)
(1,0,1,0) \(\times\) \(\times\)
(1,1,0,0) \(\times\) \(\times\)
3 (0,1,1,1) \(\times\) \(\times\) \(\times\)
(1,0,1,1) \(\times\) \(\times\) \(\times\)
(1,1,0,1) \(\times\) \(\times\) \(\times\)
(1,1,1,0) \(\times\) \(\times\) \(\times\)
4 (1,1,1,1)

In summary, 146 patterns of the total number of possible patterns of winding numbers \(16\times16=256\) are allowed. They are classified 16 patterns with \(V^{\text{L}}=0\), \(4\times 9=36\) patterns with \(V^{\text{L}}=1\), \(6\times 7=42\) patterns with \(V^{\text{L}}=2\), \(4\times 9=36\) patterns with \(V^{\text{L}}=3\), 16 patterns with \(V^{\text{L}}=4\).

References↩︎

[1]
E. Witten, “Some properties of \(O(32)\) superstrings,” http://dx.doi.org/10.1016/0370-2693(84)90422-2.
[2]
M. B. Green, J. H. Shwarz, and E. Witten, SUPERSTRING THEORY. VOL. 2: LOOP AMPLITUDES, ANOMALIES AND PHENOMENOLOGY. , 7, 1988.
[3]
D. Cremades, A. Ibáñez, and F. Marchesano, “Computing yukawa couplings from magnetized extra dimensions,” http://dx.doi.org/10.1088/1126-6708/2004/05/079, http://arxiv.org/abs/hep-th/0404229.
[4]
M. F. Atitah and I. M. Singer, The Index of Elliptic Operators: I,” http://dx.doi.org/10.2307/1970715.
[5]
H. Abe, T. Kobayashi, and H. Ohki, “Magnetized orbifold models,” http://dx.doi.org/10.1088/1126-6708/2008/09/043, http://arxiv.org/abs/0806.4748.
[6]
H. Abe, K.-S. Choi, T. Kobayashi, and H. Ohki, “Three generation magnetized orbifold models,” http://dx.doi.org/10.1016/j.nuclphysb.2009.02.002, http://arxiv.org/abs/0812.3534.
[7]
Y. Fujimoto, T. Kobayashi, T. Miura, K. Nishiwaki, and M. Sakamoto, Shifted orbifold models with magnetic flux,” http://dx.doi.org/10.1103/PhysRevD.87.086001, http://arxiv.org/abs/1302.5768.
[8]
T.-h. Abe, Y. Fujimoto, T. Kobayashi, T. Miura, K. Nishiwaki, and M. Sakamoto, \(Z_N\) twisted orbifold models with magnetic flux,” http://dx.doi.org/10.1007/JHEP01(2014)065, http://arxiv.org/abs/1309.4925.
[9]
T.-h. Abe, Y. Fujimoto, T. Kobayashi, T. Miura, K. Nishiwaki, and M. Sakamoto, “Operator analysis of physical states on magnetized \({T}^2/{Z}_{N}\) orbifolds,” http://dx.doi.org/10.1016/j.nuclphysb.2014.11.022, http://arxiv.org/abs/1409.5421.
[10]
M. Sakamoto, M. Takeuchi, and Y. Tatsuta, Zero-mode counting formula and zeros in orbifold compactifications,” http://dx.doi.org/10.1103/PhysRevD.102.025008, http://arxiv.org/abs/2004.05570.
[11]
M. Sakamoto, M. Takeuchi, and Y. Tatsuta, Index theorem on \({T}^{2}/\mathbb{Z}_{N}\) orbifolds,” http://dx.doi.org/10.1103/PhysRevD.103.025009, http://arxiv.org/abs/2010.14214.
[12]
H. Imai, M. Sakamoto, M. Takeuchi, and Y. Tatsuta, Index and winding numbers on \({T}^2/\mathbb{Z}_{N}\) orbifolds with magnetic flux,” http://dx.doi.org/10.1016/j.nuclphysb.2023.116189, http://arxiv.org/abs/2211.15541.
[13]
T. Kobayashi, H. Otsuka, and H. Uchida, Wavefunctions and Yukawa couplings on resolutions of \({T}^{2}/{\mathbb{Z}}_{2}\) orbifolds,” http://dx.doi.org/10.1007/JHEP08(2019)046, http://arxiv.org/abs/1904.02867.
[14]
T. Kobayashi, H. Otsuka, and H. Uchida, Flavor structure of magnetized \({T}^{2}/{\mathbb{Z}}_{2}\) blow-up models,” http://dx.doi.org/10.1007/JHEP03(2020)042, http://arxiv.org/abs/1911.01930.
[15]
T. Kobayashi, H. Otsuka, M. Sakamoto, M. Takeuchi, Y. Tatsuta, and H. Uchida, Index theorem on magnetized blow-up manifold of \({T}^{2}/{\mathbb{Z}}_{N}\),” http://dx.doi.org/10.1103/PhysRevD.107.075032, http://arxiv.org/abs/2211.04595.
[16]
T.-h. Abe, Y. Fujimoto, T. Kobayashi, T. Miura, K. Nishiwaki, M. Sakamoto, and Y. Tatsuta, “Classification of three-generation models on magnetized orbifolds,” http://dx.doi.org/10.1016/j.nuclphysb.2015.03.004, http://arxiv.org/abs/1501.02787.
[17]
Y. Fujimoto, T. Kobayashi, K. Nishiwaki, M. Sakamoto, and Y. Tatsuta, “Comprehensive analysis of Yukawa hierarchies on \({T}^{2}/{Z}_{N}\) with magnetic fluxes,” http://dx.doi.org/10.1103/PhysRevD.94.035031, http://arxiv.org/abs/1605.00140.
[18]
M. Ishida, K. Nishiwaki, and Y. Tatsuta, Brane-localized masses in magnetic compactifications,” http://dx.doi.org/10.1103/PhysRevD.95.095036, http://arxiv.org/abs/1702.08226.
[19]
K. Hoshiya, S. Kikuchi, T. Kobayashi, and H. Uchida, Quark and lepton flavor structure in magnetized orbifold models at residual modular symmetric points,” http://dx.doi.org/10.1103/PhysRevD.106.115003, http://arxiv.org/abs/2209.07249.

  1. In this context, some studies consider magnetized blow-up manifolds [13][15]. In our analysis, we do not consider to remove the singularities like these.↩︎

  2. For simplicity, we take the radii of the torus to be 1 and torus moduli to be \(i\).↩︎

  3. \(\sigma^a \, (a=1,2,3)\) are the Pauli matrices and \(I_N\) is the \(N\times N\) unit matrix.↩︎

  4. We can confirm it by the explicit calculation of the mode function which is given by the theta function[3].↩︎

  5. We are assuming that the SM Higgs field is a zero mode of some kind of 4d scalar field, which may be an extra component of higher dimensional gauge field or that in supersymmetric theories. In any case, we can apply Eq.(36 ) for Higgs field as long as it is a zero mode.↩︎

  6. There is another set up that Yukawa coupling is localized at the fixed points[18].↩︎

  7. In the following 3.3, we consider the both cases where \(H\) is an extra dimensional component of a gauge field(Case I) and where it is just a 6d scalar field (Case II).↩︎

  8. Since we consider that the field \(H\) has the \(U(1)\) charge \(q^{\text{H}}\), it can feel magnetic flux different from fermions.↩︎

  9. In this case, we assume that the SM Higgs field is originated from extra components of higher dimensional field and Yukawa coupling is given by gauge coupling.↩︎

  10. According to Ref.[16], the number of Higgs field was obtained for more than 5 and less than 9. We do not understand why the discrepancy between Ref.[16] and ours happened and do not discuss it further.↩︎