Fermionic vacuum polarization in higherdimensional global monopole spacetime
Abstract
In this paper we analyse the vacuum polarization effects associated with a massless fermionic field in a higherdimensional global monopole spacetime in the ”braneworld” scenario. In this context we admit that the our Universe, the bulk, is represented by a flat dimensional brane having a global monopole in a extra transverse three dimensional submanifold. We explicitly calculate the renormalized vacuum average of the energymomentum tensor, , admitting the global monopole as being a pointlike object. We observe that this quantity depends crucially on the value of , and we provide explicit expressions to it for specific values attributed to .
PACS numbers: , ,
1. Introduction
Recently the braneworld model has attracted renewed interest. By this scenario our world is represented by a four dimensional submanifold, a threebrane, embedded in a higher dimensional spacetime [1]. Braneworlds naturally appear in the string/M theory context and provide a novel setting for discussing phenomenological and cosmological issues related to extra dimensions. The models introduced by Randall and Sundrum are particularly attractive [2, 3]. The corresponding spacetime contains two (RSI), respectively one (RSII), Ricciflat brane(s) embedded on a fivedimensional Antide Sitter (AdS) bulk. It is assumed that all matter fields are confined on the branes and only the gravity propagates in the five dimensional bulk. The idea that matter is confined to a lower dimensional manifold is not a new one. The localization of fermions on a domain wall has been discussed in [4].
The hierarchy problem between the Planck scale and the electroweak one is solved in the RS1 model, if the distance between the two branes is about times the AdS radius. The braneworld model also provide some alternative discussions about one of the most important problem in the modern physics: the cosmological constant problem (see, for instance, Ref. [5]). In this way, the Casimir energy associated with quantum fields which propagates in the bulk obeying specific boundary conditions on the branes may contribute to both, the brane and bulk cosmological constant. The Casimir energy associated with scalar field on the fivedimensional RandalSundrum model are calculated in [6]. Surface Casimir densities and induced cosmological constant on the branes are calculated in [7] for a massive scalar quantum field obeying Robin boundary conditions on two parallel brane in a general dimensional antide Sitter bulk.
Although topological defects have been first studied in a fourdimensional spacetime [8], they have been considered in spacetimes of higher dimensions in the context of braneworld. In this scenario the defects live in a dimensions submanifold, having their cores on the brane. In this way, domain wall and cosmic string cases have been analyzed in [4] and [9, 10], respectively, considering and . Local and global monopoles have also been analyzed in [11, 12] and [13] to [17], respectively, considering . Specifically in [17] it was shown that if , the energy scale where the gauge symmetry of the global system is spontaneously broken, is smaller than the Planck mass, the sevendimensional Einstein equations admit a solution which for points outside the global monopole’s core can be expressed by
(1) 
where is the Minkowski metric, , a parameter smaller than unity, and related with the sevendimensional Planck mass. In order to be more precise, in [13] the authors have obtained the solution to the Einstein equations considering a general dimensional Minkowski brane worldsheet and a global monopole in the transverse extra dimensions. In this general case the metric is a generalization of (1) with , and . The solid angle associated with the geometry above depends on the parameter and reads , so smaller than the usual one. Consequently in this submanifold there is a solid angle deficit
Composite topological defects have also been first studied in a fourdimensional spacetime. Specifically a composite monopole, i.e., a system composed by a local and a global monopoles was analyzed in [18, 19, 20] (for composite strings see [21]). More recently, the composite monopole has been analysed in the braneworld scenario in [22].
In previous publication [23], we have analyzed the vacuum polarization effects associated with a massless scalar quantum field in an dimensional bulk spacetime which has the structure of a dimensional Minkowiski brane with a global monopole in the transverse threedimensional submanifold.^{1}^{1}1Although the physical interesting case corresponds to , we developed our formalism considering as an arbitrary number Specifically we calculated the renormalized vacuum expectation value of the square of the field, , and have showed that this quantity depends crucially on the values attribute to . We also analyzed the structure of the renormalized vacuum expectation value of the energymomentum tensor, . In order to develop these investigations we calculated the respective Euclidean scalar Green function, .
Continuing in the same line of investigation, in this paper we shall analyze the polarization effect of fermionic vacuum induced by a pointlike threedimensional global monopole embedded in a higherdimensional bulk in a braneworld scenario. Specifically we shall consider that the bulk has its geometric structure given by the line element (1). Our main objective is to calculate the renormalized vacuum expectation value of the energymomentum tensor, . Differently from the scalar case, here we obtain a simpler expression to the fermionic Green function and for the energymomentum tensor, which is obtained in a closed form for an arbitrary parameter angle deficit.
This paper is organized as follows: In section we calculate the Euclidean fermionic propagator associated with a massless field in the background of a pointlike global monopole transverse to a flat dimensional brane in a braneworld scenario, considering and . In order to do that we write the general Dirac differential operator and the equation obeyed by the propagator. In section we analyze this function in the coincidence limit and extract all divergencies from it in manifest form. In this way we provide the explicit expressions to the components of the renormalized energymomentum tensor, and analyze their behavior in some limiting cases. In section , we summarize our most important results. In this paper we use signature , and the definitions: , . We also use untis .
2. Spinor Green Function
Before to start the calculation of the spinor Green function in the sixdimensional global monopole spacetime, we shall first review briefly some important properties of the Dirac equation in a flat space.
In a flat sixdimensional space, the Dirac matrices, , are matrices, which can be construct from the fourdimensional ones [24] as shown below [25]:
(2) 
where , and the identity matrix. It can be easily verified that these matrices obey the Clifford algebra: , for .
In these representation, the matrix is written as:
(3) 
This matrix has two chiral eigenstate defined as and . Consequently any sixdimensional fermionic wavefunction, , can be decomposed in terms of its chiral components as^{2}^{2}2It is worth to mention that the sixdimensional chirality does not correspond to fourdimensional chirality. Sixdimensional chiral wavefunctions correspond to a fourdimensional wavefunctions, which still contain two fourdimensional chiral components eigenstates of .
(4) 
Solutions for the Dirac equation,
(5) 
with defined chirality can only be possible for . In this way for positive chirality, equation (5) reduces to
(6) 
being a set of matrix; and for negative chirality it reduces to
(7) 
being now .
In order to write the Dirac equation in the sixdimensional global monopole spacetime, we shall choose the following coordinate system and basis tetrad:
(8) 
where and , and
(9) 
The Dirac equation for a massive field in the above coordinate system reads
(10) 
with the covariant derivative operator given by
(11) 
where is the spin connection, given in terms of the flat spacetime Dirac matrices by
(12) 
For the above basis tetrad, the only nonzero spin connections are:
(13) 
where
(14) 
being and the standard unit vectors along the angular directions and the Pauli matrices.
The fermionic propagator obeys the following differential equation:
(15) 
where and is the identity matrix. This propagator is a bispinor, i.e., it transforms as at point and as at .
If a bispinor satisfies the differential equation below
(16) 
with generalized d’Alembertian operator given by
(17) 
the spinor Feynman propagator can be written as
(18) 
Now, after this brief review about the calculation of spinor Feynman propagator, let considering the sixdimensional global monopole spacetime (1), where the scalar curvature . Choosing the basis tetrad (9), we obtain, after some intermediate steps, that
(19) 
being the ordinary angular momentum operator.
The system that we shall consider consists of a massless positive chiral fields. In this way Eq. (10) can be written in terms of a matrix differential equation
(20) 
with
(21) 
being .
The Feynman fourcomponent propagator obeys the equation
(22) 
and can be written in terms of the bispinor by
(23) 
where now obeys the differential equation
(24) 
with
(25) 
The vacuum average value for the energymomentum tensor can be expressed in terms of the Euclidean Green function. It is related with the ordinary Feynman Green function [26] by the relation , where . In the following we shall consider the Euclidean Green function.
In order to find a solution for the bispinor , we shall obtain the solution for the eigenvalue equation
(26) 
with , so we can write
(27) 
Due to fact that our operator (19) is selfadjoint, the set of its eigenfunctions constitutes a basis for the Hilbert space associated with fourcomponent spinors. Moreover, because operator is a parity even operator, its eigenfunctions present a defined parity, so the normalized eigenfunctions can be written as:
(28)  
(29) 
where , and represents the cylindrical Bessel function of order
(30) 
These functions are specified by the set of quantum number , where , , denotes the value of the total angular quantum number, determines its projection. specifies two types of eigenfunctions with different parities corresponding to being the orbital quantum number. In (28), are the spinor spherical harmonics which are eigenfunctions of the operators and as shown below:
(31)  
(32) 
with and . Explicit form of above standard function are given in Ref. [24], for example.
Although we have developed this formalism for a sixdimensional spacetime, it can be adapted to a four and five dimensional space. The reason resides in the representations for the Dirac matrices in these dimensions. For four dimensions a irreducible representation for the flat Dirac matrices is the well known ones, so we may use . As a consequence, in the corresponding analysis we have to discard the derivative with respect to the coordinates and in the operator . For a five dimensions a possible representation for the flat Dirac matrices is also which can be given by . In this case the coordinate should be discarded. So on basis of these arguments it is possible to generalize the eigenfunction of the operator as:
(33) 
with . From now on, we shall use the above eigenfunction and make applications for specific values attributed to .
Now we are in position to obtain the bispinor , which is given by
(34) 
Finally substituting (33) into (34) with , we obtain with the help of [27] a closed expression to the Euclidean Green function:
where
(36) 
being
(37) 
and a matrix. is the associated Legendre function. We can express this function in terms of hypergeometric functions [27] by:
(38)  
In this analysis we identify the parameter with and take . So the relevant hypergeometric function is
If is a even number, this function becomes a polynomial of degree ; however being an odd number, this function is an infinite series.
Taking , and ; however for the first index the angular quantum number assumes crescent integer number starting from zero, i.e., , while for the second index . For the only term that contributes to (2.) in the summation is . For both associated Legendre functions contribute, . Using the explicit expressions for the spinor spherical harmonics, and using the addition theorem for the spherical harmonics, it is possible to express (2.) by:
(39) 
Now taking and using the sum of Legendre functions and polynomials [27], we obtain standard expressions for the Green function. So:

For , we have
(40) 
For , we have
(41) 
For , we have
(42)
3. Vacuum Average of the EnergyMomentum Tensor
In this section we shall calculate in a explicit way, the renormalized vacuum expectation value (VEV) of the energymomentum tensor, . Because the metric tensor does not depend of any dimensional parameter, and also because we are working with natural units system, we can infer that the VEV of the energymomentum tensor depends only on the radial coordinate . Moreover, due to the nonvanishing of Riemann and Ricci tensor, and scalar curvature of the spacetime, this VEV also depends on the arbitrary mass scale, , introduced by the renormalization prescription. So, by dimensional analysis it is expected that
(43) 
where the tensors and depends only on the parameter . Because the presence of the arbitrary cutoff scale, , there is an ambiguity in the definition of (43). Finally for a spacetime of odd dimension, i.e., for a even value of , . Obviously the tensors are diagonal and due to the spherical symmetry of the problem we should have and .
The renormalized VEV of the energymomentum tensor must be conserved,
(44) 
and provide the correct trace anomaly for spacetime of even dimension [28]:
(45) 
As we shall see, taking into account these informations, it is possible to express all components and in terms of the zerozero ones, and , and the trace
Using the pointsplitting procedure [26], the VEV of the energymomentum tensor for this fourcomponent spinor Feynman propagator, compatible with the eightcomponent one, has the following form:
(46) 
Because the dependence of the fermionic Green function on the time variable, the zerozero component of the energymomentum tensor reads:
(47) 
which can be expressed by
(48) 
In the obtainment of the above expression we have first taken in the Green function, (2.) and (36), the coincidence limit of the angular variable, , and sum over . This makes this function proportional to the unit matrix . So, only the term with time derivative in (21) provides a nonvanishing contribution for the zerozero component of the energymomentum tensor.
Now after these brief comments about general properties of the VEV of the energymomentum tensor, we shall start the explicit calculation of this quantity, specifying the values for .
3..1 Case
For , the bulk spacetime corresponds to the fourdimensional global monopole spacetime [29]. For this case the calculations of the vacuum polarization effects associated with massless twocomponent spinor field on this spacetime has been developed in [30] long time ago. More recently some Casimir densities associated with fourcomponent massive fermionic field obeying the MIT bag boundary condition on, one spherical spherical shell, and two concentric spherical shells, in the global monopole spacetime have been analyzed in [31] and [32], respectively.
3..2 Case
The case is a new one, it corresponds to a twodimensional Minkowiski brane with a global monopole on the transverse submanifold. For this case the associated Legendre function in (36) assumes a very simple expression
(49) 
Taking and into (2.), summing over and using the above expression for the Legendre function, it is possible to develop the sum over , which is a geometric series, we obtain a closed formula for the Euclidean Green function:
(50) 
with .
The above Green function is divergent in the coincidence limit, . We can verify its singular behavior by expanding (50) in power series of :
(51)  
In order to obtain a finite and well defined result to the VEV of the zerozero component of the energymomentum tensor, we must extract all divergent terms in the coincidence limit after applying the second time derivative. In order to do that in a manifest form, we subtract from the Green function the Hadamard one. In [28] is given, for any dimensional spacetime, the general formal expression for the Hadamard function. For a fivedimensional spacetime it reads
(52) 
For this manifold, , the Van VleckMorette determinant, and the coefficients , are given below:
(53) 
The onehalf of the geodesic distance for and , is . So, we can see that the singular behavior for the Green function, Eq. (51), after taking its second time derivative has the same structure as given by the Hadamard function
(54) 
So, on basis of this fact we can see that the renormalized VEV of zerozero component of the energymomentum vanishes, i.e.,
(55) 
For an odd dimensional spacetime there is no trace anomaly, i.e., . Writing , we have that the sum of all these components vanishes; moreover, the geometric structure of the brane section of this fivedimensional spacetime is Minkowiskitype; consequently the Green function and the Hadamard one depend on the variables on the two dimensional brane by . By the definition of the VEV of the energymomentum tensor, Eq. (46), we have
(56) 
So, we can infer that . In this way we have , being both zero. The conservation condition, , provides , and , . So on basis of all these informations we conclude that all components of the tensor are zero, consequently,
(57) 
3..3 Case
The case corresponds to a flat threedimensional brane transverse to a threedimensional global monopole space. The respective Euclidean Green function is given in terms of an infinite sum of the associated Legendre function with . Taking the angular coincide limit, , the sum below, given in (2.), can be expressed as:
(58) 
and for
(59) 
Using , and the integral representation below for the Legendre function
(60) 
it is possible to develop the sums over in (58) and (59) getting:
(61) 
and
(62) 
Substituting the sum into (2.), we can express the Euclidean Green function by
(63) 
where we have introduced a new variable .
The VEV of the zerozero component of the energymomentum tensor can be formally given by substituting (63) into (48). Because this procedure provides a divergent result, we must renormalize it by extracting all the divergent terms. In what follows we shall develop a procedure to extract the divercencies in a manifest form. Let us consider the integral inside the bracket of (63) and write it as:
(64)  
Subtracting and adding into the integrand of the first four terms of power series of the function