Abstract
We propose models to explain the hierarchies of the quark masses and mixing by utilizing the \(S_4^\prime \) modular flavor symmetry. The hierarchy is realized by the modulus \(\tau \) stabilized at \(\textrm{Im}\,\tau \gg 1\), where the residual \(\mathbb {Z}_4^T\) symmetry is approximately unbroken and the Froggatt–Nielsen mechanism works. It is found that the quark hierarchies are realized only in a few cases of quark representations. We study two models with assigning the modular weights, so that the observed quark hierarchies are explained in the cases of both small and large ratios of the top to bottom Yukawa couplings. We also argue that \(\mathcal {O}\left( {0.1}\right) \) hierarchies of the \(\mathcal {O}\left( {1}\right) \) coefficients and the spontaneous CP violation can be realized by imposing another \(S_3\) modular symmetry.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Understanding the origin of the flavor structure of quarks and leptons is one of the big challenges in particle physics. Recently, the modular flavor symmetry attracts the attention as an interesting possibility to explain the flavor structure [1]. In these models, the three generations of quarks and leptons transform non-trivially under the modular symmetry, that is, the modular symmetry is in a sense a flavor symmetry. On top of that, Yukawa couplings are assumed to be modular forms, which are holomorphic functions of the modulus \(\tau \) and non-trivially transform under the action of the modular group. As discussed in Ref. [2], it is remarkable that the (in)homogeneous finite modular group \(\Gamma _N^{(\prime )}\) with the level \(N \le 5\) is isomorphic to the well-known (double covering of) permutation group, such as \(S_3\), \(A_4^{(\prime )}\), \(S_4^{(\prime )}\) and \(A_5^{(\prime )}\), which have been intensively studied to explain the lepton flavor structure in the literature [1, 3,4,5,6,7,8,9,10]. These non-Abelian finite groups have been studied in flavor models for quarks and leptons [11,12,13,14,15,16,17,18,19,20,21]. The phenomenological aspects of the modular flavor symmetries have been actively discussed in the literature [22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62].
The modular symmetry is well-motivated from the higher dimensional theories such as superstring theory. For example, if we consider the torus or its orbifold compactification, the modulus parameter \(\tau \) is the complex structure modulus, which is a dynamical degree of freedom of the effective field theory determining the shape of the torus. The modular symmetry appears as the geometrical symmetry associated with this compact space. The Yukawa couplings are obtained by the overlap integral of the profile functions of the matter zero-modes and expressed as the function of the modulus which transform non-trivially under the modular transformation. The behavior of the zero-mode function under the modular transformation was studied in magnetized D-brane models [63,64,65,66,67,68,69] and heterotic orbifold models [70,71,72,73,74,75]. The modular flavor symmetric three-generation models based on the magnetized extra dimension were discussed in Refs. [69, 76]. The modulus stabilization is also discussed in Refs. [77, 78].
A certain residual symmetry remains unbroken when the modular symmetry is broken by the vacuum expectation value (VEV) of the modulus at a certain fixed point. The residual symmetry \(\mathbb {Z}^{S}_{4} \subset \Gamma _N^\prime \) or \(\mathbb {Z}^S_{2} \subset \Gamma _N\), associated with the S generator, remains unbroken at \(\tau =i\). In addition, \(\mathbb {Z}^{ST}_3\) and \(\mathbb {Z}_N^{T}\), associated with ST and T, remains at \(\tau = \omega := e^{2\pi i/3}\) and \(\tau = i\infty \), respectively. These residual symmetries have been utilized in model-building in the literature [5, 25, 34, 60]. It is particularly interesting that the hierarchical structure of Yukawa matrices for the Standard Model (SM) fermions can be realized at a vicinity of the fixed points. Indeed the lepton sector was discussed in Refs. [79, 80].
In this paper, we discuss the modular flavor symmetry which can realize the hierarchical structures of the quark masses and the Cabbibo–Kobayashi–Maskawa (CKM) mixing. The realizations of the quark mass hierarchy were discussed by use of \(\Gamma _3 \simeq A_4\) at \(\tau \sim \omega \) and \(\Gamma _6\) at \(\textrm{Im}\,\tau \gg 1\) in Refs. [81] and [82], respectively. We focus on the modular flavor symmetry at \(N=4\), which is isomorphic to \(S_4^{(\prime )}\). This is the minimal possibility to realize the hierarchical structure with up to cubic order of a small parameter which may be necessary to explain the quark hierarchies. For \(\textrm{Im} \tau \gg 1\), this model has approximately the residual discrete symmetry \(\mathbb {Z}^T_4\), which realizes the quark mass structures by the Froggatt–Nielsen (FN) mechanism [83, 84]. It turns out that a few patterns of representations can realize the quark hierarchical structure. We then explicitly construct two models by assigning modular weights, so that the experimental values of the quark masses and the CKM angles are explained with small and \(\mathcal {O}\left( {1}\right) \) ratios of bottom to top quark Yukawa couplings.
The rest of the paper is organized as follows. In Sect. 2, we briefly review the modular symmetry at \(N=4\). We discuss the textures of the modular forms at \(\textrm{Im}\,\tau \gg 1\), where the the residual \(\mathbb {Z}^T_4\) symmetry is realized. In Sect. 3, we discuss possible quark representations to realize the quark mass hierarchy. We study two models with different modular weights based on the modular flavor symmetry \(S_4^{(\prime )}\) in Sect. 4. Sect. 5 is devoted to summary. The details of \(S_4^\prime \) modular flavor symmetry as well as \(S_3\) are shown in Appendix A.
2 Modular symmetry at \(N=4\)
We briefly review the modular symmetry. The homogeneous modular group is defined as
This group is generated by the generators
and they satisfy the following algebraic relations,
The inhomogeneous modular group is defined by , where \(\mathbb {Z}^R_2\) is generated by R. That is, the generator R is presented by \(R=\mathbb {I}\) in .
In addition, congruence subgroup \(\Gamma (N)\) is defined by
The quotients \(\Gamma _N:= \overline{\Gamma }/\Gamma (N)\) for \(N=2,3,4\) and 5 are respectively isomorphic to \(S_3, A_4, S_4\) and \(A_5\). Moreover, the quotients \(\Gamma ^\prime _N:=\Gamma /\Gamma (N)\) for \(N=3,4\) and 5 are isomorphic to \(A_4^\prime , S_4^\prime \) and \(A_5^\prime \), which are double covering groups of \(A_4, S_4\) and \(A_5\), respectively. In these quotients, the generator T satisfies
and thus it generates \(\mathbb {Z}_N^T\) symmetry.
The group \(\Gamma _4' \simeq S_4'\) has 10 irreducible representations,
The non-hatted representations r are those in the \(S_4\) symmetry, transformed by R trivially, i.e. \(\rho _R(r) = \mathbb {I}\), while the hatted representations \(\hat{r}\) are transformed non-trivially by R, i.e. \(\rho _R(\hat{r}) = -\mathbb {I}\). Throughout this work, we use the representation matrices in which matrices are diagonal for T and real for S, shown in Appendix A.
The modular group \(\Gamma \) acts on the modulus \(\tau \) (\(\textrm{Im}\,\tau >0\)) as
A modular form \(Y_r^{(k)}\) of representation r under \(\Gamma _4^\prime \) with a weight k transforms as
where \(\rho (r)\) is the representation matrix. The number of representations at a weight k is listed in Table 3 of Appendix A.1. At \(k=1\), there is a \(\hat{3}\) representation,
where the functions \(\theta \) and \(\epsilon \) are written by the Jacobi theta functions [8]. Their series forms are given by
where \(q:= e^{2\pi i\tau }\). The modular forms at higher weights can be constructed from products of \(Y^{(1)}_{\hat{3}}\), and the ones used in our models are shown in Appendix A.1. Note that there is ambiguity in the normalization of the modular forms, which can be absorbed by the coefficients of the couplings. We assume that the ambiguity does not change the hierarchical structure given by the powers of \(\epsilon \), and we choose a normalization such that the absolute value of the numerical factor of the element whose the power of \(\epsilon \) is lowest is unity as in Eq. (9).
At \(\textrm{Im}\,\tau \gg 1\), \(\theta \sim 1\) and \(\left| {\epsilon }\right| \sim 2 e^{-(\pi /2) \textrm{Im}\,\tau } \ll 1\), and hence \(\epsilon \) will be the origin for the quark hierarchies. In this limit, the symmetry generated by T is unbroken, and thus the \(\mathbb {Z}^T_4\) symmetry can realize the FN-like mechanism [83, 84], where the flavon is replaced by \(\epsilon (\tau ) \sim 2 q^{1/4}\) whose \(\mathbb {Z}^T_4\) charge is one. The irreducible representations have the following hierarchical structures in this limit,
where \(Y_r\) is the modular form of the representation r. The weights k are omitted here since the hierarchical structures are determined only by the \(\mathbb {Z}_4^T\) charge and are independent of the weight for a given representation (see the representation matrix \(\rho (r)\) shown in Appendix A.1). We see that the maximum power of \(\epsilon \) is \(N-1 = 3\) which may be the minimal number to explain the quark hierarchies [84].
3 Hierarchical structures
The goal of this work is to explain the hierarchical structure in the quark sector with \(\mathcal{O}(1)\) free parameters. The quark hierarchies may be expressed by a small parameter \(\epsilon \ll 1\),
where \(p=0,1\). The top to bottom mass ratio \(m_t/m_b\) will be explained by \(\epsilon \) for \(p=1\), while, for \(p=0\), it is explained by \(\tan \beta := v_u/v_d\), where \(v_u\) (\(v_d\)) is the VEV of the neutral component of the up-type (down-type) Higgs doublet in two Higgs doublet models, such as supersymmetric models. We note that \(N=4\) is the minimum possibility to realize the texture in Eq. (12), since the maximum power of \(\epsilon \) is \(N-1\): \(\epsilon ^{N-1} = \epsilon ^{3} \sim m_u/m_t\). One may think that the texture may not fully fit the data, especially for the strange to down quark mass ratio \(m_s/m_d\) and the CKM angles involving the third generation. The former is predicted to be \(\mathcal {O}\left( {1}\right) \) and the latter may be too small. It is shown in Ref. [84] that the CKM angles with \(\mathcal {O}\left( {\epsilon }\right) \) fits to the data. We will see later that these potential issues are resolved by the canonical normalizations and the numerical coefficients in the modular forms. Recently, the quark hierarchical structures realized by the level \(N=3\) at \(\tau \simeq \omega \) and \(N=6\) at \(\tau \simeq i\infty \) were studied in Refs. [81] and [82], respectively.
The hierarchical structure of the masses from the modular flavor symmetry is listed in Ref. [80].Footnote 1 The mass hierarchy of the up quarks, \((1,\epsilon , \epsilon ^3)\), is realized if
where the exchange of Q and \(u^c\) gives the same masses. Here and hereafter, we omit the combinations which give the same representation of Yukawa couplings, e.g. \(3^\prime \otimes (2\oplus 1^\prime )\). Those of the down quarks, \(\epsilon ^p (1,\epsilon ^2, \epsilon ^2)\), are obtained if
for \(p=0\) \((p=1)\). One can consider that the down quark masses have the hierarchy, \(\epsilon ^p(1,\epsilon , \epsilon ^2)\) realized by
for \(p=0\) (\(p=1)\).
The CKM hierarchy can be realized only if \(Q = 2\oplus 1\) or \(1^\prime \oplus 1 \oplus 1\). If Q is composed of the same singlet representations, all of the mixing angles in the CKM matrices are predicted to be \(\mathcal {O}\left( {1}\right) \), and hence the hierarchy can not be explained. If Q is a triplet 3, the top Yukawa coupling of \(\mathcal {O}\left( {1}\right) \) is originated from \(Y_{3^\prime }\), see Eqs. (11) and (13). The down quarks are realized in a way of Eq. (15), so the representation of the Yukawa couplings are \(Y_{\hat{3}}\) or \(Y_3\). According to Eq. (11), the top Yukawa coupling is predominantly from the first row of the Yukawa matrix, while the bottom Yukawa coupling is from the second or third row. This means that the CKM matrix is not identity at \(\epsilon =0\), and \(\left| {V_{tb}}\right| \ll 1\) is predicted. Thus the CKM hierarchy is explained only if \(Q = 2\oplus 1\) or \(1^\prime \oplus 1\oplus 1\). Altogether, the texture in Eq. (12) is realized only in the following four cases:
Note that the cases such as \(u^c = 3^\prime \), \(d^c = 1\oplus 1\oplus 1\) and \(Q = 2^\prime \oplus 1^\prime \) give the same Yukawa structure, so the phenomenology will not be changed from the above four cases. The first (second) case for \(d^c\) corresponds to \(p=0\) (\(p=1\)). The texture is the same for the two cases of Q. We shall study the first case since it is more predictive, because of the smaller number of parameters. The second case is obtained by splitting 2 into \(1^\prime \oplus 1\) in the first case.
4 Models
We construct supersymmetric models with the representations shown in Eq. (16) which realizes the texture in Eq. (12). The assignments of the chiral superfields under the electroweak (EW) gauge symmetry, \(S_4^\prime \) and the modular weights k are shown in Table 1. For general weight assignments, the Yukawa couplings are given by
where \((\cdots )_{1}\) is the trivial singlet combination of the product inside the parenthesis.Footnote 2 Besides, there will be more coefficients if there are more than one modular forms which are degenerate for a given representation r and weight k. On the contrary, the term is understood to be absent if there is no modular form for a given r and k. For explicit examples, see the models in the following sections. For the down quark couplings, \((\textbf{1}, \textbf{2}) = (1^\prime , 2)\) and \((\hat{1}, \hat{2})\) for \(p=0\) and \(p=1\), respectively. In the second line, we defined \(Q:= (Q_1, Q_2, Q_3)\), \(u^c:= (u^c_1, u^c_2, u^c_3)\) and \(d^c:= (d^c_1, d^c_2, d^c_3)\). We assign \(Q_1\) is the singlet and the others forming the doublet under \(S_4^\prime \), i.e. \(q_1:= Q_1\), \(q_2:= (Q_2, Q_3)\). The up-type quark \(u^c\) is the triplet and each element of \(d^c\) is the singlet. The Kähler potential of the quark chiral superfield q with wight \(k_q\), which includes the kinetic term, is given byFootnote 3
then, after the canonical normalization, the Yukawa matrices are normalized as
where \(i,j = 1,2,3\) and \(k_{q_3} = k_{q_2}\). At \(\textrm{Im}\,\tau \gg 1\) where \(\epsilon \sim \mathcal {O}\left( {0.01}\right) \), this normalization factor \(2\,\textrm{Im}\,\tau \sim 5\) can be important for the hierarchical structure.
The hierarchical structure of the Yukawa matrices before the canonical normalization are given by
Here, \(P_{13}\) is multiplied so that (3, 3) element is predominantly the top and bottom Yukawa couplings. These structures realize the mass and CKM hierarchies in Eq. (12). Note that the hierarchial structure in the masses and mixing can be realized even if some elements are vanishing because of absence of modular forms for a given representation and weight. We shall consider the two models which can explain the quark hierarchies for \(p=0\) and \(p=1\).
4.1 Large \(\tan \beta \) scenario: \(p=0\)
We assign the modular weights as
Since there is no odd weight, there are only non-hatted representations. This means that the inhomogeneous group \(\Gamma _4^\prime /R \simeq S_4\) is enough for this model. We can also study other patterns of the weights where the weights of the Yukawa couplings are less than 10, but this setup has the smallest hierarchy among the parameters with explaining the experimental values.
In this case, the superpotential is
The Yukawa matrices are given by
where \([Y^{(k)}_r]_{i}\) is the i-th element of \(Y^{(k)}_r\). Here, the summation over \(i_Y = 1,2\) is implicit. Note that there is no \(1^\prime \) at \(k=2,4\), so (1, 2) and (1, 3) elements in \(Y_d\) are zero. Altogether there are 9 coefficients, namely \(\alpha _1,\alpha _2,\alpha _3^1, \alpha _3^2,\beta _{11},\beta _{12}^1, \beta _{12}^2, \beta _{22}\) and \(\beta _{23}\). In our analysis, we assume that the coefficients are real except \(\alpha _3^1\) for simplicity.Footnote 4 We introduce a phase to \(\alpha _3^1\), since the CKM phase is approximately vanishing if all of the coefficients are real.
We fit \(\tan \beta \), \(\tau \) and the 9 coefficients to explain the observed quark masses and the CKM mixing. The values of Yukawa coupling constants and CKM angles at the Grand Unified Theory (GUT) scale in the MSSM are calculated in Ref. [86]. Throughout our analysis, we refer to the values when \(M_{\textrm{SUSY}} = 10\) TeV, and the SUSY threshold corrections are zero.Footnote 5 We find the benchmark point where the observables are within \(1\sigma \) range, as shown in the left panel of Table 2. The input parameters at this point are \(\tan \beta = 36.0982\), \(\tau = 0.4956+2.2306i\), \(|\alpha _3^1| = 4.1369\times 10^{-3}\) and
Here, we normalize the coefficients by the absolute value of \(\alpha _3^1\). The overall factor for the coefficients are needed to be small to compensate the relatively large factor from the canonical normalization in Eq. (19). Although this would not be a problem because we do not know the overall normalization of the Yukawa forms, the smallness of overall factor of the coefficients could also be explained by other moduli, which appear only in the overall factor [87]. The ratio of the largest and smallest absolute values of the coefficients is about 23.
With the assignment of the weights, the predictions for the quark masses and CKM angles at \(t:= 2\,\textrm{Im}\,\tau \gg 1\) are modified as
where \(\epsilon \sim 0.06\) and \(t \sim 4.5\). Here, we define , where \(\theta _{ij}\) being the mixing angle between the i-th and j-th generation in the standard parametrization of the CKM matrix [88]. For quark masses, \(y_d\) and \(y_s\) are well explained in this setup, because of the \(t^2\) difference between them. The other ones, \(y_u\), \(y_c\) and \(y_b\), are predicted to be larger than the experimental values by an order of magnitude. These are resolved by \(\mathcal {O}\left( {0.1}\right) \) values of \(\alpha _1\) and \(\beta _{21}\) for \(y_u\) and \(y_b\), respectively. The charm Yukawa \(y_c\) is realized by a tuning between \(\alpha _2\) and \(\alpha _3\). The phase of \(\alpha _3\) should be small (but non-zero) to keep the charm mass light, because it can not be canceled by real \(\alpha _2\). In other words, the phase of \(\alpha _2\) and \(\alpha _3\) should be approximately aligned to explain the charm mass. Regarding the CKM angles, \(s_{12}\) and \(s_{13}\) are well explained by the pattern Eq. (25), while \(s_{23} \sim 0.004\) is an order of magnitude smaller than the experimental value. This gap is explained by the numerical factor of \(\mathcal {O}\left( {\epsilon ^2}\right) \) in the modular form \(Y^{(8)}_2 \sim (1, 10/\sqrt{3}\,\epsilon ^2)\).
Altogether, the CKM angles and \(y_d\), \(y_s\) are well explained in this model, while there should be \(\mathcal {O}\left( {0.1}\right) \) hierarchies in \(\alpha _1/\alpha ^2_3\) and \(\beta _{21}/\alpha _3^2\) for \(y_u/y_t\) and \(y_b/y_t\) respectively, and the \(\mathcal {O}\left( {0.1}\right) \) tuning between \(\alpha _2\) and \(\alpha _3\) for \(y_c/y_t\). Although the small hierarchies of \(\mathcal {O}\left( {0.1}\right) \) may be simply accidental, we will discuss the possible origin for the small hierarchy in Sect. 4.3.
4.2 Small \(\tan \beta \): \(p=1\)
Now we consider the case with \(p=1\) and the bottom quark mass is suppressed by \(\epsilon \). We assign the modular weights as
so that the superpotential is given by
The Yukawa matrices are given by
In \(Y_d\), (1, 2) and (1, 3) elements vanish because there is no \(\hat{1}\) representation for \(k<9\). There are 8 coefficients in this setup. We assign the odd weights for the down-quarks, and hence there are the hatted-representations in \(Y_d\). Thus we should consider the homogeneous group \(\Gamma _4^\prime \) unlike the first model. In our numerical analysis, we assume that the coefficients are real except \(\alpha _3^1\) as in the first model for simplicity.
At the benchmark point, the parameters are given by \(\tan \beta = 1.6358\), \(\tau = 0.4944+2.6779i\), \(|\alpha _3| = 1.2683\times 10^{-3}\) and
The ratio of the largest and smallest absolute values of the coefficients is about 53. The slightly larger ratio is necessary because the parameter \(\epsilon \sim 0.03\) is smaller than the first case.
The hierarchical structure after the canonical normalization gives the masses and CKM angles as
where \(\epsilon \sim 0.03\) and \(t \sim 5.4\). The hierarchy well explains most of the hierarchical patterns except \(y_c\), \(y_b\) and \(s_{23}\). Similarly to the first model, \(y_c\) is suppressed by the cancellation between \(\alpha _2\) and \(\alpha _3\), and \(y_b\) is suppressed by \(\beta _{21}\). The CKM angle \(s_{23}\) is enhanced by the ratio of the coefficients \(\left| {\beta _{11}/\beta _{21}}\right| \sim 50\). Note that the first (second) row in the Yukawa matrices \(Y_u\) and \(Y_d\) is predominantly the second (first) generation, as opposed to the first model.
4.3 \(S_3\) origins of the small hierarchies and spontaneous CP violation
The small hierarchical structure of the coefficients in previous two models can be explained by another modular symmetry \(S_3\) at \(N=2\). The \(S_3\) modular symmetry would be realized in models with extra dimensions, e.g. \(T_2\times T_2\), where the first \(T_2\) leads \(S_4^\prime \) and the second one leads \(S_3\). In this case, the coefficients \(\alpha _{i}\) and \(\beta _{ai}\) are modular forms of \(\tau _2\), where \(\tau _2\) is the modulus of the \(S_3\) modular symmetry. In both models of the previous sections, we found the small hierarchies in the coefficients,
Here we omit the upper index \(i_Y\) for the multiple modular forms.Footnote 6 Similarly to \(\Gamma _4^\prime \simeq S_4^\prime \), we can consider \(\Gamma _2 \simeq S_3\) to explain this hierarchy, by another small parameter \(\epsilon _2 \sim 0.1\) controlled by another modulus \(\tau _2\). The irreducible representations have the following hierarchies at \(\textrm{Im}\,\tau _2 \gg 1\),
in the basis with real S and diagonal T. The explicit forms of the modular forms are shown in Appendix A.2.
Now, we assign \(d_i^c\), \(q_1\) to the trivial singlet 1 and \(u^c\), \(q_2\) to the non-trivial singlet \(1^\prime \) under the \(S_3\) symmetry. Then the hierarchial structure of the Yukawa matrices are given by
This can explain the hierarchical pattern in Eq. (31). For example, we can construct \(Y_1\) and \(Y_{1^\prime }\) by the modular forms of weight 6 as explicitly shown in Appendix A.2. The hierarchical structure of the Yukawa couplings is essentially realized by \(\mathbb {Z}_4^T\times \mathbb {Z}_2^{T^\prime }\) symmetry, where the second one is from the \(S_3\) modular symmetry. The residual symmetry \(\mathbb {Z}_6^T \subset \Gamma _6\) plays a similar role in the model of Ref. [82].
The spontaneous CP violation may be induced from the modulus VEV of the \(S_3\) symmetry at \(\mathcal {O}\left( {\epsilon _2^2}\right) \). If all of the \(\mathcal {O}\left( {1}\right) \) coefficients are real, the CKM phase is vanishing up to \(\mathcal {O}\left( {\epsilon ^4}\right) \) and \(\mathcal {O}\left( {\epsilon _2^2}\right) \). After rotating the phases of the quarks as
where \(\phi := \textrm{Arg}(\epsilon )\) and \(\phi _2:= \textrm{Arg}(\epsilon _2)\), the phases of the Yukawa matrices are given by
The phase \(4\phi \) does not contribute to the CKM phase, since it is relevant only to the diagonalization of \(u^c\) up to \(\mathcal {O}\left( {\epsilon ^4}\right) \). Whereas, the phase \(2\phi _2\) contributes to the CKM phase, and thus the spontaneous CP violation will occur due to the \(S_3\) modular symmetry.Footnote 7 We also note that our assumptions on the phases, i.e. only \(\alpha ^1_3\) is complex, is not hold, and all of the coefficients will be complex. Nonetheless we expect that there will be a good fits to the data, and concrete numerical analysis is beyond the scope of this paper.
5 Summary
In this paper, we demonstrated that the hierarchical structure of the quark masses and the CKM matrix is realized in the modular flavor symmetry at the level \(N=4\). The FN-like mechanism is realized due to the \(\mathbb {Z}_4^T\) symmetry with a small parameter \(\epsilon \) where the modulus is assumed to be stabilized at \(\textrm{Im}\,\tau \gg 1\). We found that there are only four cases shown in Eq. (16) in which the observed hierarchical structure in Eq. (12) is realized.
We then studied the two examples with different assignments of the modular weights for the quarks. In both models, the quark hierarchical structures are realized with \(\mathcal {O}\left( {1}\right) \) coefficients, although the small hierarchy shown in Eq. (31) of \(\mathcal {O}\left( {0.1}\right) \) is needed, as well as the cancellation between the parameters \(\alpha _2\) and \(\alpha _3\) to explain the charm mass. We proposed a way to understand the small hierarchical structure Eq. (31) and the origin of the CKM phase by the existence of another modular flavor symmetry \(S_3\). In this case, the hierarchical structure of the Yukawa couplings are essentially realized by \(\mathbb {Z}_4^T\times \mathbb {Z}_2^{T^\prime }\), where the second symmetry comes from the second modular symmetry \(S_3\). It was also turned out that the factors from canonical normalization \(2\,\textrm{Im}\,\tau \sim 5\) play an important role, because of the assignments of the modular weights. For instance, the Cabbibo angle is explained by this factor in the first model.
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: All data generated or analysed during this study are included in this published article.]
Notes
In this work, we consider the combinations of the representations shown in Ref. [80], i.e. the hatted and non-hatted representations do not appear in the same type of quarks.
The products of the irreducible representations of \(S_4^\prime \) are listed in Appendix A.
As pointed out in Ref. [85], the form of Kḧler potential can not be determined uniquely from the modular symmetry, but we choose the simplest form Eq. (18) for simplicity. Also, there can be an overall constant to the kinetic term which can be absorbed by the Yukawa couplings in the superpotential. We here assume that these effects in the Kähler potential do not induce additional hierarchical structure.
Without loss of generality, the phases of \(\alpha _1\), \(\beta _{22}\) and \(\beta _{23}\) can be absorbed by the redefinition of the quarks, so we assume that \(\alpha _2\), \(\alpha _3^2\) and \(\beta _{21}^{1,2}\) are real in such basis.
The values in \(1< \tan \beta < 5\) are linearly extrapolated from \(\tan \beta > 5\).
\(\beta _{21}^2\) with \(\mathcal {O}\left( {1}\right) \) will not be a problem because \(Y^{2(8)}_2\) does not have \(\mathcal {O}\left( {1}\right) \) element, and thus only gives minor impacts on the result.
We thank the referee to point out this feature.
References
F. Feruglio, Are neutrino masses modular forms? pp. 227–266 (2019). arXiv:1706.08749
R. de Adelhart Toorop, F. Feruglio, C. Hagedorn, Finite modular groups and lepton mixing. Nucl. Phys. B 858, 437–467 (2012). arXiv:1112.1340
T. Kobayashi, K. Tanaka, T.H. Tatsuishi, Neutrino mixing from finite modular groups. Phys. Rev. D 98(1), 016004 (2018). arXiv:1803.10391
J.T. Penedo, S.T. Petcov, Lepton masses and mixing from modular \(S_4\) symmetry. Nucl. Phys. B 939, 292–307 (2019). arXiv:1806.11040
P.P. Novichkov, J.T. Penedo, S.T. Petcov, A.V. Titov, Modular A\(_{5}\) symmetry for flavour model building. JHEP 04, 174 (2019). arXiv:1812.02158
G.-J. Ding, S.F. King, X.-G. Liu, Neutrino mass and mixing with \(A_5\) modular symmetry. Phys. Rev. D 100(11), 115005 (2019). arXiv:1903.12588
X.-G. Liu, G.-J. Ding, Neutrino masses and mixing from double covering of finite modular groups. JHEP 08, 134 (2019). arXiv:1907.01488
P.P. Novichkov, J.T. Penedo, S.T. Petcov, Double cover of modular \(S_4\) for flavour model building. Nucl. Phys. B 963, 115301 (2021). arXiv:2006.03058
X.-G. Liu, C.-Y. Yao, G.-J. Ding, Modular invariant quark and lepton models in double covering of \(S_4\) modular group. Phys. Rev. D 103(5), 056013 (2021). arXiv:2006.10722
X.-G. Liu, C.-Y. Yao, B.-Y. Qu, G.-J. Ding, Half-integral weight modular forms and application to neutrino mass models. Phys. Rev. D 102(11), 115035 (2020). arXiv:2007.13706
G. Altarelli, F. Feruglio, Discrete flavor symmetries and models of neutrino mixing. Rev. Mod. Phys. 82, 2701–2729 (2010). arXiv:1002.0211
H. Ishimori, T. Kobayashi, H. Ohki, Y. Shimizu, H. Okada, M. Tanimoto, Non-Abelian discrete symmetries in particle physics. Prog. Theor. Phys. Suppl. 183, 1–163 (2010). arXiv:1003.3552
H. Ishimori, T. Kobayashi, H. Ohki, H. Okada, Y. Shimizu, M. Tanimoto, An introduction to non-Abelian discrete symmetries for particle physicists, vol. 858 (2012)
D. Hernandez, A.Y. Smirnov, Lepton mixing and discrete symmetries. Phys. Rev. D 86, 053014 (2012). arXiv:1204.0445
S.F. King, C. Luhn, Neutrino mass and mixing with discrete symmetry. Rep. Prog. Phys. 76, 056201 (2013). arXiv:1301.1340
S.F. King, A. Merle, S. Morisi, Y. Shimizu, M. Tanimoto, Neutrino mass and mixing: from theory to experiment. New J. Phys. 16, 045018 (2014). arXiv:1402.4271
M. Tanimoto, Neutrinos and flavor symmetries. AIP Conf. Proc. 1666(1), 120002 (2015)
S.F. King, Unified models of neutrinos, flavour and CP violation. Prog. Part. Nucl. Phys. 94, 217–256 (2017). arXiv:1701.04413
S.T. Petcov, Discrete flavour symmetries, neutrino mixing and leptonic CP violation. Eur. Phys. J. C 78(9), 709 (2018). arXiv:1711.10806
F. Feruglio, A. Romanino, Lepton flavor symmetries. Rev. Mod. Phys. 93(1), 015007 (2021). arXiv:1912.06028
T. Kobayashi, H. Ohki, H. Okada, Y. Shimizu, M. Tanimoto, An Introduction to Non-Abelian Discrete Symmetries for Particle Physicists, 1 (2022)
J.C. Criado, F. Feruglio, Modular invariance faces precision neutrino data. SciPost Phys. 5(5), 042 (2018). arXiv:1807.01125
T. Kobayashi, N. Omoto, Y. Shimizu, K. Takagi, M. Tanimoto, T.H. Tatsuishi, Modular A\(_{4}\) invariance and neutrino mixing. JHEP 11, 196 (2018). arXiv:1808.03012
G.-J. Ding, S.F. King, X.-G. Liu, Modular A\(_{4}\) symmetry models of neutrinos and charged leptons. JHEP 09, 074 (2019). arXiv:1907.11714
P.P. Novichkov, J.T. Penedo, S.T. Petcov, A.V. Titov, Modular S\(_{4}\) models of lepton masses and mixing. JHEP 04, 005 (2019). arXiv:1811.04933
T. Kobayashi, Y. Shimizu, K. Takagi, M. Tanimoto, T.H. Tatsuishi, New \(A_4\) lepton flavor model from \(S_4\) modular symmetry. JHEP 02, 097 (2020). arXiv:1907.09141
X. Wang, S. Zhou, The minimal seesaw model with a modular S\(_{4}\) symmetry. JHEP 05, 017 (2020). arXiv:1910.09473
P. Chen, G.-J. Ding, J.-N. Lu, J.W.F. Valle, Predictions from warped flavor dynamics based on the \(T^{\prime }\) family group. Phys. Rev. D 102(9), 095014 (2020). arXiv:2003.02734
I. de Medeiros Varzielas, S.F. King, Y.-L. Zhou, Multiple modular symmetries as the origin of flavor. Phys. Rev. D 101(5), 055033 (2020). arXiv:1906.02208
T. Asaka, Y. Heo, T.H. Tatsuishi, T. Yoshida, Modular \(A_4\) invariance and leptogenesis. JHEP 01, 144 (2020). arXiv:1909.06520
T. Asaka, Y. Heo, T. Yoshida, Lepton flavor model with modular \(A_4\) symmetry in large volume limit. Phys. Lett. B 811, 135956 (2020). arXiv:2009.12120
F.J. de Anda, S.F. King, E. Perdomo, \(SU(5)\) grand unified theory with \(A_4\) modular symmetry. Phys. Rev. D 101(1), 015028 (2020). arXiv:1812.05620
T. Kobayashi, Y. Shimizu, K. Takagi, M. Tanimoto, T.H. Tatsuishi, Modular \(S_3\)-invariant flavor model in SU(5) grand unified theory. PTEP 2020(5), 053B05 (2020). arXiv:1906.10341
P.P. Novichkov, S.T. Petcov, M. Tanimoto, Trimaximal neutrino mixing from modular A4 invariance with residual symmetries. Phys. Lett. B 793, 247–258 (2019). arXiv:1812.11289
T. Kobayashi, Y. Shimizu, K. Takagi, M. Tanimoto, T.H. Tatsuishi, H. Uchida, Finite modular subgroups for fermion mass matrices and baryon/lepton number violation. Phys. Lett. B 794, 114–121 (2019). arXiv:1812.11072
H. Okada, M. Tanimoto, CP violation of quarks in \(A_4\) modular invariance. Phys. Lett. B 791, 54–61 (2019). arXiv:1812.09677
H. Okada, M. Tanimoto, Towards unification of quark and lepton flavors in \(A_4\) modular invariance. Eur. Phys. J. C 81(1), 52 (2021). arXiv:1905.13421
T. Nomura, H. Okada, A modular \(A_4\) symmetric model of dark matter and neutrino. Phys. Lett. B 797, 134799 (2019). arXiv:1904.03937
H. Okada, Y. Orikasa, Modular \(S_3\) symmetric radiative seesaw model. Phys. Rev. D 100(11), 115037 (2019). arXiv:1907.04716
T. Nomura, H. Okada, A two loop induced neutrino mass model with modular \(A_4\) symmetry. Nucl. Phys. B 966, 115372 (2021). arXiv:1906.03927
T. Nomura, H. Okada, O. Popov, A modular \(A_4\) symmetric scotogenic model. Phys. Lett. B 803, 135294 (2020). arXiv:1908.07457
J.C. Criado, F. Feruglio, S.J.D. King, Modular invariant models of lepton masses at levels 4 and 5. JHEP 02, 001 (2020). arXiv:1908.11867
S.F. King, Y.-L. Zhou, Trimaximal TM\(_1\) mixing with two modular \(S_4\) groups. Phys. Rev. D 101(1), 015001 (2020). arXiv:1908.02770
G.-J. Ding, S.F. King, X.-G. Liu, J.-N. Lu, Modular S\(_{4}\) and A\(_{4}\) symmetries and their fixed points: new predictive examples of lepton mixing. JHEP 12, 030 (2019). arXiv:1910.03460
I. de Medeiros Varzielas, M. Levy, Y.-L. Zhou, Symmetries and stabilisers in modular invariant flavour models. JHEP 11, 085 (2020). arXiv:2008.05329
D. Zhang, A modular \(A_4\) symmetry realization of two-zero textures of the Majorana neutrino mass matrix. Nucl. Phys. B 952, 114935 (2020). arXiv:1910.07869
T. Nomura, H. Okada, S. Patra, An inverse seesaw model with \(A_4\)-modular symmetry. Nucl. Phys. B 967, 115395 (2021). arXiv:1912.00379
T. Kobayashi, T. Nomura, T. Shimomura, Type II seesaw models with modular \(A_4\) symmetry. Phys. Rev. D 102(3), 035019 (2020). arXiv:1912.00637
J.-N. Lu, X.-G. Liu, G.-J. Ding, Modular symmetry origin of texture zeros and quark lepton unification. Phys. Rev. D 101(11), 115020 (2020). arXiv:1912.07573
X. Wang, Lepton flavor mixing and CP violation in the minimal type-(I+II) seesaw model with a modular \(A_4\) symmetry. Nucl. Phys. B 957, 115105 (2020). arXiv:1912.13284
S.J.D. King, S.F. King, Fermion mass hierarchies from modular symmetry. JHEP 09, 043 (2020). arXiv:2002.00969
M. Abbas, Fermion masses and mixing in modular A4 symmetry. Phys. Rev. D 103(5), 056016 (2021). arXiv:2002.01929
H. Okada, Y. Shoji, Dirac dark matter in a radiative neutrino model. Phys. Dark Univ. 31, 100742 (2021). arXiv:2003.11396
H. Okada, Y. Shoji, A radiative seesaw model with three Higgs doublets in modular \(A_4\) symmetry. Nucl. Phys. B 961, 115216 (2020). arXiv:2003.13219
G.-J. Ding, F. Feruglio, Testing moduli and flavon dynamics with neutrino oscillations. JHEP 06, 134 (2020). arXiv:2003.13448
H. Okada, M. Tanimoto, Quark and lepton flavors with common modulus \(\tau \) in \(A_4\) modular symmetry. arXiv:2005.00775
H. Okada, M. Tanimoto, Modular invariant flavor model of \(A_4\) and hierarchical structures at nearby fixed points. Phys. Rev. D 103(1), 015005 (2021). arXiv:2009.14242
K.I. Nagao, H. Okada, Neutrino and dark matter in a gauged \(U(1)_R\) symmetry. JCAP 05, 063 (2021). arXiv:2008.13686
X. Wang, B. Yu, S. Zhou, Double covering of the modular \(A_5\) group and lepton flavor mixing in the minimal seesaw model. Phys. Rev. D 103(7), 076005 (2021). arXiv:2010.10159
H. Okada, M. Tanimoto, Spontaneous CP violation by modulus \(\tau \) in \(A_4\) model of lepton flavors. JHEP 03, 010 (2021). arXiv:2012.01688
C.-Y. Yao, J.-N. Lu, G.-J. Ding, Modular invariant \(A_{4}\) models for quarks and leptons with generalized CP symmetry. JHEP 05, 102 (2021). arXiv:2012.13390
H. Kuranaga, H. Ohki, S. Uemura, Modular origin of mass hierarchy: Froggatt–Nielsen like mechanism. JHEP 07, 068 (2021). arXiv:2105.06237
T. Kobayashi, S. Nagamoto, Zero-modes on orbifolds: magnetized orbifold models by modular transformation. Phys. Rev. D 96(9), 096011 (2017). arXiv:1709.09784
T. Kobayashi, S. Nagamoto, S. Takada, S. Tamba, T.H. Tatsuishi, Modular symmetry and non-Abelian discrete flavor symmetries in string compactification. Phys. Rev. D 97(11), 116002 (2018). arXiv:1804.06644
T. Kobayashi, S. Tamba, Modular forms of finite modular subgroups from magnetized D-brane models. Phys. Rev. D 99(4), 046001 (2019). arXiv:1811.11384
H. Ohki, S. Uemura, R. Watanabe, Modular flavor symmetry on a magnetized torus. Phys. Rev. D 102(8), 085008 (2020). arXiv:2003.04174
S. Kikuchi, T. Kobayashi, S. Takada, T.H. Tatsuishi, H. Uchida, Revisiting modular symmetry in magnetized torus and orbifold compactifications. Phys. Rev. D 102(10), 105010 (2020). arXiv:2005.12642
S. Kikuchi, T. Kobayashi, H. Otsuka, S. Takada, H. Uchida, Modular symmetry by orbifolding magnetized \(T^2\times T^2\): realization of double cover of \(\Gamma _N\). JHEP 11, 101 (2020). arXiv:2007.06188
K. Hoshiya, S. Kikuchi, T. Kobayashi, Y. Ogawa, H. Uchida, Classification of three-generation models by orbifolding magnetized \(T^2 \times T^2\). PTEP 2021(3), 033B05 (2021). arXiv:2012.00751
J. Lauer, J. Mas, H.P. Nilles, Duality and the role of nonperturbative effects on the world sheet. Phys. Lett. B 226, 251–256 (1989)
J. Lauer, J. Mas, H.P. Nilles, Twisted sector representations of discrete background symmetries for two-dimensional orbifolds. Nucl. Phys. B 351, 353–424 (1991)
S. Ferrara, D. Lust, S. Theisen, Target space modular invariance and low-energy couplings in orbifold compactifications. Phys. Lett. B 233, 147–152 (1989)
A. Baur, H.P. Nilles, A. Trautner, P.K.S. Vaudrevange, Unification of flavor, CP, and modular symmetries. Phys. Lett. B 795, 7–14 (2019). arXiv:1901.03251
H.P. Nilles, S. Ramos-Sánchez, P.K.S. Vaudrevange, Eclectic flavor groups. JHEP 02, 045 (2020). arXiv:2001.01736
H.P. Nilles, S. Ramos-Sánchez, P.K.S. Vaudrevange, Eclectic flavor scheme from ten-dimensional string theory-II detailed technical analysis. Nucl. Phys. B 966, 115367 (2021). arXiv:2010.13798
S. Kikuchi, T. Kobayashi, H. Uchida, Modular flavor symmetries of three-generation modes on magnetized toroidal orbifolds. Phys. Rev. D 104(6), 065008 (2021). arXiv:2101.00826
K. Ishiguro, T. Kobayashi, H. Otsuka, Landscape of modular symmetric flavor models. JHEP 03, 161 (2021). arXiv:2011.09154
P.P. Novichkov, J.T. Penedo, S.T. Petcov, Modular flavour symmetries and modulus stabilisation. JHEP 03, 149 (2022). arXiv:2201.02020
F. Feruglio, V. Gherardi, A. Romanino, A. Titov, Modular invariant dynamics and fermion mass hierarchies around \(\tau = i\). JHEP 05, 242 (2021). arXiv:2101.08718
P.P. Novichkov, J.T. Penedo, S.T. Petcov, Fermion mass hierarchies, large lepton mixing and residual modular symmetries. JHEP 04, 206 (2021). arXiv:2102.07488
S.T. Petcov, M. Tanimoto, \(A_4\) modular flavour model of quark mass hierarchies close to the fixed point \(\tau = \omega \). arXiv:2212.13336
S. Kikuchi, T. Kobayashi, K. Nasu, S. Takada, H. Uchida, Quark hierarchical structures in modular symmetric flavor models at level 6. arXiv:2301.03737
C.D. Froggatt, H.B. Nielsen, Hierarchy of quark masses, Cabibbo angles and CP violation. Nucl. Phys. B 147, 277–298 (1979)
T. Higaki, J. Kawamura, A low-scale flavon model with a \(Z_N\) symmetry. JHEP 03, 129 (2020). arXiv:1911.09127
M.-C. Chen, S. Ramos-Sánchez, M. Ratz, A note on the predictions of models with modular flavor symmetries. Phys. Lett. B 801, 135153 (2020). arXiv:1909.06910
S. Antusch, V. Maurer, Running quark and lepton parameters at various scales. JHEP 11, 115 (2013). arXiv:1306.6879
D. Cremades, L.E. Ibanez, F. Marchesano, Computing Yukawa couplings from magnetized extra dimensions. JHEP 05, 079 (2004). arXiv:hep-th/0404229
Particle Data Group Collaboration, R.L. Workman et al., Review of particle physics. PTEP 2022, 083C01 (2022)
Acknowledgements
The authors would like to thank M. Tanimoto for useful comments. The work of J.K. is supported in part by the Institute for Basic Science (IBS-R018-D1). This work is supported in part by he Grant-in-Aid for Scientific Research from the Ministry of Education, Science, Sports and Culture (MEXT), Japan No. 22K03601 (T.H.) and 18K13534 (J.K.). The work of Y.A. is supported by JSPS Overseas Research Fellowships.
Author information
Authors and Affiliations
Corresponding author
A Details of \(S_4^\prime \) and \(S_3\) symmetries
A Details of \(S_4^\prime \) and \(S_3\) symmetries
1.1 A.1 Modular forms in \(S_4^\prime \)
We choose the basis in which T is diagonal and S is real. For the doublet and the triplet, the representation matrices are respectively given by
and
The primed and hatted representations are related as
The products of the non-trivial singlets are given by
The similar relations for the prime and hat are applied for the other representations. For the doublet, however, \(2^\prime \) (\(\hat{2}^\prime \)) should be understood as \((u_2, -u_1)\) to be 2 (\(\hat{2}\)). For instance, the products of a singlet \(\chi \) and doublet \(u = (u_1,u_2)\) are given by
The products of 2 and 3 are given by
Those for the representations with prime and/or hat are formally the same but with prime and/or hat accordingly to Eq. (41). Note that doublets with prime should be understood in the same way as in Eq. (42).
The modular forms used in the model are given by
where the functions are normalized such that the absolute value of the largest element is unity. The number of representations at weight \(k\le 11\) are listed in Table 3 for reference. There are \(2k+1\) independent modular functions at a weight k at the level \(N=4\).
1.2 A.2 Modular forms in \(S_3\)
For completeness, we derive the modular forms of \(S_3\) following Ref. [3]. We work on the basis of the representations given by
then the modular form at weight 2 is given by
where
Here, \(\eta (\tau )\) is the Dedekind eta function. The q-expansions of these functions are given by
The modular forms with higher weights are given by
for \(k=4\), and
for \(k=6\). As expected from the residual \(\mathbb {Z}_2^T\) symmetry, the modular forms have the hierarchical structure Eq. (31) at \(\tau \sim i\infty \) and \(\left| {\epsilon _2}\right| := \left| {q^{1/2}}\right| \ll 1\). Thus the weight should be \(k\ge 6\) to realize the hierarchy of the Yukawa matrices in Eq. (33).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Abe, Y., Higaki, T., Kawamura, J. et al. Quark masses and CKM hierarchies from \(S_4'\) modular flavor symmetry. Eur. Phys. J. C 83, 1140 (2023). https://doi.org/10.1140/epjc/s10052-023-12303-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-12303-2