This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Peaky Production of
Light Dark Photon Dark Matter

Yuichiro Nakai    Ryo Namba    Ippei Obata
Abstract

We explore a mechanism to produce a light dark photon dark matter through a coupling between the dark photon field and a spectator scalar field which plays no role in the inflationary expansion of the Universe while rolling down its potential during the inflation. The motion of the spectator field efficiently produces dark photons with large wavelengths which become non-relativistic before the time of matter-radiation equality. The spectrum of the wavelengths is peaky so that the constraint from the isocurvature perturbation can be evaded. The correct relic abundance is then achieved over a wide range of the dark photon mass down to 1013eV10^{-13}\ \text{eV}. Our mechanism favors high-scale inflation models which can be tested in future observations. Furthermore, fluctuations of the dark photon field during inflation produce gravitational waves detectable at future space-based interferometers and/or pulsar timing array experiments.

1 Introduction

Ultra-light dark matter (DM) can in principle account for the issues around the structures of small scales (see [1] for a review). A light spin-1 vector boson is an intriguing candidate of DM in our Universe. Such a dark photon DM can have a wide range of mass, extending down to the fuzzy DM region [2, 3]. Accordingly, searches for the dark photon DM have been conducted from various directions (see refs. [4, 5] for reviews). The Lyman-α\alpha constraint puts a lower bound on the mass, mγ1020eVm_{\gamma^{\prime}}\gtrsim 10^{-20}\,\rm eV [6]. The black hole superradiance constraint spreads over a range of the dark photon mass, 1020eVmγ1011eV10^{-20}\,{\rm eV}\lesssim m_{\gamma^{\prime}}\lesssim 10^{-11}\,\rm eV [7, 8, 9, 10, 11]. For a light dark photon DM kinetically mixing with the photon, additional constraints such as galactic heating [12] and distortions of the cosmic microwave background (CMB) [13] give upper bounds on the size of the kinetic mixing. Moreover, a number of experiments are being programmed for further explorations. For instance, DM Radio [14, 15] will search for the dark photon DM with a range of mass, 1012eVmγ103eV10^{-12}\,{\rm eV}\lesssim m_{\gamma^{\prime}}\lesssim 10^{-3}\,\rm eV. Recently, it has been revealed that laser interferometers for the detection of gravitational waves (GWs) are also sensitive to the vector DM with mass 1018eVmγ1011eV10^{-18}\,{\rm eV}\lesssim m_{\gamma^{\prime}}\lesssim 10^{-11}\,\rm eV [16, 17, 18]. Therefore the phenomenology of a new vector boson DM is an exciting arena for the DM searches.

Depending on the dark photon mass mγm_{\gamma^{\prime}}, different mechanisms for the production of the dark photon DM have been proposed. Inflationary fluctuations can give the correct DM abundance for mγμeVm_{\gamma^{\prime}}\gtrsim\mu\rm eV [19]. As in the case of axions, the dark photon DM can also be produced by a misalignment mechanism [20], while a highly tuned coupling to the curvature is required [13]. Refs. [21, 22, 23] have realized a light dark photon DM whose mass is below μeV\mu\rm eV by the oscillation of an axion-like field coupling to the dark photon or a scalar field charged under the dark U(1)U(1). A network of cosmic strings can also produce a light dark photon DM [24].

A dark photon coupling to the inflaton provides another attractive possibility for the dark photon DM production. Ref. [25] has introduced a coupling φFF~\varphi F^{\prime}\widetilde{F}^{\prime} where φ\varphi denotes the inflaton, FF^{\prime} is the dark photon field strength and F~\widetilde{F}^{\prime} is its dual. It was discussed that a dark photon DM with mass mγμeVm_{\gamma^{\prime}}\gtrsim\mu\rm eV is produced through tachyonic instability during inflation. A more generic coupling I(φ)2FFI(\varphi)^{2}F^{\prime}F^{\prime} with some function II has been explored in refs. [26, 27]. This type of coupling in a cosmological context was first introduced as a mechanism of inflationary magnetogenesis [28] and has been actively studied [29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46]. A crucial feature of the coupling is that, depending on the achieved time dependence of II, diverse shapes of the produced dark photon spectrum can be realized. Thanks to this nature, dark photons with large wavelengths can be efficiently produced by the inflaton motion. The spectrum of produced dark photons has a peak around the wavelength that exits the horizon at the earliest time.

The main target of the present paper is the production of a light dark photon DM with a range of mass, 1011eVmγ106eV10^{-11}\,{\rm eV}\lesssim m_{\gamma^{\prime}}\lesssim 10^{-6}\,\rm eV, which is above the mass region constrained by the black hole superradiance and below the region in which inflationary fluctuations can give the correct relic abundance. This range of mass is covered by the future DM radio experiment. Instead of a direct coupling to the inflaton, we here consider a coupling between the dark photon field and a spectator scalar field which does not play a role in the inflationary expansion but whose motion along its potential during inflation leads to production of the dark photon DM. The motion of the spectator field can efficiently produce dark photons with large wavelengths which become non-relativistic before the time of matter-radiation equality. It has been known that the production of a light dark photon DM through a coupling to the inflaton would receive a stringent constraint from the isocurvature perturbation [47]. On the other hand, in the present scenario, the wavelength spectrum of produced dark photons is peaky so that the constraint from the isocurvature perturbation based on the CMB observations can be evaded. The correct relic abundance is then achieved over the target mass range and below, and we show that the mechanism favors high-scale inflation models to provide the lower dark photon mass. In addition, fluctuations of the dark photon field during inflation produce GWs which can be detected at future space-based interferometers such as DECIGO [48], BBO [49] or μ\muAres [50] and also pulsar timing array experiments such as SKA [51].

The rest of the paper is organized as follows. In section 2, we discuss the production of a light dark photon DM through a coupling between the dark photon field and a spectator scalar field. In Section 3, we compute the power spectrum of the dark photon. Section 4 then explores the parameter space that the correct DM abundance is realized. In section 5, the generation of tensor modes is investigated. Section 6 is devoted to conclusions and discussions.

2 A spectator model

We consider a model of a light dark photon DM in which a dark photon field AμA^{\prime}_{\mu} is kinetically coupled to a spectator scalar field σ\sigma. The total action is given as follows:

S=d4xg[MPl22R+inf12μσμσV(σ)I(σ)24FμνFμν12mγ2AμAμ],\displaystyle S=\int d^{4}x\sqrt{-g}\left[\dfrac{M_{\rm Pl}^{2}}{2}R+\mathcal{L}_{\rm inf}-\dfrac{1}{2}\partial_{\mu}\sigma\partial^{\mu}\sigma-V(\sigma)-\dfrac{I(\sigma)^{2}}{4}F^{\prime}_{\mu\nu}F^{\prime\mu\nu}-\dfrac{1}{2}m_{\gamma^{\prime}}^{2}A^{\prime}_{\mu}A^{\prime\mu}\right]\ , (2.1)

where RR is the Ricci scalar associated with the 44-D metric gμνg_{\mu\nu}, whose determinant is denoted by gg, Fμν=μAννAμF^{\prime}_{\mu\nu}=\partial_{\mu}A^{\prime}_{\nu}-\partial_{\nu}A^{\prime}_{\mu} is the field strength of the dark photon, and inf\mathcal{L}_{\rm inf} is the Lagrangian density of the inflaton. In what follows, we do not specify the inflaton dynamics except for the assumption that it can be well approximated by de Sitter for our purpose. In (2.1), V(σ)V(\sigma) is the potential of the spectator field σ\sigma, and I(σ)I(\sigma) is a function of σ\sigma which will be specified later. The last term denotes a Proca term of the dark photon with a constant mass mγm_{\gamma^{\prime}}. We assume that there is no direct coupling between the dark photon and the Standard Model (SM) sector and no mixing with the ordinary photon.

A crucial point of our work is to turn on a nontrivial evolution of the dark photon production. This enables a non-monotonic spectrum of the produced dark photon, resulting in a spectral peak at a certain wavenumber kpeakk_{\rm peak}. This additional freedom is essential to evade the stringent constraint on the CMB isocurvature modes. The evolution of the production is controlled by the function I(σ)I(\sigma) in (2.1), whose behavior inherits the dynamics of σ\sigma. In the following subsections, we hence consider a slow but non-constant homogeneous motion of σ\sigma and then perform the computation of the corresponding production of the dark photon.

2.1 Background dynamics

Let us first consider the background dynamics of the model. Throughout the present work, we assume that there is no vacuum expectation value of the vector field:111This assumption in fact depends on the scales of interest. Even if the classical background of AμA_{\mu}^{\prime} is absent, the dark photon field can be generated from the quantum vacuum, as in our current consideration. If the produced field has a wavelength larger than a certain scale with a nonzero variance, then each local patch smaller than that stochastically experiences a coherent field of dark photon wave, which, strictly speaking, breaks spatial isotropy [45]. However, we are here interested in generation of the dark photon on scales smaller than the CMB ones, and therefore the vanishing 11-point function is a relevant assumption, at least under the consideration of the isocurvature constraints which is the main observational obstacle for dark photon production of long wavelength modes.

Aμ=0.\langle A^{\prime}_{\mu}\rangle=0\ . (2.2)

Thanks to this assumption, and ensuring a posteriori that the energy density of the dark photon is a subdominant component, we can consider the flat Friedmann-Lemaître-Robertson-Walker (FLRW) metric,

ds2=dt2+a(t)2d𝒙2=a(τ)2(dτ2+d𝒙2),ds^{2}=-dt^{2}+a(t)^{2}d\bm{x}^{2}=a(\tau)^{2}(-d\tau^{2}+d\bm{x}^{2})\ , (2.3)

as the background spacetime. Here, aa is the scale factor and τ\tau denotes the conformal time, dτ=dt/ad\tau=dt/a. Throughout the paper, we assume that inflation proceeds as de Sitter essentially, and the time dependence of the scale factor is well approximated by aexp(Ht)1/(Hτ)a\simeq\exp\left(Ht\right)\simeq-1/(H\tau), where Hta/aH\equiv\partial_{t}a/a is the Hubble rate during inflation.

For the kinetic function II of σ\sigma, we adopt the following simple exponential form:

I(σ)=I0exp(σΛ1),I(\sigma)=I_{0}\exp\left(\dfrac{\sigma}{\Lambda_{1}}\right)\,, (2.4)

with some dimension-11 energy scale Λ1\Lambda_{1}. The normalization constant I0I_{0} is assumed to be I0=1I_{0}=1 to realize I(σ0)=1I(\sigma\rightarrow 0)=1 after inflation ends when σ\sigma settles into its potential minimum and recovers the canonical kinetic term of the dark photon field. The crucial parameter that dictates production of the dark photon, especially of the transverse modes, is the rate of the time variation of II with respect to the number of e-foldings N=lnaN=\ln a, i.e.,

ndI/dNI=dσ/dNΛ1,dN=Hdt.n\equiv\dfrac{dI/dN}{I}=\frac{d\sigma/dN}{\Lambda_{1}}\ ,\qquad dN=Hdt\,. (2.5)

The critical values of nn for dark photon production are |n|=2|n|=2: for |n|>2|n|>2, the associated dark electric or magnetic field, or both, goes through exponential amplifications [52].

With the form of II fixed by (2.4), we take the freedom to choose the spectator potential V(σ)V(\sigma) so that the dark photon production occurs with nontrivial time dependence. In this regard, we consider a toy model,

V(σ)=μ4tanh2(σΛ2),V(\sigma)=\mu^{4}\tanh^{2}\left(\dfrac{\sigma}{\Lambda_{2}}\right)\ , (2.6)

where μ\mu is a potential energy scale and Λ2\Lambda_{2} is another energy scale which characterizes the steepness of the potential. This kind of functional form is sometimes considered in the context of the α\alpha-attractor model [53], while in our current study we assume that another independent sector drives inflation. To characterize the energy density of the spectator field σ\sigma, playing no role in the inflationary expansion, we define the following ratio,

Rμ43MPl2H21.R\equiv\dfrac{\mu^{4}}{3M_{\rm Pl}^{2}H^{2}}\ll 1\ . (2.7)

The Hubble slow-roll parameter ϵHH˙/H2\epsilon_{H}\equiv-\dot{H}/H^{2} (dot represents derivative with respect to the physical time tt) is given by

ϵH=ϵϕ+ϵσ+ϵγ1,\epsilon_{H}=\epsilon_{\phi}+\epsilon_{\sigma}+\epsilon_{\gamma^{\prime}}\ll 1\ , (2.8)

where each contribution is defined as ϵα(ρα+pα)/(2MPl2H2)\epsilon_{\alpha}\equiv\left(\rho_{\alpha}+p_{\alpha}\right)/(2M_{\rm Pl}^{2}H^{2}) (α=ϕ,σ,γ\alpha=\phi,\,\sigma,\,\gamma^{\prime}), where ρα\rho_{\alpha} and pαp_{\alpha} are the corresponding energy density and pressure, respectively, and reads

ϵϕ\displaystyle\epsilon_{\phi} =ϕ˙22MPl2H2,ϵσ=σ˙22MPl2H2,\displaystyle=\dfrac{\dot{\phi}^{2}}{2M_{\rm Pl}^{2}H^{2}}\ ,\quad\epsilon_{\sigma}=\dfrac{\dot{\sigma}^{2}}{2M_{\rm Pl}^{2}H^{2}}\ , (2.9)
ϵγ\displaystyle\epsilon_{\gamma^{\prime}} =1MPl2H213a2I2(F0iF0i+12a2FijFij)+12mγ2(A20+13a2AAi)i.\displaystyle=\dfrac{1}{M_{\rm Pl}^{2}H^{2}}\left\langle\dfrac{1}{3a^{2}}I^{2}\left(F^{\prime}_{0i}F^{\prime}_{0i}+\dfrac{1}{2a^{2}}F^{\prime}_{ij}F^{\prime}_{ij}\right)+\dfrac{1}{2}m_{\gamma^{\prime}}^{2}\left(A{{}^{\prime}}_{0}^{2}+\dfrac{1}{3a^{2}}A{{}^{\prime}}_{i}A{{}^{\prime}}_{i}\right)\right\rangle\ . (2.10)

Here, ϵγ\epsilon_{\gamma^{\prime}} denotes a contribution from the backreaction of the dark photon field and we assume that its magnitude is small in comparison with the other contributions. Note that, in (2.10), the expression assumes the physical time (not conformal time), and the bracket \langle\bullet\rangle denotes the vacuum average. For our analytical convenience, we take the Hubble parameter as a constant value H=const.H=\text{const}. to solve the dynamics of the spectator-dark photon system.

The equation of motion for the spectator field is

d2σdN2+3dσdN+VσH2=IIσ2H2FμνFμν,\dfrac{d^{2}\sigma}{dN^{2}}+3\dfrac{d\sigma}{dN}+\dfrac{V_{\sigma}}{H^{2}}=-\dfrac{II_{\sigma}}{2H^{2}}\langle F^{\prime}_{\mu\nu}F{{}^{\prime}}^{\mu\nu}\rangle\ , (2.11)

where the subscript σ\sigma denotes derivative with respect to σ\sigma, and the time dependence of HH is assumed to be negligible (|NH/H|3|\partial_{N}H/H|\ll 3). The right-hand side describes a backreaction effect on the motion of the spectator field. We consider the parameter space where this effect is negligible as we will discuss later. Then, assuming that the first term of the left-hand side in Eq. (2.11) is also negligible, we can use the slow-roll condition 3dσ/dNVσ/H23d\sigma/dN\simeq-V_{\sigma}/H^{2} and obtain from (2.5)

nVσ3H2Λ1=2cRMPl2Λ12tanh(σ~)cosh2(σ~).n\simeq-\dfrac{V_{\sigma}}{3H^{2}\Lambda_{1}}=-2cR\dfrac{M_{\rm Pl}^{2}}{\Lambda_{1}^{2}}\dfrac{\tanh(\tilde{\sigma})}{\cosh^{2}(\tilde{\sigma})}\ . (2.12)

Here, we have defined dimensionless quantities, cΛ1/Λ2c\equiv\Lambda_{1}/\Lambda_{2} and σ~σ/Λ2\tilde{\sigma}\equiv\sigma/\Lambda_{2}. Regarding the slow-roll solution of σ\sigma, we find that σ~\tilde{\sigma} and nn are described in terms of the Lambert W-function as

σ~(N)\displaystyle\tilde{\sigma}(N) =arcsinh[W(y)],\displaystyle=\text{arcsinh}\left[\sqrt{W(y)}\right]\ , (2.13)
n(N)\displaystyle n(N) =2cRMPl2Λ12W(y)[1+W(y)]3/2,\displaystyle=-2cR\,\dfrac{M_{\rm Pl}^{2}}{\Lambda_{1}^{2}}\,\dfrac{\sqrt{W(y)}}{\left[1+W(y)\right]^{3/2}}\ , (2.14)
y\displaystyle y 4RMPl2Λ22N+2ln[sinh(σ~i)]+sinh2(σ~i),\displaystyle\equiv-4R\,\frac{M_{\rm Pl}^{2}}{\Lambda_{2}^{2}}\,N+2\ln\left[\sinh(\tilde{\sigma}_{i})\right]+\sinh^{2}(\tilde{\sigma}_{i})\ , (2.15)

where σ~i=σ~(0)>0\tilde{\sigma}_{i}=\tilde{\sigma}(0)>0 is an initial value of σ~\tilde{\sigma}. Inversely, using the definition of the W-function W(zez)=zW(ze^{z})=z, the number of e-foldings is written as

N=Λ224RMPl2[2ln[sinh(σ~i)sinh(σ~)]+sinh2(σ~i)sinh2(σ~)].N=\dfrac{\Lambda_{2}^{2}}{4RM_{\rm Pl}^{2}}\left[2\ln\left[\dfrac{\sinh(\tilde{\sigma}_{i})}{\sinh(\tilde{\sigma})}\right]+\sinh^{2}(\tilde{\sigma}_{i})-\sinh^{2}(\tilde{\sigma})\right]\ . (2.16)

Note that, since we are requiring the weak coupling of the dark photon to the hidden sector, i.e. I>1I>1, during inflation, we choose the branch σ>0\sigma>0, provided Λ1,2>0\Lambda_{1,2}>0.

Refer to caption
Figure 1: A schematic dynamics of the spectator field on the tanh2\tanh^{2} potential (2.6) in our scenario. (1) The initial value is located toward the top of the hill and the velocity monotonically increases. (2) At a certain time, the spectator field crosses an inflection point of the potential and the velocity gets maximized. (3) The velocity turns to decrease toward the minimum of the potential until inflation ends.

We are interested in a situation where the magnitude of |n||n| is initially small but becomes greater than 2 at some point during inflation. Namely, the dark photon production occurs at the intermediate stage of inflation, and its overproduction on large scales is avoidable. To realize such a situation, we consider the following scenario: the spectator field rolls down on the potential and its velocity experiences a peak value at an intermediate time of inflation (see Figure 1). At an initial stage, σ~\tilde{\sigma} is near the top of the potential and |n|<2|n|<2 is satisfied. Then, the velocity of the scalar field gradually increases and gets maximized when it goes through an inflection point σ~=σ~IP\tilde{\sigma}=\tilde{\sigma}_{\rm IP} on the potential,

Vσσ(σ~IP)=2μ4Λ2212sinh2(σ~IP)cosh4(σ~IP)=0σ~IP0.658,V_{\sigma\sigma}(\tilde{\sigma}_{\rm IP})=2\,\dfrac{\mu^{4}}{\Lambda_{2}^{2}}\,\dfrac{1-2\sinh^{2}(\tilde{\sigma}_{\rm IP})}{\cosh^{4}(\tilde{\sigma}_{\rm IP})}=0\qquad\longleftrightarrow\qquad\tilde{\sigma}_{\rm IP}\simeq 0.658\,, (2.17)

at a certain number of e-foldings N=NIPN=N_{\rm IP}, assuming n(NIP)<2n(N_{\rm IP})<-2. After that, the velocity decreases and finally the scalar field reaches the bottom of the potential. We define the number of e-foldings N1N_{1} and N2N_{2} at which n(N1)=n(N2)=2n(N_{1})=n(N_{2})=-2 and N1<NIP<N2N_{1}<N_{\rm IP}<N_{2} are satisfied. Using Eq. (2.12), they are obtained as

Np=14c[tanh(σ~p)cosh2(σ~p)(2ln[sinh(σ~i)sinh(σ~p)]+sinh2(σ~i)sinh2(σ~p))](p=1,2),N_{p}=\dfrac{1}{4c}\left[\dfrac{\tanh(\tilde{\sigma}_{p})}{\cosh^{2}(\tilde{\sigma}_{p})}\left(2\ln\left[\dfrac{\sinh(\tilde{\sigma}_{i})}{\sinh(\tilde{\sigma}_{p})}\right]+\sinh^{2}(\tilde{\sigma}_{i})-\sinh^{2}(\tilde{\sigma}_{p})\right)\right]\quad(p=1,2)\ , (2.18)

where σ~p=σ~(Np)\tilde{\sigma}_{p}=\tilde{\sigma}(N_{p}). Therefore, the parameter cc, characterizing the slope of the potential, partially determines a duration of e-folds for which the particle production occurs. To obtain Np=𝒪(10)N_{p}=\mathcal{O}(10), we may choose c=𝒪(102)c=\mathcal{O}(10^{-2}) for σ~i=𝒪(1)\tilde{\sigma}_{i}=\mathcal{O}(1).

Refer to caption
Refer to caption
Figure 2: The time evolution of σ~\tilde{\sigma} (left panel) and nn (right panel). The solid and dashed lines represent the numerical and slow-roll approximate solutions, respectively. Here, we take R=102R=10^{-2}, σ~i=1.2525\tilde{\sigma}_{i}=1.2525, Λ1=5×103MPl,c=7.525×103\Lambda_{1}=5\times 10^{-3}M_{\rm Pl},\ c=7.525\times 10^{-3}.

Figure 2 shows the time evolution of σ~\tilde{\sigma} and that of the corresponding nn. We set the inflation end at Nend=60N_{\rm end}=60. The solid and dashed curves represent the numerical and slow-roll approximate solutions (2.13) and (2.14), respectively. One can find that the slow-roll solution is well-fitted to the exact one. At an initial stage of inflation, |n||n| is smaller than 2 and the vector field is not amplified. At a certain time, |n||n| becomes greater than 2 and the vector field starts to be amplified. In the next section, we will show that the dark photon production occurs at an intermediate stage of inflation. As a result, the sourced power spectrum of the dark photon exhibits a peaky structure on small scales, reflecting the peaky evolution of nn.

2.2 Evolution of the dark photon field

Let us analyze the evolution of the dark photon field kinetically coupled to the scalar field σ\sigma. Since the vector field possesses a nonzero mass, its spatial components are decomposed into transverse modes and a longitudinal mode:

Ai=AiT+iχ,iAiT=0.A^{\prime}_{i}=A^{\prime T}_{i}+\partial_{i}\chi\ ,\ \qquad\partial_{i}A^{\prime T}_{i}=0\ . (2.19)

Integrating out the non-dynamical component A0A^{\prime}_{0} by

A0=I22I22+a2mγ2τχ,\displaystyle A_{0}^{\prime}=\frac{-I^{2}\partial^{2}}{-I^{2}\partial^{2}+a^{2}m_{\gamma^{\prime}}^{2}}\,\partial_{\tau}\chi\;, (2.20)

the quadratic action of the transverse modes and that of the longitudinal mode are respectively obtained as

ST\displaystyle S_{T} =12𝑑τ𝑑𝒙[I2(τAiTτAiTiAjTiAjT)a2mγ2AiTAiT],\displaystyle=\dfrac{1}{2}\int d\tau\,d\bm{x}\Big{[}I^{2}(\partial_{\tau}A^{\prime T}_{i}\partial_{\tau}A^{\prime T}_{i}-\partial_{i}A^{\prime T}_{j}\partial_{i}A^{\prime T}_{j})-a^{2}m_{\gamma^{\prime}}^{2}A^{\prime T}_{i}A^{\prime T}_{i}\Big{]}\ , (2.21)
SL\displaystyle S_{L} =12𝑑τ𝑑𝒙a2mγ2[τχ(I22I22+a2mγ2τχ)iχiχ],\displaystyle=\dfrac{1}{2}\int d\tau\,d\bm{x}\,a^{2}m_{\gamma^{\prime}}^{2}\left[\partial_{\tau}\chi\left(\dfrac{-I^{2}\partial^{2}}{-I^{2}\partial^{2}+a^{2}m_{\gamma^{\prime}}^{2}}\partial_{\tau}\chi\right)-\partial_{i}\chi\partial_{i}\chi\right]\ , (2.22)

with 2ii\partial^{2}\equiv\partial_{i}\partial_{i}. Modulations of the kinetic couplings in these actions are crucial for the evolution of the vector field. To see this, we decompose the transverse modes (22 degrees of freedom) and the longitudinal one (11 d.o.f.) in terms of their Fourier modes,

IAiT(τ,𝒙)\displaystyle IA^{\prime T}_{i}(\tau,\bm{x}) =d𝒌(2π)3(V^𝒌X(τ)eiX(𝒌^)+iV^𝒌Y(τ)eiY(𝒌^))ei𝒌𝒙,\displaystyle=\int\dfrac{d\bm{k}}{(2\pi)^{3}}\left(\hat{V}^{X}_{\bm{k}}(\tau)e^{X}_{i}(\hat{\bm{k}})+i\hat{V}^{Y}_{\bm{k}}(\tau)e^{Y}_{i}(\hat{\bm{k}})\right)e^{i\bm{k}\cdot\bm{x}}\ , (2.23)
χ(τ,𝒙)\displaystyle\chi(\tau,\bm{x}) =d𝒌(2π)3X^𝒌(τ)zkei𝒌𝒙,zkamγIkI2k2+a2mγ2,\displaystyle=\int\dfrac{d\bm{k}}{(2\pi)^{3}}\dfrac{\hat{X}_{\bm{k}}(\tau)}{z_{k}}e^{i\bm{k}\cdot\bm{x}}\ ,\qquad z_{k}\equiv\dfrac{am_{\gamma^{\prime}}Ik}{\sqrt{I^{2}k^{2}+a^{2}m_{\gamma^{\prime}}^{2}}}\ , (2.24)

where k|𝒌|k\equiv|\bm{k}|, superscripts XX and YY label the polarization states, and the orthonormal polarization vectors take the forms

eiX(𝒌^)=(cosθcosϕ,cosθsinϕ,sinθ),eiY(𝒌^)=(sinϕ,cosϕ, 0),e^{X}_{i}(\hat{\bm{k}})=(\cos\theta\cos\phi,\ \cos\theta\sin\phi,\ -\sin\theta)\ ,\quad e^{Y}_{i}(\hat{\bm{k}})=(-\sin\phi,\ \cos\phi,\ 0)\ , (2.25)

with the unit wave vector 𝒌^=(sinθcosϕ,sinθsinϕ,cosθ)\hat{\bm{k}}=(\sin\theta\cos\phi,\ \sin\theta\sin\phi,\ \cos\theta). They obey the properties: kieiσ(𝒌^)=0(σ=X,Y),eiX(𝒌^)eiX(𝒌^)=eiY(𝒌^)eiY(𝒌^)=1,eiX(𝒌^)eiY(𝒌^)=0k_{i}e^{\sigma}_{i}(\hat{\bm{k}})=0\ (\sigma=X,Y),\ e^{X}_{i}(\hat{\bm{k}})e^{X}_{i}(\hat{\bm{k}})=e^{Y}_{i}(\hat{\bm{k}})e^{Y}_{i}(\hat{\bm{k}})=1,\ e^{X}_{i}(\hat{\bm{k}})e^{Y}_{i}(\hat{\bm{k}})=0, eiσ(𝒌^)=eiσ(𝒌^),eiX(𝒌^)=eiX(𝒌^)e_{i}^{\sigma\,*}(\hat{\bm{k}})=e_{i}^{\sigma}(\hat{\bm{k}}),\ e_{i}^{X}(-\hat{\bm{k}})=e_{i}^{X}(\hat{\bm{k}}), eiY(𝒌^)=eiY(𝒌^)e_{i}^{Y}(-\hat{\bm{k}})=-e_{i}^{Y}(\hat{\bm{k}}).222Note that we define the parity change k^k^\hat{k}\to-\hat{k} by the simultaneous operations θπθ\theta\to\pi-\theta and ϕϕ+π\phi\to\phi+\pi. The canonical variables V^𝒌σ\hat{V}^{\sigma}_{\bm{k}} and X^𝒌\hat{X}_{\bm{k}} satisfy the reality conditions,

V^𝒌X=V^𝒌X,V^𝒌Y=V^𝒌Y,X^𝒌=X^𝒌.\hat{V}_{\bm{k}}^{X\,\dagger}=\hat{V}_{-\bm{k}}^{X}\;,\qquad\hat{V}_{\bm{k}}^{Y\,\dagger}=\hat{V}_{-\bm{k}}^{Y}\;,\qquad\hat{X}_{\bm{k}}^{\dagger}=\hat{X}_{-\bm{k}}\;. (2.26)

Note that we put ii in front of the V^𝒌Y\hat{V}^{Y}_{\bm{k}} term in (2.23) so that V^𝒌Y\hat{V}^{Y}_{\bm{k}} respects the above property of Hermitian conjugate. In terms of these variables, the actions (2.21) and (2.22) are rewritten as

ST\displaystyle S_{T} =12σ=X,Y𝑑τd𝒌(2π)3[τV^𝒌στV^𝒌σ(k2τ2II+a2mγ2I2)V^𝒌σV^𝒌σ],\displaystyle=\dfrac{1}{2}\sum_{\sigma=X,Y}\int d\tau\,\dfrac{d\bm{k}}{(2\pi)^{3}}\left[\partial_{\tau}\hat{V}^{\sigma\dagger}_{\bm{k}}\partial_{\tau}\hat{V}^{\sigma}_{\bm{k}}-\left(k^{2}-\dfrac{\partial_{\tau}^{2}I}{I}+\dfrac{a^{2}m_{\gamma^{\prime}}^{2}}{I^{2}}\right)\hat{V}^{\sigma\dagger}_{\bm{k}}\hat{V}^{\sigma}_{\bm{k}}\right]\ , (2.27)
SL\displaystyle S_{L} =12𝑑τd𝒌(2π)3[τX^𝒌τX^𝒌(k2τ2zkzk+a2mγ2I2)X^𝒌X^𝒌].\displaystyle=\dfrac{1}{2}\int d\tau\,\dfrac{d\bm{k}}{(2\pi)^{3}}\left[\partial_{\tau}\hat{X}^{\dagger}_{\bm{k}}\partial_{\tau}\hat{X}_{\bm{k}}-\left(k^{2}-\dfrac{\partial_{\tau}^{2}z_{k}}{z_{k}}+\dfrac{a^{2}m_{\gamma^{\prime}}^{2}}{I^{2}}\right)\hat{X}^{\dagger}_{\bm{k}}\hat{X}_{\bm{k}}\right]\ . (2.28)

Then, decomposing V^𝒌σ\hat{V}^{\sigma}_{\bm{k}}, X^𝒌\hat{X}_{\bm{k}} into creation/annihilation operators,

V^𝒌σ\displaystyle\hat{V}^{\sigma}_{\bm{k}} =Vkσa^𝒌σ+Vkσa^𝒌σ,[a^𝒌σ,a^𝒌σ]=(2π)3δσσδ(𝒌+𝒌),\displaystyle=V^{\sigma}_{k}\hat{a}^{\sigma}_{\bm{k}}+V^{\sigma*}_{k}\hat{a}^{\sigma\dagger}_{-\bm{k}}\ ,\qquad[\hat{a}^{\sigma}_{\bm{k}},\hat{a}^{\sigma^{\prime}\dagger}_{-\bm{k^{\prime}}}]=(2\pi)^{3}\delta^{\sigma\sigma^{\prime}}\delta(\bm{k}+\bm{k^{\prime}})\ , (2.29)
X^𝒌\displaystyle\hat{X}_{\bm{k}} =Xkb^𝒌+Xkb^𝒌,[b^𝒌,b^𝒌]=(2π)3δ(𝒌+𝒌),\displaystyle=X_{k}\hat{b}_{\bm{k}}+X^{*}_{k}\hat{b}^{\dagger}_{-\bm{k}}\ ,\qquad[\hat{b}_{\bm{k}},\hat{b}^{\dagger}_{-\bm{k^{\prime}}}]=(2\pi)^{3}\delta(\bm{k}+\bm{k^{\prime}})\ , (2.30)

with the vacuum |0|0\rangle defined by a^𝒌σ|0=b^𝒌|0=0\hat{a}_{\bm{k}}^{\sigma}|0\rangle=\hat{b}_{\bm{k}}|0\rangle=0, we obtain the equations of motion for the mode functions as

τ2Vk+(k2τ2II+a2mγ2I2)Vk=0,\displaystyle\partial_{\tau}^{2}V_{k}+\left(k^{2}-\dfrac{\partial_{\tau}^{2}I}{I}+\dfrac{a^{2}m_{\gamma^{\prime}}^{2}}{I^{2}}\right)V_{k}=0\ , (2.31)
τ2Xk+(k2τ2zkzk+a2mγ2I2)Xk=0,\displaystyle\partial_{\tau}^{2}X_{k}+\left(k^{2}-\dfrac{\partial_{\tau}^{2}z_{k}}{z_{k}}+\dfrac{a^{2}m_{\gamma^{\prime}}^{2}}{I^{2}}\right)X_{k}=0\ , (2.32)

where the index σ(=X,Y)\sigma\,(=X,Y) of the transverse mode functions has been omitted since the two modes obey the same equation. Historically, for analytical convenience, many of the studies on inflationary kinetic coupling models have assumed a special functional form of II to make nn constant in time. Such a case, with a negligible mass term, is briefly summarized in Appendix A. In the case of small mass, the longitudinal mode obeys the equation of motion as in (A.11) and does not experience an exponential enhancement, in contrast to the transverse modes when |n|>2|n|>2 is realized. Thus the contribution to the dark photon production from the longitudinal mode is always subdominant in the parameter space of our interest and shall be disregarded in the following consideration.

In order to find the solution of the transverse modes with a mild time dependence of n(τ)n(\tau), we assume a negligible mass of the dark photon, and then Eq. (2.31) is rewritten as

τ2Vk+(k2n(τ)(n(τ)+1)+dn/dNτ2)Vk=0,\partial_{\tau}^{2}V_{k}+\left(k^{2}-\dfrac{n(\tau)(n(\tau)+1)+dn/dN}{\tau^{2}}\right)V_{k}=0\ , (2.33)

with a constant HH. Neglecting a small correction of the velocity term dn/dNdn/dN, we obtain a differential equation of the same form as Eq. (A.1). Although in the case of time-dependent n(τ)n(\tau) there would be no analytically closed form of the solution to eq. (2.33) in general, there exists a useful technique called uniform approximation [54, 55, 56], which we employ here. By introducing variables

g(τ)ν2(τ)τ2k2,f(τ){[32ττ𝑑τ~g(τ~)]2/3,τ<τ,[32ττ𝑑τ~g(τ~)]2/3,τ<τ,g(\tau)\equiv\dfrac{\nu^{2}(\tau)}{\tau^{2}}-k^{2}\ ,\qquad f(\tau)\equiv\begin{cases}\displaystyle-\left[\dfrac{3}{2}\int_{\tau}^{\tau_{*}}d\tilde{\tau}\sqrt{-g(\tilde{\tau})}\right]^{2/3}\;,&\quad\tau<\tau_{*}\;,\vspace{1mm}\\ \displaystyle\left[\dfrac{3}{2}\int_{\tau_{*}}^{\tau}d\tilde{\tau}\sqrt{g(\tilde{\tau})}\right]^{2/3}\;,&\quad\tau_{*}<\tau\;,\end{cases} (2.34)

with ν2(1+4n(n+1))/4\nu^{2}\equiv(1+4n(n+1))/4 and the turning point τ<0\tau_{*}<0 defined by g(τ)=0g(\tau_{*})=0, the solution of Eq. (2.33) is well described by the following linear combination of Airy functions:

VkUAAk(fg)1/4Ai(f)+Bk(fg)1/4Bi(f),V^{\rm UA}_{k}\equiv A_{k}\left(\dfrac{f}{g}\right)^{1/4}\text{Ai}(f)+B_{k}\left(\dfrac{f}{g}\right)^{1/4}\text{Bi}(f)\ , (2.35)

where the superscript “UA” is to remind (the leading order of) the uniform approximation. To utilize VkUAV_{k}^{\rm UA} as an approximate solution to (2.33), the coefficients AkA_{k} and BkB_{k} are chosen to realize the adiabatic initial condition in the sub-horizon regime and found to be

Ak=iBk,Bk=π2eiθ,A_{k}=iB_{k}\ ,\qquad B_{k}=\sqrt{\dfrac{\pi}{2}}e^{i\theta}\ , (2.36)

where θ\theta is an overall phase factor irrelevant in the following discussion. Then, using the asymptotic behavior of Airy functions, the solution on the super-horizon regime is approximately given by

VkUA\displaystyle V^{\rm UA}_{k} Bkπg1/4exp(23f3/2)eiθkτ2νkexp(ττ𝑑τ~ν2(τ~)τ~2k2)\displaystyle\simeq\dfrac{B_{k}}{\sqrt{\pi}g^{1/4}}\exp\left(\dfrac{2}{3}f^{3/2}\right)\simeq e^{i\theta}\dfrac{\sqrt{-k\tau}}{\sqrt{2\nu k}}\exp\left(\int^{\tau}_{\tau_{*}}d\tilde{\tau}\sqrt{\frac{\nu^{2}(\tilde{\tau})}{\tilde{\tau}^{2}}-k^{2}}\right) (2.37)

for kτ|ν(τ)|-k\tau\ll|\nu(\tau)|. One caution to note is that this leading-order solution of the uniform approximation captures the correct spectral behavior, but its amplitude can be slightly off. Even in the case of constant nn, or equivalently constant ν\nu, denoted by ν0\nu_{0}, the comparison to the known exact solution using the Hankel function (see e.g. [30]), VkexactV_{k}^{\rm exact}, reveals the difference

VkUAeiθkeν0(2ν0kτ)ν012,Vkexacteiθk2ν01Γ(ν0)π(kτ)ν012,|VkUAVkexact|2πν0ν012eν0Γ(ν0)0.95,\displaystyle V_{k}^{\rm UA}\simeq\frac{e^{i\theta}}{\sqrt{k}}\,e^{-\nu_{0}}\left(\frac{2\nu_{0}}{-k\tau}\right)^{\nu_{0}-\frac{1}{2}}\;,\quad V_{k}^{\rm exact}\simeq\frac{e^{i\theta}}{\sqrt{k}}\,\frac{2^{\nu_{0}-1}\Gamma(\nu_{0})}{\sqrt{\pi}\left(-k\tau\right)^{\nu_{0}-\frac{1}{2}}}\;,\quad\bigg{|}\frac{V_{k}^{\rm UA}}{V_{k}^{\rm exact}}\bigg{|}\simeq\frac{\sqrt{2\pi}\,\nu_{0}^{\nu_{0}-\frac{1}{2}}}{e^{\nu_{0}}\Gamma(\nu_{0})}\simeq 0.95\;, (2.38)

where the last numerical value is evaluated for the case n0=2n_{0}=-2, or ν0=3/2\nu_{0}=3/2. This is due to the error of the truncation at the leading order. The uniform approximation can accommodate the calculations of higher-order terms in an iterative manner for an arbitrary ν(τ)\nu(\tau) [57]. For constant ν=ν0\nu=\nu_{0}, for example, the first sub-leading correction gives VkUA(2)=VkUA/(12ν0)V_{k}^{\rm UA(2)}=V_{k}^{\rm UA}/(12\nu_{0}) [55], for which the difference from the exact result becomes |(VkUA+VkUA(2))/Vkexact|0.9999|(V_{k}^{\rm UA}+V_{k}^{\rm UA(2)})/V_{k}^{\rm exact}|\simeq 0.9999 for ν0=3/2\nu_{0}=3/2. Nonetheless, our leading-order solution (2.35), and its super-horizon limit (2.37), gather the correct time evolution and the spectral feature, as can be seen in Fig. 3. We thus use the leading order and admit the 5%\sim 5\,\% error in the amplitude in the following considerations.

3 The energy density spectrum

Based on the nontrivial background dynamics and the resulting characteristic production of dark photons described in the previous sections, we compute their energy density and show that its power spectrum can be peaked at scales much smaller than those of CMB observations but with wavelengths large enough to realize small-mass cold dark matter. The energy density ργ\rho_{\gamma^{\prime}} is the (0,0)-component of the energy-momentum tensor of the dark photon TμνA=2δS[A]/δgμνT^{A^{\prime}}_{\mu\nu}=-2\delta S[A^{\prime}]/\delta g^{\mu\nu}, which is calculated as

ργ=TA0=012a4[I2(F0iF0i+12FijFij)+a2mγ2(A20+AAi)i],\rho_{\gamma^{\prime}}=-T^{A^{\prime}0}{{}_{0}}=\dfrac{1}{2a^{4}}\left[I^{2}\left(F^{\prime}_{0i}F^{\prime}_{0i}+\dfrac{1}{2}F^{\prime}_{ij}F^{\prime}_{ij}\right)+a^{2}m_{\gamma^{\prime}}^{2}\left(A{{}^{\prime}}_{0}^{2}+A{{}^{\prime}}_{i}A{{}^{\prime}}_{i}\right)\right]\ , (3.1)

where this expression is compatible with the conformal time (not the physical one). The vacuum averaged energy density is split into two parts:333The energy density is quadratic in the field AμA_{\mu}, and there in principle exist cross terms between the transverse and longitudinal modes. They do not contribute to the vacuum average for two reasons: the first is that the different polarization modes are decoupled from each other at the linear order, and thus their cross correlations vanish. The second is that the cross terms always appear as total (spatial) derivatives, which is a consequence of the background isotropy and homogeneity, together with a vanishing vector vev Aμ=0\langle A_{\mu}\rangle=0, and therefore vanish when vacuum average is taken.

Refer to caption Refer to caption Refer to caption
Figure 3: The time evolution of the electric field (3.8) with a mode exiting the horizon at N=10N=10 (left panel), N=25N=25 (middle panel) and N=50N=50 (right panel). The horizontal axis xkτx\equiv-k\tau is a dimensionless time flowing from the right to the left. The blue solid lines denote the exact numerical solutions. Regarding the initial conditions, we took Bunch-Davies vacuum and set the initial time variable as xini=102x_{\rm ini}=10^{2}. The red dashed lines are the solutions with the uniform approximation (3.10) which start to fit at around the horizon crossing N=NN=N_{*}. The blue dashed lines are the approximate Gaussian fitting functions (5.23) discussed in section 5. The black dotted lines denote a time when n(t)=2n(t)=-2. We have used the same parameter set as in Figure 2.
ργ\displaystyle\langle\rho_{\gamma^{\prime}}\rangle =ργ,T+ργ,L,\displaystyle=\langle\rho_{\gamma^{\prime},T}\rangle+\langle\rho_{\gamma^{\prime},L}\rangle\ , (3.2)
ργ,T\displaystyle\langle\rho_{\gamma^{\prime},T}\rangle =1a4d𝒌(2π)3[I2τ(VkI)τ(VkI)+(k2+a2mγ2I2)VkVk]\displaystyle=\dfrac{1}{a^{4}}\int\dfrac{d\bm{k}}{(2\pi)^{3}}\left[I^{2}\partial_{\tau}\left(\dfrac{V_{k}}{I}\right)\partial_{\tau}\left(\dfrac{V^{*}_{k}}{I}\right)+\left(k^{2}+\dfrac{a^{2}m_{\gamma^{\prime}}^{2}}{I^{2}}\right)V_{k}V_{k}^{*}\right]
dlnk𝒫γ,T(k),\displaystyle\equiv\int d\ln k\,\mathcal{P}_{\gamma^{\prime},T}(k)\ , (3.3)
ργ,L\displaystyle\langle\rho_{\gamma^{\prime},L}\rangle =12a4d𝒌(2π)3[zk2τ(Xkzk)τ(Xkzk)+(k2+a2mγ2I2)XkXk]\displaystyle=\dfrac{1}{2a^{4}}\int\dfrac{d\bm{k}}{(2\pi)^{3}}\left[z_{k}^{2}\partial_{\tau}\left(\dfrac{X_{k}}{z_{k}}\right)\partial_{\tau}\left(\dfrac{X^{*}_{k}}{z_{k}}\right)+\left(k^{2}+\dfrac{a^{2}m_{\gamma^{\prime}}^{2}}{I^{2}}\right)X_{k}X_{k}^{*}\right]
dlnk𝒫γ,L(k),\displaystyle\equiv\int d\ln k\,\mathcal{P}_{\gamma^{\prime},L}(k)\ , (3.4)

where we have defined the power spectrum of the energy density for each mode, i.e. Pγ,T/LP_{\gamma^{\prime},T/L}. Note that the two transverse polarization modes are summed over. The gradient and mass terms are sub-dominant on the super-horizon scales in comparison with the kinetic terms, and we neglect their contributions to the energy density.

Let us first evaluate the power spectrum for the longitudinal mode. In our focused parameter space, pMp\gg M always holds and therefore the solution of XkX_{k} is given by Eq. (A.13). In this case, the spectral shape is blue tilted and only a few UV modes contribute to the energy density of the longitudinal mode at the inflation end N=NendN=N_{\rm end}. Its magnitude is evaluated as [27]

ργ,L|NendH48π2,\langle\rho_{\gamma^{\prime},L}\rangle|_{N_{\rm end}}\sim\dfrac{H^{4}}{8\pi^{2}}\,, (3.5)

and found to be much smaller than the energy density of the transverse modes as we will see below.

In considering the transverse modes on the occasion of negligible mass, it is convenient to define the corresponding (dark) electric and magnetic fields as EiT=IτAiT/a2E^{T}_{i}=-I\partial_{\tau}A^{\prime T}_{i}/a^{2} and BiT=IϵijkjAkT/a2B^{T}_{i}=I\epsilon_{ijk}\partial_{j}A^{\prime T}_{k}/a^{2}, where ϵijk\epsilon_{ijk} is the Levi-Civita symbol in the flat spacetime. Their mode functions can be defined as, 444 With EkE_{k} and BkB_{k}, we can express EiTE_{i}^{T} and BiTB_{i}^{T} as EiT\displaystyle E_{i}^{T} =d𝒌(2π)3ei𝒌𝒙[(Eka^𝒌X+Eka^𝒌X)eiX(𝒌^)+i(Eka^𝒌Y+Eka^𝒌Y)eiY(𝒌^)],\displaystyle=\int\frac{d\bm{k}}{(2\pi)^{3}}\,e^{i\bm{k}\cdot\bm{x}}\left[\left(E_{k}\,\hat{a}^{X}_{\bm{k}}+E_{k}^{*}\,\hat{a}^{X\dagger}_{-\bm{k}}\right)e_{i}^{X}(\hat{\bm{k}})+i\left(E_{k}\,\hat{a}^{Y}_{\bm{k}}+E_{k}^{*}\,\hat{a}^{Y\dagger}_{-\bm{k}}\right)e_{i}^{Y}(\hat{\bm{k}})\right]\;, (3.6) BiT\displaystyle B_{i}^{T} =d𝒌(2π)3ei𝒌𝒙[(Bka^𝒌Y+Bka^𝒌Y)eiX(𝒌^)+i(Bka^𝒌X+Bka^𝒌X)eiY(𝒌^)],\displaystyle=\int\frac{d\bm{k}}{(2\pi)^{3}}\,e^{i\bm{k}\cdot\bm{x}}\left[\left(B_{k}\,\hat{a}^{Y}_{\bm{k}}+B_{k}^{*}\,\hat{a}^{Y\dagger}_{-\bm{k}}\right)e_{i}^{X}(\hat{\bm{k}})+i\left(B_{k}\,\hat{a}^{X}_{\bm{k}}+B_{k}^{*}\,\hat{a}^{X\dagger}_{-\bm{k}}\right)e_{i}^{Y}(\hat{\bm{k}})\right]\;, (3.7) where we have used ϵijkkjekX(𝒌^)=keiY(𝒌^)\epsilon_{ijk}k_{j}e^{X}_{k}(\hat{\bm{k}})=ke^{Y}_{i}(\hat{\bm{k}}) and ϵijkkjekY(𝒌^)=keiX(𝒌^)\epsilon_{ijk}k_{j}e^{Y}_{k}(\hat{\bm{k}})=-ke^{X}_{i}(\hat{\bm{k}}). Be alert for the mixing of the polarizations {X,Y}\{X,Y\} between the operators and polarization vectors in the expression of BiTB_{i}^{T}.

EkIa2ddτ(VkI),Bkka2Vk.\displaystyle E_{k}\equiv-\dfrac{I}{a^{2}}\dfrac{d}{d\tau}\left(\dfrac{V_{k}}{I}\right)\;,\qquad B_{k}\equiv\frac{k}{a^{2}}\,V_{k}\;. (3.8)

To evaluate these quantities, we use the result of the uniform approximation for VkV_{k} obtained in (2.35), or the corresponding super-horizon expression (2.37). In the same way as in Appendix A, the dark electric field EkE_{k} is dominant over the magnetic counterpart BkB_{k} in the case where the dark photon production occurs in the branch n<0n<0, and we neglect BkB_{k} in comparison to EkE_{k} in the following discussions. In order to calculate EkE_{k} under the uniform approximation, we define an “averaged” value of quantity ν(N)\nu(N) by

ν¯k(N)NN𝑑N~ν(N~)NNk=[σ~(N)σ~(N)c(NNk)+12NNNNk],\bar{\nu}_{k}(N)\equiv\dfrac{\int_{N_{*}}^{N}d\tilde{N}\nu(\tilde{N})}{N-N_{k}}=-\left[\dfrac{\tilde{\sigma}(N)-\tilde{\sigma}(N_{*})}{c(N-N_{k})}+\dfrac{1}{2}\dfrac{N-N_{*}}{N-N_{k}}\right]\ , (3.9)

where NNkln(ν)N_{*}\equiv N_{k}-\ln(\nu) is the number of e-foldings at which g(τ(N))=0g(\tau(N_{*}))=0 and the definitions of I(σ)I(\sigma) and nn, respectively (2.4) and (2.5), have been used. Then the following electric mode function obtained by the uniform approximation (2.35) and (2.37),

EkUA\displaystyle E^{\rm UA}_{k} Ia2ddτ(VkUAI)\displaystyle\equiv\dfrac{I}{a^{2}}\dfrac{d}{d\tau}\left(\dfrac{V^{\rm UA}_{k}}{I}\right)
eiθ3H22k32ν3exp[(ν¯k32)(NNk)],(kτ0),\displaystyle\simeq e^{i\theta}\dfrac{3H^{2}}{\sqrt{2k^{3}}}\dfrac{2\sqrt{\nu}}{3}\exp\left[\left(\bar{\nu}_{k}-\dfrac{3}{2}\right)(N-N_{k})\right]\ ,\quad(-k\tau\rightarrow 0)\,, (3.10)

becomes a good approximation of the exact solution. Figure 3 shows the time evolution of the electric mode function for a few different momenta. Recalling the e-folding times N1N_{1} and N2N_{2} defined below (2.17) such that n(N1)=n(N2)=2n(N_{1})=n(N_{2})=-2 with N1<N2N_{1}<N_{2}, the left panel of Fig. 3 shows an evolution of the electric field exiting the horizon before N=N1N=N_{1}. For a while after leaving the horizon, its magnitude is suppressed until |n||n| becomes greater than its critical value 2. After |n||n| exceeds 2, it starts to grow on the super-horizon regime. Its growth persists until N=N2N=N_{2} and after that the amplitude starts to decrease since |n||n| becomes smaller than 2 again. The middle panel gives an evolution of the mode function exiting the horizon just around |n|=2|n|=2. The amplitude of the electric field with momentum modes of around this scale is mostly enhanced. The right panel shows an evolution of the mode function exiting the horizon when |n||n| is already greater than 2. While it starts to grow, its magnitude is not maximally enhanced because the fluctuation is still in the sub-horizon for a while after |n||n| crosses 22. We can see that the expression (3.10) is well fitted to the numerical solution.

Refer to caption
Figure 4: The power spectrum of the vector field Pγ,TP_{\gamma^{\prime},T} at e-folds N=N1N=N_{1} (dotted), NN_{*} (dashed), N2N_{2} (dot-dashed), NendN_{\rm end} (solid). The blue and red lines denote the numerical and approximate solutions, respectively. The rapid increase for small scales represents the Bunch-Davies vacuum which should be renormalized as a UV contribution and we cut off its growth in our calculation.

We now evaluate the time evolution of the power spectrum of the dark photon energy density with a certain model parameter set. The result is shown in Figure 4. The spectrum has a peak at an intermediate scale where the index |n||n| becomes greater than 2. This peak scale roughly corresponds to the number of e-foldings Nk=N1N_{k}=N_{1}, at which |n||n| becomes equal to 2 for the first time during the evolution. On the other hand, the amplitudes on large scales are suppressed because of a finite interval with |n|<2|n|<2 on the super-horizon regime (see Figure 2). We will see in the next section that this feature makes it possible to avoid the overproduction of isocurvature perturbation. The present calculation assumes that the backreaction of the dark photon field on the background motion of the spectator field is negligible. As we will discuss in the next section, this assumption is justified in our focused parameter region.

4 Dark photon DM: constraints and results

In this section, we estimate the relic abundance of the dark photon DM and discuss theoretical and observational constraints on the current scenario. Then, the viable parameter space of the dark photon DM is shown.

4.1 Relic abundance

Let us first derive the relic abundance of the dark photon DM,

Ωγ=ργt=t0ρ(t0),\Omega_{\gamma^{\prime}}=\dfrac{\langle\rho_{\gamma^{\prime}}\rangle_{t=t_{0}}}{\rho(t_{0})}\ , (4.1)

where the average density of the dark photon is evaluated at the present time, denoted by subscript 0, and ρ(t0)\rho(t_{0}) is the critical density of our present universe: ρ(t0)=3MPl2H02\rho(t_{0})=3M_{\rm Pl}^{2}H_{0}^{2}. To ensure the produced dark photon becomes non-relativistic some time after inflation ends at t=tendt=t_{\rm end}, we compare the dark photon mass mγm_{\gamma^{\prime}} and a physical, time-dependent momentum scale with a comoving wave number at which the spectrum is peaked, qpeak(t)kpeak/a(t)q_{\rm peak}(t)\equiv k_{\rm peak}/a(t). Using kpeak=a(tpeak)H(tpeak)k_{\rm peak}=a(t_{\rm peak})H(t_{\rm peak}), where the time tpeakt_{\rm peak} is defined by this relation and is taken to be during inflation, and defining a time duration of e-folds ΔNlog(a(tend)/a(tpeak))\Delta N\equiv\log(a(t_{\rm end})/a(t_{\rm peak})), the physical momentum scale qpeak(t)q_{\rm peak}(t) is written as

qpeak(t)=H(tpeak)eΔNa(tend)a(treh)a(treh)a(t),q_{\rm peak}(t)=H(t_{\rm peak})e^{-\Delta N}\dfrac{a(t_{\rm end})}{a(t_{\rm reh})}\dfrac{a(t_{\rm reh})}{a(t)}\ , (4.2)

where treht_{\rm reh} denotes the time when the reheating completes. For simplicity, we assume an instantaneous reheating, a(tend)=a(treh)a(t_{\rm end})=a(t_{\rm reh}), where the inflationary energy scale is related to the reheating temperature TrehT_{\rm reh} as

ρ(tend)=3MPl2H(tend)2=π230g(treh)Treh4.\rho(t_{\rm end})=3M_{\rm Pl}^{2}H(t_{\rm end})^{2}=\dfrac{\pi^{2}}{30}g_{*}(t_{\rm reh})T_{\rm reh}^{4}\ . (4.3)

Here, gg_{*} is the number of relativistic degrees of freedom. The momentum scale of the dark photon at the reheating period is then evaluated as

qpeak(treh)0.1GeV(Hinf1012GeV)(e30eΔN),q_{\rm peak}(t_{\rm reh})\sim 0.1\,\text{GeV}\left(\dfrac{H_{\rm inf}}{10^{12}\ \text{GeV}}\right)\left(\dfrac{e^{30}}{e^{\Delta N}}\right)\ , (4.4)

where HinfH_{\rm inf} denotes the inflationary Hubble scale. In our scenario, we assume a high-scale, almost de-Sitter inflation and H(tpeak)H(tend)HinfH(t_{\rm peak})\simeq H(t_{\rm end})\simeq H_{\rm inf}. Therefore, the dark photon with mass mγeVm_{\gamma^{\prime}}\ll\text{eV} in our interest is relativistic right after inflation ends. Then, the current energy density of the dark photon evolves from the end of inflation as

ργt=t0=ργt=tend(areha(tNR))4(a(tNR)a0)3,\langle\rho_{\gamma^{\prime}}\rangle_{t=t_{0}}=\langle\rho_{\gamma^{\prime}}\rangle_{t=t_{\rm end}}\left(\dfrac{a_{\rm reh}}{a(t_{\rm NR})}\right)^{4}\left(\dfrac{a(t_{\rm NR})}{a_{0}}\right)^{3}\ , (4.5)

where tNRt_{\rm NR} is the time when the dark photon becomes non-relativistic, determined by

qpeak(tNR)=mγ.q_{\rm peak}(t_{\rm NR})=m_{\gamma^{\prime}}\ . (4.6)

By using the entropy conservation law, the present abundance of the dark photon DM is obtained as

Ωγ=(π290)3/2gS(t0)g(treh)3/2gS(treh)Treh3MPl3mγT033MPl2H02ργt=tendHinf41kpeakτend.\Omega_{\gamma^{\prime}}=\left(\dfrac{\pi^{2}}{90}\right)^{3/2}\dfrac{g_{S}(t_{0})g_{*}(t_{\rm reh})^{3/2}}{g_{S}(t_{\rm reh})}\dfrac{T_{\rm reh}^{3}}{M_{\rm Pl}^{3}}\dfrac{m_{\gamma^{\prime}}T_{0}^{3}}{3M_{\rm Pl}^{2}H_{0}^{2}}\dfrac{\langle\rho_{\gamma^{\prime}}\rangle_{t=t_{\rm end}}}{H_{\rm inf}^{4}}\dfrac{1}{-k_{\rm peak}\tau_{\rm end}}\ . (4.7)

Therefore, the mass of the dark photon is evaluated as

mγ8.2×1011eV(Ωγh20.14)(107ργt=tend/Hinf4)(e30eΔN)(1015GeVTreh)3,m_{\gamma^{\prime}}\simeq 8.2\times 10^{-11}\,{\rm eV}\left(\frac{\Omega_{\gamma^{\prime}}h^{2}}{0.14}\right)\left(\dfrac{10^{7}}{\langle\rho_{\gamma^{\prime}}\rangle_{t=t_{\rm end}}/H_{\rm inf}^{4}}\right)\left(\dfrac{e^{30}}{e^{\Delta N}}\right)\left(\dfrac{10^{15}\text{GeV}}{T_{\rm reh}}\right)^{3}\ , (4.8)

where we have used H0=2.133×1042hGeVH_{0}=2.133\times 10^{-42}\,h\,\text{GeV}, T0=2.725K=2.348×1013GeVT_{0}=2.725\,\text{K}=2.348\times 10^{-13}\,\text{GeV}, MPl=2.435×1018GeVM_{\rm Pl}=2.435\times 10^{18}\text{GeV} and gS(t0)=3.91g_{S}(t_{0})=3.91, and assumed g(treh)=gS(treh)=106.75g_{*}(t_{\rm reh})=g_{S}(t_{\rm reh})=106.75. From this expression, we can observe that, in order for the dark photon that explains the total dark matter abundance to have a smaller mass, either its energy density ργ\rho_{\gamma^{\prime}} during inflation , ΔN\Delta N or the reheating temperature TrehT_{\rm reh} must be larger. The choice of these parameters in (4.8) is rather an optimistic one, in favor of small mass, and thus it gives a rough lower bound for the dark photon mass mγm_{\gamma^{\prime}} in our model. Yet we remark that it is sensitive to the values of ΔN\Delta N and TrehT_{\rm reh}, and a mass smaller than 1010eV\sim 10^{-10}\,{\rm eV} by a few orders of magnitude is still feasible.

4.2 Constraints

Next, we discuss relevant theoretical and observational constraints on the present scenario.

(i) Isocurvature mode

Let us consider the isocurvature mode of the dark photon in our scenario, as it could be one of the stringent constraints on the inflationary production of dark photon DM [47]. The isocurvature fluctuation of the dark photon is defined as the entropy perturbation caused by the non-adiabatic mode:

𝒮δργργ=ργργργ.\mathcal{S}\equiv\dfrac{\delta\rho_{\gamma^{\prime}}}{\langle\rho_{\gamma^{\prime}}\rangle}=\dfrac{\rho_{\gamma^{\prime}}-\langle\rho_{\gamma^{\prime}}\rangle}{\langle\rho_{\gamma^{\prime}}\rangle}\ . (4.9)

Then, in terms of the Fourier decomposition,

ργ(𝒙)ργd𝒌(2π)3δ^γ(𝒌)ei𝒌𝒙\frac{\rho_{\gamma^{\prime}}(\bm{x})}{\langle\rho_{\gamma^{\prime}}\rangle}\equiv\int\frac{d\bm{k}}{(2\pi)^{3}}\,\hat{\delta}_{\gamma^{\prime}}(\bm{k})\,e^{i\bm{k}\cdot\bm{x}} (4.10)

its power spectrum is given by

𝒮(𝒙)𝒮(𝒚)\displaystyle\langle\mathcal{S}(\bm{x})\mathcal{S}(\bm{y})\rangle =d𝒌d𝒌(2π)6[δ^γ(𝒌)δ^γ(𝒌)(2π)6δ(𝒌)δ(𝒌)]ei𝒌𝒙+𝒌𝒚\displaystyle=\int\dfrac{d\bm{k}d\bm{k}^{\prime}}{(2\pi)^{6}}\left[\langle\hat{\delta}_{\gamma^{\prime}}(\bm{k})\,\hat{\delta}_{\gamma^{\prime}}(\bm{k}^{\prime})\rangle-\left(2\pi\right)^{6}\delta(\bm{k})\,\delta(\bm{k}^{\prime})\right]e^{i\bm{k}\cdot\bm{x}+\bm{k}^{\prime}\cdot\bm{y}} (4.11)
=dkksin(k|𝒙𝒚|)k|𝒙𝒚|𝒫𝒮(k),\displaystyle=\int\dfrac{dk}{k}\dfrac{\sin(k|\bm{x}-\bm{y}|)}{k|\bm{x}-\bm{y}|}\,\mathcal{P}_{\mathcal{S}}(k)\ , (4.12)

where the power spectrum 𝒫S\mathcal{P}_{S} is defined through

δ^γ(𝒌)δ^γ(𝒌)(2π)6δ(𝒌)δ(𝒌)=(2π)3δ(𝒌+𝒌)2π2k3𝒫𝒮(k).\langle\hat{\delta}_{\gamma^{\prime}}(\bm{k})\,\hat{\delta}_{\gamma^{\prime}}(\bm{k}^{\prime})\rangle-\left(2\pi\right)^{6}\delta(\bm{k})\,\delta(\bm{k}^{\prime})=(2\pi)^{3}\delta(\bm{k}+\bm{k}^{\prime})\dfrac{2\pi^{2}}{k^{3}}\mathcal{P}_{\mathcal{S}}(k)\ . (4.13)

Note that the disconnected contribution is explicitly subtracted in the expression (4.13). Since the transverse electric mode is energy-dominant, δ^γ(𝒌)\hat{\delta}_{\gamma^{\prime}}(\bm{k}) is approximately given by

δ^γ(𝒌)12ργ,Td𝒑(2π)3(E^𝒑XeiX(𝒑^)+iE^𝒑YeiY(𝒑^))(E^𝒌𝒑XeiX(𝒌𝒑^)+iE^𝒌𝒑YeiY(𝒌𝒑^)).\hat{\delta}_{\gamma^{\prime}}(\bm{k})\simeq\dfrac{1}{2\langle\rho_{\gamma^{\prime},T}\rangle}\int\dfrac{d\bm{p}}{(2\pi)^{3}}\left(\hat{E}^{X}_{\bm{p}}e^{X}_{i}(\hat{\bm{p}})+i\hat{E}^{Y}_{\bm{p}}e^{Y}_{i}(\hat{\bm{p}})\right)\left(\hat{E}^{X}_{\bm{k}-\bm{p}}e^{X}_{i}(\widehat{\bm{k}-\bm{p}})+i\hat{E}^{Y}_{\bm{k}-\bm{p}}e^{Y}_{i}(\widehat{\bm{k}-\bm{p}})\right)\ . (4.14)

A hat on the electric field manifests that E^𝒑XEpa^𝒑X+Epa^𝒑X\hat{E}^{X}_{\bm{p}}\equiv E_{p}\,\hat{a}^{X}_{\bm{p}}+E_{p}^{*}\,\hat{a}^{X\dagger}_{-\bm{p}} is an operator. Then, noting eiX(𝒑^)eiY(𝒌𝒑^)=eiY(𝒑^)eiX(𝒌𝒑^)=0e^{X}_{i}(\hat{\bm{p}})e^{Y}_{i}(\widehat{\bm{k}-\bm{p}})=e^{Y}_{i}(\hat{\bm{p}})e^{X}_{i}(\widehat{\bm{k}-\bm{p}})=0,555This is because the vectors eiX(𝒑^)e^{X}_{i}(\hat{\bm{p}}) and eiX(𝒌𝒑^)e^{X}_{i}(\widehat{\bm{k}-\bm{p}}) are both on the plane defined by 𝒌\bm{k} and 𝒑\bm{p}, and eiY(𝒑^)e^{Y}_{i}(\hat{\bm{p}}) and eiY(𝒌𝒑^)e^{Y}_{i}(\widehat{\bm{k}-\bm{p}}) are both perpendicular to it, under our construction of the polarization vectors. the power spectrum is evaluated as

𝒫𝒮(k)14σ=X,Y1π2ργ,T2d𝒑(2π)3|eiσ(𝒑^)eiσ(𝒌𝒑^)|2|E|𝒑||2|E|𝒌𝒑||2,\mathcal{P}_{\mathcal{S}}(k)\simeq\dfrac{1}{4}\sum_{\sigma=X,Y}\dfrac{1}{\pi^{2}\langle\rho_{\gamma^{\prime},T}\rangle^{2}}\int\dfrac{d\bm{p}_{*}}{(2\pi)^{3}}\left|e^{\sigma}_{i}(\hat{\bm{p}})e^{\sigma}_{i}(\widehat{\bm{k}-\bm{p}})\right|^{2}|E_{|\bm{p}|_{*}}|^{2}|E_{|\bm{k}-\bm{p}|_{*}}|^{2}\ , (4.15)

where we have introduced the dimensionless momenta: 𝒑𝒑/k,|𝒌𝒑||𝒌𝒑|/k\bm{p}_{*}\equiv\bm{p}/k,\ |\bm{k}-\bm{p}|_{*}\equiv|\bm{k}-\bm{p}|/k. Note that the disconnected term in δ^γ(𝒌)δ^γ(𝒌)\langle\hat{\delta}_{\gamma^{\prime}}(\bm{k})\hat{\delta}_{\gamma^{\prime}}(\bm{k}^{\prime})\rangle, which is proportional to δ(𝒌)δ(𝒌)\delta(\bm{k})\delta(\bm{k}^{\prime}), exactly cancels with the corresponding term in (4.13), and thus 𝒫S\mathcal{P}_{S} takes into account only the connected diagrams. The amount of the isocurvature perturbation is tightly constrained at CMB scales. The current Planck satellite observation puts a constraint on the magnitude of the isocurvature power spectrum evaluated at three different scales k=0.002, 0.05, 0.1Mpc1k=0.002,\ 0.05,\ 0.1\ \text{Mpc}^{-1}. As shown in Figure 4, the resultant spectral shape is blue-tilted at CMB scales in our model. To constrain the amplitude of the power spectrum, we make use of the limits evaluated at the lowest and highest scales, k=0.002Mpc1k=0.002\ \text{Mpc}^{-1} and k=0.1Mpc1k=0.1\ \text{Mpc}^{-1}, which are given by [58]

𝒫𝒮|k=0.002Mpc10.8×1010,𝒫𝒮|k=0.1Mpc12.2×109.\mathcal{P}_{\mathcal{S}}|_{k=0.002\text{Mpc}^{-1}}\lesssim 0.8\times 10^{-10}\ ,\qquad\mathcal{P}_{\mathcal{S}}|_{k=0.1\text{Mpc}^{-1}}\lesssim 2.2\times 10^{-9}\ . (4.16)

The spectrum in our model has a peaky feature, and thus imposing the above observational isocurvature constraints on the peak value should provide a conservative upper bound on the dark photon production.

(ii) Backreaction

The Friedmann equation,

3MPl2H2=12ϕ˙2+U(ϕ)+12σ˙2+V(σ)+ργ,3M_{\rm Pl}^{2}H^{2}=\dfrac{1}{2}\dot{\phi}^{2}+U(\phi)+\dfrac{1}{2}\dot{\sigma}^{2}+V(\sigma)+\langle\rho_{\gamma^{\prime}}\rangle\,, (4.17)

where U(ϕ)U(\phi) denotes the inflaton potential, includes the contribution from the energy density of the produced dark photon. Our calculations in this paper relies on the assumption that the inflationary quasi-de-Sitter background is driven only by ϕ\phi, and the produced dark photon has negligible impact on the dynamics of σ\sigma, which is already subdominant to ϕ\phi. To neglect the backreaction contribution, we need

ργ12σ˙23MPl2H2,\langle\rho_{\gamma^{\prime}}\rangle\ll\frac{1}{2}\,\dot{\sigma}^{2}\ll 3M_{\rm Pl}^{2}H^{2}\;, (4.18)

during inflation. This constraint is not tighter than that from the backreaction to the motion of the spectator field in Eq. (2.11). Namely, it suffices that the following condition must be satisfied:

|3dσdN||IIσ2H2FμνFμν|2ργ,TH2Λ1,\left|3\dfrac{d\sigma}{dN}\right|\gg\left|-\dfrac{II_{\sigma}}{2H^{2}}\langle F^{\prime}_{\mu\nu}F^{\prime\mu\nu}\rangle\right|\simeq\dfrac{2\langle\rho_{\gamma^{\prime},T}\rangle}{H^{2}\Lambda_{1}}\,, (4.19)

where in the most right-hand side we have ignored the contribution of the longitudinal mode. To characterize this hierarchy, we define a ratio,

Rb|2ργ,T3HΛ1σ˙|,R_{b}\equiv\left|\dfrac{2\langle\rho_{\gamma^{\prime},T}\rangle}{3H\Lambda_{1}\dot{\sigma}}\right|\,, (4.20)

and consider the parameter region realizing Rb1R_{b}\ll 1. By using σ˙/(HΛ1)n\dot{\sigma}/(H\Lambda_{1})\simeq n in Eq. (2.12) and the condition of slow-roll parameters (2.8) with (2.9),

ϵσ<ϵHΛ122MPl2<ϵHn2,\epsilon_{\sigma}<\epsilon_{H}\qquad\longleftrightarrow\qquad\dfrac{\Lambda_{1}^{2}}{2M_{\rm Pl}^{2}}<\dfrac{\epsilon_{H}}{n^{2}}\,, (4.21)

on CMB scales, we can translate the condition Rb1R_{b}\ll 1 to the following constraint on the magnitude of the dark photon energy density:

ργ,TH43|n|2Λ12H2<3|n|8π2nCMB2𝒫ζ,CMB2×107|n|,\frac{\langle\rho_{\gamma^{\prime},T}\rangle}{H^{4}}\ll\frac{3|n|}{2}\,\frac{\Lambda_{1}^{2}}{H^{2}}<\dfrac{3|n|}{8\pi^{2}n_{\rm CMB}^{2}\mathcal{P}_{\zeta,\rm CMB}}\sim 2\times 10^{7}|n|\ , (4.22)

where the power spectrum of the curvature perturbation in the vacuum state is given by

𝒫ζ,CMB=H28π2MPl2ϵH2×109.\mathcal{P}_{\zeta,\rm CMB}=\dfrac{H^{2}}{8\pi^{2}M_{\rm Pl}^{2}\epsilon_{H}}\simeq 2\times 10^{-9}\ . (4.23)

Note that in (4.22) we distinguish nn from nCMBn_{\rm CMB}, the latter denoting the value of nn at the time when the CMB modes exit the horizon. In our mechanism, the value of nn changes during inflation by an 𝒪(1)\mathcal{O}(1) amount, and specifically we demand |nCMB|<2|n_{\rm CMB}|<2 in order to avoid overproduction of dark photon spoiling the CMB predictions. Typical values of nCMBn_{\rm CMB} in our considerations are 1\sim 1, which is taken for the final evaluation in (4.22).

(iii) Non-relativistic time vs. equality time

After inflation ends, the dark photon behaves as a relativistic radiation component since the scale of the physical momentum at the spectral peak qpeakq_{\rm peak} is much larger than the dark photon mass mγm_{\gamma^{\prime}}. For the dark photon to behave as a viable dark matter candidate, it must become non-relativistic by the time of matter-radiation equality t=teqt=t_{\rm eq}. We define the cosmic temperature TNRT_{\rm NR} at time t=tNRt=t_{\rm NR} when the scale of the physical momentum equals to the dark photon mass,

qpeak(tNR)=kpeaka(tNR)=mγ.q_{\rm peak}(t_{\rm NR})=\dfrac{k_{\rm peak}}{a(t_{\rm NR})}=m_{\gamma^{\prime}}\ . (4.24)

Using the entropy-conservation law, gSa3T3=const.g_{S}a^{3}T^{3}=\text{const}., the temperature TNRT_{\rm NR} is obtained as666Ref. [27] has missed the factor (gS(treh)/gS(tNR))1/3(g_{S}(t_{\rm reh})/g_{S}(t_{\rm NR}))^{1/3}, while the effect is small.

TNR\displaystyle T_{\rm NR} =mγTrehqpeak(treh)(gS(treh)gS(tNR))1/3\displaystyle=m_{\gamma^{\prime}}\,\dfrac{T_{\rm reh}}{q_{\rm peak}(t_{\rm reh})}\left(\dfrac{g_{S}(t_{\rm reh})}{g_{S}(t_{\rm NR})}\right)^{1/3}
=(30π2g(treh))1/4mγH(tend)(ρ(tend)ρ(treh))1/12ρ(tend)1/4kpeakτend(gS(treh)gS(tNR))1/3,\displaystyle=\left(\dfrac{30}{\pi^{2}g_{*}(t_{\rm reh})}\right)^{1/4}\dfrac{m_{\gamma^{\prime}}}{H(t_{\rm end})}\left(\dfrac{\rho(t_{\rm end})}{\rho(t_{\rm reh})}\right)^{1/12}\dfrac{\rho(t_{\rm end})^{1/4}}{-k_{\rm peak}\tau_{\rm end}}\left(\dfrac{g_{S}(t_{\rm reh})}{g_{S}(t_{\rm NR})}\right)^{1/3}\ , (4.25)

assuming that the equation of state is of matter domination after inflation and before reheating. On the other hand, the temperature TeqT_{\rm eq} at the equality time is determined by solving the energy density equality between the radiation and matter components,

Ωra(teq)4=Ωma(teq)3,\dfrac{\Omega_{r}}{a(t_{\rm eq})^{4}}=\dfrac{\Omega_{m}}{a(t_{\rm eq})^{3}}\ , (4.26)

with the normalization of the scale factor now taken at present, a(t0)=1a(t_{0})=1. Then, the entropy-conservation law and Ωr=π2g(t0)T04/(90MPl2H02)\Omega_{r}=\pi^{2}g_{*}(t_{0})T_{0}^{4}/(90M_{\rm Pl}^{2}H_{0}^{2}) give

Teq=90ΩmMPl2H02π2g(t0)T03.T_{\rm eq}=\dfrac{90\Omega_{m}M_{\rm Pl}^{2}H_{0}^{2}}{\pi^{2}g_{*}(t_{0})T_{0}^{3}}\ . (4.27)

Imposing TNR>TeqT_{\rm NR}>T_{\rm eq}, we obtain the following constraint:

TNRTeq=(π2/90)1/2Ωmg(t0)g(treh)1/2mγTrehT03MPlH02eΔN(gS(treh)gS(tNR))1/3>1,\dfrac{T_{\rm NR}}{T_{\rm eq}}=\dfrac{(\pi^{2}/90)^{1/2}}{\Omega_{m}}\,\dfrac{g_{*}(t_{0})}{g_{*}(t_{\rm reh})^{1/2}}\,\dfrac{m_{\gamma^{\prime}}}{T_{\rm reh}}\,\dfrac{T_{0}^{3}}{M_{\rm Pl}H_{0}^{2}}\,e^{\Delta N}\left(\dfrac{g_{S}(t_{\rm reh})}{g_{S}(t_{\rm NR})}\right)^{1/3}>1\ , (4.28)

where the instantaneous reheating is assumed. Henceforth we take gS(teq)=gS(t0)=3.909,g(teq)=g(t0)=3.363g_{S}(t_{\rm eq})=g_{S}(t_{0})=3.909,\ g_{*}(t_{\rm eq})=g_{*}(t_{0})=3.363. Defining ΔN=ΔNeq\Delta N=\Delta N_{\rm eq} at which TNR=TeqT_{\rm NR}=T_{\rm eq}, Eq. (4.28) is rewritten as

ΔN>ΔNeq10.5+ln(Ωmh20.143)+ln(Treh1013GeV)ln(mγ1010eV).\Delta N>\Delta N_{\rm eq}\simeq 10.5+\ln\left(\dfrac{\Omega_{m}h^{2}}{0.143}\right)+\ln\left(\dfrac{T_{\rm reh}}{10^{13}\ \text{GeV}}\right)-\ln\left(\dfrac{m_{\gamma^{\prime}}}{10^{-10}\ \text{eV}}\right)\ . (4.29)

We have by now collected all the constraints that are to be imposed on the amount of the production of dark photon dark matter in our model.

4.3 Results

We numerically find a viable parameter region of the dark photon DM evaluated in (4.8) consistent with the constraints discussed above, which is shown in Figure 5. To make this plot, we have solved the (massless approximate) equation of motion for dark photon, (2.33), together with the equation of motion for σ\sigma, (2.11), with constant HH, with several values of σ~i\tilde{\sigma}_{i} and cc, and used the resultant solution of ργ,T\rho_{\gamma^{\prime},T} shown in Figure 4. The initial field range σ~i\tilde{\sigma}_{i} characterizes a timing when |n||n| becomes greater than 22. For a small σ~i\tilde{\sigma}_{i}, |n||n| crosses 22 at an early stage of inflation, which leads to a large ΔN\Delta N and correspondingly a small mγm_{\gamma^{\prime}} for the dark photon DM. However, the effect of the isocurvature mode is severe for this case because the dark photon is amplified on large scales. For a large σ~i\tilde{\sigma}_{i}, |n||n| crosses 22 at a late stage of inflation, which leads to a large mγm_{\gamma^{\prime}}. The effect of backreaction tends to reduce in this case because N2N_{2} becomes closer to NendN_{\rm end} or even exceeds it, and therefore the time interval of particle production becomes shorter. On the other hand, the parameter cc is related to the steepness of the potential slope. As cc increases, the slope of the potential becomes steeper and the value of |n||n| gets larger. As a result, the effect of the backreaction and/or the contribution of the isocurvature mode become severer. However, a large cc and a small σ~i\tilde{\sigma}_{i} tend to derive the dynamics of |n||n| damping so early and therefore predict a small ργ,T\langle\rho_{\gamma^{\prime},T}\rangle leading to a large mγm_{\gamma^{\prime}}. To find a viable region for the light dark photon DM, a high-scale inflation would be preferable because a high reheating temperature is required in Eq. (4.8). We can see from the figure that the present scenario predicts a mass window mγ1013eVm_{\gamma^{\prime}}\gtrsim 10^{-13}\ \text{eV}. Due to the exponential sensitivity to the variation of model parameters, the viable parameter space leading to a preferable range of mass mγm_{\gamma^{\prime}} for light dark photon is localized in a small region on the σ~i-c\tilde{\sigma}_{i}\,\mbox{-}\,c plane. The figure also describes the constraint that the dark photon must be non-relativistic until the equality time. We find that in the region of our interest the condition (4.29) is satisfied.

In our study, we have assumed that the Hubble parameter HH is constant in the whole period of inflation and therefore neglected its dynamics near and after the end of inflation. However, when we take it into account, we might expect that the allowed region of the dark photon mass would get wider, and even a smaller mass would be available. This is because the amplitude of the energy density of the dark photon is enhanced due to the rapid motion of the spectator field. However, the backreaction effect may become dominant and the system can be completely non-linear. Such a near-end and post-inflationary amplification is expected to be severe if the potential of σ\sigma becomes flat after inflation, unlike our choice of V(σ)V(\sigma) as in (2.6). The analysis of such a non-linear system is beyond the scope of the present work.

Refer to caption
Refer to caption
Figure 5: Left panel : contour plots of the dark photon DM with mass mγ=1m_{\gamma^{\prime}}=1, 10310^{-3}, 10610^{-6}, 109\ 10^{-9}, 101210^{-12}, 101510^{-15}, 1018eV10^{-18}\ \text{eV} (black lines) in the parameter space of σ~i\tilde{\sigma}_{i} and cc. Right panel : contour plots of ΔNeq=0,10,20,30\Delta N_{\rm eq}=0,10,20,30 (black solid lines) and ΔN=15,20,25,30,35,40\Delta N=15,20,25,30,35,40 (black dashed lines). In both panels, we set R=102R=10^{-2}, Λ1=5×103MPl\Lambda_{1}=5\times 10^{-3}M_{\rm Pl} and rv=5×104r_{\rm v}=5\times 10^{-4}. The shaded regions are constrained by the backreaction, Rb>0.1R_{b}>0.1 (light red) and Rb>1R_{b}>1 (red), and the isocurvature perturbation with k=0.002Mpc1k=0.002\ \text{Mpc}^{-1} (dark green) and k=0.1Mpc1k=0.1\ \text{Mpc}^{-1} (purple).

5 Generation of tensor modes

In this section, we evaluate the power spectrum of tensor modes sourced by the dark photon field during inflation. This effect is an inevitable consequence of the dark photon production and is potentially led to observable signals, which we would like to evaluate in this section. The tensor perturbation is given by fluctuations of the spacial components of the metric, gij(t,𝒙)=a(t)2(δij+12hij(t,𝒙))g_{ij}(t,\bm{x})=a(t)^{2}(\delta_{ij}+\tfrac{1}{2}h_{ij}(t,\bm{x})), which obey the following equation of motion at the leading order:

[t2+3Ht2a2]hij4MPl2ΠijlmElEm,\left[\partial_{t}^{2}+3H\partial_{t}-\dfrac{\nabla^{2}}{a^{2}}\right]h_{ij}\simeq-\dfrac{4}{M_{\rm Pl}^{2}}\Pi^{lm}_{ij}E_{l}E_{m}\ , (5.1)

where Πijlm\Pi^{lm}_{ij} is the transverse-traceless projector defined by

ΠijlmΠilΠjm12ΠijΠlm,Πijδijij2.\Pi^{lm}_{ij}\equiv\Pi^{l}_{i}\Pi^{m}_{j}-\dfrac{1}{2}\Pi_{ij}\Pi^{lm}\ ,\qquad\Pi_{ij}\equiv\delta_{ij}-\dfrac{\partial_{i}\partial_{j}}{\nabla^{2}}\ . (5.2)

We decompose hijh_{ij} into the linear polarization tensors in Fourier space,

hij(t,𝒙)\displaystyle h_{ij}(t,\bm{x}) =d𝒌(2π)3h^ij(𝒌,t)ei𝒌𝒙=s=+,×d𝒌(2π)3eijs(𝒌^)h^𝒌s(t)ei𝒌𝒙,\displaystyle=\int\dfrac{d\bm{k}}{(2\pi)^{3}}\hat{h}_{ij}(\bm{k},t)e^{i\bm{k}\cdot\bm{x}}=\sum_{s=+,\times}\int\dfrac{d\bm{k}}{(2\pi)^{3}}e^{s}_{ij}(\hat{\bm{k}})\hat{h}^{s}_{\bm{k}}(t)e^{i\bm{k}\cdot\bm{x}}\ , (5.3)

where the transverse-traceless polarization tensors eij+/×(𝒌^)e^{+/\times}_{ij}(\hat{\bm{k}}) are given by the following products of the polarization vectors eiX/Y(𝒌^)e^{X/Y}_{i}(\hat{\bm{k}}):

eij+(𝒌^)\displaystyle e^{+}_{ij}(\hat{\bm{k}}) =12(eiX(𝒌^)ejX(𝒌^)eiY(𝒌^)ejY(𝒌^)),\displaystyle=\dfrac{1}{\sqrt{2}}\left(e^{X}_{i}(\hat{\bm{k}})e^{X}_{j}(\hat{\bm{k}})-e^{Y}_{i}(\hat{\bm{k}})e^{Y}_{j}(\hat{\bm{k}})\right)\ , (5.4)
eij×(𝒌^)\displaystyle e^{\times}_{ij}(\hat{\bm{k}}) =i2(eiX(𝒌^)ejY(𝒌^)+eiY(𝒌^)ejX(𝒌^)),\displaystyle=\dfrac{i}{\sqrt{2}}\left(e^{X}_{i}(\hat{\bm{k}})e^{Y}_{j}(\hat{\bm{k}})+e^{Y}_{i}(\hat{\bm{k}})e^{X}_{j}(\hat{\bm{k}})\right)\ , (5.5)

so that they satisfy the property eijs(𝒌^)=eijs(𝒌^).e_{ij}^{s\,*}(-\hat{\bm{k}})=e_{ij}^{s}(\hat{\bm{k}}). Then, by using h^𝒌s=eijs(𝒌^)h^ij(𝒌^)\hat{h}^{s}_{\bm{k}}=e^{s\,*}_{ij}(\hat{\bm{k}})\,\hat{h}_{ij}(\hat{\bm{k}}) and Πijlmelms(𝒌^)=eijs(𝒌^)\Pi_{ij}^{lm}e^{s}_{lm}(\hat{\bm{k}})=e^{s}_{ij}(\hat{\bm{k}}), we obtain

[x2+12x2](ah^𝒌s)=\displaystyle\left[\partial_{x}^{2}+1-\dfrac{2}{x^{2}}\right](a\hat{h}^{s}_{\bm{k}})= eijs(𝒌^)4a3k2MPl2\displaystyle-e^{s\,*}_{ij}(\hat{\bm{k}})\,\dfrac{4a^{3}}{k^{2}M_{\rm Pl}^{2}}
×d𝒑(2π)3(E^𝒑XeiX(𝒑^)+iE^𝒑YeiY(𝒑^))\displaystyle\times\int\dfrac{d\bm{p}}{(2\pi)^{3}}\left(\hat{E}^{X}_{\bm{p}}e^{X}_{i}(\hat{\bm{p}})+i\hat{E}^{Y}_{\bm{p}}e^{Y}_{i}(\hat{\bm{p}})\right)
×(E^𝒌𝒑XejX(𝒌𝒑^)+iE^𝒌𝒑YejY(𝒌𝒑^)).\displaystyle\qquad\qquad\times\left(\hat{E}^{X}_{\bm{k}-\bm{p}}e^{X}_{j}(\widehat{\bm{k}-\bm{p}})+i\hat{E}^{Y}_{\bm{k}-\bm{p}}e^{Y}_{j}(\widehat{\bm{k}-\bm{p}})\right)\ . (5.6)

on the de Sitter assumption. The solution to this equation is a linear combination of two components, h^𝒌s=h^𝒌,vs+h^𝒌,ss\hat{h}^{s}_{\bm{k}}=\hat{h}^{s}_{\bm{k},\rm v}+\hat{h}^{s}_{\bm{k},\rm s}. The homogeneous solution h^𝒌,vs\hat{h}^{s}_{\bm{k},\rm v} is the usual Banch-Davies vacuum mode and its mode function is given by, at the leading order in slow roll,

ahk,vs=eikτMPl2k(1ikτ),ah^{s}_{k,\rm v}=\dfrac{e^{-ik\tau}}{M_{\rm Pl}\sqrt{2k}}\left(1-\dfrac{i}{k\tau}\right)\ , (5.7)

and the corresponding tensor-to-scalar ratio reads

rv8𝒫h,v𝒫ζ,CMB=16ϵH.\displaystyle r_{v}\equiv\frac{8\mathcal{P}_{h,{\rm v}}}{\mathcal{P}_{\zeta,\rm CMB}}=16\,\epsilon_{H}\;. (5.8)

The numerical factor 88 in the intermediate step comes from our definition hij=2δgij/a2h_{ij}=2\delta g_{ij}/a^{2} and from the 22 polarization states of the tensor modes. On the other hand, the peculiar solution h^𝒌,ss\hat{h}^{s}_{\bm{k},\rm s} is sourced by the second order of the dark photon field. We find the mode function by using the Green function’s method,

ah^𝒌,ss\displaystyle a\hat{h}^{s}_{\bm{k},s} =4k2MPl2eijs(𝒌^)𝑑ya3(y)GR(x,y)\displaystyle=-\dfrac{4}{k^{2}M_{\rm Pl}^{2}}\,e^{s\,*}_{ij}(\hat{\bm{k}})\int_{-\infty}^{\infty}dy~{}a^{3}(y)\,G_{R}(x,\ y)
×d𝒑(2π)3(E^𝒑X(y)eiX(𝒑^)+iE^𝒑Y(y)eiY(𝒑^))(E^𝒌𝒑X(y)ejX(𝒌𝒑^)+iE^𝒌𝒑Y(y)ejY(𝒌𝒑^)),\displaystyle\quad\times\int\dfrac{d\bm{p}}{(2\pi)^{3}}\left(\hat{E}^{X}_{\bm{p}}(y)\,e^{X}_{i}(\hat{\bm{p}})+i\hat{E}^{Y}_{\bm{p}}(y)\,e^{Y}_{i}(\hat{\bm{p}})\right)\left(\hat{E}^{X}_{\bm{k}-\bm{p}}(y)\,e^{X}_{j}(\widehat{\bm{k}-\bm{p}})+i\hat{E}^{Y}_{\bm{k}-\bm{p}}(y)\,e^{Y}_{j}(\widehat{\bm{k}-\bm{p}})\right)\ , (5.9)

where GR(x,y)Θ(yx)[(xy)cos(xy)(1+xy)sin(xy)]/(xy)Θ(yx)(x3y3)/(3xy)G_{R}(x,y)\equiv\Theta(y-x)\left[(x-y)\cos(x-y)-(1+xy)\sin(x-y)\right]/(xy)\simeq-\Theta(y-x)(x^{3}-y^{3})/(3xy) is the retarded Green function, where the last approximate equality is in the limit of xkτ1x\equiv-k\tau\ll 1 and ykτ1y\equiv-k\tau^{\prime}\ll 1, with τ\tau^{\prime} an auxiliary time variable. This approximation is valid thanks to the fact that our mechanism of dark photon amplification takes place on the super-horizon scales. Regarding the products of the polarization tensors and vectors, we assume 𝒌\bm{k} is directed in the z^\hat{z} axis and use the following identities:

eij+(𝒌^)eiX(𝒑^)ejX(𝒌𝒑^)=cosθ𝒑^cosθ𝒌𝒑^cos2ϕ𝒑^2,\displaystyle e^{+*}_{ij}(\hat{\bm{k}})e^{X}_{i}(\hat{\bm{p}})e^{X}_{j}(\widehat{\bm{k}-\bm{p}})=-\dfrac{\cos\theta_{\hat{\bm{p}}}\cos\theta_{\widehat{\bm{k}-\bm{p}}}\cos 2\phi_{\hat{\bm{p}}}}{\sqrt{2}}\,, (5.10)
eij+(𝒌^)eiY(𝒑^)ejY(𝒌𝒑^)=cos2ϕ𝒑^2,\displaystyle e^{+*}_{ij}(\hat{\bm{k}})e^{Y}_{i}(\hat{\bm{p}})e^{Y}_{j}(\widehat{\bm{k}-\bm{p}})=\dfrac{\cos 2\phi_{\hat{\bm{p}}}}{\sqrt{2}}\ , (5.11)
eij+(𝒌^)eiX(𝒑^)ejY(𝒌𝒑^)=cosθ𝒑^sin2ϕ𝒑^2,\displaystyle e^{+*}_{ij}(\hat{\bm{k}})e^{X}_{i}(\hat{\bm{p}})e^{Y}_{j}(\widehat{\bm{k}-\bm{p}})=\frac{\cos\theta_{\hat{\bm{p}}}\sin 2\phi_{\hat{\bm{p}}}}{\sqrt{2}}\,, (5.12)
eij+(𝒌^)eiY(𝒑^)ejX(𝒌𝒑^)=cosθ𝒌𝒑^sin2ϕ𝒑^2,\displaystyle e^{+*}_{ij}(\hat{\bm{k}})e^{Y}_{i}(\hat{\bm{p}})e^{X}_{j}(\widehat{\bm{k}-\bm{p}})=\frac{\cos\theta_{\widehat{\bm{k}-\bm{p}}}\sin 2\phi_{\hat{\bm{p}}}}{\sqrt{2}}\ , (5.13)
eij×(𝒌^)eiX(𝒑^)ejX(𝒌𝒑^)=icosθ𝒑^cosθ𝒌𝒑^sin2ϕ𝒑^2,\displaystyle e^{\times*}_{ij}(\hat{\bm{k}})e^{X}_{i}(\hat{\bm{p}})e^{X}_{j}(\widehat{\bm{k}-\bm{p}})=i\dfrac{\cos\theta_{\widehat{\bm{p}}}\cos\theta_{\widehat{\bm{k}-\bm{p}}}\sin 2\phi_{\hat{\bm{p}}}}{\sqrt{2}}\,, (5.14)
eij×(𝒌^)eiY(𝒑^)ejY(𝒌𝒑^)=sin2ϕ𝒑^2i,\displaystyle e^{\times*}_{ij}(\hat{\bm{k}})e^{Y}_{i}(\hat{\bm{p}})e^{Y}_{j}(\widehat{\bm{k}-\bm{p}})=\dfrac{\sin 2\phi_{\hat{\bm{p}}}}{\sqrt{2}i}\ , (5.15)
eij×(𝒌^)eiX(𝒑^)ejY(𝒌𝒑^)=icosθ𝒑^cos2ϕ𝒑^2,\displaystyle e^{\times*}_{ij}(\hat{\bm{k}})e^{X}_{i}(\hat{\bm{p}})e^{Y}_{j}(\widehat{\bm{k}-\bm{p}})=i\dfrac{\cos\theta_{\hat{\bm{p}}}\cos 2\phi_{\hat{\bm{p}}}}{\sqrt{2}}\,, (5.16)
eij×(𝒌^)eiY(𝒑^)ejX(𝒌𝒑^)=icosθ𝒌𝒑^cos2ϕ𝒑^2,\displaystyle e^{\times*}_{ij}(\hat{\bm{k}})e^{Y}_{i}(\hat{\bm{p}})e^{X}_{j}(\widehat{\bm{k}-\bm{p}})=i\dfrac{\cos\theta_{\widehat{\bm{k}-\bm{p}}}\cos 2\phi_{\hat{\bm{p}}}}{\sqrt{2}}\ , (5.17)

with cosθ𝒑^=𝒌^𝒑^\cos\theta_{\hat{\bm{p}}}=\hat{\bm{k}}\cdot\hat{\bm{p}} and cosθ𝒌𝒑^=𝒌^𝒌𝒑^\cos\theta_{\widehat{\bm{k}-\bm{p}}}=\hat{\bm{k}}\cdot\widehat{\bm{k}-\bm{p}}. Then, the dimensionless power spectrum of tensor modes is defined as

h^𝒌sh^𝒌s\displaystyle\langle\hat{h}^{s}_{\bm{k}}\hat{h}^{s^{\prime}}_{\bm{k}^{\prime}}\rangle =h^𝒌,vsh^𝒌,vs+h^𝒌,ssh^𝒌,ss\displaystyle=\langle\hat{h}^{s}_{\bm{k},\rm v}\hat{h}^{s^{\prime}}_{\bm{k}^{\prime},\rm v}\rangle+\langle\hat{h}^{s}_{\bm{k},\rm s}\hat{h}^{s^{\prime}}_{\bm{k}^{\prime},\rm s}\rangle
(2π)3δssδ(𝒌+𝒌)2π2k3(𝒫h,v(k)+𝒫h,sss(k)),\displaystyle\equiv(2\pi)^{3}\delta^{ss^{\prime}}\delta(\bm{k}+\bm{k}^{\prime})\dfrac{2\pi^{2}}{k^{3}}\left(\mathcal{P}_{h,\rm v}(k)+\mathcal{P}^{ss}_{h,\rm s}(k)\right)\ , (5.18)

where the cross terms vanish for linear perturbations. One can find

𝒫h,s++(k)|τ\displaystyle\mathcal{P}^{++}_{h,\rm s}(k)|_{\tau} =8k3π2H4MPl4d𝒑(2π)3++(𝒑^,𝒌𝒑^)|τminτdττx3y33y3EpE|𝒌𝒑||2,\displaystyle=\dfrac{8k^{3}}{\pi^{2}H^{4}M_{\rm Pl}^{4}}\int\dfrac{d\bm{p}}{(2\pi)^{3}}\mathcal{F}^{++}(\hat{\bm{p}},\ \widehat{\bm{k}-\bm{p}})\left|\int_{\tau_{\rm min}}^{\tau}\dfrac{d\tau^{\prime}}{\tau^{\prime}}\dfrac{x^{3}-y^{3}}{3y^{3}}E_{p}E_{|\bm{k}-\bm{p}|}\right|^{2}\ , (5.19)
𝒫h,s××(k)|τ\displaystyle\mathcal{P}^{\times\times}_{h,\rm s}(k)|_{\tau} =8k3π2H4MPl4d𝒑(2π)3××(𝒑^,𝒌𝒑^)|τminτdττx3y33y3EpE|𝒌𝒑||2,\displaystyle=\dfrac{8k^{3}}{\pi^{2}H^{4}M_{\rm Pl}^{4}}\int\dfrac{d\bm{p}}{(2\pi)^{3}}\mathcal{F}^{\times\times}(\hat{\bm{p}},\ \widehat{\bm{k}-\bm{p}})\left|\int_{\tau_{\rm min}}^{\tau}\dfrac{d\tau^{\prime}}{\tau^{\prime}}\dfrac{x^{3}-y^{3}}{3y^{3}}E_{p}E_{|\bm{k}-\bm{p}|}\right|^{2}\ , (5.20)

where

++\displaystyle\mathcal{F}^{++} cos2(2ϕ𝒑^)(cos2θ𝒑^cos2θ𝒌𝒑^+1)+sin2(2ϕ𝒑^)(cos2θ𝒑^+cos2θ𝒌𝒑^),\displaystyle\equiv\cos^{2}(2\phi_{\hat{\bm{p}}})\left(\cos^{2}\theta_{\hat{\bm{p}}}\cos^{2}\theta_{\widehat{\bm{k}-\bm{p}}}+1\right)+\sin^{2}(2\phi_{\hat{\bm{p}}})\left(\cos^{2}\theta_{\hat{\bm{p}}}+\cos^{2}\theta_{\widehat{\bm{k}-\bm{p}}}\right)\ , (5.21)
××\displaystyle\mathcal{F}^{\times\times} sin2(2ϕ𝒑^)(cos2θ𝒑^cos2θ𝒌𝒑^+1)+cos2(2ϕ𝒑^)(cos2θ𝒑^+cos2θ𝒌𝒑^),\displaystyle\equiv\sin^{2}(2\phi_{\hat{\bm{p}}})\left(\cos^{2}\theta_{\hat{\bm{p}}}\cos^{2}\theta_{\widehat{\bm{k}-\bm{p}}}+1\right)+\cos^{2}(2\phi_{\hat{\bm{p}}})\left(\cos^{2}\theta_{\hat{\bm{p}}}+\cos^{2}\theta_{\widehat{\bm{k}-\bm{p}}}\right)\ , (5.22)

and we have approximated the lower bound of the time integral by |τmin|=min(1/p,1/|𝒌𝒑|)|\tau_{\text{min}}|=\text{min}(1/p,1/|\bm{k}-\bm{p}|), because the dark photon can grow only after the horizon crossing and we focus on the contribution from the super-horizon modes.

For our convenience, we perform the numerical evaluation of the time integral and that of the momentum integral separately. To do this, we define the following Gaussian fitting function for the electric component:

Ek(x)Ek,fit(x)H22k3Apeak(k)exp[12dndN|N=N2(ln(τ/τ2))2],E_{k}(x)\simeq E_{k,\rm fit}(x)\equiv\dfrac{H^{2}}{\sqrt{2k^{3}}}A_{\text{peak}}(k)\exp\left[-\dfrac{1}{2}\left.\dfrac{dn}{dN}\right|_{N=N_{2}}(\ln(\tau/\tau_{2}))^{2}\right]\ , (5.23)

where Apeak(k)A_{\rm peak}(k) is the maximum amplitude and τ2\tau_{2} is the conformal time at which N=N2N=N_{2}. Plugging Eq. (5.23) into Eqs. (5.19) and (5.20), at the super-horizon limit τ0\tau\rightarrow 0, i.e. xy1x\ll y\ll 1, we find

𝒫h,s++(k)|τ0=𝒫h,s××(k)|τ0\displaystyle\mathcal{P}^{++}_{h,\rm s}(k)|_{\tau\rightarrow 0}=\mathcal{P}^{\times\times}_{h,\rm s}(k)|_{\tau\rightarrow 0}
1π22H49MPl4dpdcosθ𝒑^(2π)2(1+cos2θ𝒑^)(1+cos2θ𝒌𝒑^)Apeak2(p)Apeak2(|𝒌𝒑|)p|𝒌𝒑|3,\displaystyle\simeq\dfrac{1}{\pi^{2}}\dfrac{\mathcal{F}^{2}H^{4}}{9M_{\rm Pl}^{4}}\int\dfrac{dp_{*}d\cos\theta_{\hat{\bm{p}}}}{(2\pi)^{2}}\left(1+\cos^{2}\theta_{\hat{\bm{p}}}\right)\left(1+\cos^{2}\theta_{\widehat{\bm{k}-\bm{p}}}\right)\dfrac{A^{2}_{\rm peak}(p)A^{2}_{\rm peak}(|\bm{k}-\bm{p}|)}{p_{*}\,|\bm{k}-\bm{p}|_{*}^{3}}\ , (5.24)

where pp/k,|𝒌𝒑||𝒌𝒑|/kp_{*}\equiv p/k\ ,\ |\bm{k}-\bm{p}|_{*}\equiv|\bm{k}-\bm{p}|/k and \mathcal{F} is the numerical factor obtained by the time integration,

dττexp[dndN|N=Nm(ln(τ/τm))2]=π(dndN|N=Nm)1/2.\mathcal{F}\equiv\int_{-\infty}^{\infty}\frac{d\tau^{\prime}}{\tau^{\prime}}\,\exp\left[-\left.\dfrac{dn}{dN}\right|_{N=N_{m}}(\ln(\tau^{\prime}/\tau_{m}))^{2}\right]=\sqrt{\pi}\left(\left.\dfrac{dn}{dN}\right|_{N=N_{m}}\right)^{-1/2}\ . (5.25)

Here, Nm(τm)N_{m}(\tau_{m}) is the time when the amplitude of the electric component is maximized. Note that the time integration can be extended to ±\pm\infty (0-\infty\to 0 in the terms of τ\tau^{\prime}) since the integral has its support almost around the peak of the electric mode function. The cross power spectrum 𝒫h,s+×/×+(k)\mathcal{P}^{+\times/\times+}_{h,\rm s}(k) vanishes due to the cancellation in integrating the periodic function sin(2ϕ𝒑^)cos(2ϕ𝒑^)\sin(2\phi_{\hat{\bm{p}}})\cos(2\phi_{\hat{\bm{p}}}).

Let us now evaluate the logarithmic energy density of GWs at present,

ΩGW(k)1ρcdρGWdlnk,\Omega_{\rm GW}(k)\equiv\dfrac{1}{\rho_{c}}\dfrac{d\rho_{\rm GW}}{d\ln k}\ , (5.26)

where ρc=3MPl2H02\rho_{c}=3M_{\rm Pl}^{2}H_{0}^{2} is the present critical energy density of the Universe. Using the entropy conservation law, ΩGW\Omega_{\rm GW} is related to the power spectrum of primordial tensor modes as [59],777The factor 44 difference in the numerical factor compared to the expression in [59] comes from the fact that our definition of hijh_{ij} contains 1/21/2, as seen right above (5.1), which amounts to 1/41/4 in terms of 𝒫h\mathcal{P}_{h}.

ΩGW(k)h26.85×107(g100)1/3(𝒫h,v(k)+𝒫h,s++(k)+𝒫h,s××(k)).\Omega_{\rm GW}(k)h^{2}\simeq 6.85\times 10^{-7}\left(\dfrac{g_{*}}{100}\right)^{-1/3}\left(\mathcal{P}_{h,\rm v}(k)+\mathcal{P}^{++}_{h,\rm s}(k)+\mathcal{P}^{\times\times}_{h,\rm s}(k)\right)\ . (5.27)

Figure 6 depicts the power spectrum of the GW energy density. On large scales, the contribution from the vacuum modes is dominant and the spectrum is scale-invariant. At intermediate scales, however, its magnitude gets amplified by the contribution of the sourced tensor modes and has a peak at a frequency around μ\muHz. This spectral shape is determined by the background time evolution of the index nn. Even if the vacuum tensor-to-scalar ratio is small, the sourced power spectrum is potentially testable with the next generation pulsar timing array measurement (SKA) and the projected space-based laser interferometers such as DECIGO, BBO and μ\muAres. On the other hand, it would be challenging to test it by LISA.

Refer to caption
Figure 6: The GW spectrum sourced by the dark photon field during inflation. The sensitivity curves of SKA [51] (gray), LISA [60] (pink), DECIGO [61] (orange), BBO [61] (green) and μ\muAres [50] (purple) are also shown. We here take R=102R=10^{-2}, Λ1=5×103MPl\Lambda_{1}=5\times 10^{-3}M_{\rm Pl}, rv=5×104r_{\rm v}=5\times 10^{-4}, σ~i=1.2525\tilde{\sigma}_{i}=1.2525, c=7.525×103c=7.525\times 10^{-3}, which correspond to mγ1.64×1013eVm_{\gamma^{\prime}}\simeq 1.64\times 10^{-13}\ \text{eV}.

6 Conclusion

We have explored a mechanism to produce a light dark photon DM through a coupling between the dark photon field and a spectator scalar field that does not play a role in the inflationary expansion of the Universe but is rolling down its potential during the inflation. The motion of the spectator field efficiently produces dark photons with large wavelengths which become non-relativistic before the time of matter-radiation equality. We have constructed the mechanism such that the spectrum of wavelengths is peaky so that the constraint from the isocurvature perturbation can be evaded. The correct relic abundance is then achieved over a wide range of the dark photon mass. Depending on the model parameter set, we have found that our result could provide the dark photon DM with mass down to mγ1013eVm_{\gamma^{\prime}}\approx 10^{-13}\ \text{eV}. Our mechanism favors high-scale inflation models which can be tested in future observations. Furthermore, fluctuations of the dark photon field during inflation produce GWs detectable at future space-based interferometers.

It would be interesting to consider the evolution of the dark photon energy density after inflation. At the end of inflation, the speed of the spectator field increases and the provided dark photon may backreact to the evolution. This effect would more or less modify the allowed parameter region of the dark photon DM. Our result is sensitive to both the amount of the dark photon production and the reheating temperature, and therefore, if there were to be an efficient enhancement around or after the end of inflation, a mass of the dark photon DM that is smaller than the one in our current study may be within the reach. This, however, likely requires non-linear studies of the coupled system between the spectator scalar and the dark photon and is beyond our current scope.

Regarding to the generation of the dark photon, we have assumed no homogeneous component of the dark photon because our scenario does not generate the dark photon on large scales. In this sense, the resultant power spectrum is statistically isotropic on large scales. However, it might be worthwhile to prove the statistical anisotropy of tensor modes on intermediate scales, which would serve as another venue of interesting signatures of the primordial Universe. We leave these issues to a future study.

Acknowledgements

We would like to thank Eiichiro Komatsu for fruitful discussions. YN is supported by Natural Science Foundation of China under grant No. 12150610465. RN is in part supported by RIKEN Incentive Research Project grant. IO acknowledges the support from JSPS Overseas Research Fellowship and JSPS KAKENHI Grant No. JP20H05859 and 19K14702.

Appendix A Dark photon production with constant nn

In this appendix, we briefly summarize the calculation of dark photon production for constant nn, denoting it by n0n_{0}. The existing calculations in the literature can be found in, e.g., [52, 30, 27]. In this case, II simply behaves as a function of the scale factor, Ian0I\propto a^{n_{0}}, and Eq. (2.31) is reduced to

τ2Vk+[k2n0(n0+1)τ2+a2mγ2I2]Vk=0.\partial_{\tau}^{2}V_{k}+\left[k^{2}-\dfrac{n_{0}(n_{0}+1)}{\tau^{2}}+\dfrac{a^{2}m_{\gamma^{\prime}}^{2}}{I^{2}}\right]V_{k}=0\ . (A.1)

This equation is derived under the de-Sitter approximation, i.e. a1/(Hτ)a\simeq-1/(H\tau). If the third term in the square parentheses of the above equation is negligible in comparison with the other terms, an instability could occur on the super-horizon regime kτn0(n0+1)-k\tau\leq\sqrt{n_{0}(n_{0}+1)} for a certain range of n0n_{0}. To realize this instability, we consider a negative branch of the index n0<0n_{0}<0, where II becomes a decreasing function in time [27]. 888This branch is also appropriate for avoiding a strong coupling problem of the dark photon interacting with other matter sectors during inflation [29]. As can be seen in the action, normalization of II is relevant for the magnitude of an effective coupling strength because it is inversely proportional to II. Since II is exponentially large at early times, the coupling strength is highly suppressed throughout the inflationary period. This can be observed already from the effective mass term, which is essentially an illustration of the coupling to matter, as mγ/Im_{\gamma^{\prime}}/I is suppressed earlier during inflation for n0<0n_{0}<0 and would be divergent if n0>0n_{0}>0. The condition of the instability holds for a whole period of inflation if

mγ2I(tend)2H2n0(n0+1)\dfrac{m_{\gamma^{\prime}}^{2}}{I(t_{\rm end})^{2}H^{2}}\ll n_{0}(n_{0}+1) (A.2)

is satisfied at the end of inflation t=tendt=t_{\rm end}. Then, neglecting the mass term, we obtain a solution of VkV_{k} with the Bunch-Davies initial condition,

Vk=i2kπkτ2Hn01/2(1)(kτ),V_{k}=\frac{i}{\sqrt{2k}}\sqrt{\frac{-\pi k\tau}{2}}\,H^{(1)}_{-n_{0}-1/2}(-k\tau)\;, (A.3)

given by the Hankel function of the first kind. We have chosen the arbitrary initial phase such that the mode function becomes real at the leading order outside the horizon kτ1-k\tau\ll 1. The mode functions of the dark electric and magnetic fields, defined in (3.8), are then given by

Ek\displaystyle E_{k} Ia2ddτ(VkI)=iπ2k3/2H2(kτ)5/2Hn0+1/2(1)(kτ),\displaystyle\equiv-\dfrac{I}{a^{2}}\dfrac{d}{d\tau}\left(\dfrac{V_{k}}{I}\right)=\frac{-i\sqrt{\pi}}{2k^{3/2}}\,H^{2}\left(-k\tau\right)^{5/2}H^{(1)}_{-n_{0}+1/2}(-k\tau)\ , (A.4)
Bk\displaystyle B_{k} ka2Vk=iπ2k3/2H2(kτ)5/2Hn01/2(1)(kτ).\displaystyle\equiv\frac{k}{a^{2}}\,V_{k}=\frac{i\sqrt{\pi}}{2k^{3/2}}\,H^{2}\left(-k\tau\right)^{5/2}H^{(1)}_{-n_{0}-1/2}(-k\tau)\ . (A.5)

Using the asymptotic form of the Hankel function,

Hν(1)(x)iΓ(ν)π(2x)ν,(x0,Re(ν)>0),H^{(1)}_{\nu}(x)\simeq-i\,\frac{\Gamma(\nu)}{\pi}\left(\frac{2}{x}\right)^{\nu}\;,\qquad(x\rightarrow 0\,,\;{\rm Re}\,(\nu)>0)\;, (A.6)

the expressions (A.4) and (A.5) in the super-horizon limit (|kτ|0)(|k\tau|\rightarrow 0) are given by

Ek\displaystyle E_{k} Γ(12n0)2n0+1/2πk3/2H2(kτ)n02,(n0<12),\displaystyle\simeq\frac{-\Gamma\big{(}\frac{1}{2}-n_{0}\big{)}}{2^{n_{0}+1/2}\sqrt{\pi}\,k^{3/2}}\,\frac{H^{2}}{(-k\tau)^{-n_{0}-2}}\;,\qquad\left(n_{0}<\frac{1}{2}\right)\;, (A.7)
Bk\displaystyle B_{k} Γ(12n0)2n0+3/2πk3/2H2(kτ)n03,(n0<12).\displaystyle\simeq\frac{\Gamma\big{(}-\frac{1}{2}-n_{0}\big{)}}{2^{n_{0}+3/2}\sqrt{\pi}\,k^{3/2}}\,\frac{H^{2}}{(-k\tau)^{-n_{0}-3}}\;,\qquad\left(n_{0}<-\frac{1}{2}\right)\;. (A.8)

Noting kτ=eNkN1-k\tau=e^{N_{k}-N}\ll 1, where Nkln(k/H)N_{k}\equiv\ln(k/H) is the number of e-foldings at which fluctuations with momentum mode kk exits the horizon, their amplitudes are proportional to

|Ek|\displaystyle|E_{k}| e(n02)(NNk),|Bk|e(n03)(NNk),(NNk>0).\displaystyle\propto e^{(-n_{0}-2)(N-N_{k})}\ ,\quad|B_{k}|\propto e^{(-n_{0}-3)(N-N_{k})}\,,\qquad(N-N_{k}>0)\ . (A.9)

Therefore, on super-horizon scales the electric field is proportional to a(n0+2)a^{-(n_{0}+2)} and grows when n0<2n_{0}<-2 is satisfied. On the other hand, the magnetic field evolves as a(n0+3)a^{-(n_{0}+3)} and grows for n0<3n_{0}<-3. In the parameter domain n0<0n_{0}<0 of our interest, it is hence clear that (i) sufficient production of the dark photon energy is achieved for n0<2n_{0}<-2, and (ii) the dark electric field dominates over the magnetic counterpart.

When nn is not constant but dynamically evolves in time, nn0n\neq n_{0}, the solution (A.3) for a constant value of n0n_{0} does not necessarily hold. However, particle production still occurs when |n||n| becomes greater than a threshold value |n|=2|n|=2, provided the time variation of nn is sufficiently small. As we explore in the main text, this fact enables to validate a scenario of an evolving nn to realize production of the dark photon on scales much smaller than the CMB scale.

For completeness, we next consider the evolution of the longitudinal mode. It is characterized by the time variation of the function τ2zk/zk\partial_{\tau}^{2}z_{k}/z_{k} which is given by

τ2zkzk=1τ22p4(2n27n+1+τdn/dτ)p2M2+(n2+nτdn/dτ)M4(p2+M2)2,\dfrac{\partial_{\tau}^{2}z_{k}}{z_{k}}=\dfrac{1}{\tau^{2}}\,\dfrac{2p^{4}-(2n^{2}-7n+1+\tau\,dn/d\tau)p^{2}M^{2}+(n^{2}+n-\tau\,dn/d\tau)M^{4}}{(p^{2}+M^{2})^{2}}\ , (A.10)

where we have defined pk/ap\equiv k/a and Mmγ/IM\equiv m_{\gamma^{\prime}}/I. With a constant nn0.n\simeq n_{0}. and a negligible mass in Eq. (2.32), we obtain

τ2Xk+(k22τ2)Xk0(pM),\displaystyle\partial_{\tau}^{2}X_{k}+\left(k^{2}-\dfrac{2}{\tau^{2}}\right)X_{k}\simeq 0\qquad(p\gg M)\ , (A.11)
τ2Xkn0(n0+1)τ2Xk0(pM).\displaystyle\partial_{\tau}^{2}X_{k}-\dfrac{n_{0}(n_{0}+1)}{\tau^{2}}X_{k}\simeq 0\qquad(p\ll M)\ . (A.12)

Then, for the Bunch-Davies initial condition, we find

Xk\displaystyle X_{k} eikτ2k(1ikτ)(pM),\displaystyle\simeq\dfrac{e^{-ik\tau}}{\sqrt{2k}}\left(1-\dfrac{i}{k\tau}\right)\qquad(p\gg M)\ , (A.13)
Xk\displaystyle X_{k} C1(τ)n0+1+C2(τ)n0(pM),\displaystyle\simeq C_{1}(-\tau)^{n_{0}+1}+\dfrac{C_{2}}{(-\tau)^{n_{0}}}\qquad(p\ll M)\ , (A.14)

where C1,2C_{1,2} are integration constants determined by connecting the two solutions at the conformal time τNR,k\tau_{\text{NR},k} when p=Mp=M [27]:

C1=k2(τNR,k)n02n0+1,C2=(τNR,k)n012k3/2.C_{1}=\sqrt{\dfrac{k}{2}}\dfrac{(-\tau_{\text{NR},k})^{-n_{0}}}{2n_{0}+1}\ ,\qquad C_{2}=\dfrac{(-\tau_{\text{NR},k})^{n_{0}-1}}{\sqrt{2}k^{3/2}}\ . (A.15)

In order to obtain C1C_{1} and C2C_{2}, we have assumed (i) kτNR1-k\tau_{\rm NR}\ll 1, and (ii) the continuity of the energy density associated with the longitudinal mode, not the continuity of XkX_{k} and its time derivative. Therefore, in either case of pMp\ll M and pMp\gg M, the contribution from the longitudinal mode is subdominant in comparison to the exponentially enhanced energy density of the transverse modes for n<2n<-2, and we neglect the former in what follows.

References