1 Introduction

The alternative left–right model [1] of 1987 was inspired by the \(E_6\) decomposition to the standard \(SU(3)_C \times SU(2)_L \times U(1)_Y\) gauge symmetry through an \(SU(2)_R\), which does not have the conventional assignments of quarks and leptons. Instead of \((u,d)_R\) and \((\nu ,l)_R\) as doublets under \(SU(2)_R\), a new quark h and a new lepton n per family are added so that \((u,h)_R\) and \((n,e)_R\) are the \(SU(2)_R\) doublets, and \(h_L\), \(d_R\), \(n_L\), \(\nu _R\) are singlets.

This structure allows for the absence of tree-level flavor-changing neutral currents (unavoidable in the conventional model), as well as the existence of dark matter. The key new ingredient is a \(U(1)_S\) symmetry, which breaks together with \(SU(2)_R\), such that a residual global \(S'\) symmetry remains for the stabilization of dark matter. Previously [2,3,4], this \(U(1)_S\) was assumed to be global. We show in this paper how it may be promoted to a gauge symmetry. To accomplish this, new fermions are added to render the model free of gauge anomalies. The resulting theory has an automatic discrete \(Z_2\) symmetry which is unbroken as well as the global \(S'\), which is now broken to \(Z_3\). Hence dark matter has two components [5]. They are identified as one Dirac fermion (nontrivial under both \(Z_2\) and \(Z_3\)) and one complex scalar (nontrivial under \(Z_3\)).

In Sect. 2 we make a digression to the historical perspective which motivated this study. In Sect. 3 our model is described, with a complete list of its particle content. In Sect. 4 the gauge sector is shown in detail. In Sect. 5 the fermions are discussed with details of how they obtain masses. In Sect. 6 we deal with the scalars and show how the desirable pattern of symetry breaking is obtained. In Sect. 7 we discuss the present phenomenological constraints on the new \(Z'\) bosons and would-be dark-matter candidates. In Sect. 8 we show an example of two viable dark-matter candidates, both in terms of relic abundance and direct detection. In Sect. 9 we conclude.

2 Motivation and historical perspective

This section is for those who are unfamiliar with, but interested in the historical perspective which motivated our study. In the beginning, the idea of an \(SU(2)_L \times SU(2)_R\) electroweak extension of the standard model (SM), which is based only on \(SU(2)_L\), was very attractive, because it restores left–right symmetry to the interactions of the quarks and leptons. In the conventional approach, \((u,d)_{iL}\) are \(SU(2)_L\) doublets and \((u,d)_{jR}\) are \(SU(2)_R\) doublets. To allow them to have masses, a scalar bidoublet

$$\begin{aligned} \Delta = \begin{pmatrix} \delta _1^0 &{}\quad \delta _2^+ \\ \delta _1^- &{}\quad \delta _2^0 \end{pmatrix} \end{aligned}$$

is needed, so that \(\bar{u}_{iL} u_{jR}\) couple to \(\delta _1^0\) and \(\bar{d}_{iL} d_{jR}\) couple to \(\delta _2^0\), thereby obtaining masses from the vacuum expectation values of the two neutral scalars. However, because of the peculiarity of SU(2) doublets, the bidoublet

$$\begin{aligned} \tilde{\Delta } = \sigma _2 \Delta ^* \sigma _2 = \begin{pmatrix} \bar{\delta }_2^0 &{}\quad -\delta _1^+ \\ -\delta _2^- &{}\quad \bar{\delta }_1^0 \end{pmatrix} \end{aligned}$$

transforms identically as \(\Delta \). Hence \(\delta _2\) contributes to the u mass matrix, and \(\delta _1\) contributes to the d mass matrix. In other words, each quark sector gets its masses from two different Higgs particles. This means that flavor changing neutral currents (FCNC) are unavoidable at tree level through neutral Higgs exchange. This is a very strong constraint on the masses of these particles, of order 10–100 TeV. As such they are not likely to be observable at the Large Hadron Collider (LHC). On the general issue of FCNC, they are, of course, present in the SM, but only at the loop level, and they are known to be small and consistent with experimental data. In any extension of the SM, they may occur at tree level, and if so the scalar particles in question are required to be very heavy and out of reach of the LHC. It is thus a valid question to ask whether a model beyond the SM may be constructed with the absence of tree-level FCNC, so that it may have new scalars which are light enough to be discovered in addition to the SM Higgs boson of 125 GeV.

To distinguish \(\tilde{\Delta }\) from \(\Delta \), an extra symmetry is needed. This is what happens in supersymmetry, but then the u quark mass matrix must be proportional to the d quark mass matrix, which disagrees with data. The solution to this conundrum was pointed out 30 years ago [1]. It was discovered in the context of superstring-inspired \(E_6\) models, but applicable to the \(SU(2)_L \times SU(2)_R\) case [2, 3]. The idea is to add another quark h to each family which has the same charge as d, i.e. \(-1/3\). Both \(h_L\) and \(h_R\) are singlets in the SM, but they are distinguished from \(d_L\) and \(d_R\) in their \(SU(2)_R\) assignments, i.e.

$$\begin{aligned}&(u,d)_L \sim (2,1), \quad (u,h)_R \sim (1,2),\\&\quad d_R \sim (1,1), \quad h_L \sim (1,1). \end{aligned}$$

To forbid the term \(\bar{h}_L d_R\), a global \(U(1)_S\) symmetry is added which also distinguishes \(\Delta \) from \(\tilde{\Delta }\). In this way, the d mass comes from an \(SU(2)_L\) Higgs doublet, the h mass comes from an \(SU(2)_R\) Higgs doublet, and the u mass comes from only \(\delta _1^0\) whereas \(\delta _2^0\) has no vacuum expectation value. Thus the model is guaranteed the absence of tree-level FCNC. It was realized a few years ago [2, 3] that this extra \(U(1)_S\) also serves the purpose of a dark symmetry, because even though it is broken, the combination \(T_{3R} + S\) or \(T_{3R} - S\) may remain unbroken and protects the condition \(\langle \delta _2^0 \rangle = 0\). In other words, the symmetry which allows us to solve the FCNC conundrum has now been connected to that of dark matter. Contrast this with most models of dark matter, where the existence of the dark symmetry is completely ad hoc, and unrelated to any other symmetry of the original model. This we believe is a good motivation for studying alternative left–right models. The logical next step is to ask the question whether it is possible for this \(U(1)_S\) to be gauged. What follows is a simple example of how it can be done and the resulting consequences.

3 Model

The particle content of our model is given in Table 1.

Table 1 Particle content of proposed model of dark gauge U(1) symmetry

Without \(U(1)_S\) as a gauge symmetry, the model is free of anomalies without the addition of the \(\psi \) and \(\chi \) fermions. In the presence of gauge \(U(1)_S\), the additional anomaly-free conditions are all satisfied by the addition of the \(\psi \) and \(\chi \) fermions. The \([SU(3)_C]^2 U(1)_S\) anomaly is canceled between \((u,h)_R\) and \(h_L\); the \([SU(2)_L]^2 U(1)_S\) anomaly is zero because \((u,d)_L\) and \((\nu ,l)_L\) do not transform under \(U(1)_S\); the \([SU(2)_R]^2 U(1)_S\) and \([SU(2)_R]^2 U(1)_X\) anomalies are both canceled by summing over \((u,h)_R\), \((n,l)_R\), \((\psi _1^0,\psi _1^-)_R\), and \((\psi _2^+,\psi _2^0)_R\); the addition of \(\chi _R^\pm \) renders the \([U(1)_X]^2 U(1)_S\), \(U(1)_X [U(1)_S]^2\), \([U(1)_X]^3\), and \(U(1)_X\) anomalies zero; and the further addition of \(\chi ^0_{1R}\) and \(\chi ^0_{2R}\) kills both the \([U(1)_S]^3\) and the \(U(1)_S\) anomalies, i.e.

$$\begin{aligned} 0= & {} 3\left[ 6(-1/2)^3-3(-1)^3+2(1/2)^3-(1)^3\right] \nonumber \\&+\, 2(2)^3 +2(1)^3 + 2(-3/2)^3 +(-1/2)^3 + (-5/2)^3, \nonumber \\\end{aligned}$$
(1)
$$\begin{aligned} 0= & {} 3\left[ 6(-1/2)-3(-1)+2(1/2)-(1)\right] \nonumber \\&+\, 2(2) +2(1) + 2(-3/2) +(-1/2) + (-5/2). \end{aligned}$$
(2)

The scalar \(SU(2)_L \times SU(2)_R\) bidoublet is given by

$$\begin{aligned} \eta = \begin{pmatrix} \eta ^0_1 &{}\quad \eta _2^+ \\ \eta _1^- &{}\quad \eta _2^0 \end{pmatrix}, \end{aligned}$$
(3)

with \(SU(2)_L\) transforming vertically and \(SU(2)_R\) horizontally. Under \(T_{3R} + S\), the neutral scalars \(\phi _R^0\) and \(\eta _2^0\) are zero, so that their vacuum expectation values do not break \(T_{3R} + S\), which remains as a global symmetry. However, \(\langle \sigma \rangle \ne 0\) does break \(T_{3R} + S\) and gives masses to \(\psi ^0_{1R} \psi ^0_{2R} - \psi ^-_{1R} \psi ^+_{2R}\), \(\chi ^+_R \chi ^-_R\), and \(\chi ^0_{1R} \chi ^0_{2R}\). These exotic fermions all have half-integral charges [6] under \(T_{3R} + S\) and only communicate with the others with integral charges through \(W_R^\pm \), \(\sqrt{2} Re(\phi ^0_R)\), \(\zeta \), and the two extra neutral gauge bosons beyond the Z. Some explicit Yukawa terms are

$$\begin{aligned}&(\psi _{1R}^0 \phi _R^- + \psi _{1R}^- \bar{\phi }_R^0) \chi _R^+, ~~~ (\psi _{2R}^+ \phi _R^0 - \psi _{2R}^0 \phi _R^+) \chi _R^-, \end{aligned}$$
(4)
$$\begin{aligned}&(\psi _{1R}^0 \phi _R^0 - \psi _{1R}^- \phi _R^+) \chi ^0_{2R}, ~~~ (\psi _{2R}^+ \phi _R^- + \psi _{2R}^0 \bar{\phi }_R^0) \chi ^0_{1R}. \end{aligned}$$
(5)

This dichotomy of particle content results in an additional unbroken symmetry of the Lagrangian, i.e. discrete \(Z_2\) under which the exotic fermions are odd. Hence dark matter has two layers: those with nonzero \(T_{3R} + S\) and even \(Z_2\), i.e. \(n, h, W_R^\pm , \phi ^\pm _R, \eta _1^\pm , \eta _1^0, \bar{\eta }_1^0\), \(\zeta \), and the underlying exotic fermions with odd \(Z_2\). Without \(\zeta \), a global \(S'\) symmetry remains. With \(\zeta \), because of the \(\zeta ^3 \sigma ^*\) and \(\chi ^0_{1R} \chi ^0_{1R} \zeta \) terms, the \(S'\) symmetry breaks to \(Z_3\).

Table 2 Particle content of proposed model under \((T_{3R} + S) \times Z_2\)

Let

$$\begin{aligned} \langle \phi ^0_L \rangle = v_1, \quad \langle \eta ^0_2 \rangle = v_2, \quad \langle \phi ^0_R \rangle = v_R, \quad \langle \sigma \rangle = v_S, \end{aligned}$$
(6)

then the \(SU(3)_C \times SU(2)_L \times SU(2)_R \times U(1)_X \times U(1)_S\) gauge symmetry is broken to \(SU(3)_C \times U(1)_Q\) with \(S'\), which becomes \(Z_3\), as shown in Table 2 with \(\omega ^3 = 1\). The discrete \(Z_2\) symmetry is unbroken. Note that the global \(S'\) assignments for the exotic fermions are not \(T_{3R} + S\) because of \(v_S\), which breaks the gauge \(U(1)_S\) by 3 units.

4 Gauge sector

Consider now the masses of the gauge bosons. The charged ones, \(W_L^\pm \) and \(W_R^\pm \), do not mix because of \(S'(Z_3)\), as in the original alternative left–right models. Their masses are given by

$$\begin{aligned} M_{W_L}^2 = {1 \over 2} g_L^2 \left( v_1^2 + v_2^2\right) , \quad M_{W_R}^2 = {1 \over 2} g_R^2 \left( v_R^2 + v_2^2\right) . \end{aligned}$$
(7)

Since \(Q = I_{3L} + I_{3R} + X\), the photon is given by

$$\begin{aligned} A = {e \over g_L} W_{3L} + {e \over g_R} W_{3R} + {e \over g_X} X, \end{aligned}$$
(8)

where \(e^{-2} = g_L^{-2} + g_R^{-2} + g_X^{-2}\). Let

$$\begin{aligned} Z= & {} (g_L^2 + g_Y^2)^{-1/2} \left( g_L W_{3L} - {g_Y^2 \over g_R} W_{3R} - {g_Y^2 \over g_X} X \right) , \end{aligned}$$
(9)
$$\begin{aligned} Z'= & {} (g_R^2 + g_X^2)^{-1/2} ( g_R W_{3R} - g_X X), \end{aligned}$$
(10)

where \(g_Y^{-2} = g_R^{-2} + g_X^{-2}\), then the \(3 \times 3\) mass-squared matrix spanning \((Z,Z',S)\) has the entries:

$$\begin{aligned} M^2_{ZZ}= & {} {1 \over 2} \left( g_L^2 + g_Y^2\right) \left( v_1^2 + v_2^2\right) , \end{aligned}$$
(11)
$$\begin{aligned} M^2_{Z'Z'}= & {} {1 \over 2} \left( g_R^2 + g_X^2\right) v_R^2 + {g_X^4 v_1^2 + g_R^4 v_2^2 \over 2\left( g_R^2 + g_X^2\right) }, \end{aligned}$$
(12)
$$\begin{aligned} M^2_{SS}= & {} 18 g_S^2 v_S^2 + {1 \over 2} g_S^2 \left( v_R^2 + v_2^2\right) , \end{aligned}$$
(13)
$$\begin{aligned} M^2_{ZZ'}= & {} {\sqrt{g_L^2 + g_Y^2} \over 2\sqrt{g_R^2 + g_X^2}} \left( g_X^2 v_1^2 - g_R^2 v_2^2\right) , \end{aligned}$$
(14)
$$\begin{aligned} M^2_{ZS}= & {} {1 \over 2} g_S \sqrt{g_L^2 + g_Y^2} v_2^2, \end{aligned}$$
(15)
$$\begin{aligned} M^2_{Z'S}= & {} -{1 \over 2} g_S \sqrt{g_R^2 - g_X^2} v_R^2 - {g_S g_R v_2^2 \over 2 \sqrt{g_R^2 + g_X^2}}. \end{aligned}$$
(16)

Their neutral-current interactions are given by

$$\begin{aligned} \mathcal{L}_{NC}= & {} e A_\mu j^\mu _Q + g_Z Z_\mu \left( j^\mu _{3L} - \sin ^2 \theta _W j^\mu _Q\right) \nonumber \\&+ \left( g_R^2 + g_X^2\right) ^{-1/2} Z'_\mu \left( g_R^2 j^\mu _{3R} - g_X^2 j^\mu _X\right) {+} g_S S_\mu j^\mu _S,\nonumber \\ \end{aligned}$$
(17)

where \(g_Z^2 = g_L^2 + g_Y^2\) and \(\sin ^2 \theta _W = g_Y^2/g_Z^2\).

In the limit \(v^2_{1,2}<< v^2_R, v^2_S\), the mass-squared matrix spanning \((Z',S)\) may be simplified if we assume

$$\begin{aligned} {v_S^2 \over v_R^2} = {\left( g_R^2 + g_X^2 + g_S^2\right) ^2 \over 36 g_S^2 \left( g_R^2 + g_X^2 - g_S^2\right) }, \end{aligned}$$
(18)

and let

$$\begin{aligned} \tan \theta _D = {\sqrt{g_R^2 + g_X^2} - g_S \over \sqrt{g_R^2 + g_X^2} + g_S}; \end{aligned}$$
(19)

then

$$\begin{aligned} \begin{pmatrix} D_1 \\ D_2 \end{pmatrix} = \begin{pmatrix} \cos \theta _D &{}\quad \sin \theta _D \\ -\sin \theta _D &{}\quad \cos \theta _D \end{pmatrix} \begin{pmatrix} Z' \\ S \end{pmatrix}, \end{aligned}$$
(20)

with mass eigenvalues given by

$$\begin{aligned} M^2_{D_1}= & {} \sqrt{g_R^2 + g_X^2} \sqrt{g_R^2 + g_X^2 + g_S^2} {v_R^2 \over 2 \sqrt{2} \cos \theta _D}, \end{aligned}$$
(21)
$$\begin{aligned} M^2_{D_2}= & {} \sqrt{g_R^2 + g_X^2} \sqrt{g_R^2 + g_X^2 + g_S^2} {v_R^2 \over 2 \sqrt{2} \sin \theta _D}. \end{aligned}$$
(22)

In addition to the assumption of Eq. (18), let us take for example

$$\begin{aligned} 2 g_S = \sqrt{g_R^2 + g_X^2}, \end{aligned}$$
(23)

then \(\sin \theta _D = 1/\sqrt{10}\) and \(\cos \theta _D = 3/\sqrt{10}\). Assuming also that \(g_R = g_L\), we obtain

$$\begin{aligned}&{g_X^2 \over g_Z^2} = {\sin ^2 \theta _W \cos ^2 \theta _W \over \cos 2 \theta _W},\quad {g_S \over g_Z} = {\cos ^2 \theta _W \over 2 \sqrt{\cos 2 \theta _W}}, \end{aligned}$$
(24)
$$\begin{aligned}&{v^2_S \over v^2_R} = {25 \over 108}, \quad M^2_{D_2} = 3 M^2_{D_1} = {5 \cos ^4 \theta _W \over 4 \cos 2 \theta _W} g_Z^2 v_R^2. \end{aligned}$$
(25)

The resulting gauge interactions of \(D_{1,2}\) are given by

$$\begin{aligned} \mathcal{L}_D= & {} {g_Z \over \sqrt{10} \sqrt{\cos 2 \theta _W}} \left\{ \left[ 3 \cos 2 \theta _W j^\mu _{3R} - 3 \sin ^2 \theta _W j^\mu _X \right. \right. \nonumber \\&\left. \left. \quad + (1/2)\cos ^2 \theta _W j^\mu _S\right] D_{1\mu } \right. \nonumber \\&\quad + \left. \left[ - \cos 2 \theta _W j^\mu _{3R} + \sin ^2 \theta _W j^\mu _X\right. \right. \nonumber \\&\quad \left. \left. + (3/2)\cos ^2 \theta _W j^\mu _S\right] D_{2\mu } \right\} . \end{aligned}$$
(26)

Since \(D_2\) is \(\sqrt{3}\) times heavier than \(D_1\) in this example, the latter would be produced first in pp collisions at the Large Hadron Collider (LHC).

5 Fermion sector

All fermions obtain masses through the four vacuum expectation values of Eq. (6) except \(\nu _R\), which is allowed to have an invariant Majorana mass. This means that neutrino masses may be small from the usual canonical seesaw mechanism. The various Yukawa terms for the quark and lepton masses are

$$\begin{aligned} -\mathcal{L}_Y= & {} {m_u \over v_2} \left[ \bar{u}_R ({u}_L {\eta }^0_2 - {d}_L \eta _2^+) + \bar{h}_R(-{u}_L \eta _2^- + {d}_L {\eta }_1^0)\right] \nonumber \\&+\, {m_d \over v_1} \left( \bar{u}_L \phi _L^+ + \bar{d}_L \phi _L^0\right) d_R + {m_h \over v_R} \left( \bar{u}_R \phi _R^+ + \bar{h}_R \phi _R^0\right) h_L \nonumber \\&+\, {m_l \over v_2} \left[ \left( \bar{\nu }_L \eta _1^0 + \bar{l}_L \eta _1^-\right) n_R + \left( \bar{\nu }_L \eta _2^+ + \bar{l}_L \eta _2^0\right) l_R\right] \nonumber \\&+\, {m_D \over v_1} \bar{\nu }_R\left( {\nu }_L {\phi }_L^0 - {l}_L \phi _L^+\right) \nonumber \\&+\, {m_n \over v_R} \bar{n}_L \left( n_R \phi _R^0 - l_R \phi _R^-\right) + H.c. \end{aligned}$$
(27)

These terms show explicitly that the assignments of Tables 1 and 2 are satisfied.

As for the exotic \(\psi \) and \(\chi \) fermions, they have masses from the Yukawa terms of Eqs. (4) and (5), as well as from

$$\begin{aligned} (\phi ^0_{1R} \psi ^0_{2R} - \psi ^-_{1R} \psi ^+_{2R}) \sigma ^*, \quad \chi ^-_R \chi ^+_R \sigma , \quad \chi ^0_{1R} \chi ^0_{2R} \sigma . \end{aligned}$$
(28)

As a result, two neutral Dirac fermions are formed from the matrix linking \(\chi ^0_{1R}\) and \(\psi ^0_{1R}\) to \(\chi ^0_{2R}\) and \(\psi ^0_{2R}\). Let us call the lighter of these two Dirac fermions \(\chi _0\), then it is one component of dark matter of our model. The other will be the scalar \(\zeta \), to be discussed later. Note that \(\chi _0\) communicates with \(\zeta \) through the allowed \(\chi ^0_{1R} \chi ^0_{1R} \zeta \) interaction. Note also that the allowed Yukawa terms

$$\begin{aligned} \bar{d}_R h_L \zeta , ~~~ \bar{n}_L \nu _R \zeta \end{aligned}$$
(29)

enable the dark fermions h and n to decay into \(\zeta \).

6 Scalar sector

Consider the most general scalar potential consisting of \(\Phi _{L,R}\), \(\eta \), and \(\sigma \). Let

$$\begin{aligned} \eta = \begin{pmatrix} \eta _1^0 &{}\quad \eta _2^+ \\ \eta _1^- &{}\quad \eta _2^0 \end{pmatrix} ,\quad \tilde{\eta } = \sigma _2 \eta ^* \sigma _2 = \begin{pmatrix}\bar{\eta }_2^0 &{}\quad -\eta _1^+ \\ -\eta _2^- &{}\quad \bar{\eta }_1^0 \end{pmatrix}; \end{aligned}$$
(30)

then

$$\begin{aligned} V= & {} -\mu ^2_L \Phi _L^\dagger \Phi _L - \mu ^2_R \Phi _R^\dagger \Phi _R - \mu ^2_\sigma \sigma ^* \sigma - \mu ^2_\eta Tr(\eta ^\dagger \eta )\nonumber \\&+\, [\mu _3 \Phi _L^\dagger \eta \Phi _R + H.c.] \nonumber \\&+\, {1 \over 2} \lambda _L (\Phi _L^\dagger \Phi _L)^2 + {1 \over 2} \lambda _R (\Phi _R^\dagger \Phi _R)^2 + {1 \over 2} \lambda _\sigma (\sigma ^* \sigma )^2 \nonumber \\&+\, {1 \over 2} \lambda _\eta [Tr(\eta ^\dagger \eta )]^2 + {1 \over 2} \lambda '_\eta Tr(\eta ^\dagger \eta \eta ^\dagger \eta ) \nonumber \\&+\, \lambda _{LR} (\Phi _L^\dagger \Phi _L)(\Phi _R^\dagger \Phi _R) + \lambda _{L\sigma } (\Phi _L^\dagger \Phi _L) (\sigma ^* \sigma ) \nonumber \\&+\, \lambda _{R\sigma } (\Phi _R^\dagger \Phi _R) (\sigma ^* \sigma ) \nonumber \\&+\, \lambda _{\sigma \eta } (\sigma ^* \sigma ) Tr(\eta ^\dagger \eta ) \nonumber \\&+\, \lambda _{L\eta } \Phi _L^\dagger \eta \eta ^\dagger \Phi _L + \lambda '_{L\eta } \Phi _L^\dagger \tilde{\eta } \tilde{\eta }^\dagger \Phi _L + \lambda _{R\eta } \Phi _R^\dagger \eta ^\dagger \eta \Phi _R \nonumber \\&+\, \lambda '_{R\eta } \Phi _R^\dagger \tilde{\eta }^\dagger \tilde{\eta } \Phi _R. \end{aligned}$$
(31)

Note that

$$\begin{aligned} 2 |det(\eta )|^2= & {} [Tr(\eta ^\dagger \eta )]^2 - Tr(\eta ^\dagger \eta \eta ^\dagger \eta ), \end{aligned}$$
(32)
$$\begin{aligned} (\Phi _L^\dagger \Phi _L) Tr(\eta ^\dagger \eta )= & {} \Phi _L^\dagger \eta \eta ^\dagger \Phi _L + \Phi _L^\dagger \tilde{\eta } \tilde{\eta }^\dagger \Phi _L, \end{aligned}$$
(33)
$$\begin{aligned} (\Phi _R^\dagger \Phi _R) Tr(\eta ^\dagger \eta )= & {} \Phi _R^\dagger \eta ^\dagger \eta \Phi _R + \Phi _R^\dagger \tilde{\eta }^\dagger \tilde{\eta } \Phi _R. \end{aligned}$$
(34)

The minimum of V satisfies the conditions

$$\begin{aligned} \mu _L^2= & {} \lambda _L v_1^2 + \lambda _{L\eta } v_2^2 + \lambda _{LR} v_R^2 \nonumber \\&+\, \lambda _{L\sigma } v_S^2 + \mu _3 v_2 v_R/v_1, \end{aligned}$$
(35)
$$\begin{aligned} \mu _\eta ^2= & {} (\lambda _\eta + \lambda '_\eta ) v_2^2 + \lambda _{L\eta } v_1^2 + \lambda _{R\eta } v_R^2 \nonumber \\&+\, \lambda _{\sigma \eta } v_S^2 + \mu _3 v_1 v_R/v_2, \end{aligned}$$
(36)
$$\begin{aligned} \mu _R^2= & {} \lambda _R v_R^2 + \lambda _{LR} v_1^2 + \lambda _{R\eta } v_2^2 \nonumber \\&+\, \lambda _{R\sigma } v_S^2 + \mu _3 v_1 v_2/v_R, \end{aligned}$$
(37)
$$\begin{aligned} \mu _\sigma ^2= & {} \lambda _\sigma v_S^2 + \lambda _{L\sigma } v_1^2 \nonumber \\&+\, \lambda _{\sigma \eta } v_2^2 + \lambda _{R\sigma } v_R^2. \end{aligned}$$
(38)

The \(4 \times 4\) mass-squared matrix spanning \(\sqrt{2}Im(\phi _L^0,\eta _2^0, \phi _R^0,\sigma )\) is then given by

$$\begin{aligned} \mathcal{M}^2_I = \mu _3 \begin{pmatrix} -v_2v_R/v_1 &{} v_R &{} v_2 &{} 0 \\ v_R &{} -v_1v_R/v_2 &{} -v_1 &{} 0 \\ v_2 &{} -v_1 &{} -v_1v_2/v_R &{} 0 \\ 0 &{} 0 &{} 0 &{} 0 \end{pmatrix} \end{aligned}$$
(39)

and that spanning \(\sqrt{2}Re(\phi _L^0,\eta _2^0,\phi _R^0,\sigma )\) is

$$\begin{aligned} \mathcal{M}^2_R= & {} \mu _3 \begin{pmatrix} -v_2v_R/v_1 &{} v_R &{} v_2 &{} 0 \\ v_R &{} -v_1v_R/v_2 &{} v_1 &{} 0 \\ v_2 &{} v_1 &{} -v_1v_2/v_R &{} 0 \\ 0 &{} 0 &{} 0 &{} 0 \end{pmatrix} \nonumber \\+ & {} 2 \begin{pmatrix} \lambda _L v_1^2 &{}\quad \lambda _{L\eta }v_1v_2 &{}\quad \lambda _{LR}v_1 v_R &{} \quad \lambda _{L\sigma } v_1 v_S \\ \lambda _{L\eta }v_1v_2 &{}\quad (\lambda _\eta + \lambda '_\eta )v_2^2 &{}\quad \lambda _{R\eta }v_2v_R &{}\quad \lambda _{\sigma \eta } v_2 v_S \\ \lambda _{LR} v_1 v_R &{}\quad \lambda _{R\eta } v_2 v_R &{} \quad \lambda _R v_R^2 &{}\quad \lambda _{R\sigma } v_R v_S \\ \lambda _{L\sigma } v_1v_S &{}\quad \lambda _{\sigma \eta }v_2v_S &{}\quad \lambda _{R\sigma } v_R v_S &{}\quad \lambda _\sigma v_S^2 \end{pmatrix}.\nonumber \\ \end{aligned}$$
(40)

Hence there are three zero eigenvalues in \(\mathcal{M}^2_I\) with one nonzero eigenvalue \(-\mu _3[v_1 v_2/v_R + v_R (v_1^2+v_2^2)/v_1v_2]\) corresponding to the eigenstate \((-v_1^{-1},v_2^{-1},v_R^{-1},0)/\sqrt{v_1^{-2}+v_2^{-2}+v_R^{-2}}\). In \(\mathcal{M}^2_R\), the linear combination \(H = (v_1,v_2,0,0)/\sqrt{v_1^2+v_2^2}\), is the standard-model Higgs boson, with

$$\begin{aligned} m_H^2 = 2[\lambda _L v_1^4 + (\lambda _\eta + \lambda '_\eta ) v_2^4 + 2 \lambda _{L\eta } v_1^2 v_2^2]/(v_1^2 + v_2^2).\nonumber \\ \end{aligned}$$
(41)

The other three scalar bosons are much heavier, with suppressed mixing to H, which may all be assumed to be small enough to avoid the constraints from dark-matter direct-search experiments. The addition of the scalar \(\zeta \) introduces two important new terms:

$$\begin{aligned} \zeta ^3 \sigma ^*, \quad (\eta _1^0 \eta _2^0 - \eta _1^- \eta _2^+) \zeta . \end{aligned}$$
(42)

The first term breaks global \(S'\) to \(Z_3\), and the second term mixes \(\zeta \) with \(\eta _1^0\) through \(v_2\). We assume the latter to be negligible, so that the physical dark scalar is mostly \(\zeta \).

7 Present phenomenological constraints

Many of the new particles of this model interact with those of the standard model. The most important ones are the neutral \(D_{1,2}\) gauge bosons, which may be produced at the LHC through their couplings to u and d quarks, and decay to charged leptons (\(e^-e^+\) and \(\mu ^-\mu ^+\)). As noted previously, in our chosen example, \(D_1\) is the lighter of the two. Hence current search limits for a \(Z'\) boson are applicable [7, 8]. The \(c_{u,d}\) coefficients used in the data analysis are

$$\begin{aligned} c_u= & {} \left( g_{uL}^2 + g_{uR}^2\right) B = 0.0273~B,\nonumber \\ c_d= & {} \left( g_{dL}^2 +g_{dR}^2\right) B = 0.0068~B, \end{aligned}$$
(43)

where B is the branching fraction of \(Z'\) to \(e^-e^+\) and \(\mu ^-\mu ^+\). Assuming that \(D_1\) decays to all the particles listed in Table 2, except for the scalars which become the longitudinal components of the various gauge bosons, we find \(B = 1.2 \times 10^{-2}\). Based on the 2016 LHC 13 TeV data set from ATLAS [9], this translates to a bound of about 4 TeV on the \(D_1\) mass.

The would-be dark-matter candidate n is a Dirac fermion which couples to \(D_{1,2}\), which also couples to quarks. Hence severe limits exist on the masses of \(D_{1,2}\) from underground direct-search experiments as well. The annihilation cross section of n through \(D_{1,2}\) would then be too small, so that its relic abundance would be too big for it to be a dark-matter candidate. Its annihilation at rest through s-channel scalar exchange is p-wave suppressed and does not help, barring of course any accidental resonance enhancement. As for the t-channel diagrams, they also turn out to be too small. Suggestions of previous studies [2, 3] where n is chosen as dark matter are now ruled out.

8 Dark sector

Dark matter is envisioned to have two components. One is a Dirac fermion \(\chi _0\), which is a mixture of the four neutral fermions of odd \(Z_2\), and the other is a complex scalar boson which is mostly \(\zeta \), with the added assumption that \(m_{\chi _0}\) is significantly greater than \(m_\zeta \). The annihilation \(\chi _0 \bar{\chi }_0 \rightarrow \zeta \zeta ^*\) determines the relic abundance of \(\chi _0\), and the annihilation \(\zeta \zeta ^* \rightarrow H H\), where H is the standard-model Higgs boson, determines that of \(\zeta \). The direct \(\zeta \zeta ^* H\) coupling is assumed small to avoid the severe constraint in direct-search experiments.

Let the interaction of \(\zeta \) with \(\chi _0\) be \(f_0 \zeta \chi _{0R} \chi _{0R} + H.c.\), then the annihilation cross section of \(\chi _0 \bar{\chi }_0\) to \(\zeta \zeta ^*\) times relative velocity is given by

$$\begin{aligned} \langle \sigma \times v_{rel} \rangle _\chi = {f_0^4 \over 4 \pi m_{\chi _0}} {\left( m^2_{\chi _0} - m^2_\zeta \right) ^{3/2} \over \left( 2 m^2_{\chi _o} - m^2_\zeta \right) ^2}. \end{aligned}$$
(44)

This determines the relic abundance of \(\chi _0\).

As the Universe cools below \(m_{\chi _0}\), \(\chi _0\) decouples from the thermal bath. We assume that \(m_\zeta \) is much below \(m_{\chi _0}\) so that \(\chi _0\) is essentialy frozen out at \(m_\zeta \). The relic abundance of \(\zeta \) is then mostly determined by \(\zeta \zeta ^* \rightarrow HH\). Let the effective interaction strength of \(\zeta \zeta ^*\) with HH be \(\lambda _0\), then the annihilation cross section of \(\zeta \zeta ^*\) to HH times relative velocity is given by

$$\begin{aligned} \langle \sigma _\zeta \times v_{rel} \rangle _\zeta = {\lambda _0^2 \over 16 \pi } {\left( m_\zeta ^2 - m_H^2\right) ^{1/2} \over m^3_\zeta }. \end{aligned}$$
(45)

Note that \(\lambda _0\) is the sum over several interactions. The quartic coupling \(\lambda _{\zeta H}\) is assumed negligible, to suppress the trilinear \(\zeta \zeta ^* H\) coupling which contributes to the elastic \(\zeta \) scattering cross section off nuclei. However, the trilinear couplings \(\zeta \zeta ^* Re(\phi _R^0)\) and \(Re(\phi _R^0) H H\) are proportional to \(v_R\), and the trilinear couplings \(\zeta \zeta ^* Re(\sigma )\) and \(Re(\sigma ) H H\) are proportional to \(v_S\). Hence their effective contributions to \(\lambda _0\) are proportional to \(v_R^2/m^2[\sqrt{2}Re(\phi _R^0)]\) and \(v_S^2/m^2[\sqrt{2} Re(\sigma )]\), which are not suppressed. Whereas there are other possible contributions to Eqs. (44) and (45), we assume that the \(f_0\) and \(\lambda _0\) interactions are in fact dominant.

As a rough estimate, we will assume that

$$\begin{aligned} \langle \sigma \times v_{rel} \rangle _\chi ^{-1} + \langle \sigma _\zeta \times v_{rel} \rangle _\zeta ^{-1} = (4.4 \times 10^{-26}~\mathrm{cm}^3/s)^{-1}\nonumber \\ \end{aligned}$$
(46)

to satisfy the condition of dark-matter relic abundance [10] of the Universe. For given values of \(m_\zeta \) and \(m_{\chi _0}\), the parameters \(\lambda _0\) and \(f_0\) are thus constrained. We show in Fig. 1 the plots of \(\lambda _0\) versus \(f_0\) for \(m_\zeta = 150\) GeV and various values of \(m_{\chi _0}\). Since \(m_\zeta \) is fixed at 150 GeV, \(\lambda _0\) is also fixed for a given fraction of \(\Omega _\zeta /\Omega _{DM}\). To adjust for the rest of dark matter, \(f_0\) must then vary as a function of \(m_{\chi _0}\) according to Eq. (44).

As for direct detection, both \(\chi _0\) and \(\zeta \) have possible interactions with quarks through the gauge bosons \(D_{1,2}\) and the standard-model Higgs boson H. They are suppressed by making the \(D_{1,2}\) masses heavy, and the H couplings to \(\chi _0\) and \(\zeta \) small. In our example with \(m_\zeta = 150\) GeV, let us choose \(m_{\chi _0} = 500\) Gev and the relic abundances of both to be equal. From Fig. 1, these choices translate to \(\lambda _0 = 0.12\) and \(f_0 = 0.56\).

Fig. 1
figure 1

Relic-abundance constraints on \(\lambda _0\) and \(f_0\) for \(m_\zeta = 150\) GeV and various values of \(m_{\chi _0}\)

Consider first the \(D_{1,2}\) interactions. Using Eq. (26), we obtain

$$\begin{aligned} g^V_u(D_1)= & {} 0.0621, \quad g^V_d(D_1) = 0.0184,\quad g_\zeta (D_1) = 0.1234, \nonumber \\\end{aligned}$$
(47)
$$\begin{aligned} g^V_u(D_2)= & {} -0.1235, \quad g^V_d(D_2) = -0.0062,\quad g_\zeta (D_2) = 0.3701.\nonumber \\ \end{aligned}$$
(48)

The effective \(\zeta \) elastic scattering cross section through \(D_{1,2}\) is then completely determined as a function of the \(D_1\) mass (because \(M_{D_2} = \sqrt{3} M_{D_1}\) in our example), i.e.

$$\begin{aligned} \mathcal{L}^V_{\zeta q}= & {} {(\zeta ^* \partial _\mu - \zeta \partial _\mu \zeta ^*) \over M^2_{D_1}} \left[ (-7.57 \times 10^{-3}) \bar{u} \gamma ^\mu \right. \nonumber \\&\left. u + (1.51 \times 10^{-3}) \bar{d} \gamma ^\mu d\right] . \end{aligned}$$
(49)

Using the most recent XENON result [11] at \(m_\zeta = 150\) GeV for which \(\sigma < 2 \times 10^{-46}~\mathrm{cm}^2\) and Eq. (25), we obtain \(v_R > 35\) TeV which translates to \(M_{D_1} > 18\) TeV, and \(M_{W_R} > 16\) TeV. These are a few percent more restrictive than the most recent LUX result [12].

The \(\bar{\chi _0} \gamma _\mu \chi _0\) couplings to \(D_{1,2}\) depend on the \(2 \times 2\) mass matrix linking \((\chi _1,\psi _1)\) to \((\chi _2,\psi _2)\), which has two mixing angles and two mass eigenvalues, the smaller one being \(m_{\chi _0}\). By adjusting these parameters, it is possible to make the effective \(\chi _0\) interaction to any particular nucleus through \(D_{1,2}\) negligibly small. Hence there is no useful limit on the \(D_1\) mass in this case. Note that the amplitude cancellation here is through \(D_{1,2}\) and not necessarily through u and d quarks (which are not adjustable in this model), as would be necessary in models with only one vector mediator.

Direct search also constrains the coupling of the Higgs boson to \(\zeta \) (through a possible trilinear \(\lambda _{\zeta H} \sqrt{2} v_H \zeta ^* \zeta \) interaction) or \(\chi _0\) (through an effective Yukawa coupling \(\epsilon \) from H mixing with \(\sigma _R\) and \(\phi _R^0\)). Let their effective interactions with quarks through H exchange be given by

$$\begin{aligned} \mathcal{L}^S_{\zeta q} = {\lambda _{\zeta H} m_q \over m_H^2} \zeta ^* \zeta \bar{q} q + {\epsilon f_q \over m_H^2} \bar{\chi }_0 \chi _0 \bar{q} q, \end{aligned}$$
(50)

where \(f_q = m_q/\sqrt{2}v_H = m_q/(246~\mathrm{GeV})\). The spin-independent direct-detection cross section per nucleon in the former is given by

$$\begin{aligned} \sigma ^{SI} = {\mu ^2_\zeta \over \pi A^2} [\lambda _p Z + (A-Z)\lambda _n]^2, \end{aligned}$$
(51)

where \(\mu _{\zeta } = m_\zeta M_A/(m_\zeta + M_A)\) is the reduced mass of the dark matter, and [13]

$$\begin{aligned} \lambda _N = \left[ \sum _{u,d,s} f_q^N + {2 \over 27} \left( 1 - \sum _{u,d,s} f_q^N \right) \right] {\lambda _{\zeta H} m_N \over 2 m_\zeta m_H^2}, \end{aligned}$$
(52)

with [14]

$$\begin{aligned} f_u^p= & {} 0.0139, \quad f_d^p = 0.0253, \quad f_s^p = 0.113, \end{aligned}$$
(53)
$$\begin{aligned} f_u^n= & {} 0.0116, \quad f_d^n = 0.0302, \quad f_s^n = 0.113. \end{aligned}$$
(54)

For \(m_\zeta = 150\) GeV, we have

$$\begin{aligned} \lambda _p= & {} 4.30 \times 10^{-8} \lambda _{\zeta H}~\mathrm{GeV}^{-2},\nonumber \\ \lambda _n= & {} 4.35 \times 10^{-8} \lambda _{\zeta H}~\mathrm{GeV}^{-2}. \end{aligned}$$
(55)

Using \(A=131\), \(Z=54\), and \(M_A=130.9\) atomic mass units for the XENON experiment [11], and twice the most recent bound of \(2 \times 10^{-46}~\mathrm{cm}^2\) (at \(m_\zeta = 150\) GeV) because \(\zeta \) is assumed to account for only half of the dark matter) at this mass, we find

$$\begin{aligned} \lambda _{\zeta H} < 6.2 \times 10^{-4}. \end{aligned}$$
(56)

As noted earlier, this is negligible for considering the annihilation cross section of \(\zeta \) to H.

For the H contribution to the \(\chi _0\) elastic cross section off nuclei, we replace \(m_\zeta \) with \(m_{\chi _0} = 500\) GeV in Eq. (51) and \(\lambda _{\zeta H}/2 m_\zeta \) with \(\epsilon /\sqrt{2}v_H\) in Eq. (52). Using the experimental data at 500 GeV, we obtain the bound.

$$\begin{aligned} \epsilon < 6.4 \times 10^{-4}. \end{aligned}$$
(57)

From the above discussion, it is clear that it is possible for future improvements in direct-search experiments to yield positive results within the framework of our model.

9 Conclusion and outlook

In the context of the alternative left–right model, a new gauge \(U(1)_S\) symmetry has been proposed to stabilize dark matter. This is accomplished by the addition of a few new fermions to cancel all the gauge anomalies, as shown in Table 1. As a result of this particle content, an automatic unbroken \(Z_2\) symmetry exists on top of \(U(1)_S\), which is broken to a conserved residual \(Z_3\) symmetry. Thus dark matter has two components. One is the Dirac fermion \(\chi _0 \sim (\omega ,-)\) and the other the complex scalar \(\zeta \sim (\omega ,+)\) under \(Z_3 \times Z_2\). We have shown how they may account for the relic abundance of dark matter in the Universe, and satisfy present experimental search bounds.

Whereas we have no specific prediction for discovery in direct-search experiments, our model will be able to accommodate any positive result in the future, just like many other existing proposals. To single out our model, many additional details must also be confirmed. Foremost are the new gauge bosons \(D_{1,2}\). Whereas the LHC bound is about 4 TeV, the direct-search bound is much higher, provided that \(\zeta \) is a significant fraction of dark matter. If \(\chi _0\) dominates instead, the adjustment of free parameters of our model can lower this bound to below 4 TeV. In that case, future \(D_{1,2}\) observations are still possible at the LHC as more data become available.

Another is the exotic h quark which is easily produced if kinematically allowed. It would decay to d and \(\zeta \) through the direct \(\bar{d}_R h_L \zeta \) coupling of Eq. (29). Assuming that this branching fraction is 100%, the search at the LHC for 2 jets plus missing energy puts a limit on \(m_h\) of about 1.0 TeV, as reported by the CMS Collaboration [15] based on the \(\sqrt{s} = 13\) TeV data at the LHC with an integrated luminosity of 35.9 fb\(^{-1}\) for a single scalar quark.

If the \(\bar{d}_R h_L \zeta \) coupling is very small, then h may also decay significantly to u and a virtual \(W_R^-\), with \(W_R^-\) becoming \(\bar{n} l^-\), and \(\bar{n}\) becoming \(\bar{\nu } \zeta ^*\). This has no analog in the usual searches for supersymmetry or the fourth family because \(W_R\) is heavy (\(> 16\) TeV). To be specific, the final states of 2 jets plus \(l_1^- l_2^+\) plus missing energy should be searched for. As more data are accumulated at the LHC, such events may become observable.