Vacuum polarization and classical self-action near higher-dimensional defects

We analyze the gravity-induced effects associated with a massless scalar field in a higher-dimensional spacetime being the tensor product of $(d-n)$-dimensional Minkowski space and $n$-dimensional spherically/cylindrically-symmetric space with a solid/planar angle deficit. These spacetimes are considered as simple models for a multidimensional global monopole (if \mbox{$n\geqslant 3$}) or cosmic string (if $n=2$) with $(d-n-1)$ flat extra dimensions. Thus, we refer to them as conical backgrounds. In terms of the angular deficit value, we derive the perturbative expression for the scalar Green's function, valid for any $d\geqslant 3$ and $2\leqslant n\leqslant d-1$, and compute it to the leading order. With the use of this Green's function we compute the renormalized vacuum expectation value of the field square $\langle \phi^{2}(x)\rangle_{\mathrm{ren}}$ and the renormalized vacuum averaged of the scalar-field's energy-momentum tensor $\langle T_{M N}(x)\rangle_{\mathrm{ren}}$ for arbitrary $d$ and $n$ from the interval mentioned above and arbitrary coupling constant to the curvature $\xi$. In particular, we revisit the computation of the vacuum polarization effects for a non-minimally coupled massless scalar field in the spacetime of a straight cosmic string. The same Green's function enables to consider the old purely classical problem of the gravity-induced self-action of a classical pointlike scalar or electric charge, placed at rest at some fixed point of the space under consideration. To deal with divergences, which appear in consideration of the both problems, we apply the dimensional-regularization technique, widely used in quantum field theory (QFT). The explicit dependence of the results upon the dimensionalities of both the bulk and conical submanifold, is discussed.


INTRODUCTION
Through the last decades the higher-dimensional generalizations of known four-dimensional solutions in General Relativity (GR) became the object of intense research in the context of widely developing higher-dimensional theories. It is enough to mention the possibility of the mini-black-hole creation in the high energy physics experiments [1]. Experimental confirmation of such a creation is considered as one of tests on the existence of extra dimensions, or it has to set new bounds on the parameters of the multidimensional theories predicting the existence of mini-black-holes. Though at present, there are no confirmations of the extra-dimension existence [2], the modern theories stimulated the research of the GR in d > 4 spacetime dimensions. This implies not only the search of new solutions, but also the research of the higher-dimensional generalizations of the known four-dimensional solutions. The partial goal of such research is to clarify, which predictions by GR are proper for four dimensions only, and which ones are universal and extended to higher dimensions. At the other hand, it is expected that the research of higher-dimensional generalizations allows to shed light on some peculiarities of the standard four-dimensional theory and assists in the better understanding of the latter. This research assumes not only the study of geometric features of higher-dimensional solutions, but also the study of particularities of the classical/quantum matter dynamics on their background.
The standard problems of research within the field theory on the curved background, to which the physicists return through decades, are the effects of the induced by gravity vacuum polarization and the problem of self-action of the classical charged particle. These two problems, weakly related at the first glance, in fact have a number of common features. The main of those is that the both problems are determined by the appropriate Green's function being the solution of partial differential equation, which is sensitive to the global structure of the manifold. Thus, the both effects become essentially non-local. Furthermore, for the elimination of divergences arising in the both cases, one uses the same techniques.
The present work is devoted to the consideration of gravity-induced effects of the vacuum polarization of a massless scalar field and the self-action of a scalar or electric charge on the ultrastatic spacetime being the product of (d − n)-dimensional Minkowski spacetime and n-dimensional spherically-symmetric space with an angular deficit.
We will be concentrated on the computation of the renormalized vacuum expectation values (VEV) for φ 2 (x) ren and T MN (x) ren , as well as of calculation of the renormalized self-energy U ren (x) and self-force F ren (x) of the static scalar or electric charge. For the regularization of formally diverging expressions we will use the dimensionalregularization technique.
The paper is organized as follows: Introduction is the first section. In the Second section, the Setup, we briefly present the background metric with angular deficit in arbitrary spacetime dimension and derive the initial expressions for the subsequent computation of classical self-force and vacuum averages. The perturbation theory we use, is described in the Section 3, where we also construct the approximated Green's function. The Section 4 is devoted to the computation of renormalized vacuum averaged φ 2 (x) ren in the dimensional-regularization scheme. The comparison with the analogous results known in the literature, is presented. The renormalized stress-energy tensor is computed in the Section 5. The classical self-energy and self-force of a pointlike scalar or electric charge in the spacetime-at-hand, are computed in the Section 6. In the Section 7 we discuss the special case of an infinitely thin cosmic string. We show that there is a some ambiguity it the previous calculations and propose an alternative approach to the problem. In the last Section 8, the Conclusion, we summarize the results and prospects. Useful integrals are given in the single Appendix.

SETUP
In the model we consider quantized or classical massless scalar field φ, living in the static d−dimensional bulk with ndimensional submanifold with solid or planar angular deficit. This n−dimensional subspace may be considered as created by the n−dimensional global monopole (for n 3) or as a straight cosmic string (for n = 2).
First we overview the background geometry.
A. Background of the cosmic string and the global monopole, and their higher-dimensional analogues The metric of a straight infinitely thin cosmic string with a mass per unit length µ, located along the z−axis in four spacetime dimensions, in cylindric coordinates reads where β = 1 − 4Gµ. (For the review of the formation, evolution and geometry of topological defects and some physical effects near them see [3,4] and Refs therein). The corresponding Riemann tensor vanishes everywhere except the symmetry axis ρ = 0, where it has a δ-like singularity [5]. Straight string does not affect the local geometry of the spacetime, its effect on matter fields is purely topological, and the dimensionless parameter Gµ is the only parameter which measures the effect of conical structure on the dynamics of classical and quantized matter.
In some applications it is more appropriate to use coordinates (t, x, y, z), which are conformally Cartesian on the plane transverse to the string. With the radial-coordinate transformation ρ → r as where r 0 is an arbitrary scale with the length dimensionality, the line element (2.1) takes the form The idea to use the conformal coordinates was put forward in the framework of a low-dimensional gravity [6]. In this case it gives the possibility to find a self-consistent solution for the metric of a multi-center space, i.e. a static (2 + 1)-dimensional spacetime of N point masses. Later it was shown that the line element of a multi-center spacetime can be generalized for the case of N parallel cosmic strings [7]. The same idea enables to obtain the explicit solutions of the problem of topological self-action in the multicenter and multistring spacetimes [8][9][10][11], and provides an appropriate framework for consideration of the vacuum polarization effect in the spacetime of multiple cosmic strings and in particular, the vacuum Casimir-like interaction of parallel strings [12].
One can consider the generalization of the metric (2.1) and (2.2) for a spherically symmetric case, when any plane containing the center of symmetry and dividing the space into two equal parts is a cone with the angular deficit δϕ = 2π(1 − β) This metric describes an ultrastatic spherically symmetric spacetime with the solid angle deficit equal to 4π(1−β 2 ). Expression (2.3) approximates the metric of a global monopole [13,14]. Strictly speaking, the metric of a global monopole contains a mass term, but this term is too small to be of importance on astrophysical scale.
As in the string case, there is a possibility to use conformally Cartesian coordinates on the section t = const of the spacetime (2.3). After redefinition of the radial coordinate β̺ = r 0 (r/r 0 ) β the metric of the spatial sector of the above line element takes the conformally Euclidean form. Thus, we can introduce a set of Cartesian coordinates {x i } , i = 1, 2, 3 with usual relation with the spherical coordinates r, θ, ϕ. In these coordinates metric (2.3) reduces to the form We see that both conical defects have no Newtonian potential and exert no gravitational force on the surrounding matter. For both defects their gravitational properties are determined by the deficit angle only. The main difference of a global monopole from the case of a cosmic string is that the monopole spacetime is not locally flat, and its gravitational field provides a tidal acceleration which is proportional to r −2β .
The corresponding Ricci tensor and the scalar curvature are determined by the conical sector only: For these spaces and corresponding Green's functions we will use the notations (d, n) and G(x, x ′ | d, n). Notice, in these notations, the spacetime of a straight infinitely thin cosmic string and that one of a point global monopole in four spacetime dimensions have the type (4, 2) and (4, 3), respectively. So, (2.5) represents the multidimensional generalization of the four-dimensional solutions obtained in [15,16] and [13,14], correspondingly.
For the first time metric of the form (2.5) with two-dimensional conical subspace (n = 2) was considered in the paper [17]. Later a number of solutions for a coupled system of the Einstein equation and the equations of motion for n scalars was found and analyzed in [18]. It was shown, that the n 3 solution with equal-to-zero cosmological constant has approximately the form (2.5) (in our coordinates). Thus, the metric (2.5) describes the conical defects which live in a d−dimensional bulk, having a flat (d − n − 1)-brane as a core. Some tiny QFT effects have been found on these backgrounds for some particular dimensionalities of the bulk dimension d and the dimension of the conical subspace n. The vacuum polarization effects for a massless scalar and fermionic fields on the higher-dimensional monopole/string spacetime were investigated in [19,20] and [12,17,21,22]. In [23] the authors analyze the vacuum fluctuations of a quantum bosonic and fermionic currents induced by a magnetic flux running along the string. In this paper we continue the investigation of quantum and classical field-theoretical processes on the generalized background (2.5).
The geometry of the spacetime under consideration is simple enough and the metric does not contain any dimensional parameters. Nevertheless we cannot compute explicitly Green's function G(x, x ′ | d, n) in a workable closed form. So, we restrict our consideration by the particular case of a small angular deficit; in what follows, we put (1 − β) ≪ 1 . It enables us to obtain perturbatively the universal expression for the Green's function, which is valid for any d and n and for any value of the coupling constant ξ. B. Self-energy of a pointlike charge in a static spacetime: formalism Let us consider a massless scalar field φ with a source j in a static d− dimensional spacetime with the metric In this subsection the small Greek indices µ, ν, ... run over all spatial coordinates 1, 2, ... , d − 1.
The interaction of scalar field with the bulk curvature R is introduced via coupling ξ, while interaction with charges is introduced by the charge density j(x) in a standard way: S j is the action for a charged matter. From (2.8) one derives the equation of motion for scalar field: In the static case, when ∂ 0 φ = 0 = ∂ 0 g MN , and pointlike charge q placed at a fixed spatial point x it reads The field energy in a static spacetime reads where T 0 0 stands for zero-zero component of the energy-momentum tensor, which for the scalar field is derived from the action (2.8) and given by Note, that the interaction part of the action does not contribute to the field energy-momentum tensor. It is particularly obvious in the case under consideration since for a pointlike charge with the source (2.11) the Lagrangian density reads L int = √ −g φ j = q δ d−1 (x − x ′ ) and does not depend on the metric. Making use the fact that the field and the metric are static we have Substituting T 0 0 , the scalar-field energy is given by and integrating with help of the Gauss' theorem, only the second integral survives. Simplifying and taking help of the field equation (2.10), (2.12) becomes (2.14) The corresponding form via Green's function of the Eq. (2.10) reads: Thus for a point charge localized at the point x of the spacetime from Eg.(2.11) we get Note, that for a general case of a static spacetime one has g = g 00 det(g µν ), while R in Eq.(2.15) stands for the scalar curvature of the whole d-dimensional space.
In addition, if the spacetime is ultrastatic (i.e. g 00 = −1), then g = − det(g µν ), R 0 0 = 0, and (2.16) takes the form where G is the solution of the equation where g = det(g µν ) and R is the corresponding scalar curvature. That is, G is the Green's function on the (d − 1)-dimensional space with the metric g µν with Euclidean signature and the curvature R. Now let us suppose that there exists at least one flat extra spatial dimension, say x d−1 . Then formally identifying ix d−1 = t, one notices that the equation (2.15) for the static Green's function coincides with the full field equation (3.1) for the Euclidean Green's function G E (x, x ′ | d − 1, n) in the spacetime with (d − 1) spacetime dimensions and n−dimensional conical subspace. Finally, with the use of well-known relation between Euclidean G E and Feynman G F Green's functions, we obtain, that in this case One can study the self-energy of a static electric charge along the same lines.
In this case the solution of the Maxwell equations is static, with the d−potential A M = (A 0 (x), 0, ... , 0) if the current equals J M = (J(x), 0, ... , 0)). The only nontrivial component of the Maxwell equations is and for the electrostatic self-energy one obtains (e.g. see [24]) where Green's function of the Eq. (2.19) is defined as the solution of So, for the point charge, when the charge density J = e δ d−1 (x, x ′ ), we obtain In the particular case of an ultrastatic space Eq. (2.21) takes the form This equation coincides with Eq. (2.16) if ξ = 0. Using this fact one finds that Consequently, on the background under consideration the electrostatic self-energy can be obtained from the scalar one if we put ξ = 0 and replace q 2 by e 2 .
The spacetime of interest here (2.5), i.e. d-dimensional spacetime with n-dimensional subspace with a solid or planar angle deficit, satisfies the ultrastaticity condition, so we will use simple formulae (2.18, 2.23) for it.

GREEN'S FUNCTION: PERTURBATION THEORY
For our background metric (2.5) the exact Green's function is unknown. Taking into account the fact that (1 − β) ≪ 1 we make use of the perturbation-theory techniques. The Feynman propagator for the scalar field in curved background satisfies the equation 1 where L(x, ∂) stands for the field-equation operator and determined by the background metric. Following Schwinger [25], we rewrite eq. (3.1), in the operator form If operator L allows to be expressed as L = L 0 + δL, where δL is considered as a small perturbation, then representing the solution of eq. (3.2) in the form G = G 0 + δG, with G 0 = −L 0 −1 being the unperturbed Green's function, one obtains In the case under consideration L 0 is determined by the zeroth order in the small quantity (1 − β), hence The perturbation operator to the first order in (1 − β) reads: In order to compactify our equations below, let us introduce the notation With the use of this notation In the problem-at-hand the function G F 0 (x, x ′ ) = x| G 0 |x ′ = − x| ∂ −2 |x ′ in Fourier basis takes the form 2 : For the first-order correction to the Green's function from (3.3) we get the following expression: where δL (1) (q, ip) is defined as: Here one implies that the differential operator δL(x, ∂) is prepared to the form where all differential operators stand before (at right-hand side from) the coordinate functions, and further one performs the substitution ∂ j → ip j and calculates the Fourier-transform, considering p j as parameters.
In our problem the perturbation operator reads (3.5),

9)
2 Hereafter the direct Fourier-transform is defined as where p = (p 1 , ... , p n ) and q = (q 1 , ... , q n ) are n-dimensional conformal vectors with the Euclidean scalar product Making use of the explicit form of operator δL(x, ∂), substitution of (3.9) into eq. (3.7) yields Taking into account that formulae for the background curvature (3.6) differ for cases n = 2 and n 3, we consider here the generic case of a global monopole, while the case of a cosmic string is delegated to the Section 7 below.
In this case (3.10) takes the form where we use the following well-defined Fourier-transforms [26]:  .
All the quantities we are interested in, are expressed via the Feynman propagator G F (x, x ′ | d, n) and its derivatives, evaluated in coincident points. The corresponding expressions diverge, and for their evaluation we make use of the dimensional-regularization method (see, e.g. [27]).
The dimensional regularization consists in the replacement of the determining function G(x, x) by G reg (x, x), corresponding formally to the Green's function in D = (d − 2ε) dimensions. The subsequent renormalization includes the splitting of G reg (x, x) onto two parts; the first one diverges as ε → 0, while the other is finite. The renormalization finishes with the neglect of the divergent part G div (x, x), with subsequent computation of the limit ε → 0. But as it was remarked by Hawking [28], in the case of a curved space this procedure may be ambiguous, because in general there can be a variety of different ways of performing the analytic continuation from d to D dimensions. The simplest way is to take the product of the initial d-dimensional spacetime with a flat space with D − d dimensions with subsequent analytic continuation with respect to the extra dimensions.
Fortunately, the spacetime of interest here, has originally the structure demanded by this prescription. So, according to Hawking's prescription, we will define G F ren (x, x | d, n) as a limit (3.14) As it was shown by Hawking, results obtained by this prescription are in agreements with those ones obtained with help of the method of generalized ζ−function.

RENORMALIZED φ 2 (x)
Now proceed to a perturbative expression for the regularized value of vacuum averaged φ 2 (x) ren : We define the Feynman propagator as The first problem, arising here, is an expression arising in the zeroth order in β ′ . Indeed, for the contribution from the first term on the right hand side of (3.11) to the Green's function taken in the limit of coincidence points, we have the formally divergent expression However, all integrals of the form which diverge in UV-or/and in IR-limits and correspond to the tadpole -type diagrams in QFT, are set to have zero value (no tadpole prescription) within the dimensional-regularization technique (see, e.g. [29]). According to this prescription we shall put all terms of the form (4.2) equal to zero. Thus, in the case d 4 , 3 n d − 1 and arbitrary value of the coupling constant ξ, for the first non-vanishing contribution to the coincidence-points Green's function one obtains from eq. (3.11): The integral over d d p diverges. However, it has a standard form for the QFT. Within the framework of the dimensional regularization one performs the Wick rotation and replaces the integral over d d p E by the expression that formally corresponds to integration over a (D − 2ε)dimensional p E -space: An arbitrary parameter µ with the dimension of reciprocal length is introduced to preserve the dimensionality of the regularized expression. Computational technique for these integrals is well-developed (e.g., see [29]) and we obtain 3 : where we have denoted .
Notice, when ε = 0 and ξ D = ξ d the field equation for a massless scalar field φ is invariant under conformal transformations of the metric. For even d the expression (4.5) has a simple pole at ε = 0, and under the removal of regularization the divergence in G E reg (x, x | D, n) may arise due to this pole, or due to the d n q-integration, or due to the both reasons simultaneously.
Let consider this question in more details. Substituting (4.5) into (4.3) and making use of the integral (3.12) for the regularized vacuum mean φ 2 (x) we obtain (for all 3 n (d − 1)) the following expression: (4. 6) We see that the behavior of the regularized VEV φ 2 (x) reg in the limit ε → 0 is determined by the factor and, therefore, depends significantly upon the parity of the dimensionality both of the entire d-dimensional bulk and of its n-dimensional conical subspace. Let consider all possible cases.
• even d, odd n. In this case (d − n − 2)/2 is semi-integer, so Gamma-function in denominator (4.7) takes its finite and nonzero value. Whereas the Gamma-function Γ(1 − D/2) in the numerator of eq. (4.7) has a simple pole in ε = 0, thus when the regularization removed, the separation of divergent part may be performed with help of the Laurent expansion where γ is the Euler's constant, and H m = m k=1 k −1 is the m-th harmonic number.
We obtain now Notice, in the case of a conformal coupling φ 2 (x) div vanishes.
Separation of the finite part of the regularized expression (4.6) is achieved by the following expansions: , that leads to the final result (4.9) The constantμ here is a renormalized value of the constant µ introduced above: .
Notice, with the conformal coupling the logarithmic term and the uncertainty related with the arbitrary constant µ in it, disappear from φ 2 (x) ren .
• even d and n. Here the simple pole of Γ(1 − D/2) in numerator (4.7) is compensated by that one of the Gamma-function Γ −(D − n)/2 in denominator. The result of (4.7) at ε = 0, thereby, equals the ratio of the corresponding residuals. Moreover, as in the previous case, the divergent part φ 2 (x) div vanishes, and VEV equals and thus φ 2 (x) ren vanishes (in lowest in β ′ order) for the case of the conformal scalar field. A direct comparison of (4.15) with the formula (4.18) shows, that in the interested accuracy the two cases with even conical subdimensionality n can be combined into the unified one, despite the intermediate formulae were based on the drastically different behavior of the Gamma-function. However, for odd n the result depends significantly upon the parity of the bulk's dimensionality.
Summarizing, in this section we have computed the renormalized vacuum averaged φ 2 ren for a massless scalar field on the generalized background (2.5). We have made the computation up to the first order in β ′ but for arbitrary values of the coupling constant ξ and for any dimension of the space d 4 and any dimension of its conical subspace in the interval 3 n d − 1. For doing so we have used perturbation technique combined with the method of dimensional regularization. For the case with even d and odd n (in particular, for the four dimensional global monopole) it is the logarithmic factor ln µr that has the crucial significance for the field with nonconformal factor, since all finite non-logarithmic terms may be absorbed by the finite renormalization of µ.
The methods presented in this section, may be used to compute the renormalized mean value of the energymomentum tensor in a similar way.

RENORMALIZED ENERGY-MOMENTUM TENSOR
The total energy-momentum tensor derived from the action (2.8), is given by (2.13). In terms of the Green's function, the regularized VEV of the energy-momentum tensor is given by where D MN stands for the appropriate differential operator (∇ M and ∇ M ′ denote the covariant derivative over x M and x ′M , respectively): Taking into account the special significance of the minimally coupled field, and in order to dilute routine computations, it is natural to compute the renormalized vacuum momentum density separately for different powers of ξ. We start to separate ξ−terms already from definition: thereby we can split energy-momentum tensor as Each term here contains a quadratic form on φ and, therefore, can be derived from the Feynman propagator. Hence we may apply our point-splitting procedure for the derivatives combined with the perturbation-theory scheme, to reveal the linear on β ′ contributions. A note to be mentioned: T

(ξ)
MN contains the second covariant derivatives; computing them, one needs in the corresponding Christoffel symbols. In the coordinates specified, all non-vanishing Christoffel symbols are of order O (β ′ ). Given that the zeroth (in β ′ ) order of the Green's function vanishes in our scheme (as no tadpole prescription), the retaining of the Christoffel-part contribution yields the order O (β ′ 2 ), i.e. exceeds the necessary accuracy. Hence we can neglect these terms and consider derivatives as flat .
Repeating the steps to construct the Green's function, the 1st-order operator correction δL(x, ∂) also can be split as δL(x, ∂) = δL (0) (x, ∂) + ξδL (ξ) (x, ∂) with 6 In what follows, the energy-momentum VEV in the first non-vanishing order reads schematically: The non-vanishing components of the Ricci tensor in our coordinates are given by (2.6) and survive in the conical sector only. By this reason, we should neglect the curvature-term in the last term in (5.2) since it contributes as O (β ′2 ). Furthermore, after the replacement of the covariant derivatives by simple ones, the d'Alembert operator in g MN φ ✷φ adds the multiplier p 2 into the numerator of the Fourier integral. Multiplying by p −2 (p + q) −2 , this leads to the single-propagator Fourier integral, which vanishes in our scheme. Thereby, we can neglect this term also and replace (5.2) by its effective expression: Performing the Fourier-transforms in (5.3), the ξ−separation in δL(q, ip) reads effectively so the latter actually does not depend upon p M .

A. Computation of TMN ren with minimal coupling
Starting from (5.7) and proceeding along the same lines as for φ 2 , we obtain: Hereafter the tilded quantity with indices means that it equals the corresponding tensor with no tilde for conical-subspace index, and vanishes in the opposite case.
Integrating the remaining Fouriers, one arrives at

B. Computation of ξ-terms
Starting with the effective Fourier transforms (5.7) and (5.8), for the 1 T MN -contributions we have explicitly: Substituting (5.8) into (5.12) and integrating over p and q σ , we obtain: (5.14) Substituting (5.7) into (5.13) and integrating over p and q σ , one concludes Thus combining (5.14) with (5.15) and integrating, for the regularized 1 T MN we arrive at Computation of ξ 2 -term. The term under interest here, is given by Integrating and substituting it with (5.8) into (5.6), we obtain: Comparing it with (5.14) and taking into account (5.15), one concludes: so their ratio does not depend on the conical subdimensionality n.
Integrating the last Fourier integral, we arrive at therefore the combined regularized contribution of the ξ−terms equals (5.20)

C. Summary
Combining (5.11) and (5.20), we obtain for the regularized value of energy-momentum VEV: We see that the classification on parity is based on the factor Γ − D−2 . Given that d − n 1, the first pole of Γ−function in denominator happens at d = n + 2, we return exactly to the same dimensionality splitting as for φ 2 reg .
Hereafter it is more useful to consider the non-vanishing components of T MN separately: 1. The regularized vacuum energy density T 00 (x) reg (as well as flat-sector spatial diagonal components T αα (x) ): With respect to the parity of D and n one distinguishes the following cases: • d even, n odd. The regularization removal (5.22) is achieved in analogy with φ 2 reg : the pole of the Gammafunction Γ − D−2 2 in numerator gives rise to the corresponding divergent part (as ǫ → 0) and to finite logarithmic and non-logarithmic terms.
In order to reveal the finite part, we have to point out the following observation: as we seen in the Section 4, the divergent part corresponding to the pole of a Gamma-function, is accompanied with the logarithmic term in the finite part, and there is some arbitrariness in the non-logarithmic term, related with the finite renormalization of logarithmic scale factor. Here we renormalize the tensor quantity, but the Gamma-function Γ − D−2 2 , which gives a pole, sits in the common factor C in (5.21), while the tensor part is regular. Also taking into account that the finite logarithmic shift due to expansion of C is also common for the whole tensor, we expand C in ǫ independent of the tensor structure, thus we have the unified logarithmic scale factorμ for all components of T MN , while the tensor part in (5.21) has to be expanded additionally.
Thus for the renormalized tensor we write generically It also allows the logarithmic-scale finite shift, but within the scalar transformation. In other words, for the scale change µ → µ ′ there is an uniparametrical arbitrariness in A MN in the generic form and fixing logarithmic scale as before (asμ, implying the absorbtion of all D−dependent coefficients in C) one obtains For the renormalized vacuum energy density we obtain: Not hard to conclude that for the values of a curvature-coupling the renormalized density T 00 (x) ren does not contain the logarithmic term and thereby does not depend upon the arbitrary constantμ, while the divergent part vanishes: T 00 (x) div = 0 .
The renormalized T ik (x) reads: In the case (4,3) the expression (5.25) reduces to Furthermore, due to the (theoretical) arbitrariness of the constantμ, the non-logarithmic ξ 2 −terms may be absorbed by the logarithm, introducing the new constantμ ′ : In accord with (5.26), this finite shiftμ →μ ′ = e −1/(d+1)μ generates the corresponding shift A ik → A ′ ik of the spatial (in the conical sector) components.
For higher-dimensional monopole (n = d − 1) equation (5.25) reduces to so in the most important particular case of the spacetime (4, 3)−type it is given by Now we can compare our result (5.29) with the linear-in-β ′ part of the corresponding expression in [30], applied to the spacetime-at-hand.
The logarithmic expression in [30] within our accuracy 7 generically is given by while the non-logarithmic one is arbitrary. Substituting the Ricci tensor and Ricci-scalar (2.6), and making use of one concludes that our expression (5.29) has a discrepancy with (5.31) by factor of two, for all monomials η MN ,η MN andx MxN , respectively. Meanwhile, the corresponding expression for φ 2 perfectly matches. Such a discrepancy implies necessity of re-derivation of the generic expression in the work [32] (actually referred by [30]). Following their ideology, based on the deWitt-Schwinger kernel, we could fix some inaccuracy of these works 8 . Thus we think that if take into account the fixing coefficient, our result (5.29) coincides with the generic one in the logarithmic term, whereas it contains information about the non-logarithmic term.
• d and n odd.
in the numerator is regular, while Γ − D−n 2 in the denominator is infinite, hence the total renormalized T MN (x) vanishes: in accord with the corresponding value of φ 2 9 .
• d odd, n even. Here both Γ − D−2 2 in the numerator and Γ − D−n 2 in the denominator are regular, with semi-integer arguments, so T MN (x) div = 0 and we have simply Transforming it with help of (4.10), one obtains In particular, for the d−dimensional monopole (n = d − 1) the renormalized energy-momentum tensor reads: in the denominator are singular, so their ratio is determined by the ratio of corresponding residuals (4.8).
Thus T MN (x) div = 0, and Again, the formulae (5.33) and (5.34) are identical, and represent the unified expression for even n, like it was for φ 2 .
Summarizing, in this section we have computed the renormalized vacuum averaged T MN ren of the massless scalar field in the background of (global) monopole up to the first order in β ′ . Computing along the same ideology as in previous section, we obtain the same splitting with respect to the parity of a dimensionalities of the total spacetime and its deficit-angle submanifold. Here the most actual case with even d and odd n (in particular, for the (4,3)-type of a spacetime) demands the more accuracy working with logarithms, due to the tensorial structure of T MN reg . The logarithmic mass-scale change generates the uniparametric equivalence class of the non-logarithmic symmetric tensors A MN 10 , representing the linear shell of monomials η MN ,η MN andx MxN . For definite value of ξ, the logarithmic term and corresponding logarithmic uncertainty can be removed from T 00 ren . However, contrary to the case of T 00 , no value of coupling ξ kills the logarithmic term arising in T ik ren since both terms in the parenthesis of (5.23) are positive. Finally, no value of ξ eliminates the logarithmic arbitrariness both in φ 2 ren and in T MN ren simultaneously. The other cases of d and n are similar to those ones of φ 2 ren .
In the next section we show that the Green's function obtained above, enables to consider the well-known purely classical problem of a gravity-induced self-action on a charge placed at fixed point of the space under consideration.

STATIC SELF-ENERGY AND SELF-FORCE OF A POINTLIKE CHARGE
As it was concluded in (2.18) and (2.23), the self-energy of a scalar (q) or electric (e) point charge in an ultrastatic d−dimensional spacetime is determined by the coincidence-limit of the Euclidean Green's function on the spacetime with the dimensionality (d − 1): The relation between self-energy and the self-force is given by (2.16). Taking into account that for the self-energy the first non-vanishing order is O (β ′ ), one obtains to the lowest order simply Moreover, simple relation between scalar and electrostatic self-energy (2.23) enables to restrict the consideration by the scalar one. According to (4.6), the regularized scalar gravity-induced self-energy is given by Now the classification is determined basically by the factor With respect to the parity of d and n one distinguishes the following cases: tends to its pole (unless D − n = 1). Therefore the renormalized self-energy and the self-force vanish generically in this case: For the exceptional case d − n = 1 both Gamma-functions are regular, hence The corresponding self-force is given by the renormalized self-energy and self-force vanish.
In particular case of the (4, 3)-spacetime one obtains Thus, the pointlike charge feels the monopole as a point charge with the magnitude 2 −4 β ′ (8 ξ − 1) π 2 q localized at the point r = 0. For values ξ > ξ 3 = 1/8 the self-force is attractive (in particular, for the conformal coupling, ξ = ξ 4 = 1/6), while for values ξ < 1/8 the self-force is repulsive. In the case of electrostatic self-action (according to the eq. (2.23) one has to put ξ = 0 in (6.6) and replace q 2 by e 2 ) our result (6.6) coincides with the one of the paper [35].
• d and n odd. In this case the Gamma-function Γ − D−3 2 is singular, while Γ 3−D+n 2 is regular. This leads to the non-zero diverging part, and the finite renormalized value of the self-energy takes the form with arbitraryμ. The corresponding self-force reads (6.8) For ξ = ξ d−1 the result becomes free of uncertainty.
• d odd, n even. Here the Gamma-function Γ − D−3 2 is singular, while Γ 3−D+n 2 is also singular, unless d = n + 1. Hence, in the generic case the divergent part of the self-energy vanishes, and U ren is determined by the ratio of corresponding residuals: (6.9) Corresponding self-force equals (6.10) In the exceptional case of the higher-dimensional monopole (d = n + 1) the denominator Γ 3−D+n 2 is regular, hence we return to the logarithmic case: along the same lines as previously we obtain (6.12) • d and n even. Here both Gamma-functions in (6.3) are regular, hence the divergent part vanishes and after transformations with the help of (4.10) we have just (6.13) To summarize: based on the formal relation of the Feynman propagator with Euclidean Green's function in the coincidence-point limit, we have expressed the regularized self-action via regularized Green's function of the previous dimensionality. As before, the consideration splits onto four characteristic cases of parities d and n, though here one meets the significant exceptions of the monopole background with no flat spatial dimensions (n = d−1). In the most cases the self-action looks like the flat-space Coulomb interaction of a charge q with a charge ∼ (ξ − ξ d−1 ) q placed into the monopole position, and vanishes for the particular value ξ = ξ d−1 of the curvature coupling. In the case of odd d while n is odd or equal to d − 1, there is an additional logarithmic multiplier, which depends on the arbitrary parameterμ.
Finally, comparing (6.13) with (6.9) and (6.10), we notice that for even n the cases with even and odd d can be combined into the unified formula (except for the full-hyperspace monopole case), in accord with the previous computations of the renormalized φ 2 and T MN .

VACUUM POLARIZATION NEAR COSMIC STRING REVISITED
Now consider the particular case of a two-dimensional (n = 2) conical subspace. If d = 3 (4) this space is the spacetime of a point mass (infinitely thin straight cosmic string).
This problem was considered in a series of papers. The primary goal of our consideration is to show that there is some ambiguity in previous calculations in the case of a non-minimally coupled massless scalar field.
Indeed, in calculations [12,[36][37][38][39][40] the starting point is the expression (5.1) with operator D MN , whose form is determined by the classical expression for the energy-momentum tensor and thus includes the ξ−dependent terms. Whereas as a Green's function the authors used the Green's function for a minimally coupled scalar field. Thus, it was supposed that one can extract a δ 2 −like potential from the wave equation, arguing it by the fact that the space is flat everywhere outside the point mass/cosmic string. This Green's function does not depend on ξ and in the limit β → 1 tends to the flat Green's function G F 0 (x − x ′ ), which is the solution of the equation On the other hand, we can start from the explicit equation In the coordinates of usage here, the potential reads In the Eq. (7.2) there are two independent parameters, namely β ′ and ξ. Suppose, that there exists a limit of the Green's function G F ξ , when Let us denote it as G F λ . In this limit Eq. (7.2) takes the form It is obvious that, if the limit does exist, G F λ can not be equal to the flat-space Green's function G F 0 . The corresponding equation for the scalar field φ can be reduced to a stationary two-dimensional Schrödinger-like equation with a planar δ 2 −function potential. Equations of this kind have been widely discussed in the literature. It was shown that these interactions require regularization and infinite renormalization of the coupling constant and lead to non-trivial physical results. Alternatively, one can follow more satisfactory approach based on a selfadjoint extension of a noninteracting Hamiltonian, defined on a space with one extracted point (see [41,42] and Refs therein).
We think, that the example above demonstrates the necessity to revise the vacuum polarization effects on manifolds with δ 2 −like singularities. This problem demands consideration in more detail. Here we restrict ourselves by the consideration of this problem in the framework of the perturbation approach.
Thus, we start from the expression (3.10) with the potential γ defined by the Eq. (7.3). The Fourier transform of this potential has the form (7.5) Substituting (7.5) into Eg.(3.10), we obtain that with our accuracy Starting from (7.6) and proceeding along the same line as in the previous sections, we obtain: is explained by the fact that the perturbation theory is constructed with respect to a nonphysical vacuum, while their elimination is explained by the necessity of redefining the vacuum state. In the framework of self-action, it is of interest to understand why similar divergences appear in the classical theory too. Following the prescriptions of the quantum field theory, we assumed all expressions of the form (4.2) to be equal to zero. The motivation for this recipe is not associated in any way with the quantum theory. Actually, it relies on the absence of dimensional parameters in the corresponding expression and, as a consequence, on the impossibility to assign some reasonable finite value, except zero, to such integrals under regularization. Therefore, this rule is also equally applicable within the classical field theory. The desired effects are computed in the first in β ′ order. Already starting from the Green's function, for all of our computational tasks we meet the characteristic ratio of two Gamma-functions, which splits the consideration of all (d, n)-types onto four characteristic cases, depending on parities of d and n. The poles of Gamma-function may arise in numerator, in denominator, or in both. However, in the very end of computation one can combine all formulae with even n (for arbitrary d) into the unified case.
With help of the regularized Green's function we have computed the renormalized vacuum averaged φ 2 ren and T MN ren for a massless scalar field coupled with the generalized conical background (2.5) via an arbitrary coupling ξ. The expressions for vacuum averaged φ 2 ren , corresponding to all characteristic cases (with our accuracy), vanish at ξ = ξ d . In the case with even d and odd n (in particular, for the (4,3)-type of a spacetime) the VEVs of φ 2 ren and T MN ren contain logarithmic factor. We are in agreement with [20,30] in the pre-logarithmic coefficient. Concerning the non-logarithmic term in T MN ren , we restrict its arbitrariness by the single arbitrary parameter, fixing the more wide freedom in [30].
For the self-action, in addition to the four basic characteristic cases of parities d and n, there is a significant exception of the monopole background (n = d − 1). In the most cases the self-action represents the Coulomb-like field with charge (ξ − ξ d−1 ) and vanishes for the particular value ξ = ξ d−1 of the curvature coupling. Also it should be mentioned that (for ξ = 0) the gravity-induced self-energy and the self-force of the point-like static electric charge e can be obtained from our expressions by the formal identification q 2 → e 2 , since the spacetimeat-hand is ultrastatic, and the defining expressions for spatial scalar and vectorial Green's functions coincide.
We'd like to emphasize that within our scheme, the appearance of the mass-dimensionful term inside the logarithm is related neither with the arbitrary scale factor r 0 coming from the cartesian coordinates (2.5), nor with any length/mass of the problem-at-hand since the latter is absent 11 . The logarithmic scale factor follows from the regularization (4.4) and its value, in principle, is arbitrary.
Making use of the same approach, but applied to the delta-like interaction in the infinitely thin straight cosmic string, we have computed the effects under consideration. The results coincide with the known in literature [36,37,39,40] only for minimal and conformal coupling, while for other values of ξ they do not coincide already in the first (in β ′ ) order. We refer this discrepancy to the missing of the ξ−correction inside the Green's function. In computation of T MN ren to the first order, this difference is reflected in terms T MN δL (ξ) . If to ignore these two in our scheme and retain the two remaining in (5.5), one would obtain the old answer.
We have shown that up to first order, in our Fourier-transform language the results for the cosmic string spacetime can be obtained as the smooth limit of corresponding results for global monopole. From this framework, it represents the problem of independent interest, whether this coincidence takes place only in the linear-in-β ′ order, or being the first non-vanishing part of the nonperturbative limit.
Finally, the usage of the Perturbation Theory restricts the applicability by the requirement on smallness of the angular deficit. However, this approach is relatively simple (to the order under consideration) and allows to take an advantage of well-developed in QFT methods. In result, it allowed to obtain the final expressions valid for arbitrary 2 n (d − 1) and d 3, which, in its turn, verified the particular cases also, what helped to justify/fix