1 Introduction

It is known that our visible world is made of either matter or anti-matter only, depending on how we define them. Observations indicate that the asymmetry between matter and anti-matter in terms of the ratio of baryon-to-entropy density is about \(10^{-10}\) [1, 2]. Such an asymmetry could be an initial condition of the universe evolving to our present universe. However, in the presence of inflation [3,4,5] which is now believed to be a crucial ingredient of the thermal history of the universe at a very early epoch, typically well before the conventional electroweak phase transition, an initial asymmetry which might have existed is expected to be diluted to a totally negligible level, and hence there should be a process, called baryogenesis, able to generate an asymmetry after inflation.

Typically, when it works through particle-interactions, a baryo/leptogenesis mechanism is required to satisfy the so called Sakharov conditions [6,7,8,9], i.e., (i) baryon (B)/lepton (L) number violating process, (ii) C- and CP-violation, and (iii) out-of-equilibrium decay of particles producing baryon/lepton number. However, when the dynamics of a background field is involved, the above conditions can be relaxed. Spontaneous baryogenesis [10, 11] (see also Ref. [12] for cosmological aspects), is a specially interesting case as the asymetry can be generated in equilibrium. The key feature of spontaneous baryogenesis is that, when a baryon/lepton current is coupled to a background evolution of a field, the time-dependence of the field can provide an effective chemical potential associated with baryon/lepton number. As a result, in the presence of B- or L-violating processes in thermal equilibrium, an asymmetry of B- or L-number can be generated even in the thermal bath. The main question in this novel scenario is the identity of the background field and its precise nature which should allow B- or L-violating processes in thermal equilibrium. In principle, the background field can be any scalar field which has a sizable time-evolution at the epoch of baryo/leptogenesis as long as the symmetries of the theory allow a time-dependent coupling of the field to the baryonic/leptonic current.

An additional possibility related to spontaneous baryogenesis is the production of an asymmetry from the decay of the oscillating scalar field associated with spontaneous baryogenesis. Typically, the nature of the deriving field for spontaneous baryogenesis is an angular degree of freedom of a complex field. Hence, when the complex field carries a charge, a motion of the phase field implies an asymmetry of the charge. Even though an oscillation of the angular degree with respect to a true vacuum can not provide an asymmetry with a definite sign, its decay can results in a net baryon/lepton asymmetry with a specific sign, thanks to the expansion of the universe [10].Footnote 1 A model-dependent question is if the net asymmetry can be large enough to match observations.

On the other hand, Spiral inflation [20, 21] was proposed as a phenomenological scenario of inflation circumventing the flatness and trans-Planckian issues of the inflaton potential (see also Refs. [16,17,18,19] for earlier related works). One of the key features of such a scenario is that the inflaton trajectory is spiraling-out and inflation ends by a waterfall-like drop. Such a spiral motion is something similar to an angular motion of a complex field. Hence, a natural question is whether the inflaton in the Spiral inflation scenario can be responsible for generating the right amount of baryon number asymmetry through either spontaneous baryogenesis or the second possibility mentioned in the previous paragraph, i.e. through its decays in an expanding Universe. In the literature, one can find similar works considering inflaton decay for the generation of baryon number asymmetry (see for example Refs. [22,23,24]). While in those works only the dynamics of the inflation is relevant, in our our scenario the presence of the radial water-fall field affects the eventual amount of asymmetry generated in the decay of mode corresponding to inflaton direction.

In this work, within the framework of spiral inflation, we show that a right amount of baryon number asymmetry can be achieved in a certain parameter space not by spontaneous baryogenesis but by the remnant of the decays of the inflaton. This paper is organized as follows. In Sect. 2, the general form for the potential for spiral inflation is introduced. In Sect. 3, spiral inflation is described, including the post-inflation behavior of the field configuration. In Sect. 4, the genesis of charge asymmetry by means of the inflaton after inflation through either spontaneous baryogenesis or decays of inflaton is considered, searching for the parameter space for a right amount of baryon number asymmetry at the present universe. In Sect. 5, conclusions are drawn.

2 The model

The general form of the potential responsible for spiral infaltion can be written as

$$\begin{aligned} V = V_\phi + V_{\mathrm{m}} \end{aligned}$$
(1)

where

$$\begin{aligned} V_\phi= & {} V_0 \left[ 1 - f(\phi ) \right] ^2 \end{aligned}$$
(2)
$$\begin{aligned} V_{\mathrm{m}}= & {} \Lambda ^4 \left[ 1 - \cos \left( h(\phi ) - \theta \right) \right] \end{aligned}$$
(3)

with

$$\begin{aligned} f(\phi ) = \left( \phi /\phi _0 \right) ^p, \quad h(\phi ) = \left( \phi /M \right) ^q \end{aligned}$$
(4)

and \(p,q>0\). While the form of \(V_\phi \) is rather familiar and easy to get, that of \(V_m\) may look non-trivial and we took it simply in bottom-up phenomenological sense. However, it may be derived in a certain type of stringy setup though [16]. We may take p and q to be non-negative integers, and consider the case of \(p\ge 4\) and \(0<q\le 2\) which might be theoretically plausible. Clearly \(\phi \) and \(\theta \) can be considered as the modulus and the phase of a complex field given by \(\Phi = \phi e^{i \theta } / \sqrt{2}\). This potential is a hilltop potential having a trench spiraling-out from the hilltop.

Starting from the hilltop, the field configuration is expected to follow closely the minimum of the trench as long as the curvature along the orthogonal direction is large enough, satisfying \(V'=0\) with ‘\(\prime \)’ denoting a derivative with respect to \(\phi \). Hence, from

$$\begin{aligned} V'= & {} V_\phi ' + V_{\mathrm{m}}' = - 2 V_0 \left( 1 - f \right) f' \nonumber \\&+ \Lambda ^4 h' \sin \left( h - \theta \right) \end{aligned}$$
(5)
$$\begin{aligned} V''= & {} V_\phi '' + V_{\mathrm{m}}'' = - 2 V_0 \left[ \left( 1 - f \right) f'' - \left( f' \right) ^2 \right] \nonumber \\&+ \Lambda ^4 \left[ \left( h' \right) ^2 \cos \left( h - \theta \right) + h'' \sin \left( h - \theta \right) \right] \end{aligned}$$
(6)
$$\begin{aligned} \frac{\partial V'}{\phi \partial \theta }= & {} \frac{\partial V_{\mathrm{m}}'}{\phi \partial \theta } = - \frac{\Lambda ^4}{\phi } h' \cos \left( h - \theta \right) \end{aligned}$$
(7)
$$\begin{aligned} \frac{\partial ^2 V}{\phi ^2 \partial \theta ^2}= & {} \frac{\partial ^2 V_{\mathrm{m}}}{\phi ^2 \partial \theta ^2} = \frac{\Lambda ^4}{\phi ^2} \cos \left( h - \theta \right) \end{aligned}$$
(8)

one finds that along the trajectory

$$\begin{aligned} V_\phi ' = - V_{\mathrm{m}}' \Leftrightarrow 2 V_0 \left( 1 - f \right) f' = \Lambda ^4 h' \sin \left( h - \theta \right) \end{aligned}$$
(9)

leading to

$$\begin{aligned} V'' d\phi = - \left( \partial V_{\mathrm{m}}' / \partial \theta \right) d \theta . \end{aligned}$$
(10)

Therefore, for \(|V_\phi ''| \ll |V_{\mathrm{m}}''|\) which is expected to be satisfied in the vicinity of the minimum of the trench,

$$\begin{aligned} \frac{d\phi }{d \theta } \simeq \frac{h'}{\left( h' \right) ^2 + h'' \tan \left( h - \theta \right) } \end{aligned}$$
(11)

We denote the trajectory following the minimum of trench and the direction orthogonal to the trajectory as I and \(\psi \), respectively. Then, an infinitesimal displacement along I can be written as

$$\begin{aligned} dI\equiv & {} \left[ 1 + \left( \frac{\phi d \theta }{d \phi } \right) ^2 \right] ^{1/2} d\phi \nonumber \\= & {} \left[ 1 + \left( \frac{d\phi }{\phi d\theta } \right) ^2 \right] ^{1/2} d\theta \end{aligned}$$
(12)

with the unit vectors along I and \(\psi \) given by,

$$\begin{aligned} {\mathbf{e}}_I^T = \left( c_\phi , c_\theta \right) , \quad {\mathbf{e}}_\psi ^T = \left( c_\theta , -c_\phi \right) \end{aligned}$$
(13)

so that the directional derivatives are found to be respectivcely

$$\begin{aligned} \frac{d}{dI}= & {} {\mathbf{e}}_I \cdot \nabla = c_\phi \frac{\partial }{\partial \phi } + c_\theta \frac{\partial }{\partial \theta } \end{aligned}$$
(14)
$$\begin{aligned} \frac{d}{d\psi }= & {} {\mathbf{e}}_\psi \cdot \nabla = c_\theta \frac{\partial }{\partial \phi } - c_\phi \frac{\partial }{\partial \theta } \end{aligned}$$
(15)

where

$$\begin{aligned} c_\phi\equiv & {} \frac{\partial \phi }{\partial I} = \frac{d \phi /d \theta }{\sqrt{\phi ^2 + \left( d \phi /d \theta \right) ^2}} \end{aligned}$$
(16)
$$\begin{aligned} c_\theta\equiv & {} \frac{\phi \partial \theta }{\partial I} = \frac{\phi }{\sqrt{\phi ^2 + \left( d \phi /d \theta \right) ^2}} \end{aligned}$$
(17)

Hence, one finds

$$\begin{aligned} \frac{dV}{dI}= & {} c_\phi \frac{\partial V}{\partial \phi } + c_\theta \frac{\partial V}{\phi d \theta } \end{aligned}$$
(18)
$$\begin{aligned} \frac{dV}{d\psi }= & {} c_\theta \frac{\partial V}{\partial \phi } - c_\phi \frac{\partial V}{\phi d \theta } \end{aligned}$$
(19)

and

$$\begin{aligned} \frac{d^2 V}{d I^2}= & {} c_\phi ^2 {\mathbb {M}}_{\phi \phi }^2 + 2 c_\phi c_\theta {\mathbb {M}}_{\phi \theta }^2 + c_\theta ^2 {\mathbb {M}}_{\theta \theta }^2 \end{aligned}$$
(20)
$$\begin{aligned} \frac{d^2 V}{d \psi ^2}= & {} c_\theta ^2 {\mathbb {M}}_{\phi \phi }^2 - 2 c_\phi c_\theta {\mathbb {M}}_{\phi \theta }^2 + c_\phi ^2 {\mathbb {M}}_{\theta \theta }^2 \end{aligned}$$
(21)

where the elements of the mass-square matrix (\({\mathbb {M}}^2\)) are found to be

$$\begin{aligned} {\mathbb {M}}^2_{\phi \phi }= & {} \frac{\partial ^2 V}{\partial \phi ^2} + \frac{\partial \ln c_\phi }{\partial \phi } \frac{\partial V}{\partial \phi } \end{aligned}$$
(22)
$$\begin{aligned} {\mathbb {M}}^2_{\phi \theta }= & {} \frac{\partial ^2 V}{\phi \partial \theta \partial \phi } + \frac{1}{2} \left( \frac{\partial \ln c_\theta }{\partial \ln \phi } -1 \right) \frac{\partial V}{\phi ^2 \partial \theta } \nonumber \\&+ \frac{1}{2} \frac{\partial \ln c_\phi }{\partial \theta } \frac{\partial V}{\phi \partial \phi } \end{aligned}$$
(23)
$$\begin{aligned} {\mathbb {M}}^2_{\theta \theta }= & {} \frac{\partial ^2 V}{\phi ^2 \partial \theta ^2} + \frac{\partial \ln c_\theta }{\partial \theta } \frac{\partial V}{\phi ^2 \partial \theta }. \end{aligned}$$
(24)

Spiral motion ends as the field configuration leaves the trench, falling along the \(\phi \) direction at a point satisfying

$$\begin{aligned} 2 V_0 \left( 1 - f \right) f' = \Lambda ^4 h' \end{aligned}$$
(25)

There are two solutions of Eq. (25), denoted as \(\phi _e\) and \(\phi _{\mathrm{r}}\), The smaller one is \(\phi _e\), the end point of the slow-roll inflation. For \(p \ge 4\) which is the case we are interested in, \(f_e \ll 1\) unless \(\phi _e\) is quite close to \(\phi _0\). In this case,

$$\begin{aligned} \frac{\phi _e}{\phi _0}= & {} \left[ \frac{qh_0}{2p \left( 1 - f_e \right) } \frac{\Lambda ^4}{V_0} \right] ^{\frac{1}{p-q}} \simeq \left[ \frac{qh_0}{2p} \frac{\Lambda ^4}{V_0} \right] ^{\frac{1}{p-q}} \nonumber \\\equiv & {} \kappa ^{\frac{1}{p-q}} \end{aligned}$$
(26)

where \(h_0 \equiv (\phi _0/M)^q\) and

$$\begin{aligned} \kappa \equiv \frac{qh_0}{2p} \frac{\Lambda ^4}{V_0} \end{aligned}$$
(27)

which is determined by \(\Lambda \) for a given choice of the other parameters. Note that, as long as \(\kappa \ll 1\), the approximation in Eq. (26) is good enough for our purpose.

The other solution, the largest one, \(\phi _{\mathrm{r}}\), represents the location of the re-trapping of the field in the trench. It satisfies

$$\begin{aligned} \frac{\phi _{\mathrm{r}}}{\phi _0}= & {} \left[ 1- \frac{\Lambda ^4}{2V_0} \frac{h_{\mathrm{r}}'}{f_{\mathrm{r}}'} \right] ^{1/p} = \left[ 1- \kappa \left( \frac{\phi _0}{\phi _{\mathrm{r}}} \right) ^{p-q} \right] ^{1/p} \nonumber \\\simeq & {} 1 - \frac{\kappa }{p} \end{aligned}$$
(28)

where again we assumed \(\kappa \ll 1 \ll p\), resulting in \(\phi _\mathrm{r} \approx \phi _0\).

3 Spiral inflation

3.1 Inflation (\(\phi <\phi _e\))

When \(\phi < \phi _e\), inflation consistent with observations (in slow-roll regime) takes place due to the gentle spiral dynamics of the field configuration. For \(q \le 2\) and \(M \ll \phi < \phi _e\), if \(\phi \) is away enough from \(\phi _e\), it is expected that \(f(\phi ) \ll f_e \ll 1\) leading to \(|V_\phi '(\phi )| \ll |V_\phi '(\phi _e)|\). In this case, we expect \(\sin \left( h - \theta \right) \lesssim \cos \left( h - \theta \right) \). Hence

$$\begin{aligned} \frac{d\phi }{d\theta } \simeq \frac{h'}{ \left( h' \right) ^2 + h'' \tan \left( h - \theta \right) } \simeq \frac{1}{h'} \end{aligned}$$
(29)

and

$$\begin{aligned} c_\phi \simeq \frac{1}{q h}, \quad c_\theta \simeq \left( 1 + \frac{1}{(qh)^2} \right) ^{-1/2} \simeq 1 \end{aligned}$$
(30)

where \(qh \gg 1\) was used. Hence, using Eq. (9), we find

$$\begin{aligned} \frac{dV}{dI}\simeq & {} - \frac{2p (1-f) f}{(qh)} \frac{V_0}{\phi } \end{aligned}$$
(31)
$$\begin{aligned} \frac{d^2 V}{d I^2}\simeq & {} - \frac{2V_0}{(qh)^2 \phi ^2} \nonumber \\&\times \left\{ p \left[ p-(q+1) \right] (1-f)f - (pf)^2 \right\} \end{aligned}$$
(32)
$$\begin{aligned} \frac{d^2 V}{d \psi ^2}\simeq & {} (qh)^2 \frac{\Lambda ^4}{\phi ^2} \end{aligned}$$
(33)

Note that in order for I to follow closely the minimum of the trench during inflation, the mass scale along \(\psi \) should be large enough or at least comparable to the expansion rate, that is, \(m_{\psi }^2/3 H_*^2 \gtrsim 1\) which constrains \(\kappa \) to satisfy

$$\begin{aligned} \kappa \gtrsim \frac{1}{2pq h_0} \left( \frac{\phi _0}{M_{\mathrm{P}}} \right) ^2 \left( \frac{\phi _0}{\phi _*} \right) ^{2(q-1)} \end{aligned}$$
(34)

where ‘\(_*\)’ denotes a quantity associated with a pivot scale of observations. It turns out that this constraint is easily satisfied in the parameter space we are interested in. The slow-roll parameters are given by

$$\begin{aligned} \eta\simeq & {} - \frac{2p \left[ p - (q+1) \right] }{(qh_0)^2} \left( \frac{M_{\mathrm{P}}}{\phi _0} \right) ^2 \left( \frac{\phi }{\phi _0} \right) ^{p-2(q+1)} \nonumber \\\equiv & {} - g(M, \phi _0) \left( \frac{\phi }{\phi _0} \right) ^{p-2(q+1)} \end{aligned}$$
(35)
$$\begin{aligned} \epsilon\simeq & {} - \frac{pf}{p - (q+1)} \eta \end{aligned}$$
(36)

where we used \(f(\phi ) \ll 1\) and defined a function \(g(M, \phi _0)\) which will prove to be convenient later.

At \(\phi = \phi _*\) associated with, for example, Planck pivot scale, \(f(\phi _*) \ll 1\) is expected (see Eq. (26)). Hence, \(\epsilon _* \ll |\eta _*|\) as long as \(p/\left[ p-(q+1) \right] \sim {\mathcal {O}}(1)\), and \(\eta _*\) is nearly fixed by the observed spectral index of the density power-spectrum as \(n_s^{\mathrm{obs}} \simeq 1 + 2 \eta _*\) in order to match observations. The power spectrum is given by

$$\begin{aligned} P_R = \frac{H^2}{8 \pi ^2 \epsilon M_{\mathrm{P}}^2} \end{aligned}$$
(37)

leading to

$$\begin{aligned} \frac{H_*}{M_{\mathrm{p}}} = \left[ \frac{8 \pi ^2 P_R^{\mathrm{obs}} p |\eta _*|}{p-(q+1)} \right] ^{1/2} \left( \frac{\phi _*}{\phi _0} \right) ^{p/2} \end{aligned}$$
(38)

where \(P_R^{\mathrm{obs}} = 2.1\times 10^{-9}\) [2] is the observed amplitude of the density power spectrum. If Eq. (29) is satisfied for most of the region of \((\phi _*, \phi _e)\), the number of e-foldings generated is found to be

$$\begin{aligned} N_e \simeq \left\{ \begin{array}{ll} \frac{p-(q+1)}{|\eta _*|} \ln \left( \frac{\phi _e}{\phi _*} \right) &{}\quad \mathrm{for} \ p = 2(q+1) \\ \frac{p-(q+1)}{p-2(q+1)} \frac{1}{|\eta _*|} \left[ 1 - \left( \frac{\phi _*}{\phi _e} \right) ^{p-2(q+1)} \right] &{}\quad \mathrm{for} \ p \ne 2(q+1) \end{array} \right. \nonumber \\ \end{aligned}$$
(39)

For a given comoving scale \(k_*\) and the present horizon \(k_0\), observations require such number of e-foldings to be

$$\begin{aligned} N_e^{\mathrm{obs}}(k_*)= & {} 62 + \ln \frac{k_0}{k_*} - \ln \left( \frac{10^{16} {\mathrm {GeV}}}{V_*^{1/4}} \right) \nonumber \\&- \frac{1}{3} \ln \left( \frac{V_*^{1/4}}{\rho _{\mathrm{R}}^{1/4}} \right) \end{aligned}$$
(40)

where we took \(V_e = V_*\) and \(\rho _{\mathrm{R}}\) is the radiation energy density when reheating is efficient enough to recover a radiation-dominant universe. Specifically, we take \(\rho _{\mathrm{R}}\) to be the energy density of the universe when \(H = (2/3) \Gamma _\psi \) with \(\Gamma _\psi \) being the decay rate of \(\psi \)-particles.

For a given set of (pq), if the model-dependent couplings of \(\phi \) and \(\theta \) to other matter fields are fixed, the model parameters which still remain free are:

$$\begin{aligned} V_0, \Lambda , \phi _0, M \end{aligned}$$
(41)

Also, there are three observable constraints:

$$\begin{aligned} n_s^{\mathrm{obs}}, P_{\mathcal {R}}^{\mathrm{obs}}, N_e^{\mathrm{obs}} \end{aligned}$$
(42)

Those free parameters and observables are related by four equations, Eqs. (26), (35), (38), and (39) equated with Eq. (40). Hence, all the free parameters are fixed by the observables as follows. First of all, as shown in Eq. (36), \(\epsilon _* \ll \eta _*\) which leads to \(n_s^{\mathrm{obs}} \simeq 1 + 2 \eta _*\). If \(p=2(q+1)\), from Eq. (35) \(g(M, \phi _0)\) is fixed, determining M as a function of \(\phi _0\). Plugging Eq. (38) into Eqs. (39) and (40) with \(\Gamma _\psi \) being expressed as a function of M and \(\phi _0\) as shown in the next subsection, \(H_*\) is determined as

$$\begin{aligned}&\ln \frac{H_*}{M_{\mathrm{P}}} = \left( \frac{1}{|\eta _*|} + \frac{5}{6} \right) ^{-1} \nonumber \\&\qquad \times \left\{ \frac{p}{2 |\eta _*|} \left[ \frac{\ln \kappa }{p-q} + \frac{\ln \left( 16 \pi ^2 P_R^{\mathrm{obs}} |\eta _*| \right) }{p} \right] \right. \nonumber \\&\qquad - \left[ 62 + \ln \frac{k_0}{k_*} - \ln \left( \frac{10^{16} {\mathrm {GeV}}}{3^{1/4} M_{\mathrm{P}}} \right) \right. \nonumber \\&\qquad \left. \left. + \frac{1}{6} \ln \left( \frac{\gamma _\psi }{8 \pi } \left( 6 p^2 \left( 1+\frac{\kappa qh_0}{p} \right) \right) ^{3/2} \left( \frac{M_{\mathrm{P}}}{\phi _0} \right) ^5 \right) \right] \right\} \nonumber \\ \end{aligned}$$
(43)

which can be re-used to find \(\phi _*\), using Eq. (38). Note that \(\kappa \) is treated as a free parameter in this case although it should satisfy Eq. (34). Also, \(H_*\) depends dominantly on \(\kappa \) due to the factor \(1/|\eta _*|\) in front of \(\ln \kappa \) in Eq. (43). In Fig. 1, we show the allowed parameter spaces. As can be clearly seen in the figure, the \(\phi _0\) dependence of each parameter except M is quite weak, so, for simplicity we took \(\phi _0 = 10^{17} {\mathrm {GeV}}\) as a representative value.

Fig. 1
figure 1

Parameter spaces matching observations for the case \(p=2(q+1)=4\). Top-Left: \((\phi _0,M)\) satisfying \(g(M, \phi _0)=|\eta _*|\), Top-Right: \((\kappa ,H_*)\), Bottom-Left: \((\kappa , \phi _*/\phi _0)\), Bottom-Right: \((\kappa , r)\). In each panel, the dashed line corresponds to the case of \(n_s = 0.9659\), and the green band represents the 2-\(\sigma \) allowed region of \(n_s\)

Fig. 2
figure 2

Parameter spaces (blue dashed and dotted lines corresponding to \(\kappa = 10^{-2}, 10^{-3}\), respectively) matching observations for the cases \((p,q)=(6,1)\) (left) and \((p,q)=(8,1)\) (right). In both panels, for the decay rate of \(\psi \) we used \(\gamma _\psi =1\) (see Eq. (55)). Green regions cover ranges of \(g(M, \phi _0)\) indicated by the number on the green diagonal lines bounding the regions with different transparency leves. The opaque green region is for \(g(M, \phi _0) < |\eta _\mathrm{obs}|\) and excluded. Purple solid/dashed/dotted line is for \(H_*=H_*^{\mathrm{bnd}}/10^{13} {\mathrm {GeV}}/10^{12} {\mathrm {GeV}}\). As inflationary observabels, \(n_s = 0.9659\) and \(P_R = 2.1 \times 10^{-9}\) were used [2]. 2-\(\sigma \) uncertainties in inflationary observables do not alter the figure significantly. The tensor-to-scalar ratios on blue lines are \(r \approx 2.5 \times 10^{-4}\) (dashed) and \(2 \times 10^{-5}\) (dotted)

If \(p > 2(q+1)\), from Eq. (35) one can regard \(\phi _*/\phi _0\) as a function of M and \(\phi _0\). For a given set of \((M, \phi _0)\), Eq. (38) constrains \(H_*\), and hence \(N_e^{\mathrm{obs}}\) becomes a function of those free parameters. Then, from Eqs. (39) and (40), \(\phi _e/\phi _0\) is constrained for each pair \((M,\phi _0)\). Therefore, \(\kappa \) in Eq. (26) is not a free parameter but should satisfy the following equation,

$$\begin{aligned} \kappa = \left\{ \frac{|\eta _*|}{g(M,\phi _0) \left[ 1 - \frac{p-2(q+1)}{p-(q+1)} |\eta _*| N_e^{\mathrm{obs}}(M, \phi _0,\kappa ) \right] }\right\} ^{\frac{p-q}{p-2(q+1)}}\nonumber \\ \end{aligned}$$
(44)

The \(\kappa \)-dependece of \(N_e^{\mathrm{obs}}\) in Eq. (44) is from the dependence of \(\rho _R\) on \(\Gamma _\psi \) (see Eqs. (49) and (55)) Since, for a couple of orders of magnitude variation of \(\kappa \), the change of \(N_e^{\mathrm{obs}}\) is of \({\mathcal {O}}(1)\), we ignore such a dependence for simplicity. Such an assumption is equivalent to setting \(\kappa =0\) in Eq. (49) when \(N_e^{\mathrm{obs}}\) is estimated. Eq. (44) can be satisfied by adjusting the ratio \(\Lambda ^4/V_0\) as a free parameter replacing \(\Lambda \). In Fig. 2, the parameter space matching inflationary observables is depicted for \((p,q)=(8,1)\) with \(\kappa = 10^{-2}\) and \(10^{-3}\) as an example.

3.2 Post inflation (\(\phi _e < \phi \sim \phi _0\))

As the inflaton leaves the trench at \(\phi _e\), the dominant dynamics turns to the oscillation along \(\phi \) with respect to \(\phi _0\) as long as the oscillation amplitude \(\delta \phi \) satisfies \(\delta \phi \gg |\phi _0 - \phi _{\mathrm{r}} | = (\kappa /p) \phi _0\). At this period, \(V_\phi \) governs the dynamics, i.e., the time scale of the oscillation is determined by the mass scale along \(\phi \) at \(\phi \approx \phi _0\),

$$\begin{aligned} m_\phi ^2\equiv & {} \left. V_\phi '' \right| _{\phi \approx \phi _0} \nonumber \\= & {} \frac{2(pf)^2V_0}{\phi ^2} \left[ 1-\left( 1-\frac{q+1}{p} \right) \left( \frac{1}{f} - 1 \right) \right] \end{aligned}$$
(45)

As the motion along \(\phi \) becomes sufficiently small, the field configuration can be re-trapped in the trench and the dynamics would be again along the minimum of the canal in the vicinity of the true vacuum. In this case, \(V_\phi ' = - V_{\mathrm{m}}' \simeq 0\), and Eqs. (29) and (30) are applicable again. At \(\phi \approx \phi _0\), the mass-squared of each orthogonal direction, defined as \(m_i^2 \equiv d^2 V/ d i^2 \ (i=I, \psi )\), is found to be

$$\begin{aligned} m_I^2\simeq & {} m_{I,0}^2 \left( \frac{\phi }{\phi _0} \right) ^{2p-2(q+1)} \nonumber \\&\times \left[ 1-\left( 1-\frac{1}{p} \right) \left( \frac{1}{f} - 1 \right) + \frac{q\kappa }{pf^2} \sin (h-\theta ) \right] \nonumber \\ \end{aligned}$$
(46)
$$\begin{aligned} m_\psi ^2\simeq & {} m_{I,0}^2 (qh_0)^2 \nonumber \\&\quad \times \left\{ \left( \frac{\phi }{\phi _0} \right) ^{2(p-1)} \left[ 1-\left( 1-\frac{1}{p} \right) \left( \frac{1}{f} - 1 \right) \right] \right. \nonumber \\&\quad \left. + \kappa \frac{qh_0}{p} \left( \frac{\phi }{\phi _0} \right) ^{2(q-1)} \right\} \end{aligned}$$
(47)

where

$$\begin{aligned} m_{I,0}^2\equiv & {} \frac{2 p^2}{\left( qh_0 \right) ^2} \frac{V_0}{\phi _0^2} = 3 H_*^2 \times \frac{g(M, \phi _0)p}{p-(q+1)} \end{aligned}$$
(48)
$$\begin{aligned} m_{\psi ,0}^2\equiv & {} 2p^2 \left( 1 + \kappa \frac{qh_0}{p} \right) \frac{V_0}{\phi _0^2} \nonumber \\= & {} (qh_0)^2 \left( 1 + \kappa \frac{qh_0}{p} \right) m_{I,0}^2 \end{aligned}$$
(49)

In Eq. (46) we have not applied Eq. (9) for the term with \(\sin (h-\theta )\) because the field configuration does not follow the trench unless it is trapped again on it. During the oscillation phase which takes place mostly along the \(\phi \) direction, the value of this term would vary.

In Eq. (48), \(g(M, \phi _0)\) is a free parameter determined mainly by the set of \((M, \phi _0)\). It can be either larger or smaller than unity, but lower-bounded as \(g(M, \phi _0) > \left| \eta _* \right| \) for \(p \ge 2(q+1)\) (see Eq. (35)) which is the region we are interested in. Hence, depending on M and \(\phi _0\), in the vicinity of \(\phi \approx \phi _0\) we can have \(g(M, \phi _0) > 1\) leading to \(m_{I,0}^2 > 3 H_*^2\). However, \(m_I^2\) depends on \(\phi \) and the slope along I changes its sign across \(\phi _0\). As a result, the angular motion after inflation is commenced only when the oscillation amplitude along \(\phi \) is significantly reduced so as to have \(m_I^2 \gtrsim 3 H^2\). In the vicinity of \(\phi _0\), for the oscillation amplitude of \(\phi \) denoted as \(\delta \phi (\ll \phi _0)\),

$$\begin{aligned} 3 H^2 M_{\mathrm{P}}^2 \simeq \frac{1}{2} m_\phi ^2 \left( \delta \phi \right) ^2 \end{aligned}$$
(50)

Hence,

$$\begin{aligned} \frac{3H^2}{m_I^2}< 1 \Rightarrow \frac{\delta \phi }{\phi _0} < \frac{\delta \phi _{\mathrm{osc}}}{\phi _0} \equiv \frac{\sqrt{g(M, \phi _0)}}{p}. \end{aligned}$$
(51)

Therefore, the onset of the oscillation along I is expected to happen as \(\delta \phi \) is reduced to \(\delta \phi _{\mathrm{osc}}\), and we find

$$\begin{aligned} H_{\mathrm{osc}} = \sqrt{g(M, \phi _0)} H_* \end{aligned}$$
(52)

which is valid only for \(g(M, \phi _0) \ll 1\). For \(g(M, \phi _0) \gtrsim {\mathcal {O}}(1)\), we notice that \(m_I^2\) changes its sign as the oscillation amplitude becomes smaller than

$$\begin{aligned} \frac{\delta \phi }{\phi _0} \simeq \frac{1}{2p} \Leftrightarrow f \simeq \frac{1}{2} \end{aligned}$$
(53)

and rapidly approaches to \(m_{I,0}^2\). We take this crossing point as the onset of the oscillation phase of I in this case, and the expansion rate around the epoch is found to be

$$\begin{aligned} H_{\mathrm{osc}} \approx \frac{1}{4 \sqrt{2}} H_*. \end{aligned}$$
(54)

A comment on the possibility of a second inflationary period caused by re-trapping is in order. From Eqs. (28), (51) and (53), \(\mathrm{Min}\left[ \sqrt{g(M, \phi _0)}, 1/2 \right] > \kappa \) and \(m_I^2 > 3 H^2\) is expected around the epoch of re-trapping, i.e., the angular motion after inflation would take place before the field configuration is trapped in the trench. Hence, a second stage of inflation would not take place.

Eventually, particles I and \(\psi \) would decay. We express the decay rate of i-particle asFootnote 2

$$\begin{aligned} \Gamma _i = \frac{\gamma _i}{8\pi } \frac{m_{i,0}^3}{\phi _0^2} \end{aligned}$$
(55)

where \(\gamma _i (i=I,\psi )\) is a numerical constant taking allowed decay channels into account. From Eqs. (46) and (47), \(m_{\psi ,0} \gg m_{I,0}\) and generically we may expect \(\psi \) decays earlier than I as long as \(\gamma _\psi \sim \gamma _I\). Also, if \(\Gamma _\psi \ge m_{I,0}\), the oscillation of I field after inflation would take place in a universe dominated by radiation, otherwise it will happen in a universe dominated by \(\psi \)-particles. In terms of our model parameters, the ratio of interest is given by

$$\begin{aligned} \frac{\Gamma _\psi }{m_{I,0}} = \frac{3 p^2 \gamma _\psi }{4\pi } \frac{\sqrt{1+\kappa qh_0/p}}{qh_0} \left( \frac{H_*}{M_{\mathrm{P}}} \right) ^2 \left( \frac{M_{\mathrm{P}}}{\phi _0} \right) ^4. \end{aligned}$$
(56)

If \(\Gamma _\psi \gg \Gamma _I\), there is a possibility for I-particles to eventually dominate the universe around the epoch of its decay. In order to check this possibility, we compare the energy density of I-particles and that of the background radiation as follows. When I starts its oscillation, the oscillation amplitude is expected to be

$$\begin{aligned} I_{\mathrm{osc}} = \alpha \phi _0 \end{aligned}$$
(57)

with \(\alpha = {\mathcal {O}}(1) < \pi \). As \(\psi \) decays, the universe is dominated by radiation. During this epoch, the energy density of I before its decay is given by

$$\begin{aligned} \rho _I = \rho _I^{\mathrm{osc}} \left( \frac{a_{\mathrm{osc}}}{a_{I, \mathrm d}} \right) ^3 = \rho _I^{\mathrm{osc}} \left( \frac{H_{\psi , \mathrm d}}{H_{\mathrm{osc}}} \right) ^2 \left( \frac{H}{H_{\psi , \mathrm d}} \right) ^{3/2} \end{aligned}$$
(58)

where the energy density of I at the onset of its oscillation is

$$\begin{aligned} \rho _I^{\mathrm{osc}} = \frac{1}{2} m_{I, \mathrm osc}^2 I_{\mathrm{osc}}^2 \simeq \frac{3 \alpha ^2}{2} H_{\mathrm{osc}}^2 \phi _0^2 \end{aligned}$$
(59)

and \(H_{i, d} = (2/3) \Gamma _i\) with \(i = (\psi , I)\) is the expansion rate at the epoch of i-particle decay. Hence, \(\rho _I\) becomes comparable to the background radiation density when \(H=H_\times \) with

$$\begin{aligned} H_\times = \left[ \frac{\alpha ^2}{2} \left( \frac{\phi _0}{M_{\mathrm{P}}} \right) ^2 \right] ^2 H_{\psi , \mathrm d} \end{aligned}$$
(60)

which gives

$$\begin{aligned} \frac{H_\times }{H_{I, \mathrm d}}= & {} \left[ \frac{\alpha ^2}{2} \left( \frac{\phi _0}{M_{\mathrm{P}}} \right) ^2 \right] ^2 \frac{\Gamma _\psi }{\Gamma _I} \nonumber \\= & {} \left[ \frac{\alpha ^2 p \left[ p-(q+1) \right] }{g(M, \phi _0) (qh_0)^{1/2}} \left( \frac{\gamma _\psi }{\gamma _I} \right) ^{1/2} \right. \nonumber \\&\times \quad \left. \left( 1 + \frac{\kappa qh_0}{p} \right) ^{3/4} \right] ^2. \end{aligned}$$
(61)

Therefore, I particles would be subdominant at the epoch of their decays only if

$$\begin{aligned} g(M, \phi _0)> & {} \frac{\alpha ^2 p \left[ p-(q+1) \right] }{(qh_0)^{1/2}} \left( \frac{\gamma _\psi }{\gamma _I} \right) ^{1/2} \nonumber \\&\times \left( 1 + \frac{\kappa qh_0}{p} \right) ^{3/4} \end{aligned}$$
(62)

Otherewise, an era of I-particle domination appears, and entropy release due to the lat-time decay of I takes place. This causes a dilution of pre-existing particle densities relative to entropy density. In the sudden decay approximation, the dilution factor \(\Delta \) is approximately given by

$$\begin{aligned} \Delta \approx \frac{T_\times }{T_I} = \left( \frac{g_*(T_I)}{g_*(T_\times )} \right) ^{1/4} \left[ \frac{\alpha ^2}{2} \left( \frac{\phi _0}{M_{\mathrm{P}}} \right) ^2 \right] \left( \frac{\Gamma _\psi }{\Gamma _I} \right) ^{1/2} \end{aligned}$$
(63)

where \(T_\times \) and \(T_I\) are respectively temperatures when \(H=H_\times \) and \(H_{I, \mathrm d}\).

4 Charge asymmetry after inflation

In this section, we consider the possibility of generating a B- or L-asymmetry from the dynamics or decay of the I-field. From now on, we assume that the fields \(\phi \) and \(\theta \) in the potential Eq. (1) are components of a complex field such as \(\Phi \equiv \phi e^{i\theta } / \sqrt{2}\) which can carry a charge denoted as Q.

4.1 Spontaneous baryogenesis

A slow motion of I after inflation might be considered for spontaneous baryogenesis by introducing a derivative interaction of \(\theta \) to baryonic/leptonic current in Lagrangian such asFootnote 3

$$\begin{aligned} {\mathcal {L}} \supset \lambda \left( \partial _\mu \theta \right) j^\mu \simeq \frac{\lambda }{\phi _0} \left( \partial _\mu I \right) j^\mu \end{aligned}$$
(64)

where \(\lambda \) is a dimensionless coupling constant, and \(j^\mu \) is a baryonic/leptonic current. In the current scenario we are considering, a slow evolution of \(\theta \) after inflation takes place around the epoch of \(H \sim H_{\mathrm{osc}}\) which is given by either Eq. (52) or (54). Soon after this epoch, the dynamics of I turns into rapid oscillations. If B or L violating processes which might have been already in equilibrium are decoupled at the very epoch, it might be possible for spontaneous baryogenesis to work. However, if \(\Gamma _\psi < H_{\mathrm{osc}}\), the universe around the epoch of I’s oscillation would be only partially reheated by the partial decay of \(\psi \) particles. This means that the background temperature between the end of inflation and onset of I’s oscillation is expected to be

$$\begin{aligned} T_{\mathrm{osc}} \lesssim T \lesssim T_e \end{aligned}$$
(65)

where

$$\begin{aligned} T_e\sim & {} \left( \Gamma _\psi H_* M_{\mathrm{P}}^2 \right) ^{1/4} \end{aligned}$$
(66)
$$\begin{aligned} T_\mathrm{osc}\sim & {} \left( \Gamma _\psi H_{\mathrm{osc}} M_{\mathrm{P}}^2 \right) ^{1/4} \nonumber \\\sim & {} \left\{ \begin{array}{ll} g(M, \phi _0)^{1/4} T_e &{}\text {if} \ g(M, \phi _0) \ll 1 \\ 2^{-5/4} T_e &{}\text {if} \ g(M, \phi _0) \gtrsim 1 \end{array} \right. . \end{aligned}$$
(67)

That is, \(T_{\mathrm{osc}}\) and \(T_e\) differ only by a factor of a few since \(g(M, \phi _0) \gtrsim \left| \eta _* \right| \sim {\mathcal {O}}(10^{-2})\). Also, as \(\Gamma _\psi \) becomes closer to or even larger than \(H_{\mathrm{osc}}\), the epoch between \(T_e\) and \(T_\mathrm{osc}\) becomes narrower. Hence, spontaneous baryogenesis is unlikely to occur in our scenario.Footnote 4

4.2 Charge asymmetry from the decay of I particles

As another possibility of generating a charge asymmetry, which was already discussed in the original paper of spontaneous baryogenesis (Ref. [10]), we consider the decay of I at its oscillation phase, assuming B or L-violating processes were decoupled already before the onset of I’s oscillations. Here we do not specify B or L-violating operators, but simply assume the branching fraction of relevant channels to be close to unity.

During the era of \(\psi \)-particle domination with the sudden decay approximation of \(\psi \), approximately the solution of I’s EOM can be taken to beFootnote 5

$$\begin{aligned} I = I_{\mathrm{osc}} a^{-3/2} e^{- \frac{\Gamma _I}{2}t} \cos \left[ m_{I,0} \left( t - t_{\mathrm{osc}} \right) \right] \end{aligned}$$
(68)

and the charge density associated with I is given by

$$\begin{aligned} n_Q= & {} -i Q \left( \Phi ^* {\dot{\Phi }} - {\dot{\Phi }}^* \Phi \right) = Q {\dot{\theta }} \phi ^2 \simeq Q {\dot{I}} \phi _0 \nonumber \\= & {} - \frac{Q}{2} \left\{ 3H+\Gamma _I + 2m_{I,0} \tan \left[ m_{I,0} \left( t - t_{\mathrm{osc}} \right) \right] \right\} I \phi _0\nonumber \\ \end{aligned}$$
(69)

where we used \(\phi \simeq \phi _0\) and \(\theta \simeq I/\phi _0\) in the vicinity of the true vacuum. Then, the charge asymmetry from the decay of I is obtained asFootnote 6

$$\begin{aligned} n_B = \frac{1}{a^3} \int _{t_{\mathrm{osc}}}^{t} dt \Gamma _I \left( a^3 n_Q \right) = - \frac{Q}{a^3} \Gamma _I I_{\mathrm{osc}} \phi _0 {\mathcal {F}}(x_\mathrm{osc}, x)\nonumber \\ \end{aligned}$$
(70)

where \(x \equiv m_{I,0} t\) and

$$\begin{aligned} \begin{aligned}&{\mathcal {F}}(x_{\mathrm{osc}}, x) \\&\quad \equiv \int _{x_{\mathrm{osc}}}^{x} dx \ e^{ - \frac{\Gamma _I}{2 m_{I,0}} x} \left( \frac{x}{x_{\mathrm{osc}}} \right) ^{\frac{1}{1+\omega }} \\&\qquad \times \left\{ \frac{1}{(1+\omega ) x} + \frac{\Gamma _I}{2 m_{I,0}} + \tan \left( x- x_{\mathrm{osc}} \right) \right\} \cos \left( x - x_{\mathrm{osc}} \right) \\&\quad {\mathop {\longrightarrow }\limits ^{x \rightarrow \infty }} e^{-\frac{\Gamma _I x_\mathrm{osc}}{2 m_{I,0}}} \\&\qquad + \frac{e^{-i x_{\mathrm{osc}}} E_{\frac{w}{1+w}}\left( \frac{(\Gamma _I/m_{I,0} - 2i) x_{\mathrm{osc}}}{2} \right) + e^{i x_\mathrm{osc}} E_{\frac{w}{1+w}}\left( \frac{(\Gamma _I/m_{I,0} + 2i) x_\mathrm{osc}}{2} \right) }{1+w} \\&\quad {\mathop {\longrightarrow }\limits ^{\Gamma _I \lll m_{I,0}}} 1 + \frac{e^{-i x_{\mathrm{osc}}} E_{\frac{w}{1+w}}\left( -i x_{\mathrm{osc}} \right) + e^{i x_\mathrm{osc}} E_{\frac{w}{1+w}}\left( i x_{\mathrm{osc}} \right) }{1+w} \\&\quad \simeq \left\{ \begin{array}{ll} 1.5 &{}: w=1/3 \\ 1 &{}: w=0 \end{array} \right. \end{aligned}\nonumber \\ \end{aligned}$$
(71)

with

$$\begin{aligned} x_{\mathrm{osc}} = \frac{2}{3(1+\omega )} \frac{m_{I,0}}{H_{\mathrm{osc}}} = {\mathcal {O}}(1) \end{aligned}$$
(72)

and \(\omega \) being the equation of state of the universe. The approximation in the second line of Eq. (71) is valid for \(x \gg m_{I,0} /\Gamma _I\) (i,e,, \(t \gg 1/\Gamma _I\)), and \(E_\nu (z)\) is Exponential Integral E function with a complex argument. Thus, for \(t \gg 1/\Gamma _I\) one finds

$$\begin{aligned} n_B \simeq - \frac{Q}{a^3} \Gamma _I I_{\mathrm{osc}} \phi _0 {\mathcal {F}}(x_{\mathrm{osc}}, \infty ). \end{aligned}$$
(73)
Fig. 3
figure 3

Parameter space for baryon number asymmetry (red-line) as a function of M and \(\phi _0\). Color scheme other than blue and red lines is the same as Fig. 2. The light blue and pinky regions divided by a thin light purple line are regions of \(H_\psi > H_\mathrm{osc}\) and \(H_\psi < H_{\mathrm{osc}}\), respectively. The dashed blue line indicates parameters matching observed values of inflationary observables \(n_s\) and \(P_R\) for a given \(\kappa \) which satisfies Eq. (44). The solid red line is for \((n_B/s)/(Q \alpha {\mathcal {F}})= \left( n_B/s \right) ^{\mathrm{obs}} = 8.7 \times 10^{-11}\) [1]. The line below the lower sharp breaking point is for \(H_\psi > H_{\mathrm{osc}}\). The line above the upper sharp breaking point is for \(H_\times < H_{I, \mathrm d}\). Taking a smaller or larger \(\gamma _I \alpha \) shifts the red line left or right side for a given \(\kappa \)

Meanwhile, if the energy density of I-particles is subdominant around the epoch of I-particle decay, the entropy density after inflation evolves as

$$\begin{aligned} s= & {} s_\psi \left( \frac{a_\psi }{a} \right) ^3 \end{aligned}$$
(74)
$$\begin{aligned} s_\psi= & {} \beta \left( \frac{H_\psi }{H_{\mathrm{osc}}} \right) ^{3/2} \left( H_{\mathrm{osc}} M_{\mathrm{P}} \right) ^{3/2} \end{aligned}$$
(75)

where \(s_\psi \) is the entropy density around the epoch of \(\psi \)-particle decays,

$$\begin{aligned} \beta \equiv \frac{2 \pi ^2 g_{*S}(T_\psi )}{45} \left( \frac{\pi ^2 g_*(T_\psi )}{90} \right) ^{-3/4} \simeq 8.66 \times \left( \frac{g_*}{200} \right) ^{1/4}\nonumber \\ \end{aligned}$$
(76)

with \(T_\psi \) being the background temperature at \(\psi \)-particle decay, and we set \(g_{*S}(T) = g_*(T_\psi )\), ignoring their temperature-dependence. Hence, at late time

$$\begin{aligned} \left| \frac{n_B/s}{Q} \right|\simeq & {} {\mathcal {F}}(x_{\mathrm{osc}}, \infty ) \frac{\gamma _I \alpha }{8 \pi \beta } \left( \frac{m_{I,0}}{M_{\mathrm{P}}} \right) ^{3/2} \nonumber \\&\times \left( \frac{m_{I,0}}{H_{\mathrm{osc}}} \right) ^{3/2} \left( \frac{H_\psi }{H_{\mathrm{osc}}} \right) ^{1/2} \end{aligned}$$
(77)

For \(p=2(q+1)\), using Eqs. (35), (48) and (52), one can re-express Eq. (77) as

$$\begin{aligned} \left| \frac{n_B/s}{Q} \right|\simeq & {} {\mathcal {F}}(x_{\mathrm{osc}}, \infty ) \frac{9 \gamma _I \alpha }{2 \pi \beta } |\eta _*|^{3/2} \left( \frac{H_*}{M_{\mathrm{P}}} \right) ^{3/2} \left( \frac{H_\psi }{H_{\mathrm{osc}}} \right) ^{1/2} \nonumber \\\simeq & {} 1.0 \times 10^{-10} {\mathcal {F}}(x_{\mathrm{osc}}, \infty ) \gamma _I \alpha \left( \frac{g_*}{200} \right) ^{-1/4} \nonumber \\&\times \left( \frac{H_*}{10^{14} {\mathrm {GeV}}} \right) ^{3/2} \left( \frac{H_\psi }{H_{\mathrm{osc}}} \right) ^{1/2} \end{aligned}$$
(78)

For \(p > 2(q+1)\), using Eqs. (48) and (54), one can re-express Eq. (77) as

$$\begin{aligned} \left| \frac{n_B/s}{Q} \right|\simeq & {} 2^{15/4} {\mathcal {F}}(x_{\mathrm{osc}}, \infty ) \frac{\gamma _I \alpha }{8 \pi \beta } \left[ \frac{3p g(M, \phi _0)}{p-(q+1)} \right] ^{3/2} \nonumber \\&\times \left( \frac{H_*}{M_{\mathrm{P}}} \right) ^{3/2} \left( \frac{H_\psi }{H_{\mathrm{osc}}} \right) ^{1/2} \nonumber \\\simeq & {} 2.7 \times 10^{-9} {\mathcal {F}}(x_{\mathrm{osc}}, \infty ) \gamma _I \alpha \left( \frac{g_*}{200} \right) ^{-1/4} \nonumber \\&\left[ \frac{p g(M, \phi _0)}{p-(q+1)} \right] ^{3/2} \left( \frac{H_*}{10^{13} {\mathrm {GeV}}} \right) ^{3/2} \left( \frac{H_\psi }{H_{\mathrm{osc}}} \right) ^{1/2}\nonumber \\ \end{aligned}$$
(79)

If I-particle dominates the universe eventually before its decay, Eqs. (78) and (79) should be divided by the dilution factor given in Eq. (63).

If \(p=2(q+1)\), \(H_* \ll H_*^{\mathrm{bnd}}\) for \(\kappa \ll 1\) as shown in Fig. 1. Hence, in this case, even with \(H_*\) close to its upper-bound and \(H_\psi > H_{\mathrm{osc}}\), an additional requirement, namely \(\gamma _I \alpha \gtrsim {\mathcal {O}}(1)\) is needed in order to obtain \(n_B/s \sim 10^{-10}\).

On the other hand, if \(p \gg 2(q+1)\), for a much lower \(H_*\) one can find parameter space for a right amount of baryon/lepton number asymmetry as shown in Fig. 3 where we took \((p,q)=(8,1)\) as a benchmark set. In the figure, the crossing point of dashed blue line and solid red line fixes parameters matching observations of \(n_s, P_R\), and \(n_B/s\) simultaneously. For \((\gamma _\psi ,\gamma _I)=(1,1)\) taken in the figure, if \(\kappa \lesssim 10^{-2}\), the matching point appears in \(\psi \)-particle domination era. A smaller \(\gamma _\psi \) extends \(\psi \)-domination era, pushing the border of light blue and pinky regions to left-bottom side of each panel. A smaller \(\gamma _I\) results in a smaller baryon asymmetry, pushing the upper and lower part of the red line to bottom and left side, respectively. As a kind of guide line, if \(\gamma _I \lesssim \gamma _\psi \lesssim 1\), in order to obtain a right amount of asymmetry it is required to have \(p \gtrsim 8\) with \(q=1\) for a reasonable choice of \(\kappa \), such as \(\kappa \sim {\mathcal {O}}(10^{-3\pm 1})\). A larger q requires even larger p and much smaller \(\kappa \). Such a p-dependence of the asymmetry can be understood as follows. For given set of parameters other than p, a larger p causes a smaller \(\eta \) (see Eq. (35)). Hence, in order to match observations, i.e., \(\eta = \eta _*\), one should make \((M_{\mathrm{P}}/\phi _0) (M/\phi _0)^q\) larger by either increasing M or decreasing \(\phi _0\). This increases \(m_{I,0}\) (see Eq. (46)) and \(\Gamma _I\). As a result, a larger asymmetry can be obtained, which is clear from the second line of Eq. (70).

5 Conclusions

In this paper, we investigated the possibility of generating an asymmetry of a global charge (e.g., baryon/lepton number) through either the dynamics or the decays of the inflaton in the scenario of spiral inflation.

In spiral inflation, the inflaton can be regarded dominantly as the angular degree of a complex scalar field. Thanks to the presence of a small angle-dependent modulating potential on top of a hilltop-like potential, it gets through a spiraling-out motion from the hilltop. Although inflation ends via a waterfall-like sudden change of field dynamics, angular motion of field configuration reappears after inflation again due to the presence of the angle-dependent modulating potential. When it carries a non-zero global charge, the angular motion of a complex scalar field corresponds to a charge asymmetry (or particle-antiparticle asymmetry) associated with the field. Hence, the angular motion of inflaton after inflation implies an asymmetry associated with inflaton number density. The angular momentum of inflaton in the vicinity of the true vacuum of the potential does not posses a definite sign, but periodically changes its sign. As a result, the asymmetry generated by inflaton changes its sign periodically. However, as discussed in the original paper of spontaneous baryogenesis (Ref. [10]), if the inflaton decays to other particles, transferring its asymmetry (say ‘transfer mechanism’), there can be a well-defined (net) asymmetry in the daughter particles, thanks to the expansion of the universe.

Paying attention to the transfer mechanism, we found that in spiral inflation the decays of the inflaton can produce the right amount of baryon number asymmetry while obtaining inflationary observables consistent with observations. In contrast to the naive expectation that it would be difficult to obtain the right amount of baryon number asymmetry, it is found that even in the presence of matter-domination era a sufficient amount of baryon number asymmetry can be obtained as long as the matter-domination era right after inflation is terminated rather soon. Definitely this is a model-dependent statement, since (as expected) the late-time baryon number asymmetry in our scenario depends on model-dependent decay rate(s) (or branching fraction(s)) of the inflaton to baryonic/leptonic particles through operators (maybe) violating baryon/lepton number.

In a part of the parameter space, the expansion rate during inflation is required to be close to the current upper-bound, and hence it would be easily probed in the near-future experiments, for example CMB-S4 [26], PIXIE [27], and LiteBIRD [28].