Abstract
The propagators of the Dirac fermions on the expanding portion of the \((1+3)\)-dimensional de Sitter spacetime are considered as mode sums in momentum representation with a fixed vacuum of Bunch–Davies type. The principal result reported here is a new integral representation of the Feynman propagators of the massive and left-handed massless Dirac fields which can be used for deriving the Feynman rules of de Sitter QED in the Coulomb gauge or of an extended QFT.
Avoid common mistakes on your manuscript.
1 Introduction
Important ingredients of the quantum field theory on curved spacetimes are the two-point functions that can be calculated either as propagators by using mode expansions or by looking for new hypotheses complying with the general relativistic covariance as, for example, that of the maximal symmetry of the two-point functions on the hyperbolic spacetimes, i.e. de Sitter (dS) and anti-de Sitter ones [1].
The propagator of the Dirac fermions on the dS spacetime in configuration representation was derived first by Candelas and Reine who integrated the Green equation for this field [2]. The same propagator was calculated later as a mode sum by Koskma and Prokopec in the context of more general Friedmann–Lemaître–Robertson–Walker spacetimes of arbitrary dimensions [3].
On the other hand, we developed the dS QED in Coulomb gauge [4] where we know the Dirac quantum modes in different bases [5,6,7,8] and we need to use the Feynman propagators for calculating physical effects. However, their expressions as mode sums are not suitable for calculating Feynman diagrams because of their explicit dependence on the Heaviside functions resulting after computing the chronological product. In the flat case this problem is solved by representing the propagators as 4-dimensional Fourier integrals which include the effects of the Heaviside functions, allowing one to work in momentum representation. Unfortunately, this method cannot be used in the dS case since here the propagators depend on two independent time variables. For this reason, our objective in this paper is to find another type of integral representation of the fermion propagators in the \((1+3)\)-dimensional dS expanding universe, assuming that the vacuum of the Bunch–Davies type [9, 10] is stable.
This paper consists of four sections. In the next one we review the fundamental solutions in momentum representation of the Dirac equation minimally coupled to the dS gravity, mentioning that these form a complete system of orthonormalized spinors allowing us to write various mode expansions. For technical reasons, here we express the fundamental solutions in terms of modified Bessel functions [11, 12] instead of the Hankel functions used in our previous papers [5,6,7]. In the third section we discuss the propagators of the Dirac field on the dS expanding universe and we propose the principal result of this paper, namely the new integral representation of the Feynman propagators which encapsulates the effects of the Heaviside functions. Furthermore, we show that this result is correct since after solving the new integral of this representation we recover the mode sums of the Feynman propagators we know [3, 5]. Some conclusions are presented in the last section.
2 Fundamental spinor solutions
Let us first revisit some basic properties of the fundamental solutions of the Dirac equation minimally coupled to the gravity of the \((1+3)\)-dimensional de Sitter expanding universe. In what follows we consider the normalized solutions of positive and negative frequencies of the momentum–spin basis [7] since those of the momentum–helicity basis [5] are not defined in rest frames.
We denote by M the de Sitter expanding universe of radius \(\frac{1}{\omega }\) where the notation \(\omega \) stands for its Hubble constant. We choose the chart \(\{x\}=\{t,\mathbf {x}\}\) of conformal time, \(t\in (-\infty ,0]\), and Cartesian coordinates, we refer here as the conformal chart. This covers the expanding portion of the de Sitter manifold having the line element
In this chart we consider the non-holonomic local frames defined by the tetrad fields which have only diagonal components,
In this tetrad gauge, the massive Dirac field \(\psi \) of mass m satisfies the field equations \((D_x-m) \psi (x)=0\) given by the Dirac operator
The general solutions of this equation may be expanded in terms of fundamental spinors of positive and negative frequencies derived in various representations. Here we consider the momentum representation where the plane wave solutions \(U_{\mathbf {p},\sigma }\) and \(V_{\mathbf {p},\sigma }\) depend on the momentum \(\mathbf {p}\) and an arbitrary polarization \(\sigma \). These spinors form an orthonormal basis satisfying the orthogonality relations
with respect to the relativistic scalar product [5]
where \(g=\mathrm{det}(g_{\mu \nu })\) while the notation \({\bar{\psi }}=\psi ^+\gamma ^0\) stands for the Dirac adjoint of the field \(\psi \). Moreover, this basis is complete, satisfying [5]
In the momentum representation under consideration here the Dirac field may be expanded as
assuming that the particle \((a,a^{\dagger })\) and antiparticle (\(b,b^{\dagger })\) operators satisfy the canonical anti-commutation relations [5, 8],
Thus we obtain a good quantum theory where the one-particle operators conserved via the Noether theorem become just the generators of the corresponding isometries [8].
The plane wave solutions can be derived as in Refs. [5, 7] by solving the Dirac equation in the standard representation of the Dirac matrices (with diagonal \(\gamma ^0\)). Here we express these solutions in terms of modified Bessel functions \(K_{\nu }\) [11] instead of the Hankel functions used in Refs. [5, 7, 8], since in this manner we get some technical advantages. More specific, working with the real functions \(K_{\nu }(z)\) (of the complex variables \(\nu \) and z) we simplify the calculations involving the complex and Dirac conjugations such that the entire formalism becomes more transparent and intuitive, as we shall see in what follows.
The fundamental spinor solutions in momentum representation of Ref. [7] can be rewritten with new suitable phase factors as
where \(p=|\mathbf {p}|\) and \(\nu _{\pm }=\frac{1}{2}\pm i\mu \), with \(\mu =\frac{m}{\omega }\). The Pauli spinors \(\xi _{\sigma }\) and \(\eta _{\sigma }= i\sigma _2 (\xi _{\sigma })^{*}\) must be correctly normalized, \(\xi ^+_{\sigma }\xi _{\sigma '}= \eta ^+_{\sigma }\eta _{\sigma '}=\delta _{\sigma \sigma '}\), satisfying the completeness condition [13]
In Ref. [5] we considered the Pauli spinors of the momentum–helicity basis whose direction of the spin projection is just that of the momentum \(\mathbf {p}\). However, we can project the spin on an arbitrary direction, independent on \(\mathbf {p}\), as in the case of the spin basis where the spin is projected on the third axis of the rest frame such that \(\xi _{\frac{1}{2}}=(1,0)^T\) and \(\xi _{-\frac{1}{2}}=(0,1)^T\) for particles and \(\eta _{\frac{1}{2}}=(0,-1)^T\) and \(\eta _{-\frac{1}{2}}=(1,0)^T\) for antiparticles [7]. In what follows we work exclusively in this basis, called the momentum–spin basis.
The form of the spinors (10) and (11) suggests us to introduce the auxiliary \(4\times 4\) matrix functions
which have the obvious properties
and satisfy
as results from Eq. (42). With their help we can write the fundamental spinors in a simpler form as
depending on the nilpotent matrix
and the 4-dimensional rest spinors of the momentum–spin basis
which allow us to define the usual projector matrices
which form a complete system (\(\pi _+\pi _-=0\) and \(\pi _++\pi _-=1\)). All these auxiliary quantities will help us to perform easily the further calculations either by using the form
and simple rules as, for example, \(\gamma (\mathbf {p})^2=0\), \(~\gamma (\mathbf {p})\gamma (-\mathbf {p})=2\gamma (\mathbf {p})\gamma ^0\), \(\gamma (\mathbf {p})\pi _{\pm }\gamma (\mathbf {p})=\pm \gamma (\mathbf {p})\), etc., or resorting to algebraic codes on computer.
The fundamental solutions in the case of \(m=0\) (when \(\mu =0\)) are derived in Ref. [5] using the chiral representation of the Dirac matrices (with diagonal \(\gamma ^5\)) and the momentum–helicity basis. We note that these fundamental solutions have fixed helicities (i.e. \(-1/2\) for particles and 1 / 2 for antiparticles) as in Minkowski spacetime. This is because the massless Dirac equation is conformally covariant and, therefore, the massless spinors in the conformal chart \(\{x\}\) are just the Minkowski ones multiplied with the conformal factor \((-\omega t)^{\frac{3}{2}}\).
3 Green functions and Feynman propagators
Let us consider the partial anti-commutators matrix functions of positive and negative frequencies [5],
which satisfy the Dirac equation in both sets of variables [3, 5]. The total anti-commutator matrix function [5]
has similar properties and, in addition, satisfies the equal-time condition
resulting from Eq. (7).
Let us focus now on the Green functions related to the partial or total anti-commutator matrix functions. According to the general definitions [13], we introduced in Ref. [5] the retarded (R) and advanced (A) Green functions,
and the Feynman propagator,
These Green functions satisfy the Green equation, which in the conformal chart has the form [5]
This equation has an infinite set of solutions corresponding to various initial conditions. However, here we restrict ourselves to only the \(S_R\), \(S_A\) and \(S_F\) Green functions, called here propagators, which may be derived as mode sums without solving the Green equation.
The Feynman propagator (27) can be written as a mode sum since, according to Eqs. (4) and (5), the anti-commutator matrix functions can be put in the form
after changing \(\mathbf {p}\rightarrow -\mathbf {p}\) in the last integral. Hereby we obtain the generic expression of the Feynman propagator, which can be studied either in the configuration representation or in the momentum one.
In the configuration representation these matrix functions can be put in a closed form particularizing the general results of Ref. [3] to \(D=4\) dimensions and the Bunch–Davies vacuum. In Ref. [14] we present the details of this calculation for \(m\not = 0\), pointing out that in the massless case we obtain a different result for the left-handed fermions (neutrinos). This is because we do not have a general definition, in any dimensions, of these fields which seem to be specific to the case of \(D=4\).
The propagators (25), (26) and (27) cannot be used in the concrete calculations of Feynman diagrams because of their explicit dependence on the Heaviside \(\theta \)-functions. In the case of the Minkowski spacetime this problem is solved by representing these propagators as 4-dimensional Fourier integrals which take over the effects of the Heaviside functions according to the well-known method of the contour integrals [13]. In this manner one obtains a suitable integral representation of the Feynman propagators allowing one to work in the momentum representation.
In dS spacetimes we also have a momentum representation but we do not know how to exploit it, since in this geometry the propagators are functions of two time variables, \(t-t'\) and \(tt'\), instead of the unique variable \(t-t'\) of the Minkowski case. This situation generates new difficulties since apart from a Fourier transform in \(t-t'\in {\mathbb {R}}\) a supplementary Mellin transform for the new variable \(tt'\in {\mathbb {R}}^+\) [12] might be considered. Obviously, an integral with two more variables of integration is not a convenient solution for representing the Feynman propagators.
Under such circumstances, we must look for an alternative integral representation based on the method of the contour integrals [13] but avoiding the mentioned Fourier or Mellin transforms. The form of the matrix functions (29) and (30) suggests us to introduce a new variable of integration, \(s\in {\mathbb {C}}\), postulating the following suitable integral representation of the Feynman propagator of the massive Dirac field:
which encapsulates the effect of the Heaviside functions in a similar manner to the flat case.
The main task is to prove that this integral representation gives just the Feynman propagator (27) after solving the integral along the real s-axis, which can be written with a self-explanatory notation as
For large values of |s| we may use the last property of (43) obtaining the asymptotic behavior
which allows us to estimate the integrals on the semicircular parts, \(c_{\pm }\), of the contours pictured in Fig. 1 as
according to the first of Eqs. (43). In the limit of \(R\rightarrow \infty \) the contribution of \(c_+\) vanishes for \(t'>t\), while those of \(c_-\) vanish for \(t>t'\). Therefore, the integration along the real s-axis is equivalent with the following contour integrals:
where the contours \(C_{\pm }\) are the limits for \(R\rightarrow \infty \) of those of Fig. 1. Under such circumstances we may apply the Cauchy theorem [15],
taking into account that in the simple poles at \(s=\pm p\mp i\epsilon \) we have the residues
Consequently, the integral \(I_-(t,t')\) gives the first term of the Feynman propagator (27), while the integral \(I_+(t,t')\) yields its second term. Thus we demonstrated that the integral representation (31) is correct, since after integration over s we obtain just the Feynman propagator (27).
Note that the other propagators, \(S_A\) and \(S_R\), can be represented in a similar manner, but changing the positions of the poles as in the flat case [13].
For the left-handed massless fermions the Feynman propagator can be calculated as
taking into account that for \(\mu =0\) we may use the particular functions (43). Thus we arrive at the final result,
The form of this propagator written in the conformal chart \(\{x\}\) is very similar to that of the flat case because of the conformal covariance of the massless Dirac equation. For this reason the dS propagator is just the flat one with the conformal factor \(\omega ^3 (tt')^{\frac{3}{2}}\). Obviously, in the flat limit, for \(\omega \rightarrow 0\) and \(\omega t \rightarrow -1\), this factor tends to 1 and we recover the neutrino propagator in Minkowski spacetime.
4 Concluding remarks
The integral representations of the Feynman propagators we propose here are suitable for calculating Feynman diagrams where the integration over the supplemental variables s will appear in each internal fermionic line. On the other hand, we know that the contribution of the electromagnetic field is similar to the Minkowski case since the Maxwell equations are conformally invariant [4]. Thus, after solving the space integrals generating 3-dimensional Dirac \(\delta \) functions and integrating over momenta we are left in each diagram with a time integral for each vertex and an integral over the internal variables of the internal lines. Solving all these integrals we may obtain the desired amplitudes in momentum representation. Another advantage of our proposal is that now we can use such simple methods of regularization as, for example, the Pauli–Villars one.
Concluding we may say that now we have all the pieces we need for starting the perturbation machinery of the dS QED in Coulomb gauge which will give us the scattering amplitudes and their radiative corrections in the presence of the dS gravity.
References
S. Weinberg, Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity (Wiley, New York, 1972)
P. Candelas, D.J. Raine, Phys. Rev. D 12, 965 (1975)
J.F. Koksma, T. Prokopec, Class. Quantum Gravity 26(125003), 125003 (2009)
I.I. Cotăescu, C. Crucean, Phys. Rev. D 87, 044016 (2013)
I.I. Cotăescu, Phys. Rev. D 65, 084008 (2002)
I.I. Cotaescu, C. Crucean, Int. J. Mod. Phys. A 23, 3707 (2008)
I.I. Cotăescu, Mod. Phys. Lett. A 22, 1613 (2011)
I.I. Cotăescu, Int. J. Mod. Phys. A 33, 1830007 (2018)
T.S. Bunch, P.C.W. Davies, Proc. R. Soc. Lond. 360, 117 (1978)
N.D. Birrel, P.C.W. Davies, Quantum Fields in Curved Space (Cambridge University Press, Cambridge, 1982)
F.W.J. Olver, D.W. Lozier, R.F. Boisvert, C.W. Clark, NIST Handbook of Mathematical Functions (Cambridge University Press, Cambridge, 2010)
I.S. Gradshteyn, I.M. Ryzhik, Table of Integrals, Series, and Products (Academic, New York, 2007)
S. Drell, J.D. Bjorken, Relativistic Quantum Fields (Me Graw-Hill Book Co., New York, 1965)
I.I. Cotăescu, arXiv:1804.02842
L.V. Ahlfors, Complex analysis: an introduction to the theory of analytic functions of one complex variable (McGraw-Hill, New York, 1953)
Author information
Authors and Affiliations
Corresponding author
Appendix: Modified Bessel functions
Appendix: Modified Bessel functions
According to the general properties of the modified Bessel functions, \(I_{\nu }(z)\) and \(K_{\nu }(z)=K_{-\nu }(z)\) [12], we deduce that those used here, \(K_{\nu _{\pm }}(z)\), with \(\nu _{\pm }=\frac{1}{2}\pm i \mu \) are related among themselves through
satisfying the equations
and the identities
which guarantees the correct orthonormalization properties of the fundamental spinors. Note that for \(|z|\rightarrow \infty \) and \(|\mathrm{ph}\, z|\le \frac{\pi }{2}\) we have the asymptotic behaviors
for any \(\nu \) [11].
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Cotăescu, I.I. Integral representation of the Feynman propagators of the Dirac fermions on the de Sitter expanding universe. Eur. Phys. J. C 78, 769 (2018). https://doi.org/10.1140/epjc/s10052-018-6258-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6258-2